From 37766ee8e4333aef569240dc7e08464e52221b14 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Wed, 7 Nov 2018 23:19:42 +0100
Subject: Add VarDeclPropagator to full suite and interactive optimizer.

---
 test/tools/yulopti.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'test/tools/yulopti.cpp')

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;
-- 
cgit