cerc-io/solidity
16
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

Update tests.

Browse Source
This commit is contained in:
chriseth 2019-05-23 12:01:02 +02:00
parent 14545852d1
commit 3c548a1d76
12 changed files with 31 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/libyul/yulInterpreterTests/ambiguous_vars.yul
View File

@ -8,8 +8,6 @@
}
// ----
// Trace:
// MSTORE_AT_SIZE(32, 32) [0000000000000000000000000000000000000000000000000000000000000002]
// MSTORE_AT_SIZE(0, 32) [0000000000000000000000000000000000000000000000000000000000000003]
// Memory dump:
// 0: 0000000000000000000000000000000000000000000000000000000000000003
// 20: 0000000000000000000000000000000000000000000000000000000000000002

14
test/libyul/yulInterpreterTests/datacopy.yul
View File

@ -1,8 +1,8 @@
object "main"
{
code {
datacopy(0, dataoffset("main"), datasize("main"))
datacopy(32, dataoffset("sub"), datasize("sub"))
datacopy(0, and(dataoffset("main"), 15), and(datasize("main"), 15))
datacopy(32, and(dataoffset("sub"), 15), and(datasize("sub"), 15))
sstore(0, mload(0))
sstore(1, mload(32))
}
@ -10,11 +10,9 @@ object "main"
}
// ----
// Trace:
// MSTORE_AT_SIZE(0, 2916)
// MSTORE_AT_SIZE(32, 265)
// MLOAD_FROM_SIZE(0, 32)
// SSTORE(0, 0)
// MLOAD_FROM_SIZE(32, 32)
// SSTORE(1, 0)
// Memory dump:
// 0: 6465636f00000000000000000000000000000000000000000000000000000000
// 20: 636f6465636f6465000000000000000000000000000000000000000000000000
// Storage dump:
// 0000000000000000000000000000000000000000000000000000000000000000: 6465636f00000000000000000000000000000000000000000000000000000000
// 0000000000000000000000000000000000000000000000000000000000000001: 636f6465636f6465000000000000000000000000000000000000000000000000

2
test/libyul/yulInterpreterTests/dataoffset.yul
View File

@ -8,8 +8,6 @@ object "main"
}
// ----
// Trace:
// SSTORE(0, 110)
// SSTORE(1, 1804)
// Memory dump:
// Storage dump:
// 0000000000000000000000000000000000000000000000000000000000000000: 000000000000000000000000000000000000000000000000000000000000006e

2
test/libyul/yulInterpreterTests/datasize.yul
View File

@ -8,8 +8,6 @@ object "main"
}
// ----
// Trace:
// SSTORE(0, 2916)
// SSTORE(1, 265)
// Memory dump:
// Storage dump:
// 0000000000000000000000000000000000000000000000000000000000000000: 0000000000000000000000000000000000000000000000000000000000000b64

1
test/libyul/yulInterpreterTests/exp.yul
View File

@ -3,7 +3,6 @@
}
// ----
// Trace:
// MSTORE_AT_SIZE(0, 32) [8e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e39]
// Memory dump:
// 0: 8e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e38e39
// Storage dump:

4
test/libyul/yulInterpreterTests/external_call.yul
View File

@ -4,11 +4,7 @@
}
// ----
// Trace:
// GAS()
// MLOAD_FROM_SIZE(0, 32)
// MSTORE_AT_SIZE(48, 32)
// CALL(153, 69, 5, 0, 32, 48, 32)
// SSTORE(100, 1)
// Memory dump:
// Storage dump:
// 0000000000000000000000000000000000000000000000000000000000000064: 0000000000000000000000000000000000000000000000000000000000000001

1
test/libyul/yulInterpreterTests/function_calls.yul
View File

@ -8,7 +8,6 @@
}
// ----
// Trace:
// SSTORE(13, 42)
// Memory dump:
// Storage dump:
// 000000000000000000000000000000000000000000000000000000000000000d: 000000000000000000000000000000000000000000000000000000000000002a

8
test/libyul/yulInterpreterTests/loop.yul
View File

@ -5,14 +5,6 @@
}
// ----
// Trace:
// MSTORE_AT_SIZE(10, 32) [0000000000000000000000000000000000000000000000000000000000002000]
// MSTORE_AT_SIZE(15, 32) [0000000000000000000000000000000000000000000000000000000000003000]
// MSTORE_AT_SIZE(20, 32) [0000000000000000000000000000000000000000000000000000000000004000]
// MSTORE_AT_SIZE(25, 32) [0000000000000000000000000000000000000000000000000000000000005000]
// MSTORE_AT_SIZE(30, 32) [0000000000000000000000000000000000000000000000000000000000006000]
// MSTORE_AT_SIZE(35, 32) [0000000000000000000000000000000000000000000000000000000000007000]
// MSTORE_AT_SIZE(40, 32) [0000000000000000000000000000000000000000000000000000000000008000]
// MSTORE_AT_SIZE(45, 32) [0000000000000000000000000000000000000000000000000000000000009000]
// Memory dump:
// 40: 0000000000000000000000900000000000000000000000000000000000000000
// Storage dump:

19
test/libyul/yulInterpreterTests/recursive_function_for_loop.yul
View File

@ -5,29 +5,18 @@
}
function foo_0(x) -> y
{
y := 1
mstore8(1, 1)
for {
}
slt(1, keccak256(1, msize()))
{
let x_1 := foo_0(x)
}
for { } slt(1, keccak256(1, msize())) { let x_1 := foo_0(x) }
{
y := add(y, 1)
continue
}
}
}
// ----
// Trace:
// MSTORE_AT_SIZE(1, 1) [0101]
// MSIZE()
// MLOAD_FROM_SIZE(1, 32)
// MSTORE_AT_SIZE(1, 1) [0101]
// MSIZE()
// MLOAD_FROM_SIZE(1, 64)
// MSIZE()
// MLOAD_FROM_SIZE(1, 96)
// SSTORE(0, 0)
// Memory dump:
// 0: 0001000000000000000000000000000000000000000000000000000000000000
// Storage dump:
// 0000000000000000000000000000000000000000000000000000000000000000: 0000000000000000000000000000000000000000000000000000000000000002

21
test/libyul/yulInterpreterTests/side_effect_free.yul Normal file
View File

@ -0,0 +1,21 @@
{
// These can be removed by the optimizer and should not
// appear in the trace.
pop(gas())
pop(extcodesize(0))
pop(extcodehash(0))
pop(returndatasize())
pop(sload(0))
pop(pc())
pop(msize())
pop(mload(0))
pop(sload(0))
pop(msize())
pop(keccak256(0, 10))
}
// ====
// EVMVersion: >=constantinople
// ----
// Trace:
// Memory dump:
// Storage dump:

1
test/libyul/yulInterpreterTests/simple_mstore.yul
View File

@ -3,7 +3,6 @@
}
// ----
// Trace:
// MSTORE_AT_SIZE(10, 32) [000000000000000000000000000000000000000000000000000000000000000b]
// Memory dump:
// 20: 0000000000000000000b00000000000000000000000000000000000000000000
// Storage dump:

1
test/libyul/yulInterpreterTests/switch_statement.yul
View File

@ -6,7 +6,6 @@
}
// ----
// Trace:
// MSTORE_AT_SIZE(1, 32) [0000000000000000000000000000000000000000000000000000000000000002]
// Memory dump:
// 20: 0200000000000000000000000000000000000000000000000000000000000000
// Storage dump: