fmv.x.w
Floating-Point Move Single-Precision Word to Integer Register
This instruction is defined by:
Synopsis
The fmv.x.w instruction moves the single-precision value in floating-point register fs1` represented in IEEE 754-2008
encoding to the lower 32 bits of integer register xd. The bits are not modified in the transfer, and in particular, the
payloads of non-canonical NaNs are preserved. For RV64, the higher 32 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][31:0], 32);check_f_ok($encoding);
X[xd] = sext(F[fs1][31:0], 32);