self compile problems with SSA simplifier

Stephen Weeks MLton@sourcelight.com
Wed, 14 Nov 2001 14:42:49 -0800


> 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.

--------------------------------------------------------------------------------

Compiling mlton (takes a while)
time mlton @MLton gc-messages gc-summary fixed-heap 475m -- -v2 -o mlton-compile mlton.cm
MLton starting
MLton VERSION (built Wed Nov 14 14:08:12 2001 on starlinux)
  created this file on Wed Nov 14 14:10:56 2001.
Do not edit this file.
Flag settings: 
   chunk: chunk per function
   debug: false
   defines: [NODEBUG,MLton_safe=TRUE,Exn_keepHistory=FALSE,MLton_detectOverflow=TRUE]
   detect overflow: true
   drop passes: []
   exn history: false
   fixed heap: None
   indentation: 3
   includes: [mlton.h]
   inline: NonRecursive {product = 320,small = 60}
   input file: mlton
   instrument: false
   instrument Sxml: false
   keepCps: false
   keepSSA: false
   keep diagnostics: []
   keep dot: false
   keep passes: []
   limit check per block: true
   new return: false
   native: true
   native commented: 0
   native live stack: false
   native optimize: 1
   native move hoist: true
   native copy prop: true
   native cutoff: 100
   native live transfer: 8
   native future: 64
   native ieee fp: false
   native split: Some (20000)
   optimize SSA: true
   polyvariance: Some ({rounds = 2,small = 30,product = 300})
   print at fun entry: false
   profile: false
   safe: true
   show types: false
   stack cont: false
   static: false
   type check: false
   use basis library: true
   verbosity: Pass
   Compile SML starting
      pre codegen starting
	 parseAndElaborate starting
/tmp/filectybKP.67.S 25003: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 550
live(bytes): 19,034,844 (7.6%)
/tmp/filectybKP.67.S 25003: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 900
live(bytes): 37,845,364 (15.2%)
/tmp/filelEP25y.64.S 13914: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,280
live(bytes): 54,839,296 (22.0%)
	 parseAndElaborate finished in 5.60 + 2.73 (33% GC)
	 lex and parse totals 3.81 + 1.45 (28% GC)
	 elaborate totals 1.78 + 1.28 (42% GC)
	 dead starting
	 dead finished in 0.09 + 0.0 (0.0% GC)
	 gcc -DNODEBUG -DMLton_safe=TRUE -DExn_keepHistory=FALSE \
	     -DMLton_detectOverflow=TRUE -I/home/sweeks/mlton/include -o \
	     /tmp/fileHyHiZU /tmp/filetU1WR2.c -L/home/sweeks/mlton/lib \
	     -lmlton -lm -lgmp
	 /tmp/fileHyHiZU /tmp/filerWZGdO
	 infer starting
	    unification starting
/tmp/fileid4fQv.35.S 8269: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,450
live(bytes): 54,650,800 (21.9%)
	    unification finished in 1.29 + 1.45 (53% GC)
	    finishInfer starting
/tmp/files9qZsJ.33.S 15859: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,420
live(bytes): 62,457,060 (25.1%)
	    finishInfer finished in 1.57 + 1.42 (47% GC)
	 infer finished in 3.06 + 2.87 (48% GC)
	 inferSimplify starting
	 inferSimplify finished in 1.76 + 0.0 (0.0% GC)
	 mono starting
/tmp/filem9Mhmf.11.S 4414: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 670
live(bytes): 32,132,824 (12.9%)
/tmp/filem9Mhmf.11.S 5042: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 870
live(bytes): 40,109,956 (16.1%)
	 mono finished in 3.20 + 1.54 (32% GC)
	 monoSimplify starting
/tmp/fileqbcts7.65.S 5455: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,270
live(bytes): 63,168,840 (25.4%)
	 monoSimplify finished in 2.79 + 1.27 (31% GC)
	 implementExceptions starting
/tmp/filew1whUh.9.S 21731: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,020
live(bytes): 49,631,280 (19.9%)
	 implementExceptions finished in 0.23 + 1.02 (82% GC)
	 implementExceptionsSimplify starting
	 implementExceptionsSimplify finished in 2.14 + 0.0 (0.0% GC)
	 polyvariance starting
/tmp/filew1whUh.9.S 8828: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,190
live(bytes): 54,022,212 (21.7%)
/tmp/filedmlGdM.60.S 677: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,700
live(bytes): 135,584,632 (54.4%)
/tmp/filew1whUh.9.S 7602: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,470
live(bytes): 57,020,308 (22.9%)
/tmp/fileNuNaf8.61.S 17592: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,780
live(bytes): 79,559,028 (31.9%)
	 polyvariance finished in 7.91 + 8.14 (51% GC)
	 closureConvert starting
	    flow analysis starting
	    flow analysis finished in 0.97 + 0.0 (0.0% GC)
	    free variables starting
	    free variables finished in 0.73 + 0.0 (0.0% GC)
	    globalize starting
/tmp/filekRMZyd.26.S 1492: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,790
live(bytes): 86,259,580 (34.6%)
	    globalize finished in 0.46 + 2.79 (86% GC)
	    convert starting
/tmp/fileDanYLK.7.S 18659: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,840
live(bytes): 117,415,512 (47.1%)
/tmp/fileyLqpOH.58.S 22715: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,340
live(bytes): 143,419,276 (57.6%)
/tmp/fileDanYLK.7.S 10554: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,690
live(bytes): 162,595,876 (65.3%)
/tmp/filemhEDkV.56.S 19912: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,920
live(bytes): 179,906,284 (72.2%)
/tmp/fileNEVUzK.63.S 2538: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 4,180
live(bytes): 192,947,892 (77.5%)
/tmp/filectybKP.67.S 11346: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 4,290
live(bytes): 194,915,596 (78.3%)
/tmp/fileuVMpYT.6.S 9576: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,870
live(bytes): 189,977,764 (76.3%)
	    convert finished in 5.54 + 26.13 (83% GC)
	 closureConvert finished in 8.19 + 28.92 (78% GC)
	 closureConvertSimplify starting
	 closureConvertSimplify finished in 0.0 + 0.0 (0% GC)
	 toSSA starting
	    inferHandlers starting
	    inferHandlers finished in 0.58 + 0.0 (0.0% GC)
/tmp/fileuVMpYT.6.S 1260: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,760
live(bytes): 110,978,024 (44.6%)
	 toSSA finished in 1.39 + 2.76 (67% GC)
	 toSSASimplify starting
	    checkScopes starting
/tmp/fileqbcts7.65.S 4726: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,260
live(bytes): 109,765,704 (44.1%)
/tmp/filectybKP.67.S 7152: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,250
live(bytes): 126,048,460 (50.6%)
/tmp/fileqbcts7.65.S 5137: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,570
live(bytes): 140,851,784 (56.6%)
/tmp/fileqbcts7.65.S 5137: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,780
live(bytes): 154,122,100 (61.9%)
/tmp/fileqbcts7.65.S 4785: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,990
live(bytes): 165,987,708 (66.7%)
/tmp/fileqbcts7.65.S 3165: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,110
live(bytes): 175,923,504 (70.6%)
/tmp/fileqbcts7.65.S 5137: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,290
live(bytes): 184,947,916 (74.3%)
/tmp/filectybKP.67.S 7152: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,420
live(bytes): 192,728,224 (77.4%)
/tmp/fileqbcts7.65.S 5137: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,540
live(bytes): 200,309,808 (80.4%)
	    checkScopes finished in 5.71 + 26.21 (82% GC)
/tmp/file81Y721.52.S 14828: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,690
live(bytes): 97,222,188 (39.0%)
	    removeUnused1 starting
/tmp/fileOb4dUV.5.S 52167: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,820
live(bytes): 136,394,856 (54.8%)
/tmp/fileZM9WTk.44.S 18773: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,530
live(bytes): 160,442,800 (64.4%)
/tmp/fileZM9WTk.44.S 17505: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,140
live(bytes): 157,257,624 (63.1%)
/tmp/fileZM9WTk.44.S 13395: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,280
live(bytes): 168,127,028 (67.5%)
/tmp/file81Y721.52.S 12397: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,300
live(bytes): 172,058,992 (69.1%)
/tmp/filectybKP.67.S 12857: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,260
live(bytes): 174,143,192 (69.9%)
	    removeUnused1 finished in 6.21 + 19.33 (76% GC)
	    leafInline starting
/tmp/file81Y721.52.S 12148: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,040
live(bytes): 86,797,196 (34.9%)
	    leafInline finished in 18.39 + 2.04 (10% GC)
	    contify1 starting
	       initReachCallerCallees starting
/tmp/fileYR67kf.50.S 11059: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,330
live(bytes): 65,571,436 (26.3%)
	       initReachCallerCallees finished in 0.14 + 1.33 (90% GC)
	       analyzeDom starting
		  buildGraph starting
		  buildGraph finished in 0.11 + 0.0 (0.0% GC)
		  computeDominators starting
		  computeDominators finished in 0.67 + 0.0 (0.0% GC)
		  compute ADom starting
		  compute ADom finished in 0.03 + 0.0 (0.0% GC)
	       analyzeDom finished in 0.87 + 0.0 (0.0% GC)
	       transform starting
/tmp/fileTIbaVo.51.S 12518: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,820
live(bytes): 86,170,456 (34.6%)
	       transform finished in 3.24 + 1.82 (36% GC)
	    contify1 finished in 4.41 + 3.15 (42% GC)
	    localFlatten1 starting
/tmp/filectybKP.67.S 12857: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,600
live(bytes): 73,390,304 (29.5%)
	    localFlatten1 finished in 4.67 + 1.60 (26% GC)
	    constantPropagation starting
	       fixed point starting
/tmp/fileYR67kf.50.S 16334: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,320
live(bytes): 143,071,640 (57.4%)
	       fixed point finished in 1.49 + 3.32 (69% GC)
/tmp/fileTIbaVo.51.S 13972: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 4,180
live(bytes): 176,593,272 (70.9%)
	    constantPropagation finished in 14.06 + 7.50 (35% GC)
	    useless starting
/tmp/filey3yRMd.43.S 19044: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,350
live(bytes): 63,166,876 (25.4%)
/tmp/filey3yRMd.43.S 19044: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,550
live(bytes): 116,078,720 (46.6%)
/tmp/fileTIbaVo.51.S 12302: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,140
live(bytes): 144,391,000 (58.0%)
/tmp/filey3yRMd.43.S 5907: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,630
live(bytes): 175,660,076 (70.5%)
	    useless finished in 11.00 + 10.67 (49% GC)
	    removeUnused2 starting
/tmp/fileZM9WTk.44.S 19042: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,630
live(bytes): 72,097,484 (29.0%)
/tmp/filectybKP.67.S 12857: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,110
live(bytes): 89,886,824 (36.1%)
	    removeUnused2 finished in 6.76 + 3.74 (36% GC)
	    simplifyTypes starting
/tmp/fileTIbaVo.51.S 13443: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,230
live(bytes): 94,439,448 (37.9%)
	    simplifyTypes finished in 7.63 + 2.23 (23% GC)
	    polyEqual starting
/tmp/file81Y721.52.S 12148: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,410
live(bytes): 65,914,476 (26.5%)
	    polyEqual finished in 4.31 + 1.41 (25% GC)
	    contify2 starting
	       initReachCallerCallees starting
	       initReachCallerCallees finished in 0.08 + 0.0 (0.0% GC)
	       analyzeDom starting
		  buildGraph starting
		  buildGraph finished in 0.08 + 0.0 (0.0% GC)
		  computeDominators starting
		  computeDominators finished in 0.49 + 0.0 (0.0% GC)
		  compute ADom starting
		  compute ADom finished in 0.01 + 0.0 (0.0% GC)
	       analyzeDom finished in 0.63 + 0.0 (0.0% GC)
	       transform starting
/tmp/file81Y721.52.S 12260: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,430
live(bytes): 67,875,784 (27.3%)
	       transform finished in 4.07 + 1.43 (26% GC)
	    contify2 finished in 4.87 + 1.43 (23% GC)
	    inline starting
/tmp/file9MRKd4.49.S 20782: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,830
live(bytes): 109,284,444 (43.9%)
	    inline finished in 53.52 + 2.83 (5% GC)
	    localFlatten2 starting
/tmp/file81Y721.52.S 13107: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,550
live(bytes): 69,401,100 (27.9%)
	    localFlatten2 finished in 31.34 + 1.55 (5% GC)
	    removeUnused3 starting
/tmp/fileZgpmTQ.45.S 1900: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,970
live(bytes): 114,371,356 (45.9%)
/tmp/fileZM9WTk.44.S 17025: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,710
live(bytes): 119,283,836 (47.9%)
/tmp/file81Y721.52.S 12397: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,350
live(bytes): 145,237,716 (58.3%)
	    removeUnused3 finished in 44.27 + 9.03 (17% GC)
	    contify3 starting
	       initReachCallerCallees starting
	       initReachCallerCallees finished in 0.06 + 0.0 (0.0% GC)
	       analyzeDom starting
		  buildGraph starting
		  buildGraph finished in 0.08 + 0.0 (0.0% GC)
		  computeDominators starting
/tmp/fileqbcts7.65.S 5137: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,490
live(bytes): 69,527,488 (27.9%)
		  computeDominators finished in 0.37 + 1.49 (80% GC)
		  compute ADom starting
		  compute ADom finished in 0.0 + 0.0 (0% GC)
	       analyzeDom finished in 0.48 + 1.49 (76% GC)
	       transform starting
	       transform finished in 23.28 + 0.0 (0.0% GC)
	    contify3 finished in 23.98 + 1.49 (6% GC)
	    introduceLoops starting
	    introduceLoops finished in 0.03 + 0.0 (0.0% GC)
	    loopInvariant starting
/tmp/fileH2fA5u.54.S 18290: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,390
live(bytes): 63,346,704 (25.4%)
/tmp/file9MRKd4.49.S 12047: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,130
live(bytes): 89,865,628 (36.1%)
	    loopInvariant finished in 25.06 + 3.52 (12% GC)
	    flatten starting
/tmp/file81Y721.52.S 12397: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 3,130
live(bytes): 125,741,112 (50.5%)
	    flatten finished in 48.69 + 3.13 (6% GC)
	    localFlatten3 starting
/tmp/file81Y721.52.S 12260: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 1,690
live(bytes): 74,682,368 (30.0%)
	    localFlatten3 finished in 33.09 + 1.69 (5% GC)
	    commonSubexp starting
/tmp/fileqbcts7.65.S 5137: GC
Starting gc.
fromSpace 249,036,800  toSpace 249,036,800
Finished gc.
time(ms): 2,100
live(bytes): 95,660,232 (38.4%)
	    commonSubexp raised in 16.50 + 2.10 (11% GC)
	 toSSASimplify raised in 366.30 + 106.34 (22% GC)
      pre codegen raised in 403.18 + 155.59 (28% GC)
   Compile SML raised in 403.18 + 155.59 (28% GC)
MLton raised in 403.27 + 155.59 (28% GC)
mlton: unhandled exception: Overflow
max semispace size(bytes): 249,036,800
max stack size(bytes): 18,153,472
GC time(ms): 155,590 (27.9%)
maxPause(ms): 4,290
number of GCs: 64
bytes allocated: 8,894,599,160
bytes copied: 7,232,311,112
max bytes live: 200,309,808
Command exited with non-zero status 1
555.43user 3.53system 9:45.43elapsed 95%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (5057major+1170739minor)pagefaults 0swaps
make[1]: make[1]: Leaving directory `/home/sweeks/mlton/src/mlton'
*** [mlton-compile] Error 1
make: *** [/home/sweeks/mlton/src/mlton/mlton-compile] Error 2