contifier bug
Stephen Weeks
MLton@sourcelight.com
Thu, 22 Feb 2001 14:43:33 -0800 (PST)
The new contifier appears to have a bug (or two). In trying to run it on the
kit benchmark, I get an unhandled Option exception during transform when using
the Dom contify strategy, and I get an apparently bogus expression when using
the CallCont contify strategy. The latter I conclude because the shrinker
complains.
There is a bug in the frontend of the MLton version that you have that prevents
it from compiling the kit benchmark. So here is a new sources snapshot and the
kit benchmark.
http://www.star-lab.com/sweeks/src.tgz
http://www.star-lab.com/sweeks/kit.tgz
Here are -vv logs of the two failures.
benchmarks% $HOME/mlton/bin/mlton -vv kit.sml
MLton internal (built Thu Feb 22 13:14:24 2001 on starlinux.epr.com)
created this file on Thu Feb 22 14:27:38 2001.
Do not edit this file.
Flag settings:
aux: false
chunk: chunk per function
contify strategy: Dom
debug: false
defines: [NODEBUG,MLton_safe=TRUE,MLton_detectOverflow=TRUE]
detect overflow: true
fixed heap: None
indentation: 3
includes: [mlton.h]
inline: NonRecursive {product = 320,small = 60}
input file: kit.sml
instrument: false
instrument Sxml: false
keep Cps: false
native: true
native commented: 0
native copy prop: true
future: 64
native ieee fp: false
native live transfer: true
native move hoist: true
native optimize: 1
native split: Some (20000)
polyvariance: Some ({rounds = 2,small = 30,product = 300})
print at fun entry: false
profile: false
safe: true
show types: false
static: false
use basis library: true
verbose: true
very verbose: true
Compile SML starting
pre codegen starting
parse and elaborate starting
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
Unmapping toSpace
fromSpace 20,496,384 toSpace 20,783,104
Finished gc.
time(ms): 100
live(bytes): 3,385,956 (16.5%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 20,783,104 toSpace 27,234,304
Finished gc.
time(ms): 130
live(bytes): 4,551,480 (21.9%)
/tmp/fileUXUaFL.40.S 2717: GC
Starting gc.
fromSpace 27,234,304 toSpace 36,552,704
Finished gc.
time(ms): 160
live(bytes): 6,043,432 (22.2%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 36,552,704 toSpace 48,496,640
Finished gc.
time(ms): 220
live(bytes): 8,034,900 (22.0%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 48,496,640 toSpace 64,425,984
Finished gc.
time(ms): 290
live(bytes): 10,712,044 (22.1%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 64,425,984 toSpace 85,843,968
Finished gc.
time(ms): 380
live(bytes): 14,102,440 (21.9%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 85,843,968 toSpace 112,967,680
Finished gc.
time(ms): 510
live(bytes): 18,650,036 (21.7%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 112,967,680 toSpace 149,348,352
Finished gc.
time(ms): 690
live(bytes): 24,692,468 (21.9%)
/tmp/fileozQ9Ud.15.S 12655: GC
Starting gc.
fromSpace 149,348,352 toSpace 198,864,896
Finished gc.
time(ms): 1,300
live(bytes): 34,637,976 (23.2%)
parse and elaborate finished in 9.810
core-ml size is 12,510,936 bytes
numPeeks = 14
average position in property list = 0.0
numPeeks = 376250
average position in bucket = 0.714
lex and parse totals 6.950
elaborate totals 2.860
dead starting
dead finished in 0.120
basis size is 601,644 bytes
numPeeks = 92638
average position in property list = 0.0
numPeeks = 376250
average position in bucket = 0.714
size = 226669
gcc -DNODEBUG -DMLton_safe=TRUE -DMLton_detectOverflow=TRUE \
-I/home/sweeks/mlton/include -o /tmp/filew9Fxf5 /tmp/filesV1GIC.c \
-L/home/sweeks/mlton/lib -lmlton -lm -lgmp
/tmp/filew9Fxf5 /tmp/fileOiuGFN
infer starting
unification starting
/tmp/fileO85EqR.13.S 9517: GC
Starting gc.
Unmapping toSpace
fromSpace 198,864,896 toSpace 224,886,784
Finished gc.
time(ms): 660
live(bytes): 14,640,440 (7.4%)
unification finished in 2.540
finish infer starting
/tmp/fileVzpvmU.43.S 6423: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,760
live(bytes): 53,822,976 (23.9%)
/tmp/fileDzgyAE.26.S 18150: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,990
live(bytes): 62,043,664 (27.6%)
finish infer finished in 6.050
infer finished in 8.920
xml.unsimplified size is 57,172,964 bytes
numPeeks = 1264847
average position in property list = 0.000
numPeeks = 578619
average position in bucket = 0.941
infer simplify starting
/tmp/fileDzgyAE.26.S 10320: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,100
live(bytes): 87,678,960 (39.0%)
infer simplify finished in 5.260
xml size is 23,368,904 bytes
numPeeks = 4079786
average position in property list = 0.060
numPeeks = 578619
average position in bucket = 0.941
/tmp/fileK7Dd1h.27.S 727: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 860
live(bytes): 28,329,144 (12.6%)
size = 140434
num types in program = 26187
num distinct types = 47891
hash table size is 0 bytes
mono starting
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 840
live(bytes): 28,470,776 (12.7%)
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 880
live(bytes): 29,253,308 (13.0%)
mono finished in 5.150
mono.unsimplified size is 29,073,912 bytes
numPeeks = 8754120
average position in property list = 0.028
numPeeks = 1365099
average position in bucket = 1.189
mono simplify starting
/tmp/fileDzgyAE.26.S 6807: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,310
live(bytes): 61,630,876 (27.4%)
mono simplify finished in 4.320
mono size is 24,548,608 bytes
numPeeks = 11262984
average position in property list = 0.039
numPeeks = 1365099
average position in bucket = 1.189
size = 172800
num types in program = 13867
num distinct types = 68762
hash table size is 0 bytes
implement exceptions starting
/tmp/fileHgqFal.3.S 16775: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,060
live(bytes): 34,076,308 (15.2%)
implement exceptions finished in 1.240
sxml.unsimplified size is 24,870,164 bytes
numPeeks = 11534338
average position in property list = 0.038
numPeeks = 1366278
average position in bucket = 1.189
implement exceptions simplify starting
implement exceptions simplify finished in 1.790
sxml size is 23,817,976 bytes
numPeeks = 13784299
average position in property list = 0.040
numPeeks = 1366278
average position in bucket = 1.189
polyvariance starting
/tmp/fileBdTnan.11.S 7995: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 990
live(bytes): 32,867,996 (14.6%)
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,090
live(bytes): 35,897,172 (16.0%)
size = 186840
num types in program = 11529
num distinct types = 68871
hash table size is 0 bytes
/tmp/fileVfpdU2.38.S 5450: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,240
live(bytes): 42,193,240 (18.8%)
/tmp/fileDzgyAE.26.S 10862: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,850
live(bytes): 57,360,832 (25.5%)
size = 185633
num types in program = 11439
num distinct types = 68871
hash table size is 0 bytes
polyvariance finished in 11.100
sxml.poly size is 25,725,496 bytes
numPeeks = 21220729
average position in property list = 0.041
numPeeks = 1366278
average position in bucket = 1.189
size = 185633
num types in program = 11439
num distinct types = 68871
hash table size is 0 bytes
closure convert starting
original size is 25,725,496 bytes
after flow analysis size is 51,648,364 bytes
free variables starting
free variables finished in 0.430
after lambda free size is 52,023,884 bytes
globalize starting
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,110
live(bytes): 52,939,304 (23.5%)
globalize finished in 2.450
after globalize size is 52,351,212 bytes
convert starting
/tmp/fileRmXcvg.25.S 283: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,670
live(bytes): 75,603,908 (33.6%)
/tmp/fileANOTZJ.33.S 11504: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,130
live(bytes): 91,387,560 (40.6%)
/tmp/fileRmXcvg.25.S 83: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,580
live(bytes): 107,769,752 (47.9%)
/tmp/fileRmXcvg.25.S 2781: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,940
live(bytes): 119,795,780 (53.3%)
convert finished in 18.900
closure convert finished in 28.690
cps.unsimplified size is 52,958,504 bytes
numPeeks = 26554746
average position in property list = 0.441
numPeeks = 1413750
average position in bucket = 1.174
closure convert simplify starting
num functions 10963
num local functions 140360
num primExps 145071
removeUnused starting
/tmp/fileF5ce6d.36.S 1702: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,430
live(bytes): 70,028,932 (31.1%)
removeUnused finished in 3.640
/tmp/fileqL7c6X.32.S 7191: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,470
live(bytes): 68,314,756 (30.4%)
num functions 10676
num local functions 94678
num primExps 141411
leaf-inline starting
inline starting
/tmp/fileAA0UVP.24.S 1638: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,070
live(bytes): 59,158,232 (26.3%)
inline finished in 3.730
leaf-inline finished in 3.730
/tmp/fileqL7c6X.32.S 6676: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,380
live(bytes): 39,694,264 (17.7%)
num functions 7692
num local functions 73597
num primExps 150328
raise-to-jump starting
inferHandlers starting
inferHandlers finished in 0.190
raise-to-jump finished in 1.530
/tmp/fileF5ce6d.36.S 10388: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,400
live(bytes): 39,731,420 (17.7%)
num functions 7692
num local functions 73155
num primExps 150309
contify starting
analyzeCall starting
analyzeCall finished in 0.090
analyzeCont starting
analyzeCont finished in 0.100
analyzeDom starting
buildGraph starting
buildGraph finished in 0.130
computeDominators starting
computeDominators finished in 0.500
compute ADom starting
compute ADom finished in 0.020
analyzeDom finished in 0.700
diagnostics starting
functions: 7692
call_cont_dom: 2808 call_cont: 0
call_dom: 548 cont_dom: 329
call: 0 cont: 0 dom: 264
rem_call_cont_dom: 3 rem_call_cont: 0
rem_call_dom: 0 rem_cont_dom: 0
rem_call: 0 rem_cont: 0 rem_dom: 0
diagnostics finished in 0.010
transform starting
/tmp/fileqL7c6X.32.S 2792: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,670
live(bytes): 49,992,580 (22.2%)
transform raised in 2.780
contify raised in 3.840
closure convert simplify raised in 19.920
pre codegen raised in 107.050
Compile SML raised in 107.050
mlton: unhandled exception: Option
max semispace size(bytes): 224,886,784
max stack size(bytes): 8,822,784
GC time(ms): 49,260 (46.0%)
maxPause(ms): 3,940
number of GCs: 33
bytes allocated: 4,615,694,740
bytes copied: 1,467,492,912
max bytes live: 119,795,780
benchmarks% $HOME/mlton/bin/mlton -vv -contify cc kit.sml
MLton internal (built Thu Feb 22 13:14:24 2001 on starlinux.epr.com)
created this file on Thu Feb 22 14:30:06 2001.
Do not edit this file.
Flag settings:
aux: false
chunk: chunk per function
contify strategy: CallCont
debug: false
defines: [NODEBUG,MLton_safe=TRUE,MLton_detectOverflow=TRUE]
detect overflow: true
fixed heap: None
indentation: 3
includes: [mlton.h]
inline: NonRecursive {product = 320,small = 60}
input file: kit.sml
instrument: false
instrument Sxml: false
keep Cps: false
native: true
native commented: 0
native copy prop: true
future: 64
native ieee fp: false
native live transfer: true
native move hoist: true
native optimize: 1
native split: Some (20000)
polyvariance: Some ({rounds = 2,small = 30,product = 300})
print at fun entry: false
profile: false
safe: true
show types: false
static: false
use basis library: true
verbose: true
very verbose: true
Compile SML starting
pre codegen starting
parse and elaborate starting
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
Unmapping toSpace
fromSpace 20,496,384 toSpace 20,783,104
Finished gc.
time(ms): 90
live(bytes): 3,385,956 (16.5%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 20,783,104 toSpace 27,234,304
Finished gc.
time(ms): 130
live(bytes): 4,551,480 (21.9%)
/tmp/fileUXUaFL.40.S 2717: GC
Starting gc.
fromSpace 27,234,304 toSpace 36,552,704
Finished gc.
time(ms): 170
live(bytes): 6,043,432 (22.2%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 36,552,704 toSpace 48,496,640
Finished gc.
time(ms): 210
live(bytes): 8,034,900 (22.0%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 48,496,640 toSpace 64,425,984
Finished gc.
time(ms): 290
live(bytes): 10,712,044 (22.1%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 64,425,984 toSpace 85,843,968
Finished gc.
time(ms): 380
live(bytes): 14,102,440 (21.9%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 85,843,968 toSpace 112,967,680
Finished gc.
time(ms): 510
live(bytes): 18,650,036 (21.7%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 112,967,680 toSpace 149,348,352
Finished gc.
time(ms): 690
live(bytes): 24,692,468 (21.9%)
/tmp/fileozQ9Ud.15.S 12655: GC
Starting gc.
fromSpace 149,348,352 toSpace 198,864,896
Finished gc.
time(ms): 1,300
live(bytes): 34,637,976 (23.2%)
parse and elaborate finished in 9.460
core-ml size is 12,510,936 bytes
numPeeks = 14
average position in property list = 0.0
numPeeks = 376250
average position in bucket = 0.714
lex and parse totals 6.600
elaborate totals 2.860
dead starting
dead finished in 0.110
basis size is 601,644 bytes
numPeeks = 92638
average position in property list = 0.0
numPeeks = 376250
average position in bucket = 0.714
size = 226669
gcc -DNODEBUG -DMLton_safe=TRUE -DMLton_detectOverflow=TRUE \
-I/home/sweeks/mlton/include -o /tmp/fileAYK8q5 /tmp/filexWLvKC.c \
-L/home/sweeks/mlton/lib -lmlton -lm -lgmp
/tmp/fileAYK8q5 /tmp/fileanU5HI
infer starting
unification starting
/tmp/fileO85EqR.13.S 9517: GC
Starting gc.
Unmapping toSpace
fromSpace 198,864,896 toSpace 224,886,784
Finished gc.
time(ms): 660
live(bytes): 14,640,440 (7.4%)
unification finished in 2.550
finish infer starting
/tmp/fileVzpvmU.43.S 6423: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,830
live(bytes): 53,822,976 (23.9%)
/tmp/fileDzgyAE.26.S 18150: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,980
live(bytes): 62,043,664 (27.6%)
finish infer finished in 6.060
infer finished in 8.950
xml.unsimplified size is 57,172,964 bytes
numPeeks = 1264847
average position in property list = 0.000
numPeeks = 578619
average position in bucket = 0.941
infer simplify starting
/tmp/fileDzgyAE.26.S 10320: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,090
live(bytes): 87,678,960 (39.0%)
infer simplify finished in 5.240
xml size is 23,368,904 bytes
numPeeks = 4079786
average position in property list = 0.060
numPeeks = 578619
average position in bucket = 0.941
/tmp/fileK7Dd1h.27.S 727: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 870
live(bytes): 28,329,144 (12.6%)
size = 140434
num types in program = 26187
num distinct types = 47891
hash table size is 0 bytes
mono starting
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 850
live(bytes): 28,470,776 (12.7%)
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 880
live(bytes): 29,253,308 (13.0%)
mono finished in 5.160
mono.unsimplified size is 29,073,912 bytes
numPeeks = 8754120
average position in property list = 0.028
numPeeks = 1365099
average position in bucket = 1.189
mono simplify starting
/tmp/fileDzgyAE.26.S 6807: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,320
live(bytes): 61,630,876 (27.4%)
mono simplify finished in 4.320
mono size is 24,548,608 bytes
numPeeks = 11262984
average position in property list = 0.039
numPeeks = 1365099
average position in bucket = 1.189
size = 172800
num types in program = 13867
num distinct types = 68762
hash table size is 0 bytes
implement exceptions starting
/tmp/fileHgqFal.3.S 16775: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,060
live(bytes): 34,076,308 (15.2%)
implement exceptions finished in 1.250
sxml.unsimplified size is 24,870,164 bytes
numPeeks = 11534338
average position in property list = 0.038
numPeeks = 1366278
average position in bucket = 1.189
implement exceptions simplify starting
implement exceptions simplify finished in 1.780
sxml size is 23,817,976 bytes
numPeeks = 13784299
average position in property list = 0.040
numPeeks = 1366278
average position in bucket = 1.189
polyvariance starting
/tmp/fileBdTnan.11.S 7995: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,000
live(bytes): 32,867,996 (14.6%)
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,090
live(bytes): 35,897,172 (16.0%)
size = 186840
num types in program = 11529
num distinct types = 68871
hash table size is 0 bytes
/tmp/fileVfpdU2.38.S 5450: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,220
live(bytes): 42,193,240 (18.8%)
/tmp/fileDzgyAE.26.S 10862: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,850
live(bytes): 57,360,832 (25.5%)
size = 185633
num types in program = 11439
num distinct types = 68871
hash table size is 0 bytes
polyvariance finished in 11.050
sxml.poly size is 25,725,496 bytes
numPeeks = 21220729
average position in property list = 0.041
numPeeks = 1366278
average position in bucket = 1.189
size = 185633
num types in program = 11439
num distinct types = 68871
hash table size is 0 bytes
closure convert starting
original size is 25,725,496 bytes
after flow analysis size is 51,648,364 bytes
free variables starting
free variables finished in 0.430
after lambda free size is 52,023,884 bytes
globalize starting
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,120
live(bytes): 52,939,304 (23.5%)
globalize finished in 2.460
after globalize size is 52,351,212 bytes
convert starting
/tmp/fileRmXcvg.25.S 283: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,670
live(bytes): 75,603,908 (33.6%)
/tmp/fileANOTZJ.33.S 11504: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,110
live(bytes): 91,387,560 (40.6%)
/tmp/fileRmXcvg.25.S 83: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,590
live(bytes): 107,769,752 (47.9%)
/tmp/fileRmXcvg.25.S 2781: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 3,950
live(bytes): 119,795,780 (53.3%)
convert finished in 18.890
closure convert finished in 28.710
cps.unsimplified size is 52,958,504 bytes
numPeeks = 26554746
average position in property list = 0.441
numPeeks = 1413750
average position in bucket = 1.174
closure convert simplify starting
num functions 10963
num local functions 140360
num primExps 145071
removeUnused starting
/tmp/fileF5ce6d.36.S 1702: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,430
live(bytes): 70,028,932 (31.1%)
removeUnused finished in 3.640
/tmp/fileqL7c6X.32.S 7191: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,470
live(bytes): 68,314,756 (30.4%)
num functions 10676
num local functions 94678
num primExps 141411
leaf-inline starting
inline starting
/tmp/fileAA0UVP.24.S 1638: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 2,080
live(bytes): 59,158,232 (26.3%)
inline finished in 3.750
leaf-inline finished in 3.750
/tmp/fileqL7c6X.32.S 6676: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,380
live(bytes): 39,694,264 (17.7%)
num functions 7692
num local functions 73597
num primExps 150328
raise-to-jump starting
inferHandlers starting
inferHandlers finished in 0.190
raise-to-jump finished in 1.520
/tmp/fileF5ce6d.36.S 10388: GC
Starting gc.
fromSpace 224,886,784 toSpace 224,886,784
Finished gc.
time(ms): 1,400
live(bytes): 39,731,420 (17.7%)
num functions 7692
num local functions 73155
num primExps 150309
contify starting
analyzeCall starting
analyzeCall finished in 0.090
analyzeCont starting
analyzeCont finished in 0.100
analyzeDom starting
buildGraph starting
buildGraph finished in 0.130
computeDominators starting
computeDominators finished in 0.490
compute ADom starting
compute ADom finished in 0.020
analyzeDom finished in 0.680
diagnostics starting
functions: 7692
call_cont_dom: 2808 call_cont: 0
call_dom: 548 cont_dom: 329
call: 0 cont: 0 dom: 264
rem_call_cont_dom: 3 rem_call_cont: 0
rem_call_dom: 0 rem_cont_dom: 0
rem_call: 0 rem_cont: 0 rem_dom: 0
diagnostics finished in 0.010
transform starting
transform raised in 0.340
contify raised in 1.390
closure convert simplify raised in 17.490
pre codegen raised in 104.320
Compile SML raised in 104.320
mlton: action_0 has no Shrink.info property
max semispace size(bytes): 224,886,784
max stack size(bytes): 8,822,784
GC time(ms): 47,670 (45.7%)
maxPause(ms): 3,950
number of GCs: 32
bytes allocated: 4,513,231,116
bytes copied: 1,417,500,332
max bytes live: 119,795,780
benchmarks%