;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up.

;; RUN: wasm-opt %s -all --code-folding -S -o - | filecheck %s

(module
 ;; CHECK:      (type $0 (func))

 ;; CHECK:      (type $1 (func (result f32)))

 ;; CHECK:      (type $2 (func (result i32)))

 ;; CHECK:      (type $3 (func (result anyref)))

 ;; CHECK:      (type $13 (func (param f32)))
 (type $13 (func (param f32)))
 (table 282 282 funcref)
 ;; CHECK:      (type $5 (func (param i32)))

 ;; CHECK:      (global $global$0 (mut i32) (i32.const 10))

 ;; CHECK:      (memory $0 1 1)
 (memory $0 1 1)

 ;; CHECK:      (memory $shared 1 1 shared)
 (memory $shared 1 1 shared)

 (global $global$0 (mut i32) (i32.const 10))

 ;; CHECK:      (table $0 282 282 funcref)

 ;; CHECK:      (func $0 (type $0)
 ;; CHECK-NEXT:  (block $label$1
 ;; CHECK-NEXT:   (if
 ;; CHECK-NEXT:    (i32.const 1)
 ;; CHECK-NEXT:    (then
 ;; CHECK-NEXT:     (block $label$3
 ;; CHECK-NEXT:      (call_indirect $0 (type $13)
 ;; CHECK-NEXT:       (block $label$4 (result f32)
 ;; CHECK-NEXT:        (br $label$3)
 ;; CHECK-NEXT:       )
 ;; CHECK-NEXT:       (i32.const 105)
 ;; CHECK-NEXT:      )
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (nop)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $0
  (block $label$1
   (if
    (i32.const 1)
    (then
     (block $label$3
      (call_indirect (type $13)
       (block $label$4 (result f32) ;; but this type may change dangerously
        (nop) ;; fold this
        (br $label$3)
       )
       (i32.const 105)
      )
      (nop) ;; with this
     )
    )
   )
  )
 )

 ;; CHECK:      (func $negative-zero (type $1) (result f32)
 ;; CHECK-NEXT:  (if (result f32)
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (f32.const 0)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (f32.const -0)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $negative-zero (result f32)
  (if (result f32)
   (i32.const 0)
   (then
    (block (result f32)
     (f32.const 0)
    )
   )
   (else
    (block (result f32)
     (f32.const -0)
    )
   )
  )
 )

 ;; CHECK:      (func $negative-zero-b (type $1) (result f32)
 ;; CHECK-NEXT:  (drop
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (f32.const -0)
 ;; CHECK-NEXT: )
 (func $negative-zero-b (result f32)
  (if (result f32)
   (i32.const 0)
   (then
    (block (result f32)
     (f32.const -0)
    )
   )
   (else
    (block (result f32)
     (f32.const -0)
    )
   )
  )
 )

 ;; CHECK:      (func $positive-zero (type $1) (result f32)
 ;; CHECK-NEXT:  (if (result f32)
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (f32.const 0)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (f32.const 0)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $positive-zero (result f32)
  ;; This doesn't get optimized because we only look at Ifs with block arms.
  ;; This simpler case will be optimized by OptimizeInstructions.
  (if (result f32)
   (i32.const 0)
   (then
    (f32.const 0)
   )
   (else
    (f32.const 0)
   )
  )
 )

 ;; CHECK:      (func $positive-zero-names (type $1) (result f32)
 ;; CHECK-NEXT:  (if (result f32)
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (block $l1 (result f32)
 ;; CHECK-NEXT:     (f32.const 0)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (block $l2 (result f32)
 ;; CHECK-NEXT:     (f32.const 0)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $positive-zero-names (result f32)
  ;; This one has block arms, but doesn't get optimized because the blocks have
  ;; names.
  (if (result f32)
   (i32.const 0)
   (then
    (block $l1 (result f32)
     (f32.const 0)
    )
   )
   (else
    (block $l2 (result f32)
     (f32.const 0)
    )
   )
  )
 )

 ;; CHECK:      (func $positive-zero-extra-a (type $1) (result f32)
 ;; CHECK-NEXT:  (if
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (f32.const 0)
 ;; CHECK-NEXT: )
 (func $positive-zero-extra-a (result f32)
  (if (result f32)
   (i32.const 0)
   (then
    (nop)
    (f32.const 0)
   )
   (else
    (f32.const 0)
   )
  )
 )

 ;; CHECK:      (func $positive-zero-extra-b (type $1) (result f32)
 ;; CHECK-NEXT:  (if
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (f32.const 0)
 ;; CHECK-NEXT: )
 (func $positive-zero-extra-b (result f32)
  (if (result f32)
   (i32.const 0)
   (then
    (f32.const 0)
   )
   (else
    (nop)
    (f32.const 0)
   )
  )
 )

 ;; CHECK:      (func $positive-zero-extra-c (type $1) (result f32)
 ;; CHECK-NEXT:  (if
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT:  (f32.const 0)
 ;; CHECK-NEXT: )
 (func $positive-zero-extra-c (result f32)
  (if (result f32)
   (i32.const 0)
   (then
    (nop)
    (nop)
    (f32.const 0)
   )
   (else
    (nop)
    (f32.const 0)
   )
  )
 )

 ;; CHECK:      (func $break-target-outside-of-return-merged-code (type $0)
 ;; CHECK-NEXT:  (block $label$A
 ;; CHECK-NEXT:   (if
 ;; CHECK-NEXT:    (unreachable)
 ;; CHECK-NEXT:    (then
 ;; CHECK-NEXT:     (block
 ;; CHECK-NEXT:      (block $label$B
 ;; CHECK-NEXT:       (if
 ;; CHECK-NEXT:        (unreachable)
 ;; CHECK-NEXT:        (then
 ;; CHECK-NEXT:         (br_table $label$A $label$B
 ;; CHECK-NEXT:          (unreachable)
 ;; CHECK-NEXT:         )
 ;; CHECK-NEXT:        )
 ;; CHECK-NEXT:       )
 ;; CHECK-NEXT:      )
 ;; CHECK-NEXT:      (return)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (else
 ;; CHECK-NEXT:     (block $label$C
 ;; CHECK-NEXT:      (if
 ;; CHECK-NEXT:       (unreachable)
 ;; CHECK-NEXT:       (then
 ;; CHECK-NEXT:        (br_table $label$A $label$C
 ;; CHECK-NEXT:         (unreachable)
 ;; CHECK-NEXT:        )
 ;; CHECK-NEXT:       )
 ;; CHECK-NEXT:      )
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (return)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $break-target-outside-of-return-merged-code
  (block $label$A
   (if
    (unreachable)
    (then
     (block
      (block
       (block $label$B
        (if
         (unreachable)
         (then
          (br_table $label$A $label$B
           (unreachable)
          )
         )
        )
       )
       (return)
      )
     )
    )
    (else
     (block
      (block $label$C
       (if
        (unreachable)
        (then
         (br_table $label$A $label$C ;; this all looks mergeable, but $label$A is outside
          (unreachable)
         )
        )
       )
      )
      (return)
     )
    )
   )
  )
 )

 ;; CHECK:      (func $break-target-inside-all-good (type $0)
 ;; CHECK-NEXT:  (block $folding-inner0
 ;; CHECK-NEXT:   (block $label$A
 ;; CHECK-NEXT:    (if
 ;; CHECK-NEXT:     (unreachable)
 ;; CHECK-NEXT:     (then
 ;; CHECK-NEXT:      (block
 ;; CHECK-NEXT:       (br $folding-inner0)
 ;; CHECK-NEXT:      )
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (else
 ;; CHECK-NEXT:      (br $folding-inner0)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (block $label$B
 ;; CHECK-NEXT:   (if
 ;; CHECK-NEXT:    (unreachable)
 ;; CHECK-NEXT:    (then
 ;; CHECK-NEXT:     (br_table $label$B $label$B
 ;; CHECK-NEXT:      (unreachable)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (return)
 ;; CHECK-NEXT: )
 (func $break-target-inside-all-good
  (block $label$A
   (if
    (unreachable)
    (then
     (block
      (block
       (block $label$B
        (if
         (unreachable)
         (then
          (br_table $label$B $label$B
           (unreachable)
          )
         )
        )
       )
       (return)
      )
     )
    )
    (else
     (block
      (block $label$C
       (if
        (unreachable)
        (then
         (br_table $label$C $label$C ;; this all looks mergeable, and is, B ~~ C
          (unreachable)
         )
        )
       )
      )
      (return)
     )
    )
   )
  )
 )

 ;; CHECK:      (func $leave-inner-block-type (type $0)
 ;; CHECK-NEXT:  (block $label$1
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (block $label$2 (result i32)
 ;; CHECK-NEXT:     (br_if $label$2
 ;; CHECK-NEXT:      (unreachable)
 ;; CHECK-NEXT:      (unreachable)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (br $label$1)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (drop
 ;; CHECK-NEXT:   (i32.const 1)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $leave-inner-block-type
  (block $label$1
   (drop
    (block $label$2 (result i32) ;; leave this alone (otherwise, if we make it unreachable, we need to do more updating)
     (br_if $label$2
      (unreachable)
      (unreachable)
     )
     (drop
      (i32.const 1)
     )
     (br $label$1)
    )
   )
   (drop
    (i32.const 1)
   )
  )
 )

 ;; CHECK:      (func $atomic-load-different (type $2) (result i32)
 ;; CHECK-NEXT:  (local $var$0 i32)
 ;; CHECK-NEXT:  (if (result i32)
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (i32.load $shared offset=22
 ;; CHECK-NEXT:     (local.get $var$0)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (i32.atomic.load $shared offset=22
 ;; CHECK-NEXT:     (local.get $var$0)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $atomic-load-different (result i32)
  (local $var$0 i32)
  (if (result i32)
   (i32.const 0)
   (then
    (i32.load $shared offset=22
     (local.get $var$0)
    )
   )
   (else
    (i32.atomic.load $shared offset=22
     (local.get $var$0)
    )
   )
  )
 )

 ;; CHECK:      (func $determinism (type $0)
 ;; CHECK-NEXT:  (block $folding-inner0
 ;; CHECK-NEXT:   (block
 ;; CHECK-NEXT:    (block $label$1
 ;; CHECK-NEXT:     (br_if $label$1
 ;; CHECK-NEXT:      (i32.const 1)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (br $folding-inner0)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (block $label$2
 ;; CHECK-NEXT:     (br_if $label$2
 ;; CHECK-NEXT:      (i32.const 0)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (if
 ;; CHECK-NEXT:      (global.get $global$0)
 ;; CHECK-NEXT:      (then
 ;; CHECK-NEXT:       (br $folding-inner0)
 ;; CHECK-NEXT:      )
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (unreachable)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (if
 ;; CHECK-NEXT:     (global.get $global$0)
 ;; CHECK-NEXT:     (then
 ;; CHECK-NEXT:      (br $folding-inner0)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (unreachable)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (global.set $global$0
 ;; CHECK-NEXT:   (i32.sub
 ;; CHECK-NEXT:    (global.get $global$0)
 ;; CHECK-NEXT:    (i32.const 1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (unreachable)
 ;; CHECK-NEXT: )
 (func $determinism
  (block $label$1
   (br_if $label$1
    (i32.const 1)
   )
   (global.set $global$0
    (i32.sub
     (global.get $global$0)
     (i32.const 1)
    )
   )
   (unreachable)
  )
  (block $label$2
   (br_if $label$2
    (i32.const 0)
   )
   (if
    (global.get $global$0)
    (then
     (block
      (global.set $global$0
       (i32.sub
        (global.get $global$0)
        (i32.const 1)
       )
      )
      (unreachable)
     )
    )
   )
   (unreachable)
  )
  (if
   (global.get $global$0)
   (then
    (block
     (global.set $global$0
      (i32.sub
       (global.get $global$0)
       (i32.const 1)
      )
     )
     (unreachable)
    )
   )
  )
  (unreachable)
 )

 ;; CHECK:      (func $careful-of-the-switch (type $5) (param $0 i32)
 ;; CHECK-NEXT:  (block $label$1
 ;; CHECK-NEXT:   (block $label$3
 ;; CHECK-NEXT:    (block $label$5
 ;; CHECK-NEXT:     (block $label$7
 ;; CHECK-NEXT:      (br_table $label$3 $label$7
 ;; CHECK-NEXT:       (i32.const 0)
 ;; CHECK-NEXT:      )
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:     (br $label$1)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (block $label$8
 ;; CHECK-NEXT:     (br_table $label$3 $label$8
 ;; CHECK-NEXT:      (i32.const 0)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (br $label$1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (unreachable)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $careful-of-the-switch (param $0 i32)
  (block $label$1
    (block $label$3
      (block $label$5
       (block $label$7 ;;  this is block is equal to $label$8 when accounting for the internal 7/8 difference
        (br_table $label$3 $label$7 ;; the reference to $label$3 must remain valid, cannot hoist out of it!
         (i32.const 0)
        )
       )
       (br $label$1)
      )
      (block $label$8
       (br_table $label$3 $label$8
        (i32.const 0)
       )
      )
      (br $label$1)
    )
    (unreachable)
  )
 )

 ;; CHECK:      (func $br-with-value (type $2) (result i32)
 ;; CHECK-NEXT:  (block $l
 ;; CHECK-NEXT:   (block
 ;; CHECK-NEXT:    (br $l)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (block
 ;; CHECK-NEXT:    (br $l)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (i32.const 1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (i32.const 1)
 ;; CHECK-NEXT: )
 (func $br-with-value (result i32)
  (block $l (result i32)
   (block
    (br $l
     (i32.const 1)
    )
   )
   (block
    (br $l
     (i32.const 1)
    )
   )
   (i32.const 1)
  )
 )

 ;; CHECK:      (func $br-and-fallthrough-with-value (type $2) (result i32)
 ;; CHECK-NEXT:  (block $l
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (block (result i32)
 ;; CHECK-NEXT:     (br $l)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (block (result i32)
 ;; CHECK-NEXT:     (br $l)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (i32.const 1)
 ;; CHECK-NEXT: )
 (func $br-and-fallthrough-with-value (result i32)
  (block $l (result i32)
   (drop
    (block (result i32)
     (br $l
      (i32.const 1)
     )
    )
   )
   (drop
    (block (result i32)
     (br $l
      (i32.const 1)
     )
    )
   )
   (i32.const 1)
  )
 )

 ;; CHECK:      (func $br-with-value-and-more (type $2) (result i32)
 ;; CHECK-NEXT:  (block $l
 ;; CHECK-NEXT:   (block
 ;; CHECK-NEXT:    (br $l)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (block
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:    (br $l)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (nop)
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (i32.const 1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT:  (i32.const 1)
 ;; CHECK-NEXT: )
 (func $br-with-value-and-more (result i32)
  (block $l (result i32)
   (block
    (nop)
    (nop)
    (br $l
     (i32.const 1)
    )
   )
   (block
    (nop)
    (nop)
    (nop)
    (br $l
     (i32.const 1)
    )
   )
   (nop)
   (i32.const 1)
  )
 )

 ;; CHECK:      (func $br-and-fallthrough-with-value-and-more (type $2) (result i32)
 ;; CHECK-NEXT:  (block $l
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (block (result i32)
 ;; CHECK-NEXT:     (nop)
 ;; CHECK-NEXT:     (br $l)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (block (result i32)
 ;; CHECK-NEXT:     (nop)
 ;; CHECK-NEXT:     (nop)
 ;; CHECK-NEXT:     (br $l)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT:  (i32.const 1)
 ;; CHECK-NEXT: )
 (func $br-and-fallthrough-with-value-and-more (result i32)
  (block $l (result i32)
   (drop
    (block (result i32)
     (nop)
     (nop)
     (br $l
      (i32.const 1)
     )
    )
   )
   (drop
    (block (result i32)
     (nop)
     (nop)
     (nop)
     (br $l
      (i32.const 1)
     )
    )
   )
   (nop)
   (i32.const 1)
  )
 )

 ;; CHECK:      (func $unreachable-if (type $0)
 ;; CHECK-NEXT:  (if
 ;; CHECK-NEXT:   (unreachable)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:    (drop
 ;; CHECK-NEXT:     (i32.const 1)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:    (drop
 ;; CHECK-NEXT:     (i32.const 1)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $unreachable-if
  (if
   (unreachable)
   (then
    (nop)
    (drop
     (i32.const 1)
    )
   )
   (else
    (nop)
    (drop
     (i32.const 1)
    )
   )
  )
 )

 ;; CHECK:      (func $unreachable-if-suffix (type $0)
 ;; CHECK-NEXT:  (if
 ;; CHECK-NEXT:   (unreachable)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (drop
 ;; CHECK-NEXT:     (i32.const 1)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:    (drop
 ;; CHECK-NEXT:     (i32.const 1)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $unreachable-if-suffix
  (if
   (unreachable)
   (then
    (drop
     (i32.const 1)
    )
   )
   (else
    (nop)
    (drop
     (i32.const 1)
    )
   )
  )
 )

 ;; CHECK:      (func $unreachable-if-concrete-arms (type $0)
 ;; CHECK-NEXT:  (if (result i32)
 ;; CHECK-NEXT:   (unreachable)
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (i32.const 1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (else
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:    (i32.const 1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (unreachable)
 ;; CHECK-NEXT: )
 (func $unreachable-if-concrete-arms
  (if (result i32)
   (unreachable)
   (then
    (i32.const 1)
   )
   (else
    (nop)
    (i32.const 1)
   )
  )
  (unreachable)
 )

 ;; CHECK:      (func $br-on-null (type $0)
 ;; CHECK-NEXT:  (block $block
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (br_on_null $block
 ;; CHECK-NEXT:     (ref.null none)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (block (result i32)
 ;; CHECK-NEXT:     (call $br-on-null)
 ;; CHECK-NEXT:     (br $block)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (call $br-on-null)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $br-on-null
  (block $block
   (drop
    ;; The other two tails are the same, but this br_on_null should inhibit code
    ;; folding.
    (br_on_null $block
     (ref.null none)
    )
   )
   (drop
    (block (result i32)
     (call $br-on-null)
     (br $block)
    )
   )
   (call $br-on-null)
  )
 )

 ;; CHECK:      (func $refined-type (type $3) (result anyref)
 ;; CHECK-NEXT:  (select (result anyref)
 ;; CHECK-NEXT:   (if (result anyref)
 ;; CHECK-NEXT:    (i32.const 0)
 ;; CHECK-NEXT:    (then
 ;; CHECK-NEXT:     (ref.null none)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (else
 ;; CHECK-NEXT:     (ref.null none)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (ref.null none)
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $refined-type (result anyref)
  (select (result anyref)
   ;; If we fold the identical arms, the select will have a stale type.
   (if (result anyref)
    (i32.const 0)
    (then
     (ref.null none)
    )
    (else
     (ref.null none)
    )
   )
   (ref.null none)
   (i32.const 0)
  )
 )

 ;; CHECK:      (func $refined-type-blocks (type $3) (result anyref)
 ;; CHECK-NEXT:  (select (result anyref)
 ;; CHECK-NEXT:   (block (result anyref)
 ;; CHECK-NEXT:    (drop
 ;; CHECK-NEXT:     (i32.const 0)
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:    (nop)
 ;; CHECK-NEXT:    (ref.null none)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (ref.null none)
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $refined-type-blocks (result anyref)
  (select (result anyref)
   ;; Same, but now the arms are blocks, so they have the stale types (which is
   ;; allowed) and the select is ok.
   (if (result anyref)
    (i32.const 0)
    (then
     (nop)
     (ref.null none)
    )
    (else
     (nop)
     (ref.null none)
    )
   )
   (ref.null none)
   (i32.const 0)
  )
 )
)