diff options
| -rw-r--r-- | riscv/encoding.h | 6 | ||||
| -rw-r--r-- | riscv/insns/vmford_vf.h | 5 | ||||
| -rw-r--r-- | riscv/insns/vmford_vv.h | 5 | ||||
| -rw-r--r-- | riscv/riscv.mk.in | 2 | ||||
| -rw-r--r-- | spike_main/disasm.cc | 1 |
5 files changed, 0 insertions, 19 deletions
diff --git a/riscv/encoding.h b/riscv/encoding.h index a18a0c9..17ba2d3 100644 --- a/riscv/encoding.h +++ b/riscv/encoding.h @@ -882,8 +882,6 @@ #define MASK_VMFEQ_VF 0xfc00707f #define MATCH_VMFLE_VF 0x64005057 #define MASK_VMFLE_VF 0xfc00707f -#define MATCH_VMFORD_VF 0x68005057 -#define MASK_VMFORD_VF 0xfc00707f #define MATCH_VMFLT_VF 0x6c005057 #define MASK_VMFLT_VF 0xfc00707f #define MATCH_VMFNE_VF 0x70005057 @@ -962,8 +960,6 @@ #define MASK_VMFEQ_VV 0xfc00707f #define MATCH_VMFLE_VV 0x64001057 #define MASK_VMFLE_VV 0xfc00707f -#define MATCH_VMFORD_VV 0x68001057 -#define MASK_VMFORD_VV 0xfc00707f #define MATCH_VMFLT_VV 0x6c001057 #define MASK_VMFLT_VV 0xfc00707f #define MATCH_VMFNE_VV 0x70001057 @@ -2103,7 +2099,6 @@ DECLARE_INSN(vfmerge_vfm, MATCH_VFMERGE_VFM, MASK_VFMERGE_VFM) DECLARE_INSN(vfmv_v_f, MATCH_VFMV_V_F, MASK_VFMV_V_F) DECLARE_INSN(vmfeq_vf, MATCH_VMFEQ_VF, MASK_VMFEQ_VF) DECLARE_INSN(vmfle_vf, MATCH_VMFLE_VF, MASK_VMFLE_VF) -DECLARE_INSN(vmford_vf, MATCH_VMFORD_VF, MASK_VMFORD_VF) DECLARE_INSN(vmflt_vf, MATCH_VMFLT_VF, MASK_VMFLT_VF) DECLARE_INSN(vmfne_vf, MATCH_VMFNE_VF, MASK_VMFNE_VF) DECLARE_INSN(vmfgt_vf, MATCH_VMFGT_VF, MASK_VMFGT_VF) @@ -2143,7 +2138,6 @@ DECLARE_INSN(vfsgnjx_vv, MATCH_VFSGNJX_VV, MASK_VFSGNJX_VV) DECLARE_INSN(vfmv_f_s, MATCH_VFMV_F_S, MASK_VFMV_F_S) DECLARE_INSN(vmfeq_vv, MATCH_VMFEQ_VV, MASK_VMFEQ_VV) DECLARE_INSN(vmfle_vv, MATCH_VMFLE_VV, MASK_VMFLE_VV) -DECLARE_INSN(vmford_vv, MATCH_VMFORD_VV, MASK_VMFORD_VV) DECLARE_INSN(vmflt_vv, MATCH_VMFLT_VV, MASK_VMFLT_VV) DECLARE_INSN(vmfne_vv, MATCH_VMFNE_VV, MASK_VMFNE_VV) DECLARE_INSN(vfdiv_vv, MATCH_VFDIV_VV, MASK_VFDIV_VV) diff --git a/riscv/insns/vmford_vf.h b/riscv/insns/vmford_vf.h deleted file mode 100644 index b5e74f2..0000000 --- a/riscv/insns/vmford_vf.h +++ /dev/null @@ -1,5 +0,0 @@ -// vford.vf vd, vs2, rs1, vm -VI_VFP_LOOP_CMP -({ - res = !(f32_isSignalingNaN(vs2) || f32_isSignalingNaN(rs1)); -}) diff --git a/riscv/insns/vmford_vv.h b/riscv/insns/vmford_vv.h deleted file mode 100644 index 2e459c1..0000000 --- a/riscv/insns/vmford_vv.h +++ /dev/null @@ -1,5 +0,0 @@ -// vford.vv vd, vs2, vs1, vm -VI_VFP_LOOP_CMP -({ - res = !(f32_isSignalingNaN(vs2) || f32_isSignalingNaN(vs1)); -}) diff --git a/riscv/riscv.mk.in b/riscv/riscv.mk.in index af5bbdc..50775e1 100644 --- a/riscv/riscv.mk.in +++ b/riscv/riscv.mk.in @@ -590,8 +590,6 @@ riscv_insn_ext_v_alu_fp = \ vmflt_vv \ vmfne_vf \ vmfne_vv \ - vmford_vf \ - vmford_vv \ riscv_insn_ext_v_ldst = \ vlb_v \ diff --git a/spike_main/disasm.cc b/spike_main/disasm.cc index 8f778a8..7e7b4a9 100644 --- a/spike_main/disasm.cc +++ b/spike_main/disasm.cc @@ -1058,7 +1058,6 @@ disassembler_t::disassembler_t(int xlen) DISASM_INSN("vfmv.v.f", vfmv_v_f, 0, {&vd, &frs1}); DISASM_OPIV_VF_INSN(vmfeq); DISASM_OPIV_VF_INSN(vmfle); - DISASM_OPIV_VF_INSN(vmford); DISASM_OPIV_VF_INSN(vmflt); DISASM_OPIV_VF_INSN(vmfne); DISASM_OPIV__F_INSN(vmfgt); |