aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-09-25 22:29:08 +0800
committerchriseth <chris@ethereum.org>2018-10-01 19:10:10 +0800
commitd5cd02b8edb06699b1cc6c37e69694870a4c21dc (patch)
treee693def989d6762d2eed0cc6c884ff77ea83ccc1
parentba62831143e5d4f8ebef6242f821e7a1b3dfc810 (diff)
downloaddexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.tar
dexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.tar.gz
dexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.tar.bz2
dexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.tar.lz
dexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.tar.xz
dexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.tar.zst
dexon-solidity-d5cd02b8edb06699b1cc6c37e69694870a4c21dc.zip
Fix for inlining inside conditions.
-rw-r--r--libjulia/optimiser/FullInliner.cpp5
-rw-r--r--test/libjulia/Inliner.cpp60
2 files changed, 35 insertions, 30 deletions
diff --git a/libjulia/optimiser/FullInliner.cpp b/libjulia/optimiser/FullInliner.cpp
index e8776e23..f41dc198 100644
--- a/libjulia/optimiser/FullInliner.cpp
+++ b/libjulia/optimiser/FullInliner.cpp
@@ -89,6 +89,9 @@ void InlineModifier::operator()(ForLoop& _loop)
void InlineModifier::operator()(Block& _block)
{
+ vector<Statement> saved;
+ saved.swap(m_statementsToPrefix);
+
// This is only used if needed to minimize the number of move operations.
vector<Statement> modifiedStatements;
for (size_t i = 0; i < _block.statements.size(); ++i)
@@ -110,6 +113,8 @@ void InlineModifier::operator()(Block& _block)
}
if (!modifiedStatements.empty())
_block.statements = std::move(modifiedStatements);
+
+ saved.swap(m_statementsToPrefix);
}
void InlineModifier::visit(Expression& _expression)
diff --git a/test/libjulia/Inliner.cpp b/test/libjulia/Inliner.cpp
index 0cffabb2..d0ecd42f 100644
--- a/test/libjulia/Inliner.cpp
+++ b/test/libjulia/Inliner.cpp
@@ -344,37 +344,37 @@ BOOST_AUTO_TEST_CASE(pop_result)
BOOST_AUTO_TEST_CASE(inside_condition)
{
- // This tests that breaking the expresison inside the condition works properly.
+ // This tests that breaking the expression inside the condition works properly.
BOOST_CHECK_EQUAL(
- fullInline(R"({
- if gt(f(mload(1)), mload(0)) {
- sstore(0, 2)
- }
- function f(a) -> r {
- a := mload(a)
- r := add(a, calldatasize())
- }
- })", false),
- format(R"({
- {
- let _1 := mload(0)
- let f_a := mload(1)
- let f_r
- {
- f_a := mload(f_a)
- f_r := add(f_a, calldatasize())
- }
- if gt(f_r, _1)
- {
- sstore(0, 2)
- }
- }
- function f(a) -> r
- {
- a := mload(a)
- r := add(a, calldatasize())
- }
- })", false)
+ fullInline("{"
+ "if gt(f(mload(1)), mload(0)) {"
+ "sstore(0, 2)"
+ "}"
+ "function f(a) -> r {"
+ "a := mload(a)"
+ "r := add(a, calldatasize())"
+ "}"
+ "}", false),
+ format("{"
+ "{"
+ "let _1 := mload(0)"
+ "let f_a := mload(1)"
+ "let f_r"
+ "{"
+ "f_a := mload(f_a)"
+ "f_r := add(f_a, calldatasize())"
+ "}"
+ "if gt(f_r, _1)"
+ "{"
+ "sstore(0, 2)"
+ "}"
+ "}"
+ "function f(a) -> r"
+ "{"
+ "a := mload(a)"
+ "r := add(a, calldatasize())"
+ "}"
+ "}", false)
);
}