fmv.x.h
Move half-precision value from floating-point to integer register
This instruction is defined by:
Synopsis
Moves the half-precision value in floating-point register fs1 represented in IEEE 754-2008 encoding to the lower 16 bits of integer register xd.
The bits are not modified in the transfer, and in particular, the payloads of non-canonical NaNs are preserved.
The highest XLEN-16 bits of the destination register are filled with copies of the floating-point number’s sign bit.
Execution
-
Pruned, XLEN == 64
-
Original
check_f_ok($encoding);
X[xd] = sext(F[fs1][15:0], 16);check_f_ok($encoding);
X[xd] = sext(F[fs1][15:0], 16);