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 2021-10-25 16:54:29 +02:00
parent d6c461ed61
commit 3996d0a343
4 changed files with 61 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
test/libyul/yulOptimizerTests/deadCodeEliminator/dead_code_user_functions.yul Normal file
View File

@ -0,0 +1,44 @@
{
switch calldataload(0)
case 0 {
recursive()
sstore(0, 1)
}
case 1 {
terminating()
sstore(0, 7)
}
case 2 {
reverting()
sstore(0, 7)
}
function recursive()
{
recursive()
}
function terminating()
{
return(0, 0)
}
function reverting()
{
revert(0, 0)
}
}
// ----
// step: deadCodeEliminator
//
// {
// switch calldataload(0)
// case 0 { recursive() }
// case 1 { terminating() }
// case 2 { reverting() }
// function recursive()
// { recursive() }
// function terminating()
// { return(0, 0) }
// function reverting()
// { revert(0, 0) }
// }

6
test/libyul/yulOptimizerTests/deadCodeEliminator/function_after_revert.yul
View File

@ -5,9 +5,7 @@
function fun()
{
return(1, 1)
pop(sub(10, 5))
sstore(0, 1)
}
pop(add(1, 1))
@ -19,5 +17,5 @@
// fun()
// revert(0, 0)
// function fun()
// { return(1, 1) }
// { sstore(0, 1) }
// }

8
test/libyul/yulOptimizerTests/fullSuite/name_cleaner_reserved.yul
View File

@ -1,11 +1,11 @@
{
// This function name can be shortened, the other cannot.
function nonmstore_(x) {
nonmstore_(x)
if calldataload(0) { nonmstore_(x) }
sstore(10, calldataload(2))
}
function mstore_(x) -> y {
let t3_3_ := mstore_(x)
if calldataload(0) { let t3_3_ := mstore_(x) }
y := 8
sstore(y, calldataload(y))
}
@ -22,12 +22,12 @@
// }
// function nonmstore(x)
// {
// nonmstore(x)
// if calldataload(0) { nonmstore(x) }
// sstore(10, calldataload(2))
// }
// function mstore_(x) -> y
// {
// pop(mstore_(x))
// if calldataload(0) { pop(mstore_(x)) }
// y := 8
// sstore(y, calldataload(y))
// }

16
test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_recursion.yul
View File

@ -5,7 +5,9 @@
sstore(1, l)
function f(a, b, c) -> x, y, z
{
x, y, z := f(1, 2, 3)
if calldataload(0) {
x, y, z := f(1, 2, 3)
}
x := add(x, 1)
}
}
@ -21,9 +23,13 @@
// }
// function f() -> x, y, z
// {
// let x_1, y_1, z_1 := f()
// y := y_1
// z := z_1
// x := add(x_1, 1)
// if calldataload(0)
// {
// let x_1, y_1, z_1 := f()
// x := x_1
// y := y_1
// z := z_1
// }
// x := add(x, 1)
// }
// }