Sequence single-pass-no-cse, 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 and some CSE steps removed
dhfoDgvulfnTUtnIf # None of these can make stack problems worse
xa[r]EscLM # Turn into SSA and simplify
CTUtTOntnfDIul # 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] L # Turn into SSA again and simplify
gvif # Run full inliner
CTU a[r]LSsTFOtfDn a[r]Iulc # SSA plus simplify
jmul[ ul] VcTO ul mul # Make source short and pretty
:fDnTO mu # 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
ConditionalSimplifier
5184
2527
12260
3004
3797
27
T
LiteralRematerialiser
5072
2415
12169
2798
3774
28
U
ConditionalUnsimplifier
5074
2415
10904
2799
3773
29
t
StructuralSimplifier
5074
2415
10904
2799
3773
30
T
LiteralRematerialiser
5074
2415
10904
2799
3773
31
O
ForLoopConditionOutOfBody
5074
2415
10904
2799
3773
32
n
ControlFlowSimplifier
5074
2415
10904
2799
3773
33
t
StructuralSimplifier
5074
2415
10904
2799
3773
34
n
ControlFlowSimplifier
5074
2415
10904
2799
3773
35
f
BlockFlattener
5074
2415
10904
2799
3773
36
D
DeadCodeEliminator
5074
2415
10904
2799
3773
37
I
ForLoopConditionIntoBody
5074
2415
10904
2799
3773
38
u
UnusedPruner
5027
2399
10703
2726
3700
39
l
CircularReferencesPruner
5027
2399
10703
2726
3700
40
L
LoadResolver
5027
2399
10703
2726
3700
41
c
CommonSubexpressionEliminator
5027
2399
10699
2726
3650
42
u
UnusedPruner
5027
2399
10699
2726
3655
43
l
CircularReferencesPruner
5027
2399
10699
2726
3655
44
V
SSAReverser
5030
2399
10699
2726
3661
45
c
CommonSubexpressionEliminator
5019
2399
10676
2720
3649
46
u
UnusedPruner
5019
2399
10676
2720
3649
47
l
CircularReferencesPruner
5019
2399
10676
2720
3649
48
j
ExpressionJoiner
5017
2397
10676
2720
3647
49
T
LiteralRematerialiser
5017
2397
10676
2720
3647
50
p
UnusedFunctionParameterPruner
5033
2413
10684
2720
3652
51
e
ExpressionInliner
4220
2059
8471
1943
2965
52
u
UnusedPruner
4220
2059
8471
1943
2965
53
l
CircularReferencesPruner
4220
2059
8471
1943
2965
54
x
ExpressionSplitter
4320
2009
8470
1922
2970
55
a
SSATransform
4348
2010
8925
2056
3071
56
r
UnusedAssignEliminator
4348
2010
8925
2056
3071
57
u
UnusedPruner
4326
2009
8814
1982
3019
58
l
CircularReferencesPruner
4326
2009
8814
1982
3019
59
x
ExpressionSplitter
4326
2009
8814
1982
3019
60
a
SSATransform
4344
2010
8925
2060
3073
61
r
UnusedAssignEliminator
4344
2010
8925
2060
3073
62
L
LoadResolver
4344
2010
8925
2060
3061
63
g
FunctionGrouper
4344
2010
8925
2060
3061
64
v
EquivalentFunctionCombiner
4344
2010
8925
2060
3061
65
i
FullInliner
4581
1716
8653
2418
2878
66
f
BlockFlattener
4581
1716
8653
2418
2878
67
C
ConditionalSimplifier
4581
1716
9915
2418
2883
68
T
LiteralRematerialiser
4399
1693
9769
2180
2800
69
U
ConditionalUnsimplifier
4399
1693
8508
2180
2793
70
a
SSATransform
4447
1693
8519
2178
2790
71
r
UnusedAssignEliminator
4447
1693
8519
2178
2790
72
L
LoadResolver
4447
1693
8519
2178
2790
73
S
UnusedStoreEliminator
4447
1693
8519
2178
2790
74
s
ExpressionSimplifier
4390
1761
8489
2220
2787
75
T
LiteralRematerialiser
4375
1761
8459
2167
2785
76
F
FunctionSpecializer
4324
1757
8844
3419
3335
77
O
ForLoopConditionOutOfBody
4324
1757
8844
3419
3335
78
t
StructuralSimplifier
4330
1749
8844
3389
3333
79
f
BlockFlattener
4330
1749
8844
3389
3333
80
D
DeadCodeEliminator
4330
1749
8844
3389
3333
81
n
ControlFlowSimplifier
4330
1749
8844
3389
3333
82
a
SSATransform
4299
1749
8865
3428
3325
83
r
UnusedAssignEliminator
4299
1749
8865
3428
3325
84
I
ForLoopConditionIntoBody
4299
1749
8865
3428
3325
85
u
UnusedPruner
3441
1610
8437
2099
2926
86
l
CircularReferencesPruner
3441
1610
8437
2099
2926
87
c
CommonSubexpressionEliminator
3277
1638
8069
2173
2836
88
j
ExpressionJoiner
3276
1637
8069
2173
2835
89
m
Rematerialiser
3152
1583
7963
2048
2790
90
u
UnusedPruner
3132
1579
7963
2042
2790
91
l
CircularReferencesPruner
3132
1579
7963
2042
2790
92
u
UnusedPruner
3132
1579
7963
2042
2790
93
l
CircularReferencesPruner
3132
1579
7963
2042
2790
94
V
SSAReverser
3133
1579
7957
2042
2790
95
c
CommonSubexpressionEliminator
3132
1579
7945
2037
2786
96
T
LiteralRematerialiser
3132
1579
7955
2092
2796
97
O
ForLoopConditionOutOfBody
3124
1579
7955
2097
2779
98
u
UnusedPruner
3123
1579
7955
2097
2779
99
l
CircularReferencesPruner
3123
1579
7955
2097
2779
100
m
Rematerialiser
3126
1582
7956
2099
2778
101
u
UnusedPruner
3119
1582
7951
2097
2778
102
l
CircularReferencesPruner
3119
1582
7951
2097
2778
103
f
BlockFlattener
3119
1582
7951
2097
2778
104
D
DeadCodeEliminator
3119
1582
7951
2097
2778
105
n
ControlFlowSimplifier
3119
1582
7951
2097
2778
106
T
LiteralRematerialiser
3119
1582
7951
2097
2778
107
O
ForLoopConditionOutOfBody
3119
1582
7951
2097
2778
108
m
Rematerialiser
3119
1582
7951
2097
2778
109
u
UnusedPruner
3119
1582
7951
2097
2778
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
ConditionalSimplifier
1767414
593221
2688014
695280
867655
27
T
LiteralRematerialiser
1747963
568986
2668390
650734
862673
28
U
ConditionalUnsimplifier
1748395
568986
2394281
650950
862426
29
t
StructuralSimplifier
1748395
568986
2394281
650950
862426
30
T
LiteralRematerialiser
1748395
568986
2394281
650950
862426
31
O
ForLoopConditionOutOfBody
1748395
568986
2394281
650950
862426
32
n
ControlFlowSimplifier
1748395
568986
2394281
650950
862426
33
t
StructuralSimplifier
1748395
568986
2394281
650950
862426
34
n
ControlFlowSimplifier
1748395
568986
2394281
650950
862426
35
f
BlockFlattener
1748395
568986
2394281
650950
862426
36
D
DeadCodeEliminator
1748395
568986
2394281
650950
862426
37
I
ForLoopConditionIntoBody
1748395
568986
2394281
650950
862426
38
u
UnusedPruner
1738907
565528
2350869
635213
846665
39
l
CircularReferencesPruner
1738907
565528
2350869
635213
846665
40
L
LoadResolver
1738907
565528
2350869
635213
846665
41
c
CommonSubexpressionEliminator
1738907
565528
2350017
635213
835857
42
u
UnusedPruner
1738907
565528
2350017
635213
836937
43
l
CircularReferencesPruner
1738907
565528
2350017
635213
836937
44
V
SSAReverser
1739555
565528
2350017
635213
838221
45
c
CommonSubexpressionEliminator
1737225
565528
2345075
633927
835641
46
u
UnusedPruner
1737225
565528
2345075
633927
835641
47
l
CircularReferencesPruner
1737225
565528
2345075
633927
835641
48
j
ExpressionJoiner
1736793
565101
2345075
633927
835219
49
T
LiteralRematerialiser
1736793
565101
2345075
633927
835219
50
p
UnusedFunctionParameterPruner
1740191
568566
2346791
633927
836301
51
e
ExpressionInliner
1589403
491987
1868078
466514
687724
52
u
UnusedPruner
1589427
491987
1868078
466514
687724
53
l
CircularReferencesPruner
1589427
491987
1868078
466514
687724
54
x
ExpressionSplitter
1609237
481146
1867874
462002
688828
55
a
SSATransform
1617709
481374
1966281
490979
710675
56
r
UnusedAssignEliminator
1617709
481374
1966281
490979
710675
57
u
UnusedPruner
1613052
481146
1942278
474976
699428
58
l
CircularReferencesPruner
1613052
481146
1942278
474976
699428
59
x
ExpressionSplitter
1613052
481146
1942278
474976
699428
60
a
SSATransform
1616833
481374
1966281
491843
711109
61
r
UnusedAssignEliminator
1616833
481374
1966281
491843
711109
62
L
LoadResolver
1616833
481374
1966281
491843
708509
63
g
FunctionGrouper
1616833
481374
1966281
491843
708509
64
v
EquivalentFunctionCombiner
1616833
481374
1966281
491843
708509
65
i
FullInliner
1632976
417628
1907852
568746
669021
66
f
BlockFlattener
1632976
417628
1907852
568746
669021
67
C
ConditionalSimplifier
1632976
417628
2181305
568746
670103
68
T
LiteralRematerialiser
1599553
412652
2149588
517172
652162
69
U
ConditionalUnsimplifier
1599553
412652
1876343
517172
650650
70
a
SSATransform
1609533
412652
1878716
516740
650002
71
r
UnusedAssignEliminator
1609533
412652
1878716
516740
650002
72
L
LoadResolver
1609533
412652
1878716
516740
650002
73
S
UnusedStoreEliminator
1609533
412652
1878716
516740
650002
74
s
ExpressionSimplifier
1598441
427412
1872227
525964
649354
75
T
LiteralRematerialiser
1595192
427412
1865750
514523
648910
76
F
FunctionSpecializer
1584167
426528
1948899
784897
767804
77
O
ForLoopConditionOutOfBody
1584167
426528
1948899
784897
767804
78
t
StructuralSimplifier
1585463
424812
1948887
778385
767348
79
f
BlockFlattener
1585463
424812
1948887
778385
767348
80
D
DeadCodeEliminator
1585463
424812
1948887
778385
767348
81
n
ControlFlowSimplifier
1585463
424812
1948887
778385
767348
82
a
SSATransform
1578758
424812
1953408
786814
765612
83
r
UnusedAssignEliminator
1578758
424812
1953408
786814
765612
84
I
ForLoopConditionIntoBody
1578758
424812
1953408
786814
765612
85
u
UnusedPruner
1455426
395103
1861265
500275
679531
86
l
CircularReferencesPruner
1455426
395103
1861265
500275
679531
87
c
CommonSubexpressionEliminator
1417721
401159
1781654
516251
660066
88
j
ExpressionJoiner
1417498
400943
1781654
516251
659862
89
m
Rematerialiser
1394868
389263
1758734
489237
650122
90
u
UnusedPruner
1390970
388399
1758734
487946
650122
91
l
CircularReferencesPruner
1390970
388399
1758734
487946
650122
92
u
UnusedPruner
1390970
388399
1758734
487946
650122
93
l
CircularReferencesPruner
1390970
388399
1758734
487946
650122
94
V
SSAReverser
1391186
388399
1757426
487946
650122
95
c
CommonSubexpressionEliminator
1390970
388399
1754858
486746
649258
96
T
LiteralRematerialiser
1390970
388399
1756946
498667
651406
97
O
ForLoopConditionOutOfBody
1389435
388399
1756958
499591
647737
98
u
UnusedPruner
1389219
388399
1756958
499591
647737
99
l
CircularReferencesPruner
1389219
388399
1756958
499591
647737
100
m
Rematerialiser
1389622
389047
1757090
500023
647521
101
u
UnusedPruner
1388355
389047
1756106
499591
647521
102
l
CircularReferencesPruner
1388355
389047
1756106
499591
647521
103
f
BlockFlattener
1388355
389047
1756106
499591
647521
104
D
DeadCodeEliminator
1388355
389047
1756106
499591
647521
105
n
ControlFlowSimplifier
1388355
389047
1756106
499591
647521
106
T
LiteralRematerialiser
1388355
389047
1756106
499591
647521
107
O
ForLoopConditionOutOfBody
1388355
389047
1756106
499591
647521
108
m
Rematerialiser
1388355
389047
1756106
499591
647521
109
u
UnusedPruner
1388355
389047
1756106
499591
647521
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
ConditionalSimplifier
734418
722887
374329
149051
109421
27
T
LiteralRematerialiser
736701
722940
375233
140220
109634
28
U
ConditionalUnsimplifier
737171
722940
373706
140307
109649
29
t
StructuralSimplifier
737171
722940
373706
140307
109649
30
T
LiteralRematerialiser
737171
722940
373706
140307
109649
31
O
ForLoopConditionOutOfBody
737171
722940
373706
140307
109649
32
n
ControlFlowSimplifier
737171
722940
373706
140307
109649
33
t
StructuralSimplifier
737171
722940
373706
140307
109649
34
n
ControlFlowSimplifier
737171
722940
373706
140307
109649
35
f
BlockFlattener
737171
722940
373706
140307
109649
36
D
DeadCodeEliminator
737171
722940
373706
140307
109649
37
I
ForLoopConditionIntoBody
737171
722940
373706
140307
109649
38
u
UnusedPruner
734664
722711
374752
139594
109328
39
l
CircularReferencesPruner
734664
722711
374752
139594
109328
40
L
LoadResolver
734664
722711
374752
139594
109328
41
c
CommonSubexpressionEliminator
734664
722711
369376
139594
108024
42
u
UnusedPruner
734664
722711
369376
139594
108120
43
l
CircularReferencesPruner
734664
722711
369376
139594
108120
44
V
SSAReverser
734730
722711
369380
139594
108138
45
c
CommonSubexpressionEliminator
734490
722711
368439
139552
108102
46
u
UnusedPruner
734490
722711
368439
139552
108102
47
l
CircularReferencesPruner
734490
722711
368439
139552
108102
48
j
ExpressionJoiner
734190
722369
368439
139552
107892
49
T
LiteralRematerialiser
734190
722369
368439
139552
107892
50
p
UnusedFunctionParameterPruner
734352
722526
368817
139552
107904
51
e
ExpressionInliner
697796
711678
268805
76200
101189
52
u
UnusedPruner
697796
711678
268805
76200
101189
53
l
CircularReferencesPruner
697796
711678
268805
76200
101189
54
x
ExpressionSplitter
697165
711715
268660
76390
101200
55
a
SSATransform
700505
711751
273890
80288
101517
56
r
UnusedAssignEliminator
700505
711751
273890
80288
101517
57
u
UnusedPruner
699563
711728
274173
77945
101372
58
l
CircularReferencesPruner
699563
711728
274173
77945
101372
59
x
ExpressionSplitter
699563
711728
274173
77945
101372
60
a
SSATransform
700499
711751
273890
80531
101453
61
r
UnusedAssignEliminator
700499
711751
273890
80531
101453
62
L
LoadResolver
700499
711751
273890
80531
101453
63
g
FunctionGrouper
700499
711751
273890
80531
101453
64
v
EquivalentFunctionCombiner
700499
711751
273890
80531
101453
65
i
FullInliner
675298
702271
263611
68383
98539
66
f
BlockFlattener
675298
702271
263611
68383
98539
67
C
ConditionalSimplifier
675298
702271
263761
68383
98539
68
T
LiteralRematerialiser
671167
701906
260072
65729
98551
69
U
ConditionalUnsimplifier
671167
701906
259922
65729
98551
70
a
SSATransform
671185
701906
259904
65674
98587
71
r
UnusedAssignEliminator
671185
701906
259904
65674
98587
72
L
LoadResolver
671185
701906
259904
65674
98587
73
S
UnusedStoreEliminator
671185
701906
259904
65674
98587
74
s
ExpressionSimplifier
669792
701856
259373
65548
98579
75
T
LiteralRematerialiser
669666
701856
258041
65132
98574
76
F
FunctionSpecializer
667816
701856
258003
64480
98289
77
O
ForLoopConditionOutOfBody
667816
701856
258003
64480
98289
78
t
StructuralSimplifier
668062
701758
258005
64403
98286
79
f
BlockFlattener
668062
701758
258005
64403
98286
80
D
DeadCodeEliminator
668062
701758
258005
64403
98286
81
n
ControlFlowSimplifier
668062
701758
258005
64403
98286
82
a
SSATransform
668386
701758
258017
64286
98262
83
r
UnusedAssignEliminator
668386
701758
258017
64286
98262
84
I
ForLoopConditionIntoBody
668386
701758
258017
64286
98262
85
u
UnusedPruner
667468
701586
257374
62298
98259
86
l
CircularReferencesPruner
667468
701586
257374
62298
98259
87
c
CommonSubexpressionEliminator
663741
701070
254379
64210
97902
88
j
ExpressionJoiner
664095
701002
254379
64210
97839
89
m
Rematerialiser
663290
700780
253672
63126
97726
90
u
UnusedPruner
662387
700769
253672
63036
97726
91
l
CircularReferencesPruner
662387
700769
253672
63036
97726
92
u
UnusedPruner
662387
700769
253672
63036
97726
93
l
CircularReferencesPruner
662387
700769
253672
63036
97726
94
V
SSAReverser
662675
700769
253705
63050
97726
95
c
CommonSubexpressionEliminator
662657
700769
253358
62899
97718
96
T
LiteralRematerialiser
662657
700769
253330
59256
97718
97
O
ForLoopConditionOutOfBody
660161
700738
253044
58753
97707
98
u
UnusedPruner
659873
700738
253043
58753
97707
99
l
CircularReferencesPruner
659873
700738
253043
58753
97707
100
m
Rematerialiser
659773
700943
253078
59018
97731
101
u
UnusedPruner
659753
700943
253034
58753
97731
102
l
CircularReferencesPruner
659753
700943
253034
58753
97731
103
f
BlockFlattener
659753
700943
253034
58753
97731
104
D
DeadCodeEliminator
659753
700943
253034
58753
97731
105
n
ControlFlowSimplifier
659753
700943
253034
58753
97731
106
T
LiteralRematerialiser
659753
700943
253034
58753
97731
107
O
ForLoopConditionOutOfBody
659753
700943
253034
58753
97731
108
m
Rematerialiser
659753
700943
253034
58753
97731
109
u
UnusedPruner
659753
700943
253034
58753
97731
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
41
27
83
46
47
2
h
FunctionHoister
152
81
411
144
147
3
f
BlockFlattener
182
97
454
166
177
4
o
ForLoopInitRewriter
227
116
507
196
219
5
D
DeadCodeEliminator
3006
2610
8086
2018
3188
6
g
FunctionGrouper
3006
2611
8087
2018
3188
7
v
EquivalentFunctionCombiner
3721
3389
9384
2533
3823
8
u
UnusedPruner
6207
5447
13435
4250
6299
9
l
CircularReferencesPruner
6430
5606
13881
4361
6476
10
f
BlockFlattener
6460
5624
13922
4383
6506
11
n
ControlFlowSimplifier
6696
5792
14351
4575
6755
12
T
LiteralRematerialiser
7398
6109
16453
5569
7660
13
U
ConditionalUnsimplifier
9802
8045
22783
7346
10209
14
t
StructuralSimplifier
9832
8064
22830
7370
10240
15
n
ControlFlowSimplifier
10154
8227
23347
7556
10754
16
I
ForLoopConditionIntoBody
10184
8250
23390
7583
10793
17
f
BlockFlattener
10211
8265
23427
7603
10820
18
x
ExpressionSplitter
11647
8966
25742
8461
11903
19
a
SSATransform
12894
9511
28121
9513
13218
20
r
UnusedAssignEliminator
15732
11437
34744
11503
16349
21
E
EqualStoreEliminator
18042
13101
39928
13139
18672
22
s
ExpressionSimplifier
20706
14590
44994
15210
20881
23
c
CommonSubexpressionEliminator
23454
16335
52121
17338
23590
24
L
LoadResolver
25848
17950
57572
19063
25931
25
M
LoopInvariantCodeMotion
27874
19181
60705
20544
28227
26
C
ConditionalSimplifier
30028
20818
66085
21934
30228
27
T
LiteralRematerialiser
31323
21350
70125
23234
31576
28
U
ConditionalUnsimplifier
33507
23072
75328
24674
33774
29
t
StructuralSimplifier
33544
23094
75394
24700
33810
30
T
LiteralRematerialiser
34625
23597
78476
25678
34976
31
O
ForLoopConditionOutOfBody
34657
23615
78525
25701
35009
32
n
ControlFlowSimplifier
35014
23826
79408
25980
35407
33
t
StructuralSimplifier
35049
23847
79466
26005
35442
34
n
ControlFlowSimplifier
35372
24116
80165
26255
35770
35
f
BlockFlattener
35407
24144
80219
26280
35805
36
D
DeadCodeEliminator
37564
26042
85484
27776
37906
37
I
ForLoopConditionIntoBody
37593
26059
85535
27807
37936
38
u
UnusedPruner
40533
28009
90269
29306
40368
39
l
CircularReferencesPruner
40720
28132
90827
29401
40524
40
L
LoadResolver
42693
29612
94392
30492
42252
41
c
CommonSubexpressionEliminator
44593
30873
98424
31642
44160
42
u
UnusedPruner
46147
32035
101977
32329
46007
43
l
CircularReferencesPruner
46408
32157
102326
32422
46160
44
V
SSAReverser
46639
32306
102585
32645
46460
45
c
CommonSubexpressionEliminator
48425
33604
106561
33776
48243
46
u
UnusedPruner
50269
35000
109668
34698
49839
47
l
CircularReferencesPruner
50458
35126
110037
34794
50033
48
j
ExpressionJoiner
50752
35280
110578
34967
50269
49
T
LiteralRematerialiser
51054
35429
111074
35202
50535
50
p
UnusedFunctionParameterPruner
51383
35622
111490
35305
50794
51
e
ExpressionInliner
51583
35737
112146
35485
50973
52
u
UnusedPruner
52949
36704
113432
36118
52050
53
l
CircularReferencesPruner
53088
36876
113512
36189
52154
54
x
ExpressionSplitter
54090
37451
114641
36768
52798
55
a
SSATransform
54758
37776
115627
37211
53477
56
r
UnusedAssignEliminator
56557
39129
117787
37870
54943
57
u
UnusedPruner
58137
40234
119367
38615
56252
58
l
CircularReferencesPruner
58272
40331
119450
38659
56355
59
x
ExpressionSplitter
58621
40580
119825
38815
56729
60
a
SSATransform
59406
40982
121056
39358
57410
61
r
UnusedAssignEliminator
61225
42320
123210
40169
58858
62
L
LoadResolver
63052
43422
125382
40992
60583
63
g
FunctionGrouper
63052
43422
125382
40992
60692
64
v
EquivalentFunctionCombiner
63553
43679
126010
41217
61149
65
i
FullInliner
72738
51271
137738
44938
65119
66
f
BlockFlattener
72825
51359
137867
44970
65156
67
C
ConditionalSimplifier
75154
53017
140668
45882
66845
68
T
LiteralRematerialiser
79326
55516
146268
47651
68267
69
U
ConditionalUnsimplifier
81384
56898
149222
48487
69701
70
a
SSATransform
85078
60213
156011
50391
71463
71
r
UnusedAssignEliminator
88454
62541
160556
51809
73402
72
L
LoadResolver
93067
65873
167163
53905
75667
73
S
UnusedStoreEliminator
100530
70504
175742
56768
79343
74
s
ExpressionSimplifier
106792
75575
187003
59676
82661
75
T
LiteralRematerialiser
110073
77804
193286
61187
84166
76
F
FunctionSpecializer
110674
78608
196610
65580
86162
77
O
ForLoopConditionOutOfBody
110738
78657
196794
65646
86215
78
t
StructuralSimplifier
110931
78755
197161
65778
86292
79
f
BlockFlattener
111005
78807
197292
65834
86343
80
D
DeadCodeEliminator
113090
80267
200279
67382
88404
81
n
ControlFlowSimplifier
114123
80977
202394
68383
89180
82
a
SSATransform
116546
82583
209309
72036
91166
83
r
UnusedAssignEliminator
119124
84361
213841
74077
93951
84
I
ForLoopConditionIntoBody
119183
84402
213957
74127
93997
85
u
UnusedPruner
123933
87698
222577
78523
98518
86
l
CircularReferencesPruner
123980
87727
222645
78594
98633
87
c
CommonSubexpressionEliminator
125952
88808
226529
80484
100669
88
j
ExpressionJoiner
126208
88945
227178
80718
100971
89
m
Rematerialiser
127588
89481
229580
82113
102213
90
u
UnusedPruner
128506
90004
230857
83019
103485
91
l
CircularReferencesPruner
128545
90028
230910
83064
103589
92
u
UnusedPruner
128961
90225
231366
83388
104261
93
l
CircularReferencesPruner
128999
90246
231417
83431
104366
94
V
SSAReverser
129180
90342
231814
83600
104756
95
c
CommonSubexpressionEliminator
129773
90642
233013
84179
105617
96
T
LiteralRematerialiser
130017
90826
233412
84427
105924
97
O
ForLoopConditionOutOfBody
130037
90837
233440
84448
105954
98
u
UnusedPruner
130617
91119
234064
84887
106864
99
l
CircularReferencesPruner
130655
91142
234116
84930
106971
100
m
Rematerialiser
131151
91341
234818
85371
107339
101
u
UnusedPruner
131757
91638
235523
85801
108169
102
l
CircularReferencesPruner
131795
91661
235574
85916
108274
103
f
BlockFlattener
131810
91669
235594
85930
108294
104
D
DeadCodeEliminator
132446
91896
236498
86461
109701
105
n
ControlFlowSimplifier
132513
91931
236572
86515
109798
106
T
LiteralRematerialiser
132699
92020
236851
86694
110029
107
O
ForLoopConditionOutOfBody
132716
92027
236871
86708
110049
108
m
Rematerialiser
133031
92192
237423
86974
110557
109
u
UnusedPruner
133401
92387
237798
87265
111196
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
41
27
83
46
47
2
h
FunctionHoister
111
54
328
98
100
3
f
BlockFlattener
30
16
43
22
30
4
o
ForLoopInitRewriter
45
19
53
30
42
5
D
DeadCodeEliminator
2779
2494
7579
1822
2969
6
g
FunctionGrouper
0
1
1
0
0
7
v
EquivalentFunctionCombiner
715
778
1297
515
635
8
u
UnusedPruner
2486
2058
4051
1717
2476
9
l
CircularReferencesPruner
223
159
446
111
177
10
f
BlockFlattener
30
18
41
22
30
11
n
ControlFlowSimplifier
236
168
429
192
249
12
T
LiteralRematerialiser
702
317
2102
994
905
13
U
ConditionalUnsimplifier
2404
1936
6330
1777
2549
14
t
StructuralSimplifier
30
19
47
24
31
15
n
ControlFlowSimplifier
322
163
517
186
514
16
I
ForLoopConditionIntoBody
30
23
43
27
39
17
f
BlockFlattener
27
15
37
20
27
18
x
ExpressionSplitter
1436
701
2315
858
1083
19
a
SSATransform
1247
545
2379
1052
1315
20
r
UnusedAssignEliminator
2838
1926
6623
1990
3131
21
E
EqualStoreEliminator
2310
1664
5184
1636
2323
22
s
ExpressionSimplifier
2664
1489
5066
2071
2209
23
c
CommonSubexpressionEliminator
2748
1745
7127
2128
2709
24
L
LoadResolver
2394
1615
5451
1725
2341
25
M
LoopInvariantCodeMotion
2026
1231
3133
1481
2296
26
C
ConditionalSimplifier
2154
1637
5380
1390
2001
27
T
LiteralRematerialiser
1295
532
4040
1300
1348
28
U
ConditionalUnsimplifier
2184
1722
5203
1440
2198
29
t
StructuralSimplifier
37
22
66
26
36
30
T
LiteralRematerialiser
1081
503
3082
978
1166
31
O
ForLoopConditionOutOfBody
32
18
49
23
33
32
n
ControlFlowSimplifier
357
211
883
279
398
33
t
StructuralSimplifier
35
21
58
25
35
34
n
ControlFlowSimplifier
323
269
699
250
328
35
f
BlockFlattener
35
28
54
25
35
36
D
DeadCodeEliminator
2157
1898
5265
1496
2101
37
I
ForLoopConditionIntoBody
29
17
51
31
30
38
u
UnusedPruner
2940
1950
4734
1499
2432
39
l
CircularReferencesPruner
187
123
558
95
156
40
L
LoadResolver
1973
1480
3565
1091
1728
41
c
CommonSubexpressionEliminator
1900
1261
4032
1150
1908
42
u
UnusedPruner
1554
1162
3553
687
1847
43
l
CircularReferencesPruner
261
122
349
93
153
44
V
SSAReverser
231
149
259
223
300
45
c
CommonSubexpressionEliminator
1786
1298
3976
1131
1783
46
u
UnusedPruner
1844
1396
3107
922
1596
47
l
CircularReferencesPruner
189
126
369
96
194
48
j
ExpressionJoiner
294
154
541
173
236
49
T
LiteralRematerialiser
302
149
496
235
266
50
p
UnusedFunctionParameterPruner
329
193
416
103
259
51
e
ExpressionInliner
200
115
656
180
179
52
u
UnusedPruner
1366
967
1286
633
1077
53
l
CircularReferencesPruner
139
172
80
71
104
54
x
ExpressionSplitter
1002
575
1129
579
644
55
a
SSATransform
668
325
986
443
679
56
r
UnusedAssignEliminator
1799
1353
2160
659
1466
57
u
UnusedPruner
1580
1105
1580
745
1309
58
l
CircularReferencesPruner
135
97
83
44
103
59
x
ExpressionSplitter
349
249
375
156
374
60
a
SSATransform
785
402
1231
543
681
61
r
UnusedAssignEliminator
1819
1338
2154
811
1448
62
L
LoadResolver
1827
1102
2172
823
1725
63
g
FunctionGrouper
0
0
0
0
109
64
v
EquivalentFunctionCombiner
501
257
628
225
457
65
i
FullInliner
9185
7592
11728
3721
3970
66
f
BlockFlattener
87
88
129
32
37
67
C
ConditionalSimplifier
2329
1658
2801
912
1689
68
T
LiteralRematerialiser
4172
2499
5600
1769
1422
69
U
ConditionalUnsimplifier
2058
1382
2954
836
1434
70
a
SSATransform
3694
3315
6789
1904
1762
71
r
UnusedAssignEliminator
3376
2328
4545
1418
1939
72
L
LoadResolver
4613
3332
6607
2096
2265
73
S
UnusedStoreEliminator
7463
4631
8579
2863
3676
74
s
ExpressionSimplifier
6262
5071
11261
2908
3318
75
T
LiteralRematerialiser
3281
2229
6283
1511
1505
76
F
FunctionSpecializer
601
804
3324
4393
1996
77
O
ForLoopConditionOutOfBody
64
49
184
66
53
78
t
StructuralSimplifier
193
98
367
132
77
79
f
BlockFlattener
74
52
131
56
51
80
D
DeadCodeEliminator
2085
1460
2987
1548
2061
81
n
ControlFlowSimplifier
1033
710
2115
1001
776
82
a
SSATransform
2423
1606
6915
3653
1986
83
r
UnusedAssignEliminator
2578
1778
4532
2041
2785
84
I
ForLoopConditionIntoBody
59
41
116
50
46
85
u
UnusedPruner
4750
3296
8620
4396
4521
86
l
CircularReferencesPruner
47
29
68
71
115
87
c
CommonSubexpressionEliminator
1972
1081
3884
1890
2036
88
j
ExpressionJoiner
256
137
649
234
302
89
m
Rematerialiser
1380
536
2402
1395
1242
90
u
UnusedPruner
918
523
1277
906
1272
91
l
CircularReferencesPruner
39
24
53
45
104
92
u
UnusedPruner
416
197
456
324
672
93
l
CircularReferencesPruner
38
21
51
43
105
94
V
SSAReverser
181
96
397
169
390
95
c
CommonSubexpressionEliminator
593
300
1199
579
861
96
T
LiteralRematerialiser
244
184
399
248
307
97
O
ForLoopConditionOutOfBody
20
11
28
21
30
98
u
UnusedPruner
580
282
624
439
910
99
l
CircularReferencesPruner
38
23
52
43
107
100
m
Rematerialiser
496
199
702
441
368
101
u
UnusedPruner
606
297
705
430
830
102
l
CircularReferencesPruner
38
23
51
115
105
103
f
BlockFlattener
15
8
20
14
20
104
D
DeadCodeEliminator
636
227
904
531
1407
105
n
ControlFlowSimplifier
67
35
74
54
97
106
T
LiteralRematerialiser
186
89
279
179
231
107
O
ForLoopConditionOutOfBody
17
7
20
14
20
108
m
Rematerialiser
315
165
552
266
508
109
u
UnusedPruner
370
195
375
291
639
step
step_name
deposit_contract
FixedFeeRegistrar
prbmath_unsigned
ramanujan_pi
strings
1
d
VarDeclInitializer
0.185026
0.083639
0.418318
0.126559
0.172177
2
h
FunctionHoister
0.177553
0.089688
0.42027
0.118427
0.172406
3
f
BlockFlattener
0.185465
0.089323
0.455734
0.12034
0.158588
4
o
ForLoopInitRewriter
0.181169
0.081429
0.425175
0.120003
0.160985
5
D
DeadCodeEliminator
0.189601
0.098957
0.435496
0.122314
0.172676
6
g
FunctionGrouper
0.18622
0.0928
0.445727
0.124169
0.171208
7
v
EquivalentFunctionCombiner
0.18009
0.085539
0.431185
0.113178
0.176472
8
u
UnusedPruner
0.186394
0.080042
0.398325
0.13025
0.170171
9
l
CircularReferencesPruner
0.181751
0.090473
0.389289
0.119646
0.164805
10
f
BlockFlattener
0.178694
0.086169
0.393883
0.119221
0.169605
11
n
ControlFlowSimplifier
0.182382
0.083056
0.386133
0.116322
0.166391
12
T
LiteralRematerialiser
0.184691
0.087946
0.414556
0.125098
0.166045
13
U
ConditionalUnsimplifier
0.17862
0.089927
0.408721
0.124858
0.172318
14
t
StructuralSimplifier
0.182035
0.094139
0.404013
0.12649
0.170446
15
n
ControlFlowSimplifier
0.192821
0.086617
0.407314
0.12474
0.165157
16
I
ForLoopConditionIntoBody
0.193012
0.094426
0.415369
0.125533
0.178749
17
f
BlockFlattener
0.182686
0.080776
0.401244
0.122209
0.171491
18
x
ExpressionSplitter
0.208952
0.10368
0.504099
0.136119
0.177305
19
a
SSATransform
0.222873
0.120485
0.5594
0.146061
0.202794
20
r
UnusedAssignEliminator
0.224464
0.129067
0.549958
0.147556
0.193864
21
E
EqualStoreEliminator
0.224934
0.120132
0.572717
0.154907
0.211314
22
s
ExpressionSimplifier
0.231385
0.111721
0.580814
0.151417
0.19566
23
c
CommonSubexpressionEliminator
0.23678
0.099397
0.568769
0.160731
0.232458
24
L
LoadResolver
0.239052
0.11072
0.582157
0.153384
0.221096
25
M
LoopInvariantCodeMotion
0.248987
0.096976
0.571549
0.160455
0.243203
26
C
ConditionalSimplifier
0.252376
0.116667
0.581685
0.167898
0.205353
27
T
LiteralRematerialiser
0.254091
0.117007
0.592085
0.163749
0.21875
28
U
ConditionalUnsimplifier
0.255279
0.118271
0.599405
0.167736
0.21867
29
t
StructuralSimplifier
0.258296
0.120966
0.585357
0.175077
0.215066
30
T
LiteralRematerialiser
0.255209
0.118924
0.589131
0.16648
0.217776
31
O
ForLoopConditionOutOfBody
0.260096
0.108327
0.587798
0.161779
0.218457
32
n
ControlFlowSimplifier
0.245305
0.111421
0.593395
0.161508
0.229275
33
t
StructuralSimplifier
0.254087
0.115223
0.587824
0.168024
0.225103
34
n
ControlFlowSimplifier
0.262413
0.121711
0.58547
0.173501
0.214862
35
f
BlockFlattener
0.259019
0.11346
0.597341
0.17135
0.21061
36
D
DeadCodeEliminator
0.261514
0.104202
0.58629
0.163316
0.224386
37
I
ForLoopConditionIntoBody
0.261356
0.114364
0.614062
0.171724
0.221272
38
u
UnusedPruner
0.228401
0.113549
0.397247
0.137585
0.173985
39
l
CircularReferencesPruner
0.224262
0.109575
0.423345
0.131999
0.189855
40
L
LoadResolver
0.241464
0.10988
0.413722
0.125639
0.173939
41
c
CommonSubexpressionEliminator
0.236403
0.107117
0.426582
0.134498
0.187959
42
u
UnusedPruner
0.241702
0.118072
0.412364
0.135532
0.19094
43
l
CircularReferencesPruner
0.232621
0.122575
0.43387
0.132997
0.185107
44
V
SSAReverser
0.234965
0.113057
0.429465
0.13505
0.184398
45
c
CommonSubexpressionEliminator
0.251488
0.111076
0.425384
0.140529
0.193006
46
u
UnusedPruner
0.241653
0.118234
0.415202
0.138652
0.190412
47
l
CircularReferencesPruner
0.234947
0.119761
0.416793
0.137774
0.188763
48
j
ExpressionJoiner
0.221294
0.109694
0.371219
0.133939
0.187499
49
T
LiteralRematerialiser
0.221869
0.109386
0.370561
0.131761
0.179629
50
p
UnusedFunctionParameterPruner
0.22755
0.104331
0.39916
0.127739
0.183043
51
e
ExpressionInliner
0.190067
0.097554
0.3252
0.11805
0.156122
52
u
UnusedPruner
0.185874
0.112768
0.291978
0.110115
0.155024
53
l
CircularReferencesPruner
0.178112
0.100844
0.287079
0.113714
0.153786
54
x
ExpressionSplitter
0.205174
0.119196
0.339168
0.122828
0.168435
55
a
SSATransform
0.213715
0.125255
0.374177
0.136026
0.178677
56
r
UnusedAssignEliminator
0.212827
0.126963
0.370617
0.129988
0.185255
57
u
UnusedPruner
0.223076
0.121676
0.365151
0.130322
0.175661
58
l
CircularReferencesPruner
0.210665
0.12163
0.372204
0.120521
0.17855
59
x
ExpressionSplitter
0.221105
0.128162
0.372332
0.135619
0.174734
60
a
SSATransform
0.222209
0.121687
0.400765
0.129235
0.192928
61
r
UnusedAssignEliminator
0.233893
0.129874
0.404557
0.137399
0.19257
62
L
LoadResolver
0.22597
0.130483
0.401967
0.135778
0.200801
63
g
FunctionGrouper
0.225235
0.132386
0.399728
0.138238
0.197182
64
v
EquivalentFunctionCombiner
0.232091
0.123569
0.397017
0.137843
0.194504
65
i
FullInliner
0.478126
0.264099
1.03697
0.219177
0.234835
66
f
BlockFlattener
0.490944
0.265758
1.02827
0.209153
0.235354
67
C
ConditionalSimplifier
0.49205
0.2562
1.08551
0.211438
0.2403
68
T
LiteralRematerialiser
0.468854
0.282042
1.06367
0.195636
0.239439
69
U
ConditionalUnsimplifier
0.482418
0.29677
1.03544
0.1896
0.233968
70
a
SSATransform
0.498295
0.303669
1.16242
0.22045
0.254823
71
r
UnusedAssignEliminator
0.536488
0.301271
1.1721
0.216521
0.247459
72
L
LoadResolver
0.516697
0.293167
1.17922
0.223503
0.252668
73
S
UnusedStoreEliminator
0.535931
0.300312
1.17712
0.224093
0.254631
74
s
ExpressionSimplifier
0.531095
0.313663
1.20889
0.216494
0.266604
75
T
LiteralRematerialiser
0.533537
0.29616
1.19182
0.212902
0.260736
76
F
FunctionSpecializer
0.537891
0.312493
1.29314
0.371076
0.378567
77
O
ForLoopConditionOutOfBody
0.53141
0.315013
1.29956
0.361827
0.36769
78
t
StructuralSimplifier
0.515552
0.3055
1.27027
0.359791
0.385891
79
f
BlockFlattener
0.523379
0.310978
1.26299
0.365559
0.3933
80
D
DeadCodeEliminator
0.528816
0.313898
1.27021
0.35996
0.387448
81
n
ControlFlowSimplifier
0.539633
0.306319
1.28666
0.360792
0.382412
82
a
SSATransform
0.537969
0.321331
1.45551
0.393202
0.388035
83
r
UnusedAssignEliminator
0.535379
0.308995
1.52568
0.405828
0.385324
84
I
ForLoopConditionIntoBody
0.545587
0.309873
1.45794
0.398847
0.394441
85
u
UnusedPruner
0.298333
0.152984
0.483498
0.192929
0.243621
86
l
CircularReferencesPruner
0.304813
0.153489
0.487505
0.189086
0.241735
87
c
CommonSubexpressionEliminator
0.308169
0.15284
0.49736
0.196252
0.235457
88
j
ExpressionJoiner
0.29525
0.154697
0.481053
0.192334
0.245108
89
m
Rematerialiser
0.286466
0.146186
0.480905
0.208395
0.241072
90
u
UnusedPruner
0.252084
0.129575
0.402775
0.153521
0.203556
91
l
CircularReferencesPruner
0.243932
0.134381
0.392661
0.150072
0.203235
92
u
UnusedPruner
0.251165
0.136132
0.383056
0.155557
0.217621
93
l
CircularReferencesPruner
0.249211
0.127589
0.375861
0.152022
0.207299
94
V
SSAReverser
0.243071
0.137908
0.377078
0.15472
0.209764
95
c
CommonSubexpressionEliminator
0.246242
0.137418
0.384098
0.157694
0.208246
96
T
LiteralRematerialiser
0.256422
0.136454
0.381162
0.152633
0.208792
97
O
ForLoopConditionOutOfBody
0.244034
0.136476
0.390475
0.14415
0.199606
98
u
UnusedPruner
0.252222
0.137381
0.384997
0.148368
0.208924
99
l
CircularReferencesPruner
0.251424
0.142244
0.381918
0.144985
0.206328
100
m
Rematerialiser
0.247565
0.133711
0.390666
0.147707
0.201277
101
u
UnusedPruner
0.251283
0.124773
0.380674
0.157679
0.203683
102
l
CircularReferencesPruner
0.240405
0.139142
0.369363
0.15156
0.205569
103
f
BlockFlattener
0.247422
0.139649
0.383854
0.144505
0.204819
104
D
DeadCodeEliminator
0.247641
0.129461
0.384757
0.157099
0.203948
105
n
ControlFlowSimplifier
0.255604
0.135133
0.385614
0.149199
0.198861
106
T
LiteralRematerialiser
0.252077
0.133903
0.379095
0.150135
0.206993
107
O
ForLoopConditionOutOfBody
0.237365
0.138076
0.387051
0.152579
0.205427
108
m
Rematerialiser
0.248018
0.135836
0.386605
0.151522
0.207735
109
u
UnusedPruner
0.267876
0.134398
0.418356
0.148656
0.200617