2017-11-23 14:35:14 +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/>.
|
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @date 2017
|
2018-06-12 18:55:14 +00:00
|
|
|
* Common functions the Yul tests.
|
2017-11-23 14:35:14 +00:00
|
|
|
*/
|
|
|
|
|
2018-10-15 09:52:35 +00:00
|
|
|
#include <test/libyul/Common.h>
|
2017-11-23 14:35:14 +00:00
|
|
|
|
2020-01-14 16:48:17 +00:00
|
|
|
#include <test/Common.h>
|
2018-02-23 10:42:53 +00:00
|
|
|
|
2018-11-24 11:33:36 +00:00
|
|
|
#include <liblangutil/SourceReferenceFormatter.h>
|
2017-11-23 14:35:14 +00:00
|
|
|
|
2018-11-23 10:31:45 +00:00
|
|
|
#include <libyul/optimiser/Disambiguator.h>
|
2018-11-23 10:18:57 +00:00
|
|
|
#include <libyul/AsmParser.h>
|
|
|
|
#include <libyul/AsmAnalysis.h>
|
|
|
|
#include <libyul/AsmPrinter.h>
|
2019-02-13 11:21:53 +00:00
|
|
|
#include <libyul/AssemblyStack.h>
|
2018-12-06 23:56:16 +00:00
|
|
|
#include <libyul/backends/evm/EVMDialect.h>
|
2020-03-08 23:40:54 +00:00
|
|
|
#include <libyul/backends/wasm/WasmDialect.h>
|
2017-11-23 14:35:14 +00:00
|
|
|
|
2018-11-23 10:31:45 +00:00
|
|
|
#include <liblangutil/Scanner.h>
|
2018-11-14 13:59:30 +00:00
|
|
|
#include <liblangutil/ErrorReporter.h>
|
2017-11-23 14:35:14 +00:00
|
|
|
|
|
|
|
#include <boost/test/unit_test.hpp>
|
|
|
|
|
2019-11-19 15:42:49 +00:00
|
|
|
#include <variant>
|
|
|
|
|
2017-11-23 14:35:14 +00:00
|
|
|
using namespace std;
|
2019-12-23 15:50:30 +00:00
|
|
|
using namespace solidity;
|
|
|
|
using namespace solidity::yul;
|
|
|
|
using namespace solidity::langutil;
|
2017-11-23 14:35:14 +00:00
|
|
|
|
2018-12-20 17:55:32 +00:00
|
|
|
namespace
|
|
|
|
{
|
2019-05-16 08:56:56 +00:00
|
|
|
Dialect const& defaultDialect(bool _yul)
|
2018-12-20 17:55:32 +00:00
|
|
|
{
|
2020-01-29 17:14:03 +00:00
|
|
|
return _yul ? yul::Dialect::yulDeprecated() : yul::EVMDialect::strictAssemblyForEVM(solidity::test::CommonOptions::get().evmVersion());
|
2018-12-20 17:55:32 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-30 13:34:08 +00:00
|
|
|
void yul::test::printErrors(ErrorList const& _errors)
|
2017-11-23 14:35:14 +00:00
|
|
|
{
|
2018-11-30 13:34:08 +00:00
|
|
|
SourceReferenceFormatter formatter(cout);
|
2017-10-26 20:56:00 +00:00
|
|
|
|
2017-11-23 14:35:14 +00:00
|
|
|
for (auto const& error: _errors)
|
2019-04-05 15:49:39 +00:00
|
|
|
formatter.printErrorInformation(*error);
|
2017-11-23 14:35:14 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-11-21 11:42:34 +00:00
|
|
|
pair<shared_ptr<Block>, shared_ptr<yul::AsmAnalysisInfo>> yul::test::parse(string const& _source, bool _yul)
|
2017-11-23 14:35:14 +00:00
|
|
|
{
|
2019-02-13 11:21:53 +00:00
|
|
|
AssemblyStack stack(
|
2020-01-14 16:48:17 +00:00
|
|
|
solidity::test::CommonOptions::get().evmVersion(),
|
2019-03-27 11:49:50 +00:00
|
|
|
_yul ? AssemblyStack::Language::Yul : AssemblyStack::Language::StrictAssembly,
|
2020-01-14 16:48:17 +00:00
|
|
|
solidity::test::CommonOptions::get().optimize ?
|
2019-12-23 15:50:30 +00:00
|
|
|
solidity::frontend::OptimiserSettings::standard() :
|
|
|
|
solidity::frontend::OptimiserSettings::minimal()
|
2019-02-13 11:21:53 +00:00
|
|
|
);
|
|
|
|
if (!stack.parseAndAnalyze("", _source) || !stack.errors().empty())
|
|
|
|
BOOST_FAIL("Invalid source.");
|
|
|
|
return make_pair(stack.parserResult()->code, stack.parserResult()->analysisInfo);
|
2017-11-23 14:35:14 +00:00
|
|
|
}
|
|
|
|
|
2020-08-04 23:32:18 +00:00
|
|
|
pair<shared_ptr<Object>, shared_ptr<yul::AsmAnalysisInfo>> yul::test::parse(
|
2019-12-19 16:58:20 +00:00
|
|
|
string const& _source,
|
|
|
|
Dialect const& _dialect,
|
|
|
|
ErrorList& _errors
|
|
|
|
)
|
|
|
|
{
|
|
|
|
ErrorReporter errorReporter(_errors);
|
|
|
|
shared_ptr<Scanner> scanner = make_shared<Scanner>(CharStream(_source, ""));
|
|
|
|
shared_ptr<Object> parserResult = yul::ObjectParser(errorReporter, _dialect).parse(scanner, false);
|
|
|
|
if (!parserResult)
|
|
|
|
return {};
|
2020-05-27 14:30:48 +00:00
|
|
|
if (!parserResult->code || errorReporter.hasErrors())
|
2019-12-19 16:58:20 +00:00
|
|
|
return {};
|
|
|
|
shared_ptr<AsmAnalysisInfo> analysisInfo = make_shared<AsmAnalysisInfo>();
|
2020-06-17 09:17:35 +00:00
|
|
|
AsmAnalyzer analyzer(*analysisInfo, errorReporter, _dialect, {}, parserResult->qualifiedDataNames());
|
2019-12-19 16:58:20 +00:00
|
|
|
// TODO this should be done recursively.
|
2020-05-27 14:30:48 +00:00
|
|
|
if (!analyzer.analyze(*parserResult->code) || errorReporter.hasErrors())
|
2019-12-19 16:58:20 +00:00
|
|
|
return {};
|
2020-08-04 23:32:18 +00:00
|
|
|
return {std::move(parserResult), std::move(analysisInfo)};
|
2019-12-19 16:58:20 +00:00
|
|
|
}
|
|
|
|
|
2018-11-21 11:42:34 +00:00
|
|
|
yul::Block yul::test::disambiguate(string const& _source, bool _yul)
|
2017-11-23 14:35:14 +00:00
|
|
|
{
|
2018-06-12 18:55:14 +00:00
|
|
|
auto result = parse(_source, _yul);
|
2019-11-19 15:42:49 +00:00
|
|
|
return std::get<Block>(Disambiguator(defaultDialect(_yul), *result.second, {})(*result.first));
|
2017-11-23 14:35:14 +00:00
|
|
|
}
|
|
|
|
|
2018-11-21 11:42:34 +00:00
|
|
|
string yul::test::format(string const& _source, bool _yul)
|
2017-11-23 14:35:14 +00:00
|
|
|
{
|
2019-12-19 16:58:20 +00:00
|
|
|
return yul::AsmPrinter()(*parse(_source, _yul).first);
|
2017-11-23 14:35:14 +00:00
|
|
|
}
|
2020-03-08 23:40:54 +00:00
|
|
|
|
|
|
|
namespace
|
|
|
|
{
|
|
|
|
std::map<string const, yul::Dialect const& (*)(langutil::EVMVersion)> const validDialects = {
|
|
|
|
{
|
|
|
|
"evm",
|
|
|
|
[](langutil::EVMVersion _evmVersion) -> yul::Dialect const&
|
|
|
|
{ return yul::EVMDialect::strictAssemblyForEVMObjects(_evmVersion); }
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"evmTyped",
|
|
|
|
[](langutil::EVMVersion _evmVersion) -> yul::Dialect const&
|
|
|
|
{ return yul::EVMDialectTyped::instance(_evmVersion); }
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"yul",
|
|
|
|
[](langutil::EVMVersion) -> yul::Dialect const&
|
|
|
|
{ return yul::Dialect::yulDeprecated(); }
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"ewasm",
|
|
|
|
[](langutil::EVMVersion) -> yul::Dialect const&
|
|
|
|
{ return yul::WasmDialect::instance(); }
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
vector<string> validDialectNames()
|
|
|
|
{
|
|
|
|
vector<string> names{size(validDialects), ""};
|
|
|
|
transform(begin(validDialects), end(validDialects), names.begin(), [](auto const& dialect) { return dialect.first; });
|
|
|
|
|
|
|
|
return names;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
yul::Dialect const& yul::test::dialect(std::string const& _name, langutil::EVMVersion _evmVersion)
|
|
|
|
{
|
|
|
|
if (!validDialects.count(_name))
|
|
|
|
BOOST_THROW_EXCEPTION(runtime_error{
|
|
|
|
"Invalid Dialect \"" +
|
|
|
|
_name +
|
|
|
|
"\". Valid dialects are " +
|
|
|
|
util::joinHumanReadable(validDialectNames(), ", ", " and ") +
|
|
|
|
"."
|
|
|
|
});
|
|
|
|
|
|
|
|
return validDialects.at(_name)(_evmVersion);
|
|
|
|
}
|