self compile problems with SSA simplifier

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 14 Nov 2001 18:17:04 -0500 (EST)


> > > I found some debugging code in the shrinker that got left on.  I've
> > > turned it off and am re-running the tests.
> > 
> > Much better.  I've appended the log below.  Still a bit slow, but more
> > like a factor of 2 or so.
> 
> Check out the diff for once.fun that I just checked in.  See if actually
> globalizing constants helps. ;)

BTW, this fixes the slowdown in knuth-bendix.