| (module |
| (type $1 (func)) |
| (type $0 (func (param i32) (result i32))) |
| (type $2 (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 $out1 |
| (loop $in3 |
| (br $out1) |
| (br $in3) |
| ) |
| ) |
| (block $out2 |
| (loop $in4 |
| (br $out2) |
| (br $in4) |
| ) |
| ) |
| (loop $in5 |
| (block $out3 |
| (br $out3) |
| (br $in5) |
| ) |
| ) |
| (loop $in6 |
| (block $out4 |
| (br $out4) |
| (br $in6) |
| ) |
| ) |
| (block $out5 |
| (loop $in7 |
| (br $out5) |
| (br $in7) |
| ) |
| ) |
| ) |
| (func $merges |
| (block $b |
| (br $b) |
| (br $b) |
| ) |
| (block $b0 |
| (br_table $b0 $b0 |
| (i32.const 3) |
| ) |
| ) |
| (block $b1 |
| (br_table $b1 $b1 |
| (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) |
| ) |
| ) |
| ) |
| ) |