aboutsummaryrefslogtreecommitdiffstats
path: root/test/tools/yulopti.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/tools/yulopti.cpp')
-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 efd1ba05..07ebfc7d 100644
--- a/test/tools/yulopti.cpp
+++ b/test/tools/yulopti.cpp
@@ -46,6 +46,7 @@
#include <libyul/optimiser/UnusedPruner.h>
#include <libyul/optimiser/ExpressionJoiner.h>
#include <libyul/optimiser/RedundantAssignEliminator.h>
+#include <libyul/optimiser/SSAReverser.h>
#include <libyul/optimiser/SSATransform.h>
#include <libyul/optimiser/StructuralSimplifier.h>
#include <libyul/optimiser/VarDeclInitializer.h>
@@ -129,7 +130,7 @@ public:
cout << "(q)quit/(f)flatten/(c)se/initialize 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/f(o)r-loop-pre-rewriter/" << endl;
- cout << " s(t)ructural simplifier/equi(v)alent function combiner? " << endl;
+ cout << " s(t)ructural simplifier/equi(v)alent function combiner/ssa re(V)erser? " << endl;
cout.flush();
int option = readStandardInputChar();
cout << ' ' << char(option) << endl;
@@ -188,6 +189,9 @@ public:
case 'v':
EquivalentFunctionCombiner::run(*m_ast);
break;
+ case 'V':
+ SSAReverser{}(*m_ast);
+ break;
default:
cout << "Unknown option." << endl;
}