Implement new FP encoding
[riscv-isa-sim.git] / riscv / insns / fmv_d_x.h
index 29792ec425b41048e960568fc37f712dcc13eeae..0bff5fb7540b347aeba01b0aff264f5d922161b0 100644 (file)
@@ -1,3 +1,4 @@
-require_xpr64;
+require_extension('D');
+require_rv64;
 require_fp;
-FRD = RS1;
+WRITE_FRD(f64(RS1));