diff options
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/execute.h | 15 | ||||
| -rw-r--r-- | riscv/insns/mffh_d.h | 3 | ||||
| -rw-r--r-- | riscv/insns/mffl_d.h | 3 | ||||
| -rw-r--r-- | riscv/insns/mtflh_d.h | 3 |
4 files changed, 0 insertions, 24 deletions
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); |