This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Tree-SSA self checking infrastructure

On Wed, Nov 19, 2003 at 12:13:06PM -0700, law@redhat.com wrote:
>  >This brings me into questions about my tail call updating code.
>  >Perhaps I need to re-do SSA form on call cobbered variables after
>  >removing the call?
> Are you changing the CFG?  Are you changing the dominator tree?  Those
> are the key questions.

Yes, he is, but only by adding a new block on the ENTRY->BB0 edge,
and then edges into that block from the tail recursion sites.

I may be mistaken, but I thought the new phi nodes he was adding 
there would be correct.  Perhaps this is a good test for a verify_ssa
pass?


r~
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]