| ;;; TOOL: run-interp |
| (module |
| (func (export "f32_reinterpret_i32") (result f32) |
| i32.const 0x40900000 |
| f32.reinterpret/i32) |
| |
| (func (export "i32_reinterpret_f32") (result i32) |
| f32.const -3.5 |
| i32.reinterpret/f32) |
| |
| (func (export "f64_reinterpret_i64") (result f64) |
| i64.const 0x405f480000000000 |
| f64.reinterpret/i64) |
| |
| (func (export "i64_reinterpret_f64") (result i64) |
| f64.const 1.375e10 |
| i64.reinterpret/f64)) |
| (;; STDOUT ;;; |
| f32_reinterpret_i32() => f32:4.500000 |
| i32_reinterpret_f32() => i32:3227516928 |
| f64_reinterpret_i64() => f64:125.125000 |
| i64_reinterpret_f64() => i64:4758506566875873280 |
| ;;; STDOUT ;;) |
