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