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

Tests.

Browse Source
This commit is contained in:
chriseth 2019-05-10 13:19:02 +02:00
parent 439a225cee
commit 246c1c939f
6 changed files with 111 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/libyul/yulOptimizerTests/controlFlowSimplifier/terminating_for.yul Normal file
View File

@ -0,0 +1,12 @@
{
for {} calldatasize() { mstore(1, 2) } {
mstore(4, 5)
break
}
}
// ====
// step: controlFlowSimplifier
// ----
// {
// if calldatasize() { mstore(4, 5) }
// }

21
test/libyul/yulOptimizerTests/controlFlowSimplifier/terminating_for_nested.yul Normal file
View File

@ -0,0 +1,21 @@
{
for {} calldatasize() { mstore(8, 9) } {
for {} calldatasize() { mstore(1, 2) } {
mstore(4, 5)
break
}
if mload(10) { continue }
break
}
}
// ====
// step: controlFlowSimplifier
// ----
// {
// for { } calldatasize() { mstore(8, 9) }
// {
// if calldatasize() { mstore(4, 5) }
// if mload(10) { continue }
// break
// }
// }

22
test/libyul/yulOptimizerTests/controlFlowSimplifier/terminating_for_nested_reversed.yul Normal file
View File

@ -0,0 +1,22 @@
{
for {} calldatasize() { mstore(8, 9) } {
for {} calldatasize() { mstore(1, 2) } {
mstore(4, 5)
continue
}
break
}
}
// ====
// step: controlFlowSimplifier
// ----
// {
// if calldatasize()
// {
// for { } calldatasize() { mstore(1, 2) }
// {
// mstore(4, 5)
// continue
// }
// }
// }

18
test/libyul/yulOptimizerTests/controlFlowSimplifier/terminating_for_revert.yul Normal file
View File

@ -0,0 +1,18 @@
{
for {} calldatasize() { mstore(1, 2) } {
let x := 7
mstore(4, 5)
revert(0, x)
}
}
// ====
// step: controlFlowSimplifier
// ----
// {
// if calldatasize()
// {
// let x := 7
// mstore(4, 5)
// revert(0, x)
// }
// }

20
test/libyul/yulOptimizerTests/controlFlowSimplifier/terminating_for_revert_plus_break.yul Normal file
View File

@ -0,0 +1,20 @@
{
for {} calldatasize() { mstore(1, 2) } {
let x := 7
mstore(4, 5)
break
revert(0, x)
}
}
// ====
// step: controlFlowSimplifier
// ----
// {
// for { } calldatasize() { mstore(1, 2) }
// {
// let x := 7
// mstore(4, 5)
// break
// revert(0, x)
// }
// }

18
test/libyul/yulOptimizerTests/controlFlowSimplifier/terminating_for_with_continue.yul Normal file
View File

@ -0,0 +1,18 @@
{
for {} calldatasize() { mstore(1, 2) } {
if calldatasize() { continue }
mstore(4, 5)
break
}
}
// ====
// step: controlFlowSimplifier
// ----
// {
// for { } calldatasize() { mstore(1, 2) }
// {
// if calldatasize() { continue }
// mstore(4, 5)
// break
// }
// }