path: root/riscv/insns/fmv_x_s.h

require_extension('F');
require_fp;
WRITE_RD(sext32(FRS1));