shrinker checked in

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


> Playing around with mlprof, I think there is at least one problem with the
> flattener.  Check out tryrec_0 and rew_loop_0 under CPS and SSA
> optimizations.
> 
> More clues: in CPS, the Failure exception carries string, while in SSA it
> carries (string, unit ref).  So, something in useless (that's the only
> pass that might figure out that the unit ref is the same everywhere?).

Alright, working backwards;  something is up with constant propagation,
which isn't globalizing all of the Failure_0 allocations, so useless isn't
dropping the unit ref.