2 files changed, 21 insertions, 0 deletions
diff --git a/test/dot_s/return.s b/test/dot_s/return.s
index 5a0bded5a..9ceaabaf5 100644
--- a/test/dot_s/return.s
+++ b/test/dot_s/return.s
@@ -15,3 +15,15 @@ return_void:
 .Lfunc_end0:
 	.size	return_void, .Lfunc_end0-return_void
 
+  .type fallthrough_return_nested_loop_i32,@function
+fallthrough_return_nested_loop_i32:
+  .result   i32
+  loop      i32
+  loop      i32
+  i32.const $push0=, 1
+  return    $pop0
+  end_loop
+  end_loop
+  .endfunc
+.Lfunc_end0:
+  .size fallthrough_return_nested_loop_i32, .Lfunc_end0-fallthrough_return_nested_loop_i32
diff --git a/test/dot_s/return.wast b/test/dot_s/return.wast
index 896e99357..ee7bc2ed2 100644
--- a/test/dot_s/return.wast
+++ b/test/dot_s/return.wast
@@ -8,5 +8,14 @@
   )
   (func $return_void
   )
+  (func $fallthrough_return_nested_loop_i32 (result i32)
+    (loop $label$0 i32
+      (loop $label$1 i32
+        (return
+          (i32.const 1)
+        )
+      )
+    )
+  )
 )
 ;; METADATA: { "asmConsts": {},"staticBump": 12, "initializers": [] }