SSA IL

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 6 Nov 2001 19:22:26 -0500 (EST)


On Tue, 9 Oct 2001, Stephen Weeks wrote:

> I hope to take the shrinker, constant-propagation, useless, and simplify-types,
> since they're pretty hairy.  Also, poly-equal will be a bear because it requires
> adding the DirectExp interface.

Well, I just checked in flatten (and checked in redundantTests and
loopInvariant earlier today).  That just leaves the shrinker,
constantPropagation, useless, and simplifyTypes.  Guess I'm all done. ;)