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
|
|
|
|
2018-03-14 11:04:04 +00:00
|
|
|
#include <test/Options.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>
|
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>
|
|
|
|
|
|
|
|
using namespace std;
|
2018-11-14 16:11:55 +00:00
|
|
|
using namespace langutil;
|
2018-11-21 11:42:34 +00:00
|
|
|
using namespace yul;
|
2017-11-23 14:35:14 +00:00
|
|
|
using namespace dev::solidity;
|
|
|
|
|
2018-12-20 17:55:32 +00:00
|
|
|
namespace
|
|
|
|
{
|
|
|
|
shared_ptr<Dialect> defaultDialect(bool _yul)
|
|
|
|
{
|
|
|
|
return _yul ? yul::Dialect::yul() : yul::EVMDialect::strictAssemblyForEVM();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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)
|
2017-10-26 20:56:00 +00:00
|
|
|
formatter.printExceptionInformation(
|
2017-11-23 14:35:14 +00:00
|
|
|
*error,
|
2017-10-26 20:56:00 +00:00
|
|
|
(error->type() == Error::Type::Warning) ? "Warning" : "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(
|
|
|
|
dev::test::Options::get().evmVersion(),
|
|
|
|
_yul ? AssemblyStack::Language::Yul : AssemblyStack::Language::StrictAssembly
|
|
|
|
);
|
|
|
|
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
|
|
|
}
|
|
|
|
|
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);
|
2018-12-20 17:55:32 +00:00
|
|
|
return boost::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
|
|
|
{
|
2018-11-21 11:42:34 +00:00
|
|
|
return yul::AsmPrinter(_yul)(*parse(_source, _yul).first);
|
2017-11-23 14:35:14 +00:00
|
|
|
}
|