if we use the zero-init value of a local, we cannot coalesce it with a param (#556)

1 files changed, 28 insertions, 0 deletions

diff --git a/test/unit.fromasm.imprecise.no-opts b/test/unit.fromasm.imprecise.no-opts
index 2f7665622..c3da01359 100644
--- a/test/unit.fromasm.imprecise.no-opts
+++ b/test/unit.fromasm.imprecise.no-opts
@@ -693,6 +693,34 @@
   (func $exportMe
     (f64.const -3.14159)
   )
+  (func $zeroInit (param $x i32)
+    (local $y i32)
+    (if
+      (call $lb
+        (i32.const 0)
+      )
+      (if
+        (call $lb
+          (i32.const 1)
+        )
+        (set_local $y
+          (i32.const 3)
+        )
+      )
+      (set_local $y
+        (i32.const 3)
+      )
+    )
+    (if
+      (i32.eq
+        (get_local $y)
+        (i32.const 3)
+      )
+      (call $lb
+        (i32.const 2)
+      )
+    )
+  )
   (func $z
     (nop)
   )