(module
 (type $none_=>_none (func))
 (type $i64_=>_none (func (param i64)))
 (type $i32_f64_f64_=>_i32 (func (param i32 f64 f64) (result i32)))
 (type $f64_=>_i32 (func (param f64) (result i32)))
 (type $none_=>_f64 (func (result f64)))
 (export "if-select" (func $0))
 (export "unreachable-body-update-zext" (func $1))
 (export "ssa-const" (func $2))
 (export "if-nothing" (func $3))
 (export "only-dfo" (func $4))
 (func $0 (; 0 ;) (; has Stack IR ;)
  (nop)
 )
 (func $1 (; 1 ;) (; has Stack IR ;) (result f64)
  (unreachable)
 )
 (func $2 (; 2 ;) (; has Stack IR ;) (param $0 i32) (param $1 f64) (param $2 f64) (result i32)
  (unreachable)
 )
 (func $3 (; 3 ;) (; has Stack IR ;) (param $0 i64)
  (unreachable)
 )
 (func $4 (; 4 ;) (; has Stack IR ;) (param $0 f64) (result i32)
  (local $1 i32)
  (loop $label$1
   (if
    (i32.eqz
     (local.get $1)
    )
    (block
     (local.set $1
      (i32.const -2147483648)
     )
     (br $label$1)
    )
   )
  )
  (i32.const -2766)
 )
)
