diff options
| author | chriseth <chris@ethereum.org> | 2018-11-08 03:30:31 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-08 03:30:31 +0800 |
| commit | bed0368ffac4f9e34ff14e115619ed2cd994e2f7 (patch) | |
| tree | 3a6e8c757fc21b6d59ce04ac69818576e86b4270 | |
| parent | deed8e21f6149a9712ebd77556cdb6e3b4b9c566 (diff) | |
| parent | 0e9127a7c8e7149feb5ca45f27aee48923cded3d (diff) | |
| download | dexon-solidity-bed0368ffac4f9e34ff14e115619ed2cd994e2f7.tar.gz dexon-solidity-bed0368ffac4f9e34ff14e115619ed2cd994e2f7.tar.zst dexon-solidity-bed0368ffac4f9e34ff14e115619ed2cd994e2f7.zip | |
Merge pull request #5327 from ethereum/rematerializerSmall
Add rematerializer to interactive optimizer.
| -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; } |