cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Peephole optimizer for "iszero iszero <tag> jumpi".

Browse Source
This commit is contained in:
chriseth
2019-03-07 15:52:02 +01:00
parent c753b6bce5
commit e0d1b2f5b3
9 changed files with 169 additions and 96 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/cmdlineTests/data_storage/output
+2 -2
View File
@@ -2,6 +2,6 @@
======= data_storage/input.sol:C =======
Gas estimation:
construction:
300 + 258600 = 258900
294 + 255000 = 255294
external:
f(): 258
f(): 252
test/cmdlineTests/gas_test_abiv2/output
+2 -2
View File
@@ -2,10 +2,10 @@
======= gas_test_abiv2/input.sol:C =======
Gas estimation:
construction:
1147 + 1103000 = 1104147
1140 + 1096600 = 1097740
external:
a(): 530
b(uint256): 1124
b(uint256): 1118
f1(uint256): 586
f2(uint256[],string[],uint16,address): infinite
f3(uint16[],string[],uint16,address): infinite
test/cmdlineTests/gas_test_abiv2_optimize_yul/output
+2 -2
View File
@@ -2,10 +2,10 @@
======= gas_test_abiv2_optimize_yul/input.sol:C =======
Gas estimation:
construction:
651 + 617400 = 618051
651 + 617200 = 617851
external:
a(): 429
b(uint256): 887
b(uint256): 884
f1(uint256): 351
f2(uint256[],string[],uint16,address): infinite
f3(uint16[],string[],uint16,address): infinite
test/cmdlineTests/gas_test_dispatch/output
+34 -34
View File
@@ -2,52 +2,52 @@
======= gas_test_dispatch/input.sol:Large =======
Gas estimation:
construction:
683 + 650600 = 651283
670 + 635000 = 635670
external:
a(): 451
b(uint256): 852
f0(uint256): 433
f1(uint256): 40764
f2(uint256): 20705
f3(uint256): 20793
f4(uint256): 20771
f5(uint256): 20749
f6(uint256): 20772
f7(uint256): 20684
f8(uint256): 20684
f9(uint256): 20706
g0(uint256): 319
g1(uint256): 40719
g2(uint256): 20682
g3(uint256): 20770
g4(uint256): 20748
g5(uint256): 20704
g6(uint256): 20727
g7(uint256): 20726
g8(uint256): 20704
g9(uint256): 20661
b(uint256): 846
f0(uint256): 427
f1(uint256): 40752
f2(uint256): 20693
f3(uint256): 20781
f4(uint256): 20759
f5(uint256): 20737
f6(uint256): 20760
f7(uint256): 20672
f8(uint256): 20672
f9(uint256): 20694
g0(uint256): 313
g1(uint256): 40707
g2(uint256): 20670
g3(uint256): 20758
g4(uint256): 20736
g5(uint256): 20692
g6(uint256): 20715
g7(uint256): 20714
g8(uint256): 20692
g9(uint256): 20649
======= gas_test_dispatch/input.sol:Medium =======
Gas estimation:
construction:
300 + 256800 = 257100
294 + 251200 = 251494
external:
a(): 428
b(uint256): 852
f1(uint256): 40675
f2(uint256): 20705
f3(uint256): 20749
g0(uint256): 319
g7(uint256): 20704
g8(uint256): 20682
g9(uint256): 20638
b(uint256): 846
f1(uint256): 40663
f2(uint256): 20693
f3(uint256): 20737
g0(uint256): 313
g7(uint256): 20692
g8(uint256): 20670
g9(uint256): 20626
======= gas_test_dispatch/input.sol:Small =======
Gas estimation:
construction:
129 + 83000 = 83129
129 + 81800 = 81929
external:
fallback: 118
a(): 383
b(uint256): 808
f1(uint256): 40675
b(uint256): 802
f1(uint256): 40663
test/cmdlineTests/gas_test_dispatch_optimize/output
+31 -31
View File
@@ -2,52 +2,52 @@
======= gas_test_dispatch_optimize/input.sol:Large =======
Gas estimation:
construction:
300 + 259200 = 259500
300 + 260400 = 260700
external:
a(): 398
b(uint256): 1108
b(uint256): 1105
f0(uint256): 334
f1(uint256): 40898
f2(uint256): 20958
f3(uint256): 21046
f4(uint256): 21024
f5(uint256): 21002
f6(uint256): 20914
f7(uint256): 20694
f8(uint256): 20826
f9(uint256): 20848
f1(uint256): 40892
f2(uint256): 20952
f3(uint256): 21040
f4(uint256): 21018
f5(uint256): 20996
f6(uint256): 20908
f7(uint256): 20688
f8(uint256): 20820
f9(uint256): 20842
g0(uint256): 574
g1(uint256): 40610
g2(uint256): 20692
g3(uint256): 20780
g4(uint256): 20758
g5(uint256): 20846
g6(uint256): 20626
g7(uint256): 20736
g8(uint256): 20714
g9(uint256): 20560
g1(uint256): 40604
g2(uint256): 20686
g3(uint256): 20774
g4(uint256): 20752
g5(uint256): 20840
g6(uint256): 20620
g7(uint256): 20730
g8(uint256): 20708
g9(uint256): 20554
======= gas_test_dispatch_optimize/input.sol:Medium =======
Gas estimation:
construction:
183 + 140200 = 140383
183 + 140800 = 140983
external:
a(): 398
b(uint256): 866
f1(uint256): 40678
f2(uint256): 20716
f3(uint256): 20760
b(uint256): 863
f1(uint256): 40672
f2(uint256): 20710
f3(uint256): 20754
g0(uint256): 332
g7(uint256): 20626
g8(uint256): 20604
g9(uint256): 20560
g7(uint256): 20620
g8(uint256): 20598
g9(uint256): 20554
======= gas_test_dispatch_optimize/input.sol:Small =======
Gas estimation:
construction:
117 + 64600 = 64717
111 + 64000 = 64111
external:
fallback: 118
a(): 376
b(uint256): 756
f1(uint256): 40612
b(uint256): 753
f1(uint256): 40606
test/libevmasm/Optimiser.cpp
+54 -21
View File
@@ -969,27 +969,60 @@ BOOST_AUTO_TEST_CASE(peephole_swap_comparison)
BOOST_AUTO_TEST_CASE(peephole_truthy_and)
{
AssemblyItems items{
AssemblyItem(Tag, 1),
Instruction::BALANCE,
u256(0),
Instruction::NOT,
Instruction::AND,
AssemblyItem(PushTag, 1),
Instruction::JUMPI
};
AssemblyItems expectation{
AssemblyItem(Tag, 1),
Instruction::BALANCE,
AssemblyItem(PushTag, 1),
Instruction::JUMPI
};
PeepholeOptimiser peepOpt(items);
BOOST_REQUIRE(peepOpt.optimise());
BOOST_CHECK_EQUAL_COLLECTIONS(
items.begin(), items.end(),
expectation.begin(), expectation.end()
);
AssemblyItems items{
AssemblyItem(Tag, 1),
Instruction::BALANCE,
u256(0),
Instruction::NOT,
Instruction::AND,
AssemblyItem(PushTag, 1),
Instruction::JUMPI
};
AssemblyItems expectation{
AssemblyItem(Tag, 1),
Instruction::BALANCE,
AssemblyItem(PushTag, 1),
Instruction::JUMPI
};
PeepholeOptimiser peepOpt(items);
BOOST_REQUIRE(peepOpt.optimise());
BOOST_CHECK_EQUAL_COLLECTIONS(
items.begin(), items.end(),
expectation.begin(), expectation.end()
);
}
BOOST_AUTO_TEST_CASE(peephole_iszero_iszero_jumpi)
{
AssemblyItems items{
AssemblyItem(Tag, 1),
u256(0),
Instruction::CALLDATALOAD,
Instruction::ISZERO,
Instruction::ISZERO,
AssemblyItem(PushTag, 1),
Instruction::JUMPI,
u256(0),
u256(0x20),
Instruction::RETURN
};
AssemblyItems expectation{
AssemblyItem(Tag, 1),
u256(0),
Instruction::CALLDATALOAD,
AssemblyItem(PushTag, 1),
Instruction::JUMPI,
u256(0),
u256(0x20),
Instruction::RETURN
};
PeepholeOptimiser peepOpt(items);
BOOST_REQUIRE(peepOpt.optimise());
BOOST_CHECK_EQUAL_COLLECTIONS(
items.begin(), items.end(),
expectation.begin(), expectation.end()
);
}
BOOST_AUTO_TEST_CASE(jumpdest_removal)
test/libsolidity/GasCosts.cpp
+3 -3
View File
@@ -69,12 +69,12 @@ BOOST_AUTO_TEST_CASE(string_storage)
compileAndRun(sourceCode);
if (Options::get().evmVersion() <= EVMVersion::byzantium())
CHECK_GAS(134435, 130591, 100);
CHECK_GAS(133899, 130591, 100);
// This is only correct on >=Constantinople.
else if (Options::get().useABIEncoderV2)
CHECK_GAS(151819, 136003, 100);
CHECK_GAS(151283, 136003, 100);
else
CHECK_GAS(127225, 120159, 100);
CHECK_GAS(126689, 120159, 100);
if (Options::get().evmVersion() >= EVMVersion::byzantium())
{
callContractFunction("f()");