Tests for inlining inside condition.

This commit is contained in:
chriseth 2018-09-25 16:24:40 +02:00
parent 1b8334e58b
commit ba62831143

View File

@ -342,5 +342,40 @@ BOOST_AUTO_TEST_CASE(pop_result)
);
}
BOOST_AUTO_TEST_CASE(inside_condition)
{
// This tests that breaking the expresison inside the condition works properly.
BOOST_CHECK_EQUAL(
fullInline(R"({
if gt(f(mload(1)), mload(0)) {
sstore(0, 2)
}
function f(a) -> r {
a := mload(a)
r := add(a, calldatasize())
}
})", false),
format(R"({
{
let _1 := mload(0)
let f_a := mload(1)
let f_r
{
f_a := mload(f_a)
f_r := add(f_a, calldatasize())
}
if gt(f_r, _1)
{
sstore(0, 2)
}
}
function f(a) -> r
{
a := mload(a)
r := add(a, calldatasize())
}
})", false)
);
}
BOOST_AUTO_TEST_SUITE_END()