test/passes/flatten.wast - external/github.com/WebAssembly/binaryen - Git at Google

 (module
  (type $ii (func (param i32 i32)))
  (type $1 (func))
  (type $2 (func (result i32)))
  (type $3 (func (param i32) (result i32)))
  (type $4 (func (param i64 i64) (result i64)))
  (global $x (mut i32) (i32.const 0))
  (table 1 1 funcref)
  (elem (i32.const 0) $call-me)
  (memory $0 10)
  (func $a1
   (drop (i32.add (i32.const 0) (i32.const 1)))
  )
  (func $a2 (result i32)
   (i32.add (i32.const 0) (i32.const 1))
  )
  (func $a3 (result i32)
   (i32.add
    (i32.const 0)
    (block (result i32)
     (i32.const 1)
    )
   )
  )
  (func $a4
   (drop
    (i32.add
     (i32.const 0)
     (block (result i32)
      (i32.const 1)
     )
    )
   )
  )
  (func $a5 (result i32)
   (i32.add
    (block (result i32)
     (i32.const 0)
    )
    (block (result i32)
     (i32.const 1)
    )
   )
  )
  (func $a6 (result i32)
   (local $x i32)
   (i32.add
    (block (result i32)
     (local.tee $x
      (i32.const 0)
     )
    )
    (block (result i32)
     (local.tee $x
      (i32.const 1)
     )
    )
   )
  )
  (func $a7 (result i32)
   (local $x i32)
   (block (result i32)
    (i32.add
     (block (result i32)
      (local.tee $x
       (i32.const 0)
      )
     )
     (block (result i32)
      (local.tee $x
       (i32.const 1)
      )
     )
    )
   )
  )
  (func $a8 (result i32)
   (local $x i32)
   (block $outer (result i32)
    (block $inner (result i32)
     (i32.add
      (block (result i32)
       (br $inner
        (i32.const -1)
       )
       (br $outer
        (i32.const 0)
       )
       (i32.const 1)
      )
      (block (result i32)
       (br $outer
        (i32.const 2)
       )
       (local.tee $x
        (i32.const 3)
       )
      )
     )
    )
   )
  )
  (func $a9 (result i32)
   (loop $outer (result i32)
    (loop $inner (result i32)
     (br_if $outer (i32.const -1))
     (i32.add
      (i32.const 0)
      (i32.const 1)
     )
    )
   )
  )
  (func $a10 (result i32)
   (local $x i32)
   (block $outer (result i32)
    (drop (br_if $outer (i32.const 0) (i32.const 1)))
    (drop (br_if $outer (local.tee $x (i32.const 2)) (i32.const 3)))
    (drop (br_if $outer (i32.const 4) (local.tee $x (i32.const 5))))
    (drop (br_if $outer (local.tee $x (i32.const 6)) (local.tee $x (i32.const 7))))
    (br $outer (i32.const 8))
   )
  )
  (func $a11
   (if (i32.const 0)
    (drop (i32.const 1))
   )
  )
  (func $a12 (result i32)
   (if (result i32) (i32.const 0)
    (i32.const 1)
    (i32.const 2)
   )
  )
  (func $a13 (result i32)
   (block $x i32
    (if i32
     (br_table $x (i32.const 2) (i32.const 0))
     (i32.const 0)
     (i32.const 1)
    )
   )
  )
  (func $a14 (result i32)
   (block i32
    (select
     (i32.const 0) (i32.const 1) (br_table 0 (i32.const 7) (i32.const 1))
    )
   )
  )
  (func $a15
   (if
    (i32.load16_u
     (i32.const 53)
    )
    (unreachable)
    (drop
     (block $label$3 (result f32)
      (unreachable)
     )
    )
   )
  )
  (func $a16 (result i32)
   (local $x i32)
   (block $label$1 (result i32)
    (drop
     (br_if $label$1
      (local.tee $x ;; set here, then it is undone later, but this value is used, not the contents of $x!
       (i32.const 1)
      )
      (i32.eqz ;; 0 into 1, so take the br_if
       (block $label$2 (result i32)
        (local.set $x
         (i32.const 0) ;; undo the above tee
        )
        (i32.const 0)
       )
      )
     )
    )
    (i32.const 0)
   )
  )
  (func $a17 (result f32)
   (local $var$0 f32)
   (f32.max
    (local.get $var$0)
    (select
     (local.tee $var$0
      (f32.const -137438953472)
     )
     (local.get $var$0)
     (i32.const 0)
    )
   )
  )
  (func $a18 (result i32)
   (block $label$1 (result i32)
    (i32.load16_s
     (drop ;; an unreachable drop. one we move its contents outside, it should stay unreachable
      (br_if $label$1
       (i32.const 1)
       (unreachable)
      )
     )
    )
   )
  )
  (func $a19 (result f32)
   (block $label$0
    (block $label$1
     (drop
      (select
       (unreachable) ;; move this out, so it happens before the return
       (return
        (f32.const 4289944320)
       )
       (i32.const 65535)
      )
     )
    )
   )
  )
  (func $call-me (param $0 i32) (param $1 i32)
   (nop)
  )
  (func $code-to-kill
   (local $x i32)
   (block $out
    (br $out)
    (drop
     (i32.const 0)
    )
    (if
     (i32.const 1)
     (drop
      (i32.const 2)
     )
    )
    (br_table $out $out $out $out
     (i32.const 3)
    )
    (call $code-to-kill)
   )
   (if
    (i32.const 0)
    (block $out1
     (unreachable)
     (drop
      (i32.const 0)
     )
    )
   )
   (if
    (i32.const 0)
    (block $out3
     (return)
     (drop
      (i32.const 0)
     )
    )
   )
   (block $out4
    (br_table $out4 $out4 $out4 $out4
     (i32.const 4)
    )
    (drop
     (i32.const 0)
    )
   )
   (block $out5
    (br_if $out5
     (i32.const 3)
    )
    (drop
     (i32.const 0)
    )
   )
   (if
    (i32.const 0)
    (block $block4
     (if
      (i32.const 0)
      (block $out8
       (unreachable)
       (drop
        (i32.const 0)
       )
      )
      (block $out9
       (unreachable)
       (drop
        (i32.const 0)
       )
      )
     )
     (drop
      (i32.const 0)
     )
    )
   )
   (if
    (i32.const 0)
    (drop
     (block $out11 (result i32)
      (br $out11
       (unreachable)
      )
      (drop
       (i32.const 0)
      )
      (unreachable)
     )
    )
   )
   (if
    (i32.const 0)
    (drop
     (block $out13 (result i32)
      (br_if $out13
       (unreachable)
       (i32.const 0)
      )
      (drop
       (i32.const 0)
      )
      (unreachable)
     )
    )
   )
   (if
    (i32.const 0)
    (drop
     (block $out15 (result i32)
      (br_if $out15
       (unreachable)
       (unreachable)
      )
      (drop
       (i32.const 0)
      )
      (unreachable)
     )
    )
   )
   (block $out16
    (block $in
     (br_if $out16
      (i32.const 1)
     )
    )
    (unreachable)
   )
   (if
    (i32.const 0)
    (block $block11
     (block $out18
      (block $in19
       (br_if $in19
        (i32.const 1)
       )
      )
      (unreachable)
     )
     (drop
      (i32.const 10)
     )
    )
   )
   (block $out20
    (block $in21
     (br_table $out20 $in21
      (i32.const 1)
     )
    )
    (unreachable)
   )
   (block $out22
    (block $in23
     (br_table $in23 $out22
      (i32.const 1)
     )
    )
    (unreachable)
   )
   (if
    (i32.const 0)
    (block $block13
     (block $out25
      (block $in26
       (br_table $in26 $in26
        (i32.const 1)
       )
      )
      (unreachable)
     )
     (drop
      (i32.const 10)
     )
    )
   )
   (if
    (i32.const 0)
    (block $block15
     (drop
      (i32.const 10)
     )
     (drop
      (i32.const 42)
     )
     (unreachable)
     (return
      (unreachable)
     )
     (unreachable)
     (return)
    )
   )
   (if
    (i32.const 0)
    (loop $loop-in18
     (unreachable)
    )
   )
   (block $out29
    (loop $in30
     (br_if $out29
      (i32.const 1)
     )
     (unreachable)
    )
   )
   (if
    (i32.const 0)
    (block $block20
     (loop $in32
      (br_if $in32
       (i32.const 1)
      )
      (unreachable)
     )
     (drop
      (i32.const 10)
     )
    )
   )
   (if
    (i32.const 1)
    (call $call-me
     (i32.const 123)
     (unreachable)
    )
   )
   (if
    (i32.const 2)
    (call $call-me
     (unreachable)
     (i32.const 0)
    )
   )
   (if
    (i32.const 3)
    (call $call-me
     (unreachable)
     (unreachable)
    )
   )
   (if
    (i32.const -1)
    (call_indirect (type $ii)
     (i32.const 123)
     (i32.const 456)
     (unreachable)
    )
   )
   (if
    (i32.const -2)
    (call_indirect (type $ii)
     (i32.const 139)
     (unreachable)
     (i32.const 0)
    )
   )
   (if
    (i32.const -3)
    (call_indirect (type $ii)
     (i32.const 246)
     (unreachable)
     (unreachable)
    )
   )
   (if
    (i32.const -4)
    (call_indirect (type $ii)
     (unreachable)
     (unreachable)
     (unreachable)
    )
   )
   (if
    (i32.const 11)
    (local.set $x
     (unreachable)
    )
   )
   (if
    (i32.const 22)
    (drop
     (i32.load
      (unreachable)
     )
    )
   )
   (if
    (i32.const 33)
    (i32.store
     (i32.const 0)
     (unreachable)
    )
   )
   (if
    (i32.const 44)
    (i32.store
     (unreachable)
     (i32.const 0)
    )
   )
   (if
    (i32.const 55)
    (i32.store
     (unreachable)
     (unreachable)
    )
   )
   (if
    (i32.const 66)
    (drop
     (i32.eqz
      (unreachable)
     )
    )
   )
   (if
    (i32.const 77)
    (drop
     (i32.add
      (unreachable)
      (i32.const 0)
     )
    )
   )
   (if
    (i32.const 88)
    (drop
     (i32.add
      (i32.const 0)
      (unreachable)
     )
    )
   )
   (if
    (i32.const 99)
    (i32.add
     (unreachable)
     (unreachable)
    )
   )
   (if
    (i32.const 100)
    (drop
     (select
      (i32.const 123)
      (i32.const 456)
      (unreachable)
     )
    )
   )
   (if
    (i32.const 101)
    (drop
     (select
      (i32.const 123)
      (unreachable)
      (i32.const 456)
     )
    )
   )
   (if
    (i32.const 102)
    (drop
     (select
      (unreachable)
      (i32.const 123)
      (i32.const 456)
     )
    )
   )
   (drop
    (i32.const 1337)
   )
  )
  (func $killer (type $1)
   (unreachable)
   (drop
    (i32.const 1000)
   )
  )
  (func $target (type $1)
   (drop
    (i32.const 2000)
   )
  )
  (func $typed-block-none-then-unreachable (type $2) (result i32)
   (block $top-typed (result i32)
    (block $switch$0
     (return
      (i32.const 0)
     )
     (br $switch$0)
    )
    (return
     (i32.const 1)
    )
   )
  )
  (func $typed-block-remove-br-changes-type (type $3) (param $$$0 i32) (result i32)
   (block $switch$7
    (block $switch-default$10
     (block $switch-case$9
      (block $switch-case$8
       (br_table $switch-case$9 $switch-case$8 $switch-default$10
        (i32.const -1)
       )
      )
     )
     (return
      (local.get $$$0)
     )
     (br $switch$7)
    )
    (return
     (local.get $$$0)
    )
   )
   (return
    (i32.const 0)
   )
  )
  (func $global (type $1)
   (unreachable)
   (drop
    (global.get $x)
   )
   (global.set $x
    (i32.const 1)
   )
  )
  (func $ret (type $2) (result i32)
   (return
    (i32.const 0)
   )
   (nop)
   (i32.const 0)
  )
  (func $unreachable-br (type $2) (result i32)
   (block $out (result i32)
    (br $out
     (br $out
      (i32.const 0)
     )
    )
   )
  )
  (func $unreachable-br-loop (type $2) (result i32)
   (loop $out
    (br $out)
   )
  )
  (func $unreachable-block-ends-switch (type $2) (result i32)
   (block $label$0 (result i32)
    (block $label$3
     (nop)
     (br_table $label$3
      (unreachable)
     )
     (unreachable)
    )
    (i32.const 19)
   )
  )
  (func $unreachable-block-ends-br_if (result i32)
   (block $label$0 (result i32)
    (block $label$2
     (nop)
     (br_if $label$2
      (unreachable)
     )
     (unreachable)
    )
    (i32.const 19)
   )
  )
  (func $unreachable-brs-3 (result i32)
   (block $label$0 (result i32)
    (br $label$0
     (memory.grow
      (br $label$0
       (i32.const 18)
      )
     )
    )
    (i32.const 21)
   )
  )
  (func $unreachable-brs-4 (param $var$0 i32) (result i32)
   (i32.add
    (i32.const 1)
    (block $label$0 (result i32)
     (br $label$0
      (block $label$1 (result i32)
       (drop
        (br_if $label$0
         (i32.const 4104)
         (unreachable)
        )
       )
       (i32.const 4)
      )
     )
     (i32.const 16)
    )
   )
  )
  (func $call-unreach (param $var$0 i64) (param $var$1 i64) (result i64)
   (local $2 i64)
   (if (result i64)
    (i64.eqz
     (local.get $var$0)
    )
    (block $label$0 (result i64)
     (local.get $var$1)
    )
    (block $label$1 (result i64)
     (call $call-unreach
      (i64.sub
       (local.get $var$0)
       (i64.const 1)
      )
      (i64.mul
       (block $block (result i64)
        (local.set $2
         (local.get $var$0)
        )
        (nop)
        (local.get $2)
       )
       (unreachable)
      )
     )
    )
   )
  )

   ;; flatten-specific
   (func $test-flatten
     (block $out
       (drop (i32.add (i32.const 1) (i32.const 2)))
       (drop (i32.add (i32.const 1) (br $out)))
       (drop (i32.add (br $out) (i32.const 1)))
       (drop (i32.add (i32.const 1) (br_table $out $out $out $out (i32.const 3))))
       (drop (i32.add (i32.const 1)
         (block (result i32)
           (drop (i32.const 2))
           (drop (i32.const 3))
           (i32.const 4)
         )
       ))
       (drop (i32.add (i32.const 1)
         (block $in (result i32)
           (drop
             (block $switch-in (result i32)
               (br_table $in $switch-in $in (i32.const 2) (i32.const 777))
             )
           )
           (br $in (i32.const 3))
           (i32.const 4)
         )
       ))
       (drop (i32.add (i32.const 1)
         (loop (result i32)
           (i32.const 5)
         )
       ))
       (drop (i32.add (i32.const 1)
         (if (result i32)
           (i32.const 6)
           (i32.const 7)
           (i32.const 8)
         )
       ))
       (drop
         (select
          (i32.const 9)
          (i32.const 10)
          (i32.const 11)
         )
       )
       (drop
         (select
          (br $out)
          (i32.const 10)
          (i32.const 11)
         )
       )
       (drop
         (select
          (i32.const 9)
          (br $out)
          (i32.const 11)
         )
       )
       (drop
         (select
          (i32.const 9)
          (i32.const 10)
          (br $out)
         )
       )
       (drop
         (select
           (if (result i32)
             (i32.const 11)
             (i32.const 12)
             (i32.const 13)
           )
           (i32.const 9)
           (i32.const 10)
         )
       )
       (drop
         (select
           (i32.const 9)
           (if (result i32)
             (i32.const 11)
             (i32.const 12)
             (i32.const 13)
           )
           (i32.const 10)
         )
       )
       (drop
         (select
           (i32.const 9)
           (i32.const 10)
           (if (result i32)
             (i32.const 11)
             (i32.const 12)
             (i32.const 13)
           )
         )
       )
       (drop
         (select
           (if (result i32)
             (i32.const 11)
             (i32.const 12)
             (i32.const 13)
           )
           (i32.const 14)
           (if (result i32)
             (i32.const 15)
             (i32.const 16)
             (i32.const 17)
           )
         )
       )
       (drop (i32.add (i32.const 1) (return)))
       (drop (i32.add (i32.const 1) (unreachable)))
       (drop
         (if (result i32)
           (if (result i32)
             (i32.const 5)
             (i32.const 6)
             (i32.const 7)
           )
           (i32.const 8)
           (if (result i32)
             (i32.const 9)
             (i32.const 10)
             (i32.const 11)
           )
         )
       )
       (drop
         (block $temp (result i32)
           (br_if $temp
             (i32.const 1)
             (i32.const 2)
           )
         )
       )
     )
   )
   (func $flatten-return-value (result i32)
     (drop (i32.add (i32.const 1) (return (i32.const 2))))
     (i32.const 3)
   )
   (func $unbug
    (local $12 i32)
    (local $432 i32)
    (local $430 i32)
    (local $431 i32)
    (local $9 i32)
    (local $5 i32)
    (local $433 i32)
    (drop
     (block (result i32)
      (if
       (i32.eq
        (local.get $12)
        (i32.const 65535)
       )
       (block
        (block $label$78
         (local.set $430
          (i32.const 0)
         )
        )
        (local.set $432
         (local.get $430)
        )
       )
       (block
        (block $label$79
         (local.set $431
          (i32.lt_u
           (local.get $9)
           (i32.load16_u offset=2
            (i32.add
             (local.get $5)
             (i32.mul
              (local.get $12)
              (i32.const 12)
             )
            )
           )
          )
         )
        )
        (local.set $432
         (local.get $431)
        )
       )
      )
      (local.set $433
       (i32.const 1)
      )
      (i32.xor
       (local.get $432)
       (local.get $433)
      )
     )
    )
   )
   (func $outer-block-typed (type $3) (param $var$0 i32) (result i32)
    (block (result i32)
     (i32.add
      (i32.const 1)
      (block $label$0 (result i32)
       (i32.const 16)
      )
     )
    )
   )
   (func $nested-br_if-with-value (result i32)
    (local $0 i32)
    (block $label$0 (result i32)
     (drop
      (br_if $label$0
       (i32.const 0)
       (block (result i32)
        (local.get $0)
       )
      )
     )
     (i32.const 1)
    )
   )
   (func $switch-unreachable
    (block $label$3
     (br_table $label$3
      (unreachable)
     )
    )
   )
   (func $br_if_order (param $x i32) (result i32)
    (block $outer (result i32)
     (block $inner (result i32)
      (br_if $inner
       (br_if $outer
        (i32.const 0)
        (i32.const 1)
       )
       (call $br_if_order
        (block (result i32)
         (i32.const -16)
        )
       )
      )
     )
    )
   )
   (func $tees (param $x i32) (param $y i32)
     (drop (local.tee $x (i32.const 1)))
     (drop (local.tee $x (unreachable)))
     (drop (local.tee $y (local.tee $x (i32.const 2))))
   )
   (func $return (param $x i32) (result i32)
     (return (i32.sub (i32.const 1) (i32.const 2)))
   )
 )
	(module
	(type $ii (func (param i32 i32)))
	(type $1 (func))
	(type $2 (func (result i32)))
	(type $3 (func (param i32) (result i32)))
	(type $4 (func (param i64 i64) (result i64)))
	(global $x (mut i32) (i32.const 0))
	(table 1 1 funcref)
	(elem (i32.const 0) $call-me)
	(memory $0 10)
	(func $a1
	(drop (i32.add (i32.const 0) (i32.const 1)))
	)
	(func $a2 (result i32)
	(i32.add (i32.const 0) (i32.const 1))
	)
	(func $a3 (result i32)
	(i32.add
	(i32.const 0)
	(block (result i32)
	(i32.const 1)
	)
	)
	)
	(func $a4
	(drop
	(i32.add
	(i32.const 0)
	(block (result i32)
	(i32.const 1)
	)
	)
	)
	)
	(func $a5 (result i32)
	(i32.add
	(block (result i32)
	(i32.const 0)
	)
	(block (result i32)
	(i32.const 1)
	)
	)
	)
	(func $a6 (result i32)
	(local $x i32)
	(i32.add
	(block (result i32)
	(local.tee $x
	(i32.const 0)
	)
	)
	(block (result i32)
	(local.tee $x
	(i32.const 1)
	)
	)
	)
	)
	(func $a7 (result i32)
	(local $x i32)
	(block (result i32)
	(i32.add
	(block (result i32)
	(local.tee $x
	(i32.const 0)
	)
	)
	(block (result i32)
	(local.tee $x
	(i32.const 1)
	)
	)
	)
	)
	)
	(func $a8 (result i32)
	(local $x i32)
	(block $outer (result i32)
	(block $inner (result i32)
	(i32.add
	(block (result i32)
	(br $inner
	(i32.const -1)
	)
	(br $outer
	(i32.const 0)
	)
	(i32.const 1)
	)
	(block (result i32)
	(br $outer
	(i32.const 2)
	)
	(local.tee $x
	(i32.const 3)
	)
	)
	)
	)
	)
	)
	(func $a9 (result i32)
	(loop $outer (result i32)
	(loop $inner (result i32)
	(br_if $outer (i32.const -1))
	(i32.add
	(i32.const 0)
	(i32.const 1)
	)
	)
	)
	)
	(func $a10 (result i32)
	(local $x i32)
	(block $outer (result i32)
	(drop (br_if $outer (i32.const 0) (i32.const 1)))
	(drop (br_if $outer (local.tee $x (i32.const 2)) (i32.const 3)))
	(drop (br_if $outer (i32.const 4) (local.tee $x (i32.const 5))))
	(drop (br_if $outer (local.tee $x (i32.const 6)) (local.tee $x (i32.const 7))))
	(br $outer (i32.const 8))
	)
	)
	(func $a11
	(if (i32.const 0)
	(drop (i32.const 1))
	)
	)
	(func $a12 (result i32)
	(if (result i32) (i32.const 0)
	(i32.const 1)
	(i32.const 2)
	)
	)
	(func $a13 (result i32)
	(block $x i32
	(if i32
	(br_table $x (i32.const 2) (i32.const 0))
	(i32.const 0)
	(i32.const 1)
	)
	)
	)
	(func $a14 (result i32)
	(block i32
	(select
	(i32.const 0) (i32.const 1) (br_table 0 (i32.const 7) (i32.const 1))
	)
	)
	)
	(func $a15
	(if
	(i32.load16_u
	(i32.const 53)
	)
	(unreachable)
	(drop
	(block $label$3 (result f32)
	(unreachable)
	)
	)
	)
	)
	(func $a16 (result i32)
	(local $x i32)
	(block $label$1 (result i32)
	(drop
	(br_if $label$1
	(local.tee $x ;; set here, then it is undone later, but this value is used, not the contents of $x!
	(i32.const 1)
	)
	(i32.eqz ;; 0 into 1, so take the br_if
	(block $label$2 (result i32)
	(local.set $x
	(i32.const 0) ;; undo the above tee
	)
	(i32.const 0)
	)
	)
	)
	)
	(i32.const 0)
	)
	)
	(func $a17 (result f32)
	(local $var$0 f32)
	(f32.max
	(local.get $var$0)
	(select
	(local.tee $var$0
	(f32.const -137438953472)
	)
	(local.get $var$0)
	(i32.const 0)
	)
	)
	)
	(func $a18 (result i32)
	(block $label$1 (result i32)
	(i32.load16_s
	(drop ;; an unreachable drop. one we move its contents outside, it should stay unreachable
	(br_if $label$1
	(i32.const 1)
	(unreachable)
	)
	)
	)
	)
	)
	(func $a19 (result f32)
	(block $label$0
	(block $label$1
	(drop
	(select
	(unreachable) ;; move this out, so it happens before the return
	(return
	(f32.const 4289944320)
	)
	(i32.const 65535)
	)
	)
	)
	)
	)
	(func $call-me (param $0 i32) (param $1 i32)
	(nop)
	)
	(func $code-to-kill
	(local $x i32)
	(block $out
	(br $out)
	(drop
	(i32.const 0)
	)
	(if
	(i32.const 1)
	(drop
	(i32.const 2)
	)
	)
	(br_table $out $out $out $out
	(i32.const 3)
	)
	(call $code-to-kill)
	)
	(if
	(i32.const 0)
	(block $out1
	(unreachable)
	(drop
	(i32.const 0)
	)
	)
	)
	(if
	(i32.const 0)
	(block $out3
	(return)
	(drop
	(i32.const 0)
	)
	)
	)
	(block $out4
	(br_table $out4 $out4 $out4 $out4
	(i32.const 4)
	)
	(drop
	(i32.const 0)
	)
	)
	(block $out5
	(br_if $out5
	(i32.const 3)
	)
	(drop
	(i32.const 0)
	)
	)
	(if
	(i32.const 0)
	(block $block4
	(if
	(i32.const 0)
	(block $out8
	(unreachable)
	(drop
	(i32.const 0)
	)
	)
	(block $out9
	(unreachable)
	(drop
	(i32.const 0)
	)
	)
	)
	(drop
	(i32.const 0)
	)
	)
	)
	(if
	(i32.const 0)
	(drop
	(block $out11 (result i32)
	(br $out11
	(unreachable)
	)
	(drop
	(i32.const 0)
	)
	(unreachable)
	)
	)
	)
	(if
	(i32.const 0)
	(drop
	(block $out13 (result i32)
	(br_if $out13
	(unreachable)
	(i32.const 0)
	)
	(drop
	(i32.const 0)
	)
	(unreachable)
	)
	)
	)
	(if
	(i32.const 0)
	(drop
	(block $out15 (result i32)
	(br_if $out15
	(unreachable)
	(unreachable)
	)
	(drop
	(i32.const 0)
	)
	(unreachable)
	)
	)
	)
	(block $out16
	(block $in
	(br_if $out16
	(i32.const 1)
	)
	)
	(unreachable)
	)
	(if
	(i32.const 0)
	(block $block11
	(block $out18
	(block $in19
	(br_if $in19
	(i32.const 1)
	)
	)
	(unreachable)
	)
	(drop
	(i32.const 10)
	)
	)
	)
	(block $out20
	(block $in21
	(br_table $out20 $in21
	(i32.const 1)
	)
	)
	(unreachable)
	)
	(block $out22
	(block $in23
	(br_table $in23 $out22
	(i32.const 1)
	)
	)
	(unreachable)
	)
	(if
	(i32.const 0)
	(block $block13
	(block $out25
	(block $in26
	(br_table $in26 $in26
	(i32.const 1)
	)
	)
	(unreachable)
	)
	(drop
	(i32.const 10)
	)
	)
	)
	(if
	(i32.const 0)
	(block $block15
	(drop
	(i32.const 10)
	)
	(drop
	(i32.const 42)
	)
	(unreachable)
	(return
	(unreachable)
	)
	(unreachable)
	(return)
	)
	)
	(if
	(i32.const 0)
	(loop $loop-in18
	(unreachable)
	)
	)
	(block $out29
	(loop $in30
	(br_if $out29
	(i32.const 1)
	)
	(unreachable)
	)
	)
	(if
	(i32.const 0)
	(block $block20
	(loop $in32
	(br_if $in32
	(i32.const 1)
	)
	(unreachable)
	)
	(drop
	(i32.const 10)
	)
	)
	)
	(if
	(i32.const 1)
	(call $call-me
	(i32.const 123)
	(unreachable)
	)
	)
	(if
	(i32.const 2)
	(call $call-me
	(unreachable)
	(i32.const 0)
	)
	)
	(if
	(i32.const 3)
	(call $call-me
	(unreachable)
	(unreachable)
	)
	)
	(if
	(i32.const -1)
	(call_indirect (type $ii)
	(i32.const 123)
	(i32.const 456)
	(unreachable)
	)
	)
	(if
	(i32.const -2)
	(call_indirect (type $ii)
	(i32.const 139)
	(unreachable)
	(i32.const 0)
	)
	)
	(if
	(i32.const -3)
	(call_indirect (type $ii)
	(i32.const 246)
	(unreachable)
	(unreachable)
	)
	)
	(if
	(i32.const -4)
	(call_indirect (type $ii)
	(unreachable)
	(unreachable)
	(unreachable)
	)
	)
	(if
	(i32.const 11)
	(local.set $x
	(unreachable)
	)
	)
	(if
	(i32.const 22)
	(drop
	(i32.load
	(unreachable)
	)
	)
	)
	(if
	(i32.const 33)
	(i32.store
	(i32.const 0)
	(unreachable)
	)
	)
	(if
	(i32.const 44)
	(i32.store
	(unreachable)
	(i32.const 0)
	)
	)
	(if
	(i32.const 55)
	(i32.store
	(unreachable)
	(unreachable)
	)
	)
	(if
	(i32.const 66)
	(drop
	(i32.eqz
	(unreachable)
	)
	)
	)
	(if
	(i32.const 77)
	(drop
	(i32.add
	(unreachable)
	(i32.const 0)
	)
	)
	)
	(if
	(i32.const 88)
	(drop
	(i32.add
	(i32.const 0)
	(unreachable)
	)
	)
	)
	(if
	(i32.const 99)
	(i32.add
	(unreachable)
	(unreachable)
	)
	)
	(if
	(i32.const 100)
	(drop
	(select
	(i32.const 123)
	(i32.const 456)
	(unreachable)
	)
	)
	)
	(if
	(i32.const 101)
	(drop
	(select
	(i32.const 123)
	(unreachable)
	(i32.const 456)
	)
	)
	)
	(if
	(i32.const 102)
	(drop
	(select
	(unreachable)
	(i32.const 123)
	(i32.const 456)
	)
	)
	)
	(drop
	(i32.const 1337)
	)
	)
	(func $killer (type $1)
	(unreachable)
	(drop
	(i32.const 1000)
	)
	)
	(func $target (type $1)
	(drop
	(i32.const 2000)
	)
	)
	(func $typed-block-none-then-unreachable (type $2) (result i32)
	(block $top-typed (result i32)
	(block $switch$0
	(return
	(i32.const 0)
	)
	(br $switch$0)
	)
	(return
	(i32.const 1)
	)
	)
	)
	(func $typed-block-remove-br-changes-type (type $3) (param $$$0 i32) (result i32)
	(block $switch$7
	(block $switch-default$10
	(block $switch-case$9
	(block $switch-case$8
	(br_table $switch-case$9 $switch-case$8 $switch-default$10
	(i32.const -1)
	)
	)
	)
	(return
	(local.get $$$0)
	)
	(br $switch$7)
	)
	(return
	(local.get $$$0)
	)
	)
	(return
	(i32.const 0)
	)
	)
	(func $global (type $1)
	(unreachable)
	(drop
	(global.get $x)
	)
	(global.set $x
	(i32.const 1)
	)
	)
	(func $ret (type $2) (result i32)
	(return
	(i32.const 0)
	)
	(nop)
	(i32.const 0)
	)
	(func $unreachable-br (type $2) (result i32)
	(block $out (result i32)
	(br $out
	(br $out
	(i32.const 0)
	)
	)
	)
	)
	(func $unreachable-br-loop (type $2) (result i32)
	(loop $out
	(br $out)
	)
	)
	(func $unreachable-block-ends-switch (type $2) (result i32)
	(block $label$0 (result i32)
	(block $label$3
	(nop)
	(br_table $label$3
	(unreachable)
	)
	(unreachable)
	)
	(i32.const 19)
	)
	)
	(func $unreachable-block-ends-br_if (result i32)
	(block $label$0 (result i32)
	(block $label$2
	(nop)
	(br_if $label$2
	(unreachable)
	)
	(unreachable)
	)
	(i32.const 19)
	)
	)
	(func $unreachable-brs-3 (result i32)
	(block $label$0 (result i32)
	(br $label$0
	(memory.grow
	(br $label$0
	(i32.const 18)
	)
	)
	)
	(i32.const 21)
	)
	)
	(func $unreachable-brs-4 (param $var$0 i32) (result i32)
	(i32.add
	(i32.const 1)
	(block $label$0 (result i32)
	(br $label$0
	(block $label$1 (result i32)
	(drop
	(br_if $label$0
	(i32.const 4104)
	(unreachable)
	)
	)
	(i32.const 4)
	)
	)
	(i32.const 16)
	)
	)
	)
	(func $call-unreach (param $var$0 i64) (param $var$1 i64) (result i64)
	(local $2 i64)
	(if (result i64)
	(i64.eqz
	(local.get $var$0)
	)
	(block $label$0 (result i64)
	(local.get $var$1)
	)
	(block $label$1 (result i64)
	(call $call-unreach
	(i64.sub
	(local.get $var$0)
	(i64.const 1)
	)
	(i64.mul
	(block $block (result i64)
	(local.set $2
	(local.get $var$0)
	)
	(nop)
	(local.get $2)
	)
	(unreachable)
	)
	)
	)
	)
	)

	;; flatten-specific
	(func $test-flatten
	(block $out
	(drop (i32.add (i32.const 1) (i32.const 2)))
	(drop (i32.add (i32.const 1) (br $out)))
	(drop (i32.add (br $out) (i32.const 1)))
	(drop (i32.add (i32.const 1) (br_table $out $out $out $out (i32.const 3))))
	(drop (i32.add (i32.const 1)
	(block (result i32)
	(drop (i32.const 2))
	(drop (i32.const 3))
	(i32.const 4)
	)
	))
	(drop (i32.add (i32.const 1)
	(block $in (result i32)
	(drop
	(block $switch-in (result i32)
	(br_table $in $switch-in $in (i32.const 2) (i32.const 777))
	)
	)
	(br $in (i32.const 3))
	(i32.const 4)
	)
	))
	(drop (i32.add (i32.const 1)
	(loop (result i32)
	(i32.const 5)
	)
	))
	(drop (i32.add (i32.const 1)
	(if (result i32)
	(i32.const 6)
	(i32.const 7)
	(i32.const 8)
	)
	))
	(drop
	(select
	(i32.const 9)
	(i32.const 10)
	(i32.const 11)
	)
	)
	(drop
	(select
	(br $out)
	(i32.const 10)
	(i32.const 11)
	)
	)
	(drop
	(select
	(i32.const 9)
	(br $out)
	(i32.const 11)
	)
	)
	(drop
	(select
	(i32.const 9)
	(i32.const 10)
	(br $out)
	)
	)
	(drop
	(select
	(if (result i32)
	(i32.const 11)
	(i32.const 12)
	(i32.const 13)
	)
	(i32.const 9)
	(i32.const 10)
	)
	)
	(drop
	(select
	(i32.const 9)
	(if (result i32)
	(i32.const 11)
	(i32.const 12)
	(i32.const 13)
	)
	(i32.const 10)
	)
	)
	(drop
	(select
	(i32.const 9)
	(i32.const 10)
	(if (result i32)
	(i32.const 11)
	(i32.const 12)
	(i32.const 13)
	)
	)
	)
	(drop
	(select
	(if (result i32)
	(i32.const 11)
	(i32.const 12)
	(i32.const 13)
	)
	(i32.const 14)
	(if (result i32)
	(i32.const 15)
	(i32.const 16)
	(i32.const 17)
	)
	)
	)
	(drop (i32.add (i32.const 1) (return)))
	(drop (i32.add (i32.const 1) (unreachable)))
	(drop
	(if (result i32)
	(if (result i32)
	(i32.const 5)
	(i32.const 6)
	(i32.const 7)
	)
	(i32.const 8)
	(if (result i32)
	(i32.const 9)
	(i32.const 10)
	(i32.const 11)
	)
	)
	)
	(drop
	(block $temp (result i32)
	(br_if $temp
	(i32.const 1)
	(i32.const 2)
	)
	)
	)
	)
	)
	(func $flatten-return-value (result i32)
	(drop (i32.add (i32.const 1) (return (i32.const 2))))
	(i32.const 3)
	)
	(func $unbug
	(local $12 i32)
	(local $432 i32)
	(local $430 i32)
	(local $431 i32)
	(local $9 i32)
	(local $5 i32)
	(local $433 i32)
	(drop
	(block (result i32)
	(if
	(i32.eq
	(local.get $12)
	(i32.const 65535)
	)
	(block
	(block $label$78
	(local.set $430
	(i32.const 0)
	)
	)
	(local.set $432
	(local.get $430)
	)
	)
	(block
	(block $label$79
	(local.set $431
	(i32.lt_u
	(local.get $9)
	(i32.load16_u offset=2
	(i32.add
	(local.get $5)
	(i32.mul
	(local.get $12)
	(i32.const 12)
	)
	)
	)
	)
	)
	)
	(local.set $432
	(local.get $431)
	)
	)
	)
	(local.set $433
	(i32.const 1)
	)
	(i32.xor
	(local.get $432)
	(local.get $433)
	)
	)
	)
	)
	(func $outer-block-typed (type $3) (param $var$0 i32) (result i32)
	(block (result i32)
	(i32.add
	(i32.const 1)
	(block $label$0 (result i32)
	(i32.const 16)
	)
	)
	)
	)
	(func $nested-br_if-with-value (result i32)
	(local $0 i32)
	(block $label$0 (result i32)
	(drop
	(br_if $label$0
	(i32.const 0)
	(block (result i32)
	(local.get $0)
	)
	)
	)
	(i32.const 1)
	)
	)
	(func $switch-unreachable
	(block $label$3
	(br_table $label$3
	(unreachable)
	)
	)
	)
	(func $br_if_order (param $x i32) (result i32)
	(block $outer (result i32)
	(block $inner (result i32)
	(br_if $inner
	(br_if $outer
	(i32.const 0)
	(i32.const 1)
	)
	(call $br_if_order
	(block (result i32)
	(i32.const -16)
	)
	)
	)
	)
	)
	)
	(func $tees (param $x i32) (param $y i32)
	(drop (local.tee $x (i32.const 1)))
	(drop (local.tee $x (unreachable)))
	(drop (local.tee $y (local.tee $x (i32.const 2))))
	)
	(func $return (param $x i32) (result i32)
	(return (i32.sub (i32.const 1) (i32.const 2)))
	)
	)