XX debug the failure

Author: Thirumalai-Shaktivel

integration_tests/if_02.py

@@ -1,35 +1,37 @@
 from ltypes import bool, i32
 def Test_if_01():
-    x: bool = True
+    # x: bool = True
     y: i32 = 1
 
-    if x:
-        x = False
-    if x:
-        print(0)
-    else:
-        print(1)
+    # if x:
+    #     x = False
+    # if x:
+    #     print(0)
+    # else:
+    #     print(1)
 
-    if y > 0:
-        print(1)
-    if y < 2:
-        print(1)
-    if y == 1:
-        print(1)
+    # if y > 0:
+    #     print(1)
+    # if y < 2:
+    #     print(1)
+    # if y == 1:
+    #     print(1)
+    # print(y != 1)
     if y != 1:
         print(0)
     else:
         print(1)
     if y <= 1:
         print(1)
+    print(y)
 
-    y = 5
-    if y <= 10:
-        print(1)
-    if y >= 5:
-        print(1)
-    if y >= 1:
-        print(1)
+    # y = 5
+    # if y <= 10:
+    #     print(1)
+    # if y >= 5:
+    #     print(1)
+    # if y >= 1:
+    #     print(1)
 
 def Verify():
     Test_if_01()

src/libasr/codegen/wasm_to_x86.cpp

@@ -186,7 +186,18 @@ class X86Visitor : public WASMDecoder<X86Visitor>,
     void visit_I32GeS() { handle_I32Compare("GtE"); }
     void visit_I32LtS() { handle_I32Compare("Lt"); }
     void visit_I32LeS() { handle_I32Compare("LtE"); }
-    void visit_I32Ne() { handle_I32Compare("NotEq"); }
+    void visit_I32Ne() {
+        unique_id.push_back(std::to_string(offset));
+        m_a.asm_pop_r32(X86Reg::ebx);
+        m_a.asm_pop_r32(X86Reg::eax);
+        m_a.asm_cmp_r32_r32(X86Reg::eax, X86Reg::ebx);
+            m_a.asm_jne_label(".compare_1" + unique_id.back());
+        m_a.asm_mov_r32_imm32(X86Reg::eax, 0);
+        m_a.asm_jmp_label(".compare.end_" + unique_id.back());
+        m_a.add_label(".compare_1" + unique_id.back());
+        m_a.asm_mov_r32_imm32(X86Reg::eax, 1);
+        m_a.add_label(".compare.end_" + unique_id.back());
+    }
 
     void gen_x86_bytes() {
         emit_elf32_header(m_a);