2 files changed, 28 insertions, 0 deletions
diff --git a/test/passes/vacuum.txt b/test/passes/vacuum.txt
index ec6e3ad44..30474280e 100644
--- a/test/passes/vacuum.txt
+++ b/test/passes/vacuum.txt
@@ -5,6 +5,7 @@
  (type $3 (func (result i32)))
  (type $4 (func (param i32 f64 i32 i32)))
  (type $FUNCSIG$i (func (result i32)))
+ (type $6 (func (result f64)))
  (import "env" "int" (func $int (result i32)))
  (global $Int i32 (i32.const 0))
  (memory $0 256 256)
@@ -221,4 +222,17 @@
    )
   )
  )
+ (func $leave-block-even-if-br-not-taken (type $6) (result f64)
+  (block $label$0
+   (f64.store align=1
+    (i32.const 879179022)
+    (br_if $label$0
+     (loop $label$9
+      (br $label$9)
+     )
+     (i32.const 677803374)
+    )
+   )
+  )
+ )
 )
diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast
index 20bbfe625..594554846 100644
--- a/test/passes/vacuum.wast
+++ b/test/passes/vacuum.wast
@@ -520,4 +520,18 @@
       )
     )
   )
+  (func $leave-block-even-if-br-not-taken (result f64)
+   (block $label$0 (result f64)
+    (f64.store align=1
+     (i32.const 879179022)
+     (br_if $label$0
+      (loop $label$9
+       (br $label$9)
+      )
+      (i32.const 677803374)
+     )
+    )
+    (f64.const 2097914503796645752267195e31)
+   )
+  )
 )