Sequence single-pass, all contracts and calls
solc version: 0.8.25-seqbench.2024.2.14+commit.a2cabcb9.mod.Linux.g++
# Default sequence from solc 0.8.24 with only a single iteration of the main loop
dhfoDgvulfnTUtnIf # None of these can make stack problems worse
xa[r]EscLM # Turn into SSA and simplify
cCTUtTOntnfDIul # Perform structural simplification
Lcul # Simplify again
Vcul [j] # Reverse SSA
# should have good "compilability" property here.
Tpeul # Run functional expression inliner
xa[rul] # Prune a bit more in SSA
xa[r]cL # Turn into SSA again and simplify
gvif # Run full inliner
CTUca[r]LSsTFOtfDnca[r]Iulc # SSA plus simplify
jmul[jul] VcTOcul jmul # Make source short and pretty
:fDnTOcmu # Cleanup sequence
soltest-input
for deposit_contract
supportsInterface(bytes4) 0x00000000
supportsInterface(bytes4) 0xffffffff
supportsInterface(bytes4) 0x01ffc9a7
supportsInterface(bytes4) 0x85640907
get_deposit_root()
get_deposit_count()
deposit(bytes,bytes,bytes,bytes32) --value 1ether 0x933ad9491b62059dd065b560d256d8957a8c402cc6e8d8ee7290ae11e8f7329267a8811c397529dac52ae1342ba58c95 0x00f50428677c60f997aadeab24aabf7fceaef491c96a52b463ae91f95611cf71 0xa29d01cc8c6296a8150e515b5995390ef841dc18948aa3e79be6d7c1851b4cbb5d6ff49fa70b9c782399506a22a85193151b9b691245cebafd2063012443c1324b6c36debaedefb7b2d71b0503ffdc00150aaffd42e63358238ec888901738b8 0xaa4a8d0b7d9077248630f1a4701ae9764e42271d7f22b7838778411857fd349e
get_deposit_root()
get_deposit_count()
deposit(bytes,bytes,bytes,bytes32) --value 32ether 0xb2ce0f79f90e7b3a113ca5783c65756f96c4b4673c2b5c1eb4efc2228025944106d601211e8866dc5b50dc48a244dd7c 0x00344b6c73f71b11c56aba0d01b7d8ad83559f209d0a4101a515f6ad54c89771 0x945caaf82d18e78c033927d51f452ebcd76524497b91d7a11219cb3db6a1d3697595fc095ce489e46b2ef129591f2f6d079be4faaf345a02c5eb133c072e7c560c6c3617eee66b4b878165c502357d49485326bc6b31bc96873f308c8f19c09d 0xdbd986dc85ceb382708cf90a3500f500f0a393c5ece76963ac3ed72eccd2c301
get_deposit_root()
get_deposit_count()
soltest-input
for FixedFeeRegistrar
reserve(string) abc --value 69ether
owner(string) abc
reserve(string) def --value 70ether
owner(string) def
reserve(string) ghi --value 68ether
owner(string) ghi
reserve(string) abc --value 69ether
owner(string) abc
setContent(string,bytes32) abc 0x00000000
transfer(string,address): abc 0x0000000000000000000000000000000000000555
owner(string) abc
content(string) abc
setContent(string,bytes32) def 0x0000000000000000000000000000000000000333
setAddr(string,address) def 0x0000000000000000000000000000000000000124
setSubRegistrar(string,address) def 0x0000000000000000000000000000000000000125
content(string) def
addr(string) def
subRegistrar(string) def
disown(string,address) def 0x0000000000000000000000000000000000000124
owner(string) def
content(string) def
addr(string) def
subRegistrar(string) def
soltest-input
for prbmath_unsigned
div(uint256,uint256) 3141592653589793238 88714123
exp(uint256) 3141592653589793238
exp2(uint256) 3141592653589793238
gm(uint256,uint256) 3141592653589793238 88714123
log10(uint256) 3141592653589793238
log2(uint256) 3141592653589793238
mul(uint256,uint256) 3141592653589793238 88714123
pow(uint256,uint256) 3141592653589793238 5
sqrt(uint256) 3141592653589793238
benchmark(uint256) 3141592653589793238
soltest-input
for ramanujan_pi
prb_pi()
soltest-input
for strings
toSlice(string) hello_world
roundtrip(string) hello_world
utf8len(string) 😃😃😃😃
multiconcat(string,uint256) hello_world 3
#benchmark(string,bytes32) solidity 0x0842021
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
5063
2439
11308
2830
3721
2
h
FunctionHoister
5063
2439
11308
2830
3721
3
f
BlockFlattener
5063
2439
11308
2830
3721
4
o
ForLoopInitRewriter
5063
2439
11308
2830
3721
5
D
DeadCodeEliminator
5063
2439
11308
2830
3721
6
g
FunctionGrouper
5063
2439
11308
2830
3721
7
v
EquivalentFunctionCombiner
5063
2439
11308
2826
3721
8
u
UnusedPruner
5004
2436
11322
2823
3729
9
l
CircularReferencesPruner
5004
2436
11322
2823
3729
10
f
BlockFlattener
5004
2436
11322
2823
3729
11
n
ControlFlowSimplifier
5004
2436
11322
2823
3729
12
T
LiteralRematerialiser
4984
2392
11300
2795
3724
13
U
ConditionalUnsimplifier
4984
2392
11300
2795
3724
14
t
StructuralSimplifier
4984
2392
11300
2795
3724
15
n
ControlFlowSimplifier
4984
2392
11300
2795
3724
16
I
ForLoopConditionIntoBody
4994
2397
11300
2795
3725
17
f
BlockFlattener
4994
2397
11300
2795
3725
18
x
ExpressionSplitter
5228
2395
11298
2790
3722
19
a
SSATransform
5247
2395
11979
2956
3830
20
r
UnusedAssignEliminator
5247
2395
11979
2956
3830
21
E
EqualStoreEliminator
5247
2395
11979
2956
3830
22
s
ExpressionSimplifier
5349
2409
11896
2950
3841
23
c
CommonSubexpressionEliminator
5179
2527
10986
2976
3879
24
L
LoadResolver
5179
2527
10986
2976
3879
25
M
LoopInvariantCodeMotion
5200
2527
10994
3004
3939
26
c
CommonSubexpressionEliminator
5236
2527
11015
3004
3870
27
C
ConditionalSimplifier
5220
2527
12281
3004
3879
28
T
LiteralRematerialiser
5072
2415
12171
2798
3742
29
U
ConditionalUnsimplifier
5074
2415
10906
2799
3739
30
t
StructuralSimplifier
5074
2415
10906
2799
3739
31
T
LiteralRematerialiser
5074
2415
10906
2799
3739
32
O
ForLoopConditionOutOfBody
5074
2415
10906
2799
3739
33
n
ControlFlowSimplifier
5074
2415
10906
2799
3739
34
t
StructuralSimplifier
5074
2415
10906
2799
3739
35
n
ControlFlowSimplifier
5074
2415
10906
2799
3739
36
f
BlockFlattener
5074
2415
10906
2799
3739
37
D
DeadCodeEliminator
5074
2415
10906
2799
3739
38
I
ForLoopConditionIntoBody
5074
2415
10906
2799
3739
39
u
UnusedPruner
5027
2399
10699
2726
3655
40
l
CircularReferencesPruner
5027
2399
10699
2726
3655
41
L
LoadResolver
5027
2399
10699
2726
3655
42
c
CommonSubexpressionEliminator
5027
2399
10699
2726
3655
43
u
UnusedPruner
5027
2399
10699
2726
3655
44
l
CircularReferencesPruner
5027
2399
10699
2726
3655
45
V
SSAReverser
5030
2399
10699
2726
3661
46
c
CommonSubexpressionEliminator
5019
2399
10676
2720
3649
47
u
UnusedPruner
5019
2399
10676
2720
3649
48
l
CircularReferencesPruner
5019
2399
10676
2720
3649
49
j
ExpressionJoiner
5017
2397
10676
2720
3647
50
T
LiteralRematerialiser
5017
2397
10676
2720
3647
51
p
UnusedFunctionParameterPruner
5033
2413
10684
2720
3652
52
e
ExpressionInliner
4220
2059
8471
1943
2965
53
u
UnusedPruner
4220
2059
8471
1943
2965
54
l
CircularReferencesPruner
4220
2059
8471
1943
2965
55
x
ExpressionSplitter
4320
2009
8470
1922
2970
56
a
SSATransform
4348
2010
8925
2056
3071
57
r
UnusedAssignEliminator
4348
2010
8925
2056
3071
58
u
UnusedPruner
4326
2009
8814
1982
3019
59
l
CircularReferencesPruner
4326
2009
8814
1982
3019
60
x
ExpressionSplitter
4326
2009
8814
1982
3019
61
a
SSATransform
4344
2010
8925
2060
3073
62
r
UnusedAssignEliminator
4344
2010
8925
2060
3073
63
c
CommonSubexpressionEliminator
4578
2031
8608
1883
3059
64
L
LoadResolver
4571
2031
8608
1883
3023
65
g
FunctionGrouper
4571
2031
8608
1883
3023
66
v
EquivalentFunctionCombiner
4571
2031
8608
1883
3023
67
i
FullInliner
4656
1720
8416
2292
2837
68
f
BlockFlattener
4656
1720
8416
2292
2837
69
C
ConditionalSimplifier
4656
1720
9696
2292
2839
70
T
LiteralRematerialiser
4366
1684
9323
2108
2695
71
U
ConditionalUnsimplifier
4366
1684
8062
2108
2690
72
c
CommonSubexpressionEliminator
5363
1845
8462
2470
2874
73
a
SSATransform
5105
1849
8882
2579
2958
74
r
UnusedAssignEliminator
5170
1849
8882
2576
2958
75
L
LoadResolver
5173
1849
8882
2576
2957
76
S
UnusedStoreEliminator
5168
1849
8882
2576
2957
77
s
ExpressionSimplifier
4642
1920
8663
2409
2990
78
T
LiteralRematerialiser
3968
1775
8486
2143
2812
79
F
FunctionSpecializer
3931
1771
8870
3287
3366
80
O
ForLoopConditionOutOfBody
3931
1771
8870
3287
3366
81
t
StructuralSimplifier
3893
1763
8871
3255
3362
82
f
BlockFlattener
3893
1763
8871
3255
3362
83
D
DeadCodeEliminator
3893
1763
8871
3255
3362
84
n
ControlFlowSimplifier
3893
1763
8871
3255
3362
85
c
CommonSubexpressionEliminator
4525
1904
8645
3975
3423
86
a
SSATransform
4623
1908
9076
4183
3537
87
r
UnusedAssignEliminator
4623
1908
9076
4183
3537
88
I
ForLoopConditionIntoBody
4623
1908
9076
4183
3537
89
u
UnusedPruner
3481
1838
8541
2196
3030
90
l
CircularReferencesPruner
3481
1838
8541
2196
3030
91
c
CommonSubexpressionEliminator
3461
1837
8098
2123
2942
92
j
ExpressionJoiner
3455
1815
8092
2119
2950
93
m
Rematerialiser
3338
1598
7899
2029
2843
94
u
UnusedPruner
3336
1638
7903
2036
2852
95
l
CircularReferencesPruner
3336
1638
7903
2036
2852
96
j
ExpressionJoiner
3336
1638
7903
2036
2853
97
u
UnusedPruner
3336
1638
7903
2036
2853
98
l
CircularReferencesPruner
3336
1638
7903
2036
2853
99
V
SSAReverser
3335
1638
7901
2036
2853
100
c
CommonSubexpressionEliminator
3334
1638
7884
2026
2842
101
T
LiteralRematerialiser
3102
1634
7967
2105
2803
102
O
ForLoopConditionOutOfBody
3095
1632
7974
2167
2791
103
c
CommonSubexpressionEliminator
3322
1636
7825
1977
2838
104
u
UnusedPruner
3322
1636
7825
1977
2838
105
l
CircularReferencesPruner
3322
1636
7825
1977
2838
106
j
ExpressionJoiner
3322
1636
7825
1977
2838
107
m
Rematerialiser
3322
1636
7831
1977
2838
108
u
UnusedPruner
3322
1636
7831
1977
2838
109
l
CircularReferencesPruner
3322
1636
7831
1977
2838
110
f
BlockFlattener
3322
1636
7831
1977
2838
111
D
DeadCodeEliminator
3322
1636
7831
1977
2838
112
n
ControlFlowSimplifier
3322
1636
7831
1977
2838
113
T
LiteralRematerialiser
3095
1632
7974
2167
2787
114
O
ForLoopConditionOutOfBody
3095
1632
7974
2167
2787
115
c
CommonSubexpressionEliminator
3322
1636
7825
1977
2834
116
m
Rematerialiser
3322
1636
7831
1977
2838
117
u
UnusedPruner
3322
1636
7831
1977
2838
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
1757620
574030
2481278
656702
850978
2
h
FunctionHoister
1757620
574030
2481278
656702
850978
3
f
BlockFlattener
1757620
574030
2481278
656702
850978
4
o
ForLoopInitRewriter
1757620
574030
2481278
656702
850978
5
D
DeadCodeEliminator
1757620
574030
2481278
656702
850978
6
g
FunctionGrouper
1757620
574030
2481278
656702
850978
7
v
EquivalentFunctionCombiner
1757620
573790
2481278
655814
850834
8
u
UnusedPruner
1745349
573142
2484314
655190
852562
9
l
CircularReferencesPruner
1745349
573142
2484314
655190
852562
10
f
BlockFlattener
1745349
573142
2484314
655190
852562
11
n
ControlFlowSimplifier
1745349
573142
2484314
655190
852562
12
T
LiteralRematerialiser
1741199
563621
2479538
649146
851470
13
U
ConditionalUnsimplifier
1741199
563621
2479538
649146
851470
14
t
StructuralSimplifier
1741199
563621
2479538
649146
851470
15
n
ControlFlowSimplifier
1741199
563621
2479538
649146
851470
16
I
ForLoopConditionIntoBody
1743000
564689
2479538
649146
851674
17
f
BlockFlattener
1743000
564689
2479538
649146
851674
18
x
ExpressionSplitter
1791293
564245
2479010
648042
851038
19
a
SSATransform
1796876
564245
2626293
683976
874415
20
r
UnusedAssignEliminator
1796876
564245
2626293
683976
874415
21
E
EqualStoreEliminator
1796876
564245
2626293
683976
874415
22
s
ExpressionSimplifier
1814871
567290
2608384
682704
876776
23
c
CommonSubexpressionEliminator
1777115
593221
2412021
689314
885368
24
L
LoadResolver
1777115
593221
2412021
689314
885368
25
M
LoopInvariantCodeMotion
1770872
593221
2413701
695280
898381
26
c
CommonSubexpressionEliminator
1779065
593221
2418282
695280
883446
27
C
ConditionalSimplifier
1775602
593221
2692574
695280
885380
28
T
LiteralRematerialiser
1747963
568986
2668786
650734
855752
29
U
ConditionalUnsimplifier
1748395
568986
2394701
650950
855074
30
t
StructuralSimplifier
1748395
568986
2394701
650950
855074
31
T
LiteralRematerialiser
1748395
568986
2394701
650950
855074
32
O
ForLoopConditionOutOfBody
1748395
568986
2394701
650950
855074
33
n
ControlFlowSimplifier
1748395
568986
2394701
650950
855074
34
t
StructuralSimplifier
1748395
568986
2394701
650950
855074
35
n
ControlFlowSimplifier
1748395
568986
2394701
650950
855074
36
f
BlockFlattener
1748395
568986
2394701
650950
855074
37
D
DeadCodeEliminator
1748395
568986
2394701
650950
855074
38
I
ForLoopConditionIntoBody
1748395
568986
2394701
650950
855074
39
u
UnusedPruner
1738907
565528
2350017
635213
836937
40
l
CircularReferencesPruner
1738907
565528
2350017
635213
836937
41
L
LoadResolver
1738907
565528
2350017
635213
836937
42
c
CommonSubexpressionEliminator
1738907
565528
2350017
635213
836937
43
u
UnusedPruner
1738907
565528
2350017
635213
836937
44
l
CircularReferencesPruner
1738907
565528
2350017
635213
836937
45
V
SSAReverser
1739555
565528
2350017
635213
838221
46
c
CommonSubexpressionEliminator
1737225
565528
2345075
633927
835641
47
u
UnusedPruner
1737225
565528
2345075
633927
835641
48
l
CircularReferencesPruner
1737225
565528
2345075
633927
835641
49
j
ExpressionJoiner
1736793
565101
2345075
633927
835219
50
T
LiteralRematerialiser
1736793
565101
2345075
633927
835219
51
p
UnusedFunctionParameterPruner
1740191
568566
2346791
633927
836301
52
e
ExpressionInliner
1589403
491987
1868078
466514
687724
53
u
UnusedPruner
1589427
491987
1868078
466514
687724
54
l
CircularReferencesPruner
1589427
491987
1868078
466514
687724
55
x
ExpressionSplitter
1609237
481146
1867874
462002
688828
56
a
SSATransform
1617709
481374
1966281
490979
710675
57
r
UnusedAssignEliminator
1617709
481374
1966281
490979
710675
58
u
UnusedPruner
1613052
481146
1942278
474976
699428
59
l
CircularReferencesPruner
1613052
481146
1942278
474976
699428
60
x
ExpressionSplitter
1613052
481146
1942278
474976
699428
61
a
SSATransform
1616833
481374
1966281
491843
711109
62
r
UnusedAssignEliminator
1616833
481374
1966281
491843
711109
63
c
CommonSubexpressionEliminator
1664724
485945
1897824
453696
708068
64
L
LoadResolver
1663210
485944
1897823
453695
700294
65
g
FunctionGrouper
1663210
485944
1897823
453695
700294
66
v
EquivalentFunctionCombiner
1663210
485944
1897823
453695
700294
67
i
FullInliner
1639487
418506
1856681
541858
660176
68
f
BlockFlattener
1639487
418506
1856681
541858
660176
69
C
ConditionalSimplifier
1639487
418506
2134030
541858
660584
70
T
LiteralRematerialiser
1593207
411105
2053520
501962
629854
71
U
ConditionalUnsimplifier
1593207
411105
1780285
501962
628774
72
c
CommonSubexpressionEliminator
1777926
445863
1866904
580104
668248
73
a
SSATransform
1708510
446727
1957754
603649
686406
74
r
UnusedAssignEliminator
1722544
446727
1957754
603001
686406
75
L
LoadResolver
1719835
446727
1957754
603001
686190
76
S
UnusedStoreEliminator
1718755
446727
1957754
603001
686190
77
s
ExpressionSimplifier
1626583
462134
1910242
566924
693314
78
T
LiteralRematerialiser
1508698
430785
1871964
509746
655169
79
F
FunctionSpecializer
1500709
429921
1954897
756748
774930
80
O
ForLoopConditionOutOfBody
1500709
429921
1954897
756748
774930
81
t
StructuralSimplifier
1492644
428193
1955149
749912
774078
82
f
BlockFlattener
1492644
428193
1955149
749912
774078
83
D
DeadCodeEliminator
1492644
428193
1955149
749912
774078
84
n
ControlFlowSimplifier
1492644
428193
1955149
749912
774078
85
c
CommonSubexpressionEliminator
1603801
458791
1906390
905388
786958
86
a
SSATransform
1613865
459655
1999616
950439
811609
87
r
UnusedAssignEliminator
1613865
459655
1999616
950439
811609
88
I
ForLoopConditionIntoBody
1613865
459655
1999616
950439
811609
89
u
UnusedPruner
1453259
444938
1884424
521805
702453
90
l
CircularReferencesPruner
1453259
444938
1884424
521805
702453
91
c
CommonSubexpressionEliminator
1449361
444722
1788600
506020
683415
92
j
ExpressionJoiner
1448063
439962
1787314
505144
685133
93
m
Rematerialiser
1430880
392510
1745193
485463
661819
94
u
UnusedPruner
1430640
401556
1746424
487203
663939
95
l
CircularReferencesPruner
1430640
401556
1746424
487203
663939
96
j
ExpressionJoiner
1430640
401556
1746424
487203
664155
97
u
UnusedPruner
1430640
401556
1746424
487203
664155
98
l
CircularReferencesPruner
1430640
401556
1746424
487203
664155
99
V
SSAReverser
1430424
401556
1746004
487203
664155
100
c
CommonSubexpressionEliminator
1430196
401556
1742313
485043
661759
101
T
LiteralRematerialiser
1382060
400692
1759954
501872
653339
102
O
ForLoopConditionOutOfBody
1380595
400258
1761480
515376
650735
103
c
CommonSubexpressionEliminator
1428184
401124
1729563
474431
660907
104
u
UnusedPruner
1428184
401124
1729563
474431
660907
105
l
CircularReferencesPruner
1428184
401124
1729563
474431
660907
106
j
ExpressionJoiner
1428184
401124
1729563
474431
660907
107
m
Rematerialiser
1428184
401124
1730847
474431
660907
108
u
UnusedPruner
1428184
401124
1730847
474431
660907
109
l
CircularReferencesPruner
1428184
401124
1730847
474431
660907
110
f
BlockFlattener
1428184
401124
1730847
474431
660907
111
D
DeadCodeEliminator
1428184
401124
1730847
474431
660907
112
n
ControlFlowSimplifier
1428184
401124
1730847
474431
660907
113
T
LiteralRematerialiser
1380595
400258
1761480
515376
649871
114
O
ForLoopConditionOutOfBody
1380595
400258
1761480
515376
649871
115
c
CommonSubexpressionEliminator
1428184
401124
1729563
474431
660043
116
m
Rematerialiser
1428184
401124
1730847
474431
660907
117
u
UnusedPruner
1428184
401124
1730847
474431
660907
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
774549
723040
453902
167795
110955
2
h
FunctionHoister
774549
723040
453902
167795
110955
3
f
BlockFlattener
774549
723040
453902
167795
110955
4
o
ForLoopInitRewriter
774549
723040
453902
167795
110955
5
D
DeadCodeEliminator
774549
723040
453902
167795
110955
6
g
FunctionGrouper
774549
723040
453902
167795
110955
7
v
EquivalentFunctionCombiner
774549
723040
453902
167784
110955
8
u
UnusedPruner
774516
723014
454022
167802
110890
9
l
CircularReferencesPruner
774516
723014
454022
167802
110890
10
f
BlockFlattener
774516
723014
454022
167802
110890
11
n
ControlFlowSimplifier
774516
723014
454022
167802
110890
12
T
LiteralRematerialiser
774185
722615
453656
167784
110842
13
U
ConditionalUnsimplifier
774185
722615
453656
167784
110842
14
t
StructuralSimplifier
774185
722615
453656
167784
110842
15
n
ControlFlowSimplifier
774185
722615
453656
167784
110842
16
I
ForLoopConditionIntoBody
776681
722756
453656
167784
110882
17
f
BlockFlattener
776681
722756
453656
167784
110882
18
x
ExpressionSplitter
776445
722092
453669
168094
110763
19
a
SSATransform
779618
722131
458531
171427
111037
20
r
UnusedAssignEliminator
779618
722131
458531
171427
111037
21
E
EqualStoreEliminator
779618
722131
458531
171427
111037
22
s
ExpressionSimplifier
779303
722462
458508
171216
111073
23
c
CommonSubexpressionEliminator
759708
722895
404653
150623
109757
24
L
LoadResolver
759708
722895
404653
150623
109757
25
M
LoopInvariantCodeMotion
734520
722887
372793
149051
109615
26
c
CommonSubexpressionEliminator
740454
722887
373029
149051
108407
27
C
ConditionalSimplifier
740352
722887
374565
149051
108568
28
T
LiteralRematerialiser
736701
722940
370753
140220
108426
29
U
ConditionalUnsimplifier
737171
722940
369226
140307
108441
30
t
StructuralSimplifier
737171
722940
369226
140307
108441
31
T
LiteralRematerialiser
737171
722940
369226
140307
108441
32
O
ForLoopConditionOutOfBody
737171
722940
369226
140307
108441
33
n
ControlFlowSimplifier
737171
722940
369226
140307
108441
34
t
StructuralSimplifier
737171
722940
369226
140307
108441
35
n
ControlFlowSimplifier
737171
722940
369226
140307
108441
36
f
BlockFlattener
737171
722940
369226
140307
108441
37
D
DeadCodeEliminator
737171
722940
369226
140307
108441
38
I
ForLoopConditionIntoBody
737171
722940
369226
140307
108441
39
u
UnusedPruner
734664
722711
369376
139594
108120
40
l
CircularReferencesPruner
734664
722711
369376
139594
108120
41
L
LoadResolver
734664
722711
369376
139594
108120
42
c
CommonSubexpressionEliminator
734664
722711
369376
139594
108120
43
u
UnusedPruner
734664
722711
369376
139594
108120
44
l
CircularReferencesPruner
734664
722711
369376
139594
108120
45
V
SSAReverser
734730
722711
369380
139594
108138
46
c
CommonSubexpressionEliminator
734490
722711
368439
139552
108102
47
u
UnusedPruner
734490
722711
368439
139552
108102
48
l
CircularReferencesPruner
734490
722711
368439
139552
108102
49
j
ExpressionJoiner
734190
722369
368439
139552
107892
50
T
LiteralRematerialiser
734190
722369
368439
139552
107892
51
p
UnusedFunctionParameterPruner
734352
722526
368817
139552
107904
52
e
ExpressionInliner
697796
711678
268805
76200
101189
53
u
UnusedPruner
697796
711678
268805
76200
101189
54
l
CircularReferencesPruner
697796
711678
268805
76200
101189
55
x
ExpressionSplitter
697165
711715
268660
76390
101200
56
a
SSATransform
700505
711751
273890
80288
101517
57
r
UnusedAssignEliminator
700505
711751
273890
80288
101517
58
u
UnusedPruner
699563
711728
274173
77945
101372
59
l
CircularReferencesPruner
699563
711728
274173
77945
101372
60
x
ExpressionSplitter
699563
711728
274173
77945
101372
61
a
SSATransform
700499
711751
273890
80531
101453
62
r
UnusedAssignEliminator
700499
711751
273890
80531
101453
63
c
CommonSubexpressionEliminator
704684
711796
271543
81122
101411
64
L
LoadResolver
705390
711796
271543
81122
101411
65
g
FunctionGrouper
705390
711796
271543
81122
101411
66
v
EquivalentFunctionCombiner
705390
711796
271543
81122
101411
67
i
FullInliner
684402
702195
262582
71790
98458
68
f
BlockFlattener
684402
702195
262582
71790
98458
69
C
ConditionalSimplifier
684402
702195
262732
71790
98458
70
T
LiteralRematerialiser
669431
701750
255907
62848
98199
71
U
ConditionalUnsimplifier
669431
701750
255757
62848
98199
72
c
CommonSubexpressionEliminator
683031
703604
262147
70093
98713
73
a
SSATransform
685099
703620
265542
71169
98963
74
r
UnusedAssignEliminator
687154
703620
265542
70745
98963
75
L
LoadResolver
687062
703620
265542
70745
98954
76
S
UnusedStoreEliminator
687098
703620
265542
70745
98954
77
s
ExpressionSimplifier
673930
704094
262427
68960
98990
78
T
LiteralRematerialiser
669278
702186
257426
64253
98588
79
F
FunctionSpecializer
665712
702186
257389
63544
98303
80
O
ForLoopConditionOutOfBody
665712
702186
257389
63544
98303
81
t
StructuralSimplifier
667476
702007
257391
63464
98300
82
f
BlockFlattener
667476
702007
257391
63464
98300
83
D
DeadCodeEliminator
667476
702007
257391
63464
98300
84
n
ControlFlowSimplifier
667476
702007
257391
63464
98300
85
c
CommonSubexpressionEliminator
670753
703527
258039
68179
98538
86
a
SSATransform
674294
703542
260605
69872
98800
87
r
UnusedAssignEliminator
674294
703542
260605
69872
98800
88
I
ForLoopConditionIntoBody
674294
703542
260605
69872
98800
89
u
UnusedPruner
674312
703397
261524
66501
98605
90
l
CircularReferencesPruner
674312
703397
261524
66501
98605
91
c
CommonSubexpressionEliminator
670771
703358
257291
65616
98334
92
j
ExpressionJoiner
670009
703337
257306
65521
98409
93
m
Rematerialiser
668300
702102
256771
63867
98112
94
u
UnusedPruner
668181
701954
256763
63868
98113
95
l
CircularReferencesPruner
668181
701954
256763
63868
98113
96
j
ExpressionJoiner
668181
701954
256763
63868
98128
97
u
UnusedPruner
668181
701954
256763
63868
98128
98
l
CircularReferencesPruner
668181
701954
256763
63868
98128
99
V
SSAReverser
668172
701954
256403
63868
98128
100
c
CommonSubexpressionEliminator
669012
701954
255246
63844
98104
101
T
LiteralRematerialiser
661440
701498
252464
59453
97874
102
O
ForLoopConditionOutOfBody
658944
701428
252187
59028
97881
103
c
CommonSubexpressionEliminator
666516
701883
252474
60248
98012
104
u
UnusedPruner
666516
701883
252474
60248
98012
105
l
CircularReferencesPruner
666516
701883
252474
60248
98012
106
j
ExpressionJoiner
666516
701883
252474
60248
98012
107
m
Rematerialiser
665658
701883
252504
60248
98084
108
u
UnusedPruner
665658
701883
252504
60248
98084
109
l
CircularReferencesPruner
665658
701883
252504
60248
98084
110
f
BlockFlattener
665658
701883
252504
60248
98084
111
D
DeadCodeEliminator
665658
701883
252504
60248
98084
112
n
ControlFlowSimplifier
665658
701883
252504
60248
98084
113
T
LiteralRematerialiser
658944
701428
252187
59028
97881
114
O
ForLoopConditionOutOfBody
658944
701428
252187
59028
97881
115
c
CommonSubexpressionEliminator
666516
701883
252474
60248
98012
116
m
Rematerialiser
665658
701883
252504
60248
98084
117
u
UnusedPruner
665658
701883
252504
60248
98084
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
110
23
80
32
46
2
h
FunctionHoister
280
81
314
110
140
3
f
BlockFlattener
308
98
360
132
169
4
o
ForLoopInitRewriter
349
118
415
162
210
5
D
DeadCodeEliminator
3058
2716
7889
2138
3123
6
g
FunctionGrouper
3058
2716
7890
2138
3123
7
v
EquivalentFunctionCombiner
3722
3177
9190
2658
3698
8
u
UnusedPruner
6173
4986
13119
3895
6161
9
l
CircularReferencesPruner
6426
5123
13564
4006
6338
10
f
BlockFlattener
6457
5139
13607
4028
6367
11
n
ControlFlowSimplifier
6703
5284
14035
4216
6611
12
T
LiteralRematerialiser
7478
5591
16008
5064
7445
13
U
ConditionalUnsimplifier
9871
7549
22382
6594
10333
14
t
StructuralSimplifier
9902
7567
22434
6617
10403
15
n
ControlFlowSimplifier
10141
7706
22960
6792
10783
16
I
ForLoopConditionIntoBody
10170
7736
23002
6814
10818
17
f
BlockFlattener
10196
7751
23042
6835
10844
18
x
ExpressionSplitter
11567
8498
25401
7681
11742
19
a
SSATransform
13017
9086
27833
8786
13632
20
r
UnusedAssignEliminator
15923
11144
34232
10701
16209
21
E
EqualStoreEliminator
18187
12754
39401
12313
18468
22
s
ExpressionSimplifier
20832
14398
44322
14152
20689
23
c
CommonSubexpressionEliminator
23831
16182
51603
16187
23364
24
L
LoadResolver
26488
17687
58419
18011
25794
25
M
LoopInvariantCodeMotion
28331
18800
61888
19038
27408
26
c
CommonSubexpressionEliminator
31343
20371
68803
21744
29874
27
C
ConditionalSimplifier
33963
21969
74074
23050
31924
28
T
LiteralRematerialiser
35427
22463
77591
24157
33207
29
U
ConditionalUnsimplifier
37660
24239
82596
25646
35376
30
t
StructuralSimplifier
37699
24288
82660
25673
35444
31
T
LiteralRematerialiser
39375
25121
85772
26660
36575
32
O
ForLoopConditionOutOfBody
39440
25162
85824
26684
36608
33
n
ControlFlowSimplifier
39853
25414
86544
26965
36971
34
t
StructuralSimplifier
39892
25434
86600
26991
37027
35
n
ControlFlowSimplifier
40245
25607
87290
27241
37372
36
f
BlockFlattener
40283
25627
87346
27268
37407
37
D
DeadCodeEliminator
42767
27354
92497
28897
39498
38
I
ForLoopConditionIntoBody
42798
27370
92544
28919
39529
39
u
UnusedPruner
45891
29553
97190
30456
41938
40
l
CircularReferencesPruner
46118
29677
97747
30552
42148
41
L
LoadResolver
48534
31234
101353
31798
43862
42
c
CommonSubexpressionEliminator
51492
32570
105149
32900
45568
43
u
UnusedPruner
52984
33661
107602
33591
46965
44
l
CircularReferencesPruner
53183
33782
107949
33686
47120
45
V
SSAReverser
53411
33959
108254
33917
47425
46
c
CommonSubexpressionEliminator
55382
35244
113265
35066
49113
47
u
UnusedPruner
57303
36639
116505
35988
50712
48
l
CircularReferencesPruner
57526
36764
116922
36085
50866
49
j
ExpressionJoiner
57856
36922
117440
36261
51101
50
T
LiteralRematerialiser
58238
37072
117977
36496
51368
51
p
UnusedFunctionParameterPruner
58613
37263
118401
36600
51629
52
e
ExpressionInliner
58837
37379
118997
36780
51877
53
u
UnusedPruner
60273
38349
120173
37299
53468
54
l
CircularReferencesPruner
60410
38446
120255
37342
53576
55
x
ExpressionSplitter
61485
38983
121335
37852
54230
56
a
SSATransform
62197
39473
122316
38279
54876
57
r
UnusedAssignEliminator
63901
40886
124438
38977
56367
58
u
UnusedPruner
65591
42295
125984
39623
57701
59
l
CircularReferencesPruner
65727
42460
126068
39668
57805
60
x
ExpressionSplitter
66071
42665
126435
39826
58141
61
a
SSATransform
66796
43066
127641
40346
58899
62
r
UnusedAssignEliminator
68552
45219
129755
41055
60317
63
c
CommonSubexpressionEliminator
70414
47578
132435
42003
61901
64
L
LoadResolver
72244
49901
134457
42817
63395
65
g
FunctionGrouper
72244
49901
134457
42817
63395
66
v
EquivalentFunctionCombiner
72744
50400
135071
43042
63823
67
i
FullInliner
82507
58468
146023
46678
67695
68
f
BlockFlattener
82590
58533
146175
46712
67733
69
C
ConditionalSimplifier
84885
60292
149186
47635
69156
70
T
LiteralRematerialiser
89255
62859
154471
49266
70723
71
U
ConditionalUnsimplifier
91675
64326
156962
50087
72666
72
c
CommonSubexpressionEliminator
98180
68625
165897
53103
75421
73
a
SSATransform
102079
71182
172304
55153
79122
74
r
UnusedAssignEliminator
105647
73477
176556
56714
82755
75
L
LoadResolver
110626
77072
183269
58797
86080
76
S
UnusedStoreEliminator
118339
81809
191485
61428
90291
77
s
ExpressionSimplifier
124994
87819
201789
64631
93204
78
T
LiteralRematerialiser
128363
90612
207482
66220
95268
79
F
FunctionSpecializer
128965
91589
210281
76659
97308
80
O
ForLoopConditionOutOfBody
129030
91650
210429
76861
97414
81
t
StructuralSimplifier
129224
91767
210769
77159
97498
82
f
BlockFlattener
129298
91825
210901
77272
97556
83
D
DeadCodeEliminator
131210
93457
213558
80368
99868
84
n
ControlFlowSimplifier
132181
94315
215691
82672
100677
85
c
CommonSubexpressionEliminator
138192
99292
232065
91624
105439
86
a
SSATransform
140811
101257
242931
96162
108117
87
r
UnusedAssignEliminator
143230
103370
247994
98610
110982
88
I
ForLoopConditionIntoBody
143288
103417
248141
98677
111088
89
u
UnusedPruner
146857
106413
255701
102715
114609
90
l
CircularReferencesPruner
146898
106440
255760
102790
114727
91
c
CommonSubexpressionEliminator
148162
107009
258522
104080
116160
92
j
ExpressionJoiner
148480
107161
259049
104317
116472
93
m
Rematerialiser
149222
107460
260285
105775
117230
94
u
UnusedPruner
149902
107790
261143
106431
118341
95
l
CircularReferencesPruner
149943
107814
261195
106478
118509
96
j
ExpressionJoiner
150057
107860
261366
106571
118641
97
u
UnusedPruner
150470
108057
261748
106871
119296
98
l
CircularReferencesPruner
150509
108078
261798
106914
119400
99
V
SSAReverser
150657
108386
262140
107300
119729
100
c
CommonSubexpressionEliminator
151165
108683
263113
107807
120670
101
T
LiteralRematerialiser
151351
108768
263489
108003
120946
102
O
ForLoopConditionOutOfBody
151371
108780
263518
108024
121006
103
c
CommonSubexpressionEliminator
151904
109076
264364
108539
121857
104
u
UnusedPruner
152439
109395
264919
108941
122794
105
l
CircularReferencesPruner
152478
109418
264970
108985
122903
106
j
ExpressionJoiner
152570
109458
265071
109057
123002
107
m
Rematerialiser
152891
109599
265785
109365
123334
108
u
UnusedPruner
153262
109831
266168
109698
124153
109
l
CircularReferencesPruner
153300
109853
266218
109741
124333
110
f
BlockFlattener
153316
109862
266238
109754
124354
111
D
DeadCodeEliminator
153980
110231
267179
110266
125470
112
n
ControlFlowSimplifier
154045
110267
267258
110323
125564
113
T
LiteralRematerialiser
154233
110357
267547
110562
125784
114
O
ForLoopConditionOutOfBody
154250
110366
267567
110576
125825
115
c
CommonSubexpressionEliminator
154785
110646
268355
111086
126654
116
m
Rematerialiser
155108
110787
268873
111394
126984
117
u
UnusedPruner
155476
110990
269252
111715
127692
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
110
23
80
32
46
2
h
FunctionHoister
170
58
234
78
94
3
f
BlockFlattener
28
17
46
22
29
4
o
ForLoopInitRewriter
41
20
55
30
41
5
D
DeadCodeEliminator
2709
2598
7474
1976
2913
6
g
FunctionGrouper
0
0
1
0
0
7
v
EquivalentFunctionCombiner
664
461
1300
520
575
8
u
UnusedPruner
2451
1809
3929
1237
2463
9
l
CircularReferencesPruner
253
137
445
111
177
10
f
BlockFlattener
31
16
43
22
29
11
n
ControlFlowSimplifier
246
145
428
188
244
12
T
LiteralRematerialiser
775
307
1973
848
834
13
U
ConditionalUnsimplifier
2393
1958
6374
1530
2888
14
t
StructuralSimplifier
31
18
52
23
70
15
n
ControlFlowSimplifier
239
139
526
175
380
16
I
ForLoopConditionIntoBody
29
30
42
22
35
17
f
BlockFlattener
26
15
40
21
26
18
x
ExpressionSplitter
1371
747
2359
846
898
19
a
SSATransform
1450
588
2432
1105
1890
20
r
UnusedAssignEliminator
2906
2058
6399
1915
2577
21
E
EqualStoreEliminator
2264
1610
5169
1612
2259
22
s
ExpressionSimplifier
2645
1644
4921
1839
2221
23
c
CommonSubexpressionEliminator
2999
1784
7281
2035
2675
24
L
LoadResolver
2657
1505
6816
1824
2430
25
M
LoopInvariantCodeMotion
1843
1113
3469
1027
1614
26
c
CommonSubexpressionEliminator
3012
1571
6915
2706
2466
27
C
ConditionalSimplifier
2620
1598
5271
1306
2050
28
T
LiteralRematerialiser
1464
494
3517
1107
1283
29
U
ConditionalUnsimplifier
2233
1776
5005
1489
2169
30
t
StructuralSimplifier
39
49
64
27
68
31
T
LiteralRematerialiser
1676
833
3112
987
1131
32
O
ForLoopConditionOutOfBody
65
41
52
24
33
33
n
ControlFlowSimplifier
413
252
720
281
363
34
t
StructuralSimplifier
39
20
56
26
56
35
n
ControlFlowSimplifier
353
173
690
250
345
36
f
BlockFlattener
38
20
56
27
35
37
D
DeadCodeEliminator
2484
1727
5151
1629
2091
38
I
ForLoopConditionIntoBody
31
16
47
22
31
39
u
UnusedPruner
3093
2183
4646
1537
2409
40
l
CircularReferencesPruner
227
124
557
96
210
41
L
LoadResolver
2416
1557
3606
1246
1714
42
c
CommonSubexpressionEliminator
2958
1336
3796
1102
1706
43
u
UnusedPruner
1492
1091
2453
691
1397
44
l
CircularReferencesPruner
199
121
347
95
155
45
V
SSAReverser
228
177
305
231
305
46
c
CommonSubexpressionEliminator
1971
1285
5011
1149
1688
47
u
UnusedPruner
1921
1395
3240
922
1599
48
l
CircularReferencesPruner
223
125
417
97
154
49
j
ExpressionJoiner
330
158
518
176
235
50
T
LiteralRematerialiser
382
150
537
235
267
51
p
UnusedFunctionParameterPruner
375
191
424
104
261
52
e
ExpressionInliner
224
116
596
180
248
53
u
UnusedPruner
1436
970
1176
519
1591
54
l
CircularReferencesPruner
137
97
82
43
108
55
x
ExpressionSplitter
1075
537
1080
510
654
56
a
SSATransform
712
490
981
427
646
57
r
UnusedAssignEliminator
1704
1413
2122
698
1491
58
u
UnusedPruner
1690
1409
1546
646
1334
59
l
CircularReferencesPruner
136
165
84
45
104
60
x
ExpressionSplitter
344
205
367
158
336
61
a
SSATransform
725
401
1206
520
758
62
r
UnusedAssignEliminator
1756
2153
2114
709
1418
63
c
CommonSubexpressionEliminator
1862
2359
2680
948
1584
64
L
LoadResolver
1830
2323
2022
814
1494
65
g
FunctionGrouper
0
0
0
0
0
66
v
EquivalentFunctionCombiner
500
499
614
225
428
67
i
FullInliner
9763
8068
10952
3636
3872
68
f
BlockFlattener
83
65
152
34
38
69
C
ConditionalSimplifier
2295
1759
3011
923
1423
70
T
LiteralRematerialiser
4370
2567
5285
1631
1567
71
U
ConditionalUnsimplifier
2420
1467
2491
821
1943
72
c
CommonSubexpressionEliminator
6505
4299
8935
3016
2755
73
a
SSATransform
3899
2557
6407
2050
3701
74
r
UnusedAssignEliminator
3568
2295
4252
1561
3633
75
L
LoadResolver
4979
3595
6713
2083
3325
76
S
UnusedStoreEliminator
7713
4737
8216
2631
4211
77
s
ExpressionSimplifier
6655
6010
10304
3203
2913
78
T
LiteralRematerialiser
3369
2793
5693
1589
2064
79
F
FunctionSpecializer
602
977
2799
10439
2040
80
O
ForLoopConditionOutOfBody
65
61
148
202
106
81
t
StructuralSimplifier
194
117
340
298
84
82
f
BlockFlattener
74
58
132
113
58
83
D
DeadCodeEliminator
1912
1632
2657
3096
2312
84
n
ControlFlowSimplifier
971
858
2133
2304
809
85
c
CommonSubexpressionEliminator
6011
4977
16374
8952
4762
86
a
SSATransform
2619
1965
10866
4538
2678
87
r
UnusedAssignEliminator
2419
2113
5063
2448
2865
88
I
ForLoopConditionIntoBody
58
47
147
67
106
89
u
UnusedPruner
3569
2996
7560
4038
3521
90
l
CircularReferencesPruner
41
27
59
75
118
91
c
CommonSubexpressionEliminator
1264
569
2762
1290
1433
92
j
ExpressionJoiner
318
152
527
237
312
93
m
Rematerialiser
742
299
1236
1458
758
94
u
UnusedPruner
680
330
858
656
1111
95
l
CircularReferencesPruner
41
24
52
47
168
96
j
ExpressionJoiner
114
46
171
93
132
97
u
UnusedPruner
413
197
382
300
655
98
l
CircularReferencesPruner
39
21
50
43
104
99
V
SSAReverser
148
308
342
386
329
100
c
CommonSubexpressionEliminator
508
297
973
507
941
101
T
LiteralRematerialiser
186
85
376
196
276
102
O
ForLoopConditionOutOfBody
20
12
29
21
60
103
c
CommonSubexpressionEliminator
533
296
846
515
851
104
u
UnusedPruner
535
319
555
402
937
105
l
CircularReferencesPruner
39
23
51
44
109
106
j
ExpressionJoiner
92
40
101
72
99
107
m
Rematerialiser
321
141
714
308
332
108
u
UnusedPruner
371
232
383
333
819
109
l
CircularReferencesPruner
38
22
50
43
180
110
f
BlockFlattener
16
9
20
13
21
111
D
DeadCodeEliminator
664
369
941
512
1116
112
n
ControlFlowSimplifier
65
36
79
57
94
113
T
LiteralRematerialiser
188
90
289
239
220
114
O
ForLoopConditionOutOfBody
17
9
20
14
41
115
c
CommonSubexpressionEliminator
535
280
788
510
829
116
m
Rematerialiser
323
141
518
308
330
117
u
UnusedPruner
368
203
379
321
708
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
0.18632
0.126345
0.416694
0.137534
0.179078
2
h
FunctionHoister
0.210796
0.087438
0.405492
0.137407
0.165523
3
f
BlockFlattener
0.195333
0.090845
0.419835
0.122831
0.178798
4
o
ForLoopInitRewriter
0.207664
0.08597
0.417555
0.154839
0.186295
5
D
DeadCodeEliminator
0.196488
0.087663
0.434746
0.141887
0.19403
6
g
FunctionGrouper
0.191775
0.095449
0.423292
0.131872
0.221206
7
v
EquivalentFunctionCombiner
0.222846
0.101166
0.428173
0.11943
0.183102
8
u
UnusedPruner
0.183384
0.092903
0.390575
0.122692
0.177478
9
l
CircularReferencesPruner
0.192809
0.091081
0.399013
0.11217
0.170225
10
f
BlockFlattener
0.183215
0.090238
0.389081
0.111759
0.176485
11
n
ControlFlowSimplifier
0.201511
0.088924
0.399202
0.139879
0.186579
12
T
LiteralRematerialiser
0.208383
0.086167
0.390858
0.131062
0.257049
13
U
ConditionalUnsimplifier
0.212996
0.088086
0.403955
0.123983
0.206257
14
t
StructuralSimplifier
0.20332
0.081757
0.391699
0.127515
0.180794
15
n
ControlFlowSimplifier
0.192823
0.080938
0.397802
0.129071
0.242778
16
I
ForLoopConditionIntoBody
0.200314
0.09927
0.397866
0.127019
0.32608
17
f
BlockFlattener
0.193467
0.099542
0.397535
0.139242
0.297382
18
x
ExpressionSplitter
0.250011
0.126266
0.482388
0.147374
0.281671
19
a
SSATransform
0.229189
0.125922
0.544934
0.212293
0.251046
20
r
UnusedAssignEliminator
0.223825
0.13741
0.535717
0.15233
0.230153
21
E
EqualStoreEliminator
0.26163
0.123995
0.542438
0.153168
0.234356
22
s
ExpressionSimplifier
0.237824
0.108035
0.545057
0.166388
0.242882
23
c
CommonSubexpressionEliminator
0.230099
0.104076
0.569341
0.158556
0.290449
24
L
LoadResolver
0.260265
0.126499
0.575931
0.173552
0.296112
25
M
LoopInvariantCodeMotion
0.269024
0.117506
0.569017
0.17215
0.394985
26
c
CommonSubexpressionEliminator
0.254955
0.118879
0.575213
0.170467
0.38806
27
C
ConditionalSimplifier
0.261653
0.115128
0.588591
0.185298
0.301836
28
T
LiteralRematerialiser
0.256835
0.120338
0.588186
0.178415
0.276227
29
U
ConditionalUnsimplifier
0.268828
0.117529
0.579128
0.174704
0.315546
30
t
StructuralSimplifier
0.280994
0.118612
0.583392
0.182097
0.354203
31
T
LiteralRematerialiser
0.275291
0.129727
0.575612
0.1663
0.359241
32
O
ForLoopConditionOutOfBody
0.291286
0.126441
0.576693
0.165124
0.429381
33
n
ControlFlowSimplifier
0.301825
0.12865
0.594082
0.178943
0.372728
34
t
StructuralSimplifier
0.303067
0.120597
0.599685
0.176324
0.422187
35
n
ControlFlowSimplifier
0.301674
0.136129
0.584239
0.180411
0.378198
36
f
BlockFlattener
0.278384
0.117398
0.597777
0.180102
0.405524
37
D
DeadCodeEliminator
0.290179
0.132372
0.601522
0.177462
0.357361
38
I
ForLoopConditionIntoBody
0.282406
0.119436
0.609541
0.198279
0.287696
39
u
UnusedPruner
0.248429
0.124131
0.406327
0.138806
0.318798
40
l
CircularReferencesPruner
0.275474
0.124834
0.410235
0.161435
0.354808
41
L
LoadResolver
0.272011
0.120581
0.418166
0.183143
0.357852
42
c
CommonSubexpressionEliminator
0.26226
0.116334
0.414283
0.14199
0.343907
43
u
UnusedPruner
0.285046
0.143481
0.426548
0.150039
0.297633
44
l
CircularReferencesPruner
0.265657
0.120191
0.418341
0.154912
0.321173
45
V
SSAReverser
0.264671
0.12419
0.417544
0.153138
0.294353
46
c
CommonSubexpressionEliminator
0.263851
0.119157
0.421995
0.132887
0.262182
47
u
UnusedPruner
0.333899
0.173123
0.420753
0.185075
0.211124
48
l
CircularReferencesPruner
0.255106
0.130084
0.417062
0.151954
0.217817
49
j
ExpressionJoiner
0.242177
0.127038
0.385946
0.117142
0.201471
50
T
LiteralRematerialiser
0.233613
0.122484
0.381018
0.138431
0.224265
51
p
UnusedFunctionParameterPruner
0.235311
0.117674
0.379236
0.139158
0.186957
52
e
ExpressionInliner
0.19993
0.10679
0.323407
0.116666
0.169511
53
u
UnusedPruner
0.197711
0.107159
0.290651
0.122725
0.186874
54
l
CircularReferencesPruner
0.200347
0.113531
0.338315
0.122833
0.18237
55
x
ExpressionSplitter
0.238171
0.133925
0.394763
0.126944
0.198142
56
a
SSATransform
0.223576
0.133617
0.414441
0.13468
0.1854
57
r
UnusedAssignEliminator
0.240785
0.124527
0.39707
0.153105
0.202676
58
u
UnusedPruner
0.25575
0.141897
0.377305
0.139053
0.199238
59
l
CircularReferencesPruner
0.231908
0.130787
0.37952
0.134569
0.229484
60
x
ExpressionSplitter
0.224291
0.126386
0.361325
0.136041
0.191186
61
a
SSATransform
0.230403
0.124954
0.405348
0.174556
0.192223
62
r
UnusedAssignEliminator
0.256702
0.147973
0.41946
0.143028
0.206441
63
c
CommonSubexpressionEliminator
0.261867
0.135659
0.406046
0.14324
0.196426
64
L
LoadResolver
0.260299
0.126026
0.402346
0.135017
0.20996
65
g
FunctionGrouper
0.264427
0.150128
0.395868
0.12036
0.195955
66
v
EquivalentFunctionCombiner
0.270516
0.13942
0.38699
0.131941
0.205992
67
i
FullInliner
0.552433
0.277739
1.00696
0.237559
0.281925
68
f
BlockFlattener
0.573461
0.288928
1.02446
0.230432
0.287882
69
C
ConditionalSimplifier
0.56234
0.312637
1.06806
0.236495
0.248267
70
T
LiteralRematerialiser
0.510162
0.292249
1.03865
0.19173
0.254085
71
U
ConditionalUnsimplifier
0.51694
0.312525
0.998829
0.219366
0.250683
72
c
CommonSubexpressionEliminator
0.609834
0.375715
1.76232
0.232804
0.292586
73
a
SSATransform
0.5844
0.334668
2.01297
0.25514
0.29559
74
r
UnusedAssignEliminator
0.526836
0.362048
2.03422
0.237349
0.308535
75
L
LoadResolver
0.561324
0.388395
2.01307
0.240047
0.327982
76
S
UnusedStoreEliminator
0.549134
0.354194
2.03075
0.253629
0.308278
77
s
ExpressionSimplifier
0.546489
0.373315
1.96154
0.21779
0.336726
78
T
LiteralRematerialiser
0.5524
0.33237
1.19197
0.236692
0.315517
79
F
FunctionSpecializer
0.602961
0.355943
1.30909
0.500232
0.402028
80
O
ForLoopConditionOutOfBody
0.564979
0.35734
1.27985
0.492539
0.408915
81
t
StructuralSimplifier
0.566635
0.323109
1.2793
0.513171
0.391446
82
f
BlockFlattener
0.581489
0.351296
1.27169
0.466739
0.386941
83
D
DeadCodeEliminator
0.566519
0.365267
1.26382
0.529079
0.41494
84
n
ControlFlowSimplifier
0.577934
0.326405
1.26145
0.503825
0.398609
85
c
CommonSubexpressionEliminator
0.528572
0.360903
2.00827
0.544908
0.46444
86
a
SSATransform
0.528961
0.447935
2.27941
0.687744
0.566014
87
r
UnusedAssignEliminator
0.536164
0.512262
2.27351
0.648128
0.482404
88
I
ForLoopConditionIntoBody
0.549664
0.471409
2.29976
0.669219
0.448772
89
u
UnusedPruner
0.364138
0.197277
0.463823
0.206655
0.299812
90
l
CircularReferencesPruner
0.362271
0.175953
0.457425
0.211639
0.246461
91
c
CommonSubexpressionEliminator
0.331397
0.174172
0.448817
0.224446
0.248673
92
j
ExpressionJoiner
0.314888
0.188947
0.416633
0.196926
0.244417
93
m
Rematerialiser
0.325178
0.171601
0.441059
0.207605
0.234472
94
u
UnusedPruner
0.302912
0.166446
0.417015
0.183436
0.236101
95
l
CircularReferencesPruner
0.29931
0.170842
0.414807
0.194716
0.231579
96
j
ExpressionJoiner
0.335908
0.149771
0.416475
0.19228
0.226757
97
u
UnusedPruner
0.30276
0.149049
0.405409
0.180923
0.213196
98
l
CircularReferencesPruner
0.309685
0.211461
0.415695
0.17941
0.226998
99
V
SSAReverser
0.322819
0.153833
0.419934
0.185428
0.227886
100
c
CommonSubexpressionEliminator
0.303893
0.151769
0.39649
0.166692
0.235546
101
T
LiteralRematerialiser
0.290392
0.158792
0.395101
0.202062
0.233863
102
O
ForLoopConditionOutOfBody
0.291739
0.158507
0.385007
0.160055
0.240485
103
c
CommonSubexpressionEliminator
0.302284
0.163032
0.391041
0.164318
0.212096
104
u
UnusedPruner
0.330416
0.170129
0.398467
0.179408
0.23056
105
l
CircularReferencesPruner
0.334926
0.147813
0.386944
0.18323
0.240077
106
j
ExpressionJoiner
0.291163
0.144327
0.402946
0.181816
0.266276
107
m
Rematerialiser
0.331228
0.147081
0.381438
0.220104
0.236863
108
u
UnusedPruner
0.321077
0.153803
0.391226
0.18551
0.239467
109
l
CircularReferencesPruner
0.293937
0.141994
0.395821
0.204829
0.232511
110
f
BlockFlattener
0.321843
0.209269
0.394324
0.175659
0.2395
111
D
DeadCodeEliminator
0.327964
0.168055
0.433954
0.193862
0.23003
112
n
ControlFlowSimplifier
0.326414
0.153561
0.443989
0.190427
0.235922
113
T
LiteralRematerialiser
0.294531
0.172371
0.384839
0.166434
0.259669
114
O
ForLoopConditionOutOfBody
0.275943
0.161088
0.391681
0.172294
0.23254
115
c
CommonSubexpressionEliminator
0.319074
0.175701
0.395577
0.174972
0.235017
116
m
Rematerialiser
0.315417
0.153972
0.412849
0.175192
0.245916
117
u
UnusedPruner
0.326806
0.15097
0.395595
0.187132
0.303875