(module
  (memory i64 1)
  (func $simple
    (drop (f32.reinterpret_i32 (i32.load (i64.const 1024))))
    (drop (i32.reinterpret_f32 (f32.load (i64.const 1024))))
    (drop (f64.reinterpret_i64 (i64.load (i64.const 1024))))
    (drop (i64.reinterpret_f64 (f64.load (i64.const 1024))))
  )
  (func $one
    (local $x i32)
    (local.set $x (i32.load (i64.const 1024)))
    (drop (f32.reinterpret_i32 (local.get $x)))
  )
  (func $one-b
    (local $x f32)
    (local.set $x (f32.load (i64.const 1024)))
    (drop (i32.reinterpret_f32 (local.get $x)))
  )
  (func $both
    (local $x i32)
    (local.set $x (i32.load (i64.const 1024)))
    (drop (f32.reinterpret_i32 (local.get $x)))
    (drop (f32.reinterpret_i32 (local.get $x)))
  )
  (func $half
    (local $x i32)
    (local.set $x (i32.load (i64.const 1024)))
    (drop (local.get $x))
    (drop (f32.reinterpret_i32 (local.get $x)))
  )
  (func $copy
    (local $x i32)
    (local $y i32)
    (local.set $x (i32.load (i64.const 1024)))
    (local.set $y (local.get $x))
    (drop (f32.reinterpret_i32 (local.get $y)))
  )
  (func $partial1 (result f32)
   (f32.reinterpret_i32
    (i32.load16_u
     (i64.const 3)
    )
   )
  )
  (func $partial2 (result f32)
   (f32.reinterpret_i32
    (i32.load8_u
     (i64.const 3)
    )
   )
  )
  (func $nofallthrough
    (local $x i32)
    (local.set $x
     (i32.load
      (i64.const 1024)
     )
    )
    (drop
     (f32.reinterpret_i32
      (block (result i32)
       (nop) ;; this would be removed by other opts, but in general, we can't
             ;; just look at the fallthrough, as we can't just remove code here
       (local.get $x)
      )
     )
    )
  )
)