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

Test updates.

Browse Source
This commit is contained in:
Daniel Kirchner
2021-08-17 19:00:28 +02:00
parent 442666d181
commit f9e57dd642
180 changed files with 1278 additions and 1219 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libyul/objectCompiler/long_object_name.yul
+5 -3
View File
@@ -16,10 +16,12 @@ object "t" {
// 0x00
// /* "source":23:147 */
// sstore
// stop
// stop
//
// sub_0: assembly {
// stop
// }
// Bytecode: 6000600055fe
// Opcodes: PUSH1 0x0 PUSH1 0x0 SSTORE INVALID
// SourceMappings: 33:113:0:-:0;30:1;23:124
// Bytecode: 600160005500fe
// Opcodes: PUSH1 0x1 PUSH1 0x0 SSTORE STOP INVALID
// SourceMappings: 33:113:0:-:0;30:1;23:124;
test/libyul/objectCompiler/nested_optimizer.yul
+5 -3
View File
@@ -25,6 +25,7 @@ object "a" {
// calldataload
// /* "source":107:127 */
// sstore
// stop
// stop
//
// sub_0: assembly {
@@ -35,7 +36,8 @@ object "a" {
// calldataload
// /* "source":253:273 */
// sstore
// stop
// }
// Bytecode: 6000803555fe
// Opcodes: PUSH1 0x0 DUP1 CALLDATALOAD SSTORE INVALID
// SourceMappings: 48:1:0:-:0;;35:15;107:20
// Bytecode: 600080355500fe
// Opcodes: PUSH1 0x0 DUP1 CALLDATALOAD SSTORE STOP INVALID
// SourceMappings: 48:1:0:-:0;;35:15;107:20;
test/libyul/objectCompiler/simple_optimizer.yul
+4 -3
View File
@@ -15,6 +15,7 @@
// calldataload
// /* "source":79:99 */
// sstore
// Bytecode: 6000803555
// Opcodes: PUSH1 0x0 DUP1 CALLDATALOAD SSTORE
// SourceMappings: 26:1:0:-:0;;13:15;79:20
// stop
// Bytecode: 600080355500
// Opcodes: PUSH1 0x0 DUP1 CALLDATALOAD SSTORE STOP
// SourceMappings: 26:1:0:-:0;;13:15;79:20;
test/libyul/yulOptimizerTests/fullSuite/aztec.yul
+44 -45
View File
@@ -237,13 +237,8 @@
// {
// mstore(0x80, 7673901602397024137095011250362199966051872585513276903826533215767972925880)
// mstore(0xa0, 8489654445897228341090914135473290831551238522473825886865492707826370766375)
// let _1 := calldataload(0x04)
// let notes := add(0x04, _1)
// let m := calldataload(0x24)
// let n := calldataload(notes)
// let _2 := 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001
// let challenge := mod(calldataload(0x44), _2)
// if gt(m, n)
// let notes := add(0x04, calldataload(0x04))
// if gt(calldataload(0x24), calldataload(notes))
// {
// mstore(0x00, 404)
// revert(0x00, 0x20)
@@ -251,71 +246,75 @@
// let kn := calldataload(add(calldatasize(), not(191)))
// mstore(0x2a0, caller())
// mstore(0x2c0, kn)
// mstore(0x2e0, m)
// kn := mulmod(sub(_2, kn), challenge, _2)
// hashCommitments(notes, n)
// let b := add(0x300, shl(7, n))
// mstore(0x2e0, calldataload(0x24))
// kn := mulmod(sub(0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001, kn), mod(calldataload(0x44), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// hashCommitments(notes, calldataload(notes))
// let b := add(0x300, shl(7, calldataload(notes)))
// let i := 0
// for { } lt(i, n) { i := add(i, 0x01) }
// for { } lt(i, calldataload(notes)) { i := add(i, 0x01) }
// {
// let _3 := add(_1, mul(i, 0xc0))
// let noteIndex := add(_3, 0x24)
// let noteIndex := add(add(calldataload(0x04), mul(i, 0xc0)), 0x24)
// let k := 0
// let a := calldataload(add(_3, 0x44))
// let c := challenge
// let _4 := add(i, 0x01)
// switch eq(_4, n)
// let a := calldataload(add(add(calldataload(0x04), mul(i, 0xc0)), 0x44))
// let c := mod(calldataload(0x44), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// let _1 := add(i, 0x01)
// switch eq(_1, calldataload(notes))
// case 1 {
// k := kn
// if eq(m, n) { k := sub(_2, kn) }
// if eq(calldataload(0x24), calldataload(notes))
// {
// k := sub(0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001, kn)
// }
// }
// case 0 { k := calldataload(noteIndex) }
// validateCommitment(noteIndex, k, a)
// switch gt(_4, m)
// switch gt(_1, calldataload(0x24))
// case 1 {
// kn := addmod(kn, sub(_2, k), _2)
// let x := mod(mload(0), _2)
// k := mulmod(k, x, _2)
// a := mulmod(a, x, _2)
// c := mulmod(challenge, x, _2)
// kn := addmod(kn, sub(0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001, k), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// let x := mod(mload(0), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// k := mulmod(k, x, 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// a := mulmod(a, x, 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// c := mulmod(mod(calldataload(0x44), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001), x, 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// mstore(0, keccak256(0, 0x20))
// }
// case 0 { kn := addmod(kn, k, _2) }
// let _5 := 0x40
// calldatacopy(0xe0, add(_3, 164), _5)
// calldatacopy(0x20, add(_3, 100), _5)
// mstore(0x120, sub(_2, c))
// case 0 {
// kn := addmod(kn, k, 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)
// }
// calldatacopy(0xe0, add(add(calldataload(0x04), mul(i, 0xc0)), 164), 0x40)
// calldatacopy(0x20, add(add(calldataload(0x04), mul(i, 0xc0)), 100), 0x40)
// mstore(0x120, sub(0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001, c))
// mstore(0x60, k)
// mstore(0xc0, a)
// let result := call(gas(), 7, 0, 0xe0, 0x60, 0x1a0, _5)
// let result_1 := and(result, call(gas(), 7, 0, 0x20, 0x60, 0x120, _5))
// let _6 := 0x160
// let result_2 := and(result_1, call(gas(), 7, 0, 0x80, 0x60, _6, _5))
// let result_3 := and(result_2, call(gas(), 6, 0, 0x120, 0x80, _6, _5))
// result := and(result_3, call(gas(), 6, 0, _6, 0x80, b, _5))
// if eq(i, m)
// let result := call(gas(), 7, 0, 0xe0, 0x60, 0x1a0, 0x40)
// let result_1 := and(result, call(gas(), 7, 0, 0x20, 0x60, 0x120, 0x40))
// let _2 := 0x160
// let result_2 := and(result_1, call(gas(), 7, 0, 0x80, 0x60, _2, 0x40))
// let result_3 := and(result_2, call(gas(), 6, 0, 0x120, 0x80, _2, 0x40))
// result := and(result_3, call(gas(), 6, 0, _2, 0x80, b, 0x40))
// if eq(i, calldataload(0x24))
// {
// mstore(0x260, mload(0x20))
// mstore(0x280, mload(_5))
// mstore(0x280, mload(0x40))
// mstore(0x1e0, mload(0xe0))
// mstore(0x200, sub(0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47, mload(0x100)))
// }
// if gt(i, m)
// if gt(i, calldataload(0x24))
// {
// mstore(0x60, c)
// let result_4 := and(result, call(gas(), 7, 0, 0x20, 0x60, 0x220, _5))
// let result_5 := and(result_4, call(gas(), 6, 0, 0x220, 0x80, 0x260, _5))
// result := and(result_5, call(gas(), 6, 0, 0x1a0, 0x80, 0x1e0, _5))
// let _3 := 0x220
// let result_4 := and(result, call(gas(), 7, 0, 0x20, 0x60, _3, 0x40))
// let result_5 := and(result_4, call(gas(), 6, 0, _3, 0x80, 0x260, 0x40))
// result := and(result_5, call(gas(), 6, 0, 0x1a0, 0x80, 0x1e0, 0x40))
// }
// if iszero(result)
// {
// mstore(0, 400)
// revert(0, 0x20)
// }
// b := add(b, _5)
// b := add(b, 0x40)
// }
// if lt(m, n) { validatePairing() }
// if iszero(eq(mod(keccak256(0x2a0, add(b, not(671))), _2), challenge))
// if lt(calldataload(0x24), calldataload(notes)) { validatePairing() }
// if iszero(eq(mod(keccak256(0x2a0, add(b, not(671))), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001), mod(calldataload(0x44), 0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001)))
// {
// mstore(0, 404)
// revert(0, 0x20)
test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
+17 -12
View File
@@ -33,25 +33,30 @@
sstore(0,0)
sstore(3,1)
}
// ====
// EVMVersion: >homestead
// ----
// step: fullSuite
//
// {
// {
// let _1 := gt(not(gcd(10, 15)), 1)
// let _2 := gcd(10, 15)
// let _3 := not(0)
// let _4 := lt(or(1, add(gcd(10, 15), _3)), 1)
// let _5 := gcd(10, 15)
// let _6 := gcd(10, 15)
// pop(keccak256(gcd(10, 15), or(gt(not(gcd(10, 15)), 1), 1)))
// mstore(lt(or(gt(1, or(or(gt(or(or(or(gt(or(gt(_3, _6), 1), _5), _4), _2), 1), 1), _1), 1)), 1), 1), 1)
// sstore(not(gcd(10, 15)), 1)
// let _1 := 1
// let _2 := 15
// let _3 := 10
// let _4 := gt(not(gcd(_3, _2)), _1)
// let _5 := gcd(_3, _2)
// let _6 := not(0)
// let _7 := lt(or(_1, add(gcd(_3, _2), _6)), _1)
// let _8 := gcd(_3, _2)
// let _9 := gcd(_3, _2)
// pop(keccak256(gcd(_3, _2), or(gt(not(gcd(_3, _2)), _1), _1)))
// mstore(lt(or(gt(_1, or(or(gt(or(or(or(gt(or(gt(_6, _9), _1), _8), _7), _5), _1), _1), _4), _1)), _1), _1), _1)
// sstore(not(gcd(_3, _2)), _1)
// sstore(0, 0)
// sstore(2, 1)
// extcodecopy(1, msize(), 1, 1)
// sstore(2, _1)
// extcodecopy(_1, msize(), _1, _1)
// sstore(0, 0)
// sstore(3, 1)
// sstore(3, _1)
// }
// function gcd(_a, _b) -> out
// {
test/libyul/yulOptimizerTests/stackCompressor/inlineInBlock.yul
+2
View File
@@ -3,6 +3,8 @@
let y := calldataload(calldataload(9))
mstore(y, add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(y, 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1))
}
// ====
// EVMVersion: =homestead
// ----
// step: stackCompressor
//
test/libyul/yulOptimizerTests/stackCompressor/inlineInFunction.yul
+2
View File
@@ -5,6 +5,8 @@
mstore(y, add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(add(y, 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1), 1))
}
}
// ====
// EVMVersion: =homestead
// ----
// step: stackCompressor
//
test/libyul/yulOptimizerTests/stackCompressor/unusedPrunerWithMSize.yul
+2
View File
@@ -18,6 +18,8 @@
extcodecopy(1, msize(), 1, 1)
}
}
// ====
// EVMVersion: =homestead
// ----
// step: stackCompressor
//