Re: Tree-SSA self checking infrastructure

[Andrew MacLeod <amacleod@redhat.com>]

On Wed, 2003-11-19 at 15:23, Andrew MacLeod wrote:
> On Wed, 2003-11-19 at 14:39, Andrew MacLeod wrote:
> > On Wed, 2003-11-19 at 14:13, law@redhat.com wrote:
> > > In message <20031119190649.GQ16923@atrey.karlin.mff.cuni.cz>, Jan Hubicka write
> 
> > 
> > I haven't run tests or anything on this to make sure I didnt break
> > anything, but they are running now. I would expect no problems with
> > existing code, and I would think that if you create a var_map the new
> > entry point ought to workl just fine. There isnt much new there, so it
> > should work fine.
> > 
> So I need to tweak it a bit, I have a few failing testcases :-| Musta
> missed something going through so quickly...
> 
Ah, I think its because the ssa->normal alogorithm is expecting all the
unrelated PHIs to have been removed already by tye call to
eliminate_extraneous_phis().

when I wrote TER, I had code to switch this so that it checked a PHI
node first to see if its one it cared about, but ended up not needing
it, guess I should add it back in now since we definately need it now.

So dont try using this until tomorrow. I'll have a good patch for you
then.

Anything else you need?  The entry point should remain/look the same,
and I'll provide a hook into var_map that you can as what variable a
specific SSA_VERSION number was mapped to. That'll help you find any new
variables that were created.

Andrew