Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Select an option

  • Save pscollins/9c4e95cae7940a26c470c78306c3e7e3 to your computer and use it in GitHub Desktop.

Select an option

Save pscollins/9c4e95cae7940a26c470c78306c3e7e3 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 all_unpack -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 1.00
checksum 1.00 1.00
count-graphs 1.00 0.94
DLXSimulator 1.00 1.00
even-odd 1.00 0.99
fft 1.00 1.00
fib 1.00 1.00
flat-array 1.00 0.99
hamlet 1.00 0.96
imp-for 1.00 1.00
knuth-bendix 1.00 1.04
lexgen 1.00 1.01
life 1.00 1.00
logic 1.00 0.98
mandelbrot 1.00 1.00
matrix-multiply 1.00 1.00
md5 1.00 1.00
merge 1.00 0.99
mlyacc 1.00 1.03
model-elimination 1.00 1.00
mpuz 1.00 1.10
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 0.99
simple 1.00 0.99
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 1.00
tyan 1.00 0.99
vector32-concat 1.00 1.00
vector64-concat 1.00 0.99
vector-rev 1.00 1.00
vliw 1.00 0.99
wc-input1 1.00 0.97
wc-scanStream 1.00 1.00
zebra 1.00 1.01
zern 1.00 1.00
size
benchmark MLton0 MLton1
barnes-hut 155,175 159,079
boyer 239,013 239,013
checksum 97,949 97,949
count-graphs 122,165 134,149
DLXSimulator 206,205 206,141
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,538,421
imp-for 97,813 97,813
knuth-bendix 168,699 175,315
lexgen 282,090 308,842
life 118,565 121,221
logic 188,101 187,573
mandelbrot 96,941 96,941
matrix-multiply 98,965 98,965
md5 144,443 143,363
merge 99,709 99,709
mlyacc 751,498 824,962
model-elimination 800,477 930,741
mpuz 103,957 105,445
nucleic 202,088 204,432
output1 133,391 133,391
peek 100,989 100,989
psdes-random 100,357 100,357
ratio-regions * *
ray 241,742 273,646
raytrace 355,390 371,190
simple 346,375 346,103
smith-normal-form 271,386 271,098
string-concat 99,061 99,061
tailfib 97,637 97,637
tak 98,229 98,229
tensor 163,113 161,953
tsp 141,150 143,726
tyan 216,187 229,539
vector32-concat 98,677 98,677
vector64-concat 98,677 98,677
vector-rev 98,365 98,365
vliw 527,374 664,750
wc-input1 161,472 161,248
wc-scanStream 170,728 170,472
zebra 167,003 172,603
zern 133,032 132,608
compile time
benchmark MLton0 MLton1
barnes-hut 2.21 2.11
boyer 2.17 2.14
checksum 1.73 1.74
count-graphs 1.88 1.92
DLXSimulator 2.33 2.39
even-odd 1.74 1.74
fft 1.87 1.81
fib 1.72 1.75
flat-array 1.75 1.75
hamlet 10.08 11.47
imp-for 1.75 1.74
knuth-bendix 2.10 2.12
lexgen 2.68 2.77
life 1.86 1.84
logic 2.11 2.15
mandelbrot 1.77 1.73
matrix-multiply 1.77 1.75
md5 1.97 1.99
merge 1.73 1.76
mlyacc 6.33 6.68
model-elimination 5.49 6.15
mpuz 1.79 1.81
nucleic 2.18 2.19
output1 1.93 1.87
peek 1.78 1.76
psdes-random 1.74 1.76
ratio-regions * *
ray 2.59 2.77
raytrace 3.16 3.30
simple 2.78 2.78
smith-normal-form 2.24 2.24
string-concat 1.73 1.75
tailfib 1.72 1.75
tak 1.76 1.76
tensor 2.22 2.21
tsp 1.93 1.93
tyan 2.43 2.54
vector32-concat 1.73 1.77
vector64-concat 1.77 1.76
vector-rev 1.73 1.76
vliw 4.20 5.04
wc-input1 2.12 2.13
wc-scanStream 2.20 2.16
zebra 2.18 2.19
zern 1.83 1.82
run time
benchmark MLton0 MLton1
barnes-hut 31.94 31.84
boyer 25.06 25.14
checksum 33.83 33.82
count-graphs 21.64 20.28
DLXSimulator 20.92 20.90
even-odd 36.33 35.83
fft 32.49 32.41
fib 40.18 40.24
flat-array 41.16 40.67
hamlet 31.49 30.14
imp-for 26.15 26.13
knuth-bendix 27.81 28.98
lexgen 23.05 23.20
life 29.88 29.91
logic 28.97 28.53
mandelbrot 45.84 45.85
matrix-multiply 39.54 39.35
md5 39.96 40.01
merge 24.97 24.81
mlyacc 30.34 31.27
model-elimination 33.27 33.24
mpuz 23.60 25.96
nucleic 28.32 28.28
output1 30.95 30.96
peek 31.74 31.75
psdes-random 51.34 51.38
ratio-regions * *
ray 34.69 34.75
raytrace 23.12 22.90
simple 29.51 29.13
smith-normal-form 27.33 27.04
string-concat 8.61 8.59
tailfib 32.18 32.21
tak 41.24 41.18
tensor 52.01 51.97
tsp 47.69 47.88
tyan 30.13 29.81
vector32-concat 13.45 13.50
vector64-concat 11.48 11.40
vector-rev 28.14 28.25
vliw 28.21 27.89
wc-input1 26.04 25.24
wc-scanStream 29.33 29.33
zebra 22.11 22.24
zern 36.41 36.54
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