Add loop tests and enable wasm_x86 tests in CMakeLists

Author: Thirumalai-Shaktivel

integration_tests/CMakeLists.txt

@@ -210,6 +210,9 @@ RUN(NAME expr_13             LABELS llvm c
         EXTRAFILES expr_13b.c)
 RUN(NAME expr_14             LABELS cpython llvm c)
 RUN(NAME loop_01             LABELS cpython llvm c)
+RUN(NAME loop_02             LABELS cpython llvm wasm wasm_x86)
+RUN(NAME if_01               LABELS cpython llvm wasm wasm_x86)
+RUN(NAME if_02               LABELS cpython llvm wasm wasm_x86)
 RUN(NAME print_02            LABELS cpython llvm)
 RUN(NAME test_types_01       LABELS cpython llvm c)
 RUN(NAME test_str_01         LABELS cpython llvm c)

integration_tests/if_01.py

@@ -1,45 +1,46 @@
 def Test_if_01():
+    z: i32 = 0
     if True:
-        print(1)
+        assert True
 
     if False:
-        print(0)
+        assert False
 
     if 1 < 0:
-        print(0)
+        assert False
     else:
-        print(1)
+        assert True
 
     if 1 > 0:
-        print(1)
+        assert True
     else:
-        print(0)
+        assert False
 
     if 1 < 0:
-        print(1)
+        assert False
     elif 1 > 0:
-        print(1)
+        assert True
     else:
-        print(0)
+        assert False
 
 def Test_if_02():
     if True:
         print(1)
         if True:
             print(2)
             if False:
-                print(3)
+                assert False
             elif True:
                 print(4)
             else:
-                print(5)
+                assert False
         else:
-            print(6)
+            assert False
 
     if True:
         print(7)
         if False:
-            print(8)
+            assert False
             if False:
                 print(9)
             else:
@@ -48,7 +49,7 @@ def Test_if_02():
             if True:
                 print(11)
             else:
-                print(12)
+                assert False
             print(13)
     print(14)
 

integration_tests/if_02.py

@@ -1,4 +1,4 @@
-from ltypes import bool, i32
+from ltypes import i32
 
 def test_if_01():
     x: bool = True
@@ -33,8 +33,7 @@ def test_if_01():
     if y >= 2:
         z += 1
 
-    # TODO: replace this an assert statement
-    print(z)
+    assert z == 9
 
 def verify():
     test_if_01()

integration_tests/loop_02.py

@@ -0,0 +1,35 @@
+from ltypes import i32
+def test_loop_01():
+    i: i32 = 0
+    j: i32 = 0
+
+    while False:
+        assert False
+
+    while i < 0:
+        assert False
+
+    while i < 10:
+        i += 1
+    assert i == 10
+
+    while i < 20:
+        while i < 15:
+            i += 1
+        i += 1
+    assert i == 20
+
+    for i in range(5):
+        assert i == j
+        j += 1
+
+    j = 0
+    for i in range(10, 0, -1):
+        j = j + i
+    assert j == 55
+
+
+def verify():
+    test_loop_01()
+
+verify()

tests/reference/wat-loop1-e0046d4.json

@@ -6,7 +6,7 @@
     "outfile": null,
     "outfile_hash": null,
     "stdout": "wat-loop1-e0046d4.stdout",
-    "stdout_hash": "72c18793b437f96f1f96c9f8fc8cc253601fb360929216a4de1cb2f1",
+    "stdout_hash": "f2518c3df21a94fba3afb27274ecfae56de7beaaaa8b54b4c1fd84fa",
     "stderr": null,
     "stderr_hash": null,
     "returncode": 0

tests/reference/wat-loop1-e0046d4.stdout

@@ -48,6 +48,7 @@
                 i32.sub
                 local.set 0
                 br 1
+            else
             end
         end
         local.get 2
@@ -83,6 +84,7 @@
                 i32.mul
                 local.set 3
                 br 1
+            else
             end
         end
         local.get 3
@@ -121,6 +123,7 @@
                 i32.sub
                 local.set 0
                 br 1
+            else
             end
         end
         local.get 2