From f37be621fef366f9a7356f9c35b96c265931bc18 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>
Date: Mon, 14 Feb 2011 21:17:49 -0800
Subject: [PATCH] [xcc,sim,opcodes] removed mtflh/mffl/mffh

in rv32 these will be replaced with loads and stores.
---
 riscv/execute.h       | 15 ---------------
 riscv/insns/mffh_d.h  |  3 ---
 riscv/insns/mffl_d.h  |  3 ---
 riscv/insns/mtflh_d.h |  3 ---
 4 files changed, 24 deletions(-)
 delete mode 100644 riscv/insns/mffh_d.h
 delete mode 100644 riscv/insns/mffl_d.h
 delete mode 100644 riscv/insns/mtflh_d.h

diff --git a/riscv/execute.h b/riscv/execute.h
index 48f6d34..f78375a 100644
--- a/riscv/execute.h
+++ b/riscv/execute.h
@@ -898,16 +898,6 @@ switch((insn.bits >> 0x0) & 0x7f)
           #include "insns/fcvt_d_s.h"
           break;
         }
-        if((insn.bits & 0x7c1ffff) == 0x19ed3)
-        {
-          #include "insns/mffl_d.h"
-          break;
-        }
-        if((insn.bits & 0x7c1ffff) == 0x1aed3)
-        {
-          #include "insns/mffh_d.h"
-          break;
-        }
         if((insn.bits & 0x3fffff) == 0x1ced3)
         {
           #include "insns/mtf_d.h"
@@ -923,11 +913,6 @@ switch((insn.bits >> 0x0) & 0x7f)
           #include "insns/fc_lt_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x1eed3)
-        {
-          #include "insns/mtflh_d.h"
-          break;
-        }
         if((insn.bits & 0x1ffff) == 0x15ed3)
         {
           #include "insns/fc_eq_d.h"
diff --git a/riscv/insns/mffh_d.h b/riscv/insns/mffh_d.h
deleted file mode 100644
index 02a94fa..0000000
--- a/riscv/insns/mffh_d.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_xpr32;
-require_fp;
-RD = sext32(FRS2 >> 32);
diff --git a/riscv/insns/mffl_d.h b/riscv/insns/mffl_d.h
deleted file mode 100644
index 55e99fc..0000000
--- a/riscv/insns/mffl_d.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_xpr32;
-require_fp;
-RD = sext32(FRS2);
diff --git a/riscv/insns/mtflh_d.h b/riscv/insns/mtflh_d.h
deleted file mode 100644
index ac87afb..0000000
--- a/riscv/insns/mtflh_d.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_xpr32;
-require_fp;
-FRD = (RS1 & 0x00000000FFFFFFFF) | (RS2 << 32);
-- 
2.30.2