update br type when turning it into a br_if in remove-unused-brs

1 files changed, 28 insertions, 0 deletions

diff --git a/test/unit.fromasm.imprecise.no-opts b/test/unit.fromasm.imprecise.no-opts
index 7808b6cf2..3e532ef2a 100644
--- a/test/unit.fromasm.imprecise.no-opts
+++ b/test/unit.fromasm.imprecise.no-opts
@@ -1549,4 +1549,32 @@
       )
     )
   )
+  (func $__Z12multi_varargiz (param $$0 i32)
+    (local $$2 i32)
+    (local $$$06$i4 i32)
+    (local $$exitcond$i6 i32)
+    (local $$12 i32)
+    (local $$20 i32)
+    (if
+      (get_local $$2)
+      (loop $while-in$1
+        (block $while-out$0
+          (set_local $$12
+            (get_local $$$06$i4)
+          )
+          (if
+            (get_local $$exitcond$i6)
+            (br $while-out$0)
+            (set_local $$$06$i4
+              (get_local $$20)
+            )
+          )
+          (br $while-in$1)
+        )
+      )
+      (call $lb
+        (i32.const 1)
+      )
+    )
+  )
 )