Implement new FP encoding

[riscv-isa-sim.git] / riscv / insns / fmv_d_x.h

require_extension('D');
require_rv64;
require_fp;
WRITE_FRD(f64(RS1));