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

Merge pull request #5128 from ethereum/breakUnbreak

Browse Source 
[Yul] Test case that shows that break / unbreak are more or less inverse
This commit is contained in:
chriseth 2018-11-09 16:07:20 +01:00 committed by GitHub
commit 9709dfe046
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 74 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
test/libyul/YulOptimizerTest.cpp
View File

@ -120,6 +120,19 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con
NameDispenser nameDispenser(*m_ast); NameDispenser nameDispenser(*m_ast);
ExpressionSplitter{nameDispenser}(*m_ast); ExpressionSplitter{nameDispenser}(*m_ast);
} }
else if (m_optimizerStep == "expressionJoiner")
{
disambiguate();
ExpressionJoiner::run(*m_ast);
}
else if (m_optimizerStep == "splitJoin")
{
disambiguate();
NameDispenser nameDispenser(*m_ast);
ExpressionSplitter{nameDispenser}(*m_ast);
ExpressionJoiner::run(*m_ast);
ExpressionJoiner::run(*m_ast);
}
else if (m_optimizerStep == "functionGrouper") else if (m_optimizerStep == "functionGrouper")
{ {
disambiguate(); disambiguate();
@ -177,11 +190,6 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con
disambiguate(); disambiguate();
UnusedPruner::runUntilStabilised(*m_ast); UnusedPruner::runUntilStabilised(*m_ast);
} }
else if (m_optimizerStep == "expressionJoiner")
{
disambiguate();
ExpressionJoiner::run(*m_ast);\
}
else if (m_optimizerStep == "ssaTransform") else if (m_optimizerStep == "ssaTransform")
{ {
disambiguate(); disambiguate();

26
test/libyul/yulOptimizerTests/splitJoin/control_flow.yul Normal file
View File

@ -0,0 +1,26 @@
{
if mul(add(calldataload(0), 2), 3) {
for { let a := 2 } lt(a, mload(a)) { a := add(a, mul(a, 2)) } {
let b := mul(add(a, 2), 4)
sstore(b, mul(b, 2))
}
}
}
// ----
// splitJoin
// {
// if mul(add(calldataload(0), 2), 3)
// {
// for {
// let a := 2
// }
// lt(a, mload(a))
// {
// a := add(a, mul(a, 2))
// }
// {
// let b := mul(add(a, 2), 4)
// sstore(b, mul(b, 2))
// }
// }
// }

30
test/libyul/yulOptimizerTests/splitJoin/functions.yul Normal file
View File

@ -0,0 +1,30 @@
{
let x := f(0)
function f(y) -> r {
r := mload(mul(6, add(y, 0x20)))
}
for { let a := 2 } lt(a, mload(a)) { a := add(a, mul(a, 2)) } {
let b := mul(add(a, f(a)), 4)
sstore(b, mul(b, 2))
}
}
// ----
// splitJoin
// {
// let x := f(0)
// function f(y) -> r
// {
// r := mload(mul(6, add(y, 0x20)))
// }
// for {
// let a := 2
// }
// lt(a, mload(a))
// {
// a := add(a, mul(a, 2))
// }
// {
// let b := mul(add(a, f(a)), 4)
// sstore(b, mul(b, 2))
// }
// }

5
test/libyul/yulOptimizerTests/splitJoin/smoke.yul Normal file
View File

@ -0,0 +1,5 @@
{}
// ----
// splitJoin
// {
// }