From: Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>
Date: Fri, 11 Nov 2011 08:29:38 +0000 (-0800)
Subject: Changed MFTX to use rs1 for its source
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0a9b4300953302d0ef44b09cd10e0fccfaa71719;p=riscv-isa-sim.git

Changed MFTX to use rs1 for its source
---

diff --git a/riscv/insns/mftx_d.h b/riscv/insns/mftx_d.h
index 31be4cb..a067fd9 100644
--- 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 589b33b..d3d59b2 100644
--- 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 b37b833..519a75f 100644
--- 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)