mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
[yul-phaser] Program: Switch from using parseCode() to parseObject()
This commit is contained in:
parent
7107ef13a7
commit
29186f9951
@ -189,6 +189,132 @@ BOOST_AUTO_TEST_CASE(load_should_throw_InvalidProgram_if_program_cant_be_analyze
|
||||
BOOST_TEST(holds_alternative<ErrorList>(Program::load(sourceStream)));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(load_should_accept_yul_objects_as_input)
|
||||
{
|
||||
string sourceCode(
|
||||
"object \"C_178\" {\n"
|
||||
" code {\n"
|
||||
" mstore(64, 128)\n"
|
||||
" if iszero(calldatasize()) {}\n"
|
||||
" revert(0, 0)\n"
|
||||
" }\n"
|
||||
"}\n"
|
||||
);
|
||||
CharStream sourceStream(sourceCode, current_test_case().p_name);
|
||||
auto programOrErrors = Program::load(sourceStream);
|
||||
|
||||
BOOST_TEST(holds_alternative<Program>(programOrErrors));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(load_should_return_errors_if_analysis_of_object_code_fails)
|
||||
{
|
||||
string sourceCode(
|
||||
"object \"C_178\" {\n"
|
||||
" code {\n"
|
||||
" return(0, datasize(\"C_178_deployed\"))\n"
|
||||
" }\n"
|
||||
"}\n"
|
||||
);
|
||||
CharStream sourceStream(sourceCode, current_test_case().p_name);
|
||||
auto programOrErrors = Program::load(sourceStream);
|
||||
|
||||
BOOST_TEST(holds_alternative<ErrorList>(programOrErrors));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(load_should_return_errors_if_parsing_of_nested_object_fails)
|
||||
{
|
||||
string sourceCode(
|
||||
"object \"C_178\" {\n"
|
||||
" code {\n"
|
||||
" return(0, datasize(\"C_178_deployed\"))\n"
|
||||
" }\n"
|
||||
" object \"duplicate_name\" {\n"
|
||||
" code {\n"
|
||||
" mstore(64, 128)\n"
|
||||
" }\n"
|
||||
" }\n"
|
||||
" object \"duplicate_name\" {\n"
|
||||
" code {\n"
|
||||
" mstore(64, 128)\n"
|
||||
" }\n"
|
||||
" }\n"
|
||||
"}\n"
|
||||
);
|
||||
CharStream sourceStream(sourceCode, current_test_case().p_name);
|
||||
auto programOrErrors = Program::load(sourceStream);
|
||||
|
||||
BOOST_TEST(holds_alternative<ErrorList>(programOrErrors));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(load_should_extract_nested_object_with_deployed_suffix_if_present)
|
||||
{
|
||||
string sourceCode(
|
||||
"object \"C_178\" {\n"
|
||||
" code {\n"
|
||||
" return(0, datasize(\"C_178_deployed\"))\n"
|
||||
" }\n"
|
||||
" object \"C_178_deployed\" {\n"
|
||||
" code {\n"
|
||||
" mstore(64, 128)\n"
|
||||
" if iszero(calldatasize()) {}\n"
|
||||
" revert(0, 0)\n"
|
||||
" }\n"
|
||||
" }\n"
|
||||
"}\n"
|
||||
);
|
||||
CharStream sourceStream(sourceCode, current_test_case().p_name);
|
||||
auto programOrErrors = Program::load(sourceStream);
|
||||
|
||||
BOOST_TEST(holds_alternative<Program>(programOrErrors));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(load_should_fall_back_to_parsing_the_whole_object_if_there_is_no_subobject_with_the_right_name)
|
||||
{
|
||||
string sourceCode(
|
||||
"object \"C_178\" {\n"
|
||||
" code {\n"
|
||||
" mstore(64, 128)\n"
|
||||
" }\n"
|
||||
" object \"subobject\" {\n"
|
||||
" code {\n"
|
||||
" if iszero(calldatasize()) {}\n"
|
||||
" revert(0, 0)\n"
|
||||
" }\n"
|
||||
" }\n"
|
||||
" object \"C_177_deployed\" {\n"
|
||||
" code {\n"
|
||||
" if iszero(calldatasize()) {}\n"
|
||||
" revert(0, 0)\n"
|
||||
" }\n"
|
||||
" }\n"
|
||||
"}\n"
|
||||
);
|
||||
CharStream sourceStream(sourceCode, current_test_case().p_name);
|
||||
auto programOrErrors = Program::load(sourceStream);
|
||||
|
||||
BOOST_TEST(holds_alternative<Program>(programOrErrors));
|
||||
|
||||
Block const& parentBlock = skipRedundantBlocks(get<Program>(programOrErrors).ast());
|
||||
BOOST_TEST(parentBlock.statements.size() == 1);
|
||||
BOOST_TEST(holds_alternative<ExpressionStatement>(parentBlock.statements[0]));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(load_should_ignore_data_in_objects)
|
||||
{
|
||||
string sourceCode(
|
||||
"object \"C_178\" {\n"
|
||||
" code {\n"
|
||||
" mstore(64, 128)\n"
|
||||
" }\n"
|
||||
" data \"C_178_deployed\" hex\"4123\"\n"
|
||||
"}\n"
|
||||
);
|
||||
CharStream sourceStream(sourceCode, current_test_case().p_name);
|
||||
auto programOrErrors = Program::load(sourceStream);
|
||||
|
||||
BOOST_TEST(holds_alternative<Program>(programOrErrors));
|
||||
}
|
||||
|
||||
BOOST_AUTO_TEST_CASE(optimise)
|
||||
{
|
||||
string sourceCode(
|
||||
|
@ -78,7 +78,7 @@ variant<Program, ErrorList> Program::load(CharStream& _sourceCode)
|
||||
// ASSUMPTION: parseSource() rewinds the stream on its own
|
||||
Dialect const& dialect = EVMDialect::strictAssemblyForEVMObjects(EVMVersion{});
|
||||
|
||||
variant<unique_ptr<Block>, ErrorList> astOrErrors = parseSource(dialect, _sourceCode);
|
||||
variant<unique_ptr<Block>, ErrorList> astOrErrors = parseObject(dialect, _sourceCode);
|
||||
if (holds_alternative<ErrorList>(astOrErrors))
|
||||
return get<ErrorList>(astOrErrors);
|
||||
|
||||
@ -122,21 +122,6 @@ string Program::toJson() const
|
||||
return jsonPrettyPrint(serializedAst);
|
||||
}
|
||||
|
||||
variant<unique_ptr<Block>, ErrorList> Program::parseSource(Dialect const& _dialect, CharStream _source)
|
||||
{
|
||||
ErrorList errors;
|
||||
ErrorReporter errorReporter(errors);
|
||||
auto scanner = make_shared<Scanner>(move(_source));
|
||||
Parser parser(errorReporter, _dialect);
|
||||
|
||||
unique_ptr<Block> ast = parser.parse(scanner, false);
|
||||
if (ast == nullptr)
|
||||
return errors;
|
||||
|
||||
assert(errorReporter.errors().empty());
|
||||
return variant<unique_ptr<Block>, ErrorList>(move(ast));
|
||||
}
|
||||
|
||||
variant<unique_ptr<Block>, ErrorList> Program::parseObject(Dialect const& _dialect, CharStream _source)
|
||||
{
|
||||
ErrorList errors;
|
||||
|
@ -94,10 +94,6 @@ private:
|
||||
m_nameDispenser(_dialect, *m_ast, {})
|
||||
{}
|
||||
|
||||
static std::variant<std::unique_ptr<yul::Block>, langutil::ErrorList> parseSource(
|
||||
yul::Dialect const& _dialect,
|
||||
langutil::CharStream _source
|
||||
);
|
||||
static std::variant<std::unique_ptr<yul::Block>, langutil::ErrorList> parseObject(
|
||||
yul::Dialect const& _dialect,
|
||||
langutil::CharStream _source
|
||||
|
Loading…
Reference in New Issue
Block a user