summaryrefslogtreecommitdiff
path: root/test/passes/remove-unused-brs.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/remove-unused-brs.wast')
-rw-r--r--test/passes/remove-unused-brs.wast22
1 files changed, 22 insertions, 0 deletions
diff --git a/test/passes/remove-unused-brs.wast b/test/passes/remove-unused-brs.wast
index 7a1943c14..d1afba4a5 100644
--- a/test/passes/remove-unused-brs.wast
+++ b/test/passes/remove-unused-brs.wast
@@ -1815,5 +1815,27 @@
(br $label$1)
)
)
+ (func $refinalize-need-br-value (result i32)
+ (loop $label$3 (result i32)
+ (block $label$6 (result i32)
+ (block $label$10
+ (unreachable)
+ (block $label$503 ;; this block will get a value flowing out
+ (br_if $label$3
+ (block $label$530 (result i32)
+ (br_if $label$503 ;; while this br does not send a value
+ (i32.const 0)
+ )
+ (i32.const 0)
+ )
+ )
+ (return
+ (i32.const 127)
+ )
+ )
+ )
+ )
+ )
+ )
)