diff options
Diffstat (limited to 'riscv/insns')
-rw-r--r-- | riscv/insns/vmford_vf.h | 5 | ||||
-rw-r--r-- | riscv/insns/vmford_vv.h | 5 |
2 files changed, 0 insertions, 10 deletions
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)); -}) |