aboutsummaryrefslogtreecommitdiffstats
path: root/test/tools
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-11-08 06:19:42 +0800
committerchriseth <chris@ethereum.org>2018-11-08 06:19:42 +0800
commit37766ee8e4333aef569240dc7e08464e52221b14 (patch)
tree75f7163891dd42dc00c6481ece4a2ed38ac97096 /test/tools
parentbed0368ffac4f9e34ff14e115619ed2cd994e2f7 (diff)
downloaddexon-solidity-37766ee8e4333aef569240dc7e08464e52221b14.tar.gz
dexon-solidity-37766ee8e4333aef569240dc7e08464e52221b14.tar.zst
dexon-solidity-37766ee8e4333aef569240dc7e08464e52221b14.zip
Add VarDeclPropagator to full suite and interactive optimizer.
Diffstat (limited to 'test/tools')
-rw-r--r--test/tools/yulopti.cpp6
1 files changed, 5 insertions, 1 deletions
diff --git a/test/tools/yulopti.cpp b/test/tools/yulopti.cpp
index 68fc9f4f..348c5f4a 100644
--- a/test/tools/yulopti.cpp
+++ b/test/tools/yulopti.cpp
@@ -45,6 +45,7 @@
#include <libyul/optimiser/ExpressionJoiner.h>
#include <libyul/optimiser/RedundantAssignEliminator.h>
#include <libyul/optimiser/SSATransform.h>
+#include <libyul/optimiser/VarDeclPropagator.h>
#include <libdevcore/JSON.h>
@@ -120,7 +121,7 @@ public:
m_nameDispenser = make_shared<NameDispenser>(*m_ast);
disambiguated = true;
}
- cout << "(q)quit/(f)flatten/(c)se/(x)plit/(j)oin/(g)rouper/(h)oister/" << endl;
+ cout << "(q)quit/(f)flatten/(c)se/propagate var(d)ecls/(x)plit/(j)oin/(g)rouper/(h)oister/" << endl;
cout << " (e)xpr inline/(i)nline/(s)implify/(u)nusedprune/ss(a) transform/" << endl;
cout << " (r)edundant assign elim./re(m)aterializer? ";
cout.flush();
@@ -136,6 +137,9 @@ public:
case 'c':
(CommonSubexpressionEliminator{})(*m_ast);
break;
+ case 'd':
+ (VarDeclPropagator{})(*m_ast);
+ break;
case 'x':
ExpressionSplitter{*m_nameDispenser}(*m_ast);
break;