diff options
| author | chriseth <chris@ethereum.org> | 2018-10-23 21:55:48 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-10-24 19:24:25 +0800 |
| commit | b3911798b33f33df273022cb92121e2b418e0bed (patch) | |
| tree | 4c1fcfb75844a65b7b8c78eaa0fd91597befa991 /test/libyul/YulOptimizerTest.cpp | |
| parent | f5f977eaf5b57c5fbed99692eed1b6e3b0f5527f (diff) | |
| download | dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.tar dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.tar.gz dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.tar.bz2 dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.tar.lz dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.tar.xz dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.tar.zst dexon-solidity-b3911798b33f33df273022cb92121e2b418e0bed.zip | |
Redundant assign eliminator.
Diffstat (limited to 'test/libyul/YulOptimizerTest.cpp')
| -rw-r--r-- | test/libyul/YulOptimizerTest.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/libyul/YulOptimizerTest.cpp b/test/libyul/YulOptimizerTest.cpp index 6782f412..67715ac1 100644 --- a/test/libyul/YulOptimizerTest.cpp +++ b/test/libyul/YulOptimizerTest.cpp @@ -36,6 +36,7 @@ #include <libyul/optimiser/UnusedPruner.h> #include <libyul/optimiser/ExpressionJoiner.h> #include <libyul/optimiser/SSATransform.h> +#include <libyul/optimiser/RedundantAssignEliminator.h> #include <libsolidity/parsing/Scanner.h> #include <libsolidity/inlineasm/AsmPrinter.h> @@ -178,6 +179,18 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con NameDispenser nameDispenser(*m_ast); SSATransform::run(*m_ast, nameDispenser); } + else if (m_optimizerStep == "redundantAssignEliminator") + { + disambiguate(); + RedundantAssignEliminator::run(*m_ast); + } + else if (m_optimizerStep == "ssaPlusCleanup") + { + disambiguate(); + NameDispenser nameDispenser(*m_ast); + SSATransform::run(*m_ast, nameDispenser); + RedundantAssignEliminator::run(*m_ast); + } else { FormattedScope(_stream, _formatted, {formatting::BOLD, formatting::RED}) << _linePrefix << "Invalid optimizer step: " << m_optimizerStep << endl; |