diff options
| author | chriseth <chris@ethereum.org> | 2018-02-02 22:24:38 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-02-06 19:38:32 +0800 |
| commit | 773be40c19a2c3b72a5cf743e86e150533e0f25f (patch) | |
| tree | 3fc92c722a2361a9be7a4e65f4d2c3988900b022 | |
| parent | 2b6a7665ee79e1397f72cca8fb21e44e29045844 (diff) | |
| download | dexon-solidity-773be40c19a2c3b72a5cf743e86e150533e0f25f.tar.gz dexon-solidity-773be40c19a2c3b72a5cf743e86e150533e0f25f.tar.zst dexon-solidity-773be40c19a2c3b72a5cf743e86e150533e0f25f.zip | |
Reassign test for remat.
| -rw-r--r-- | test/libjulia/Rematerialiser.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/libjulia/Rematerialiser.cpp b/test/libjulia/Rematerialiser.cpp index d6cc0dae..fce287a5 100644 --- a/test/libjulia/Rematerialiser.cpp +++ b/test/libjulia/Rematerialiser.cpp @@ -74,6 +74,14 @@ BOOST_AUTO_TEST_CASE(expression) ); } +BOOST_AUTO_TEST_CASE(reassign) +{ + CHECK( + "{ let a := extcodesize(0) let b := a let c := b a := 2 let d := add(b, c) pop(a) pop(b) pop(c) pop(d) }", + "{ let a := extcodesize(0) let b := a let c := a a := 2 let d := add(b, c) pop(2) pop(b) pop(c) pop(add(b, c)) }" + ); +} + BOOST_AUTO_TEST_CASE(non_movable_instr) { CHECK( |