fix remove-unused-brs bug with merging br_ifs with unreachable code

2 files changed, 40 insertions, 0 deletions

diff --git a/test/passes/remove-unused-brs_shrink-level=1.txt b/test/passes/remove-unused-brs_shrink-level=1.txt
index a26f4ebf4..fb739356c 100644
--- a/test/passes/remove-unused-brs_shrink-level=1.txt
+++ b/test/passes/remove-unused-brs_shrink-level=1.txt
@@ -139,4 +139,24 @@
    )
   )
  )
+ (func $br-if-unreachable-pair (type $1)
+  (block $label$14
+   (br_if $label$14
+    (unreachable)
+   )
+   (br_if $label$14
+    (i32.const 0)
+   )
+  )
+ )
+ (func $br-if-unreachable-pair2 (type $1)
+  (block $label$14
+   (br_if $label$14
+    (i32.const 0)
+   )
+   (br_if $label$14
+    (unreachable)
+   )
+  )
+ )
 )
diff --git a/test/passes/remove-unused-brs_shrink-level=1.wast b/test/passes/remove-unused-brs_shrink-level=1.wast
index 88977be9e..11510dea7 100644
--- a/test/passes/remove-unused-brs_shrink-level=1.wast
+++ b/test/passes/remove-unused-brs_shrink-level=1.wast
@@ -93,5 +93,25 @@
     )
    )
   )
+  (func $br-if-unreachable-pair
+   (block $label$14
+    (br_if $label$14
+     (unreachable)
+    )
+    (br_if $label$14
+     (i32.const 0)
+    )
+   )
+  )
+  (func $br-if-unreachable-pair2
+   (block $label$14
+    (br_if $label$14
+     (i32.const 0)
+    )
+    (br_if $label$14
+     (unreachable)
+    )
+   )
+  )
 )