fmv.x.w

Move single-precision value from floating-point to integer register

This instruction is defined by:

Encoding

svg

Synopsis

Moves the single-precision value in floating-point register rs1 represented in IEEE 754-2008 encoding to the lower 32 bits of integer register rd. 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.

Access

M

HS

U

VS

VU

Always

Always

Always

Always

Always

Decode Variables

Bits<5> fs1 = $encoding[19:15];
Bits<5> rd = $encoding[11:7];

Execution

  • Pruned, XLEN == 64

  • Original

check_f_ok($encoding);
X[rd] = sext(f[fs1][31:0], 32);
check_f_ok($encoding);
X[rd] = sext(f[fs1][31:0], 32);

Exceptions

This instruction may result in the following synchronous exceptions:

  • IllegalInstruction