optimize breaks with values in RemoveUnusedBrs, check if their value can flow to the target anyhow

1 files changed, 5 insertions, 33 deletions

diff --git a/test/passes/remove-unused-brs.txt b/test/passes/remove-unused-brs.txt
index 226065f3f..903c5f56a 100644
--- a/test/passes/remove-unused-brs.txt
+++ b/test/passes/remove-unused-brs.txt
@@ -2,45 +2,36 @@
   (memory 256 256)
   (func $b0-yes (param $i1 i32)
     (block $topmost
-      (nop)
     )
   )
   (func $b1 (param $i1 i32)
     (block $topmost
-      (br $topmost
-        (i32.const 0)
-      )
+      (i32.const 0)
     )
   )
   (func $b2 (param $i1 i32)
     (block $topmost
       (block $inner
-        (nop)
       )
     )
   )
   (func $b3-yes (param $i1 i32)
     (block $topmost
       (block $inner
-        (nop)
       )
     )
   )
   (func $b4 (param $i1 i32)
     (block $topmost
       (block $inner
-        (br $topmost
-          (i32.const 0)
-        )
+        (i32.const 0)
       )
     )
   )
   (func $b5 (param $i1 i32)
     (block $topmost
       (block $inner
-        (br $inner
-          (i32.const 0)
-        )
+        (i32.const 0)
       )
     )
   )
@@ -103,15 +94,11 @@
         (i32.const 1)
         (block $block1
           (i32.const 12)
-          (br $topmost
-            (i32.const 1)
-          )
+          (i32.const 1)
         )
         (block $block3
           (i32.const 27)
-          (br $topmost
-            (i32.const 2)
-          )
+          (i32.const 2)
         )
       )
     )
@@ -169,29 +156,20 @@
     (block $a
       (block $b
         (block $c
-          (nop)
         )
-        (nop)
       )
-      (nop)
     )
     (block $a
       (block $b
         (block $c
-          (nop)
         )
-        (nop)
       )
-      (nop)
     )
     (block $a
       (block $b
         (block $c
-          (nop)
         )
-        (nop)
       )
-      (nop)
     )
   )
   (func $b17
@@ -199,10 +177,8 @@
       (if
         (i32.const 0)
         (block $block1
-          (nop)
         )
         (block $block3
-          (nop)
         )
       )
     )
@@ -211,7 +187,6 @@
         (i32.const 0)
         (i32.const 1)
         (block $block6
-          (nop)
         )
       )
     )
@@ -219,7 +194,6 @@
       (if
         (i32.const 0)
         (block $block8
-          (nop)
         )
         (i32.const 1)
       )
@@ -229,10 +203,8 @@
         (if
           (i32.const 0)
           (block $block11
-            (nop)
           )
           (block $block13
-            (nop)
           )
         )
       )