diff options
| -rw-r--r-- | test/tools/yulopti.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/tools/yulopti.cpp b/test/tools/yulopti.cpp index 83c54959..68fc9f4f 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; } |