f64.promote_f32
Pops an f32 value off the stack, converts it into a f64 value, and then pushes it back on to the stack.

Syntax

f64.promote_f32

Stack In

f32 The value to be converted.

Stack Out

f64 The f64 version of the f32 value.

Examples

;; Convert f32 3.142 into a f64 value
f32.const 3.142
f64.promote_f32

;; The stack contains a f64 value of 3.142

;; Convert f32 -2.718 into a f64 value
f32.const -2.718
f64.promote_f32

;; The stack contains a f64 value of -2.718