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

More tests.

Browse Source
This commit is contained in:
chriseth 2022-03-17 12:54:08 +01:00
parent 3c737ea8dc
commit 71e79cbacb
5 changed files with 244 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
test/libyul/yulOptimizerTests/commonSubexpressionEliminator/for_reassign.sol Normal file
View File

@ -0,0 +1,42 @@
{
let x := 0
let y := 2
for {} sload(0) { let t := add(y, 0) } {
x := 0
if calldataload(0) { x := 2 revert(0, 0) }
if calldataload(0) { x := 2 break }
if calldataload(0) { x := 2 continue }
// zero here can be replaced
let r := sload(0)
}
// not anymore because of break/continue
let u := 0
}
// ----
// step: commonSubexpressionEliminator
//
// {
// let x := 0
// let y := 2
// for { } sload(0) { let t := add(y, x) }
// {
// x := 0
// if calldataload(x)
// {
// x := y
// revert(0, 0)
// }
// if calldataload(x)
// {
// x := y
// break
// }
// if calldataload(x)
// {
// x := y
// continue
// }
// let r := sload(x)
// }
// let u := 0
// }

51
test/libyul/yulOptimizerTests/loadResolver/for_break_sstore.sol Normal file
View File

@ -0,0 +1,51 @@
{
sstore(0, 123213)
let x := 0
for {} sload(0) { mstore(0x50, sload(0)) } {
if calldataload(0) { revert(0, 0) }
let t := sload(0)
if calldataload(0) { sstore(0, 2) break }
let u := sload(0)
if calldataload(0) { mstore(0, 3) continue }
let v := sload(0)
mstore(0, t)
mstore(0x20, u)
mstore(0x40, v)
}
let z := sload(0)
sstore(6, z)
sstore(7, keccak256(0, 0x100))
}
// ----
// step: loadResolver
//
// {
// {
// let _1 := 123213
// let _2 := 0
// sstore(_2, _1)
// for { } sload(_2) { mstore(0x50, sload(_2)) }
// {
// let _7 := calldataload(_2)
// if _7 { revert(_2, _2) }
// let t := sload(_2)
// if _7
// {
// sstore(_2, 2)
// break
// }
// let u := t
// if _7
// {
// mstore(_2, 3)
// continue
// }
// let v := t
// mstore(_2, t)
// mstore(0x20, u)
// mstore(0x40, v)
// }
// sstore(6, sload(_2))
// sstore(7, keccak256(_2, 0x100))
// }
// }

41
test/libyul/yulOptimizerTests/loadResolver/for_continue_sstore.sol Normal file
View File

@ -0,0 +1,41 @@
{
sstore(0, 123213)
let x := 0
for {} sload(0) { mstore(0x50, sload(0)) } {
if calldataload(0) { revert(0, 0) }
let t := sload(0)
if calldataload(0) { sstore(0, 3) continue }
let v := sload(0)
mstore(0, t)
mstore(0x40, v)
}
let z := sload(0)
sstore(6, z)
sstore(7, keccak256(0, 0x100))
}
// ----
// step: loadResolver
//
// {
// {
// let _1 := 123213
// let _2 := 0
// sstore(_2, _1)
// for { } sload(_2) { mstore(0x50, sload(_2)) }
// {
// let _7 := calldataload(_2)
// if _7 { revert(_2, _2) }
// let t := sload(_2)
// if _7
// {
// sstore(_2, 3)
// continue
// }
// let v := t
// mstore(_2, t)
// mstore(0x40, v)
// }
// sstore(6, sload(_2))
// sstore(7, keccak256(_2, 0x100))
// }
// }

55
test/libyul/yulOptimizerTests/loadResolver/for_reverting.sol Normal file
View File

@ -0,0 +1,55 @@
{
sstore(0, 123213)
let x := 0
for {} sload(0) { mstore(0x50, sload(0)) } {
if calldataload(0) { mstore(0, 1) revert(0, 0) }
let t := sload(0)
if calldataload(0) { mstore(0, 2) break }
let u := sload(0)
if calldataload(0) { mstore(0, 3) continue }
let v := sload(0)
mstore(0, t)
mstore(0x20, u)
mstore(0x40, v)
}
let z := sload(0)
sstore(6, z)
sstore(7, keccak256(0, 0x100))
}
// ----
// step: loadResolver
//
// {
// {
// let _1 := 123213
// let _2 := 0
// sstore(_2, _1)
// for { } _1 { mstore(0x50, _1) }
// {
// let _7 := calldataload(_2)
// if _7
// {
// mstore(_2, 1)
// revert(_2, _2)
// }
// let t := _1
// if _7
// {
// mstore(_2, 2)
// break
// }
// let u := _1
// if _7
// {
// mstore(_2, 3)
// continue
// }
// let v := _1
// mstore(_2, t)
// mstore(0x20, u)
// mstore(0x40, v)
// }
// sstore(6, _1)
// sstore(7, keccak256(_2, 0x100))
// }
// }

55
test/libyul/yulOptimizerTests/loadResolver/for_reverting_sstore.sol Normal file
View File

@ -0,0 +1,55 @@
{
sstore(0, 123213)
let x := 0
for {} sload(0) { mstore(0x50, sload(0)) } {
if calldataload(0) { sstore(0, 1) revert(0, 0) }
let t := sload(0)
if calldataload(0) { mstore(0, 2) break }
let u := sload(0)
if calldataload(0) { mstore(0, 3) continue }
let v := sload(0)
mstore(0, t)
mstore(0x20, u)
mstore(0x40, v)
}
let z := sload(0)
sstore(6, z)
sstore(7, keccak256(0, 0x100))
}
// ----
// step: loadResolver
//
// {
// {
// let _1 := 123213
// let _2 := 0
// sstore(_2, _1)
// for { } sload(_2) { mstore(0x50, sload(_2)) }
// {
// let _7 := calldataload(_2)
// if _7
// {
// sstore(_2, 1)
// revert(_2, _2)
// }
// let t := sload(_2)
// if _7
// {
// mstore(_2, 2)
// break
// }
// let u := t
// if _7
// {
// mstore(_2, 3)
// continue
// }
// let v := t
// mstore(_2, t)
// mstore(0x20, u)
// mstore(0x40, v)
// }
// sstore(6, sload(_2))
// sstore(7, keccak256(_2, 0x100))
// }
// }