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

Add tests for when/unless/if in LLL

Browse Source
This commit is contained in:
Alex Beregszaszi 2017-06-14 20:51:00 +01:00
parent 176f8f903a
commit 3515ee98ff
1 changed files with 62 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
test/liblll/EndToEndTest.cpp
View File

@ -57,6 +57,68 @@ BOOST_AUTO_TEST_CASE(panic)
BOOST_REQUIRE(m_output.empty());
}
BOOST_AUTO_TEST_CASE(when)
{
char const* sourceCode = R"(
(returnlll
(seq
(when (= (calldatasize) 0) (return 1))
(when (!= (calldatasize) 0) (return 2))))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2)));
BOOST_CHECK(callFallback() == toBigEndian(u256(1)));
}
BOOST_AUTO_TEST_CASE(unless)
{
char const* sourceCode = R"(
(returnlll
(seq
(unless (!= (calldatasize) 0) (return 1))
(unless (= (calldatasize) 0) (return 2))))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2)));
BOOST_CHECK(callFallback() == toBigEndian(u256(1)));
}
BOOST_AUTO_TEST_CASE(conditional_literal)
{
char const* sourceCode = R"(
(returnlll
(seq
(return (if (= (calldatasize) 0) 1 2))))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2)));
BOOST_CHECK(callFallback() == toBigEndian(u256(1)));
}
BOOST_AUTO_TEST_CASE(conditional)
{
char const* sourceCode = R"(
(returnlll
(seq
(if (= (calldatasize) 0) (return 1) (return 2))))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2)));
BOOST_CHECK(callFallback() == toBigEndian(u256(1)));
}
BOOST_AUTO_TEST_CASE(conditional_seq)
{
char const* sourceCode = R"(
(returnlll
(seq
(return (if (= (calldatasize) 0) { 0 2 1 } { 0 1 2 }))))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2)));
BOOST_CHECK(callFallback() == toBigEndian(u256(1)));
}
BOOST_AUTO_TEST_CASE(exp_operator_const)
{
char const* sourceCode = R"(