handle merging blocks with items after an unreachable, that if merged would be invalid. stop on the unreachable, it is easier and better

2 files changed, 19 insertions, 0 deletions

diff --git a/test/passes/remove-unused-names_merge-blocks.txt b/test/passes/remove-unused-names_merge-blocks.txt
index ff0d8b912..81386b10a 100644
--- a/test/passes/remove-unused-names_merge-blocks.txt
+++ b/test/passes/remove-unused-names_merge-blocks.txt
@@ -906,4 +906,9 @@
    )
   )
  )
+ (func $merging-with-unreachable-in-middle (type $4) (result i32)
+  (return
+   (i32.const 21536)
+  )
+ )
 )
diff --git a/test/passes/remove-unused-names_merge-blocks.wast b/test/passes/remove-unused-names_merge-blocks.wast
index 2911203d1..bf1dc1fda 100644
--- a/test/passes/remove-unused-names_merge-blocks.wast
+++ b/test/passes/remove-unused-names_merge-blocks.wast
@@ -1068,4 +1068,18 @@
    )
   )
  )
+ (func $merging-with-unreachable-in-middle (result i32)
+  (block $label$1 (result i32)
+   (block
+    (return
+     (i32.const 21536)
+    )
+    (block $label$15
+     (br $label$15)
+    )
+    (i32.const 19299)
+   )
+  )
+ )
 )
+