Changed MFTX to use rs1 for its source

diff --git a/riscv/insns/mftx_d.h b/riscv/insns/mftx_d.h
index 31be4cb14ad85882b993db22b3b1e3245b78fad8..a067fd9dfce3131c7f29d238265904dc19892335 100644 (file)
--- a/riscv/insns/mftx_d.h
+++ b/riscv/insns/mftx_d.h
@@ -1,3 +1,3 @@
 require_xpr64;
 require_fp;
-RD = FRS2;
+RD = FRS1;

diff --git a/riscv/insns/mftx_s.h b/riscv/insns/mftx_s.h
index 589b33b7d769d45f8a873e2308dbdf131339eac6..d3d59b280fd0cc103703386b473124b2170c678b 100644 (file)
--- a/riscv/insns/mftx_s.h
+++ b/riscv/insns/mftx_s.h
@@ -1,2 +1,2 @@
 require_fp;
-RD = sext32(FRS2);
+RD = sext32(FRS1);

diff --git a/riscv/opcodes.h b/riscv/opcodes.h
index b37b83383df9ec83c15dfc1d151dd1d9856fea09..519a75f323cf6fffd6fad6f2d07f7c025f3e6b4c 100644 (file)
--- 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)