diff options
Diffstat (limited to 'test/passes/remove-unused-brs.wast')
-rw-r--r-- | test/passes/remove-unused-brs.wast | 22 |
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) + ) + ) + ) + ) + ) + ) ) |