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

Add another test related to stack compressor and msize.

Browse Source
This commit is contained in:
chriseth 2019-07-18 16:40:46 +02:00
parent 15cba9163e
commit 0c0b5a09cd
1 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul Normal file
View File

@ -0,0 +1,45 @@
{
let a
function foo_singlereturn_0() -> out
{
mstore(lt(or(gt(1,or(or(gt(or(or(or(1,gt(or(gt(or(or(keccak256(pc(),or(gt(not(pc()),1),1)),1),not(1)),pc()),1),pc())),lt(or(1,sub(pc(),1)),1)),pc()),1),1),gt(not(pc()),1))),1),1),1)
sstore(not(pc()),1)
}
function foo_singlereturn_1(in_1, in_2) -> out
{
extcodecopy(1,msize(),1,1)
}
a := foo_singlereturn_0()
sstore(0,0)
sstore(2,1)
a := foo_singlereturn_1(calldataload(0),calldataload(3))
sstore(0,0)
sstore(3,1)
}
// ====
// step: fullSuite
// ----
// {
// {
// let _1 := gt(not(pc()), 1)
// let _2 := pc()
// let _3 := not(0)
// let _4 := lt(or(1, add(pc(), _3)), 1)
// let _5 := pc()
// let _6 := pc()
// pop(keccak256(pc(), or(gt(not(pc()), 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(pc()), 1)
// sstore(0, 0)
// sstore(2, 1)
// pop(foo_singlereturn_1(calldataload(0), calldataload(3)))
// sstore(0, 0)
// sstore(3, 1)
// }
// function foo_singlereturn_1(in, in_1) -> out
// { extcodecopy(1, msize(), 1, 1) }
// }