diff --git a/test/core/loop.wast b/test/core/loop.wast index 4557869b39..0f76a25917 100644 --- a/test/core/loop.wast +++ b/test/core/loop.wast @@ -425,6 +425,17 @@ ) (drop) (drop) (drop) ) + + (func (export "br-implicit-drop") (result i32) + (local $i i32) + (i32.const 1) + (loop $loop + (local.set $i (i32.add (local.get $i) (i32.const 1))) + (i32.const 2) + (br_if $loop (i32.lt_s (local.get $i) (i32.const 10))) + (drop) + ) + ) ) (assert_return (invoke "empty")) @@ -522,6 +533,8 @@ (assert_return (invoke "type-use")) +(assert_return (invoke "br-implicit-drop") (i32.const 1)) + (assert_malformed (module quote "(type $sig (func (param i32) (result i32)))"