(module | |
(type $none_=>_none (func)) | |
(func $a | |
(if | |
(i32.const 1) | |
(unreachable) | |
) | |
) | |
(func $b | |
(if | |
(i32.const 1) | |
(unreachable) | |
(unreachable) | |
) | |
) | |
(func $a-block | |
(if | |
(i32.const 1) | |
(unreachable) | |
) | |
) | |
(func $b-block | |
(if | |
(i32.const 1) | |
(unreachable) | |
(unreachable) | |
) | |
) | |
(func $a-prepost | |
(nop) | |
(if | |
(i32.const 1) | |
(unreachable) | |
) | |
(nop) | |
) | |
(func $b-prepost | |
(nop) | |
(if | |
(i32.const 1) | |
(unreachable) | |
(unreachable) | |
) | |
) | |
(func $a-block-prepost | |
(nop) | |
(block $label$1 | |
(if | |
(i32.const 1) | |
(unreachable) | |
) | |
) | |
(nop) | |
) | |
(func $b-block-prepost | |
(nop) | |
(block $label$1 | |
(if | |
(i32.const 1) | |
(unreachable) | |
(unreachable) | |
) | |
) | |
) | |
(func $recurse | |
(nop) | |
(block $label$1 | |
(nop) | |
(br $label$1) | |
) | |
(nop) | |
) | |
(func $recurse-b | |
(block $label$1 | |
(nop) | |
(block $label$2 | |
(nop) | |
(br $label$1) | |
) | |
) | |
) | |
) | |