Changed MFTX to use rs1 for its source

15 years ago · 0a9b430095
3 changed files with 4 additions and 4 deletions
--- a/riscv/insns/mftx_d.h
+++ b/riscv/insns/mftx_d.h
@ -1,3 +1,3 @@
 require_xpr64;
 require_fp;
-RD = FRS2;
+RD = FRS1;
--- a/riscv/insns/mftx_s.h
+++ b/riscv/insns/mftx_s.h
@ -1,2 +1,2 @@
 require_fp;
-RD = sext32(FRS2);
+RD = sext32(FRS1);
--- a/riscv/opcodes.h
+++ b/riscv/opcodes.h
@ -60,10 +60,10 @@ DECLARE_INSN(mulw, 0x43b, 0x1ffff)
 DECLARE_INSN(vssegstd, 0x98f, 0xfff)
 DECLARE_INSN(srlw, 0x2bb, 0x1ffff)
 DECLARE_INSN(vssegstb, 0x80f, 0xfff)
-DECLARE_INSN(mftx_d, 0x1c0d3, 0x7c1ffff)
+DECLARE_INSN(mftx_d, 0x1c0d3, 0x3fffff)
 DECLARE_INSN(div, 0x633, 0x1ffff)
 DECLARE_INSN(c_ld, 0x9, 0x1f)
-DECLARE_INSN(mftx_s, 0x1c053, 0x7c1ffff)
+DECLARE_INSN(mftx_s, 0x1c053, 0x3fffff)
 DECLARE_INSN(vssegsth, 0x88f, 0xfff)
 DECLARE_INSN(vvcfgivl, 0xf3, 0x3ff)
 DECLARE_INSN(j, 0x67, 0x7f)