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

Improved tests

Browse Source
This commit is contained in:
hrkrshnn 2020-12-22 12:15:41 +01:00
parent 070a1894c7
commit b698618d03
3 changed files with 27 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
test/libyul/yulOptimizerTests/loadResolver/experimental_smt.yul Normal file
View File

@ -0,0 +1,24 @@
{
mstore(64, 128)
if callvalue() { revert(0, 0) }
let _1 := 0
// Does not invalidate location 64
calldatacopy(128, _1, calldatasize())
let z := mload(64)
sstore(z, 1)
}
// ----
// step: loadResolver
//
// {
// let _2 := 128
// mstore(64, _2)
// if callvalue()
// {
// let _5 := 0
// revert(_5, _5)
// }
// let _1 := 0
// calldatacopy(_2, _1, calldatasize())
// sstore(_2, 1)
// }

2
test/libyul/yulOptimizerTests/loadResolver/memory_with_different_kinds_of_invalidation.yul
View File

@ -25,7 +25,7 @@
// let _5 := 0
// sstore(_5, _4)
// pop(call(_5, _5, _5, _5, _5, _5, _5))
// sstore(_5, mload(_2))
// sstore(_5, _1)
// let _17 := 10
// mstore(_2, _17)
// mstore8(calldataload(_5), 4)

5
test/libyul/yulOptimizerTests/loadResolver/staticcall.yul
View File

@ -19,10 +19,9 @@
// let b := 1
// sstore(a, b)
// let _1 := 7
// let _2 := 900
// mstore(_2, _1)
// mstore(900, _1)
// let _3 := 200
// pop(staticcall(10000, 10, a, _3, a, _3))
// sstore(1, mload(_2))
// sstore(1, _1)
// mstore(a, b)
// }