shrinker checked in

[Matthew Fluet]

> Here are the results comparing the 20011006 release and the internal
> versions with ssa and cps optimization.  Compile times for the
> internal version are of course horrible, because it is the NJ compiled
> version.   The runtime ratios are all fine except for knuth-bendix.

Well, it looks like something is leaving around excess allocations; also,
almost twice the stack size.

CPS:
[fluet@lennon cps]$ ./knuth-bendix @MLton gc-summary --
max semispace size(bytes): 11,653,120
max stack size(bytes): 139,264
GC time(ms): 990 (6.7%)
maxPause(ms): 70
number of GCs: 41
bytes allocated: 221,032,280
bytes copied: 30,516,056
max bytes live: 1,317,144

SSA:
[fluet@lennon ssa]$ ./knuth-bendix @MLton gc-summary --
max semispace size(bytes): 13,684,736
max stack size(bytes): 258,048
GC time(ms): 6,940 (20.8%)
maxPause(ms): 70
number of GCs: 344
bytes allocated: 1,615,010,300
bytes copied: 246,922,384
max bytes live: 1,452,048