2 files changed, 29 insertions, 0 deletions
diff --git a/test/passes/precompute-propagate.txt b/test/passes/precompute-propagate.txt
index 6ebd7bd5b..0db40489f 100644
--- a/test/passes/precompute-propagate.txt
+++ b/test/passes/precompute-propagate.txt
@@ -241,4 +241,17 @@
   (nop)
   (local.get $2)
  )
+ (func $through-fallthrough (; 16 ;) (type $2) (param $x i32) (param $y i32) (result i32)
+  (local.set $x
+   (block $block (result i32)
+    (nop)
+    (local.tee $y
+     (i32.const 7)
+    )
+   )
+  )
+  (return
+   (i32.const 14)
+  )
+ )
 )
diff --git a/test/passes/precompute-propagate.wast b/test/passes/precompute-propagate.wast
index 4b7764b19..17da74085 100644
--- a/test/passes/precompute-propagate.wast
+++ b/test/passes/precompute-propagate.wast
@@ -154,5 +154,21 @@
    )
    (local.get $2)
   )
+  (func $through-fallthrough (param $x i32) (param $y i32) (result i32)
+    (local.set $x
+      (block (result i32)
+        (nop)
+        (local.tee $y
+          (i32.const 7)
+        )
+      )
+    )
+    (return
+      (i32.add
+        (local.get $x)
+        (local.get $y)
+      )
+    )
+  )
 )