fmv.h.x
Half-precision floating-point move from integer
This instruction is defined by:
Synopsis
Moves the half-precision value encoded in IEEE 754-2008 standard encoding
from the lower 16 bits of integer register rs1
to the floating-point
register fd
. The bits are not modified in the transfer, and in particular,
the payloads of non-canonical NaNs are preserved.
Execution
-
Pruned, XLEN == 64
-
Original
%%LINK%func;check_f_ok;check_f_ok%%($encoding);
Bits<16> hp_value = X[rs1][15:0];
f[fd] = %%LINK%func;nan_box;nan_box%%<16, FLEN>(hp_value);
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();
%%LINK%func;check_f_ok;check_f_ok%%($encoding);
Bits<16> hp_value = X[rs1][15:0];
f[fd] = %%LINK%func;nan_box;nan_box%%<16, FLEN>(hp_value);
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();