solidity/test/tools/yulopti.cpp

298 lines
8.4 KiB
C++
Raw Normal View History

2018-10-16 19:40:10 +00:00
/*
This file is part of solidity.
solidity is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
solidity is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with solidity. If not, see <http://www.gnu.org/licenses/>.
*/
/**
* Interactive yul optimizer
*/
#include <libdevcore/CommonIO.h>
#include <liblangutil/ErrorReporter.h>
#include <liblangutil/Scanner.h>
#include <libyul/AsmAnalysis.h>
#include <libyul/AsmAnalysisInfo.h>
2018-10-16 19:40:10 +00:00
#include <libsolidity/parsing/Parser.h>
#include <libyul/AsmData.h>
#include <libyul/AsmParser.h>
#include <libyul/AsmPrinter.h>
#include <libyul/Object.h>
#include <liblangutil/SourceReferenceFormatter.h>
2018-10-16 19:40:10 +00:00
#include <libyul/optimiser/BlockFlattener.h>
#include <libyul/optimiser/Disambiguator.h>
#include <libyul/optimiser/CallGraphGenerator.h>
2018-10-16 19:40:10 +00:00
#include <libyul/optimiser/CommonSubexpressionEliminator.h>
2019-09-11 09:42:59 +00:00
#include <libyul/optimiser/ConditionalSimplifier.h>
2019-05-09 20:01:18 +00:00
#include <libyul/optimiser/ControlFlowSimplifier.h>
2018-10-16 19:40:10 +00:00
#include <libyul/optimiser/NameCollector.h>
#include <libyul/optimiser/EquivalentFunctionCombiner.h>
2018-10-16 19:40:10 +00:00
#include <libyul/optimiser/ExpressionSplitter.h>
#include <libyul/optimiser/FunctionGrouper.h>
#include <libyul/optimiser/FunctionHoister.h>
#include <libyul/optimiser/ExpressionInliner.h>
#include <libyul/optimiser/FullInliner.h>
2019-05-18 05:36:29 +00:00
#include <libyul/optimiser/ForLoopConditionIntoBody.h>
2019-09-11 16:55:31 +00:00
#include <libyul/optimiser/ForLoopConditionOutOfBody.h>
#include <libyul/optimiser/ForLoopInitRewriter.h>
2018-10-16 19:40:10 +00:00
#include <libyul/optimiser/MainFunction.h>
#include <libyul/optimiser/Rematerialiser.h>
#include <libyul/optimiser/ExpressionSimplifier.h>
#include <libyul/optimiser/UnusedPruner.h>
2019-03-28 13:18:17 +00:00
#include <libyul/optimiser/DeadCodeEliminator.h>
2018-10-16 19:40:10 +00:00
#include <libyul/optimiser/ExpressionJoiner.h>
2019-09-23 14:32:50 +00:00
#include <libyul/optimiser/OptimiserStep.h>
2018-10-24 15:54:35 +00:00
#include <libyul/optimiser/RedundantAssignEliminator.h>
2019-01-16 10:44:45 +00:00
#include <libyul/optimiser/SSAReverser.h>
2018-10-24 15:54:35 +00:00
#include <libyul/optimiser/SSATransform.h>
2019-02-04 16:30:29 +00:00
#include <libyul/optimiser/StackCompressor.h>
#include <libyul/optimiser/StructuralSimplifier.h>
#include <libyul/optimiser/Semantics.h>
2018-12-13 14:53:19 +00:00
#include <libyul/optimiser/VarDeclInitializer.h>
#include <libyul/optimiser/VarNameCleaner.h>
2019-09-03 13:51:33 +00:00
#include <libyul/optimiser/LoadResolver.h>
2018-10-16 19:40:10 +00:00
2018-12-06 23:56:16 +00:00
#include <libyul/backends/evm/EVMDialect.h>
2018-10-16 19:40:10 +00:00
#include <libdevcore/JSON.h>
#include <boost/program_options.hpp>
#include <string>
#include <sstream>
#include <iostream>
using namespace std;
using namespace dev;
using namespace langutil;
2018-10-16 19:40:10 +00:00
using namespace dev::solidity;
using namespace yul;
2018-10-16 19:40:10 +00:00
namespace po = boost::program_options;
class YulOpti
{
public:
void printErrors()
2018-10-16 19:40:10 +00:00
{
SourceReferenceFormatter formatter(cout);
2018-10-16 19:40:10 +00:00
for (auto const& error: m_errors)
formatter.printErrorInformation(*error);
2018-10-16 19:40:10 +00:00
}
bool parse(string const& _input)
{
ErrorReporter errorReporter(m_errors);
shared_ptr<Scanner> scanner = make_shared<Scanner>(CharStream(_input, ""));
2018-12-20 17:55:32 +00:00
m_ast = yul::Parser(errorReporter, m_dialect).parse(scanner, false);
2018-10-16 19:40:10 +00:00
if (!m_ast || !errorReporter.errors().empty())
{
cout << "Error parsing source." << endl;
printErrors();
2018-10-16 19:40:10 +00:00
return false;
}
m_analysisInfo = make_shared<yul::AsmAnalysisInfo>();
2018-10-16 19:40:10 +00:00
AsmAnalyzer analyzer(
*m_analysisInfo,
errorReporter,
langutil::Error::Type::SyntaxError,
2018-12-20 17:55:32 +00:00
m_dialect
2018-10-16 19:40:10 +00:00
);
if (!analyzer.analyze(*m_ast) || !errorReporter.errors().empty())
{
cout << "Error analyzing source." << endl;
printErrors();
2018-10-16 19:40:10 +00:00
return false;
}
return true;
}
void runInteractive(string source)
{
bool disambiguated = false;
while (true)
{
cout << "----------------------" << endl;
cout << source << endl;
if (!parse(source))
return;
2019-09-23 14:32:50 +00:00
set<YulString> reservedIdentifiers;
2018-10-16 19:40:10 +00:00
if (!disambiguated)
{
*m_ast = boost::get<yul::Block>(Disambiguator(m_dialect, *m_analysisInfo)(*m_ast));
2018-10-16 19:40:10 +00:00
m_analysisInfo.reset();
2019-09-23 14:32:50 +00:00
m_nameDispenser = make_shared<NameDispenser>(m_dialect, *m_ast, reservedIdentifiers);
2018-10-16 19:40:10 +00:00
disambiguated = true;
}
2018-12-13 14:53:19 +00:00
cout << "(q)quit/(f)flatten/(c)se/initialize var(d)ecls/(x)plit/(j)oin/(g)rouper/(h)oister/" << endl;
cout << " (e)xpr inline/(i)nline/(s)implify/varname c(l)eaner/(u)nusedprune/ss(a) transform/" << endl;
2019-09-11 16:55:31 +00:00
cout << " (r)edundant assign elim./re(m)aterializer/f(o)r-loop-init-rewriter/for-loop-condition-(I)nto-body/" << endl;
cout << " for-loop-condition-(O)ut-of-body/s(t)ructural simplifier/equi(v)alent function combiner/ssa re(V)erser/" << endl;
2019-09-11 09:42:59 +00:00
cout << " co(n)trol flow simplifier/stack com(p)ressor/(D)ead code eliminator/(L)oad resolver/ " << endl;
cout << " (C)onditional simplifier?" << endl;
2018-10-16 19:40:10 +00:00
cout.flush();
int option = readStandardInputChar();
cout << ' ' << char(option) << endl;
2019-09-23 14:32:50 +00:00
OptimiserStepContext context{m_dialect, *m_nameDispenser, reservedIdentifiers};
2018-10-16 19:40:10 +00:00
switch (option)
{
case 'q':
return;
case 'f':
2019-09-23 14:32:50 +00:00
BlockFlattener::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 'o':
2019-09-23 14:32:50 +00:00
ForLoopInitRewriter::run(context, *m_ast);
break;
2019-05-18 05:36:29 +00:00
case 'O':
2019-09-23 14:32:50 +00:00
ForLoopConditionOutOfBody::run(context, *m_ast);
2019-09-11 16:55:31 +00:00
break;
case 'I':
2019-09-23 14:32:50 +00:00
ForLoopConditionIntoBody::run(context, *m_ast);
2019-05-18 05:36:29 +00:00
break;
2018-10-16 19:40:10 +00:00
case 'c':
2019-09-23 14:32:50 +00:00
CommonSubexpressionEliminator::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
2019-09-11 09:42:59 +00:00
case 'C':
ConditionalSimplifier::run(context, *m_ast);
break;
case 'd':
2019-09-23 14:32:50 +00:00
VarDeclInitializer::run(context, *m_ast);
break;
case 'l':
2019-09-23 14:32:50 +00:00
VarNameCleaner::run(context, *m_ast);
break;
2018-10-16 19:40:10 +00:00
case 'x':
2019-09-23 14:32:50 +00:00
ExpressionSplitter::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 'j':
2019-09-23 14:32:50 +00:00
ExpressionJoiner::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 'g':
2019-09-23 14:32:50 +00:00
FunctionGrouper::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 'h':
2019-09-23 14:32:50 +00:00
FunctionHoister::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 'e':
2019-09-23 14:32:50 +00:00
ExpressionInliner::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 'i':
2019-09-23 14:32:50 +00:00
FullInliner::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 's':
2019-09-23 14:32:50 +00:00
ExpressionSimplifier::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
case 't':
2019-09-23 14:32:50 +00:00
StructuralSimplifier::run(context, *m_ast);
break;
case 'T':
LiteralRematerialiser::run(context, *m_ast);
break;
2019-05-09 20:01:18 +00:00
case 'n':
2019-09-23 14:32:50 +00:00
ControlFlowSimplifier::run(context, *m_ast);
2019-05-09 20:01:18 +00:00
break;
2018-10-16 19:40:10 +00:00
case 'u':
2019-09-23 14:32:50 +00:00
UnusedPruner::run(context, *m_ast);
2018-10-16 19:40:10 +00:00
break;
2019-03-28 13:18:17 +00:00
case 'D':
2019-09-23 14:32:50 +00:00
DeadCodeEliminator::run(context, *m_ast);
2019-03-28 13:18:17 +00:00
break;
2018-10-24 15:54:35 +00:00
case 'a':
2019-09-23 14:32:50 +00:00
SSATransform::run(context, *m_ast);
2018-10-24 15:54:35 +00:00
break;
case 'r':
2019-09-23 14:32:50 +00:00
RedundantAssignEliminator::run(context, *m_ast);
2018-10-24 15:54:35 +00:00
break;
case 'm':
2019-09-23 14:32:50 +00:00
Rematerialiser::run(context, *m_ast);
break;
case 'v':
2019-09-23 14:32:50 +00:00
EquivalentFunctionCombiner::run(context, *m_ast);
break;
2019-01-16 10:44:45 +00:00
case 'V':
2019-09-23 14:32:50 +00:00
SSAReverser::run(context, *m_ast);
2019-01-16 10:44:45 +00:00
break;
2019-02-04 16:30:29 +00:00
case 'p':
{
Object obj;
obj.code = m_ast;
StackCompressor::run(m_dialect, obj, true, 16);
2019-02-04 16:30:29 +00:00
break;
}
2019-09-03 13:51:33 +00:00
case 'L':
2019-09-23 14:32:50 +00:00
LoadResolver::run(context, *m_ast);
2019-09-03 13:51:33 +00:00
break;
2018-10-16 19:40:10 +00:00
default:
cout << "Unknown option." << endl;
}
source = AsmPrinter{}(*m_ast);
}
}
private:
ErrorList m_errors;
shared_ptr<yul::Block> m_ast;
Dialect const& m_dialect{EVMDialect::strictAssemblyForEVMObjects(EVMVersion{})};
2018-10-16 19:40:10 +00:00
shared_ptr<AsmAnalysisInfo> m_analysisInfo;
shared_ptr<NameDispenser> m_nameDispenser;
};
int main(int argc, char** argv)
{
po::options_description options(
R"(yulopti, yul optimizer exploration tool.
Usage: yulopti [Options] <file>
Reads <file> as yul code and applies optimizer steps to it,
interactively read from stdin.
Allowed options)",
po::options_description::m_default_line_length,
po::options_description::m_default_line_length - 23);
options.add_options()
(
"input-file",
po::value<string>(),
"input file"
)
("help", "Show this help screen.");
// All positional options should be interpreted as input files
po::positional_options_description filesPositions;
filesPositions.add("input-file", 1);
po::variables_map arguments;
try
{
po::command_line_parser cmdLineParser(argc, argv);
cmdLineParser.options(options).positional(filesPositions);
po::store(cmdLineParser.run(), arguments);
}
catch (po::error const& _exception)
{
cerr << _exception.what() << endl;
return 1;
}
string input;
if (arguments.count("input-file"))
YulOpti{}.runInteractive(readFileAsString(arguments["input-file"].as<string>()));
else
cout << options;
return 0;
}