aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorDaniel Kirchner <daniel@ekpyron.org>2019-01-17 23:11:55 +0800
committerDaniel Kirchner <daniel@ekpyron.org>2019-01-18 04:05:32 +0800
commit29f66b267426535c7ffe8eda09c3b50888dcdfc0 (patch)
treec7429889d3050b4d13770e29e2c430c03955c68c /test
parentfd1658572463a246f602ae0fe161430429daa9e0 (diff)
downloaddexon-solidity-29f66b267426535c7ffe8eda09c3b50888dcdfc0.tar.gz
dexon-solidity-29f66b267426535c7ffe8eda09c3b50888dcdfc0.tar.zst
dexon-solidity-29f66b267426535c7ffe8eda09c3b50888dcdfc0.zip
Stabilize SSAReverser.
Diffstat (limited to 'test')
-rw-r--r--test/libyul/YulOptimizerTest.cpp4
-rw-r--r--test/libyul/yulOptimizerTests/ssaAndBack/two_vars.yul6
-rw-r--r--test/tools/yulopti.cpp2
3 files changed, 6 insertions, 6 deletions
diff --git a/test/libyul/YulOptimizerTest.cpp b/test/libyul/YulOptimizerTest.cpp
index 914e0d6a..306721a0 100644
--- a/test/libyul/YulOptimizerTest.cpp
+++ b/test/libyul/YulOptimizerTest.cpp
@@ -227,7 +227,7 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con
else if (m_optimizerStep == "ssaReverser")
{
disambiguate();
- SSAReverser{}(*m_ast);
+ SSAReverser::run(*m_ast);
}
else if (m_optimizerStep == "ssaAndBack")
{
@@ -237,7 +237,7 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con
SSATransform::run(*m_ast, nameDispenser);
RedundantAssignEliminator::run(*m_dialect, *m_ast);
// reverse SSA
- SSAReverser{}(*m_ast);
+ SSAReverser::run(*m_ast);
CommonSubexpressionEliminator{*m_dialect}(*m_ast);
UnusedPruner::runUntilStabilised(*m_dialect, *m_ast);
}
diff --git a/test/libyul/yulOptimizerTests/ssaAndBack/two_vars.yul b/test/libyul/yulOptimizerTests/ssaAndBack/two_vars.yul
index 85325fb9..9f2a046e 100644
--- a/test/libyul/yulOptimizerTests/ssaAndBack/two_vars.yul
+++ b/test/libyul/yulOptimizerTests/ssaAndBack/two_vars.yul
@@ -10,9 +10,9 @@
// ----
// ssaAndBack
// {
-// let a := mload(0)
-// let b := mload(a)
-// let a_3 := mload(b)
+// let a_1 := mload(0)
+// let b_2 := mload(a_1)
+// let a_3 := mload(b_2)
// let b_4 := mload(a_3)
// let a_5 := mload(b_4)
// let b_6 := mload(a_5)
diff --git a/test/tools/yulopti.cpp b/test/tools/yulopti.cpp
index 07ebfc7d..7203ef54 100644
--- a/test/tools/yulopti.cpp
+++ b/test/tools/yulopti.cpp
@@ -190,7 +190,7 @@ public:
EquivalentFunctionCombiner::run(*m_ast);
break;
case 'V':
- SSAReverser{}(*m_ast);
+ SSAReverser::run(*m_ast);
break;
default:
cout << "Unknown option." << endl;