cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add redundant assign and ssa.

Browse Source
This commit is contained in:
chriseth 2018-10-24 17:54:35 +02:00
parent 57843f790c
commit f92623063d
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
test/tools/yulopti.cpp
View File

@ -43,6 +43,8 @@
#include <libyul/optimiser/ExpressionSimplifier.h> #include <libyul/optimiser/ExpressionSimplifier.h>
#include <libyul/optimiser/UnusedPruner.h> #include <libyul/optimiser/UnusedPruner.h>
#include <libyul/optimiser/ExpressionJoiner.h> #include <libyul/optimiser/ExpressionJoiner.h>
#include <libyul/optimiser/RedundantAssignEliminator.h>
#include <libyul/optimiser/SSATransform.h>
#include <libdevcore/JSON.h> #include <libdevcore/JSON.h>
@ -118,7 +120,8 @@ public:
m_nameDispenser = make_shared<NameDispenser>(*m_ast); m_nameDispenser = make_shared<NameDispenser>(*m_ast);
disambiguated = true; disambiguated = true;
} }
cout << "(q)quit/(f)flatten/(c)se/(x)plit/(j)oin/(g)rouper/(h)oister/(e)xpr inline/(i)nline/(s)implify/(u)nusedprune? "; 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.flush(); cout.flush();
int option = readStandardInputChar(); int option = readStandardInputChar();
cout << ' ' << char(option) << endl; cout << ' ' << char(option) << endl;
@ -156,6 +159,12 @@ public:
case 'u': case 'u':
UnusedPruner::runUntilStabilised(*m_ast); UnusedPruner::runUntilStabilised(*m_ast);
break; break;
case 'a':
SSATransform::run(*m_ast, *m_nameDispenser);
break;
case 'r':
RedundantAssignEliminator::run(*m_ast);
break;
default: default:
cout << "Unknown option." << endl; cout << "Unknown option." << endl;
} }