Displaying 2 results from an estimated 2 matches for "pr26718".
Did you mean:
pr22718
2016 Feb 26
6
Is a PHI use of another PHI in the same block valid?
Over in pr26718, we ran across a case where input IR had one PHI within
a basic block using the value of another PHI within the same basic block
(without a backedge). There has been some disagreement as to whether
this is valid IR. I believe it is not.
The verifier currently accepts the following code withou...
2016 Feb 26
0
Is a PHI use of another PHI in the same block valid?
...nates(Op, U),
+ Assert((!isa<PHINode>(I) && InstsInThisBlock.count(Op)) ||
+ DT.dominates(Op, U),
+ "Instruction does not dominate all uses!", Op, &I);
Michael
2016-02-26 18:02 GMT+01:00 Philip Reames <listmail at philipreames.com>:
> Over in pr26718, we ran across a case where input IR had one PHI within a
> basic block using the value of another PHI within the same basic block
> (without a backedge). There has been some disagreement as to whether this
> is valid IR. I believe it is not.
>
> The verifier currently accepts the...