This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Dominator opts fixes and enhancements
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.