2016-06-09 16:54:29 +00:00
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
This file is part of solidity.
|
2016-06-09 16:54:29 +00:00
|
|
|
|
2016-11-18 23:13:20 +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.
|
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
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
|
2016-11-18 23:13:20 +00:00
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
2016-06-09 16:54:29 +00:00
|
|
|
*/
|
2020-07-17 14:54:12 +00:00
|
|
|
// SPDX-License-Identifier: GPL-3.0
|
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.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
2021-09-03 17:39:10 +00:00
|
|
|
|
2021-09-17 18:15:19 +00:00
|
|
|
#include <liblangutil/DebugInfoSelection.h>
|
2020-11-02 14:29:33 +00:00
|
|
|
#include <liblangutil/Exceptions.h>
|
2020-12-01 13:22:15 +00:00
|
|
|
#include <liblangutil/SourceReferenceFormatter.h>
|
2016-06-09 16:54:29 +00:00
|
|
|
|
2021-09-03 17:39:10 +00:00
|
|
|
#include <boost/test/framework.hpp>
|
|
|
|
|
|
|
|
#include <cstdlib>
|
|
|
|
#include <iostream>
|
|
|
|
|
2019-12-23 15:50:30 +00:00
|
|
|
using namespace solidity;
|
|
|
|
using namespace solidity::frontend;
|
|
|
|
using namespace solidity::frontend::test;
|
2021-09-17 18:15:19 +00:00
|
|
|
using namespace solidity::langutil;
|
2021-09-03 17:39:10 +00:00
|
|
|
using namespace solidity::test;
|
2019-05-07 15:25:02 +00:00
|
|
|
using namespace std;
|
2016-06-09 16:54:29 +00:00
|
|
|
|
2020-06-18 10:31:55 +00:00
|
|
|
bytes SolidityExecutionFramework::multiSourceCompileContract(
|
|
|
|
map<string, string> const& _sourceCode,
|
2021-03-15 22:52:24 +00:00
|
|
|
optional<string> const& _mainSourceName,
|
2019-05-07 15:25:02 +00:00
|
|
|
string const& _contractName,
|
|
|
|
map<string, Address> const& _libraryAddresses
|
|
|
|
)
|
|
|
|
{
|
2021-03-15 22:52:24 +00:00
|
|
|
if (_mainSourceName.has_value())
|
|
|
|
solAssert(_sourceCode.find(_mainSourceName.value()) != _sourceCode.end(), "");
|
2020-06-18 10:31:55 +00:00
|
|
|
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();
|
2020-06-05 23:10:48 +00:00
|
|
|
m_compiler.enableEwasmGeneration(m_compileToEwasm);
|
2020-06-18 10:31:55 +00:00
|
|
|
m_compiler.setSources(sourcesWithPreamble);
|
2019-05-07 15:25:02 +00:00
|
|
|
m_compiler.setLibraries(_libraryAddresses);
|
2019-09-18 14:44:36 +00:00
|
|
|
m_compiler.setRevertStringBehaviour(m_revertStrings);
|
2019-05-07 15:25:02 +00:00
|
|
|
m_compiler.setEVMVersion(m_evmVersion);
|
|
|
|
m_compiler.setOptimiserSettings(m_optimiserSettings);
|
2020-08-06 09:43:36 +00:00
|
|
|
m_compiler.enableEvmBytecodeGeneration(!m_compileViaYul);
|
2019-05-07 15:25:02 +00:00
|
|
|
m_compiler.enableIRGeneration(m_compileViaYul);
|
2020-01-22 14:48:56 +00:00
|
|
|
m_compiler.setRevertStringBehaviour(m_revertStrings);
|
2022-03-09 15:52:30 +00:00
|
|
|
m_compiler.setMetadataHash(m_metadataHash);
|
2019-05-07 15:25:02 +00:00
|
|
|
if (!m_compiler.compile())
|
|
|
|
{
|
2020-09-14 17:01:36 +00:00
|
|
|
// The testing framework expects an exception for
|
|
|
|
// "unimplemented" yul IR generation.
|
|
|
|
if (m_compileViaYul)
|
|
|
|
for (auto const& error: m_compiler.errors())
|
|
|
|
if (error->type() == langutil::Error::Type::CodeGenerationError)
|
|
|
|
BOOST_THROW_EXCEPTION(*error);
|
2021-06-29 12:38:59 +00:00
|
|
|
langutil::SourceReferenceFormatter{std::cerr, m_compiler, true, false}
|
|
|
|
.printErrorInformation(m_compiler.errors());
|
2019-05-07 15:25:02 +00:00
|
|
|
BOOST_ERROR("Compiling contract failed");
|
|
|
|
}
|
2021-03-15 22:52:24 +00:00
|
|
|
string contractName(_contractName.empty() ? m_compiler.lastContractName(_mainSourceName) : _contractName);
|
2019-12-11 16:31:36 +00:00
|
|
|
evmasm::LinkerObject obj;
|
2019-05-07 15:25:02 +00:00
|
|
|
if (m_compileViaYul)
|
|
|
|
{
|
2020-06-05 23:10:48 +00:00
|
|
|
if (m_compileToEwasm)
|
|
|
|
obj = m_compiler.ewasmObject(contractName);
|
|
|
|
else
|
2020-07-08 07:33:30 +00:00
|
|
|
{
|
2020-06-05 23:10:48 +00:00
|
|
|
// Try compiling twice: If the first run fails due to stack errors, forcefully enable
|
|
|
|
// the optimizer.
|
|
|
|
for (bool forceEnableOptimizer: {false, true})
|
2020-07-08 07:33:30 +00:00
|
|
|
{
|
2020-06-05 23:10:48 +00:00
|
|
|
OptimiserSettings optimiserSettings = m_optimiserSettings;
|
|
|
|
if (!forceEnableOptimizer && !optimiserSettings.runYulOptimiser)
|
|
|
|
{
|
|
|
|
// Enable some optimizations on the first run
|
|
|
|
optimiserSettings.runYulOptimiser = true;
|
|
|
|
optimiserSettings.yulOptimiserSteps = "uljmul jmul";
|
|
|
|
}
|
|
|
|
else if (forceEnableOptimizer)
|
|
|
|
optimiserSettings = OptimiserSettings::full();
|
2019-05-07 15:25:02 +00:00
|
|
|
|
2022-03-28 04:27:11 +00:00
|
|
|
yul::YulStack asmStack(
|
2021-09-17 18:15:19 +00:00
|
|
|
m_evmVersion,
|
2022-03-28 04:27:11 +00:00
|
|
|
yul::YulStack::Language::StrictAssembly,
|
2021-09-17 18:15:19 +00:00
|
|
|
optimiserSettings,
|
|
|
|
DebugInfoSelection::All()
|
|
|
|
);
|
2020-06-05 23:10:48 +00:00
|
|
|
bool analysisSuccessful = asmStack.parseAndAnalyze("", m_compiler.yulIROptimized(contractName));
|
|
|
|
solAssert(analysisSuccessful, "Code that passed analysis in CompilerStack can't have errors");
|
2020-07-08 07:33:30 +00:00
|
|
|
|
2020-06-05 23:10:48 +00:00
|
|
|
try
|
|
|
|
{
|
|
|
|
asmStack.optimize();
|
2022-03-28 04:27:11 +00:00
|
|
|
obj = move(*asmStack.assemble(yul::YulStack::Machine::EVM).bytecode);
|
2020-11-05 13:40:51 +00:00
|
|
|
obj.link(_libraryAddresses);
|
2020-06-05 23:10:48 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
if (forceEnableOptimizer || optimiserSettings == OptimiserSettings::full())
|
|
|
|
throw;
|
|
|
|
}
|
2020-07-08 07:33:30 +00:00
|
|
|
}
|
|
|
|
}
|
2019-05-07 15:25:02 +00:00
|
|
|
}
|
|
|
|
else
|
2020-03-11 02:07:11 +00:00
|
|
|
obj = m_compiler.object(contractName);
|
2019-05-07 15:25:02 +00:00
|
|
|
BOOST_REQUIRE(obj.linkReferences.empty());
|
2020-03-11 02:07:11 +00:00
|
|
|
if (m_showMetadata)
|
|
|
|
cout << "metadata: " << m_compiler.metadata(contractName) << endl;
|
2019-05-07 15:25:02 +00:00
|
|
|
return obj.bytecode;
|
|
|
|
}
|
2020-06-18 10:31:55 +00:00
|
|
|
|
|
|
|
bytes SolidityExecutionFramework::compileContract(
|
|
|
|
string const& _sourceCode,
|
|
|
|
string const& _contractName,
|
|
|
|
map<string, Address> const& _libraryAddresses
|
|
|
|
)
|
|
|
|
{
|
|
|
|
return multiSourceCompileContract(
|
|
|
|
{{"", _sourceCode}},
|
2021-03-15 22:52:24 +00:00
|
|
|
nullopt,
|
2020-06-18 10:31:55 +00:00
|
|
|
_contractName,
|
|
|
|
_libraryAddresses
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
string SolidityExecutionFramework::addPreamble(string const& _sourceCode)
|
|
|
|
{
|
|
|
|
// Silence compiler version warning
|
2020-12-14 13:49:39 +00:00
|
|
|
string preamble = "pragma solidity >=0.0;\n";
|
|
|
|
if (_sourceCode.find("// SPDX-License-Identifier:") == string::npos)
|
|
|
|
preamble += "// SPDX-License-Identifier: unlicensed\n";
|
2020-06-18 10:31:55 +00:00
|
|
|
if (
|
2020-11-19 15:58:41 +00:00
|
|
|
solidity::test::CommonOptions::get().useABIEncoderV1 &&
|
2020-11-23 18:06:44 +00:00
|
|
|
_sourceCode.find("pragma experimental ABIEncoderV2;") == string::npos &&
|
|
|
|
_sourceCode.find("pragma abicoder") == string::npos
|
2020-06-18 10:31:55 +00:00
|
|
|
)
|
2020-11-19 15:58:41 +00:00
|
|
|
preamble += "pragma abicoder v1;\n";
|
2020-06-18 10:31:55 +00:00
|
|
|
return preamble + _sourceCode;
|
|
|
|
}
|