xref: /dports/emulators/riscv-isa-sim/riscv-isa-sim-4f12984/riscv/insns/fmv_x_w.h

require_extension('F');
require_fp;
WRITE_RD(sext32(FRS1.v[0]));