On Mon, Apr 22, 2013 at 3:10 PM, Steve Ellcey <sell...@imgtec.com> wrote:
> I have a basic GCC PHI implementation question, if a basic block has
> a phi node (or a set of phi nodes) those nodes consist of a pairs of
> definitions and basic block pointers.  Are the basic blocks associated
> with each definition gauranteed to be direct predecessors of the block
> containing the phi node? Or could the block with the definition be an
> indirect predecessor of the block with the phi?  Does it matter what
> pass in the compiler I am at?  I.e. maybe they start out as direct
> predecessors and various optimizations could change that.

They should always be direct predecessors of the basic block of the PHI node.
If it is not then there is a bug.

Thanks,
Andrew Pinski


>
> Steve Ellcey
> sell...@imgtec.com
>

Reply via email to