test/passes/code-folding.txt

(module
 (type $13 (func (param f32)))
 (type $1 (func))
 (type $2 (func (result f32)))
 (memory $0 1 1)
 (table $0 282 282 funcref)
 (func $0 (; 0 ;) (type $1)
  (block $label$1
   (if
    (i32.const 1)
    (block
     (block $label$3
      (call_indirect (type $13)
       (block $label$4
        (br $label$3)
       )
       (i32.const 105)
      )
     )
     (nop)
    )
   )
  )
 )
 (func $negative-zero (; 1 ;) (type $2) (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 (; 2 ;) (type $2) (result f32)
  (drop
   (i32.const 0)
  )
  (block $label$0 (result f32)
   (f32.const -0)
  )
 )
 (func $negative-zero-c (; 3 ;) (type $2) (result f32)
  (drop
   (i32.const 0)
  )
  (block $label$0 (result f32)
   (f32.const 0)
  )
 )
 (func $break-target-outside-of-return-merged-code (; 4 ;) (type $1)
  (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 (; 5 ;) (type $1)
  (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 (; 6 ;) (type $1)
  (block $label$1
   (drop
    (block $label$2
     (block
      (unreachable)
      (unreachable)
     )
     (br $label$1)
    )
   )
  )
  (drop
   (i32.const 1)
  )
 )
)
(module
 (type $0 (func (result i32)))
 (memory $0 (shared 1 1))
 (export "func_2224" (func $0))
 (func $0 (; 0 ;) (type $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 $0 (func))
 (type $1 (func (param i32)))
 (global $global$0 (mut i32) (i32.const 10))
 (func $determinism (; 0 ;) (type $0)
  (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 (; 1 ;) (type $1) (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)
  )
 )
)