vslide1down needs float type APIs

[riscv-non-isa]

vslide1down needs float type APIs

[zakk0610]

I list some similar cases if we want to provide consistent interface for integer and floating type.
(note: in intrinsic user view is different data type)

1. Merge Instruction

// gpr
vmerge.vvm vd, vs2, vs1, v0  # vd[i] = v0[i].LSB ? vs1[i] : vs2[i]
vmerge.vxm vd, vs2, rs1, v0  # vd[i] = v0[i].LSB ? x[rs1] : vs2[i]
vmerge.vim vd, vs2, imm, v0  # vd[i] = v0[i].LSB ? imm    : vs2[i]

// fpr
vfmerge.vfm vd, vs2, rs1, v0  # vd[i] = v0[i].LSB ? f[rs1] : vs2[i]

we can also support vvm case of intrinsic function for floating vector type

2. Single-Width Fused Multiply-Add Instructions

floating type have below additional instructions comparing to integer fused-add instructions

# FP negate-(multiply-accumulate), overwrites subtrahend
vfnmacc.vv vd, vs1, vs2, vm   # vd[i] = -(vs1[i] * vs2[i]) - vd[i]
vfnmacc.vf vd, rs1, vs2, vm   # vd[i] = -(f[rs1] * vs2[i]) - vd[i]

# FP multiply-subtract-accumulator, overwrites subtrahend
vfmsac.vv vd, vs1, vs2, vm    # vd[i] = +(vs1[i] * vs2[i]) - vd[i]
vfmsac.vf vd, rs1, vs2, vm    # vd[i] = +(f[rs1] * vs2[i]) - vd[i]

# FP negate-(multiply-add), overwrites multiplicand
vfnmadd.vv vd, vs1, vs2, vm   # vd[i] = -(vs1[i] * vd[i]) - vs2[i]
vfnmadd.vf vd, rs1, vs2, vm   # vd[i] = -(f[rs1] * vd[i]) - vs2[i]

# FP multiply-sub, overwrites multiplicand
vfmsub.vv vd, vs1, vs2, vm    # vd[i] = +(vs1[i] * vd[i]) - vs2[i]
vfmsub.vf vd, rs1, vs2, vm    # vd[i] = +(f[rs1] * vd[i]) - vs2[i]

3. Divide Instructions
   vfrdiv.vf vd, vs2, rs1, vm # scalar-vector, vd[i] = f[rs1]/vs2[i]

Integer doesn't support scalar-vector divide instruction

4. Remainder Instructions (maybe this requirement is not make sense)
   Integer support Signed/Unsigned remainder, but floating does not have.

5. Widening Multiply-Add Instructions
   https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc#1213-vector-widening-integer-multiply-add-instructions
   https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc#147-vector-widening-floating-point-fused-multiply-add-instructions

Integer does not have widening negate-(multiply-accumulate) and negate-(multiply-subtract-accumulator)

6. Comparison Instructions
   https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc#127-vector-integer-comparison-instructions
   https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc#1411-vector-floating-point-compare-instructions

integer does not have Compare greater than or equal directly version

[zakk0610]

https://github.com/sifive/rvv-intrinsic-internal/issues/17

[zakk0610]

intrinsic function should support float type vslide1up/down api because spec had this instruction now.
riscv/riscv-v-spec@d0f1fab