(module
 (type $3 (func))
 (type $i (func (param i32)))
 (type $2 (func (result i32)))
 (type $ii (func (param i32 i32)))
 (type $iii (func (param i32 i32 i32)))
 (type $5 (func (result f64)))
 (memory $0 256 256 shared)
 (table $0 1 1 funcref)
 (elem $0 (i32.const 0) $call-i)
 (func $call-i (type $i) (param $0 i32)
  (nop)
 )
 (func $call-ii (type $ii) (param $0 i32) (param $1 i32)
  (nop)
 )
 (func $call-iii (type $iii) (param $0 i32) (param $1 i32) (param $2 i32)
  (nop)
 )
 (func $b0-yes (type $i) (param $i1 i32)
  (drop
   (i32.const 10)
  )
 )
 (func $b0-no (type $i) (param $i1 i32)
  (block $topmost
   (block $block0
    (br $block0)
   )
   (br $topmost)
  )
 )
 (func $b0-br-but-ok (type $i) (param $i1 i32)
  (block $topmost
   (br $topmost)
  )
 )
 (func $b1-yes (type $i) (param $i1 i32)
  (drop
   (i32.const 10)
  )
 )
 (func $b2-yes (type $i) (param $i1 i32)
  (drop
   (i32.const 5)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 15)
  )
 )
 (func $b3-yes (type $i) (param $i1 i32)
  (drop
   (i32.const 3)
  )
  (drop
   (i32.const 6)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 15)
  )
  (drop
   (i32.const 20)
  )
 )
 (func $b4 (type $i) (param $i1 i32)
  (block $inner
   (drop
    (i32.const 10)
   )
   (br $inner)
  )
 )
 (func $b5 (type $i) (param $i1 i32)
  (block $middle
   (drop
    (i32.const 10)
   )
   (block $inner
    (br $inner)
   )
   (br $middle)
  )
 )
 (func $b6 (type $i) (param $i1 i32)
  (drop
   (i32.const 5)
  )
  (drop
   (i32.const 10)
  )
  (block $inner
   (br $inner)
  )
  (drop
   (i32.const 15)
  )
 )
 (func $b7 (type $i) (param $i1 i32)
  (drop
   (i32.const 3)
  )
  (drop
   (i32.const 6)
  )
  (drop
   (i32.const 10)
  )
  (block $inner
   (br $inner)
  )
  (drop
   (i32.const 15)
  )
  (block $middle
   (br $middle)
  )
  (drop
   (i32.const 20)
  )
 )
 (func $unary (type $3)
  (local $x i32)
  (drop
   (i32.eqz
    (block (result i32)
     (i32.const 10)
    )
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.eqz
    (i32.const 20)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 20)
  )
  (drop
   (i32.eqz
    (i32.const 30)
   )
  )
  (drop
   (i32.const 10)
  )
  (local.set $x
   (i32.const 20)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.load
    (i32.const 20)
   )
  )
  (drop
   (i32.const 10)
  )
  (unreachable)
  (return)
 )
 (func $binary (type $3)
  (drop
   (i32.add
    (block (result i32)
     (i32.const 10)
    )
    (i32.const 20)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.add
    (i32.const 20)
    (i32.const 30)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 20)
  )
  (drop
   (i32.add
    (i32.const 30)
    (i32.const 40)
   )
  )
  (drop
   (i32.add
    (i32.const 10)
    (block (result i32)
     (i32.const 20)
    )
   )
  )
  (drop
   (i32.const 20)
  )
  (drop
   (i32.add
    (i32.const 10)
    (i32.const 30)
   )
  )
  (drop
   (i32.const 20)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.add
    (i32.const 10)
    (i32.const 40)
   )
  )
  (drop
   (i32.add
    (block (result i32)
     (i32.const 10)
    )
    (block (result i32)
     (i32.const 20)
    )
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.add
    (i32.const 20)
    (i32.const 40)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 20)
  )
  (drop
   (i32.const 40)
  )
  (drop
   (i32.const 50)
  )
  (drop
   (i32.add
    (i32.const 30)
    (i32.const 60)
   )
  )
  (drop
   (i32.const 20)
  )
  (i32.store
   (i32.const 10)
   (i32.const 30)
  )
  (drop
   (i32.const 10)
  )
  (i32.store
   (i32.const 20)
   (i32.const 30)
  )
  (drop
   (i32.const 10)
  )
  (i32.add
   (unreachable)
   (i32.const 20)
  )
  (block
   (unreachable)
   (drop
    (i32.const 20)
   )
   (drop
    (i32.add
     (i32.const 10)
     (i32.const 30)
    )
   )
  )
 )
 (func $trinary (type $3)
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.const 50)
  )
  (drop
   (select
    (i32.const 20)
    (i32.const 40)
    (i32.const 60)
   )
  )
  (drop
   (i32.const 20)
  )
  (drop
   (i32.const 40)
  )
  (drop
   (select
    (block (result i32)
     (i32.const 10)
    )
    (i32.const 30)
    (i32.const 50)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 40)
  )
  (drop
   (select
    (i32.const 20)
    (block (result i32)
     (i32.const 30)
    )
    (i32.const 50)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (select
    (i32.const 20)
    (i32.const 40)
    (block (result i32)
     (i32.const 50)
    )
   )
  )
  (drop
   (i32.const 30)
  )
  (drop
   (select
    (block (result i32)
     (i32.const 10)
    )
    (block (result i32)
     (i32.const 20)
    )
    (i32.const 40)
   )
  )
  (drop
   (i32.const 20)
  )
  (drop
   (select
    (block (result i32)
     (i32.const 10)
    )
    (i32.const 30)
    (block (result i32)
     (i32.const 40)
    )
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (select
    (i32.const 20)
    (block (result i32)
     (i32.const 30)
    )
    (block (result i32)
     (i32.const 40)
    )
   )
  )
  (block
   (unreachable)
   (drop
    (i32.const 30)
   )
   (drop
    (i32.const 50)
   )
   (drop
    (select
     (i32.const 20)
     (i32.const 40)
     (i32.const 60)
    )
   )
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.const 50)
  )
  (drop
   (select
    (block
     (drop
      (i32.const 10)
     )
     (unreachable)
    )
    (i32.const 40)
    (i32.const 60)
   )
  )
  (block
   (drop
    (i32.const 10)
   )
   (unreachable)
   (drop
    (i32.const 50)
   )
   (drop
    (select
     (i32.const 20)
     (i32.const 40)
     (i32.const 60)
    )
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 50)
  )
  (drop
   (select
    (i32.const 20)
    (block
     (drop
      (i32.const 30)
     )
     (unreachable)
    )
    (i32.const 60)
   )
  )
  (block
   (drop
    (i32.const 10)
   )
   (drop
    (i32.const 30)
   )
   (unreachable)
   (drop
    (select
     (i32.const 20)
     (i32.const 40)
     (i32.const 60)
    )
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (select
    (i32.const 20)
    (i32.const 40)
    (block
     (drop
      (i32.const 50)
     )
     (unreachable)
    )
   )
  )
 )
 (func $breaks (type $3)
  (block $out
   (drop
    (i32.const 10)
   )
   (drop
    (i32.const 20)
   )
   (br $out)
   (drop
    (i32.const 10)
   )
   (br_if $out
    (i32.const 20)
   )
   (drop
    (i32.const 10)
   )
   (drop
    (i32.const 20)
   )
   (drop
    (i32.const 30)
   )
   (br_if $out
    (i32.const 40)
   )
   (drop
    (i32.const 10)
   )
   (br_table $out $out
    (i32.const 20)
   )
   (drop
    (block $out2 (result i32)
     (drop
      (i32.const 10)
     )
     (drop
      (i32.const 30)
     )
     (br_table $out2 $out2
      (i32.const 20)
      (i32.const 40)
     )
    )
   )
   (unreachable)
  )
 )
 (func $calls (type $3)
  (call $call-i
   (block (result i32)
    (i32.const 10)
   )
  )
  (drop
   (i32.const 10)
  )
  (call $call-i
   (i32.const 20)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 20)
  )
  (call $call-i
   (i32.const 30)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (call $call-ii
   (i32.const 20)
   (i32.const 40)
  )
  (block
   (unreachable)
   (drop
    (i32.const 20)
   )
   (call $call-ii
    (i32.const 10)
    (i32.const 30)
   )
  )
  (drop
   (i32.const 20)
  )
  (call $call-ii
   (block
    (drop
     (i32.const 10)
    )
    (unreachable)
   )
   (i32.const 30)
  )
  (block
   (drop
    (i32.const 10)
   )
   (unreachable)
   (call $call-ii
    (i32.const 20)
    (i32.const 30)
   )
  )
  (drop
   (i32.const 10)
  )
  (call $call-ii
   (i32.const 20)
   (block
    (drop
     (i32.const 30)
    )
    (unreachable)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.const 50)
  )
  (call $call-iii
   (i32.const 20)
   (i32.const 40)
   (i32.const 60)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 40)
  )
  (call $call-iii
   (i32.const 20)
   (i32.const 30)
   (i32.const 50)
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.const 50)
  )
  (call_indirect $0 (type $ii)
   (i32.const 20)
   (i32.const 40)
   (i32.const 60)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.const 50)
  )
  (call_indirect $0 (type $ii)
   (unreachable)
   (i32.const 40)
   (i32.const 60)
  )
  (drop
   (i32.const 31)
  )
  (drop
   (i32.const 51)
  )
  (call_indirect $0 (type $ii)
   (i32.const 41)
   (unreachable)
   (i32.const 61)
  )
  (drop
   (i32.const 32)
  )
  (drop
   (i32.const 52)
  )
  (call_indirect $0 (type $ii)
   (i32.const 42)
   (i32.const 62)
   (unreachable)
  )
 )
 (func $atomics (type $3)
  (drop
   (i32.const 10)
  )
  (drop
   (i32.const 30)
  )
  (drop
   (i32.const 50)
  )
  (drop
   (i32.atomic.rmw.cmpxchg
    (i32.const 20)
    (i32.const 40)
    (i32.const 60)
   )
  )
  (drop
   (i32.const 10)
  )
  (drop
   (i32.atomic.rmw.add
    (i32.const 20)
    (i32.const 30)
   )
  )
 )
 (func $mix-select (type $i) (param $x i32)
  (drop
   (select
    (local.get $x)
    (local.get $x)
    (block (result i32)
     (local.set $x
      (i32.const 1)
     )
     (i32.const 2)
    )
   )
  )
 )
 (func $block-type-change (type $3)
  (local $0 f64)
  (local $1 f64)
  (nop)
  (if
   (f64.gt
    (local.get $0)
    (local.get $1)
   )
   (then
    (nop)
   )
  )
 )
 (func $do-reorder (type $i) (param $x i32)
  (local $y i32)
  (if
   (i32.const 1)
   (then
    (local.set $y
     (i32.const 5)
    )
    (local.set $x
     (i32.le_u
      (local.get $x)
      (i32.const 10)
     )
    )
   )
  )
 )
 (func $do-not-reorder (type $i) (param $x i32)
  (local $y i32)
  (if
   (i32.const 1)
   (then
    (local.set $x
     (i32.le_u
      (local.get $y)
      (block (result i32)
       (local.set $y
        (i32.const 5)
       )
       (i32.const 10)
      )
     )
    )
   )
  )
 )
 (func $return-different-type (type $2) (result i32)
  (drop
   (i32.const 2)
  )
  (f64.abs
   (return
    (i32.const 1)
   )
  )
  (unreachable)
 )
 (func $drop-unreachable (type $2) (result i32)
  (local $0 i32)
  (unreachable)
  (unreachable)
 )
 (func $concrete_finale_in_unreachable (type $5) (result f64)
  (block
   (unreachable)
   (drop
    (f64.const 6.322092475576799e-96)
   )
  )
  (f64.const -1)
 )
 (func $dont-move-unreachable (type $3)
  (loop $label$0
   (br $label$0)
   (drop
    (i32.const 1)
   )
  )
 )
 (func $dont-move-unreachable-last (type $3)
  (loop $label$0
   (call $dont-move-unreachable-last)
   (br $label$0)
  )
 )
 (func $move-around-unreachable-in-middle (type $3)
  (loop $label$0
   (nop)
   (drop
    (block $label$3 (result i32)
     (drop
      (block
       (br $label$0)
       (drop
        (i32.const 0)
       )
      )
     )
     (i32.const 1)
    )
   )
  )
 )
 (func $drop-unreachable-block-with-concrete-final (type $3)
  (drop
   (return)
  )
  (drop
   (i32.const -452)
  )
 )
 (func $merging-with-unreachable-in-middle (type $2) (result i32)
  (block (result i32)
   (return
    (i32.const 21536)
   )
   (block $label$15
    (br $label$15)
   )
   (i32.const 19299)
  )
 )
 (func $remove-br-after-unreachable (type $3)
  (block $label$9
   (block
    (return)
    (br $label$9)
   )
  )
 )
 (func $block-tails (type $3)
  (block $l1
   (drop
    (i32.const -2)
   )
   (drop
    (i32.const -1)
   )
   (br $l1)
   (drop
    (i32.const 0)
   )
   (drop
    (i32.const 1)
   )
  )
  (block $l2
   (br_if $l2
    (i32.const 2)
   )
   (drop
    (i32.const 3)
   )
  )
  (block $l3
   (br_if $l3
    (i32.const 4)
   )
   (br_if $l3
    (i32.const 5)
   )
   (drop
    (i32.const 6)
   )
  )
  (block $l4
   (br_if $l4
    (i32.const 7)
   )
   (br_if $l4
    (i32.const 8)
   )
   (drop
    (i32.const 9)
   )
  )
  (block $l5
   (if
    (i32.const 10)
    (then
     (br_if $l5
      (i32.const 11)
     )
    )
   )
   (drop
    (i32.const 12)
   )
  )
  (block $l8
   (br_if $l8
    (i32.const 13)
   )
   (br_if $l8
    (i32.const 14)
   )
   (br_if $l8
    (i32.const 15)
   )
   (drop
    (i32.const 16)
   )
  )
  (block $l11
   (br_if $l11
    (i32.const 17)
   )
   (br_if $l11
    (i32.const 18)
   )
   (br_if $l11
    (i32.const 19)
   )
   (drop
    (i32.const 20)
   )
  )
  (block $l12
   (br_if $l12
    (i32.const 21)
   )
   (block $l13
    (br_if $l13
     (i32.const 22)
    )
    (block $l14
     (br_if $l14
      (i32.const 23)
     )
     (drop
      (i32.const 24)
     )
    )
    (drop
     (i32.const 25)
    )
   )
   (drop
    (i32.const 26)
   )
  )
  (drop
   (i32.const 27)
  )
  (block $l17
   (br_if $l17
    (i32.const 28)
   )
   (drop
    (i32.const 29)
   )
  )
  (block $l16
   (br_if $l16
    (i32.const 30)
   )
   (drop
    (i32.const 31)
   )
  )
  (block $l15
   (br_if $l15
    (i32.const 32)
   )
   (drop
    (i32.const 33)
   )
  )
 )
 (func $loop-tails (type $3)
  (loop $l1
   (drop
    (i32.const -2)
   )
   (drop
    (i32.const -1)
   )
   (br $l1)
   (drop
    (i32.const 0)
   )
   (drop
    (i32.const 1)
   )
  )
  (loop $l2
   (br_if $l2
    (i32.const 2)
   )
  )
  (drop
   (i32.const 3)
  )
  (block $b1
   (loop $l3
    (br_if $b1
     (i32.const 4)
    )
    (br_if $l3
     (i32.const 5)
    )
   )
   (drop
    (i32.const 6)
   )
  )
  (loop $l4
   (br_if $l4
    (i32.const 7)
   )
  )
  (block $b2
   (br_if $b2
    (i32.const 8)
   )
   (drop
    (i32.const 9)
   )
  )
  (loop $l5
   (if
    (i32.const 10)
    (then
     (br_if $l5
      (i32.const 11)
     )
    )
   )
  )
  (drop
   (i32.const 12)
  )
  (loop $l6
   (loop $l7
    (loop $l8
     (br_if $l6
      (i32.const 13)
     )
     (br_if $l7
      (i32.const 14)
     )
     (br_if $l8
      (i32.const 15)
     )
     (drop
      (i32.const 16)
     )
    )
   )
  )
  (loop $l9
   (loop $l10
    (loop $l11
     (br_if $l11
      (i32.const 17)
     )
     (br_if $l10
      (i32.const 18)
     )
     (br_if $l9
      (i32.const 19)
     )
     (drop
      (i32.const 20)
     )
    )
   )
  )
  (loop $l12
   (loop $l13
    (loop $l14
     (br_if $l12
      (i32.const 21)
     )
     (br_if $l13
      (i32.const 22)
     )
     (br_if $l14
      (i32.const 23)
     )
    )
   )
  )
  (drop
   (i32.const 24)
  )
  (drop
   (i32.const 25)
  )
  (drop
   (i32.const 26)
  )
  (loop $l15
   (loop $l16
    (loop $l17
     (drop
      (i32.const 27)
     )
     (br_if $l17
      (i32.const 28)
     )
    )
    (drop
     (i32.const 29)
    )
    (br_if $l16
     (i32.const 30)
    )
   )
   (drop
    (i32.const 31)
   )
   (br_if $l15
    (i32.const 32)
   )
  )
  (drop
   (i32.const 33)
  )
 )
 (func $block-tail-one (type $3)
  (block $l1
   (drop
    (i32.const -2)
   )
   (drop
    (i32.const -1)
   )
   (br $l1)
   (drop
    (i32.const 0)
   )
   (drop
    (i32.const 1)
   )
  )
  (drop
   (i32.const 2)
  )
 )
 (func $loop-tail-one (type $3)
  (loop $l1
   (drop
    (i32.const -2)
   )
   (drop
    (i32.const -1)
   )
   (br $l1)
   (drop
    (i32.const 0)
   )
   (drop
    (i32.const 1)
   )
  )
  (drop
   (i32.const 2)
  )
 )
 (func $block-tail-value (type $2) (result i32)
  (block $l1 (result i32)
   (drop
    (i32.const -1)
   )
   (br $l1
    (i32.const 0)
   )
   (drop
    (i32.const 1)
   )
   (i32.const 2)
  )
 )
 (func $block-tail-empty (type $3)
  (block $l1
   (drop
    (i32.const -1)
   )
   (br $l1)
  )
 )
 (func $loop-tail-empty (type $3)
  (loop $l1
   (drop
    (i32.const -1)
   )
   (br $l1)
  )
 )
 (func $block-tail-unreachable (type $2) (result i32)
  (block $l1 (result i32)
   (drop
    (i32.const -1)
   )
   (drop
    (br_if $l1
     (i32.const 0)
     (i32.const 1)
    )
   )
   (drop
    (i32.const 1)
   )
   (unreachable)
  )
 )
 (func $loop-tail-unreachable (type $2) (result i32)
  (loop $l1
   (drop
    (i32.const -1)
   )
   (br_if $l1
    (i32.const 1)
   )
  )
  (drop
   (i32.const 1)
  )
  (unreachable)
 )
)
(module
 (type $0 (func (result i32)))
 (type $1 (func (param f64 i32) (result i32)))
 (func $unreachable-in-sub-block (type $1) (param $0 f64) (param $1 i32) (result i32)
  (local $2 i32)
  (local $9 i32)
  (loop $label$1
   (local.set $9
    (local.tee $2
     (block $label$2 (result i32)
      (drop
       (br_if $label$2
        (local.tee $2
         (i32.const 0)
        )
        (i32.const 0)
       )
      )
      (br_if $label$1
       (i32.const 0)
      )
      (block
       (unreachable)
       (nop)
      )
     )
    )
   )
  )
  (nop)
  (local.get $9)
 )
 (func $trivial (type $0) (result i32)
  (block
   (unreachable)
   (nop)
  )
 )
 (func $trivial-more (type $0) (result i32)
  (block
   (nop)
   (unreachable)
   (nop)
   (nop)
   (nop)
  )
  (block
   (nop)
   (unreachable)
   (nop)
  )
 )
)
(module
 (type $0 (func))
 (func $merge-some-block (type $0)
  (drop
   (i32.const 1)
  )
  (block $b1
   (br_if $b1
    (i32.const 0)
   )
  )
  (block $b2
   (br_if $b2
    (i32.const 0)
   )
   (drop
    (i32.const 2)
   )
  )
  (drop
   (i32.const 3)
  )
  (block $b3
   (br_if $b3
    (i32.const 0)
   )
   (drop
    (i32.const 4)
   )
  )
  (block $b3-dead-code-so-ignore
   (drop
    (i32.const 3)
   )
   (br $b3-dead-code-so-ignore)
   (drop
    (i32.const 4)
   )
  )
  (drop
   (i32.const 5)
  )
  (block $b4
   (br_if $b4
    (i32.const 0)
   )
   (drop
    (i32.const 6)
   )
   (br_if $b4
    (i32.const 0)
   )
  )
  (block $b5
   (br_if $b5
    (i32.const 0)
   )
   (drop
    (i32.const 7)
   )
   (br_if $b5
    (i32.const 0)
   )
   (drop
    (i32.const 8)
   )
  )
  (drop
   (i32.const 9)
  )
  (drop
   (i32.const 10)
  )
  (block $b6
   (br_if $b6
    (i32.const 0)
   )
  )
 )
 (func $merge-some-loop (type $0)
  (drop
   (i32.const 1)
  )
  (block $b1
   (br_if $b1
    (i32.const 0)
   )
  )
  (block $b2
   (br_if $b2
    (i32.const 0)
   )
   (drop
    (i32.const 2)
   )
  )
  (drop
   (i32.const 3)
  )
  (block $b3
   (br_if $b3
    (i32.const 0)
   )
   (drop
    (i32.const 4)
   )
  )
  (drop
   (i32.const 5)
  )
  (block $b4
   (br_if $b4
    (i32.const 0)
   )
   (drop
    (i32.const 6)
   )
   (br_if $b4
    (i32.const 0)
   )
  )
  (block $b5
   (br_if $b5
    (i32.const 0)
   )
   (drop
    (i32.const 7)
   )
   (br_if $b5
    (i32.const 0)
   )
   (drop
    (i32.const 8)
   )
  )
  (drop
   (i32.const 9)
  )
  (drop
   (i32.const 10)
  )
  (block $b6
   (br_if $b6
    (i32.const 0)
   )
  )
 )
 (func $merge-some-loop-taken (type $0)
  (loop $l1
   (block $b1
    (drop
     (i32.const 1)
    )
    (br_if $l1
     (i32.const 0)
    )
    (drop
     (i32.const 2)
    )
    (br_if $b1
     (i32.const 0)
    )
    (drop
     (i32.const 3)
    )
   )
  )
  (loop $l2
   (block $b2
    (drop
     (i32.const 4)
    )
    (br_if $b2
     (i32.const 0)
    )
    (drop
     (i32.const 5)
    )
    (br_if $l2
     (i32.const 0)
    )
    (drop
     (i32.const 6)
    )
   )
  )
  (loop $l3
   (block $b3
    (drop
     (i32.const 7)
    )
    (br_if $b3
     (i32.const 0)
    )
    (drop
     (i32.const 8)
    )
    (br_if $l3
     (i32.const 0)
    )
   )
  )
  (loop $l4
   (block $b4
    (br_if $l4
     (i32.const 0)
    )
    (drop
     (i32.const 9)
    )
    (br_if $b4
     (i32.const 0)
    )
    (drop
     (i32.const 10)
    )
   )
  )
  (loop $l5
   (block $b5
    (drop
     (i32.const 7)
    )
    (br_if $b5
     (i32.const 0)
    )
    (br_if $l5
     (i32.const 0)
    )
   )
  )
  (loop $l6
   (block $b6
    (br_if $l6
     (i32.const 0)
    )
    (br_if $b6
     (i32.const 0)
    )
    (drop
     (i32.const 10)
    )
   )
  )
  (loop $l7
   (block $b7
    (drop
     (i32.const 11)
    )
    (br_if $l7
     (i32.const 0)
    )
    (br_if $b7
     (i32.const 0)
    )
    (drop
     (i32.const 13)
    )
   )
  )
  (loop $l8
   (block $b8
    (drop
     (i32.const 14)
    )
    (br_if $b8
     (i32.const 0)
    )
    (br_if $l8
     (i32.const 0)
    )
    (drop
     (i32.const 16)
    )
   )
  )
  (loop $l9
   (drop
    (i32.const 17)
   )
   (br_if $l9
    (i32.const 0)
   )
   (drop
    (i32.const 18)
   )
   (br_if $l9
    (i32.const 0)
   )
  )
  (drop
   (i32.const 19)
  )
  (loop $l10
   (drop
    (i32.const 20)
   )
   (br_if $l10
    (i32.const 0)
   )
  )
  (drop
   (i32.const 21)
  )
  (loop $l11
   (br_if $l11
    (i32.const 0)
   )
  )
  (drop
   (i32.const 23)
  )
  (loop $l12
   (drop
    (i32.const 24)
   )
   (br_if $l12
    (i32.const 0)
   )
  )
 )
)
(module
 (type $0 (func))
 (type $1 (func (param i32)))
 (tag $e (param i32))
 (func $foo (type $0)
  (nop)
 )
 (func $throw (type $0)
  (nop)
  (throw $e
   (i32.const 3)
  )
 )
)
