From 0e9127a7c8e7149feb5ca45f27aee48923cded3d Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Sun, 28 Oct 2018 12:59:37 +0100
Subject: [PATCH] Add rematerializer to interactive optimizer.

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

diff --git a/test/tools/yulopti.cpp b/test/tools/yulopti.cpp
index 83c549591..68fc9f4f9 100644
--- a/test/tools/yulopti.cpp
+++ b/test/tools/yulopti.cpp
@@ -121,7 +121,8 @@ public:
 				disambiguated = true;
 			}
 			cout << "(q)quit/(f)flatten/(c)se/(x)plit/(j)oin/(g)rouper/(h)oister/" << endl;
-			cout << "  (e)xpr inline/(i)nline/(s)implify/(u)nusedprune/ss(a) transform/(r)edundant assign elim.? ";
+			cout << "  (e)xpr inline/(i)nline/(s)implify/(u)nusedprune/ss(a) transform/" << endl;
+			cout << "  (r)edundant assign elim./re(m)aterializer? ";
 			cout.flush();
 			int option = readStandardInputChar();
 			cout << ' ' << char(option) << endl;
@@ -165,6 +166,9 @@ public:
 			case 'r':
 				RedundantAssignEliminator::run(*m_ast);
 				break;
+			case 'm':
+				Rematerialiser{}(*m_ast);
+				break;
 			default:
 				cout << "Unknown option." << endl;
 			}