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 #2540 from benjaminion/lll-for-test

Browse Source 
LLL: Test cases for for and while loops.
This commit is contained in:
Alex Beregszaszi 2017-07-09 00:30:17 +02:00 committed by GitHub
commit 7d1ddfc652
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
test/liblll/EndToEndTest.cpp
View File

@ -387,6 +387,37 @@ BOOST_AUTO_TEST_CASE(assembly_codecopy)
BOOST_CHECK(callFallback() == encodeArgs(string("abcdef")));
}
BOOST_AUTO_TEST_CASE(for_loop)
{
char const* sourceCode = R"(
(returnlll
(seq
(for
{ (set 'i 1) (set 'j 1) } ; INIT
(<= @i 10) ; PRED
[i]:(+ @i 1) ; POST
[j]:(* @j @i)) ; BODY
(return j 0x20)))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callFallback() == encodeArgs(u256(3628800))); // 10!
}
BOOST_AUTO_TEST_CASE(while_loop)
{
char const* sourceCode = R"(
(returnlll
(seq
;; Euclid's GCD algorithm
(set 'a 1071)
(set 'b 462)
(while @b
[a]:(raw @b [b]:(mod @a @b)))
(return a 0x20)))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callFallback() == encodeArgs(u256(21))); // GCD(1071,462)
}
BOOST_AUTO_TEST_CASE(keccak256_32bytes)
{