solidity/test/libsolidity/SolidityExecutionFramework.cpp

109 lines
3.5 KiB
C++
Raw Normal View History

2016-06-09 16:54:29 +00:00
/*
This file is part of solidity.
2016-06-09 16:54:29 +00:00
solidity is free software: you can redistribute it and/or modify
2016-06-09 16:54:29 +00:00
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,
2016-06-09 16:54:29 +00:00
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/>.
2016-06-09 16:54:29 +00:00
*/
/**
* @author Christian <c@ethdev.com>
* @date 2016
* Framework for executing Solidity contracts and testing them against C++ implementation.
*/
2016-06-16 22:19:16 +00:00
#include <cstdlib>
#include <iostream>
2016-06-16 13:06:53 +00:00
#include <boost/test/framework.hpp>
2016-06-09 16:54:29 +00:00
#include <test/libsolidity/SolidityExecutionFramework.h>
using namespace solidity;
using namespace solidity::test;
using namespace solidity::frontend;
using namespace solidity::frontend::test;
2019-05-07 15:25:02 +00:00
using namespace std;
2016-06-09 16:54:29 +00:00
bytes SolidityExecutionFramework::multiSourceCompileContract(
map<string, string> const& _sourceCode,
2019-05-07 15:25:02 +00:00
string const& _contractName,
map<string, Address> const& _libraryAddresses
)
{
map<string, string> sourcesWithPreamble = _sourceCode;
for (auto& entry: sourcesWithPreamble)
entry.second = addPreamble(entry.second);
2019-05-07 15:25:02 +00:00
m_compiler.reset();
m_compiler.setSources(sourcesWithPreamble);
2019-05-07 15:25:02 +00:00
m_compiler.setLibraries(_libraryAddresses);
m_compiler.setRevertStringBehaviour(m_revertStrings);
2019-05-07 15:25:02 +00:00
m_compiler.setEVMVersion(m_evmVersion);
m_compiler.setOptimiserSettings(m_optimiserSettings);
m_compiler.enableIRGeneration(m_compileViaYul);
2020-01-22 14:48:56 +00:00
m_compiler.setRevertStringBehaviour(m_revertStrings);
2019-05-07 15:25:02 +00:00
if (!m_compiler.compile())
{
langutil::SourceReferenceFormatter formatter(std::cerr);
for (auto const& error: m_compiler.errors())
formatter.printErrorInformation(*error);
BOOST_ERROR("Compiling contract failed");
}
std::string contractName(_contractName.empty() ? m_compiler.lastContractName() : _contractName);
2019-12-11 16:31:36 +00:00
evmasm::LinkerObject obj;
2019-05-07 15:25:02 +00:00
if (m_compileViaYul)
{
yul::AssemblyStack asmStack(
m_evmVersion,
yul::AssemblyStack::Language::StrictAssembly,
// Ignore optimiser settings here because we need Yul optimisation to
// get code that does not exhaust the stack.
OptimiserSettings::full()
);
bool analysisSuccessful = asmStack.parseAndAnalyze("", m_compiler.yulIROptimized(contractName));
solAssert(analysisSuccessful, "Code that passed analysis in CompilerStack can't have errors");
2019-05-07 15:25:02 +00:00
asmStack.optimize();
obj = std::move(*asmStack.assemble(yul::AssemblyStack::Machine::EVM).bytecode);
}
else
obj = m_compiler.object(contractName);
2019-05-07 15:25:02 +00:00
BOOST_REQUIRE(obj.linkReferences.empty());
if (m_showMetadata)
cout << "metadata: " << m_compiler.metadata(contractName) << endl;
2019-05-07 15:25:02 +00:00
return obj.bytecode;
}
bytes SolidityExecutionFramework::compileContract(
string const& _sourceCode,
string const& _contractName,
map<string, Address> const& _libraryAddresses
)
{
return multiSourceCompileContract(
{{"", _sourceCode}},
_contractName,
_libraryAddresses
);
}
string SolidityExecutionFramework::addPreamble(string const& _sourceCode)
{
// Silence compiler version warning
string preamble = "pragma solidity >=0.0;\n";
if (
solidity::test::CommonOptions::get().useABIEncoderV2 &&
_sourceCode.find("pragma experimental ABIEncoderV2;") == string::npos
)
preamble += "pragma experimental ABIEncoderV2;\n";
return preamble + _sourceCode;
}