(module
 (type $0 (func (param i32)))
 (type $1 (func))
 (type $2 (func (result i32)))
 (type $3 (func (param i32 i32) (result i32)))
 (type $4 (func (param i32 i32)))
 (type $5 (func (param f32 i32 f32 i32 i32 f64 f32) (result i32)))
 (type $6 (func (param i32) (result i64)))
 (type $7 (func (result i64)))
 (type $8 (func (result f32)))
 (type $9 (func (param i32) (result f32)))
 (type $10 (func (param i32) (result i32)))
 (type $11 (func (param i32 f64 i32 f64 f32 f32) (result i32)))
 (memory $0 256 256)
 (func $b0-yes (; 0 ;) (type $0) (param $i1 i32)
  (block $topmost
  )
 )
 (func $b1 (; 1 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $block
    (drop
     (i32.const 0)
    )
   )
  )
 )
 (func $b2 (; 2 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
   )
  )
 )
 (func $b3-yes (; 3 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
   )
  )
 )
 (func $b4 (; 4 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $b5 (; 5 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $b6 (; 6 ;) (type $0) (param $i1 i32)
  (block $topmost
   (br_if $topmost
    (i32.const 1)
   )
  )
 )
 (func $b7 (; 7 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $block
    (drop
     (i32.const 0)
    )
    (br_if $topmost
     (i32.const 1)
    )
   )
  )
 )
 (func $b8 (; 8 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (br_if $topmost
     (i32.const 1)
    )
   )
  )
 )
 (func $b9 (; 9 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (br_if $topmost
     (i32.const 1)
    )
   )
  )
 )
 (func $b10 (; 10 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
     (br_if $topmost
      (i32.const 1)
     )
    )
   )
  )
 )
 (func $b11 (; 11 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
     (br_if $topmost
      (i32.const 1)
     )
    )
   )
  )
 )
 (func $b12-yes (; 12 ;) (type $1)
  (if
   (i32.const 1)
   (block $topmost
    (block $block1
     (drop
      (i32.const 12)
     )
     (block $block
      (drop
       (i32.const 1)
      )
     )
    )
   )
   (block $block3
    (drop
     (i32.const 27)
    )
    (block $block0
     (drop
      (i32.const 2)
     )
    )
   )
  )
 )
 (func $b13 (; 13 ;) (type $2) (result i32)
  (block $topmost (result i32)
   (if
    (i32.const 1)
    (block $block1
     (drop
      (i32.const 12)
     )
     (drop
      (br_if $topmost
       (i32.const 1)
       (i32.const 1)
      )
     )
    )
    (block $block3
     (drop
      (i32.const 27)
     )
     (br $topmost
      (i32.const 2)
     )
    )
   )
   (i32.const 3)
  )
 )
 (func $b14 (; 14 ;) (type $2) (result i32)
  (select
   (block $topmost (result i32)
    (block $block1 (result i32)
     (i32.const 12)
    )
   )
   (block $block3 (result i32)
    (i32.const 27)
   )
   (i32.const 1)
  )
 )
 (func $b15 (; 15 ;) (type $1)
  (block $topmost
   (br_if $topmost
    (i32.const 17)
   )
  )
 )
 (func $b15b (; 16 ;) (type $1)
  (if
   (i32.const 18)
   (block $topmost
    (block $block
     (drop
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $b16 (; 17 ;) (type $1)
  (block $a
   (block $b
    (block $c
    )
   )
  )
  (block $a1
   (block $b2
    (block $c3
    )
   )
  )
  (block $a4
   (block $b5
    (block $c6
    )
   )
  )
 )
 (func $b17 (; 18 ;) (type $1)
  (if
   (i32.const 0)
   (block $a
    (block $block1
    )
   )
   (block $block3
   )
  )
  (if
   (i32.const 0)
   (block $a7
    (drop
     (i32.const 1)
    )
   )
   (block $block6
   )
  )
  (if
   (i32.const 0)
   (block $a9
    (block $block8
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (if
   (i32.const 0)
   (block $c
    (block $b
     (block $block11
     )
    )
   )
   (block $block13
   )
  )
 )
 (func $ret-1 (; 19 ;) (type $1)
  (nop)
 )
 (func $ret-2 (; 20 ;) (type $1)
  (block $block0
   (block $block1
   )
  )
 )
 (func $ret-3 (; 21 ;) (type $1)
  (if
   (i32.const 0)
   (block $block0
   )
   (block $block3
   )
  )
 )
 (func $ret-value (; 22 ;) (type $2) (result i32)
  (block $block0 (result i32)
   (block $block1 (result i32)
    (i32.const 1)
   )
  )
 )
 (func $no-select-but-the-last (; 23 ;) (type $1)
  (block $a
   (if
    (i32.const 0)
    (drop
     (i32.const 1)
    )
    (block $block2
     (block $block
      (drop
       (i32.const 2)
      )
      (br $a)
     )
     (drop
      (i32.const 3)
     )
    )
   )
   (if
    (i32.const 0)
    (block $block4
     (block $block13
      (drop
       (i32.const 2)
      )
      (br $a)
     )
     (drop
      (i32.const 3)
     )
    )
    (drop
     (i32.const 1)
    )
   )
   (if
    (block $block6 (result i32)
     (block $block15
      (drop
       (i32.const 2)
      )
      (br $a)
     )
     (i32.const 3)
    )
    (drop
     (i32.const 0)
    )
    (drop
     (i32.const 1)
    )
   )
   (if
    (block $a17 (result i32)
     (i32.const 0)
    )
    (block $a18
     (block $block19
      (drop
       (i32.const 1)
      )
     )
    )
    (block $a20
     (block $block21
      (drop
       (i32.const 2)
      )
     )
    )
   )
  )
 )
 (func $side-effects-and-order (; 24 ;) (type $2) (result i32)
  (local $x i32)
  (block $do-once$0
   (if
    (call $b13)
    (block $block
     (drop
      (i32.const 0)
     )
     (br $do-once$0)
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (block $do-once$022
   (if
    (call $b13)
    (block $block24
     (drop
      (call $b14)
     )
     (br $do-once$022)
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (block $do-once$025
   (if
    (i32.const 0)
    (block $block27
     (drop
      (call $b14)
     )
     (br $do-once$025)
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (block $do-once$028 (result i32)
   (if
    (local.tee $x
     (i32.const 1)
    )
    (br $do-once$028
     (local.tee $x
      (i32.const 2)
     )
    )
   )
   (i32.const 1)
  )
 )
 (func $loops (; 25 ;) (type $1)
  (loop $in
   (block $out
    (br_if $in
     (i32.eqz
      (i32.const 0)
     )
    )
   )
  )
  (loop $in30
   (br $in30)
  )
  (loop $loop-in
   (block $out31
    (br_if $out31
     (i32.const 0)
    )
   )
  )
  (loop $in33
   (block $out34
    (br_if $out34
     (i32.const 0)
    )
   )
  )
  (loop $in36
   (nop)
  )
  (loop $in37
   (block $out38
   )
  )
  (loop $in39
   (if
    (i32.eqz
     (i32.const 0)
    )
    (block $out40
     (nop)
     (br_if $in39
      (i32.const 1)
     )
    )
   )
  )
  (loop $in42
   (block $out43
    (br_if $in42
     (i32.const 0)
    )
   )
  )
  (loop $in45
   (if
    (i32.const 0)
    (block $out46
     (unreachable)
    )
    (br $in45)
   )
  )
  (loop $in48
   (if
    (i32.const 0)
    (block $out49
     (block $block
      (call $loops)
     )
    )
    (br $in48)
   )
  )
  (loop $in-todo
   (if
    (i32.const 0)
    (block $out-todo
    )
    (block
     (call $loops)
     (br $in-todo)
    )
   )
  )
  (loop $in52
   (if
    (i32.const 0)
    (block $out53
    )
    (block
     (call $loops)
     (br $in52)
    )
   )
  )
  (loop $in55
   (if
    (i32.const 0)
    (block
     (call $loops)
     (br $in55)
    )
    (block $out56
    )
   )
  )
  (loop $in58
   (if
    (i32.const 0)
    (block
     (block $block61
      (drop
       (i32.const 1)
      )
      (call $loops)
     )
     (br $in58)
    )
    (block $out59
    )
   )
  )
  (loop $in62
   (if
    (i32.const 0)
    (block $out63
    )
    (block
     (call $loops)
     (drop
      (i32.const 100)
     )
     (br $in62)
    )
   )
  )
  (loop $in65
   (if
    (i32.const 0)
    (block
     (call $loops)
     (drop
      (i32.const 101)
     )
     (br $in65)
    )
    (block $out66
    )
   )
  )
  (loop $in68
   (if
    (i32.const 0)
    (block
     (block $block71
      (drop
       (i32.const 1)
      )
      (call $loops)
     )
     (drop
      (i32.const 102)
     )
     (br $in68)
    )
    (block $out69
    )
   )
  )
  (loop $in72
   (if
    (i32.eqz
     (i32.const 0)
    )
    (block $out73
     (nop)
     (call $loops)
     (return)
     (br $in72)
    )
   )
  )
  (loop $in75
   (block $out76
    (br_if $out76
     (i32.const 0)
    )
    (call $loops)
    (br $out76)
    (br $in75)
   )
  )
  (loop $in78
   (if
    (i32.const 0)
    (block $out79
    )
    (block
     (call $loops)
     (drop
      (block $out2 (result i32)
       (i32.const 1)
      )
     )
     (br $in78)
    )
   )
  )
  (loop $in81
   (block $out82
    (br_if $in81
     (i32.eqz
      (i32.const 0)
     )
    )
   )
  )
  (loop $in-todo2
   (if
    (i32.const 0)
    (block $out-todo2
    )
    (block
     (call $loops)
     (br $in-todo2)
    )
   )
  )
  (loop $in83
   (block $out84
    (br $out84)
    (br $in83)
   )
  )
  (loop $in85
   (block $out86
    (drop
     (i32.const 0)
    )
    (br $in85)
   )
  )
  (loop $in-not
   (block $out-not
    (br_if $out-not
     (i32.const -1)
    )
    (br_if $out-not
     (i32.const 0)
    )
    (call $loops)
    (br $in-not)
   )
  )
  (loop $in-todo287
   (if
    (i32.const 0)
    (block $out-todo288
    )
    (block
     (call $loops)
     (drop
      (i32.const 1)
     )
     (br $in-todo287)
    )
   )
  )
 )
 (func $br_if_in_block (; 26 ;) (type $2) (result i32)
  (block $outval (result i32)
   (block $in
    (drop
     (i32.const 1)
    )
    (br $in)
    (drop
     (i32.const 2)
    )
    (br_if $in
     (i32.eqz
      (i32.const 3)
     )
    )
    (unreachable)
    (drop
     (i32.const 4)
    )
    (br_if $in
     (i32.const 5)
    )
    (unreachable)
    (drop
     (i32.const 6)
    )
   )
   (select
    (i32.const 7)
    (i32.const 8)
    (i32.const 6)
   )
  )
 )
 (func $threading (; 27 ;) (type $1)
  (drop
   (block $value-out (result i32)
    (block $value-in (result i32)
     (block $out
      (block $in
       (br_if $out
        (i32.const 1)
       )
       (br_if $out
        (i32.const 2)
       )
       (br $value-in
        (i32.const 3)
       )
      )
     )
     (i32.const 4)
    )
   )
  )
  (block $stack1
   (block $stack2
    (block $stack3
     (block $stack4
      (br_if $stack1
       (i32.const 1)
      )
      (unreachable)
     )
    )
   )
  )
 )
 (func $if-to-br_if-conflict (; 28 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $leave
   (local.set $y
    (block $out (result i32)
     (if
      (local.get $x)
      (br $out
       (block $block (result i32)
        (local.set $x
         (i32.const 0)
        )
        (i32.const 1)
       )
      )
      (br_if $leave
       (i32.const 1)
      )
     )
     (unreachable)
    )
   )
  )
  (i32.add
   (local.get $x)
   (local.get $y)
  )
 )
 (func $if-to-br_if-conflict2 (; 29 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $leave
   (local.set $y
    (block $out (result i32)
     (if
      (local.get $x)
      (br_if $leave
       (i32.const 1)
      )
      (br $out
       (block $block (result i32)
        (local.set $x
         (i32.const 0)
        )
        (i32.const 1)
       )
      )
     )
     (unreachable)
    )
   )
  )
  (i32.add
   (local.get $x)
   (local.get $y)
  )
 )
 (func $if-to-br_if-value-sideeffect (; 30 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $leave
   (local.set $y
    (block $out (result i32)
     (if
      (local.get $x)
      (br $out
       (block $block (result i32)
        (drop
         (call $if-to-br_if-value-sideeffect
          (i32.const 0)
          (i32.const 1)
         )
        )
        (nop)
        (i32.const 1)
       )
      )
     )
     (unreachable)
    )
   )
  )
  (i32.add
   (local.get $x)
   (local.get $y)
  )
 )
 (func $fuzz (; 31 ;) (type $4) (param $j i32) (param $g i32)
  (loop $label$continue$d
   (block $label$break$c
    (block $label$break$d
     (if
      (i32.lt_s
       (local.get $j)
       (i32.const 2147483640)
      )
      (block $x
       (block $y
        (block $z
         (br_if $x
          (local.get $j)
         )
        )
       )
      )
      (block $switch$26
      )
     )
     (i32.store
      (i32.const 5724)
      (i32.const -254899267)
     )
     (br $label$continue$d)
    )
   )
  )
 )
 (func $iffify (; 32 ;) (type $1)
  (if
   (i32.eqz
    (i32.const 0)
   )
   (block $yes
    (nop)
    (drop
     (i32.const 1)
    )
    (drop
     (i32.const 2)
    )
   )
  )
  (block $no
   (br_if $no
    (i32.const 0)
   )
   (drop
    (i32.const 1)
   )
   (br $no)
   (drop
    (i32.const 2)
   )
  )
  (block $no2
   (br_if $no2
    (i32.const 0)
   )
  )
  (block $no3
   (br $no3)
   (drop
    (i32.const 1)
   )
   (drop
    (i32.const 2)
   )
  )
  (block $no5
   (block $no4
    (br_if $no5
     (i32.const 0)
    )
    (drop
     (i32.const 1)
    )
    (drop
     (i32.const 2)
    )
   )
  )
 )
 (func $loop-if (; 33 ;) (type $2) (result i32)
  (loop $typed (result i32)
   (block $outer (result i32)
    (block (result i32)
     (br_if $typed
      (i32.eqz
       (i32.const 2)
      )
     )
     (block $block (result i32)
      (drop
       (call $loop-if)
      )
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $block-break (; 34 ;) (type $0) (param $0 i32)
  (block $block$7$break
   (block $shape$6$continue
    (call $block-break
     (i32.const 1)
    )
   )
  )
 )
 (func $loop-break (; 35 ;) (type $0) (param $0 i32)
  (loop $shape$6$continue
   (block $block$7$break
    (block
     (call $loop-break
      (i32.const 1)
     )
     (br_if $shape$6$continue
      (local.get $0)
     )
     (nop)
    )
   )
  )
 )
 (func $untaken-brs-might-prevent-block-removal (; 36 ;) (type $5) (param $0 f32) (param $1 i32) (param $2 f32) (param $3 i32) (param $4 i32) (param $5 f64) (param $6 f32) (result i32)
  (block $label$0 (result i32)
   (block $label$1
    (br_if $label$1
     (i32.const 607395945)
    )
    (br_if $label$1
     (unreachable.load16_s offset=3 align=1
      (select
       (call $untaken-brs-might-prevent-block-removal
        (f32.const 1.4904844647389837e-07)
        (br_if $label$0
         (i32.store16 offset=4 align=1
          (i32.const 1900641)
          (br $label$0
           (i32.const 1628075109)
          )
         )
         (i32.const 1764950569)
        )
        (f32.const 1.1910939690100655e-32)
        (i32.const 1628057906)
        (i32.const 859068982)
        (f64.const 2.524518840347722e-258)
        (f32.const -nan:0x40a63)
       )
       (i32.const 688529440)
       (i32.const 1751478890)
      )
     )
    )
   )
   (i32.const 1935947830)
  )
 )
 (func $unexitable-loops-result (; 37 ;) (type $6) (param $0 i32) (result i64)
  (loop $label$0
   (loop $label$1
    (br_if $label$0
     (i32.load8_s
      (i32.const 201460482)
     )
    )
    (block
     (block $label$3
      (br_if $label$1
       (local.get $0)
      )
     )
     (br $label$1)
    )
   )
  )
 )
 (func $untaken-br-with-concrete-last-element (; 38 ;) (type $1)
  (block $label$8
   (block $label$11
    (block $label$14
     (br_if $label$8
      (br $label$8)
     )
    )
   )
  )
 )
 (func $untaken-br-with-concrete-last-element2 (; 39 ;) (type $2) (result i32)
  (block $label$8 (result i32)
   (block $label$11 (result i32)
    (block $label$14 (result i32)
     (br_if $label$14
      (i32.const 102)
      (br $label$11
       (i32.const 103)
      )
     )
    )
   )
  )
 )
 (func $untaken-br_if-then-if (; 40 ;) (type $1)
  (block $label$0
   (br_if $label$0
    (unreachable)
   )
   (if
    (i32.const 0)
    (nop)
   )
  )
 )
 (func $unreachable-if-that-could-be-a-br_if (; 41 ;) (type $7) (result i64)
  (loop $label$3 (result i64)
   (drop
    (if (result f64)
     (unreachable)
     (f64.const 1)
     (br $label$3)
    )
   )
   (i64.const 1)
  )
 )
 (func $nop-br-might-update-type (; 42 ;) (type $1)
  (block $label$39
   (drop
    (if (result i32)
     (unreachable)
     (if (result i32)
      (i32.const 1)
      (br $label$39)
      (i32.const 0)
     )
     (i32.const 0)
    )
   )
  )
 )
 (func $no-flow-through-if-without-else (; 43 ;) (type $8) (result f32)
  (local $0 i32)
  (local $2 f32)
  (if (result f32)
   (local.get $0)
   (block $label$0
    (block $label$11
     (return
      (f32.const 239)
     )
     (if
      (i32.const 0)
      (return
       (local.get $2)
      )
     )
    )
   )
   (f32.const -9223372036854775808)
  )
 )
 (func $unreachable-return-loop-value (; 44 ;) (type $7) (result i64)
  (loop $loop
   (if
    (i32.const 1)
    (block $block
     (br_if $block
      (br $loop)
     )
     (br $loop)
    )
   )
   (br $loop)
  )
 )
 (func $obviously-flows-out-maybe (; 45 ;) (type $9) (param $var$0 i32) (result f32)
  (block $label$1 (result f32)
   (br $label$1
    (f32.const 1)
   )
   (loop $label$5
    (if
     (i32.const 11)
     (block $label$8
      (br_if $label$8
       (unreachable)
      )
      (br $label$5)
     )
    )
    (br $label$5)
   )
  )
 )
 (func $br-to-table (; 46 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (nop)
     (nop)
     (block $tablify|0
      (br_table $x $y $z $tablify|0
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-too-few (; 47 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
    )
   )
  )
 )
 (func $br-to-table-one-more (; 48 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (nop)
     (nop)
     (nop)
     (block $tablify|0
      (br_table $x $y $z $x $tablify|0
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-overlap (; 49 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
     (br_if $z
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-overlap-start (; 50 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $z
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-offset (; 51 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (nop)
     (nop)
     (block $tablify|0
      (br_table $x $y $z $tablify|0
       (i32.sub
        (local.get $a)
        (i32.const 15)
       )
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-RANGE-high (; 52 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
     (br_if $z
      (i32.eq
       (local.get $a)
       (i32.const 10)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-RANGE-low (; 53 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (nop)
     (nop)
     (block $tablify|0
      (br_table $x $tablify|0 $tablify|0 $y $tablify|0 $tablify|0 $tablify|0 $tablify|0 $tablify|0 $z $tablify|0
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-bad (; 54 ;) (type $10) (param $a i32) (result i32)
  (block $value (result i32)
   (block $x
    (block $y
     (block $z
      (nop)
      (br $x)
      (nop)
      (nop)
      (block $tablify|0
       (br_table $x $y $z $tablify|0
        (local.get $a)
       )
      )
      (unreachable)
     )
     (unreachable)
    )
    (unreachable)
   )
   (i32.const 2000)
  )
 )
 (func $br-to-table-bad2 (; 55 ;) (type $10) (param $a i32) (result i32)
  (block $value (result i32)
   (block $x
    (block $y
     (block $z
      (nop)
      (drop
       (br_if $value
        (i32.const 1000)
        (i32.eq
         (local.get $a)
         (i32.const 0)
        )
       )
      )
      (nop)
      (nop)
      (block $tablify|0
       (br_table $x $y $z $tablify|0
        (local.get $a)
       )
      )
      (unreachable)
     )
     (unreachable)
    )
    (unreachable)
   )
   (i32.const 2000)
  )
 )
 (func $br-to-table-bad3 (; 56 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (i32.const 10)
       (i32.const 0)
      )
     )
     (nop)
     (nop)
     (block $tablify|0
      (br_table $x $y $z $tablify|0
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-multi (; 57 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (nop)
     (nop)
     (block $tablify|0
      (br_table $z $y $x $tablify|0
       (i32.sub
        (i32.const 10)
        (i32.const 5)
       )
      )
     )
     (nop)
     (nop)
     (block $tablify|00
      (br_table $x $y $z $tablify|00
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-bad4 (; 58 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.ne
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
     (br_if $z
      (i32.eq
       (local.get $a)
       (i32.const 2)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-bad5 (; 59 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (local.get $a)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (local.get $a)
      )
     )
     (br_if $z
      (i32.eq
       (local.get $a)
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-bad6 (; 60 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (call $b13)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (call $b13)
       (i32.const 1)
      )
     )
     (br_if $z
      (i32.eq
       (call $b13)
       (i32.const 2)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-bad7 (; 61 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const -1)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (i32.const -1)
      )
     )
     (br_if $z
      (i32.eq
       (local.get $a)
       (i32.const -1)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-defaultNameOverlaps (; 62 ;) (type $0) (param $a i32)
  (block $x
   (block $tablify|0
    (block $z
     (nop)
     (nop)
     (block $tablify|1
      (br_table $x $tablify|0 $z $tablify|1
       (local.get $a)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-unreach (; 63 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (unreachable)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (unreachable)
       (i32.const 1)
      )
     )
     (br_if $z
      (i32.eq
       (unreachable)
       (i32.const 2)
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $br-to-table-overlap-but-later (; 64 ;) (type $0) (param $a i32)
  (block $x
   (block $y
    (block $z
     (br_if $x
      (i32.eq
       (local.get $a)
       (i32.const 0)
      )
     )
     (br_if $y
      (i32.eq
       (local.get $a)
       (i32.const 1)
      )
     )
     (nop)
     (nop)
     (block $tablify|0
      (br_table $z $x $y $tablify|0
       (i32.sub
        (local.get $a)
        (i32.const 1)
       )
      )
     )
     (unreachable)
    )
    (unreachable)
   )
   (unreachable)
  )
  (unreachable)
 )
 (func $tiny-switch (; 65 ;) (type $1)
  (if
   (i32.const 0)
   (block $y
   )
   (block $x
   )
  )
  (block $z
   (block
    (drop
     (i32.const 0)
    )
    (nop)
   )
  )
 )
 (func $trim-switch (; 66 ;) (type $1)
  (block $A
   (block $y
    (br_table $A $y $A $y $A $y
     (i32.sub
      (i32.const 0)
      (i32.const 2)
     )
    )
   )
   (call $trim-switch)
  )
 )
 (func $same-target-br_if-and-br (; 67 ;) (type $1)
  (block $x
   (drop
    (i32.const 0)
   )
   (br $x)
   (unreachable)
  )
 )
 (func $simple-switch (; 68 ;) (type $2) (result i32)
  (block $A
   (block $B
    (block $y
     (br_table $A $y $y $y $y $y $A $y $y $y $y $A $y
      (i32.const 0)
     )
     (return
      (i32.const 0)
     )
    )
    (return
     (i32.const 1)
    )
   )
   (return
    (i32.const 2)
   )
  )
  (i32.const 3)
 )
 (func $simple-switch-2 (; 69 ;) (type $2) (result i32)
  (block $A
   (block $B
    (block $y
     (br_table $A $y $y $y $y $y $y $y $y $y $y $y $A $y
      (i32.const 0)
     )
     (return
      (i32.const 0)
     )
    )
    (return
     (i32.const 1)
    )
   )
   (return
    (i32.const 2)
   )
  )
  (i32.const 3)
 )
 (func $simple-switch-3 (; 70 ;) (type $2) (result i32)
  (block $A
   (block $B
    (block $y
     (br_table $A $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $y $B $y
      (i32.const 0)
     )
     (return
      (i32.const 0)
     )
    )
    (return
     (i32.const 1)
    )
   )
   (return
    (i32.const 2)
   )
  )
  (i32.const 3)
 )
 (func $simple-switch43 (; 71 ;) (type $2) (result i32)
  (local $0 i32)
  (block $A
   (block $B
    (block $y
     (br_if $A
      (i32.eqz
       (local.tee $0
        (i32.const 0)
       )
      )
     )
     (br_if $B
      (i32.eq
       (local.get $0)
       (i32.const 127)
      )
     )
     (br $y)
     (return
      (i32.const 0)
     )
    )
    (return
     (i32.const 1)
    )
   )
   (return
    (i32.const 2)
   )
  )
  (i32.const 3)
 )
 (func $simple-switch-5 (; 72 ;) (type $2) (result i32)
  (block $A
   (block $B
    (block $y
     (br_table $A $y $y $y $y $y $A $y $y $y $y $y $A $y
      (i32.const 0)
     )
     (return
      (i32.const 0)
     )
    )
    (return
     (i32.const 1)
    )
   )
   (return
    (i32.const 2)
   )
  )
  (i32.const 3)
 )
 (func $undo-if-return (; 73 ;) (type $10) (param $p i32) (result i32)
  (local $x i32)
  (block $out
   (block
    (br_if $out
     (local.get $p)
    )
    (local.set $x
     (i32.const 1)
    )
   )
   (block
    (br_if $out
     (i32.eqz
      (local.get $p)
     )
    )
    (local.set $x
     (i32.const 2)
    )
   )
   (local.set $x
    (if (result i32)
     (local.get $p)
     (br $out)
     (br $out)
    )
   )
  )
  (local.get $p)
 )
 (func $if-unreachable-but-declares-value (; 74 ;) (type $11) (param $var$0 i32) (param $var$1 f64) (param $var$2 i32) (param $var$3 f64) (param $var$4 f32) (param $var$5 f32) (result i32)
  (local $var$6 f64)
  (if
   (i32.const 0)
   (drop
    (loop $label$3 (result i64)
     (block $label$4 (result i64)
      (block $label$5
       (block $label$6
        (local.set $var$1
         (if (result f64)
          (unreachable)
          (br $label$5)
          (f64.const 1)
         )
        )
       )
      )
      (i64.const 1)
     )
    )
   )
  )
  (i32.const 0)
 )
 (func $if-flow-1 (; 75 ;) (type $2) (result i32)
  (select
   (i32.const 1)
   (i32.const 2)
   (i32.const 0)
  )
 )
 (func $if-flow-2 (; 76 ;) (type $2) (result i32)
  (if (result i32)
   (i32.const 0)
   (unreachable)
   (i32.const 2)
  )
 )
 (func $if-flow-3 (; 77 ;) (type $2) (result i32)
  (if (result i32)
   (i32.const 0)
   (i32.const 1)
   (unreachable)
  )
 )
 (func $if-flow-4 (; 78 ;) (type $2) (result i32)
  (if
   (return
    (i32.const 0)
   )
   (return
    (i32.const 1)
   )
   (return
    (i32.const 2)
   )
  )
 )
 (func $iff-flow-fuzz-bug (; 79 ;) (type $2) (result i32)
  (loop $label$1
   (br_if $label$1
    (i32.eqz
     (i32.const 1)
    )
   )
   (loop $label$2
    (unreachable)
    (if
     (i32.const 0)
     (nop)
     (return
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $fuzz-block-unreachable-brs-with-values (; 80 ;) (type $2) (result i32)
  (local $0 i32)
  (loop $label$1
   (if
    (local.get $0)
    (block $label$2
     (local.tee $0
      (loop $label$5
       (br_if $label$5
        (block
         (unreachable)
         (drop
          (i32.const 0)
         )
        )
       )
      )
     )
    )
    (br $label$1)
   )
  )
 )
 (func $drop-restructure-if (; 81 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (if (result i32)
   (local.get $y)
   (local.get $x)
   (block $label$2 (result i32)
    (nop)
    (i32.const 0)
   )
  )
 )
 (func $drop-restructure-if-final (; 82 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (if (result i32)
   (local.get $y)
   (local.get $x)
   (block $label$2 (result i32)
    (nop)
    (unreachable)
   )
  )
 )
 (func $drop-restructure-if-middle (; 83 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (if (result i32)
   (local.get $y)
   (local.get $x)
   (block $label$2 (result i32)
    (nop)
    (nop)
    (i32.const 0)
   )
  )
 )
 (func $drop-restructure-if-bad (; 84 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $label$2 (result i32)
   (drop
    (br_if $label$2
     (local.tee $y
      (local.get $x)
     )
     (local.get $y)
    )
   )
   (i32.const 0)
  )
 )
 (func $drop-restructure-if-bad-2 (; 85 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $label$2 (result i32)
   (drop
    (br_if $label$2
     (local.get $y)
     (local.tee $y
      (local.get $x)
     )
    )
   )
   (i32.const 0)
  )
 )
 (func $if-block (; 86 ;) (type $1)
  (if
   (i32.const 1)
   (block $label
    (block $block
     (drop
      (i32.const 2)
     )
     (drop
      (i32.const 3)
     )
    )
   )
  )
 )
 (func $if-block-bad (; 87 ;) (type $1)
  (block $label
   (if
    (br $label)
    (block $block
     (drop
      (i32.const 2)
     )
     (drop
      (i32.const 3)
     )
    )
   )
  )
 )
 (func $if-block-br (; 88 ;) (type $1)
  (block $label
   (br_if $label
    (i32.const 1)
   )
  )
 )
 (func $if-block-br-1 (; 89 ;) (type $1)
  (if
   (i32.const 1)
   (block $label
   )
   (drop
    (i32.const 3)
   )
  )
 )
 (func $if-block-br-2 (; 90 ;) (type $1)
  (if
   (i32.const 1)
   (block $label
    (drop
     (i32.const 3)
    )
   )
   (nop)
  )
 )
 (func $if-block-br-3 (; 91 ;) (type $1)
  (if
   (i32.const 1)
   (block $label
   )
   (nop)
  )
 )
 (func $if-block-br-4-eithre (; 92 ;) (type $1)
  (if
   (i32.const 1)
   (block $label
    (drop
     (i32.const 2)
    )
   )
   (drop
    (i32.const 3)
   )
  )
 )
 (func $if-block-br-5-value (; 93 ;) (type $2) (result i32)
  (select
   (block $label (result i32)
    (i32.const 2)
   )
   (i32.const 3)
   (i32.const 1)
  )
 )
 (func $restructure-if-outerType-change (; 94 ;) (type $1)
  (loop $label$1
   (br_if $label$1
    (block $label$2
     (if
      (block $label$4
       (unreachable)
      )
      (block $label$3
       (br $label$3)
      )
     )
     (unreachable)
    )
   )
  )
 )
 (func $if-arm-unreachable (; 95 ;) (type $1)
  (if
   (unreachable)
   (block $label$1
    (nop)
   )
   (unreachable)
  )
 )
 (func $propagate-type-if-we-optimize (; 96 ;) (type $1)
  (if
   (i32.const 1)
   (nop)
   (block $block
    (drop
     (loop $label$3 (result i64)
      (br_if $label$3
       (if
        (i32.const 0)
        (block $label$4
         (unreachable)
        )
        (unreachable)
       )
      )
      (i64.const -9)
     )
    )
    (unreachable)
   )
  )
 )
 (func $switch-to-br (; 97 ;) (type $1)
  (block $A
   (block $y
    (block
     (drop
      (i32.const 0)
     )
     (br $A)
    )
   )
  )
 )
 (func $switch-to-br-value (; 98 ;) (type $2) (result i32)
  (block $A (result i32)
   (block $y (result i32)
    (block
     (drop
      (i32.const 1)
     )
     (br $A
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $switch-threading-multi (; 99 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $block$5$break
   (block $block$4$break
    (loop $shape$1$continue
     (block $block$3$break
      (block $switch$2$case$5
       (block $switch$2$case$4
        (block $switch$2$default
         (block $switch$2$case$2
          (br_table $shape$1$continue $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$5$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$3$break $block$4$break $block$3$break
           (local.get $x)
          )
         )
         (br $shape$1$continue)
        )
        (br $block$3$break)
       )
       (br $block$4$break)
      )
      (br $block$5$break)
     )
    )
    (unreachable)
   )
   (local.set $y
    (i32.const 1)
   )
   (unreachable)
  )
  (local.set $y
   (i32.const 2)
  )
  (unreachable)
 )
 (func $fuzz-type-changes-in-our-cycles (; 100 ;) (type $2) (result i32)
  (loop $label$1
   (if
    (i32.const 0)
    (if
     (i32.const 0)
     (block $label$3
      (block $block
      )
     )
     (return
      (i32.const -8192)
     )
    )
   )
   (br $label$1)
  )
 )
 (func $refinalize-need-br-value (; 101 ;) (type $2) (result i32)
  (loop $label$3 (result i32)
   (block $label$6 (result i32)
    (block $label$10
     (unreachable)
     (block $label$503
      (br_if $label$3
       (block $label$530 (result i32)
        (br_if $label$503
         (i32.const 0)
        )
        (i32.const 0)
       )
      )
      (return
       (i32.const 127)
      )
     )
    )
   )
  )
 )
 (func $selectify (; 102 ;) (type $0) (param $x i32)
  (drop
   (if (result i32)
    (i32.eq
     (local.get $x)
     (i32.const 1)
    )
    (i32.mul
     (i32.const 2)
     (i32.const 3)
    )
    (i32.mul
     (i32.const 2)
     (i32.const 3)
    )
   )
  )
  (drop
   (select
    (i32.add
     (i32.const 2)
     (i32.const 3)
    )
    (i32.add
     (i32.const 2)
     (i32.const 3)
    )
    (i32.eq
     (local.get $x)
     (i32.const 1)
    )
   )
  )
 )
 (func $if-one-side (; 103 ;) (type $2) (result i32)
  (local $x i32)
  (local.set $x
   (select
    (i32.const 2)
    (local.get $x)
    (i32.const 1)
   )
  )
  (local.get $x)
 )
 (func $if-one-side-b (; 104 ;) (type $2) (result i32)
  (local $x i32)
  (local.set $x
   (select
    (local.get $x)
    (i32.const 2)
    (i32.const 1)
   )
  )
  (local.get $x)
 )
 (func $if-one-side-tee-etc (; 105 ;) (type $10) (param $0 i32) (result i32)
  (local $1 i32)
  (local $2 i32)
  (local $3 i32)
  (local $4 i32)
  (local $x i32)
  (local $y i32)
  (local $z i32)
  (drop
   (call $if-one-side-tee-etc
    (local.tee $x
     (select
      (i32.const -4)
      (local.get $x)
      (i32.const -3)
     )
    )
   )
  )
  (i32.const 0)
 )
 (func $ifs-copies-recursive (; 106 ;) (type $10) (param $20 i32) (result i32)
  (if
   (i32.const 1)
   (local.set $20
    (select
     (select
      (i32.const 4)
      (local.get $20)
      (i32.const 3)
     )
     (local.get $20)
     (i32.const 2)
    )
   )
  )
  (local.get $20)
 )
 (func $if-copy1 (; 107 ;) (type $1)
  (local $x i32)
  (local $y i32)
  (loop $top
   (local.set $x
    (select
     (local.get $x)
     (local.get $y)
     (i32.const 1)
    )
   )
   (br $top)
  )
 )
 (func $if-copy3 (; 108 ;) (type $1)
  (local $x i32)
  (local $y i32)
  (loop $top
   (if
    (i32.const 1)
    (local.tee $x
     (unreachable)
    )
   )
   (br $top)
  )
 )
 (func $if-copy4 (; 109 ;) (type $1)
  (local $x i32)
  (local $y i32)
  (loop $top
   (local.set $x
    (if (result i32)
     (i32.const 1)
     (unreachable)
     (local.get $y)
    )
   )
   (br $top)
  )
 )
 (func $if-copy-tee (; 110 ;) (type $1)
  (local $x i32)
  (local $y i32)
  (loop $top
   (drop
    (local.tee $x
     (select
      (local.get $x)
      (i32.const 2)
      (i32.const 1)
     )
    )
   )
   (br $top)
  )
 )
 (func $loop-end-set (; 111 ;) (type $10) (param $x i32) (result i32)
  (loop $loop
   (nop)
   (br_if $loop
    (local.get $x)
   )
   (local.set $x
    (i32.const 1)
   )
  )
  (local.get $x)
 )
 (func $loop-end-value (; 112 ;) (type $10) (param $x i32) (result i32)
  (loop $loop (result i32)
   (nop)
   (br_if $loop
    (local.get $x)
   )
   (i32.const 1)
  )
 )
 (func $do-not-flow-values-through-unreachable-code (; 113 ;) (type $2) (result i32)
  (block $block
   (unreachable)
   (if
    (i32.const 0)
    (block $A
     (return
      (i32.const 0)
     )
    )
    (nop)
   )
  )
 )
 (func $do-not-flow-values-through-unreachable-code-b (; 114 ;) (type $2) (result i32)
  (loop $loop-in
   (unreachable)
   (if
    (i32.const 0)
    (block $A
     (return
      (i32.const 0)
     )
    )
    (nop)
   )
  )
 )
)
