asmarm: Fix bug with encoding small negative ints using MVN instruction.

2 files changed, 13 insertions, 0 deletions

diff --git a/tests/micropython/viper_binop_comp_imm.py b/tests/micropython/viper_binop_comp_imm.py
new file mode 100644
index 000000000..c7c040895
--- /dev/null
+++ b/tests/micropython/viper_binop_comp_imm.py
@@ -0,0 +1,9 @@
+# comparisons with immediate boundary values
+@micropython.viper
+def f(a: int):
+    print(a == -1, a == -255, a == -256, a == -257)
+
+f(-1)
+f(-255)
+f(-256)
+f(-257)
diff --git a/tests/micropython/viper_binop_comp_imm.py.exp b/tests/micropython/viper_binop_comp_imm.py.exp
new file mode 100644
index 000000000..3da9d09fb
--- /dev/null
+++ b/tests/micropython/viper_binop_comp_imm.py.exp
@@ -0,0 +1,4 @@
+True False False False
+False True False False
+False False True False
+False False False True