| (module |
| (type $1 (func)) |
| (type $0 (func (param i32) (result i32))) |
| (type $none_=>_i32 (func (result i32))) |
| (memory $0 256 256) |
| (func $b0 (param $i1 i32) (result i32) |
| (i32.const 0) |
| ) |
| (func $loops |
| (block $out |
| (loop $in |
| (br $out) |
| (br $in) |
| ) |
| ) |
| (loop $in0 |
| (br $in0) |
| ) |
| (nop) |
| (block $out4 |
| (loop $in5 |
| (br $out4) |
| (br $in5) |
| ) |
| ) |
| (block $out6 |
| (loop $in7 |
| (br $out6) |
| (br $in7) |
| ) |
| ) |
| (loop $in8 |
| (block $out9 |
| (br $out9) |
| (br $in8) |
| ) |
| ) |
| (loop $in10 |
| (block $out11 |
| (br $out11) |
| (br $in10) |
| ) |
| ) |
| (block $out12 |
| (loop $in13 |
| (br $out12) |
| (br $in13) |
| ) |
| ) |
| ) |
| (func $merges |
| (block $b |
| (br $b) |
| (br $b) |
| ) |
| (block $b15 |
| (br_table $b15 $b15 |
| (i32.const 3) |
| ) |
| ) |
| (block $b17 |
| (br_table $b17 $b17 |
| (i32.const 3) |
| ) |
| ) |
| ) |
| (func $merge-typed-with-unreachable-child (result i32) |
| (local $0 f32) |
| (block $label$1 (result i32) |
| (br_if $label$1 |
| (i32.const 1) |
| (br_if $label$1 |
| (i32.const 0) |
| (br $label$1 |
| (i32.const 0) |
| ) |
| ) |
| ) |
| ) |
| ) |
| (func $loop-with-child-of-other-type |
| (drop |
| (loop (result i32) |
| (unreachable) |
| ) |
| ) |
| ) |
| ) |