aboutsummaryrefslogtreecommitdiffstats
path: root/test/libevmasm/Optimiser.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/libevmasm/Optimiser.cpp')
-rw-r--r--test/libevmasm/Optimiser.cpp26
1 files changed, 25 insertions, 1 deletions
diff --git a/test/libevmasm/Optimiser.cpp b/test/libevmasm/Optimiser.cpp
index 4b399a14..c01e8758 100644
--- a/test/libevmasm/Optimiser.cpp
+++ b/test/libevmasm/Optimiser.cpp
@@ -30,7 +30,6 @@
#include <libevmasm/Assembly.h>
#include <boost/test/unit_test.hpp>
-#include <boost/lexical_cast.hpp>
#include <string>
#include <tuple>
@@ -967,6 +966,31 @@ BOOST_AUTO_TEST_CASE(peephole_swap_comparison)
}
}
+BOOST_AUTO_TEST_CASE(peephole_truthy_and)
+{
+ AssemblyItems items{
+ AssemblyItem(Tag, 1),
+ Instruction::BALANCE,
+ u256(0),
+ Instruction::NOT,
+ Instruction::AND,
+ AssemblyItem(PushTag, 1),
+ Instruction::JUMPI
+ };
+ AssemblyItems expectation{
+ AssemblyItem(Tag, 1),
+ Instruction::BALANCE,
+ AssemblyItem(PushTag, 1),
+ Instruction::JUMPI
+ };
+ PeepholeOptimiser peepOpt(items);
+ BOOST_REQUIRE(peepOpt.optimise());
+ BOOST_CHECK_EQUAL_COLLECTIONS(
+ items.begin(), items.end(),
+ expectation.begin(), expectation.end()
+ );
+}
+
BOOST_AUTO_TEST_CASE(jumpdest_removal)
{
AssemblyItems items{