Add .wast regression tests for fuse-{nez,eqz} (#1569)

add .wast regression tests for fuse-{nez,eqz}

Author: Robbepop

crates/wast/tests/local/fuse-cmp.wast

@@ -0,0 +1,165 @@
+;; Regression tests asserting that `fuse-eqz` and `fuse-nez` properly
+;; update the type of the resulting operand they successfully fused.
+;;
+;; The bug made translation of `i64.extend_i32_u` panic since `fuse-eqz`
+;; and `fuse-nez` did not properly update the type on the translation type
+;; upon successful op-code fusion.
+
+(module
+    ;; fuse-nez
+
+    (func (export "fuse.and+eqz") (param i64 i64) (result i64)
+        (i64.eqz (i64.and (local.get 0) (local.get 1)))
+        i64.extend_i32_u
+    )
+
+    (func (export "fuse.or+eqz") (param i64 i64) (result i64)
+        (i64.eqz (i64.or (local.get 0) (local.get 1)))
+        i64.extend_i32_u
+    )
+
+    (func (export "fuse.xor+eqz") (param i64 i64) (result i64)
+        (i64.eqz (i64.xor (local.get 0) (local.get 1)))
+        i64.extend_i32_u
+    )
+
+    ;; fuse-nez
+
+    (func (export "fuse.and+nez") (param i64 i64) (result i64)
+        (i64.ne
+            (i64.and (local.get 0) (local.get 1))
+            (i64.const 0)
+        )
+        i64.extend_i32_u
+    )
+
+    (func (export "fuse.or+nez") (param i64 i64) (result i64)
+        (i64.ne
+            (i64.or (local.get 0) (local.get 1))
+            (i64.const 0)
+        )
+        i64.extend_i32_u
+    )
+
+    (func (export "fuse.xor+nez") (param i64 i64) (result i64)
+        (i64.ne
+            (i64.xor (local.get 0) (local.get 1))
+            (i64.const 0)
+        )
+        i64.extend_i32_u
+    )
+)
+
+;; and + eqz
+
+(assert_return
+    (invoke "fuse.and+eqz" (i64.const 0) (i64.const 0))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.and+eqz" (i64.const 0) (i64.const 1))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.and+eqz" (i64.const 1) (i64.const 0))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.and+eqz" (i64.const 1) (i64.const 1))
+    (i64.const 0)
+)
+
+;; or + eqz
+
+(assert_return
+    (invoke "fuse.or+eqz" (i64.const 0) (i64.const 0))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.or+eqz" (i64.const 0) (i64.const 1))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.or+eqz" (i64.const 1) (i64.const 0))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.or+eqz" (i64.const 1) (i64.const 1))
+    (i64.const 0)
+)
+
+;; xor + eqz
+
+(assert_return
+    (invoke "fuse.xor+eqz" (i64.const 0) (i64.const 0))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.xor+eqz" (i64.const 0) (i64.const 1))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.xor+eqz" (i64.const 1) (i64.const 0))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.xor+eqz" (i64.const 1) (i64.const 1))
+    (i64.const 1)
+)
+
+;; and + nez
+
+(assert_return
+    (invoke "fuse.and+nez" (i64.const 0) (i64.const 0))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.and+nez" (i64.const 0) (i64.const 1))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.and+nez" (i64.const 1) (i64.const 0))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.and+nez" (i64.const 1) (i64.const 1))
+    (i64.const 1)
+)
+
+;; or + nez
+
+(assert_return
+    (invoke "fuse.or+nez" (i64.const 0) (i64.const 0))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.or+nez" (i64.const 0) (i64.const 1))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.or+nez" (i64.const 1) (i64.const 0))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.or+nez" (i64.const 1) (i64.const 1))
+    (i64.const 1)
+)
+
+;; xor + nez
+
+(assert_return
+    (invoke "fuse.xor+nez" (i64.const 0) (i64.const 0))
+    (i64.const 0)
+)
+(assert_return
+    (invoke "fuse.xor+nez" (i64.const 0) (i64.const 1))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.xor+nez" (i64.const 1) (i64.const 0))
+    (i64.const 1)
+)
+(assert_return
+    (invoke "fuse.xor+nez" (i64.const 1) (i64.const 1))
+    (i64.const 0)
+)

crates/wast/tests/mod.rs

@@ -203,6 +203,7 @@ macro_rules! expand_tests {
             fn wasmi_replace_result("../../local/replace-result");
             fn wasmi_local_tee("../../local/local-tee");
             fn wasmi_if("../../local/if");
+            fn wasmi_fuse_cmp("../../local/fuse-cmp");
 
             // Wasm `simd` tests
             fn wasm_simd_address("simd_address");