(module | |
(func $a | |
(if (i32.const 1) | |
(unreachable) | |
) | |
) | |
(func $b | |
(if (i32.const 1) | |
(unreachable) | |
(unreachable) | |
) | |
) | |
(func $a-block | |
(block | |
(if (i32.const 1) | |
(unreachable) | |
) | |
) | |
) | |
(func $b-block | |
(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) | |
) | |
(nop) | |
) | |
(func $a-block-prepost | |
(nop) | |
(block | |
(if (i32.const 1) | |
(unreachable) | |
) | |
) | |
(nop) | |
) | |
(func $b-block-prepost | |
(nop) | |
(block | |
(if (i32.const 1) | |
(unreachable) | |
(unreachable) | |
) | |
) | |
(nop) | |
) | |
(func $recurse | |
(block $a | |
(nop) | |
(block $b | |
(nop) | |
(br $b) | |
(nop) | |
) | |
(nop) | |
) | |
) | |
(func $recurse-b | |
(block $a | |
(nop) | |
(block $b | |
(nop) | |
(br $a) | |
(nop) | |
) | |
(nop) | |
) | |
) | |
) | |