fmv.h.x
Half-precision floating-point move from integer
Moves the half-precision value encoded in IEEE 754-2008 standard encoding
from the lower 16 bits of integer register xs1 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
check_f_ok($encoding);
Bits<16> hp_value = X[xs1][15:0];
F[fd] = nan_box(16, FLEN, hp_value);
mark_f_state_dirty();