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

More test cases.

Browse Source
This commit is contained in:
chriseth 2019-12-17 17:08:07 +01:00
parent 143471fe87
commit 244b011a30
2 changed files with 67 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
test/libyul/yulOptimizerTests/loadResolver/mstore_in_function_loop_body.yul Normal file
View File

@ -0,0 +1,35 @@
{
function userNot(x) -> y {
y := iszero(x)
}
function funcWithLoop(x) {
for {} userNot(x) { mstore(0, 0) } {}
}
mstore(0, 1337)
funcWithLoop(42)
sstore(0, mload(0))
}
// ====
// step: loadResolver
// ----
// {
// function userNot(x) -> y
// { y := iszero(x) }
// function funcWithLoop(x_1)
// {
// for { }
// userNot(x_1)
// {
// let _1 := 0
// mstore(_1, _1)
// }
// { }
// }
// let _3 := 1337
// let _4 := 0
// mstore(_4, _3)
// funcWithLoop(42)
// sstore(_4, mload(_4))
// }

32
test/libyul/yulOptimizerTests/loadResolver/mstore_in_function_loop_init.yul Normal file
View File

@ -0,0 +1,32 @@
{
function userNot(x) -> y {
y := iszero(x)
}
function funcWithLoop(x) {
for { mstore(0, 0) } userNot(x) {} {}
}
mstore(0, 1337)
funcWithLoop(42)
sstore(0, mload(0))
}
// ====
// step: loadResolver
// ----
// {
// function userNot(x) -> y
// { y := iszero(x) }
// function funcWithLoop(x_1)
// {
// let _1 := 0
// mstore(_1, _1)
// for { } userNot(x_1) { }
// { }
// }
// let _3 := 1337
// let _4 := 0
// mstore(_4, _3)
// funcWithLoop(42)
// sstore(_4, mload(_4))
// }