Skip to content

Instantly share code, notes, and snippets.

@pscollins
Created July 16, 2026 21:50
Show Gist options
  • Select an option

  • Save pscollins/2d0ca6a7296ab7fbdde81e5b2f4d7469 to your computer and use it in GitHub Desktop.

Select an option

Save pscollins/2d0ca6a7296ab7fbdde81e5b2f4d7469 to your computer and use it in GitHub Desktop.
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy always -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10 -pre-flatten-phase late -pre-flatten-transfer-policy tail_only
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 1.00
boyer 1.00 1.00
checksum 1.00 1.00
count-graphs 1.00 0.95
DLXSimulator 1.00 1.00
even-odd 1.00 1.00
fft 1.00 1.00
fib 1.00 1.00
flat-array 1.00 1.00
hamlet 1.00 0.99
imp-for 1.00 1.00
knuth-bendix 1.00 1.00
lexgen 1.00 1.00
life 1.00 1.00
logic 1.00 1.00
mandelbrot 1.00 1.00
matrix-multiply 1.00 1.00
md5 1.00 1.00
merge 1.00 1.00
mlyacc 1.00 1.00
model-elimination 1.00 1.00
mpuz 1.00 1.00
nucleic 1.00 1.00
output1 1.00 1.00
peek 1.00 1.00
psdes-random 1.00 1.00
ratio-regions * *
ray 1.00 1.00
raytrace 1.00 1.00
simple 1.00 1.01
smith-normal-form 1.00 0.99
string-concat 1.00 1.00
tailfib 1.00 1.00
tak 1.00 1.00
tensor 1.00 1.00
tsp 1.00 0.99
tyan 1.00 1.00
vector32-concat 1.00 1.00
vector64-concat 1.00 1.00
vector-rev 1.00 1.02
vliw 1.00 0.99
wc-input1 1.00 1.03
wc-scanStream 1.00 1.00
zebra 1.00 1.01
zern 1.00 1.00
size
benchmark MLton0 MLton1
barnes-hut 155,175 155,175
boyer 239,013 239,013
checksum 97,949 97,949
count-graphs 122,165 124,373
DLXSimulator 206,205 207,021
even-odd 98,189 98,189
fft 121,090 121,090
fib 98,117 98,117
flat-array 97,853 97,853
hamlet 1,400,701 1,438,029
imp-for 97,813 97,813
knuth-bendix 168,699 168,699
lexgen 282,090 282,090
life 118,565 118,565
logic 188,101 188,101
mandelbrot 96,941 96,941
matrix-multiply 98,965 98,965
md5 144,443 144,443
merge 99,709 99,709
mlyacc 751,498 751,498
model-elimination 800,477 839,877
mpuz 103,957 103,957
nucleic 202,088 202,088
output1 133,391 133,391
peek 100,989 100,989
psdes-random 100,357 100,357
ratio-regions * *
ray 241,742 241,742
raytrace 356,030 356,030
simple 346,311 346,607
smith-normal-form 271,386 271,386
string-concat 99,061 99,061
tailfib 97,637 97,637
tak 98,229 98,229
tensor 163,113 165,497
tsp 141,150 141,150
tyan 216,187 218,547
vector32-concat 98,677 98,677
vector64-concat 98,677 98,677
vector-rev 98,365 98,365
vliw 527,406 527,406
wc-input1 161,472 161,472
wc-scanStream 170,728 170,728
zebra 167,003 167,003
zern 133,032 133,032
compile time
benchmark MLton0 MLton1
barnes-hut 2.16 2.15
boyer 2.23 2.30
checksum 1.83 1.82
count-graphs 1.95 1.97
DLXSimulator 2.44 2.47
even-odd 1.81 1.82
fft 1.89 1.89
fib 1.83 1.83
flat-array 1.82 1.82
hamlet 10.52 10.77
imp-for 1.81 1.81
knuth-bendix 2.17 2.15
lexgen 2.70 2.75
life 1.91 1.91
logic 2.23 2.22
mandelbrot 1.82 1.82
matrix-multiply 1.82 1.83
md5 2.10 2.11
merge 1.83 1.83
mlyacc 6.18 6.27
model-elimination 5.70 5.89
mpuz 1.85 1.86
nucleic 2.25 2.26
output1 2.03 1.96
peek 1.84 1.85
psdes-random 1.83 1.84
ratio-regions * *
ray 2.64 2.62
raytrace 3.27 3.23
simple 2.89 2.91
smith-normal-form 2.40 2.35
string-concat 1.81 1.83
tailfib 1.82 1.82
tak 1.85 1.83
tensor 2.33 2.33
tsp 2.03 2.03
tyan 2.50 2.54
vector32-concat 1.85 1.81
vector64-concat 1.84 1.81
vector-rev 1.83 1.84
vliw 4.54 4.44
wc-input1 2.19 2.23
wc-scanStream 2.29 2.27
zebra 2.24 2.21
zern 1.93 1.95
run time
benchmark MLton0 MLton1
barnes-hut 31.34 31.33
boyer 25.28 25.33
checksum 32.66 32.68
count-graphs 21.27 20.18
DLXSimulator 23.32 23.39
even-odd 19.32 19.36
fft 34.52 34.67
fib 39.73 39.73
flat-array 34.78 34.78
hamlet 32.08 31.82
imp-for 25.95 25.85
knuth-bendix 27.49 27.55
lexgen 22.01 22.04
life 29.09 29.21
logic 29.91 29.91
mandelbrot 44.48 44.53
matrix-multiply 35.88 35.93
md5 38.93 38.95
merge 25.88 25.89
mlyacc 29.66 29.59
model-elimination 33.09 33.12
mpuz 23.55 23.51
nucleic 28.03 28.11
output1 31.38 31.35
peek 31.80 31.77
psdes-random 49.75 49.80
ratio-regions * *
ray 33.71 33.70
raytrace 23.06 23.03
simple 30.26 30.46
smith-normal-form 29.02 28.74
string-concat 8.57 8.58
tailfib 31.86 31.87
tak 40.70 40.70
tensor 50.14 50.04
tsp 47.06 46.77
tyan 29.72 29.76
vector32-concat 13.49 13.46
vector64-concat 11.28 11.28
vector-rev 30.31 30.93
vliw 27.80 27.60
wc-input1 26.21 27.06
wc-scanStream 29.84 29.72
zebra 22.02 22.16
zern 36.47 36.31
The following benchmarks failed completely.
ratio-regions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment