Add rematerializer to interactive optimizer.

This commit is contained in:
chriseth 2018-10-28 12:59:37 +01:00
parent 9a58e71b9e
commit 0e9127a7c8

View File

@ -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;
}