Skip to content

Instantly share code, notes, and snippets.

@pscollins
Created July 14, 2026 17:30
Show Gist options
  • Select an option

  • Save pscollins/5660accb7e6d79aa04d7af44735903cf to your computer and use it in GitHub Desktop.

Select an option

Save pscollins/5660accb7e6d79aa04d7af44735903cf to your computer and use it in GitHub Desktop.
Lton0 -- ../../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
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 1.00
boyer 1.00 0.93
checksum 1.00 1.05
count-graphs 1.00 0.92
DLXSimulator 1.00 1.02
even-odd 1.00 0.90
fft 1.00 1.00
fib 1.00 0.97
flat-array 1.00 1.47
hamlet 1.00 1.02
imp-for 1.00 1.04
knuth-bendix 1.00 1.16
lexgen 1.00 1.08
life 1.00 1.01
logic 1.00 0.98
mandelbrot 1.00 1.00
matrix-multiply 1.00 1.03
md5 1.00 1.01
merge 1.00 1.10
mlyacc 1.00 1.05
model-elimination 1.00 1.00
mpuz 1.00 1.08
nucleic 1.00 1.00
output1 1.00 0.88
peek 1.00 1.00
psdes-random 1.00 0.99
ratio-regions * *
ray 1.00 1.00
raytrace 1.00 1.00
simple 1.00 0.91
smith-normal-form 1.00 0.99
string-concat 1.00 1.00
tailfib 1.00 1.01
tak 1.00 0.86
tensor 1.00 1.01
tsp 1.00 1.00
tyan 1.00 1.00
vector32-concat 1.00 1.00
vector64-concat 1.00 1.00
vector-rev 1.00 0.98
vliw 1.00 0.96
wc-input1 1.00 1.43
wc-scanStream 1.00 1.00
zebra 1.00 1.00
zern 1.00 1.00
size
benchmark MLton0 MLton1
barnes-hut 155,175 165,423
boyer 239,013 241,701
checksum 97,949 99,845
count-graphs 122,165 132,533
DLXSimulator 206,205 212,301
even-odd 98,189 100,085
fft 121,090 121,090
fib 98,117 100,013
flat-array 97,853 99,733
hamlet 1,400,701 1,668,005
imp-for 97,813 99,693
knuth-bendix 168,699 185,859
lexgen 282,090 320,234
life 118,565 121,157
logic 188,101 189,605
mandelbrot 96,941 98,853
matrix-multiply 98,965 100,845
md5 144,443 151,771
merge 99,709 101,717
mlyacc 751,498 857,642
model-elimination 800,477 978,005
mpuz 103,957 107,493
nucleic 202,088 203,680
output1 133,391 140,575
peek 100,989 102,853
psdes-random 100,357 102,269
ratio-regions * *
ray 241,742 263,590
raytrace 356,030 488,902
simple 346,311 328,743
smith-normal-form 271,386 274,154
string-concat 99,061 101,053
tailfib 97,637 99,501
tak 98,229 100,125
tensor 163,113 165,377
tsp 141,150 147,510
tyan 216,187 224,995
vector32-concat 98,677 100,621
vector64-concat 98,677 100,621
vector-rev 98,365 100,293
vliw 527,406 670,942
wc-input1 161,472 166,952
wc-scanStream 170,728 178,264
zebra 167,003 175,987
zern 133,032 132,608
compile time
benchmark MLton0 MLton1
barnes-hut 2.09 2.13
boyer 2.17 2.22
checksum 1.77 1.78
count-graphs 1.88 1.92
DLXSimulator 2.37 2.40
even-odd 1.77 1.76
fft 1.85 1.83
fib 1.79 1.77
flat-array 1.77 1.77
hamlet 10.04 11.49
imp-for 1.76 1.77
knuth-bendix 2.08 2.13
lexgen 2.67 2.80
life 1.84 1.86
logic 2.14 2.19
mandelbrot 1.76 1.77
matrix-multiply 1.78 1.81
md5 2.02 2.10
merge 1.77 1.78
mlyacc 5.94 6.45
model-elimination 5.46 6.26
mpuz 1.80 1.81
nucleic 2.18 2.17
output1 1.91 1.92
peek 1.79 1.79
psdes-random 1.77 1.78
ratio-regions * *
ray 2.53 2.65
raytrace 3.13 3.77
simple 2.76 2.74
smith-normal-form 2.30 2.30
string-concat 1.75 1.76
tailfib 1.75 1.77
tak 1.77 1.77
tensor 2.21 2.26
tsp 1.94 1.98
tyan 2.41 2.47
vector32-concat 1.76 1.77
vector64-concat 1.76 1.76
vector-rev 1.76 1.78
vliw 4.29 4.92
wc-input1 2.12 2.14
wc-scanStream 2.19 2.21
zebra 2.20 2.21
zern 1.87 1.86
run time
benchmark MLton0 MLton1
barnes-hut 30.03 30.07
boyer 24.57 22.74
checksum 31.79 33.50
count-graphs 20.79 19.05
DLXSimulator 22.57 23.00
even-odd 18.73 16.92
fft 33.50 33.48
fib 39.10 37.99
flat-array 33.86 49.75
hamlet 30.57 31.22
imp-for 25.25 26.19
knuth-bendix 26.83 31.16
lexgen 21.29 23.04
life 28.55 28.81
logic 28.89 28.30
mandelbrot 44.37 44.41
matrix-multiply 34.53 35.54
md5 38.41 38.63
merge 24.86 27.37
mlyacc 29.01 30.49
model-elimination 32.30 32.23
mpuz 23.00 24.82
nucleic 27.50 27.39
output1 30.51 26.75
peek 30.92 30.89
psdes-random 49.54 48.99
ratio-regions * *
ray 33.27 33.27
raytrace 22.32 22.31
simple 28.57 25.85
smith-normal-form 27.35 27.07
string-concat 8.35 8.33
tailfib 31.27 31.52
tak 39.99 34.45
tensor 49.73 50.06
tsp 45.17 45.06
tyan 29.17 29.22
vector32-concat 13.22 13.20
vector64-concat 11.06 11.08
vector-rev 29.19 28.46
vliw 26.77 25.76
wc-input1 25.85 36.83
wc-scanStream 28.35 28.44
zebra 21.59 21.54
zern 35.74 35.83
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