[tree-ssa] Dominator opts fixes and enhancements

Diego Novillo dnovillo@redhat.com
Mon Aug 25 14:11:00 GMT 2003


On Mon, 2003-08-25 at 10:06, Andrew MacLeod wrote:

> My question to you was:  If a_3 is *suppose* to be live on entry, the
> annotation for a will indicate that the default defintion is a_3
> correct?  In my little 2 line example above, the annotation for a will
> *not* indicate that a_3 is the default definition for a, so I can
> complain very loudly now. correct?  That was my original desire for
> determining default definitions. Right now this check is diabled since I
> couldn't prove it one way or another.
> 
Correct.

> So I assume that when dealing with multple entry points, all the entry
> points are going to use the same default defintion, right?
> 
I doubt we can deal with multiple entry points at the moment (flowgraph
mainly), but if we coud, then yes, all the entry points would have the
same default def.


Diego.



More information about the Gcc-patches mailing list