cerc-io/solidity
11
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:
Daniel Kirchner 2021-04-06 14:49:48 +02:00
parent 46fa86fed3
commit 75e0c32b7e
2 changed files with 67 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
test/libyul/yulOptimizerTests/commonSwitchCasePrefixMover/nested_twostep.yul Normal file
View File

@ -0,0 +1,31 @@
{
let a := calldataload(42)
switch a
case 0 {
let b := calldataload(42)
switch b
case 0 { sstore(0, 1) }
default { sstore(0, 1) }
}
default {
let c := calldataload(42)
sstore(0, 1)
switch c
case 0 {}
default {}
}
}
// ----
// step: commonSwitchCasePrefixMover
//
// {
// let a := calldataload(42)
// let b := calldataload(42)
// sstore(0, 1)
// switch b
// case 0 { }
// default { }
// switch a
// case 0 { }
// default { }
// }

36
test/libyul/yulOptimizerTests/commonSwitchCasePrefixMover/unordered.yul Normal file
View File

@ -0,0 +1,36 @@
{
let a := calldataload(42)
switch a
case 0 {
let b := calldataload(42)
switch b
case 0 { sstore(0, 1) }
case 1 { sstore(0, 1) }
case 2 { sstore(0, 1) }
default { sstore(0, 1) }
}
default {
let b := calldataload(42)
switch b
case 2 { sstore(0, 1) }
case 1 { sstore(0, 1) }
case 0 { sstore(0, 1) }
default { sstore(0, 1) }
}
}
// ----
// step: commonSwitchCasePrefixMover
//
// {
// let a := calldataload(42)
// let b := calldataload(42)
// sstore(0, 1)
// switch b
// case 0 { }
// case 1 { }
// case 2 { }
// default { }
// switch a
// case 0 { }
// default { }
// }