> I upgraded mlton to version 20051109-1 from 20041109, and I can no
> longer compile my ML projects, because when the compiler reaches the
> defunctorize stage it takes up all available memory, and I have to
> kill the process.
I haven't been able to reproduce the problem. When I compiled
dynamo.mlb on my machine with 2G RAM, defunctorize completed in less
than seven seconds, and the entire compile completed in less than two
minutes. The log is below. The max amount of live data was 200M, so
I would expect no trouble for the compile to complete on a machine
with 512M RAM. As a test, I compiled dynamo with "@MLton fixed-heap
400M --" and the compile still completed in under two minutes.
Does your machine have less than 512M? I did notice in your log the
following, which indicates a lack of memory.
parseAndElaborate finished in 3.62 + 34.85 (91% GC)
----------------------------------------------------------------------
MLton starting
MLton 20051109 (built Thu Nov 10 03:26:47 2005 on pavilion)
created this file on Mon Nov 28 12:54:03 2005.
Do not edit this file.
Flag settings:
align: 4
atMLtons: (dynamo, @MLton, --)
chunk: chunk per function
codegen: Native
contifyIntoMain: false
debug: false
diag passes: []
drop passes: []
elaborate allowConstant (default): false
elaborate allowConstant (enabled): true
elaborate allowFFI (default): false
elaborate allowFFI (enabled): true
elaborate allowPrim (default): false
elaborate allowPrim (enabled): true
elaborate allowOverload (default): false
elaborate allowOverload (enabled): true
elaborate allowRebindEquals (default): false
elaborate allowRebindEquals (enabled): true
elaborate deadCode (default): false
elaborate deadCode (enabled): true
elaborate forceUsed (default): false
elaborate forceUsed (enabled): true
elaborate ffiStr (default):
elaborate ffiStr (enabled): true
elaborate nonexhaustiveExnMatch (default): default
elaborate nonexhaustiveExnMatch (enabled): true
elaborate nonexhaustiveMatch (default): warn
elaborate nonexhaustiveMatch (enabled): true
elaborate redundantMatch (default): warn
elaborate redundantMatch (enabled): true
elaborate sequenceNonUnit (default): ignore
elaborate sequenceNonUnit (enabled): true
elaborate warnUnused (default): false
elaborate warnUnused (enabled): true
elaborate only: false
export header: None
exn history: false
gc check: Limit
indentation: 3
inline: NonRecursive {product = 320, small = 60}
inlineIntoMain: true
input file: dynamo
keep Machine: false
keep RSSA: false
keep SSA: false
keep SSA2: false
keep dot: false
keep passes: []
extra_: false
lib dir: /usr/lib/mlton
lib target dir: /usr/lib/mlton/self
loop passes: 1
mark cards: true
max function size: 10000
mlb path maps: [/usr/lib/mlton/mlb-path-map, mlb-path-map]
native commented: 0
native live stack: false
native optimize: 1
native move hoist: true
native copy prop: true
native copy prop cutoff: 1000
native cutoff: 100
native live transfer: 8
native shuffle: true
native ieee fp: false
native split: Some 20000
optimizationPassesSet: [<ssa2PassesSet>, <ssaPassesSet>, <sxmlPassesSet>,
<xmlPassesSet>]
polyvariance: Some {rounds = 2, small = 30, product = 300}
prof passes: []
profile: None
profile branch: false
profile C: []
profile IL: ProfileSource
profile include/exclude: [(Seq [Star [.], Or [Seq [Seq [[<], [b], [a], [s],
[i], [s], [>]]]], Star [.]], false)]
profile raise: false
profile stack: false
show basis: None
show def-use: None
show types: false
ssaPassesSet: <ssaPassesSet>
ssaPasses: [default]
ssa2PassesSet: <ssa2PassesSet>
ssa2Passes: [default]
sxmlPassesSet: <sxmlPassesSet>
sxmlPasses: [default]
target: self
target arch: X86
target OS: Linux
type check: false
verbosity: Detail
warn unrecognized annotation: true
xmlPassesSet: <xmlPassesSet>
xmlPasses: [default]
zone cut depth: 100
Compile SML starting
pre codegen starting
parseAndElaborate starting
parseAndElaborate finished in 8.49 + 4.66 (35% GC)
core-ml size is 158,532,084 bytes
numPeeks = 4020630
maxLength = 3
average position in property list = 0.239
numPeeks = 156789
average position in bucket = 1.028
deadCode starting
deadCode finished in 0.07 + 0.00 (0% GC)
core-ml size is 149,101,804 bytes
numPeeks = 4089665
maxLength = 3
average position in property list = 0.242
numPeeks = 156789
average position in bucket = 1.028
defunctorize starting
Warning: deps.sml 618.7.
Declaration is not exhaustive.
missing pattern: (_,
(CONSTINT _) | (CONSTREAL _) | (BINOP _) | (RELOP _) |
(FUNCALL _) | (UNARYEXPOP _) | (CONDITIONAL _))
in: (deps, ID name) = make_dep (make_depname, DLAst.ID name)
Warning: deps.sml 803.12.
Declaration is not exhaustive.
missing pattern: (_,
(CONSTINT _) | (CONSTREAL _) | (BINOP _) | (RELOP _) |
(FUNCALL _) | (UNARYEXPOP _) | (CONDITIONAL _))
in: (deps1, ID exp1) = make_dep (make_depname, DLAst.ID name1)
Warning: deps.sml 804.12.
Declaration is not exhaustive.
missing pattern: (_,
(CONSTINT _) | (CONSTREAL _) | (BINOP _) | (RELOP _) |
(FUNCALL _) | (UNARYEXPOP _) | (CONDITIONAL _))
in: (deps2, ID exp2) = make_dep (make_depname, DLAst.ID name2)
Warning: prettyprint.sml 1405.2.
Case is not exhaustive.
missing pattern: (MatrixParEntry _) | (MatrixStateEntry _) |
(MatrixStateFunEntry _)
in: case entry of (TimeEntry {quantity, ... ^ (Int.toString value))))
Warning: prettyprint.sml 1650.2.
Case is not exhaustive.
missing pattern: (MatrixParEntry _) | (MatrixStateEntry _) |
(MatrixStateFunEntry _)
in: case entry of (DLEnv'.TimeEntry ({q ... y) => ((sayln ("Dummy")))
Warning: prettyprint.sml 2122.6.
Case is not exhaustive.
missing pattern: (MatrixParEntry _) | (MatrixStateEntry _) |
(MatrixStateFunEntry _)
in: case entry of (DLDeps.ConditionEntr ... ^ (Int.toString value))))
Warning: semant.sml 81.1.
Function is not exhaustive.
missing pattern: (MatrixParEntry _) | (MatrixStateEntry _) |
(MatrixStateFunEntry _)
in: typeof (TimeEntry _) = TypeSet.sing ... eSet.singleton (Discrete)
defunctorize finished in 2.18 + 4.58 (68% GC)
xml size is 130,195,492 bytes
numPeeks = 5917550
maxLength = 6
average position in property list = 0.212
numPeeks = 701200
average position in bucket = 0.472
size = 144419
num types in program = 26485
num distinct types = 395632
hash table size is 0 bytes
xmlSimplify starting
typeCheck starting
typeCheck finished in 1.23 + 0.00 (0% GC)
size = 144419
num types in program = 26485
num distinct types = 397558
hash table size is 0 bytes
xmlShrink starting
xmlShrink finished in 0.74 + 0.00 (0% GC)
post.xml size is 49,378,844 bytes
numPeeks = 11089480
maxLength = 6
average position in property list = 0.117
numPeeks = 824729
average position in bucket = 0.602
size = 79691
num types in program = 20830
num distinct types = 397558
hash table size is 0 bytes
xmlSimplifyTypes starting
xmlSimplifyTypes finished in 0.87 + 0.00 (0% GC)
post.xml size is 77,152,596 bytes
numPeeks = 12880313
maxLength = 6
average position in property list = 0.103
numPeeks = 1201838
average position in bucket = 0.730
size = 79691
num types in program = 20830
num distinct types = 397558
hash table size is 0 bytes
typeCheck starting
typeCheck finished in 1.14 + 0.00 (0% GC)
xmlSimplify finished in 6.60 + 0.00 (0% GC)
xml size is 63,955,292 bytes
numPeeks = 15643774
maxLength = 6
average position in property list = 0.173
numPeeks = 1305892
average position in bucket = 0.777
size = 79691
num types in program = 20830
num distinct types = 397561
hash table size is 0 bytes
monomorphise starting
monomorphise finished in 0.54 + 0.00 (0% GC)
sxml size is 7,291,956 bytes
numPeeks = 16835153
maxLength = 6
average position in property list = 0.186
numPeeks = 1652838
average position in bucket = 0.868
size = 53913
num types in program = 4244
num distinct types = 401420
hash table size is 0 bytes
sxmlSimplify starting
typeCheck starting
typeCheck finished in 0.16 + 0.00 (0% GC)
size = 53913
num types in program = 4244
num distinct types = 401807
hash table size is 0 bytes
sxmlShrink1 starting
sxmlShrink1 finished in 0.29 + 0.00 (0% GC)
post.sxml size is 5,861,012 bytes
numPeeks = 17958391
maxLength = 6
average position in property list = 0.179
numPeeks = 1673601
average position in bucket = 0.874
size = 44301
num types in program = 2458
num distinct types = 401807
hash table size is 0 bytes
implementSuffix starting
implementSuffix finished in 0.02 + 0.00 (0% GC)
post.sxml size is 5,862,356 bytes
numPeeks = 18013626
maxLength = 6
average position in property list = 0.178
numPeeks = 1673607
average position in bucket = 0.874
size = 44308
num types in program = 2459
num distinct types = 401808
hash table size is 0 bytes
sxmlShrink2 starting
sxmlShrink2 finished in 0.25 + 0.00 (0% GC)
post.sxml size is 5,797,592 bytes
numPeeks = 18604028
maxLength = 6
average position in property list = 0.173
numPeeks = 1673607
average position in bucket = 0.874
size = 43851
num types in program = 2319
num distinct types = 401808
hash table size is 0 bytes
implementExceptions starting
implementExceptions finished in 0.02 + 0.00 (0% GC)
post.sxml size is 5,942,592 bytes
numPeeks = 18669957
maxLength = 6
average position in property list = 0.172
numPeeks = 1673947
average position in bucket = 0.875
size = 44997
num types in program = 2333
num distinct types = 401820
hash table size is 0 bytes
sxmlShrink3 starting
sxmlShrink3 finished in 0.25 + 0.00 (0% GC)
post.sxml size is 5,871,372 bytes
numPeeks = 19266818
maxLength = 6
average position in property list = 0.167
numPeeks = 1673947
average position in bucket = 0.875
size = 44210
num types in program = 2333
num distinct types = 401820
hash table size is 0 bytes
polyvariance starting
size = 45561
num types in program = 2031
num distinct types = 401820
hash table size is 0 bytes
size = 45268
num types in program = 2005
num distinct types = 401820
hash table size is 0 bytes
polyvariance finished in 0.61 + 0.00 (0% GC)
post.sxml size is 5,954,564 bytes
numPeeks = 20984956
maxLength = 6
average position in property list = 0.154
numPeeks = 1673947
average position in bucket = 0.875
size = 45268
num types in program = 2005
num distinct types = 401820
hash table size is 0 bytes
typeCheck starting
typeCheck finished in 0.11 + 0.00 (0% GC)
sxmlSimplify finished in 2.56 + 0.00 (0% GC)
sxml size is 5,954,564 bytes
numPeeks = 21301706
maxLength = 6
average position in property list = 0.154
numPeeks = 1691827
average position in bucket = 0.881
size = 45268
num types in program = 2005
num distinct types = 401829
hash table size is 0 bytes
closureConvert starting
flow analysis starting
flow analysis finished in 0.05 + 0.00 (0% GC)
free variables starting
free variables finished in 0.04 + 0.00 (0% GC)
globalize starting
globalize finished in 0.04 + 0.00 (0% GC)
convert starting
convert finished in 0.42 + 4.67 (92% GC)
closureConvert finished in 0.59 + 4.67 (89% GC)
ssa size is 8,182,456 bytes
numPeeks = 22428887
maxLength = 6
average position in property list = 0.148
numPeeks = 1700234
average position in bucket = 0.882
ssaSimplify starting
typeCheck starting
checkScopes starting
checkScopes finished in 0.15 + 0.00 (0% GC)
typeCheck finished in 0.23 + 0.00 (0% GC)
num functions 1575
num blocks 23256
num statements 36186
main num vars: 2316
main num blocks: 1592
removeUnused1 starting
removeUnused1 finished in 0.26 + 0.00 (0% GC)
post.ssa size is 6,442,612 bytes
numPeeks = 25213754
maxLength = 6
average position in property list = 0.141
numPeeks = 1719115
average position in bucket = 0.885
num functions 1460
num blocks 16122
num statements 32305
main num vars: 1564
main num blocks: 1052
leafInline starting
leafInline finished in 0.14 + 0.00 (0% GC)
post.ssa size is 6,059,228 bytes
numPeeks = 25601311
maxLength = 6
average position in property list = 0.139
numPeeks = 1719115
average position in bucket = 0.885
num functions 1139
num blocks 13637
num statements 33355
main num vars: 1428
main num blocks: 448
contify1 starting
initReachCallerCallees starting
initReachCallerCallees finished in 0.01 + 0.00 (0% GC)
analyzeDom starting
buildGraph starting
buildGraph finished in 0.02 + 0.00 (0% GC)
computeDominators starting
computeDominators finished in 0.02 + 0.00 (0% GC)
compute ADom starting
compute ADom finished in 0.00 + 0.00 (0% GC)
analyzeDom finished in 0.04 + 0.00 (0% GC)
transform starting
transform finished in 0.11 + 0.00 (0% GC)
contify1 finished in 0.16 + 0.00 (0% GC)
post.ssa size is 5,867,132 bytes
numPeeks = 26243852
maxLength = 6
average position in property list = 0.137
numPeeks = 1719115
average position in bucket = 0.885
num functions 548
num blocks 13146
num statements 33198
main num vars: 1428
main num blocks: 445
localFlatten1 starting
localFlatten1 finished in 0.14 + 0.00 (0% GC)
post.ssa size is 5,696,300 bytes
numPeeks = 26634701
maxLength = 6
average position in property list = 0.136
numPeeks = 1719115
average position in bucket = 0.885
num functions 548
num blocks 13112
num statements 30467
main num vars: 1414
main num blocks: 445
constantPropagation starting
fixed point starting
fixed point finished in 0.10 + 0.00 (0% GC)
constantPropagation finished in 0.32 + 0.00 (0% GC)
post.ssa size is 4,877,332 bytes
numPeeks = 27262237
maxLength = 6
average position in property list = 0.136
numPeeks = 1745763
average position in bucket = 0.888
num functions 548
num blocks 12837
num statements 21769
main num vars: 1006
main num blocks: 420
useless starting
useless finished in 0.47 + 0.00 (0% GC)
post.ssa size is 4,719,260 bytes
numPeeks = 27930291
maxLength = 6
average position in property list = 0.139
numPeeks = 1784502
average position in bucket = 0.897
num functions 548
num blocks 12802
num statements 20329
main num vars: 942
main num blocks: 416
removeUnused2 starting
removeUnused2 finished in 0.18 + 0.50 (74% GC)
post.ssa size is 4,702,016 bytes
numPeeks = 28356010
maxLength = 6
average position in property list = 0.137
numPeeks = 1784502
average position in bucket = 0.897
num functions 542
num blocks 12752
num statements 20273
main num vars: 942
main num blocks: 415
simplifyTypes starting
simplifyTypes finished in 0.17 + 0.00 (0% GC)
post.ssa size is 4,258,884 bytes
numPeeks = 28796499
maxLength = 6
average position in property list = 0.136
numPeeks = 1785118
average position in bucket = 0.897
num functions 542
num blocks 11635
num statements 19835
main num vars: 818
main num blocks: 410
polyEqual starting
polyEqual finished in 0.09 + 0.00 (0% GC)
post.ssa size is 4,267,644 bytes
numPeeks = 28997471
maxLength = 6
average position in property list = 0.136
numPeeks = 1785121
average position in bucket = 0.897
num functions 546
num blocks 11692
num statements 19854
main num vars: 818
main num blocks: 410
contify2 starting
initReachCallerCallees starting
initReachCallerCallees finished in 0.00 + 0.00 (0% GC)
analyzeDom starting
buildGraph starting
buildGraph finished in 0.01 + 0.00 (0% GC)
computeDominators starting
computeDominators finished in 0.02 + 0.00 (0% GC)
compute ADom starting
compute ADom finished in 0.00 + 0.00 (0% GC)
analyzeDom finished in 0.03 + 0.00 (0% GC)
transform starting
transform finished in 0.08 + 0.00 (0% GC)
contify2 finished in 0.11 + 0.00 (0% GC)
post.ssa size is 4,264,852 bytes
numPeeks = 29506526
maxLength = 6
average position in property list = 0.134
numPeeks = 1785121
average position in bucket = 0.897
num functions 541
num blocks 11680
num statements 19848
main num vars: 818
main num blocks: 410
inline starting
inline finished in 0.23 + 0.00 (0% GC)
post.ssa size is 5,621,860 bytes
numPeeks = 30098136
maxLength = 6
average position in property list = 0.133
numPeeks = 1785121
average position in bucket = 0.897
num functions 187
num blocks 17502
num statements 27629
main num vars: 1808
main num blocks: 882
localFlatten2 starting
localFlatten2 finished in 0.18 + 0.00 (0% GC)
post.ssa size is 5,528,956 bytes
numPeeks = 30538474
maxLength = 6
average position in property list = 0.132
numPeeks = 1785121
average position in bucket = 0.897
num functions 187
num blocks 16670
num statements 27201
main num vars: 1795
main num blocks: 824
removeUnused3 starting
removeUnused3 finished in 0.25 + 0.00 (0% GC)
post.ssa size is 5,450,676 bytes
numPeeks = 31088311
maxLength = 6
average position in property list = 0.131
numPeeks = 1785121
average position in bucket = 0.897
num functions 187
num blocks 16447
num statements 26805
main num vars: 1779
main num blocks: 820
contify3 starting
initReachCallerCallees starting
initReachCallerCallees finished in 0.01 + 0.00 (0% GC)
analyzeDom starting
buildGraph starting
buildGraph finished in 0.00 + 0.00 (0% GC)
computeDominators starting
computeDominators finished in 0.02 + 0.00 (0% GC)
compute ADom starting
compute ADom finished in 0.00 + 0.00 (0% GC)
analyzeDom finished in 0.02 + 0.00 (0% GC)
transform starting
transform finished in 0.13 + 0.00 (0% GC)
contify3 finished in 0.16 + 0.00 (0% GC)
post.ssa size is 5,450,220 bytes
numPeeks = 31586088
maxLength = 6
average position in property list = 0.129
numPeeks = 1785121
average position in bucket = 0.897
num functions 187
num blocks 16447
num statements 26801
main num vars: 1779
main num blocks: 820
introduceLoops starting
introduceLoops finished in 0.01 + 0.00 (0% GC)
post.ssa size is 5,467,388 bytes
numPeeks = 31610132
maxLength = 6
average position in property list = 0.129
numPeeks = 1785121
average position in bucket = 0.897
num functions 187
num blocks 16583
num statements 26801
main num vars: 1779
main num blocks: 820
loopInvariant starting
loopInvariant finished in 0.18 + 0.00 (0% GC)
post.ssa size is 5,406,368 bytes
numPeeks = 32031920
maxLength = 6
average position in property list = 0.130
numPeeks = 1785121
average position in bucket = 0.897
num functions 187
num blocks 16508
num statements 26782
main num vars: 1722
main num blocks: 820
localRef starting
multi starting
multi finished in 0.04 + 0.00 (0% GC)
localRef finished in 0.20 + 0.00 (0% GC)
post.ssa size is 5,405,444 bytes
numPeeks = 32559349
maxLength = 6
average position in property list = 0.135
numPeeks = 1785335
average position in bucket = 0.897
num functions 187
num blocks 16509
num statements 26767
main num vars: 1720
main num blocks: 820
flatten starting
flatten finished in 0.23 + 0.00 (0% GC)
post.ssa size is 4,889,052 bytes
numPeeks = 33073256
maxLength = 6
average position in property list = 0.135
numPeeks = 1785335
average position in bucket = 0.897
num functions 187
num blocks 16520
num statements 16135
main num vars: 1565
main num blocks: 820
localFlatten3 starting
localFlatten3 finished in 0.14 + 0.21 (60% GC)
post.ssa size is 4,897,248 bytes
numPeeks = 33437711
maxLength = 6
average position in property list = 0.135
numPeeks = 1785335
average position in bucket = 0.897
num functions 187
num blocks 16505
num statements 16273
main num vars: 1565
main num blocks: 820
commonArg starting
commonArg finished in 0.23 + 0.00 (0% GC)
post.ssa size is 4,822,140 bytes
numPeeks = 34874941
maxLength = 6
average position in property list = 0.132
numPeeks = 1785335
average position in bucket = 0.897
num functions 187
num blocks 16241
num statements 16267
main num vars: 1541
main num blocks: 803
commonSubexp starting
commonSubexp finished in 0.24 + 0.00 (0% GC)
post.ssa size is 4,760,204 bytes
numPeeks = 36308200
maxLength = 6
average position in property list = 0.131
numPeeks = 1801660
average position in bucket = 0.891
num functions 187
num blocks 16212
num statements 15535
main num vars: 1439
main num blocks: 802
commonBlock starting
commonBlock finished in 0.10 + 0.00 (0% GC)
post.ssa size is 4,633,084 bytes
numPeeks = 36538596
maxLength = 6
average position in property list = 0.131
numPeeks = 1801660
average position in bucket = 0.891
num functions 187
num blocks 14705
num statements 15535
main num vars: 1439
main num blocks: 785
redundantTests starting
redundantTests finished in 0.19 + 0.00 (0% GC)
post.ssa size is 4,640,668 bytes
numPeeks = 37873044
maxLength = 6
average position in property list = 0.130
numPeeks = 1801660
average position in bucket = 0.891
num functions 187
num blocks 14681
num statements 15592
main num vars: 1441
main num blocks: 783
redundant starting
redundant finished in 0.12 + 0.00 (0% GC)
post.ssa size is 4,637,668 bytes
numPeeks = 38129951
maxLength = 6
average position in property list = 0.131
numPeeks = 1801660
average position in bucket = 0.891
num functions 187
num blocks 14681
num statements 15592
main num vars: 1439
main num blocks: 783
knownCase starting
knownCase finished in 0.69 + 0.00 (0% GC)
post.ssa size is 5,348,312 bytes
numPeeks = 41129425
maxLength = 6
average position in property list = 0.135
numPeeks = 1806830
average position in bucket = 0.889
num functions 187
num blocks 17602
num statements 15560
main num vars: 1594
main num blocks: 856
removeUnused4 starting
removeUnused4 finished in 0.24 + 0.30 (56% GC)
post.ssa size is 5,009,168 bytes
numPeeks = 41673810
maxLength = 6
average position in property list = 0.133
numPeeks = 1806830
average position in bucket = 0.889
num functions 187
num blocks 16843
num statements 14282
main num vars: 1542
main num blocks: 849
typeCheck starting
checkScopes starting
checkScopes finished in 0.13 + 0.00 (0% GC)
typeCheck finished in 0.19 + 0.00 (0% GC)
ssaSimplify finished in 8.62 + 1.01 (10% GC)
ssa size is 5,026,364 bytes
numPeeks = 43317789
maxLength = 6
average position in property list = 0.132
numPeeks = 1820645
average position in bucket = 0.890
toSsa2 starting
toSsa2 finished in 0.18 + 0.00 (0% GC)
ssa2 size is 5,982,928 bytes
numPeeks = 43720111
maxLength = 6
average position in property list = 0.131
numPeeks = 1821756
average position in bucket = 0.890
ssa2Simplify starting
typeCheck starting
checkScopes starting
checkScopes finished in 0.16 + 0.00 (0% GC)
typeCheck finished in 0.24 + 0.00 (0% GC)
num functions 187
num blocks 17765
num statements 28261
deepFlatten starting
deepFlatten finished in 0.34 + 0.00 (0% GC)
post.ssa2 size is 6,103,204 bytes
numPeeks = 46231477
maxLength = 6
average position in property list = 0.129
numPeeks = 1847103
average position in bucket = 0.896
num functions 187
num blocks 17765
num statements 28086
refFlatten starting
refFlatten finished in 0.38 + 0.00 (0% GC)
post.ssa2 size is 6,225,660 bytes
numPeeks = 47031119
maxLength = 6
average position in property list = 0.132
numPeeks = 1854436
average position in bucket = 0.897
num functions 187
num blocks 17765
num statements 28067
removeUnused5 starting
removeUnused5 finished in 0.30 + 0.00 (0% GC)
post.ssa2 size is 6,091,820 bytes
numPeeks = 47830424
maxLength = 6
average position in property list = 0.130
numPeeks = 1855337
average position in bucket = 0.897
num functions 187
num blocks 17649
num statements 27849
zone starting
zone finished in 0.00 + 0.00 (0% GC)
post.ssa2 size is 6,091,820 bytes
numPeeks = 47830424
maxLength = 6
average position in property list = 0.130
numPeeks = 1855337
average position in bucket = 0.897
num functions 187
num blocks 17649
num statements 27849
typeCheck starting
checkScopes starting
checkScopes finished in 0.16 + 0.00 (0% GC)
typeCheck finished in 0.24 + 0.00 (0% GC)
ssa2Simplify finished in 2.04 + 0.00 (0% GC)
ssa2 size is 6,109,016 bytes
numPeeks = 49574994
maxLength = 6
average position in property list = 0.128
numPeeks = 1873182
average position in bucket = 0.903
backend starting
toRssa starting
toRssa finished in 0.23 + 0.00 (0% GC)
rssa size is 11,376,100 bytes
numPeeks = 50008968
maxLength = 6
average position in property list = 0.127
numPeeks = 1873184
average position in bucket = 0.903
rssaSimplify starting
rssaShrink1 starting
rssaShrink1 finished in 0.19 + 0.00 (0% GC)
rssa size is 7,243,360 bytes
numPeeks = 50381317
maxLength = 6
average position in property list = 0.126
numPeeks = 1873184
average position in bucket = 0.903
insertLimitChecks starting
insertLimitChecks finished in 0.13 + 0.35 (73% GC)
rssa size is 8,531,168 bytes
numPeeks = 50839259
maxLength = 6
average position in property list = 0.130
numPeeks = 1873184
average position in bucket = 0.903
insertSignalChecks starting
insertSignalChecks finished in 0.00 + 0.00 (0% GC)
rssa size is 8,531,168 bytes
numPeeks = 50839259
maxLength = 6
average position in property list = 0.130
numPeeks = 1873184
average position in bucket = 0.903
implementHandlers starting
implementHandlers finished in 0.01 + 0.00 (0% GC)
rssa size is 8,534,196 bytes
numPeeks = 50851649
maxLength = 6
average position in property list = 0.130
numPeeks = 1873184
average position in bucket = 0.903
rssaShrink2 starting
rssaShrink2 finished in 0.17 + 0.00 (0% GC)
rssa size is 8,530,296 bytes
numPeeks = 51145099
maxLength = 6
average position in property list = 0.129
numPeeks = 1873184
average position in bucket = 0.903
implementProfiling starting
implementProfiling finished in 0.00 + 0.00 (0% GC)
rssa size is 8,530,308 bytes
numPeeks = 51196427
maxLength = 6
average position in property list = 0.129
numPeeks = 1873184
average position in bucket = 0.903
rssaSimplify finished in 1.47 + 0.35 (19% GC)
rssa size is 8,530,308 bytes
numPeeks = 51196427
maxLength = 6
average position in property list = 0.129
numPeeks = 1873184
average position in bucket = 0.903
toMachine starting
toMachine finished in 1.32 + 0.00 (0% GC)
machine size is 15,440,696 bytes
numPeeks = 53095157
maxLength = 6
average position in property list = 0.143
numPeeks = 1909197
average position in bucket = 0.905
backend finished in 3.73 + 0.35 (9% GC)
machine size is 15,440,696 bytes
numPeeks = 53095157
maxLength = 6
average position in property list = 0.143
numPeeks = 1909197
average position in bucket = 0.905
pre codegen finished in 47.72 + 15.27 (24% GC)
x86 code gen starting
outputAssembly starting
translateChunk totals 3.15 + 0.01 (0% GC)
simplify totals 5.63 + 0.07 (1% GC)
completeLiveInfo totals 0.37 + 0.00 (0% GC)
completeJumpInfo totals 0.01 + 0.00 (0% GC)
elimGoto totals 0.30 + 0.00 (0% GC)
elimIff: 0 / 0
elimSwitchTest: 0 / 0
elimSwitchCases: 5 / 5
elimSimpleGoto totals 0.12 + 0.00 (0% GC)
elimComplexGoto totals 0.04 + 0.00 (0% GC)
elimBlocks totals 0.07 + 0.00 (0% GC)
verifyJumpInfo totals 0.00 + 0.00 (0% GC)
verifyEntryTransfer totals 0.00 + 0.00 (0% GC)
peepholeBlock_pre totals 0.27 + 0.04 (13% GC)
commuteBinALMD: 201 / 201
elimAddSub1: 520 / 520
elimMDPow2: 12 / 14
toLivenessBlock totals 0.53 + 0.00 (0% GC)
moveHoist totals 0.38 + 0.00 (0% GC)
peepholeLivenessBlock totals 0.40 + 0.03 (7% GC)
elimALCopy: 3312 / 13061
elimFltACopy: 11 / 11
elimDeadDsts: 565 / 566
elimSelfMove: 4512 / 4512
elimFltSelfMove: 0 / 0
commuteBinALMD: 20 / 20497
commuteFltBinA: 0 / 30
conditionalJump: 3870 / 3870
copyPropagate totals 0.41 + 0.00 (0% GC)
peepholeLivenessBlock_minor totals 0.28 + 0.00 (0% GC)
elimDeadDsts_minor: 0 / 1
elimSelfMove_minor: 0 / 0
elimFltSelfMove_minor: 0 / 0
verifyLivenessBlock totals 0.00 + 0.00 (0% GC)
toBlock totals 0.21 + 0.00 (0% GC)
peepholeBlock_post totals 0.35 + 0.00 (0% GC)
elimBinALMDDouble: 2 / 10504
elimFltBinADouble: 0 / 9
elimCMPTEST: 0 / 20020
elimCMP0: 1189 / 1189
elimALTEST: 1097 / 1099
generateTransfers totals 1.33 + 0.00 (0% GC)
verifyLiveInfo totals 0.00 + 0.00 (0% GC)
verifyJumpInfo totals 0.00 + 0.00 (0% GC)
verifyEntryTransfer totals 0.00 + 0.00 (0% GC)
createLoopInfo totals 0.13 + 0.00 (0% GC)
computeLiveTransfers totals 0.37 + 0.00 (0% GC)
allocateRegisters totals 23.62 + 0.61 (3% GC)
toLiveness totals 0.82 + 0.00 (0% GC)
toNoLiveness totals 0.00 + 0.00 (0% GC)
Assembly.allocateRegisters totals 22.24 + 0.61 (3% GC)
Instruction.allocateRegisters totals 14.72 + 0.56 (4% GC)
pre totals 1.95 + 0.05 (2% GC)
post totals 2.03 + 0.00 (0% GC)
allocateOperand totals 3.25 + 0.37 (10% GC)
allocateFltOperand totals 0.01 + 0.00 (0% GC)
allocateFltStackOperands totals 0.00 + 0.00 (0% GC)
Directive.allocateRegisters totals 3.29 + 0.05 (1% GC)
validate totals 0.00 + 0.00 (0% GC)
outputAssembly finished in 35.74 + 0.78 (2% GC)
outputC starting
outputC finished in 0.04 + 0.00 (0% GC)
x86 code gen finished in 35.78 + 0.78 (2% GC)
numPeeks = 56104589
maxLength = 6
average position in property list = 0.193
numPeeks = 11021802
average position in bucket = 2.811
Compile SML finished in 83.52 + 16.05 (16% GC)
Compile C and Assemble starting
gcc -std=gnu99 -c -I/usr/lib/mlton/include -O1 -fno-strict-aliasing \
-fomit-frame-pointer -w -fno-strength-reduce -fschedule-insns \
-fschedule-insns2 -malign-functions=5 -malign-jumps=2 \
-malign-loops=2 -o /tmp/file3FVknh.o /tmp/fileSza5xz.11.c
gcc -std=gnu99 -c -o /tmp/filePzVCkg.o /tmp/fileB4un12.10.S
gcc -std=gnu99 -c -o /tmp/file1I4Igb.o /tmp/fileMb1IbD.9.S
gcc -std=gnu99 -c -o /tmp/fileVd4b1M.o /tmp/fileeSeNeZ.8.S
gcc -std=gnu99 -c -o /tmp/fileltWAnF.o /tmp/fileANFLge.7.S
gcc -std=gnu99 -c -o /tmp/file4gToCb.o /tmp/fileItHcY7.6.S
gcc -std=gnu99 -c -o /tmp/fileD21Qm0.o /tmp/fileQZSlAB.5.S
gcc -std=gnu99 -c -o /tmp/fileuwFz1A.o /tmp/fileN2YzUH.4.S
gcc -std=gnu99 -c -o /tmp/fileNod7vu.o /tmp/filelciKGg.3.S
gcc -std=gnu99 -c -o /tmp/filex6AN3t.o /tmp/filehzGRMv.2.S
gcc -std=gnu99 -c -o /tmp/fileR2oyya.o /tmp/file1OlGnI.1.S
gcc -std=gnu99 -c -o /tmp/fileXX1he0.o /tmp/fileNjJ3ks.0.S
Compile C and Assemble finished in 3.39 + 0.02 (1% GC)
Link starting
gcc -std=gnu99 -o dynamo /tmp/file3FVknh.o /tmp/filePzVCkg.o \
/tmp/file1I4Igb.o /tmp/fileVd4b1M.o /tmp/fileltWAnF.o \
/tmp/file4gToCb.o /tmp/fileD21Qm0.o /tmp/fileuwFz1A.o \
/tmp/fileNod7vu.o /tmp/filex6AN3t.o /tmp/fileR2oyya.o \
/tmp/fileXX1he0.o -L/usr/lib/mlton/self -lmlton -lgmp -lgdtoa -lm
Link finished in 0.22 + 0.00 (0% GC)
MLton finished in 87.22 + 16.09 (16% GC)
GC type time ms number bytes bytes/sec
------------- ------- ------- --------------- ---------------
copying 8,060 9 427,592,428 53,051,168
mark-compact 4,610 1 84,472,636 18,323,783
minor 2,150 22 68,744,672 31,974,266
total GC time: 16,090 ms (16.1%)
max pause: 4,670 ms
total allocated: 5,006,588,372 bytes
max live: 200,477,852 bytes
max semispace: 890,785,792 bytes
max stack size: 743,424 bytes
marked cards: 186,031
minor scanned: 69,839,656 bytes
minor skipped: 0 bytes
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]