| (module |
| (type $none_=>_none (func)) |
| (type $none_=>_f32 (func (result f32))) |
| (type $f32_=>_none (func (param f32))) |
| (memory $0 1 1) |
| (table $0 282 282 funcref) |
| (func $0 |
| (block $label$1 |
| (if |
| (i32.const 1) |
| (block |
| (block $label$3 |
| (call_indirect (type $f32_=>_none) |
| (block $label$4 |
| (br $label$3) |
| ) |
| (i32.const 105) |
| ) |
| ) |
| (nop) |
| ) |
| ) |
| ) |
| ) |
| (func $negative-zero (result f32) |
| (if (result f32) |
| (i32.const 0) |
| (block $label$0 (result f32) |
| (f32.const 0) |
| ) |
| (block $label$1 (result f32) |
| (f32.const -0) |
| ) |
| ) |
| ) |
| (func $negative-zero-b (result f32) |
| (drop |
| (i32.const 0) |
| ) |
| (block $label$0 (result f32) |
| (f32.const -0) |
| ) |
| ) |
| (func $negative-zero-c (result f32) |
| (drop |
| (i32.const 0) |
| ) |
| (block $label$0 (result f32) |
| (f32.const 0) |
| ) |
| ) |
| (func $break-target-outside-of-return-merged-code |
| (block $label$A |
| (if |
| (unreachable) |
| (block $block |
| (block $block0 |
| (block $label$B |
| (if |
| (unreachable) |
| (br_table $label$A $label$B |
| (unreachable) |
| ) |
| ) |
| ) |
| (return) |
| ) |
| ) |
| (block $block2 |
| (block $label$C |
| (if |
| (unreachable) |
| (br_table $label$A $label$C |
| (unreachable) |
| ) |
| ) |
| ) |
| (return) |
| ) |
| ) |
| ) |
| ) |
| (func $break-target-inside-all-good |
| (block $folding-inner0 |
| (block $label$A |
| (if |
| (unreachable) |
| (block $block |
| (block $block4 |
| (br $folding-inner0) |
| ) |
| ) |
| (block $block6 |
| (br $folding-inner0) |
| ) |
| ) |
| ) |
| ) |
| (block $label$B |
| (if |
| (unreachable) |
| (br_table $label$B $label$B |
| (unreachable) |
| ) |
| ) |
| ) |
| (return) |
| ) |
| (func $leave-inner-block-type |
| (block $label$1 |
| (drop |
| (block $label$2 |
| (block |
| (unreachable) |
| (unreachable) |
| ) |
| (br $label$1) |
| ) |
| ) |
| ) |
| (drop |
| (i32.const 1) |
| ) |
| ) |
| ) |
| (module |
| (type $none_=>_i32 (func (result i32))) |
| (memory $0 (shared 1 1)) |
| (export "func_2224" (func $0)) |
| (func $0 (result i32) |
| (local $var$0 i32) |
| (if (result i32) |
| (i32.const 0) |
| (i32.load offset=22 |
| (local.get $var$0) |
| ) |
| (i32.atomic.load offset=22 |
| (local.get $var$0) |
| ) |
| ) |
| ) |
| ) |
| (module |
| (type $none_=>_none (func)) |
| (type $i32_=>_none (func (param i32))) |
| (global $global$0 (mut i32) (i32.const 10)) |
| (func $determinism |
| (block $folding-inner0 |
| (block |
| (block $label$1 |
| (br_if $label$1 |
| (i32.const 1) |
| ) |
| (br $folding-inner0) |
| ) |
| (block $label$2 |
| (br_if $label$2 |
| (i32.const 0) |
| ) |
| (if |
| (global.get $global$0) |
| (block $block |
| (br $folding-inner0) |
| ) |
| ) |
| (unreachable) |
| ) |
| (if |
| (global.get $global$0) |
| (block $block1 |
| (br $folding-inner0) |
| ) |
| ) |
| (unreachable) |
| ) |
| ) |
| (global.set $global$0 |
| (i32.sub |
| (global.get $global$0) |
| (i32.const 1) |
| ) |
| ) |
| (unreachable) |
| ) |
| (func $careful-of-the-switch (param $0 i32) |
| (block $label$1 |
| (block $label$3 |
| (block $label$5 |
| (block $label$7 |
| (br_table $label$3 $label$7 |
| (i32.const 0) |
| ) |
| ) |
| (br $label$1) |
| ) |
| (block $label$8 |
| (br_table $label$3 $label$8 |
| (i32.const 0) |
| ) |
| ) |
| (br $label$1) |
| ) |
| (unreachable) |
| ) |
| ) |
| ) |