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

New tests.

Browse Source
This commit is contained in:
chriseth 2021-11-02 11:50:37 +01:00
parent 3996d0a343
commit 7f7c5ca171
2 changed files with 76 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
test/libyul/yulOptimizerTests/conditionalSimplifier/side_effects_of_functions.yul Normal file
View File

@ -0,0 +1,38 @@
{
function recursive() { recursive() }
function terminating() { stop() }
function maybeReverting() { if calldataload(0) { revert(0, 0) } }
let a := calldataload(7)
if a { recursive() }
a := calldataload(a)
if a { maybeReverting() }
a := calldataload(a)
if a { terminating() }
sstore(0, a)
}
// ----
// step: conditionalSimplifier
//
// {
// function recursive()
// { recursive() }
// function terminating()
// { stop() }
// function maybeReverting()
// {
// if calldataload(0) { revert(0, 0) }
// }
// let a := calldataload(7)
// if a { recursive() }
// a := 0
// a := calldataload(a)
// if a { maybeReverting() }
// a := calldataload(a)
// if a { terminating() }
// a := 0
// sstore(0, a)
// }

38
test/libyul/yulOptimizerTests/conditionalUnsimplifier/side_effects_of_functions.yul Normal file
View File

@ -0,0 +1,38 @@
{
function recursive() { recursive() }
function terminating() { stop() }
function maybeReverting() { if calldataload(0) { revert(0, 0) } }
let a := calldataload(7)
if a { recursive() }
a := 0
a := calldataload(a)
if a { maybeReverting() }
a := calldataload(a)
if a { terminating() }
a := 0
sstore(0, a)
}
// ----
// step: conditionalUnsimplifier
//
// {
// function recursive()
// { recursive() }
// function terminating()
// { stop() }
// function maybeReverting()
// {
// if calldataload(0) { revert(0, 0) }
// }
// let a := calldataload(7)
// if a { recursive() }
// a := calldataload(a)
// if a { maybeReverting() }
// a := calldataload(a)
// if a { terminating() }
// sstore(0, a)
// }