Adjust tests.

This commit is contained in:
Daniel Kirchner 2021-09-13 20:38:44 +02:00
parent 153b0bf4ba
commit a8f7c69c47
421 changed files with 457 additions and 36 deletions

View File

@ -5,6 +5,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint16[3],uint16[2][3],uint256,uint256,uint256): 1, 2, 3, 11, 12, 21, 22, 31, 32, 1, 2, 1 -> 2, 32 // f(uint16[3],uint16[2][3],uint256,uint256,uint256): 1, 2, 3, 11, 12, 21, 22, 31, 32, 1, 2, 1 -> 2, 32

View File

@ -19,6 +19,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0x20, 0x8, 0x40, 0x3, 0x9, 0xa, 0xb // f() -> 0x20, 0x8, 0x40, 0x3, 0x9, 0xa, 0xb

View File

@ -21,6 +21,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0x20, 0x8, 0x40, 0x3, 0x9, 0xa, 0xb // f() -> 0x20, 0x8, 0x40, 0x3, 0x9, 0xa, 0xb

View File

@ -23,6 +23,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> true // f() -> true

View File

@ -56,6 +56,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -10,6 +10,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256,bytes,uint256): 6, 0x60, 9, 7, "abcdefg" -> 6, 7, "d", 9 // f(uint256,bytes,uint256): 6, 0x60, 9, 7, "abcdefg" -> 6, 7, "d", 9

View File

@ -7,6 +7,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -5,6 +5,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256,uint16[],uint256): 6, 0x60, 9, 7, 11, 12, 13, 14, 15, 16, 17 -> 7, 17, 9 // f(uint256,uint16[],uint256): 6, 0x60, 9, 7, 11, 12, 13, 14, 15, 16, 17 -> 7, 17, 9

View File

@ -13,6 +13,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// g() -> 3, 0x6200000000000000000000000000000000000000000000000000000000000000, 3, 0x6600000000000000000000000000000000000000000000000000000000000000, 4, 7 // g() -> 3, 0x6200000000000000000000000000000000000000000000000000000000000000, 3, 0x6600000000000000000000000000000000000000000000000000000000000000, 4, 7

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -22,6 +22,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// library: L // library: L

View File

@ -57,6 +57,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -46,6 +46,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f0() -> 0x20, 0x0 // f0() -> 0x20, 0x0

View File

@ -37,6 +37,7 @@ contract C is B {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 5, 10 // test() -> 5, 10

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256,bytes,uint256): 6, 0x60, 9, 7, "abcdefg" -> 6, 7, "d", 9 // f(uint256,bytes,uint256): 6, 0x60, 9, 7, "abcdefg" -> 6, 7, "d", 9

View File

@ -15,6 +15,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -43,6 +43,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -26,6 +26,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// g(bool): false -> 23, 37, 71 // g(bool): false -> 23, 37, 71

View File

@ -41,6 +41,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -20,6 +20,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 11, 11 // f() -> 11, 11

View File

@ -14,6 +14,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -17,6 +17,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// ffff(uint256): 0 -> 0, 0 // ffff(uint256): 0 -> 0, 0

View File

@ -16,6 +16,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -15,6 +15,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// EVMVersion: >homestead // EVMVersion: >homestead
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -7,6 +7,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256,uint16[],uint256): 6, 0x60, 9, 7, 11, 12, 13, 14, 15, 16, 17 -> 7, 17, 9 // f(uint256,uint16[],uint256): 6, 0x60, 9, 7, 11, 12, 13, 14, 15, 16, 17 -> 7, 17, 9

View File

@ -26,6 +26,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 12, 3, 4, 0x66, 5, 0x85, 13 // test() -> 12, 3, 4, 0x66, 5, 0x85, 13

View File

@ -15,6 +15,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// g() -> 3, 0x6200000000000000000000000000000000000000000000000000000000000000, 3, 0x6600000000000000000000000000000000000000000000000000000000000000, 4, 7 // g() -> 3, 0x6200000000000000000000000000000000000000000000000000000000000000, 3, 0x6600000000000000000000000000000000000000000000000000000000000000, 4, 7

View File

@ -9,6 +9,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256,(address,uint256[])[2],uint256): 7, 0x60, 8, 0x40, 0xE0, 0x0, 0x40, 2, 0x11, 0x12, 0x99, 0x40, 4, 0x31, 0x32, 0x34, 0x35 -> 7, 0x0, 8 // f(uint256,(address,uint256[])[2],uint256): 7, 0x60, 8, 0x40, 0xE0, 0x0, 0x40, 2, 0x11, 0x12, 0x99, 0x40, 4, 0x31, 0x32, 0x34, 0x35 -> 7, 0x0, 8

View File

@ -9,6 +9,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256,(address)[2],uint256): 7, 0, 0, 8 -> 7, 0, 8 // f(uint256,(address)[2],uint256): 7, 0, 0, 8 -> 7, 0, 8

View File

@ -11,6 +11,7 @@ contract C {
function g() public returns (uint) { return 7; } function g() public returns (uint) { return 7; }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 7, 3 // test() -> 7, 3

View File

@ -10,6 +10,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -25,8 +25,9 @@ contract C {
} }
} }
// ==== // ====
// compileViaYul: also // requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also
// ---- // ----
// f0() -> 0x20, 4, 8234104107246695022420661102507966550300666591269321702959126607540084801536 // f0() -> 0x20, 4, 8234104107246695022420661102507966550300666591269321702959126607540084801536
// f1() -> 0x20, 0x64, 8234104107246695022420661102507966550300666591269321702959126607540084801536, 862718293348820473429344482784628181556388621521298319395315527974912, 91135606241822717681769169345594720818313984248279388438121731325952, 0 // f1() -> 0x20, 0x64, 8234104107246695022420661102507966550300666591269321702959126607540084801536, 862718293348820473429344482784628181556388621521298319395315527974912, 91135606241822717681769169345594720818313984248279388438121731325952, 0

View File

@ -26,6 +26,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f0() -> 0x20, 4, -34435155370463444793260793355178157075203752403645521721995013737368954863616 // f0() -> 0x20, 4, -34435155370463444793260793355178157075203752403645521721995013737368954863616

View File

@ -35,6 +35,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f0() -> 0x20, 4, -34435155370463444793260793355178157075203752403645521721995013737368954863616 // f0() -> 0x20, 4, -34435155370463444793260793355178157075203752403645521721995013737368954863616

View File

@ -11,6 +11,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(bytes): 0x20, 0xA0, 0x20, 3, 0x01, 0x02, 0x03 -> 0x20, 3, 0x01, 0x02, 0x03 // f(bytes): 0x20, 0xA0, 0x20, 3, 0x01, 0x02, 0x03 -> 0x20, 3, 0x01, 0x02, 0x03

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(bytes): 0x20, 0xA0, 0x20, 3, 0x01, 0x02, 0x03 -> 0x20, 3, 0x01, 0x02, 0x03 // f(bytes): 0x20, 0xA0, 0x20, 3, 0x01, 0x02, 0x03 -> 0x20, 3, 0x01, 0x02, 0x03

View File

@ -24,7 +24,8 @@ contract Test {
} }
} }
// ==== // ====
// compileViaYul: also // requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also
// ---- // ----
// test() -> FAILURE // test() -> FAILURE

View File

@ -25,7 +25,8 @@ contract Test {
} }
} }
// ==== // ====
// compileViaYul: also // requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also
// ---- // ----
// withinArray() -> FAILURE // withinArray() -> FAILURE

View File

@ -18,7 +18,8 @@ contract Test {
} }
} }
// ==== // ====
// compileViaYul: also // requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also
// ---- // ----
// test() -> FAILURE // test() -> FAILURE

View File

@ -9,6 +9,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -19,6 +19,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -9,8 +9,9 @@ contract C {
} }
} }
// ==== // ====
// compileViaYul: also // requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also
// ---- // ----
// f(uint16,uint16,uint16): 0xe000, 0xe500, 2 -> 58626 // f(uint16,uint16,uint16): 0xe000, 0xe500, 2 -> 58626
// f(uint16,uint16,uint16): 0x1000, 0xe500, 0xe000 -> FAILURE, hex"4e487b71", 0x11 // f(uint16,uint16,uint16): 0x1000, 0xe500, 0xe000 -> FAILURE, hex"4e487b71", 0x11

View File

@ -31,6 +31,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test_hardcode1(uint256,uint256,uint256): 2, 3, 4 -> 2417851639229258349412352 // test_hardcode1(uint256,uint256,uint256): 2, 3, 4 -> 2417851639229258349412352

View File

@ -16,6 +16,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 0 // test() -> 0

View File

@ -13,6 +13,7 @@ contract Test {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -21,6 +21,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -14,6 +14,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test(uint256[][]): 0x20, 2, 0x40, 0xC0, 3, 0x0A01, 0x0A02, 0x0A03, 4, 0x0B01, 0x0B02, 0x0B03, 0x0B04 -> 2 // test(uint256[][]): 0x20, 2, 0x40, 0xC0, 3, 0x0A01, 0x0A02, 0x0A03, 4, 0x0B01, 0x0B02, 0x0B03, 0x0B04 -> 2

View File

@ -7,6 +7,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -45,6 +45,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// revertStrings: debug // revertStrings: debug
// ---- // ----
@ -56,19 +57,19 @@ contract C {
// slice(bytes): 0x20, 4, "abcd" -> 0x20, 4, "abcd" // slice(bytes): 0x20, 4, "abcd" -> 0x20, 4, "abcd"
// strParam(string): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef" // strParam(string): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef"
// fixedBytesParam(bytes16,bytes15,bytes31): // fixedBytesParam(bytes16,bytes15,bytes31):
// "aabbccddeeffgghh", // "aabbccddeeffgghh",
// "abcdefghabcdefg", // "abcdefghabcdefg",
// "0123456789012345678901234567890" -> // "0123456789012345678901234567890" ->
// 0x80, 0xc0, 0x120, 0x160, // 0x80, 0xc0, 0x120, 0x160,
// 31, "aabbccddeeffgghhabcdefghabcdefg", // 31, "aabbccddeeffgghhabcdefghabcdefg",
// 47, "aabbccddeeffgghh0123456789012345", "678901234567890", // 47, "aabbccddeeffgghh0123456789012345", "678901234567890",
// 21, "aabbccddeeffgghhbcdef", // 21, "aabbccddeeffgghhbcdef",
// 21, "aabbccddeeffgghhbcdef" // 21, "aabbccddeeffgghhbcdef"
// fixedBytesParam2(bytes,bytes6,bytes6): 0x60, left(0x010203040506), left(0x0708090A0B0C), 20, left(0x1011121314151617181920212223242526272829) -> // fixedBytesParam2(bytes,bytes6,bytes6): 0x60, left(0x010203040506), left(0x0708090A0B0C), 20, left(0x1011121314151617181920212223242526272829) ->
// 0x40, 0x80, // 0x40, 0x80,
// 31, left(0x62636465660102030405061011121314151617181920212223242526272829), // 31, left(0x62636465660102030405061011121314151617181920212223242526272829),
// 32, 0x01020304050610111213141516171819202122232425262728290708090A0B0C // 32, 0x01020304050610111213141516171819202122232425262728290708090A0B0C
// fixedBytesParam2(bytes,bytes6,bytes6): 0x60, left(0x01), left(0x02), 5, left(0x03) -> // fixedBytesParam2(bytes,bytes6,bytes6): 0x60, left(0x01), left(0x02), 5, left(0x03) ->
// 0x40, 0x80, // 0x40, 0x80,
// 16, left(0x6263646566010000000000030000000000), // 16, left(0x6263646566010000000000030000000000),
// 17, left(0x010000000000030000000002000000000000) // 17, left(0x010000000000030000000002000000000000)

View File

@ -19,6 +19,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -19,6 +19,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// store(uint256[9],uint8[3][]): 21, 22, 23, 24, 25, 26, 27, 28, 29, 0x140, 4, 1, 2, 3, 11, 12, 13, 21, 22, 23, 31, 32, 33 -> 32 // store(uint256[9],uint8[3][]): 21, 22, 23, 24, 25, 26, 27, 28, 29, 0x140, 4, 1, 2, 3, 11, 12, 13, 21, 22, 23, 31, 32, 33 -> 32

View File

@ -20,6 +20,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> true // f() -> true

View File

@ -45,6 +45,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> true // f() -> true

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0 // f() -> 0

View File

@ -39,6 +39,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0 // f() -> 0

View File

@ -18,6 +18,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 0x01000000000000000000000000000000000000000000000000, 0x02000000000000000000000000000000000000000000000000, 0x03000000000000000000000000000000000000000000000000, 0x04000000000000000000000000000000000000000000000000, 0x05000000000000000000000000000000000000000000000000 // test() -> 0x01000000000000000000000000000000000000000000000000, 0x02000000000000000000000000000000000000000000000000, 0x03000000000000000000000000000000000000000000000000, 0x04000000000000000000000000000000000000000000000000, 0x05000000000000000000000000000000000000000000000000

View File

@ -34,6 +34,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 0x02000202 // test() -> 0x02000202

View File

@ -24,6 +24,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 1, 3 // f() -> 1, 3

View File

@ -12,6 +12,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test(uint256[2][]): 32, 3, 7, 8, 9, 10, 11, 12 -> 10 // test(uint256[2][]): 32, 3, 7, 8, 9, 10, 11, 12 -> 10

View File

@ -17,6 +17,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 0x20, 0x8, -1, -1, 8, -16, -2, 6, 8, -1 // test() -> 0x20, 0x8, -1, -1, 8, -16, -2, 6, 8, -1

View File

@ -16,6 +16,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 5, 4 // test() -> 5, 4

View File

@ -20,6 +20,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -13,6 +13,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// setData1(uint256,uint256,uint256): 10, 5, 4 -> // setData1(uint256,uint256,uint256): 10, 5, 4 ->

View File

@ -17,6 +17,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 5, 4 // test() -> 5, 4

View File

@ -11,6 +11,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 9, 4 // test() -> 9, 4

View File

@ -10,6 +10,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -14,6 +14,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -16,6 +16,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 4, 5 // test() -> 4, 5

View File

@ -7,6 +7,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 1, 3 // f() -> 1, 3

View File

@ -14,6 +14,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0x20, 2, 0x40, 0xa0, 2, 0, 1, 2, 2, 3 // f() -> 0x20, 2, 0x40, 0xa0, 2, 0, 1, 2, 2, 3

View File

@ -16,6 +16,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -18,6 +18,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -18,6 +18,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -18,6 +18,7 @@ contract c {
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -30,6 +30,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test1(uint256[][]): 0x20, 2, 0x40, 0x40, 2, 23, 42 -> 2, 65 // test1(uint256[][]): 0x20, 2, 0x40, 0x40, 2, 23, 42 -> 2, 65

View File

@ -35,6 +35,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: true // compileViaYul: true
// ---- // ----
// test1(uint256[][]): 0x20, 2, 0x40, 0x40, 2, 23, 42 -> 2, 65 // test1(uint256[][]): 0x20, 2, 0x40, 0x40, 2, 23, 42 -> 2, 65

View File

@ -37,6 +37,7 @@ contract Test {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 24 // test() -> 24

View File

@ -16,6 +16,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f((uint128,uint64,uint128)[3]): 0, 0, 12, 0, 11, 0, 10, 0, 0 -> 10, 11, 12 // f((uint128,uint64,uint128)[3]): 0, 0, 12, 0, 11, 0, 10, 0, 0 -> 10, 11, 12

View File

@ -14,6 +14,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: true // compileViaYul: true
// ---- // ----
// f((uint128,uint64,uint128)[]): 0x20, 3, 0, 0, 12, 0, 11, 0, 10, 0, 0 -> 10, 11, 12 // f((uint128,uint64,uint128)[]): 0x20, 3, 0, 0, 12, 0, 11, 0, 10, 0, 0 -> 10, 11, 12

View File

@ -16,6 +16,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: true // compileViaYul: true
// ---- // ----
// f() -> 10, 11, 12 // f() -> 10, 11, 12

View File

@ -18,6 +18,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f((uint256[])[]): 0x20, 3, 0x60, 0x60, 0x60, 0x20, 3, 1, 2, 3 -> 3, 1 // f((uint256[])[]): 0x20, 3, 0x60, 0x60, 0x60, 0x20, 3, 1, 2, 3 -> 3, 1

View File

@ -20,6 +20,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: true // compileViaYul: true
// ---- // ----
// f((uint256[])[]): 0x20, 3, 0x60, 0x60, 0x60, 0x20, 3, 1, 2, 3 -> 3, 1 // f((uint256[])[]): 0x20, 3, 0x60, 0x60, 0x60, 0x20, 3, 1, 2, 3 -> 3, 1

View File

@ -23,6 +23,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: true // compileViaYul: true
// ---- // ----
// f() -> 3, 3, 3, 1 // f() -> 3, 3, 3, 1

View File

@ -11,6 +11,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -4,6 +4,7 @@ contract c {
mapping(uint => bytes) data; mapping(uint => bytes) data;
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// set(uint256): 1, 2 -> true // set(uint256): 1, 2 -> true

View File

@ -15,6 +15,7 @@ contract c {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256): 0 -> 0x20, 0x00 // f(uint256): 0 -> 0x20, 0x00

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(bytes[2]): 0x20, 0x40, 0x40, 2, "ab" -> // f(bytes[2]): 0x20, 0x40, 0x40, 2, "ab" ->

View File

@ -22,6 +22,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f((uint256,uint256)[]): 0x20, 0x2, 0x1, 0x2, 0x3, 0x4 -> 2, 1, 2, 3, 4 // f((uint256,uint256)[]): 0x20, 0x2, 0x1, 0x2, 0x3, 0x4 -> 2, 1, 2, 3, 4

View File

@ -5,6 +5,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -11,6 +11,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(bytes[]): 0x20, 0x1, 0x20, 0x2, hex"6162000000000000000000000000000000000000000000000000000000000000" -> 0x1, 0x2, 0x60, 0x2, hex"6162000000000000000000000000000000000000000000000000000000000000" // f(bytes[]): 0x20, 0x1, 0x20, 0x2, hex"6162000000000000000000000000000000000000000000000000000000000000" -> 0x1, 0x2, 0x60, 0x2, hex"6162000000000000000000000000000000000000000000000000000000000000"

View File

@ -12,6 +12,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(uint256[][]): 0x20, 0x1, 0x20, 0x2, 0x17, 0x2a -> 0x1, 0x40, 0x2, 0x17, 0x2a // f(uint256[][]): 0x20, 0x1, 0x20, 0x2, 0x17, 0x2a -> 0x1, 0x40, 0x2, 0x17, 0x2a

View File

@ -8,6 +8,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f(bytes8[]): 0x20, 3, "abcd", "bcde", "cdef" -> 3, "abcd", "bcde", "cdef" // f(bytes8[]): 0x20, 3, "abcd", "bcde", "cdef" -> 3, "abcd", "bcde", "cdef"

View File

@ -34,6 +34,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0x40, 0x80, 6, 0x6162636465660000000000000000000000000000000000000000000000000000, 0x49, 0x3132333435363738393031323334353637383930313233343536373839303120, 0x3132333435363738393031323334353637383930313233343536373839303120, 0x3132333435363738390000000000000000000000000000000000000000000000 // f() -> 0x40, 0x80, 6, 0x6162636465660000000000000000000000000000000000000000000000000000, 0x49, 0x3132333435363738393031323334353637383930313233343536373839303120, 0x3132333435363738393031323334353637383930313233343536373839303120, 0x3132333435363738390000000000000000000000000000000000000000000000

View File

@ -45,6 +45,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 0xff // f() -> 0xff

View File

@ -15,6 +15,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// test() -> 7 // test() -> 7

View File

@ -18,6 +18,7 @@ contract C {
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileToEwasm: also // compileToEwasm: also
// compileViaYul: also // compileViaYul: also
// ---- // ----

View File

@ -23,6 +23,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// fromMemory() -> 0x00 // fromMemory() -> 0x00

View File

@ -17,6 +17,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: full
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 3 // f() -> 3

View File

@ -12,6 +12,7 @@ contract C {
} }
} }
// ==== // ====
// requiresYulOptimizer: minimalStack
// compileViaYul: also // compileViaYul: also
// ---- // ----
// f() -> 3, "abcd", "bcde", "cdef" // f() -> 3, "abcd", "bcde", "cdef"

Some files were not shown because too many files have changed in this diff Show More