1(module
2  (func (export "f") (param f32 i32) (result f64)
3    local.get 1
4    f64.convert_i32_u
5    i32.trunc_f64_u
6    f64.convert_i32_s
7    local.get 1
8    f64.convert_i32_u
9    global.set 0
10    drop
11    global.get 0
12  )
13  (global (;0;) (mut f64) f64.const 0)
14)
15
16(assert_return (invoke "f" (f32.const 1.23) (i32.const -2147483648)) (f64.const 2147483648))
17