Merge pull request #5327 from ethereum/rematerializerSmall

Add rematerializer to interactive optimizer.
This commit is contained in:
chriseth 2018-11-07 20:30:31 +01:00 committed by GitHub
commit bed0368ffa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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