Add a test for unsigned integers

Author: certik

integration_tests/CMakeLists.txt

@@ -311,6 +311,7 @@ RUN(NAME const_03            LABELS cpython llvm c
         EXTRAFILES const_03b.c)
 RUN(NAME const_04            LABELS cpython llvm c)
 RUN(NAME expr_01             LABELS cpython llvm c wasm wasm_x64)
+RUN(NAME expr_01u            LABELS cpython llvm)
 RUN(NAME expr_02             LABELS cpython llvm c wasm wasm_x64)
 RUN(NAME expr_03             LABELS cpython llvm c wasm wasm_x64)
 RUN(NAME expr_04             LABELS cpython llvm c wasm)

integration_tests/expr_01u.py

@@ -0,0 +1,28 @@
+from lpython import inline, u32
+
+@inline
+def uadd(x: u32, y: u32) -> u32:
+    return x + y
+
+@inline
+def uand_op(x: u32, y: u32) -> u32:
+    return x & y
+
+def main1():
+    x: u32
+    y: u32
+    z: u32
+    x = (u32(2)+u32(3))*u32(5)
+    y = uadd(x, u32(2))*u32(2)
+    assert x == u32(25)
+    assert y == u32(54)
+
+    z = uand_op(x, y)
+    assert z == u32(16)
+
+
+main1()
+
+# Not implemented yet in LPython:
+#if __name__ == "__main__":
+#    main()