aboutsummaryrefslogtreecommitdiffstats
path: root/test/libyul/YulOptimizerTest.cpp
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-10-17 05:47:02 +0800
committerchriseth <chris@ethereum.org>2018-10-19 00:56:22 +0800
commit465845b7a7e41345c47722bf7f2fcbd8b48248db (patch)
tree10f936061e8033eb9bfd07761b97a97a05d4f14f /test/libyul/YulOptimizerTest.cpp
parent7609e2871e77b623d4c6187b7ebed693ce74cd0e (diff)
downloaddexon-solidity-465845b7a7e41345c47722bf7f2fcbd8b48248db.tar.gz
dexon-solidity-465845b7a7e41345c47722bf7f2fcbd8b48248db.tar.zst
dexon-solidity-465845b7a7e41345c47722bf7f2fcbd8b48248db.zip
SSA transform - first step.
Diffstat (limited to 'test/libyul/YulOptimizerTest.cpp')
-rw-r--r--test/libyul/YulOptimizerTest.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/libyul/YulOptimizerTest.cpp b/test/libyul/YulOptimizerTest.cpp
index a89711a1..f4ea6d67 100644
--- a/test/libyul/YulOptimizerTest.cpp
+++ b/test/libyul/YulOptimizerTest.cpp
@@ -35,6 +35,7 @@
#include <libyul/optimiser/ExpressionSimplifier.h>
#include <libyul/optimiser/UnusedPruner.h>
#include <libyul/optimiser/ExpressionJoiner.h>
+#include <libyul/optimiser/SSATransform.h>
#include <libsolidity/parsing/Scanner.h>
#include <libsolidity/inlineasm/AsmPrinter.h>
@@ -171,6 +172,12 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con
disambiguate();
ExpressionJoiner::run(*m_ast);\
}
+ else if (m_optimizerStep == "ssaTransform")
+ {
+ disambiguate();
+ NameDispenser nameDispenser(*m_ast);
+ SSATransform::run(*m_ast, nameDispenser);
+ }
else
{
FormattedScope(_stream, _formatted, {formatting::BOLD, formatting::RED}) << _linePrefix << "Invalid optimizer step: " << m_optimizerStep << endl;