cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #11867 from ethereum/solidity-snippets-next-to-source-locations-in-ir

Browse Source 
Solidity snippets next to source locations in IR
This commit is contained in:
chriseth 2021-09-14 13:30:30 +02:00 committed by GitHub
commit 4a02e9a340
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
41 changed files with 1222 additions and 353 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libsolidity/ast/ASTJsonConverter.cpp
View File

@ -26,7 +26,6 @@
#include <libsolidity/ast/TypeProvider.h> #include <libsolidity/ast/TypeProvider.h>
#include <libyul/AsmJsonConverter.h> #include <libyul/AsmJsonConverter.h>
#include <libyul/AsmPrinter.h>
#include <libyul/AST.h> #include <libyul/AST.h>
#include <libyul/backends/evm/EVMDialect.h> #include <libyul/backends/evm/EVMDialect.h>

18
libsolidity/codegen/ir/Common.cpp
View File

@ -22,9 +22,13 @@
#include <libsolutil/CommonIO.h> #include <libsolutil/CommonIO.h>
#include <libyul/AsmPrinter.h>
using namespace std; using namespace std;
using namespace solidity::util; using namespace solidity::langutil;
using namespace solidity::frontend; using namespace solidity::frontend;
using namespace solidity::util;
using namespace solidity::yul;
namespace solidity::frontend namespace solidity::frontend
{ {
@ -131,12 +135,12 @@ string dispenseLocationComment(langutil::SourceLocation const& _location, IRGene
{ {
solAssert(_location.sourceName, ""); solAssert(_location.sourceName, "");
_context.markSourceUsed(*_location.sourceName); _context.markSourceUsed(*_location.sourceName);
return "/// @src " return AsmPrinter::formatSourceLocationComment(
+ to_string(_context.sourceIndices().at(*_location.sourceName)) _location,
+ ":" _context.sourceIndices(),
+ to_string(_location.start) true /* _statement */,
+ ":" _context.soliditySourceProvider()
+ to_string(_location.end); );
} }
string dispenseLocationComment(ASTNode const& _node, IRGenerationContext& _context) string dispenseLocationComment(ASTNode const& _node, IRGenerationContext& _context)

11
libsolidity/codegen/ir/IRGenerationContext.h
View File

@ -29,6 +29,7 @@
#include <libsolidity/codegen/MultiUseYulFunctionCollector.h> #include <libsolidity/codegen/MultiUseYulFunctionCollector.h>
#include <libsolidity/codegen/ir/Common.h> #include <libsolidity/codegen/ir/Common.h>
#include <liblangutil/CharStreamProvider.h>
#include <liblangutil/EVMVersion.h> #include <liblangutil/EVMVersion.h>
#include <libsolutil/Common.h> #include <libsolutil/Common.h>
@ -72,13 +73,15 @@ public:
ExecutionContext _executionContext, ExecutionContext _executionContext,
RevertStrings _revertStrings, RevertStrings _revertStrings,
OptimiserSettings _optimiserSettings, OptimiserSettings _optimiserSettings,
std::map<std::string, unsigned> _sourceIndices std::map<std::string, unsigned> _sourceIndices,
langutil::CharStreamProvider const* _soliditySourceProvider
): ):
m_evmVersion(_evmVersion), m_evmVersion(_evmVersion),
m_executionContext(_executionContext), m_executionContext(_executionContext),
m_revertStrings(_revertStrings), m_revertStrings(_revertStrings),
m_optimiserSettings(std::move(_optimiserSettings)), m_optimiserSettings(std::move(_optimiserSettings)),
m_sourceIndices(std::move(_sourceIndices)) m_sourceIndices(std::move(_sourceIndices)),
m_soliditySourceProvider(_soliditySourceProvider)
{} {}
MultiUseYulFunctionCollector& functionCollector() { return m_functions; } MultiUseYulFunctionCollector& functionCollector() { return m_functions; }
@ -171,6 +174,8 @@ public:
bool immutableRegistered(VariableDeclaration const& _varDecl) const { return m_immutableVariables.count(&_varDecl); } bool immutableRegistered(VariableDeclaration const& _varDecl) const { return m_immutableVariables.count(&_varDecl); }
langutil::CharStreamProvider const* soliditySourceProvider() const { return m_soliditySourceProvider; }
private: private:
langutil::EVMVersion m_evmVersion; langutil::EVMVersion m_evmVersion;
ExecutionContext m_executionContext; ExecutionContext m_executionContext;
@ -214,6 +219,8 @@ private:
std::map<int64_t, uint64_t> m_functionIDs; std::map<int64_t, uint64_t> m_functionIDs;
std::set<ContractDefinition const*, ASTNode::CompareByID> m_subObjects; std::set<ContractDefinition const*, ASTNode::CompareByID> m_subObjects;
langutil::CharStreamProvider const* m_soliditySourceProvider = nullptr;
}; };
} }

14
libsolidity/codegen/ir/IRGenerator.cpp
View File

@ -45,8 +45,9 @@
using namespace std; using namespace std;
using namespace solidity; using namespace solidity;
using namespace solidity::util;
using namespace solidity::frontend; using namespace solidity::frontend;
using namespace solidity::langutil;
using namespace solidity::util;
namespace namespace
{ {
@ -115,7 +116,7 @@ pair<string, string> IRGenerator::run(
" * !USE AT YOUR OWN RISK! *\n" " * !USE AT YOUR OWN RISK! *\n"
" *=====================================================*/\n\n"; " *=====================================================*/\n\n";
return {warning + ir, warning + asmStack.print()}; return {warning + ir, warning + asmStack.print(m_context.soliditySourceProvider())};
} }
string IRGenerator::generate( string IRGenerator::generate(
@ -1064,7 +1065,14 @@ void IRGenerator::resetContext(ContractDefinition const& _contract, ExecutionCon
m_context.internalDispatchClean(), m_context.internalDispatchClean(),
"Reset internal dispatch map without consuming it." "Reset internal dispatch map without consuming it."
); );
IRGenerationContext newContext(m_evmVersion, _context, m_context.revertStrings(), m_optimiserSettings, m_context.sourceIndices()); IRGenerationContext newContext(
m_evmVersion,
_context,
m_context.revertStrings(),
m_optimiserSettings,
m_context.sourceIndices(),
m_context.soliditySourceProvider()
);
newContext.copyFunctionIDsFrom(m_context); newContext.copyFunctionIDsFrom(m_context);
m_context = move(newContext); m_context = move(newContext);

15
libsolidity/codegen/ir/IRGenerator.h
View File

@ -28,7 +28,10 @@
#include <libsolidity/ast/CallGraph.h> #include <libsolidity/ast/CallGraph.h>
#include <libsolidity/codegen/ir/IRGenerationContext.h> #include <libsolidity/codegen/ir/IRGenerationContext.h>
#include <libsolidity/codegen/YulUtilFunctions.h> #include <libsolidity/codegen/YulUtilFunctions.h>
#include <liblangutil/CharStreamProvider.h>
#include <liblangutil/EVMVersion.h> #include <liblangutil/EVMVersion.h>
#include <string> #include <string>
namespace solidity::frontend namespace solidity::frontend
@ -45,11 +48,19 @@ public:
langutil::EVMVersion _evmVersion, langutil::EVMVersion _evmVersion,
RevertStrings _revertStrings, RevertStrings _revertStrings,
OptimiserSettings _optimiserSettings, OptimiserSettings _optimiserSettings,
std::map<std::string, unsigned> _sourceIndices std::map<std::string, unsigned> _sourceIndices,
langutil::CharStreamProvider const* _soliditySourceProvider
): ):
m_evmVersion(_evmVersion), m_evmVersion(_evmVersion),
m_optimiserSettings(_optimiserSettings), m_optimiserSettings(_optimiserSettings),
m_context(_evmVersion, ExecutionContext::Creation, _revertStrings, std::move(_optimiserSettings), std::move(_sourceIndices)), m_context(
_evmVersion,
ExecutionContext::Creation,
_revertStrings,
std::move(_optimiserSettings),
std::move(_sourceIndices),
_soliditySourceProvider
),
m_utils(_evmVersion, m_context.revertStrings(), m_context.functionCollector()) m_utils(_evmVersion, m_context.revertStrings(), m_context.functionCollector())
{} {}

2
libsolidity/interface/CompilerStack.cpp
View File

@ -1329,7 +1329,7 @@ void CompilerStack::generateIR(ContractDefinition const& _contract)
for (auto const& pair: m_contracts) for (auto const& pair: m_contracts)
otherYulSources.emplace(pair.second.contract, pair.second.yulIR); otherYulSources.emplace(pair.second.contract, pair.second.yulIR);
IRGenerator generator(m_evmVersion, m_revertStrings, m_optimiserSettings, sourceIndices()); IRGenerator generator(m_evmVersion, m_revertStrings, m_optimiserSettings, sourceIndices(), this);
tie(compiledContract.yulIR, compiledContract.yulIROptimized) = generator.run( tie(compiledContract.yulIR, compiledContract.yulIROptimized) = generator.run(
_contract, _contract,
createCBORMetadata(compiledContract), createCBORMetadata(compiledContract),

18
libyul/AsmParser.cpp
View File

@ -135,7 +135,8 @@ void Parser::fetchSourceLocationFromComment()
regex_constants::ECMAScript | regex_constants::optimize regex_constants::ECMAScript | regex_constants::optimize
); );
static regex const srcTagArgsRegex = regex( static regex const srcTagArgsRegex = regex(
R"~~(^(-1|\d+):(-1|\d+):(-1|\d+)(?:\s+|$))~~", // index and location, e.g.: 1:234:-1 R"~~(^(-1|\d+):(-1|\d+):(-1|\d+)(?:\s+|$))~~" // index and location, e.g.: 1:234:-1
R"~~(("(?:[^"\\]|\\.)*"?)?)~~", // optional code snippet, e.g.: "string memory s = \"abc\";..."
regex_constants::ECMAScript | regex_constants::optimize regex_constants::ECMAScript | regex_constants::optimize
); );
@ -164,9 +165,22 @@ void Parser::fetchSourceLocationFromComment()
return; return;
} }
solAssert(srcTagArgsMatch.size() == 4, ""); solAssert(srcTagArgsMatch.size() == 5, "");
position += srcTagArgsMatch.position() + srcTagArgsMatch.length(); position += srcTagArgsMatch.position() + srcTagArgsMatch.length();
if (srcTagArgsMatch[4].matched && (
!boost::algorithm::ends_with(srcTagArgsMatch[4].str(), "\"") ||
boost::algorithm::ends_with(srcTagArgsMatch[4].str(), "\\\"")
))
{
m_errorReporter.syntaxError(
1544_error,
commentLocation,
"Invalid code snippet in source location mapping. Quote is not terminated."
);
return;
}
optional<int> const sourceIndex = toInt(srcTagArgsMatch[1].str()); optional<int> const sourceIndex = toInt(srcTagArgsMatch[1].str());
optional<int> const start = toInt(srcTagArgsMatch[2].str()); optional<int> const start = toInt(srcTagArgsMatch[2].str());
optional<int> const end = toInt(srcTagArgsMatch[3].str()); optional<int> const end = toInt(srcTagArgsMatch[3].str());

67
libyul/AsmPrinter.cpp
View File

@ -27,6 +27,7 @@
#include <libyul/Dialect.h> #include <libyul/Dialect.h>
#include <libsolutil/CommonData.h> #include <libsolutil/CommonData.h>
#include <libsolutil/StringUtils.h>
#include <boost/algorithm/string.hpp> #include <boost/algorithm/string.hpp>
#include <boost/algorithm/string/replace.hpp> #include <boost/algorithm/string/replace.hpp>
@ -38,6 +39,7 @@
using namespace std; using namespace std;
using namespace solidity; using namespace solidity;
using namespace solidity::langutil;
using namespace solidity::util; using namespace solidity::util;
using namespace solidity::yul; using namespace solidity::yul;
@ -256,7 +258,49 @@ string AsmPrinter::appendTypeName(YulString _type, bool _isBoolLiteral) const
return ":" + _type.str(); return ":" + _type.str();
} }
string AsmPrinter::formatSourceLocationComment(shared_ptr<DebugData const> const& _debugData, bool _statement) string AsmPrinter::formatSourceLocationComment(
SourceLocation const& _location,
map<string, unsigned> const& _nameToSourceIndex,
bool _statement,
CharStreamProvider const* _soliditySourceProvider
)
{
yulAssert(!_nameToSourceIndex.empty(), "");
string sourceIndex = "-1";
string solidityCodeSnippet = "";
if (_location.sourceName)
{
sourceIndex = to_string(_nameToSourceIndex.at(*_location.sourceName));
if (_soliditySourceProvider)
{
solidityCodeSnippet = escapeAndQuoteString(
_soliditySourceProvider->charStream(*_location.sourceName).singleLineSnippet(_location)
);
// On top of escaping quotes we also escape the slash inside any `*/` to guard against
// it prematurely terminating multi-line comment blocks. We do not escape all slashes
// because the ones without `*` are not dangerous and ignoring them reduces visual noise.
boost::replace_all(solidityCodeSnippet, "*/", "*\\/");
}
}
string sourceLocation =
"@src " +
sourceIndex +
":" +
to_string(_location.start) +
":" +
to_string(_location.end);
return
_statement ?
"/// " + joinHumanReadable(vector<string>{sourceLocation, solidityCodeSnippet}, " ") :
"/** " + joinHumanReadable(vector<string>{sourceLocation, solidityCodeSnippet}, " ") + " */ ";
}
string AsmPrinter::formatSourceLocationComment(shared_ptr<DebugData const> const& _debugData, bool _statement)
{ {
if ( if (
!_debugData || !_debugData ||
@ -267,19 +311,10 @@ string AsmPrinter::formatSourceLocationComment(shared_ptr<DebugData const> const
m_lastLocation = _debugData->location; m_lastLocation = _debugData->location;
string sourceIndex = "-1"; return formatSourceLocationComment(
if (_debugData->location.sourceName) _debugData->location,
sourceIndex = to_string(m_nameToSourceIndex.at(*_debugData->location.sourceName)); m_nameToSourceIndex,
_statement,
string sourceLocation = m_soliditySourceProvider
"@src " + ) + (_statement ? "\n" : "");
sourceIndex +
":" +
to_string(_debugData->location.start) +
":" +
to_string(_debugData->location.end);
return
_statement ?
"/// " + sourceLocation + "\n" :
"/** " + sourceLocation + " */ ";
} }

22
libyul/AsmPrinter.h
View File

@ -28,6 +28,7 @@
#include <libsolutil/CommonData.h> #include <libsolutil/CommonData.h>
#include <liblangutil/CharStreamProvider.h>
#include <liblangutil/SourceLocation.h> #include <liblangutil/SourceLocation.h>
#include <map> #include <map>
@ -46,9 +47,11 @@ class AsmPrinter
public: public:
explicit AsmPrinter( explicit AsmPrinter(
Dialect const* _dialect = nullptr, Dialect const* _dialect = nullptr,
std::optional<std::map<unsigned, std::shared_ptr<std::string const>>> _sourceIndexToName = {} std::optional<std::map<unsigned, std::shared_ptr<std::string const>>> _sourceIndexToName = {},
langutil::CharStreamProvider const* _soliditySourceProvider = nullptr
): ):
m_dialect(_dialect) m_dialect(_dialect),
m_soliditySourceProvider(_soliditySourceProvider)
{ {
if (_sourceIndexToName) if (_sourceIndexToName)
for (auto&& [index, name]: *_sourceIndexToName) for (auto&& [index, name]: *_sourceIndexToName)
@ -58,8 +61,9 @@ public:
explicit AsmPrinter( explicit AsmPrinter(
Dialect const& _dialect, Dialect const& _dialect,
std::optional<std::map<unsigned, std::shared_ptr<std::string const>>> _sourceIndexToName = {} std::optional<std::map<unsigned, std::shared_ptr<std::string const>>> _sourceIndexToName = {},
): AsmPrinter(&_dialect, _sourceIndexToName) {} langutil::CharStreamProvider const* _soliditySourceProvider = nullptr
): AsmPrinter(&_dialect, _sourceIndexToName, _soliditySourceProvider) {}
std::string operator()(Literal const& _literal); std::string operator()(Literal const& _literal);
std::string operator()(Identifier const& _identifier); std::string operator()(Identifier const& _identifier);
@ -76,6 +80,13 @@ public:
std::string operator()(Leave const& _continue); std::string operator()(Leave const& _continue);
std::string operator()(Block const& _block); std::string operator()(Block const& _block);
static std::string formatSourceLocationComment(
langutil::SourceLocation const& _location,
std::map<std::string, unsigned> const& _nameToSourceIndex,
bool _statement,
langutil::CharStreamProvider const* m_soliditySourceProvider = nullptr
);
private: private:
std::string formatTypedName(TypedName _variable); std::string formatTypedName(TypedName _variable);
std::string appendTypeName(YulString _type, bool _isBoolLiteral = false) const; std::string appendTypeName(YulString _type, bool _isBoolLiteral = false) const;
@ -88,8 +99,9 @@ private:
} }
Dialect const* const m_dialect = nullptr; Dialect const* const m_dialect = nullptr;
std::map<std::string const, unsigned> m_nameToSourceIndex; std::map<std::string, unsigned> m_nameToSourceIndex;
langutil::SourceLocation m_lastLocation = {}; langutil::SourceLocation m_lastLocation = {};
langutil::CharStreamProvider const* m_soliditySourceProvider = nullptr;
}; };
} }

4
libyul/AssemblyStack.cpp
View File

@ -314,11 +314,11 @@ AssemblyStack::assembleEVMWithDeployed(optional<string_view> _deployName) const
return {make_shared<evmasm::Assembly>(assembly), {}}; return {make_shared<evmasm::Assembly>(assembly), {}};
} }
string AssemblyStack::print() const string AssemblyStack::print(CharStreamProvider const* _soliditySourceProvider) const
{ {
yulAssert(m_parserResult, ""); yulAssert(m_parserResult, "");
yulAssert(m_parserResult->code, ""); yulAssert(m_parserResult->code, "");
return m_parserResult->toString(&languageToDialect(m_language, m_evmVersion)) + "\n"; return m_parserResult->toString(&languageToDialect(m_language, m_evmVersion), _soliditySourceProvider) + "\n";
} }
shared_ptr<Object> AssemblyStack::parserResult() const shared_ptr<Object> AssemblyStack::parserResult() const

2
libyul/AssemblyStack.h
View File

@ -116,7 +116,7 @@ public:
langutil::ErrorList const& errors() const { return m_errors; } langutil::ErrorList const& errors() const { return m_errors; }
/// Pretty-print the input after having parsed it. /// Pretty-print the input after having parsed it.
std::string print() const; std::string print(langutil::CharStreamProvider const* _soliditySourceProvider = nullptr) const;
/// Return the parsed and analyzed object. /// Return the parsed and analyzed object.
std::shared_ptr<Object> parserResult() const; std::shared_ptr<Object> parserResult() const;

14
libyul/Object.cpp
View File

@ -35,8 +35,9 @@
using namespace std; using namespace std;
using namespace solidity; using namespace solidity;
using namespace solidity::yul; using namespace solidity::langutil;
using namespace solidity::util; using namespace solidity::util;
using namespace solidity::yul;
namespace namespace
{ {
@ -50,12 +51,15 @@ string indent(std::string const& _input)
} }
string Data::toString(Dialect const*) const string Data::toString(Dialect const*, CharStreamProvider const*) const
{ {
return "data \"" + name.str() + "\" hex\"" + util::toHex(data) + "\""; return "data \"" + name.str() + "\" hex\"" + util::toHex(data) + "\"";
} }
string Object::toString(Dialect const* _dialect) const string Object::toString(
Dialect const* _dialect,
CharStreamProvider const* _soliditySourceProvider
) const
{ {
yulAssert(code, "No code"); yulAssert(code, "No code");
yulAssert(debugData, "No debug data"); yulAssert(debugData, "No debug data");
@ -70,10 +74,10 @@ string Object::toString(Dialect const* _dialect) const
})) + })) +
"\n"; "\n";
string inner = "code " + AsmPrinter{_dialect, debugData->sourceNames}(*code); string inner = "code " + AsmPrinter{_dialect, debugData->sourceNames, _soliditySourceProvider}(*code);
for (auto const& obj: subObjects) for (auto const& obj: subObjects)
inner += "\n" + obj->toString(_dialect); inner += "\n" + obj->toString(_dialect, _soliditySourceProvider);
return useSrcComment + "object \"" + name.str() + "\" {\n" + indent(inner) + "\n}"; return useSrcComment + "object \"" + name.str() + "\" {\n" + indent(inner) + "\n}";
} }

18
libyul/Object.h
View File

@ -24,6 +24,8 @@
#include <libyul/ASTForward.h> #include <libyul/ASTForward.h>
#include <libyul/YulString.h> #include <libyul/YulString.h>
#include <liblangutil/CharStreamProvider.h>
#include <libsolutil/Common.h> #include <libsolutil/Common.h>
#include <memory> #include <memory>
@ -49,8 +51,10 @@ struct ObjectNode
/// Name of the object. /// Name of the object.
/// Can be empty since .yul files can also just contain code, without explicitly placing it in an object. /// Can be empty since .yul files can also just contain code, without explicitly placing it in an object.
YulString name; YulString name;
virtual std::string toString(
virtual std::string toString(Dialect const* _dialect) const = 0; Dialect const* _dialect,
langutil::CharStreamProvider const* _soliditySourceProvider
) const = 0;
}; };
/** /**
@ -62,7 +66,10 @@ struct Data: public ObjectNode
bytes data; bytes data;
std::string toString(Dialect const* _dialect) const override; std::string toString(
Dialect const* _dialect,
langutil::CharStreamProvider const* _soliditySourceProvider
) const override;
}; };
@ -79,7 +86,10 @@ struct Object: public ObjectNode
{ {
public: public:
/// @returns a (parseable) string representation. /// @returns a (parseable) string representation.
std::string toString(Dialect const* _dialect) const; std::string toString(
Dialect const* _dialect,
langutil::CharStreamProvider const* _soliditySourceProvider = nullptr
) const;
/// @returns the set of names of data objects accessible from within the code of /// @returns the set of names of data objects accessible from within the code of
/// this object, including the name of object itself /// this object, including the name of object itself

1
scripts/error_codes.py
View File

@ -192,6 +192,7 @@ def examine_id_coverage(top_dir, source_id_to_file_names, new_ids_only=False):
# white list of ids which are not covered by tests # white list of ids which are not covered by tests
white_ids = { white_ids = {
"9804", # Tested in test/libyul/ObjectParser.cpp. "9804", # Tested in test/libyul/ObjectParser.cpp.
"1544",
"2674", "2674",
"6367", "6367",
"8387", "8387",

12
test/cmdlineTests/constant_optimizer_yul/output
View File

@ -10,12 +10,12 @@ Optimized IR:
object "C_12" { object "C_12" {
code { code {
{ {
/// @src 0:61:418 /// @src 0:61:418 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
/// @src 0:103:238 /// @src 0:103:238 "assembly {..."
sstore(0, shl(180, 1)) sstore(0, shl(180, 1))
/// @src 0:61:418 /// @src 0:61:418 "contract C {..."
let _1 := datasize("C_12_deployed") let _1 := datasize("C_12_deployed")
codecopy(128, dataoffset("C_12_deployed"), _1) codecopy(128, dataoffset("C_12_deployed"), _1)
return(128, _1) return(128, _1)
@ -25,12 +25,12 @@ object "C_12" {
object "C_12_deployed" { object "C_12_deployed" {
code { code {
{ {
/// @src 0:61:418 /// @src 0:61:418 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
/// @src 0:279:410 /// @src 0:279:410 "assembly {..."
sstore(0, 0x1000000000000000000000000000000000000000000000) sstore(0, 0x1000000000000000000000000000000000000000000000)
/// @src 0:61:418 /// @src 0:61:418 "contract C {..."
stop() stop()
} }
} }

104
test/cmdlineTests/exp_base_literal/output
View File

@ -10,7 +10,7 @@ IR:
/// @use-src 0:"exp_base_literal/input.sol" /// @use-src 0:"exp_base_literal/input.sol"
object "C_81" { object "C_81" {
code { code {
/// @src 0:82:370 /// @src 0:82:370 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -29,19 +29,19 @@ object "C_81" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:82:370 /// @src 0:82:370 "contract C {..."
function constructor_C_81() { function constructor_C_81() {
/// @src 0:82:370 /// @src 0:82:370 "contract C {..."
} }
/// @src 0:82:370 /// @src 0:82:370 "contract C {..."
} }
/// @use-src 0:"exp_base_literal/input.sol" /// @use-src 0:"exp_base_literal/input.sol"
object "C_81_deployed" { object "C_81_deployed" {
code { code {
/// @src 0:82:370 /// @src 0:82:370 "contract C {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -288,123 +288,123 @@ object "C_81" {
power := exp(1, exponent) power := exp(1, exponent)
} }
/// @src 0:96:368 /// @src 0:96:368 "function f(uint a, uint b, uint c, uint d) public pure returns (uint, int, uint, uint) {..."
function fun_f_80(var_a_4, var_b_6, var_c_8, var_d_10) -> var__13, var__15, var__17, var__19 { function fun_f_80(var_a_4, var_b_6, var_c_8, var_d_10) -> var__13, var__15, var__17, var__19 {
/// @src 0:160:164 /// @src 0:160:164 "uint"
let zero_t_uint256_1 := zero_value_for_split_t_uint256() let zero_t_uint256_1 := zero_value_for_split_t_uint256()
var__13 := zero_t_uint256_1 var__13 := zero_t_uint256_1
/// @src 0:166:169 /// @src 0:166:169 "int"
let zero_t_int256_2 := zero_value_for_split_t_int256() let zero_t_int256_2 := zero_value_for_split_t_int256()
var__15 := zero_t_int256_2 var__15 := zero_t_int256_2
/// @src 0:171:175 /// @src 0:171:175 "uint"
let zero_t_uint256_3 := zero_value_for_split_t_uint256() let zero_t_uint256_3 := zero_value_for_split_t_uint256()
var__17 := zero_t_uint256_3 var__17 := zero_t_uint256_3
/// @src 0:177:181 /// @src 0:177:181 "uint"
let zero_t_uint256_4 := zero_value_for_split_t_uint256() let zero_t_uint256_4 := zero_value_for_split_t_uint256()
var__19 := zero_t_uint256_4 var__19 := zero_t_uint256_4
/// @src 0:196:197 /// @src 0:196:197 "2"
let expr_23 := 0x02 let expr_23 := 0x02
/// @src 0:199:200 /// @src 0:199:200 "a"
let _5 := var_a_4 let _5 := var_a_4
let expr_24 := _5 let expr_24 := _5
/// @src 0:196:200 /// @src 0:196:200 "2**a"
let _6 := convert_t_rational_2_by_1_to_t_uint256(expr_23) let _6 := convert_t_rational_2_by_1_to_t_uint256(expr_23)
let expr_25 := checked_exp_t_rational_2_by_1_t_uint256(expr_24) let expr_25 := checked_exp_t_rational_2_by_1_t_uint256(expr_24)
/// @src 0:187:200 /// @src 0:187:200 "uint w = 2**a"
let var_w_22 := expr_25 let var_w_22 := expr_25
/// @src 0:213:215 /// @src 0:213:215 "-2"
let expr_30 := 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe let expr_30 := 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
/// @src 0:212:216 /// @src 0:212:216 "(-2)"
let expr_31 := expr_30 let expr_31 := expr_30
/// @src 0:218:219 /// @src 0:218:219 "b"
let _7 := var_b_6 let _7 := var_b_6
let expr_32 := _7 let expr_32 := _7
/// @src 0:212:219 /// @src 0:212:219 "(-2)**b"
let _8 := convert_t_rational_minus_2_by_1_to_t_int256(expr_31) let _8 := convert_t_rational_minus_2_by_1_to_t_int256(expr_31)
let expr_33 := checked_exp_t_rational_minus_2_by_1_t_uint256(expr_32) let expr_33 := checked_exp_t_rational_minus_2_by_1_t_uint256(expr_32)
/// @src 0:204:219 /// @src 0:204:219 "int x = (-2)**b"
let var_x_28 := expr_33 let var_x_28 := expr_33
/// @src 0:232:234 /// @src 0:232:234 "10"
let expr_37 := 0x0a let expr_37 := 0x0a
/// @src 0:236:237 /// @src 0:236:237 "c"
let _9 := var_c_8 let _9 := var_c_8
let expr_38 := _9 let expr_38 := _9
/// @src 0:232:237 /// @src 0:232:237 "10**c"
let _10 := convert_t_rational_10_by_1_to_t_uint256(expr_37) let _10 := convert_t_rational_10_by_1_to_t_uint256(expr_37)
let expr_39 := checked_exp_t_rational_10_by_1_t_uint256(expr_38) let expr_39 := checked_exp_t_rational_10_by_1_t_uint256(expr_38)
/// @src 0:223:237 /// @src 0:223:237 "uint y = 10**c"
let var_y_36 := expr_39 let var_y_36 := expr_39
/// @src 0:251:260 /// @src 0:251:260 "2**256 -1"
let expr_47 := 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff let expr_47 := 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
/// @src 0:250:262 /// @src 0:250:262 "(2**256 -1 )"
let expr_48 := expr_47 let expr_48 := expr_47
/// @src 0:264:265 /// @src 0:264:265 "d"
let _11 := var_d_10 let _11 := var_d_10
let expr_49 := _11 let expr_49 := _11
/// @src 0:250:265 /// @src 0:250:265 "(2**256 -1 )**d"
let _12 := convert_t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1_to_t_uint256(expr_48) let _12 := convert_t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1_to_t_uint256(expr_48)
let expr_50 := checked_exp_t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1_t_uint256(expr_49) let expr_50 := checked_exp_t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1_t_uint256(expr_49)
/// @src 0:241:265 /// @src 0:241:265 "uint z = (2**256 -1 )**d"
let var_z_42 := expr_50 let var_z_42 := expr_50
/// @src 0:308:309 /// @src 0:308:309 "0"
let expr_53 := 0x00 let expr_53 := 0x00
/// @src 0:307:310 /// @src 0:307:310 "(0)"
let expr_54 := expr_53 let expr_54 := expr_53
/// @src 0:312:313 /// @src 0:312:313 "a"
let _13 := var_a_4 let _13 := var_a_4
let expr_55 := _13 let expr_55 := _13
/// @src 0:307:313 /// @src 0:307:313 "(0)**a"
let _14 := convert_t_rational_0_by_1_to_t_uint256(expr_54) let _14 := convert_t_rational_0_by_1_to_t_uint256(expr_54)
let expr_56 := checked_exp_t_rational_0_by_1_t_uint256(expr_55) let expr_56 := checked_exp_t_rational_0_by_1_t_uint256(expr_55)
/// @src 0:303:313 /// @src 0:303:313 "w = (0)**a"
var_w_22 := expr_56 var_w_22 := expr_56
let expr_57 := expr_56 let expr_57 := expr_56
/// @src 0:322:324 /// @src 0:322:324 "-1"
let expr_61 := 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff let expr_61 := 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
/// @src 0:321:325 /// @src 0:321:325 "(-1)"
let expr_62 := expr_61 let expr_62 := expr_61
/// @src 0:327:328 /// @src 0:327:328 "b"
let _15 := var_b_6 let _15 := var_b_6
let expr_63 := _15 let expr_63 := _15
/// @src 0:321:328 /// @src 0:321:328 "(-1)**b"
let _16 := convert_t_rational_minus_1_by_1_to_t_int256(expr_62) let _16 := convert_t_rational_minus_1_by_1_to_t_int256(expr_62)
let expr_64 := checked_exp_t_rational_minus_1_by_1_t_uint256(expr_63) let expr_64 := checked_exp_t_rational_minus_1_by_1_t_uint256(expr_63)
/// @src 0:317:328 /// @src 0:317:328 "x = (-1)**b"
var_x_28 := expr_64 var_x_28 := expr_64
let expr_65 := expr_64 let expr_65 := expr_64
/// @src 0:336:337 /// @src 0:336:337 "1"
let expr_68 := 0x01 let expr_68 := 0x01
/// @src 0:339:340 /// @src 0:339:340 "c"
let _17 := var_c_8 let _17 := var_c_8
let expr_69 := _17 let expr_69 := _17
/// @src 0:336:340 /// @src 0:336:340 "1**c"
let _18 := convert_t_rational_1_by_1_to_t_uint256(expr_68) let _18 := convert_t_rational_1_by_1_to_t_uint256(expr_68)
let expr_70 := checked_exp_t_rational_1_by_1_t_uint256(expr_69) let expr_70 := checked_exp_t_rational_1_by_1_t_uint256(expr_69)
/// @src 0:332:340 /// @src 0:332:340 "y = 1**c"
var_y_36 := expr_70 var_y_36 := expr_70
let expr_71 := expr_70 let expr_71 := expr_70
/// @src 0:353:354 /// @src 0:353:354 "w"
let _19 := var_w_22 let _19 := var_w_22
let expr_73 := _19 let expr_73 := _19
/// @src 0:352:364 /// @src 0:352:364 "(w, x, y, z)"
let expr_77_component_1 := expr_73 let expr_77_component_1 := expr_73
/// @src 0:356:357 /// @src 0:356:357 "x"
let _20 := var_x_28 let _20 := var_x_28
let expr_74 := _20 let expr_74 := _20
/// @src 0:352:364 /// @src 0:352:364 "(w, x, y, z)"
let expr_77_component_2 := expr_74 let expr_77_component_2 := expr_74
/// @src 0:359:360 /// @src 0:359:360 "y"
let _21 := var_y_36 let _21 := var_y_36
let expr_75 := _21 let expr_75 := _21
/// @src 0:352:364 /// @src 0:352:364 "(w, x, y, z)"
let expr_77_component_3 := expr_75 let expr_77_component_3 := expr_75
/// @src 0:362:363 /// @src 0:362:363 "z"
let _22 := var_z_42 let _22 := var_z_42
let expr_76 := _22 let expr_76 := _22
/// @src 0:352:364 /// @src 0:352:364 "(w, x, y, z)"
let expr_77_component_4 := expr_76 let expr_77_component_4 := expr_76
/// @src 0:345:364 /// @src 0:345:364 "return (w, x, y, z)"
var__13 := expr_77_component_1 var__13 := expr_77_component_1
var__15 := expr_77_component_2 var__15 := expr_77_component_2
var__17 := expr_77_component_3 var__17 := expr_77_component_3
@ -412,7 +412,7 @@ object "C_81" {
leave leave
} }
/// @src 0:82:370 /// @src 0:82:370 "contract C {..."
} }

8
test/cmdlineTests/ir_compiler_inheritance_nosubobjects/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "C_7" { object "C_7" {
code { code {
{ {
/// @src 0:82:117 /// @src 0:82:117 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_7_deployed") let _1 := datasize("C_7_deployed")
@ -22,7 +22,7 @@ object "C_7" {
object "C_7_deployed" { object "C_7_deployed" {
code { code {
{ {
/// @src 0:82:117 /// @src 0:82:117 "contract C {..."
mstore(64, 128) mstore(64, 128)
revert(0, 0) revert(0, 0)
} }
@ -43,7 +43,7 @@ Optimized IR:
object "D_10" { object "D_10" {
code { code {
{ {
/// @src 0:118:137 /// @src 0:118:137 "contract D is C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("D_10_deployed") let _1 := datasize("D_10_deployed")
@ -55,7 +55,7 @@ object "D_10" {
object "D_10_deployed" { object "D_10_deployed" {
code { code {
{ {
/// @src 0:118:137 /// @src 0:118:137 "contract D is C {..."
mstore(64, 128) mstore(64, 128)
revert(0, 0) revert(0, 0)
} }

30
test/cmdlineTests/ir_compiler_subobjects/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "C_3" { object "C_3" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_3_deployed") let _1 := datasize("C_3_deployed")
@ -22,7 +22,7 @@ object "C_3" {
object "C_3_deployed" { object "C_3_deployed" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
revert(0, 0) revert(0, 0)
} }
@ -43,7 +43,7 @@ Optimized IR:
object "D_16" { object "D_16" {
code { code {
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("D_16_deployed") let _1 := datasize("D_16_deployed")
@ -55,7 +55,7 @@ object "D_16" {
object "D_16_deployed" { object "D_16_deployed" {
code { code {
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {
@ -64,22 +64,22 @@ object "D_16" {
{ {
if callvalue() { revert(_1, _1) } if callvalue() { revert(_1, _1) }
if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) } if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) }
/// @src 0:149:156 /// @src 0:149:156 "new C()"
let _2 := datasize("C_3") let _2 := datasize("C_3")
let _3 := add(/** @src 0:96:165 */ 128, /** @src 0:149:156 */ _2) let _3 := add(/** @src 0:96:165 "contract D {..." */ 128, /** @src 0:149:156 "new C()" */ _2)
if or(gt(_3, 0xffffffffffffffff), lt(_3, /** @src 0:96:165 */ 128)) if or(gt(_3, 0xffffffffffffffff), lt(_3, /** @src 0:96:165 "contract D {..." */ 128))
/// @src 0:149:156 /// @src 0:149:156 "new C()"
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
mstore(_1, shl(224, 0x4e487b71)) mstore(_1, shl(224, 0x4e487b71))
mstore(4, 0x41) mstore(4, 0x41)
revert(_1, 0x24) revert(_1, 0x24)
} }
/// @src 0:149:156 /// @src 0:149:156 "new C()"
datacopy(/** @src 0:96:165 */ 128, /** @src 0:149:156 */ dataoffset("C_3"), _2) datacopy(/** @src 0:96:165 "contract D {..." */ 128, /** @src 0:149:156 "new C()" */ dataoffset("C_3"), _2)
if iszero(create(/** @src 0:96:165 */ _1, 128, /** @src 0:149:156 */ _2)) if iszero(create(/** @src 0:96:165 "contract D {..." */ _1, 128, /** @src 0:149:156 "new C()" */ _2))
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
let pos := mload(64) let pos := mload(64)
returndatacopy(pos, _1, returndatasize()) returndatacopy(pos, _1, returndatasize())
revert(pos, returndatasize()) revert(pos, returndatasize())
@ -94,7 +94,7 @@ object "D_16" {
object "C_3" { object "C_3" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_3_deployed") let _1 := datasize("C_3_deployed")
@ -106,7 +106,7 @@ object "D_16" {
object "C_3_deployed" { object "C_3_deployed" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
revert(0, 0) revert(0, 0)
} }

4
test/cmdlineTests/ir_with_assembly_no_memoryguard_creation/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "D_12" { object "D_12" {
code { code {
{ {
/// @src 0:82:161 /// @src 0:82:161 "contract D {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("D_12_deployed") let _1 := datasize("D_12_deployed")
@ -22,7 +22,7 @@ object "D_12" {
object "D_12_deployed" { object "D_12_deployed" {
code { code {
{ {
/// @src 0:82:161 /// @src 0:82:161 "contract D {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {

4
test/cmdlineTests/ir_with_assembly_no_memoryguard_runtime/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "D_8" { object "D_8" {
code { code {
{ {
/// @src 0:82:153 /// @src 0:82:153 "contract D {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("D_8_deployed") let _1 := datasize("D_8_deployed")
@ -22,7 +22,7 @@ object "D_8" {
object "D_8_deployed" { object "D_8_deployed" {
code { code {
{ {
/// @src 0:82:153 /// @src 0:82:153 "contract D {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {

12
test/cmdlineTests/keccak_optimization_deploy_code/output
View File

@ -10,13 +10,13 @@ Optimized IR:
object "C_12" { object "C_12" {
code { code {
{ {
/// @src 0:62:463 /// @src 0:62:463 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
/// @src 0:103:275 /// @src 0:103:275 "assembly {..."
mstore(0, 100) mstore(0, 100)
sstore(0, keccak256(0, 32)) sstore(0, keccak256(0, 32))
/// @src 0:62:463 /// @src 0:62:463 "contract C {..."
let _1 := datasize("C_12_deployed") let _1 := datasize("C_12_deployed")
codecopy(128, dataoffset("C_12_deployed"), _1) codecopy(128, dataoffset("C_12_deployed"), _1)
return(128, _1) return(128, _1)
@ -26,13 +26,13 @@ object "C_12" {
object "C_12_deployed" { object "C_12_deployed" {
code { code {
{ {
/// @src 0:62:463 /// @src 0:62:463 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
/// @src 0:317:454 /// @src 0:317:454 "assembly {..."
mstore(0, 100) mstore(0, 100)
sstore(0, 17385872270140913825666367956517731270094621555228275961425792378517567244498) sstore(0, 17385872270140913825666367956517731270094621555228275961425792378517567244498)
/// @src 0:62:463 /// @src 0:62:463 "contract C {..."
stop() stop()
} }
} }

8
test/cmdlineTests/keccak_optimization_low_runs/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "C_7" { object "C_7" {
code { code {
{ {
/// @src 0:62:285 /// @src 0:62:285 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_7_deployed") let _1 := datasize("C_7_deployed")
@ -22,13 +22,13 @@ object "C_7" {
object "C_7_deployed" { object "C_7_deployed" {
code { code {
{ {
/// @src 0:62:285 /// @src 0:62:285 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
/// @src 0:109:277 /// @src 0:109:277 "assembly {..."
mstore(0, 100) mstore(0, 100)
sstore(0, keccak256(0, 32)) sstore(0, keccak256(0, 32))
/// @src 0:62:285 /// @src 0:62:285 "contract C {..."
stop() stop()
} }
} }

18
test/cmdlineTests/name_simplifier/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "C_59" { object "C_59" {
code { code {
{ {
/// @src 0:346:625 /// @src 0:346:625 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_59_deployed") let _1 := datasize("C_59_deployed")
@ -22,7 +22,7 @@ object "C_59" {
object "C_59_deployed" { object "C_59_deployed" {
code { code {
{ {
/// @src 0:346:625 /// @src 0:346:625 "contract C {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {
@ -106,18 +106,18 @@ object "C_59" {
mstore(4, 0x32) mstore(4, 0x32)
revert(0, 0x24) revert(0, 0x24)
} }
/// @src 0:381:623 /// @src 0:381:623 "function sumArray(S[] memory _s) public returns (uint, string memory) {..."
function fun_sumArray(var_s_mpos) -> var, var_mpos function fun_sumArray(var_s_mpos) -> var, var_mpos
{ {
/// @src 0:346:625 /// @src 0:346:625 "contract C {..."
if iszero(mload(var_s_mpos)) { panic_error_0x32() } if iszero(mload(var_s_mpos)) { panic_error_0x32() }
sstore(/** @src 0:472:473 */ 0x00, /** @src 0:346:625 */ mload(/** @src 0:469:474 */ mload(/** @src 0:346:625 */ add(var_s_mpos, 32)))) sstore(/** @src 0:472:473 "0" */ 0x00, /** @src 0:346:625 "contract C {..." */ mload(/** @src 0:469:474 "_s[0]" */ mload(/** @src 0:346:625 "contract C {..." */ add(var_s_mpos, 32))))
if iszero(lt(1, mload(var_s_mpos))) { panic_error_0x32() } if iszero(lt(1, mload(var_s_mpos))) { panic_error_0x32() }
let _1 := mload(/** @src 0:489:494 */ mload(/** @src 0:346:625 */ add(var_s_mpos, 64))) let _1 := mload(/** @src 0:489:494 "_s[1]" */ mload(/** @src 0:346:625 "contract C {..." */ add(var_s_mpos, 64)))
sstore(0x02, _1) sstore(0x02, _1)
/// @src 0:500:619 /// @src 0:500:619 "return (t.y[0], \"longstringlongstringlongstringlongstringlongstringlongstringlongstringlongstringlongstringlongstring\")"
var := _1 var := _1
/// @src 0:346:625 /// @src 0:346:625 "contract C {..."
let memPtr := mload(64) let memPtr := mload(64)
let newFreePtr := add(memPtr, 160) let newFreePtr := add(memPtr, 160)
if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() } if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }
@ -127,7 +127,7 @@ object "C_59" {
mstore(add(memPtr, 64), "ngstringlongstringlongstringlong") mstore(add(memPtr, 64), "ngstringlongstringlongstringlong")
mstore(add(memPtr, 96), "stringlongstringlongstringlongst") mstore(add(memPtr, 96), "stringlongstringlongstringlongst")
mstore(add(memPtr, 128), "ring") mstore(add(memPtr, 128), "ring")
/// @src 0:500:619 /// @src 0:500:619 "return (t.y[0], \"longstringlongstringlongstringlongstringlongstringlongstringlongstringlongstringlongstringlongstring\")"
var_mpos := memPtr var_mpos := memPtr
} }
} }

28
test/cmdlineTests/optimizer_array_sload/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "Arraysum_34" { object "Arraysum_34" {
code { code {
{ {
/// @src 0:80:429 /// @src 0:80:429 "contract Arraysum {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("Arraysum_34_deployed") let _1 := datasize("Arraysum_34_deployed")
@ -22,7 +22,7 @@ object "Arraysum_34" {
object "Arraysum_34_deployed" { object "Arraysum_34_deployed" {
code { code {
{ {
/// @src 0:80:429 /// @src 0:80:429 "contract Arraysum {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {
@ -32,27 +32,27 @@ object "Arraysum_34" {
if callvalue() { revert(_1, _1) } if callvalue() { revert(_1, _1) }
if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) } if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) }
let var_sum := _1 let var_sum := _1
/// @src 0:368:378 /// @src 0:368:378 "uint i = 0"
let var_i := /** @src 0:80:429 */ _1 let var_i := /** @src 0:80:429 "contract Arraysum {..." */ _1
let _2 := sload(_1) let _2 := sload(_1)
/// @src 0:364:423 /// @src 0:364:423 "for(uint i = 0; i < values.length; i++)..."
for { } for { }
/** @src 0:380:397 */ lt(var_i, _2) /** @src 0:380:397 "i < values.length" */ lt(var_i, _2)
/// @src 0:368:378 /// @src 0:368:378 "uint i = 0"
{ {
/// @src 0:80:429 /// @src 0:80:429 "contract Arraysum {..."
if eq(var_i, not(0)) { panic_error_0x11() } if eq(var_i, not(0)) { panic_error_0x11() }
/// @src 0:399:402 /// @src 0:399:402 "i++"
var_i := /** @src 0:80:429 */ add(var_i, 1) var_i := /** @src 0:80:429 "contract Arraysum {..." */ add(var_i, 1)
} }
/// @src 0:399:402 /// @src 0:399:402 "i++"
{ {
/// @src 0:80:429 /// @src 0:80:429 "contract Arraysum {..."
mstore(_1, _1) mstore(_1, _1)
let _3 := sload(add(18569430475105882587588266137607568536673111973893317399460219858819262702947, var_i)) let _3 := sload(add(18569430475105882587588266137607568536673111973893317399460219858819262702947, var_i))
if gt(var_sum, not(_3)) { panic_error_0x11() } if gt(var_sum, not(_3)) { panic_error_0x11() }
/// @src 0:407:423 /// @src 0:407:423 "sum += values[i]"
var_sum := /** @src 0:80:429 */ add(var_sum, _3) var_sum := /** @src 0:80:429 "contract Arraysum {..." */ add(var_sum, _3)
} }
let memPos := mload(64) let memPos := mload(64)
return(memPos, sub(abi_encode_uint256(memPos, var_sum), memPos)) return(memPos, sub(abi_encode_uint256(memPos, var_sum), memPos))

14
test/cmdlineTests/revert_strings/output
View File

@ -10,7 +10,7 @@ IR:
/// @use-src 0:"revert_strings/input.sol" /// @use-src 0:"revert_strings/input.sol"
object "C_15" { object "C_15" {
code { code {
/// @src 0:59:147 /// @src 0:59:147 "contract C {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -44,19 +44,19 @@ object "C_15" {
} }
/// @src 0:59:147 /// @src 0:59:147 "contract C {..."
function constructor_C_15() { function constructor_C_15() {
/// @src 0:59:147 /// @src 0:59:147 "contract C {..."
} }
/// @src 0:59:147 /// @src 0:59:147 "contract C {..."
} }
/// @use-src 0:"revert_strings/input.sol" /// @use-src 0:"revert_strings/input.sol"
object "C_15_deployed" { object "C_15_deployed" {
code { code {
/// @src 0:59:147 /// @src 0:59:147 "contract C {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -359,11 +359,11 @@ object "C_15" {
} }
/// @src 0:93:145 /// @src 0:93:145 "function f(uint[][] memory, E e) public pure {..."
function fun_f_14(var__7_mpos, var_e_10) { function fun_f_14(var__7_mpos, var_e_10) {
} }
/// @src 0:59:147 /// @src 0:59:147 "contract C {..."
} }

6
test/cmdlineTests/standard_irOptimized_requested/output.json
View File

@ -8,7 +8,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_7\" { object \"C_7\" {
code { code {
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
mstore(64, 128) mstore(64, 128)
if callvalue() if callvalue()
{ {
@ -28,7 +28,7 @@ object \"C_7\" {
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_7_deployed\" { object \"C_7_deployed\" {
code { code {
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {
@ -68,7 +68,7 @@ object \"C_7\" {
{ tail := add(headStart, 0) } { tail := add(headStart, 0) }
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
{ revert(0, 0) } { revert(0, 0) }
/// @src 0:92:119 /// @src 0:92:119 \"function f() public pure {}\"
function fun_f_6() function fun_f_6()
{ } { }
} }

14
test/cmdlineTests/standard_ir_requested/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_7\" { object \"C_7\" {
code { code {
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_7\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
function constructor_C_7() { function constructor_C_7() {
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
} }
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_7_deployed\" { object \"C_7_deployed\" {
code { code {
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -98,11 +98,11 @@ object \"C_7\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:92:119 /// @src 0:92:119 \"function f() public pure {}\"
function fun_f_6() { function fun_f_6() {
} }
/// @src 0:79:121 /// @src 0:79:121 \"contract C { function f() public pure {} }\"
} }

38
test/cmdlineTests/standard_viair_requested/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_3\" { object \"C_3\" {
code { code {
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_3\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
function constructor_C_3() { function constructor_C_3() {
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
} }
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_3_deployed\" { object \"C_3_deployed\" {
code { code {
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -86,7 +86,7 @@ object \"C_3\" {
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"D_16\" { object \"D_16\" {
code { code {
/// @src 0:93:146 /// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -105,19 +105,19 @@ object \"D_16\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:93:146 /// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
function constructor_D_16() { function constructor_D_16() {
/// @src 0:93:146 /// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
} }
/// @src 0:93:146 /// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"D_16_deployed\" { object \"D_16_deployed\" {
code { code {
/// @src 0:93:146 /// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -187,10 +187,10 @@ object \"D_16\" {
revert(pos, returndatasize()) revert(pos, returndatasize())
} }
/// @src 0:106:144 /// @src 0:106:144 \"function f() public { C c = new C(); }\"
function fun_f_15() { function fun_f_15() {
/// @src 0:134:141 /// @src 0:134:141 \"new C()\"
let _1 := allocate_unbounded() let _1 := allocate_unbounded()
let _2 := add(_1, datasize(\"C_3\")) let _2 := add(_1, datasize(\"C_3\"))
if or(gt(_2, 0xffffffffffffffff), lt(_2, _1)) { panic_error_0x41() } if or(gt(_2, 0xffffffffffffffff), lt(_2, _1)) { panic_error_0x41() }
@ -201,11 +201,11 @@ object \"D_16\" {
if iszero(expr_12_address) { revert_forward_1() } if iszero(expr_12_address) { revert_forward_1() }
/// @src 0:128:141 /// @src 0:128:141 \"C c = new C()\"
let var_c_8_address := expr_12_address let var_c_8_address := expr_12_address
} }
/// @src 0:93:146 /// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
} }
/*=====================================================* /*=====================================================*
@ -218,7 +218,7 @@ object \"D_16\" {
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_3\" { object \"C_3\" {
code { code {
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -237,19 +237,19 @@ object \"D_16\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
function constructor_C_3() { function constructor_C_3() {
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
} }
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_3_deployed\" { object \"C_3_deployed\" {
code { code {
/// @src 0:79:92 /// @src 0:79:92 \"contract C {}\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))

20
test/cmdlineTests/viair_abicoder_v1/output
View File

@ -10,7 +10,7 @@ IR:
/// @use-src 0:"viair_abicoder_v1/input.sol" /// @use-src 0:"viair_abicoder_v1/input.sol"
object "test_11" { object "test_11" {
code { code {
/// @src 0:79:169 /// @src 0:79:169 "contract test {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -29,19 +29,19 @@ object "test_11" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:79:169 /// @src 0:79:169 "contract test {..."
function constructor_test_11() { function constructor_test_11() {
/// @src 0:79:169 /// @src 0:79:169 "contract test {..."
} }
/// @src 0:79:169 /// @src 0:79:169 "contract test {..."
} }
/// @use-src 0:"viair_abicoder_v1/input.sol" /// @use-src 0:"viair_abicoder_v1/input.sol"
object "test_11_deployed" { object "test_11_deployed" {
code { code {
/// @src 0:79:169 /// @src 0:79:169 "contract test {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -113,20 +113,20 @@ object "test_11" {
ret := 0 ret := 0
} }
/// @src 0:99:167 /// @src 0:99:167 "function f() public pure returns (bool) {..."
function fun_f_10() -> var__5 { function fun_f_10() -> var__5 {
/// @src 0:133:137 /// @src 0:133:137 "bool"
let zero_t_bool_1 := zero_value_for_split_t_bool() let zero_t_bool_1 := zero_value_for_split_t_bool()
var__5 := zero_t_bool_1 var__5 := zero_t_bool_1
/// @src 0:156:160 /// @src 0:156:160 "true"
let expr_7 := 0x01 let expr_7 := 0x01
/// @src 0:149:160 /// @src 0:149:160 "return true"
var__5 := expr_7 var__5 := expr_7
leave leave
} }
/// @src 0:79:169 /// @src 0:79:169 "contract test {..."
} }

30
test/cmdlineTests/viair_subobjects/output
View File

@ -16,7 +16,7 @@ Optimized IR:
object "C_3" { object "C_3" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_3_deployed") let _1 := datasize("C_3_deployed")
@ -28,7 +28,7 @@ object "C_3" {
object "C_3_deployed" { object "C_3_deployed" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
revert(0, 0) revert(0, 0)
} }
@ -55,7 +55,7 @@ Optimized IR:
object "D_16" { object "D_16" {
code { code {
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("D_16_deployed") let _1 := datasize("D_16_deployed")
@ -67,7 +67,7 @@ object "D_16" {
object "D_16_deployed" { object "D_16_deployed" {
code { code {
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {
@ -76,22 +76,22 @@ object "D_16" {
{ {
if callvalue() { revert(_1, _1) } if callvalue() { revert(_1, _1) }
if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) } if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) }
/// @src 0:149:156 /// @src 0:149:156 "new C()"
let _2 := datasize("C_3") let _2 := datasize("C_3")
let _3 := add(/** @src 0:96:165 */ 128, /** @src 0:149:156 */ _2) let _3 := add(/** @src 0:96:165 "contract D {..." */ 128, /** @src 0:149:156 "new C()" */ _2)
if or(gt(_3, 0xffffffffffffffff), lt(_3, /** @src 0:96:165 */ 128)) if or(gt(_3, 0xffffffffffffffff), lt(_3, /** @src 0:96:165 "contract D {..." */ 128))
/// @src 0:149:156 /// @src 0:149:156 "new C()"
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
mstore(_1, shl(224, 0x4e487b71)) mstore(_1, shl(224, 0x4e487b71))
mstore(4, 0x41) mstore(4, 0x41)
revert(_1, 0x24) revert(_1, 0x24)
} }
/// @src 0:149:156 /// @src 0:149:156 "new C()"
datacopy(/** @src 0:96:165 */ 128, /** @src 0:149:156 */ dataoffset("C_3"), _2) datacopy(/** @src 0:96:165 "contract D {..." */ 128, /** @src 0:149:156 "new C()" */ dataoffset("C_3"), _2)
if iszero(create(/** @src 0:96:165 */ _1, 128, /** @src 0:149:156 */ _2)) if iszero(create(/** @src 0:96:165 "contract D {..." */ _1, 128, /** @src 0:149:156 "new C()" */ _2))
{ {
/// @src 0:96:165 /// @src 0:96:165 "contract D {..."
let pos := mload(64) let pos := mload(64)
returndatacopy(pos, _1, returndatasize()) returndatacopy(pos, _1, returndatasize())
revert(pos, returndatasize()) revert(pos, returndatasize())
@ -106,7 +106,7 @@ object "D_16" {
object "C_3" { object "C_3" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert(0, 0) } if callvalue() { revert(0, 0) }
let _1 := datasize("C_3_deployed") let _1 := datasize("C_3_deployed")
@ -118,7 +118,7 @@ object "D_16" {
object "C_3_deployed" { object "C_3_deployed" {
code { code {
{ {
/// @src 0:82:95 /// @src 0:82:95 "contract C {}"
mstore(64, 128) mstore(64, 128)
revert(0, 0) revert(0, 0)
} }

4
test/cmdlineTests/yul_optimizer_steps/output
View File

@ -10,7 +10,7 @@ Optimized IR:
object "C_7" { object "C_7" {
code { code {
{ {
/// @src 0:80:112 /// @src 0:80:112 "contract C..."
mstore(64, 128) mstore(64, 128)
if callvalue() if callvalue()
{ {
@ -29,7 +29,7 @@ object "C_7" {
object "C_7_deployed" { object "C_7_deployed" {
code { code {
{ {
/// @src 0:80:112 /// @src 0:80:112 "contract C..."
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
{ {

156
test/cmdlineTests/yul_source_locations/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"C\" /// @use-src 0:\"C\"
object \"C_54\" { object \"C_54\" {
code { code {
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
mstore(64, 160) mstore(64, 160)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -135,31 +135,31 @@ object \"C_54\" {
sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0))) sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0)))
} }
/// @src 0:175:223 /// @src 0:175:223 \"constructor(int _init)...\"
function constructor_C_54(var__init_12) { function constructor_C_54(var__init_12) {
/// @src 0:175:223 /// @src 0:175:223 \"constructor(int _init)...\"
/// @src 0:147:149 /// @src 0:147:149 \"42\"
let expr_7 := 0x2a let expr_7 := 0x2a
let _3 := convert_t_rational_42_by_1_to_t_int256(expr_7) let _3 := convert_t_rational_42_by_1_to_t_int256(expr_7)
mstore(128, _3) mstore(128, _3)
/// @src 0:214:219 /// @src 0:214:219 \"_init\"
let _4 := var__init_12 let _4 := var__init_12
let expr_16 := _4 let expr_16 := _4
/// @src 0:203:219 /// @src 0:203:219 \"stateVar = _init\"
update_storage_value_offset_0t_int256_to_t_int256(0x00, expr_16) update_storage_value_offset_0t_int256_to_t_int256(0x00, expr_16)
let expr_17 := expr_16 let expr_17 := expr_16
} }
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
} }
/// @use-src 0:\"C\" /// @use-src 0:\"C\"
object \"C_54_deployed\" { object \"C_54_deployed\" {
code { code {
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -267,7 +267,7 @@ object \"C_54\" {
} }
/// @src 0:152:171 /// @src 0:152:171 \"int public stateVar\"
function getter_fun_stateVar_10() -> ret { function getter_fun_stateVar_10() -> ret {
let slot := 0 let slot := 0
@ -276,7 +276,7 @@ object \"C_54\" {
ret := read_from_storage_split_dynamic_t_int256(slot, offset) ret := read_from_storage_split_dynamic_t_int256(slot, offset)
} }
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() { function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
revert(0, 0) revert(0, 0)
@ -298,9 +298,9 @@ object \"C_54\" {
converted := cleanup_t_int256(identity(cleanup_t_rational_41_by_1(value))) converted := cleanup_t_int256(identity(cleanup_t_rational_41_by_1(value)))
} }
/// @src 0:93:119 /// @src 0:93:119 \"int constant constVar = 41\"
function constant_constVar_5() -> ret { function constant_constVar_5() -> ret {
/// @src 0:117:119 /// @src 0:117:119 \"41\"
let expr_4 := 0x29 let expr_4 := 0x29
let _2 := convert_t_rational_41_by_1_to_t_int256(expr_4) let _2 := convert_t_rational_41_by_1_to_t_int256(expr_4)
@ -325,26 +325,26 @@ object \"C_54\" {
sum := add(x, y) sum := add(x, y)
} }
/// @src 0:226:302 /// @src 0:226:302 \"function f() external pure returns (int)...\"
function fun_f_30() -> var__23 { function fun_f_30() -> var__23 {
/// @src 0:262:265 /// @src 0:262:265 \"int\"
let zero_t_int256_1 := zero_value_for_split_t_int256() let zero_t_int256_1 := zero_value_for_split_t_int256()
var__23 := zero_t_int256_1 var__23 := zero_t_int256_1
/// @src 0:279:287 /// @src 0:279:287 \"constVar\"
let expr_25 := constant_constVar_5() let expr_25 := constant_constVar_5()
/// @src 0:290:298 /// @src 0:290:298 \"immutVar\"
let _3 := loadimmutable(\"8\") let _3 := loadimmutable(\"8\")
let expr_26 := _3 let expr_26 := _3
/// @src 0:279:298 /// @src 0:279:298 \"constVar + immutVar\"
let expr_27 := checked_add_t_int256(expr_25, expr_26) let expr_27 := checked_add_t_int256(expr_25, expr_26)
/// @src 0:272:298 /// @src 0:272:298 \"return constVar + immutVar\"
var__23 := expr_27 var__23 := expr_27
leave leave
} }
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
function shift_right_0_unsigned(value) -> newValue { function shift_right_0_unsigned(value) -> newValue {
newValue := newValue :=
@ -395,20 +395,20 @@ object \"C_54\" {
sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0))) sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0)))
} }
/// @src 0:304:341 /// @src 0:304:341 \"modifier m()...\"
function modifier_m_40(var__42) -> _5 { function modifier_m_40(var__42) -> _5 {
_5 := var__42 _5 := var__42
/// @src 0:322:332 /// @src 0:322:332 \"stateVar++\"
let _7 := read_from_storage_split_offset_0_t_int256(0x00) let _7 := read_from_storage_split_offset_0_t_int256(0x00)
let _6 := increment_t_int256(_7) let _6 := increment_t_int256(_7)
update_storage_value_offset_0t_int256_to_t_int256(0x00, _6) update_storage_value_offset_0t_int256_to_t_int256(0x00, _6)
let expr_33 := _7 let expr_33 := _7
/// @src 0:336:337 /// @src 0:336:337 \"_\"
_5 := fun_f2_53_inner(var__42) _5 := fun_f2_53_inner(var__42)
} }
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
function cleanup_t_uint160(value) -> cleaned { function cleanup_t_uint160(value) -> cleaned {
cleaned := and(value, 0xffffffffffffffffffffffffffffffffffffffff) cleaned := and(value, 0xffffffffffffffffffffffffffffffffffffffff)
@ -490,19 +490,19 @@ object \"C_54\" {
revert(pos, returndatasize()) revert(pos, returndatasize())
} }
/// @src 0:343:426 /// @src 0:343:426 \"function f2() m public returns (int)...\"
function fun_f2_53_inner(_8) -> var__42 { function fun_f2_53_inner(_8) -> var__42 {
var__42 := _8 var__42 := _8
/// @src 0:392:400 /// @src 0:392:400 \"stateVar\"
let _9 := read_from_storage_split_offset_0_t_int256(0x00) let _9 := read_from_storage_split_offset_0_t_int256(0x00)
let expr_44 := _9 let expr_44 := _9
/// @src 0:403:407 /// @src 0:403:407 \"this\"
let expr_45_address := address() let expr_45_address := address()
/// @src 0:403:409 /// @src 0:403:409 \"this.f\"
let expr_46_address := convert_t_contract$_C_$54_to_t_address(expr_45_address) let expr_46_address := convert_t_contract$_C_$54_to_t_address(expr_45_address)
let expr_46_functionSelector := 0x26121ff0 let expr_46_functionSelector := 0x26121ff0
/// @src 0:403:411 /// @src 0:403:411 \"this.f()\"
if iszero(extcodesize(expr_46_address)) { revert_error_0cc013b6b3b6beabea4e3a74a6d380f0df81852ca99887912475e1f66b2a2c20() } if iszero(extcodesize(expr_46_address)) { revert_error_0cc013b6b3b6beabea4e3a74a6d380f0df81852ca99887912475e1f66b2a2c20() }
// storage for arguments and returned data // storage for arguments and returned data
@ -523,31 +523,31 @@ object \"C_54\" {
// decode return parameters from external try-call into retVars // decode return parameters from external try-call into retVars
expr_47 := abi_decode_tuple_t_int256_fromMemory(_10, add(_10, returndatasize())) expr_47 := abi_decode_tuple_t_int256_fromMemory(_10, add(_10, returndatasize()))
} }
/// @src 0:392:411 /// @src 0:392:411 \"stateVar + this.f()\"
let expr_48 := checked_add_t_int256(expr_44, expr_47) let expr_48 := checked_add_t_int256(expr_44, expr_47)
/// @src 0:414:422 /// @src 0:414:422 \"immutVar\"
let _13 := loadimmutable(\"8\") let _13 := loadimmutable(\"8\")
let expr_49 := _13 let expr_49 := _13
/// @src 0:392:422 /// @src 0:392:422 \"stateVar + this.f() + immutVar\"
let expr_50 := checked_add_t_int256(expr_48, expr_49) let expr_50 := checked_add_t_int256(expr_48, expr_49)
/// @src 0:385:422 /// @src 0:385:422 \"return stateVar + this.f() + immutVar\"
var__42 := expr_50 var__42 := expr_50
leave leave
} }
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
/// @src 0:343:426 /// @src 0:343:426 \"function f2() m public returns (int)...\"
function fun_f2_53() -> var__42 { function fun_f2_53() -> var__42 {
/// @src 0:375:378 /// @src 0:375:378 \"int\"
let zero_t_int256_4 := zero_value_for_split_t_int256() let zero_t_int256_4 := zero_value_for_split_t_int256()
var__42 := zero_t_int256_4 var__42 := zero_t_int256_4
var__42 := modifier_m_40(var__42) var__42 := modifier_m_40(var__42)
} }
/// @src 0:79:428 /// @src 0:79:428 \"contract C...\"
} }
@ -567,7 +567,7 @@ object \"C_54\" {
/// @use-src 0:\"C\", 1:\"D\" /// @use-src 0:\"C\", 1:\"D\"
object \"D_72\" { object \"D_72\" {
code { code {
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
mstore(64, 160) mstore(64, 160)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -731,26 +731,26 @@ object \"D_72\" {
sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0))) sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0)))
} }
/// @src 1:113:164 /// @src 1:113:164 \"constructor(int _init2)...\"
function constructor_D_72(var__init2_63) { function constructor_D_72(var__init2_63) {
/// @src 1:107:108 /// @src 1:107:108 \"3\"
let expr_60 := 0x03 let expr_60 := 0x03
let _3 := convert_t_rational_3_by_1_to_t_int256(expr_60) let _3 := convert_t_rational_3_by_1_to_t_int256(expr_60)
/// @src 1:113:164 /// @src 1:113:164 \"constructor(int _init2)...\"
constructor_C_54(_3) constructor_C_54(_3)
/// @src 1:154:160 /// @src 1:154:160 \"_init2\"
let _4 := var__init2_63 let _4 := var__init2_63
let expr_67 := _4 let expr_67 := _4
/// @src 1:142:160 /// @src 1:142:160 \"stateVar += _init2\"
let _5 := read_from_storage_split_offset_0_t_int256(0x00) let _5 := read_from_storage_split_offset_0_t_int256(0x00)
let expr_68 := checked_add_t_int256(_5, expr_67) let expr_68 := checked_add_t_int256(_5, expr_67)
update_storage_value_offset_0t_int256_to_t_int256(0x00, expr_68) update_storage_value_offset_0t_int256_to_t_int256(0x00, expr_68)
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
function cleanup_t_rational_42_by_1(value) -> cleaned { function cleanup_t_rational_42_by_1(value) -> cleaned {
cleaned := value cleaned := value
@ -760,31 +760,31 @@ object \"D_72\" {
converted := cleanup_t_int256(identity(cleanup_t_rational_42_by_1(value))) converted := cleanup_t_int256(identity(cleanup_t_rational_42_by_1(value)))
} }
/// @src 0:175:223 /// @src 0:175:223 \"constructor(int _init)...\"
function constructor_C_54(var__init_12) { function constructor_C_54(var__init_12) {
/// @src 0:175:223 /// @src 0:175:223 \"constructor(int _init)...\"
/// @src 0:147:149 /// @src 0:147:149 \"42\"
let expr_7 := 0x2a let expr_7 := 0x2a
let _6 := convert_t_rational_42_by_1_to_t_int256(expr_7) let _6 := convert_t_rational_42_by_1_to_t_int256(expr_7)
mstore(128, _6) mstore(128, _6)
/// @src 0:214:219 /// @src 0:214:219 \"_init\"
let _7 := var__init_12 let _7 := var__init_12
let expr_16 := _7 let expr_16 := _7
/// @src 0:203:219 /// @src 0:203:219 \"stateVar = _init\"
update_storage_value_offset_0t_int256_to_t_int256(0x00, expr_16) update_storage_value_offset_0t_int256_to_t_int256(0x00, expr_16)
let expr_17 := expr_16 let expr_17 := expr_16
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
} }
/// @use-src 0:\"C\", 1:\"D\" /// @use-src 0:\"C\", 1:\"D\"
object \"D_72_deployed\" { object \"D_72_deployed\" {
code { code {
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -892,7 +892,7 @@ object \"D_72\" {
} }
/// @src 0:152:171 /// @src 0:152:171 \"int public stateVar\"
function getter_fun_stateVar_10() -> ret { function getter_fun_stateVar_10() -> ret {
let slot := 0 let slot := 0
@ -901,7 +901,7 @@ object \"D_72\" {
ret := read_from_storage_split_dynamic_t_int256(slot, offset) ret := read_from_storage_split_dynamic_t_int256(slot, offset)
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() { function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
revert(0, 0) revert(0, 0)
@ -923,9 +923,9 @@ object \"D_72\" {
converted := cleanup_t_int256(identity(cleanup_t_rational_41_by_1(value))) converted := cleanup_t_int256(identity(cleanup_t_rational_41_by_1(value)))
} }
/// @src 0:93:119 /// @src 0:93:119 \"int constant constVar = 41\"
function constant_constVar_5() -> ret { function constant_constVar_5() -> ret {
/// @src 0:117:119 /// @src 0:117:119 \"41\"
let expr_4 := 0x29 let expr_4 := 0x29
let _2 := convert_t_rational_41_by_1_to_t_int256(expr_4) let _2 := convert_t_rational_41_by_1_to_t_int256(expr_4)
@ -950,26 +950,26 @@ object \"D_72\" {
sum := add(x, y) sum := add(x, y)
} }
/// @src 0:226:302 /// @src 0:226:302 \"function f() external pure returns (int)...\"
function fun_f_30() -> var__23 { function fun_f_30() -> var__23 {
/// @src 0:262:265 /// @src 0:262:265 \"int\"
let zero_t_int256_1 := zero_value_for_split_t_int256() let zero_t_int256_1 := zero_value_for_split_t_int256()
var__23 := zero_t_int256_1 var__23 := zero_t_int256_1
/// @src 0:279:287 /// @src 0:279:287 \"constVar\"
let expr_25 := constant_constVar_5() let expr_25 := constant_constVar_5()
/// @src 0:290:298 /// @src 0:290:298 \"immutVar\"
let _3 := loadimmutable(\"8\") let _3 := loadimmutable(\"8\")
let expr_26 := _3 let expr_26 := _3
/// @src 0:279:298 /// @src 0:279:298 \"constVar + immutVar\"
let expr_27 := checked_add_t_int256(expr_25, expr_26) let expr_27 := checked_add_t_int256(expr_25, expr_26)
/// @src 0:272:298 /// @src 0:272:298 \"return constVar + immutVar\"
var__23 := expr_27 var__23 := expr_27
leave leave
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
function shift_right_0_unsigned(value) -> newValue { function shift_right_0_unsigned(value) -> newValue {
newValue := newValue :=
@ -1020,20 +1020,20 @@ object \"D_72\" {
sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0))) sstore(slot, update_byte_slice_32_shift_0(sload(slot), prepare_store_t_int256(convertedValue_0)))
} }
/// @src 0:304:341 /// @src 0:304:341 \"modifier m()...\"
function modifier_m_40(var__42) -> _5 { function modifier_m_40(var__42) -> _5 {
_5 := var__42 _5 := var__42
/// @src 0:322:332 /// @src 0:322:332 \"stateVar++\"
let _7 := read_from_storage_split_offset_0_t_int256(0x00) let _7 := read_from_storage_split_offset_0_t_int256(0x00)
let _6 := increment_t_int256(_7) let _6 := increment_t_int256(_7)
update_storage_value_offset_0t_int256_to_t_int256(0x00, _6) update_storage_value_offset_0t_int256_to_t_int256(0x00, _6)
let expr_33 := _7 let expr_33 := _7
/// @src 0:336:337 /// @src 0:336:337 \"_\"
_5 := fun_f2_53_inner(var__42) _5 := fun_f2_53_inner(var__42)
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
function cleanup_t_uint160(value) -> cleaned { function cleanup_t_uint160(value) -> cleaned {
cleaned := and(value, 0xffffffffffffffffffffffffffffffffffffffff) cleaned := and(value, 0xffffffffffffffffffffffffffffffffffffffff)
@ -1115,19 +1115,19 @@ object \"D_72\" {
revert(pos, returndatasize()) revert(pos, returndatasize())
} }
/// @src 0:343:426 /// @src 0:343:426 \"function f2() m public returns (int)...\"
function fun_f2_53_inner(_8) -> var__42 { function fun_f2_53_inner(_8) -> var__42 {
var__42 := _8 var__42 := _8
/// @src 0:392:400 /// @src 0:392:400 \"stateVar\"
let _9 := read_from_storage_split_offset_0_t_int256(0x00) let _9 := read_from_storage_split_offset_0_t_int256(0x00)
let expr_44 := _9 let expr_44 := _9
/// @src 0:403:407 /// @src 0:403:407 \"this\"
let expr_45_address := address() let expr_45_address := address()
/// @src 0:403:409 /// @src 0:403:409 \"this.f\"
let expr_46_address := convert_t_contract$_C_$54_to_t_address(expr_45_address) let expr_46_address := convert_t_contract$_C_$54_to_t_address(expr_45_address)
let expr_46_functionSelector := 0x26121ff0 let expr_46_functionSelector := 0x26121ff0
/// @src 0:403:411 /// @src 0:403:411 \"this.f()\"
if iszero(extcodesize(expr_46_address)) { revert_error_0cc013b6b3b6beabea4e3a74a6d380f0df81852ca99887912475e1f66b2a2c20() } if iszero(extcodesize(expr_46_address)) { revert_error_0cc013b6b3b6beabea4e3a74a6d380f0df81852ca99887912475e1f66b2a2c20() }
// storage for arguments and returned data // storage for arguments and returned data
@ -1148,31 +1148,31 @@ object \"D_72\" {
// decode return parameters from external try-call into retVars // decode return parameters from external try-call into retVars
expr_47 := abi_decode_tuple_t_int256_fromMemory(_10, add(_10, returndatasize())) expr_47 := abi_decode_tuple_t_int256_fromMemory(_10, add(_10, returndatasize()))
} }
/// @src 0:392:411 /// @src 0:392:411 \"stateVar + this.f()\"
let expr_48 := checked_add_t_int256(expr_44, expr_47) let expr_48 := checked_add_t_int256(expr_44, expr_47)
/// @src 0:414:422 /// @src 0:414:422 \"immutVar\"
let _13 := loadimmutable(\"8\") let _13 := loadimmutable(\"8\")
let expr_49 := _13 let expr_49 := _13
/// @src 0:392:422 /// @src 0:392:422 \"stateVar + this.f() + immutVar\"
let expr_50 := checked_add_t_int256(expr_48, expr_49) let expr_50 := checked_add_t_int256(expr_48, expr_49)
/// @src 0:385:422 /// @src 0:385:422 \"return stateVar + this.f() + immutVar\"
var__42 := expr_50 var__42 := expr_50
leave leave
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
/// @src 0:343:426 /// @src 0:343:426 \"function f2() m public returns (int)...\"
function fun_f2_53() -> var__42 { function fun_f2_53() -> var__42 {
/// @src 0:375:378 /// @src 0:375:378 \"int\"
let zero_t_int256_4 := zero_value_for_split_t_int256() let zero_t_int256_4 := zero_value_for_split_t_int256()
var__42 := zero_t_int256_4 var__42 := zero_t_int256_4
var__42 := modifier_m_40(var__42) var__42 := modifier_m_40(var__42)
} }
/// @src 1:91:166 /// @src 1:91:166 \"contract D is C(3)...\"
} }

1
test/cmdlineTests/yul_source_locations_code_snippet_escaping/args Normal file
View File

@ -0,0 +1 @@
--ir-optimized --ir --optimize

13
test/cmdlineTests/yul_source_locations_code_snippet_escaping/input.sol Normal file
View File

@ -0,0 +1,13 @@
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.0.0;
// Intentionally badly wrapped and commented in weird places to get source locations inside code
// snippets in generated Yul. Also contains stuff that could break the assembly if not escaped properly.
contract C {} contract D /** @src 0:96:165 "contract D {..." */ {
function f() /* @use-src 0:"input.sol", 1:"#utility.yul" @ast-id 15 */ public returns (string memory) { C c = new /// @src 0:149:156 "new C()"
C(); c;
string memory s = "/*"; s; return "/** @src 0:96:165 \"contract D {...\" */"
;
}
}

578
test/cmdlineTests/yul_source_locations_code_snippet_escaping/output Normal file
View File

@ -0,0 +1,578 @@
IR:
/*=====================================================*
* WARNING *
* Solidity to Yul compilation is still EXPERIMENTAL *
* It can result in LOSS OF FUNDS or worse *
* !USE AT YOUR OWN RISK! *
*=====================================================*/
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2" {
code {
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
constructor_C_2()
let _1 := allocate_unbounded()
codecopy(_1, dataoffset("C_2_deployed"), datasize("C_2_deployed"))
return(_1, datasize("C_2_deployed"))
function allocate_unbounded() -> memPtr {
memPtr := mload(64)
}
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
revert(0, 0)
}
/// @src 0:265:278 "contract C {}"
function constructor_C_2() {
/// @src 0:265:278 "contract C {}"
}
/// @src 0:265:278 "contract C {}"
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2_deployed" {
code {
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
if iszero(lt(calldatasize(), 4))
{
let selector := shift_right_224_unsigned(calldataload(0))
switch selector
default {}
}
if iszero(calldatasize()) { }
revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
function shift_right_224_unsigned(value) -> newValue {
newValue :=
shr(224, value)
}
function allocate_unbounded() -> memPtr {
memPtr := mload(64)
}
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
revert(0, 0)
}
}
data ".metadata" hex"<BYTECODE REMOVED>"
}
}
Optimized IR:
/*=====================================================*
* WARNING *
* Solidity to Yul compilation is still EXPERIMENTAL *
* It can result in LOSS OF FUNDS or worse *
* !USE AT YOUR OWN RISK! *
*=====================================================*/
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2" {
code {
{
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
if callvalue() { revert(0, 0) }
let _1 := datasize("C_2_deployed")
codecopy(128, dataoffset("C_2_deployed"), _1)
return(128, _1)
}
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2_deployed" {
code {
{
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
revert(0, 0)
}
}
data ".metadata" hex"<BYTECODE REMOVED>"
}
}
IR:
/*=====================================================*
* WARNING *
* Solidity to Yul compilation is still EXPERIMENTAL *
* It can result in LOSS OF FUNDS or worse *
* !USE AT YOUR OWN RISK! *
*=====================================================*/
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "D_27" {
code {
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
constructor_D_27()
let _1 := allocate_unbounded()
codecopy(_1, dataoffset("D_27_deployed"), datasize("D_27_deployed"))
return(_1, datasize("D_27_deployed"))
function allocate_unbounded() -> memPtr {
memPtr := mload(64)
}
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
revert(0, 0)
}
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
function constructor_D_27() {
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
}
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "D_27_deployed" {
code {
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
mstore(64, 128)
if iszero(lt(calldatasize(), 4))
{
let selector := shift_right_224_unsigned(calldataload(0))
switch selector
case 0x26121ff0
{
// f()
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
abi_decode_tuple_(4, calldatasize())
let ret_0 := fun_f_26()
let memPos := allocate_unbounded()
let memEnd := abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack(memPos , ret_0)
return(memPos, sub(memEnd, memPos))
}
default {}
}
if iszero(calldatasize()) { }
revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
function shift_right_224_unsigned(value) -> newValue {
newValue :=
shr(224, value)
}
function allocate_unbounded() -> memPtr {
memPtr := mload(64)
}
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
revert(0, 0)
}
function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {
revert(0, 0)
}
function abi_decode_tuple_(headStart, dataEnd) {
if slt(sub(dataEnd, headStart), 0) { revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() }
}
function array_length_t_string_memory_ptr(value) -> length {
length := mload(value)
}
function array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length) -> updated_pos {
mstore(pos, length)
updated_pos := add(pos, 0x20)
}
function copy_memory_to_memory(src, dst, length) {
let i := 0
for { } lt(i, length) { i := add(i, 32) }
{
mstore(add(dst, i), mload(add(src, i)))
}
if gt(i, length)
{
// clear end
mstore(add(dst, length), 0)
}
}
function round_up_to_mul_of_32(value) -> result {
result := and(add(value, 31), not(31))
}
function abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack(value, pos) -> end {
let length := array_length_t_string_memory_ptr(value)
pos := array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length)
copy_memory_to_memory(add(value, 0x20), pos, length)
end := add(pos, round_up_to_mul_of_32(length))
}
function abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack(headStart , value0) -> tail {
tail := add(headStart, 32)
mstore(add(headStart, 0), sub(tail, headStart))
tail := abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack(value0, tail)
}
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
revert(0, 0)
}
function zero_value_for_split_t_string_memory_ptr() -> ret {
ret := 96
}
function panic_error_0x41() {
mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)
mstore(4, 0x41)
revert(0, 0x24)
}
function abi_encode_tuple__to__fromStack(headStart ) -> tail {
tail := add(headStart, 0)
}
function revert_forward_1() {
let pos := allocate_unbounded()
returndatacopy(pos, 0, returndatasize())
revert(pos, returndatasize())
}
function finalize_allocation(memPtr, size) {
let newFreePtr := add(memPtr, round_up_to_mul_of_32(size))
// protect against overflow
if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }
mstore(64, newFreePtr)
}
function allocate_memory(size) -> memPtr {
memPtr := allocate_unbounded()
finalize_allocation(memPtr, size)
}
function array_allocation_size_t_string_memory_ptr(length) -> size {
// Make sure we can allocate memory without overflow
if gt(length, 0xffffffffffffffff) { panic_error_0x41() }
size := round_up_to_mul_of_32(length)
// add length slot
size := add(size, 0x20)
}
function allocate_memory_array_t_string_memory_ptr(length) -> memPtr {
let allocSize := array_allocation_size_t_string_memory_ptr(length)
memPtr := allocate_memory(allocSize)
mstore(memPtr, length)
}
function store_literal_in_memory_c077635d0709aa1fd7cea2045028c270f982d687d1647e48e759eec32ec54a50(memPtr) {
mstore(add(memPtr, 0), "/*")
}
function copy_literal_to_memory_c077635d0709aa1fd7cea2045028c270f982d687d1647e48e759eec32ec54a50() -> memPtr {
memPtr := allocate_memory_array_t_string_memory_ptr(2)
store_literal_in_memory_c077635d0709aa1fd7cea2045028c270f982d687d1647e48e759eec32ec54a50(add(memPtr, 32))
}
function convert_t_stringliteral_c077635d0709aa1fd7cea2045028c270f982d687d1647e48e759eec32ec54a50_to_t_string_memory_ptr() -> converted {
converted := copy_literal_to_memory_c077635d0709aa1fd7cea2045028c270f982d687d1647e48e759eec32ec54a50()
}
function store_literal_in_memory_5bde9a896e3f09acac1496d16642fcdd887d2a000bf1ab18bdff3f17b91e320b(memPtr) {
mstore(add(memPtr, 0), 0x2f2a2a204073726320303a39363a313635202022636f6e74726163742044207b)
mstore(add(memPtr, 32), 0x2e2e2e22202a2f00000000000000000000000000000000000000000000000000)
}
function copy_literal_to_memory_5bde9a896e3f09acac1496d16642fcdd887d2a000bf1ab18bdff3f17b91e320b() -> memPtr {
memPtr := allocate_memory_array_t_string_memory_ptr(39)
store_literal_in_memory_5bde9a896e3f09acac1496d16642fcdd887d2a000bf1ab18bdff3f17b91e320b(add(memPtr, 32))
}
function convert_t_stringliteral_5bde9a896e3f09acac1496d16642fcdd887d2a000bf1ab18bdff3f17b91e320b_to_t_string_memory_ptr() -> converted {
converted := copy_literal_to_memory_5bde9a896e3f09acac1496d16642fcdd887d2a000bf1ab18bdff3f17b91e320b()
}
/// @src 0:336:597 "function f() /* @use-src 0:\"input.sol\", 1:\"#utility.yul\" @ast-id 15 *\/ public returns (string memory) { C c = new /// @src 0:149:156 \"new C()\"..."
function fun_f_26() -> var__5_mpos {
/// @src 0:423:436 "string memory"
let zero_t_string_memory_ptr_1_mpos := zero_value_for_split_t_string_memory_ptr()
var__5_mpos := zero_t_string_memory_ptr_1_mpos
/// @src 0:446:491 "new /// @src 0:149:156 \"new C()\"..."
let _2 := allocate_unbounded()
let _3 := add(_2, datasize("C_2"))
if or(gt(_3, 0xffffffffffffffff), lt(_3, _2)) { panic_error_0x41() }
datacopy(_2, dataoffset("C_2"), datasize("C_2"))
_3 := abi_encode_tuple__to__fromStack(_3)
let expr_13_address := create(0, _2, sub(_3, _2))
if iszero(expr_13_address) { revert_forward_1() }
/// @src 0:440:491 "C c = new /// @src 0:149:156 \"new C()\"..."
let var_c_9_address := expr_13_address
/// @src 0:493:494 "c"
let _4_address := var_c_9_address
let expr_15_address := _4_address
/// @src 0:504:526 "string memory s = \"/*\""
let var_s_18_mpos := convert_t_stringliteral_c077635d0709aa1fd7cea2045028c270f982d687d1647e48e759eec32ec54a50_to_t_string_memory_ptr()
/// @src 0:528:529 "s"
let _5_mpos := var_s_18_mpos
let expr_21_mpos := _5_mpos
/// @src 0:531:581 "return \"/** @src 0:96:165 \\\"contract D {...\\\" *\/\""
var__5_mpos := convert_t_stringliteral_5bde9a896e3f09acac1496d16642fcdd887d2a000bf1ab18bdff3f17b91e320b_to_t_string_memory_ptr()
leave
}
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
}
/*=====================================================*
* WARNING *
* Solidity to Yul compilation is still EXPERIMENTAL *
* It can result in LOSS OF FUNDS or worse *
* !USE AT YOUR OWN RISK! *
*=====================================================*/
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2" {
code {
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
constructor_C_2()
let _1 := allocate_unbounded()
codecopy(_1, dataoffset("C_2_deployed"), datasize("C_2_deployed"))
return(_1, datasize("C_2_deployed"))
function allocate_unbounded() -> memPtr {
memPtr := mload(64)
}
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
revert(0, 0)
}
/// @src 0:265:278 "contract C {}"
function constructor_C_2() {
/// @src 0:265:278 "contract C {}"
}
/// @src 0:265:278 "contract C {}"
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2_deployed" {
code {
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
if iszero(lt(calldatasize(), 4))
{
let selector := shift_right_224_unsigned(calldataload(0))
switch selector
default {}
}
if iszero(calldatasize()) { }
revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
function shift_right_224_unsigned(value) -> newValue {
newValue :=
shr(224, value)
}
function allocate_unbounded() -> memPtr {
memPtr := mload(64)
}
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
revert(0, 0)
}
}
data ".metadata" hex"<BYTECODE REMOVED>"
}
}
data ".metadata" hex"<BYTECODE REMOVED>"
}
}
Optimized IR:
/*=====================================================*
* WARNING *
* Solidity to Yul compilation is still EXPERIMENTAL *
* It can result in LOSS OF FUNDS or worse *
* !USE AT YOUR OWN RISK! *
*=====================================================*/
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "D_27" {
code {
{
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
mstore(64, 128)
if callvalue() { revert(0, 0) }
let _1 := datasize("D_27_deployed")
codecopy(128, dataoffset("D_27_deployed"), _1)
return(128, _1)
}
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "D_27_deployed" {
code {
{
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
mstore(64, 128)
if iszero(lt(calldatasize(), 4))
{
let _1 := 0
if eq(0x26121ff0, shr(224, calldataload(_1)))
{
if callvalue() { revert(_1, _1) }
if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) }
/// @src 0:446:491 "new /// @src 0:149:156 \"new C()\"..."
let _2 := datasize("C_2")
let _3 := add(/** @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..." */ 128, /** @src 0:446:491 "new /// @src 0:149:156 \"new C()\"..." */ _2)
if or(gt(_3, 0xffffffffffffffff), lt(_3, /** @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..." */ 128))
/// @src 0:446:491 "new /// @src 0:149:156 \"new C()\"..."
{ panic_error_0x41() }
datacopy(/** @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..." */ 128, /** @src 0:446:491 "new /// @src 0:149:156 \"new C()\"..." */ dataoffset("C_2"), _2)
if iszero(create(/** @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..." */ _1, 128, /** @src 0:446:491 "new /// @src 0:149:156 \"new C()\"..." */ _2))
{
/// @src 0:279:599 "contract D /** @src 0:96:165 \"contract D {...\" *\/ {..."
let pos := mload(64)
returndatacopy(pos, _1, returndatasize())
revert(pos, returndatasize())
}
mstore(add(allocate_memory_array_string(), 32), "/*")
let memPtr := allocate_memory_array_string_482()
mstore(add(memPtr, 32), 0x2f2a2a204073726320303a39363a313635202022636f6e74726163742044207b)
mstore(add(memPtr, 64), shl(200, 0x2e2e2e22202a2f))
let memPos := mload(64)
return(memPos, sub(abi_encode_string(memPos, memPtr), memPos))
}
}
revert(0, 0)
}
function abi_encode_string(headStart, value0) -> tail
{
let _1 := 32
mstore(headStart, _1)
let length := mload(value0)
mstore(add(headStart, _1), length)
let i := 0
for { } lt(i, length) { i := add(i, _1) }
{
mstore(add(add(headStart, i), 64), mload(add(add(value0, i), _1)))
}
if gt(i, length)
{
mstore(add(add(headStart, length), 64), 0)
}
tail := add(add(headStart, and(add(length, 31), not(31))), 64)
}
function panic_error_0x41()
{
mstore(0, shl(224, 0x4e487b71))
mstore(4, 0x41)
revert(0, 0x24)
}
function allocate_memory_array_string() -> memPtr
{
let memPtr_1 := mload(64)
let newFreePtr := add(memPtr_1, 64)
if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr_1)) { panic_error_0x41() }
mstore(64, newFreePtr)
memPtr := memPtr_1
mstore(memPtr_1, 2)
}
function allocate_memory_array_string_482() -> memPtr
{
let memPtr_1 := mload(64)
let newFreePtr := add(memPtr_1, 96)
if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr_1)) { panic_error_0x41() }
mstore(64, newFreePtr)
memPtr := memPtr_1
mstore(memPtr_1, 39)
}
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2" {
code {
{
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
if callvalue() { revert(0, 0) }
let _1 := datasize("C_2_deployed")
codecopy(128, dataoffset("C_2_deployed"), _1)
return(128, _1)
}
}
/// @use-src 0:"yul_source_locations_code_snippet_escaping/input.sol"
object "C_2_deployed" {
code {
{
/// @src 0:265:278 "contract C {}"
mstore(64, 128)
revert(0, 0)
}
}
data ".metadata" hex"<BYTECODE REMOVED>"
}
}
data ".metadata" hex"<BYTECODE REMOVED>"
}
}

18
test/cmdlineTests/yul_string_format_ascii/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11\" { object \"C_11\" {
code { code {
/// @src 0:78:164 /// @src 0:78:164 \"contract C { function f() external pure returns (string memory) { return \\\"abcabc\\\"; } }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_11\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:78:164 /// @src 0:78:164 \"contract C { function f() external pure returns (string memory) { return \\\"abcabc\\\"; } }\"
function constructor_C_11() { function constructor_C_11() {
/// @src 0:78:164 /// @src 0:78:164 \"contract C { function f() external pure returns (string memory) { return \\\"abcabc\\\"; } }\"
} }
/// @src 0:78:164 /// @src 0:78:164 \"contract C { function f() external pure returns (string memory) { return \\\"abcabc\\\"; } }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11_deployed\" { object \"C_11_deployed\" {
code { code {
/// @src 0:78:164 /// @src 0:78:164 \"contract C { function f() external pure returns (string memory) { return \\\"abcabc\\\"; } }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -192,18 +192,18 @@ object \"C_11\" {
converted := copy_literal_to_memory_9f0adad0a59b05d2e04a1373342b10b9eb16c57c164c8a3bfcbf46dccee39a21() converted := copy_literal_to_memory_9f0adad0a59b05d2e04a1373342b10b9eb16c57c164c8a3bfcbf46dccee39a21()
} }
/// @src 0:91:162 /// @src 0:91:162 \"function f() external pure returns (string memory) { return \\\"abcabc\\\"; }\"
function fun_f_10() -> var__5_mpos { function fun_f_10() -> var__5_mpos {
/// @src 0:127:140 /// @src 0:127:140 \"string memory\"
let zero_t_string_memory_ptr_1_mpos := zero_value_for_split_t_string_memory_ptr() let zero_t_string_memory_ptr_1_mpos := zero_value_for_split_t_string_memory_ptr()
var__5_mpos := zero_t_string_memory_ptr_1_mpos var__5_mpos := zero_t_string_memory_ptr_1_mpos
/// @src 0:144:159 /// @src 0:144:159 \"return \\\"abcabc\\\"\"
var__5_mpos := convert_t_stringliteral_9f0adad0a59b05d2e04a1373342b10b9eb16c57c164c8a3bfcbf46dccee39a21_to_t_string_memory_ptr() var__5_mpos := convert_t_stringliteral_9f0adad0a59b05d2e04a1373342b10b9eb16c57c164c8a3bfcbf46dccee39a21_to_t_string_memory_ptr()
leave leave
} }
/// @src 0:78:164 /// @src 0:78:164 \"contract C { function f() external pure returns (string memory) { return \\\"abcabc\\\"; } }\"
} }

18
test/cmdlineTests/yul_string_format_ascii_bytes32/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11\" { object \"C_11\" {
code { code {
/// @src 0:78:158 /// @src 0:78:158 \"contract C { function f() external pure returns (bytes32) { return \\\"abcabc\\\"; } }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_11\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:78:158 /// @src 0:78:158 \"contract C { function f() external pure returns (bytes32) { return \\\"abcabc\\\"; } }\"
function constructor_C_11() { function constructor_C_11() {
/// @src 0:78:158 /// @src 0:78:158 \"contract C { function f() external pure returns (bytes32) { return \\\"abcabc\\\"; } }\"
} }
/// @src 0:78:158 /// @src 0:78:158 \"contract C { function f() external pure returns (bytes32) { return \\\"abcabc\\\"; } }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11_deployed\" { object \"C_11_deployed\" {
code { code {
/// @src 0:78:158 /// @src 0:78:158 \"contract C { function f() external pure returns (bytes32) { return \\\"abcabc\\\"; } }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -116,18 +116,18 @@ object \"C_11\" {
converted := 0x6162636162630000000000000000000000000000000000000000000000000000 converted := 0x6162636162630000000000000000000000000000000000000000000000000000
} }
/// @src 0:91:156 /// @src 0:91:156 \"function f() external pure returns (bytes32) { return \\\"abcabc\\\"; }\"
function fun_f_10() -> var__5 { function fun_f_10() -> var__5 {
/// @src 0:127:134 /// @src 0:127:134 \"bytes32\"
let zero_t_bytes32_1 := zero_value_for_split_t_bytes32() let zero_t_bytes32_1 := zero_value_for_split_t_bytes32()
var__5 := zero_t_bytes32_1 var__5 := zero_t_bytes32_1
/// @src 0:138:153 /// @src 0:138:153 \"return \\\"abcabc\\\"\"
var__5 := convert_t_stringliteral_9f0adad0a59b05d2e04a1373342b10b9eb16c57c164c8a3bfcbf46dccee39a21_to_t_bytes32() var__5 := convert_t_stringliteral_9f0adad0a59b05d2e04a1373342b10b9eb16c57c164c8a3bfcbf46dccee39a21_to_t_bytes32()
leave leave
} }
/// @src 0:78:158 /// @src 0:78:158 \"contract C { function f() external pure returns (bytes32) { return \\\"abcabc\\\"; } }\"
} }

20
test/cmdlineTests/yul_string_format_ascii_bytes32_from_number/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11\" { object \"C_11\" {
code { code {
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0x61626364; } }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_11\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0x61626364; } }\"
function constructor_C_11() { function constructor_C_11() {
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0x61626364; } }\"
} }
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0x61626364; } }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11_deployed\" { object \"C_11_deployed\" {
code { code {
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0x61626364; } }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -127,20 +127,20 @@ object \"C_11\" {
converted := cleanup_t_bytes4(shift_left_224(cleanup_t_rational_1633837924_by_1(value))) converted := cleanup_t_bytes4(shift_left_224(cleanup_t_rational_1633837924_by_1(value)))
} }
/// @src 0:91:157 /// @src 0:91:157 \"function f() external pure returns (bytes4) { return 0x61626364; }\"
function fun_f_10() -> var__5 { function fun_f_10() -> var__5 {
/// @src 0:127:133 /// @src 0:127:133 \"bytes4\"
let zero_t_bytes4_1 := zero_value_for_split_t_bytes4() let zero_t_bytes4_1 := zero_value_for_split_t_bytes4()
var__5 := zero_t_bytes4_1 var__5 := zero_t_bytes4_1
/// @src 0:144:154 /// @src 0:144:154 \"0x61626364\"
let expr_7 := 0x61626364 let expr_7 := 0x61626364
/// @src 0:137:154 /// @src 0:137:154 \"return 0x61626364\"
var__5 := convert_t_rational_1633837924_by_1_to_t_bytes4(expr_7) var__5 := convert_t_rational_1633837924_by_1_to_t_bytes4(expr_7)
leave leave
} }
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0x61626364; } }\"
} }

18
test/cmdlineTests/yul_string_format_ascii_long/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11\" { object \"C_11\" {
code { code {
/// @src 0:78:243 /// @src 0:78:243 \"contract C { function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; } }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_11\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:78:243 /// @src 0:78:243 \"contract C { function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; } }\"
function constructor_C_11() { function constructor_C_11() {
/// @src 0:78:243 /// @src 0:78:243 \"contract C { function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; } }\"
} }
/// @src 0:78:243 /// @src 0:78:243 \"contract C { function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; } }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11_deployed\" { object \"C_11_deployed\" {
code { code {
/// @src 0:78:243 /// @src 0:78:243 \"contract C { function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; } }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -196,18 +196,18 @@ object \"C_11\" {
converted := copy_literal_to_memory_d6604f85ac07e2b33103a620b3d3d75b0473c7214912beded67b9b624d41c571() converted := copy_literal_to_memory_d6604f85ac07e2b33103a620b3d3d75b0473c7214912beded67b9b624d41c571()
} }
/// @src 0:91:241 /// @src 0:91:241 \"function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; }\"
function fun_f_10() -> var__5_mpos { function fun_f_10() -> var__5_mpos {
/// @src 0:127:140 /// @src 0:127:140 \"string memory\"
let zero_t_string_memory_ptr_1_mpos := zero_value_for_split_t_string_memory_ptr() let zero_t_string_memory_ptr_1_mpos := zero_value_for_split_t_string_memory_ptr()
var__5_mpos := zero_t_string_memory_ptr_1_mpos var__5_mpos := zero_t_string_memory_ptr_1_mpos
/// @src 0:144:238 /// @src 0:144:238 \"return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"\"
var__5_mpos := convert_t_stringliteral_d6604f85ac07e2b33103a620b3d3d75b0473c7214912beded67b9b624d41c571_to_t_string_memory_ptr() var__5_mpos := convert_t_stringliteral_d6604f85ac07e2b33103a620b3d3d75b0473c7214912beded67b9b624d41c571_to_t_string_memory_ptr()
leave leave
} }
/// @src 0:78:243 /// @src 0:78:243 \"contract C { function f() external pure returns (string memory) { return \\\"abcdabcdcafecafeabcdabcdcafecafeffffzzzzoooo0123456789,.<,>.?:;'[{]}|`~!@#$%^&*()-_=+\\\"; } }\"
} }

20
test/cmdlineTests/yul_string_format_hex/output.json
View File

@ -9,7 +9,7 @@
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11\" { object \"C_11\" {
code { code {
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0xaabbccdd; } }\"
mstore(64, 128) mstore(64, 128)
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() } if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
@ -28,19 +28,19 @@ object \"C_11\" {
revert(0, 0) revert(0, 0)
} }
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0xaabbccdd; } }\"
function constructor_C_11() { function constructor_C_11() {
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0xaabbccdd; } }\"
} }
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0xaabbccdd; } }\"
} }
/// @use-src 0:\"A\" /// @use-src 0:\"A\"
object \"C_11_deployed\" { object \"C_11_deployed\" {
code { code {
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0xaabbccdd; } }\"
mstore(64, 128) mstore(64, 128)
if iszero(lt(calldatasize(), 4)) if iszero(lt(calldatasize(), 4))
@ -127,20 +127,20 @@ object \"C_11\" {
converted := cleanup_t_bytes4(shift_left_224(cleanup_t_rational_2864434397_by_1(value))) converted := cleanup_t_bytes4(shift_left_224(cleanup_t_rational_2864434397_by_1(value)))
} }
/// @src 0:91:157 /// @src 0:91:157 \"function f() external pure returns (bytes4) { return 0xaabbccdd; }\"
function fun_f_10() -> var__5 { function fun_f_10() -> var__5 {
/// @src 0:127:133 /// @src 0:127:133 \"bytes4\"
let zero_t_bytes4_1 := zero_value_for_split_t_bytes4() let zero_t_bytes4_1 := zero_value_for_split_t_bytes4()
var__5 := zero_t_bytes4_1 var__5 := zero_t_bytes4_1
/// @src 0:144:154 /// @src 0:144:154 \"0xaabbccdd\"
let expr_7 := 0xaabbccdd let expr_7 := 0xaabbccdd
/// @src 0:137:154 /// @src 0:137:154 \"return 0xaabbccdd\"
var__5 := convert_t_rational_2864434397_by_1_to_t_bytes4(expr_7) var__5 := convert_t_rational_2864434397_by_1_to_t_bytes4(expr_7)
leave leave
} }
/// @src 0:78:159 /// @src 0:78:159 \"contract C { function f() external pure returns (bytes4) { return 0xaabbccdd; } }\"
} }

172
test/libyul/Parser.cpp
View File

@ -624,6 +624,20 @@ BOOST_AUTO_TEST_CASE(customSourceLocations_two_locations_no_whitespace)
CHECK_LOCATION(result->debugData->location, "", -1, -1); CHECK_LOCATION(result->debugData->location, "", -1, -1);
} }
BOOST_AUTO_TEST_CASE(customSourceLocations_two_locations_separated_with_single_space)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"(
/// @src 0:111:222 @src 1:333:444
{}
)";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
CHECK_LOCATION(result->debugData->location, "source1", 333, 444);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_leading_trailing_whitespace) BOOST_AUTO_TEST_CASE(customSourceLocations_leading_trailing_whitespace)
{ {
ErrorList errorList; ErrorList errorList;
@ -656,6 +670,164 @@ BOOST_AUTO_TEST_CASE(customSourceLocations_reference_original_sloc)
CHECK_LOCATION(varDecl.debugData->location, "", 10, 20); CHECK_LOCATION(varDecl.debugData->location, "", 10, 20);
} }
BOOST_AUTO_TEST_CASE(customSourceLocations_with_code_snippets)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"~~~(
{
/// @src 0:149:156 "new C(\"123\")"
let x := 123
let y := /** @src 1:96:165 "contract D {..." */ 128
}
)~~~";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
BOOST_REQUIRE_EQUAL(result->statements.size(), 2);
BOOST_REQUIRE(holds_alternative<VariableDeclaration>(result->statements.at(0)));
VariableDeclaration const& varX = get<VariableDeclaration>(result->statements.at(0));
CHECK_LOCATION(varX.debugData->location, "source0", 149, 156);
BOOST_REQUIRE(holds_alternative<VariableDeclaration>(result->statements.at(1)));
VariableDeclaration const& varY = get<VariableDeclaration>(result->statements.at(1));
BOOST_REQUIRE(!!varY.value);
BOOST_REQUIRE(holds_alternative<Literal>(*varY.value));
Literal const& literal128 = get<Literal>(*varY.value);
CHECK_LOCATION(literal128.debugData->location, "source1", 96, 165);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_with_code_snippets_empty_snippet)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"(
/// @src 0:111:222 ""
{}
)";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
CHECK_LOCATION(result->debugData->location, "source0", 111, 222);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_with_code_snippets_no_whitespace_before_snippet)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"(
/// @src 0:111:222"abc" def
{}
)";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result);
BOOST_REQUIRE(errorList.size() == 1);
BOOST_TEST(errorList[0]->type() == Error::Type::SyntaxError);
BOOST_TEST(errorList[0]->errorId() == 8387_error);
CHECK_LOCATION(result->debugData->location, "", -1, -1);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_with_code_snippets_no_whitespace_after_snippet)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"(
/// @src 0:111:222 "abc"def
{}
)";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
CHECK_LOCATION(result->debugData->location, "source0", 111, 222);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_two_locations_with_snippets_no_whitespace)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"(
/// @src 0:111:222 "abc"@src 1:333:444 "abc"
{}
)";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
CHECK_LOCATION(result->debugData->location, "source1", 333, 444);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_two_locations_with_snippets_unterminated_quote)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"(
/// @src 0:111:222 " abc @src 1:333:444
{}
)";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result);
BOOST_REQUIRE(errorList.size() == 1);
BOOST_TEST(errorList[0]->type() == Error::Type::SyntaxError);
BOOST_TEST(errorList[0]->errorId() == 1544_error);
CHECK_LOCATION(result->debugData->location, "", -1, -1);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_with_code_snippets_with_nested_locations)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText = R"~~~(
{
/// @src 0:149:156 "new C(\"123\") /// @src 1:3:4 "
let x := 123
let y := /** @src 1:96:165 "function f() internal { \"\/** @src 0:6:7 *\/\"; }" */ 128
}
)~~~";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
BOOST_REQUIRE_EQUAL(result->statements.size(), 2);
BOOST_REQUIRE(holds_alternative<VariableDeclaration>(result->statements.at(0)));
VariableDeclaration const& varX = get<VariableDeclaration>(result->statements.at(0));
CHECK_LOCATION(varX.debugData->location, "source0", 149, 156);
BOOST_REQUIRE(holds_alternative<VariableDeclaration>(result->statements.at(1)));
VariableDeclaration const& varY = get<VariableDeclaration>(result->statements.at(1));
BOOST_REQUIRE(!!varY.value);
BOOST_REQUIRE(holds_alternative<Literal>(*varY.value));
Literal const& literal128 = get<Literal>(*varY.value);
CHECK_LOCATION(literal128.debugData->location, "source1", 96, 165);
}
BOOST_AUTO_TEST_CASE(customSourceLocations_multiple_src_tags_on_one_line)
{
ErrorList errorList;
ErrorReporter reporter(errorList);
auto const sourceText =
"{\n"
" /// "
R"~~(@src 1:2:3 ""@src 1:2:4 @src-1:2:5@src 1:2:6 @src 1:2:7 "" @src 1:2:8)~~"
R"~~( X "@src 0:10:20 "new C(\"123\") /// @src 1:4:5 "" XYZ)~~"
R"~~( @src0:20:30 "abc"@src0:2:4 @src-0:2:5@)~~"
R"~~( @some text with random @ signs @@@ @- @** 1:6:7 "src 1:8:9")~~"
"\n"
" let x := 123\n"
"}\n";
EVMDialectTyped const& dialect = EVMDialectTyped::instance(EVMVersion{});
shared_ptr<Block> result = parse(sourceText, dialect, reporter);
BOOST_REQUIRE(!!result && errorList.size() == 0);
BOOST_REQUIRE_EQUAL(result->statements.size(), 1);
BOOST_REQUIRE(holds_alternative<VariableDeclaration>(result->statements.at(0)));
VariableDeclaration const& varX = get<VariableDeclaration>(result->statements.at(0));
CHECK_LOCATION(varX.debugData->location, "source1", 4, 5);
}
BOOST_AUTO_TEST_SUITE_END() BOOST_AUTO_TEST_SUITE_END()
} // end namespaces } // end namespaces