fmv.w.x
Floating-Point Move Single-Precision Word from Integer Register
This instruction is defined by:
Synopsis
The fmv.w.x instruction moves the single-precision value encoded in IEEE 754-2008 standard encoding
from the lower 32 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
-
Pruned, XLEN == 64
-
Original
check_f_ok($encoding);
Bits<32> sp_value = X[xs1][31:0];
if (implemented?(ExtensionName::D)) {
f[fd] = nan_box<32, 64>(sp_value);
} else {
f[fd] = sp_value;
}
mark_f_state_dirty();check_f_ok($encoding);
Bits<32> sp_value = X[xs1][31:0];
if (implemented?(ExtensionName::D)) {
f[fd] = nan_box<32, 64>(sp_value);
} else {
f[fd] = sp_value;
}
mark_f_state_dirty();