From 21ca2d76a2c10935826007daec699aba97679240 Mon Sep 17 00:00:00 2001
From: Damien George
Date: Sun, 19 Oct 2014 19:00:51 +0100
Subject: py: Partially fix viper multi-comparison; add test for it.

---
 tests/micropython/viper_binop_multi_comp.py     | 21 +++++++++++++++++++++
 tests/micropython/viper_binop_multi_comp.py.exp |  9 +++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 tests/micropython/viper_binop_multi_comp.py
 create mode 100644 tests/micropython/viper_binop_multi_comp.py.exp

(limited to 'tests/micropython')

diff --git a/tests/micropython/viper_binop_multi_comp.py b/tests/micropython/viper_binop_multi_comp.py
new file mode 100644
index 000000000..8065db291
--- /dev/null
+++ b/tests/micropython/viper_binop_multi_comp.py
@@ -0,0 +1,21 @@
+# test multi comparison operators
+@micropython.viper
+def f(x:int, y:int):
+    if 0 < x < y:
+        print(x, "<", y)
+    if 3 > x > y:
+        print(x, ">", y)
+    if 1 == x == y:
+        print(x, "==", y)
+    if -2 == x <= y:
+        print(x, "<=", y)
+    if 2 == x >= y:
+        print(x, ">=", y)
+    if 2 == x != y:
+        print(x, "!=", y)
+
+f(1, 1)
+f(2, 1)
+f(1, 2)
+f(2, -1)
+f(-2, 1)
diff --git a/tests/micropython/viper_binop_multi_comp.py.exp b/tests/micropython/viper_binop_multi_comp.py.exp
new file mode 100644
index 000000000..e5e97874e
--- /dev/null
+++ b/tests/micropython/viper_binop_multi_comp.py.exp
@@ -0,0 +1,9 @@
+1 == 1
+2 > 1
+2 >= 1
+2 != 1
+1 < 2
+2 > -1
+2 >= -1
+2 != -1
+-2 <= 1
-- 
cgit v1.2.3