redundant

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Mon, 5 Nov 2001 08:24:32 -0500 (EST)


> > I ported redundant from CPS to SSA.  Seems to work on all of the
> > regressions.  Spot checking a few regressions and benchmarks, it doesn't
> > seem to do much in practice.  Is it really cleaning up after one of the
> > other simplification passes?
> 
> The reason redundant got put in was due to some output of the closure
> converter where the environment record, or components of it, were
> passed around in several places.  That may have been more relevant
> with polyvariant analyses (which are long gone).  But it still seems
> possibly relevant, especially with more aggressive flattening, which
> should reveal some fields in nested closure records that are
> redundant.

Make sense.  I've generally be running either with all the CPS passes
on or all of the CPS passes off, so without all of the SSA passes
implemented, I don't always see interactions.