fmv.w.x

Single-precision floating-point move from integer

This instruction is defined by:

Encoding

Synopsis

Moves the single-precision value encoded in IEEE 754-2008 standard encoding from the lower 32 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.

Access

Always

Decode Variables

Bits<5> rs1 = $encoding[19:15];
Bits<5> fd = $encoding[11:7];

Execution

Pruned, XLEN == 64
Original

%%LINK%func;check_f_ok;check_f_ok%%($encoding);
Bits<32> sp_value = X[rs1][31:0];
f[fd] = %%LINK%func;nan_box;nan_box%%<32, 64>(sp_value);
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();

%%LINK%func;check_f_ok;check_f_ok%%($encoding);
Bits<32> sp_value = X[rs1][31:0];
if (%%LINK%func;implemented?;implemented?%%(ExtensionName::D)) {
  f[fd] = %%LINK%func;nan_box;nan_box%%<32, 64>(sp_value);
} else {
  f[fd] = sp_value;
}
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();

Exceptions

This instruction may result in the following synchronous exceptions:

IllegalInstruction