shrinker

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 20 Nov 2001 19:03:44 -0500 (EST)


> > Also, does/will/should the shrinker restore the SSA condition if a
> > transformation breaks it?  My guess is not, since so far no transformation
> > has needed it.
> 
> Right.  We will write another pass that restores SSA that will be run
> only after passes that break it.

It will need to be run as part of the passes that break it, else
-type-check true will complain loudly during checkScopes.