diff --git a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp --- a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp +++ b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp @@ -487,7 +487,7 @@ ISD::VP_SHL, ISD::VP_REDUCE_ADD, ISD::VP_REDUCE_AND, ISD::VP_REDUCE_OR, ISD::VP_REDUCE_XOR, ISD::VP_REDUCE_SMAX, ISD::VP_REDUCE_SMIN, ISD::VP_REDUCE_UMAX, ISD::VP_REDUCE_UMIN, - ISD::VP_MERGE, ISD::VP_SELECT}; + ISD::VP_MERGE, ISD::VP_SELECT, ISD::VP_FPTOSI}; static const unsigned FloatingPointVPOps[] = { ISD::VP_FADD, ISD::VP_FSUB, ISD::VP_FMUL, @@ -3680,6 +3680,8 @@ return lowerVPOp(Op, DAG, RISCVISD::FNEG_VL); case ISD::VP_FMA: return lowerVPOp(Op, DAG, RISCVISD::FMA_VL); + case ISD::VP_FPTOSI: + return lowerVPOp(Op, DAG, RISCVISD::FP_TO_SINT_VL); } } diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoVVLPatterns.td b/llvm/lib/Target/RISCV/RISCVInstrInfoVVLPatterns.td --- a/llvm/lib/Target/RISCV/RISCVInstrInfoVVLPatterns.td +++ b/llvm/lib/Target/RISCV/RISCVInstrInfoVVLPatterns.td @@ -559,6 +559,12 @@ VLOpFrag)), (!cast(instruction_name#"_"#ivti.LMul.MX) fvti.RegClass:$rs1, GPR:$vl, ivti.Log2SEW)>; + def : Pat<(ivti.Vector (vop (fvti.Vector fvti.RegClass:$rs1), + (fvti.Mask V0), + VLOpFrag)), + (!cast(instruction_name#"_"#ivti.LMul.MX#"_MASK") + (ivti.Vector (IMPLICIT_DEF)), fvti.RegClass:$rs1, + (fvti.Mask V0), GPR:$vl, ivti.Log2SEW, TAIL_AGNOSTIC)>; } } diff --git a/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptosi-vp.ll b/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptosi-vp.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptosi-vp.ll @@ -0,0 +1,365 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -mtriple=riscv32 -mattr=+d,+zfh,+v -target-abi=ilp32d -riscv-v-vector-bits-min=128 \ +; RUN: -verify-machineinstrs < %s | FileCheck %s +; RUN: llc -mtriple=riscv64 -mattr=+d,+zfh,+v -target-abi=lp64d -riscv-v-vector-bits-min=128 \ +; RUN: -verify-machineinstrs < %s | FileCheck %s + +declare <1 x i16> @llvm.vp.fptosi.v1i16.v1f16(<1 x half>, <1 x i1>, i32) + +define <1 x i16> @vfptosi_v1f16(<1 x half> %va, <1 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v1f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <1 x i16> @llvm.vp.fptosi.v1i16.v1f16(<1 x half> %va, <1 x i1> %m, i32 %evl) + ret <1 x i16> %v +} + +define <1 x i16> @vfptosi_v1f16_unmasked(<1 x half> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v1f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <1 x i1> poison, i1 true, i16 0 + %m = shufflevector <1 x i1> %head, <1 x i1> poison, <1 x i32> zeroinitializer + %v = call <1 x i16> @llvm.vp.fptosi.v1i16.v1f16(<1 x half> %va, <1 x i1> %m, i32 %evl) + ret <1 x i16> %v +} + +declare <2 x i16> @llvm.vp.fptosi.v2i16.v2f16(<2 x half>, <2 x i1>, i32) + +define <2 x i16> @vfptosi_v2f16(<2 x half> %va, <2 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v2f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <2 x i16> @llvm.vp.fptosi.v2i16.v2f16(<2 x half> %va, <2 x i1> %m, i32 %evl) + ret <2 x i16> %v +} + +define <2 x i16> @vfptosi_v2f16_unmasked(<2 x half> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v2f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <2 x i1> poison, i1 true, i16 0 + %m = shufflevector <2 x i1> %head, <2 x i1> poison, <2 x i32> zeroinitializer + %v = call <2 x i16> @llvm.vp.fptosi.v2i16.v2f16(<2 x half> %va, <2 x i1> %m, i32 %evl) + ret <2 x i16> %v +} + +declare <4 x i16> @llvm.vp.fptosi.v4i16.v4f16(<4 x half>, <4 x i1>, i32) + +define <4 x i16> @vfptosi_v4f16(<4 x half> %va, <4 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v4f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <4 x i16> @llvm.vp.fptosi.v4i16.v4f16(<4 x half> %va, <4 x i1> %m, i32 %evl) + ret <4 x i16> %v +} + +define <4 x i16> @vfptosi_v4f16_unmasked(<4 x half> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v4f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <4 x i1> poison, i1 true, i16 0 + %m = shufflevector <4 x i1> %head, <4 x i1> poison, <4 x i32> zeroinitializer + %v = call <4 x i16> @llvm.vp.fptosi.v4i16.v4f16(<4 x half> %va, <4 x i1> %m, i32 %evl) + ret <4 x i16> %v +} + +declare <8 x i16> @llvm.vp.fptosi.v8i16.v8f16(<8 x half>, <8 x i1>, i32) + +define <8 x i16> @vfptosi_v8f16(<8 x half> %va, <8 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v8f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <8 x i16> @llvm.vp.fptosi.v8i16.v8f16(<8 x half> %va, <8 x i1> %m, i32 %evl) + ret <8 x i16> %v +} + +define <8 x i16> @vfptosi_v8f16_unmasked(<8 x half> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v8f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <8 x i1> poison, i1 true, i16 0 + %m = shufflevector <8 x i1> %head, <8 x i1> poison, <8 x i32> zeroinitializer + %v = call <8 x i16> @llvm.vp.fptosi.v8i16.v8f16(<8 x half> %va, <8 x i1> %m, i32 %evl) + ret <8 x i16> %v +} + +declare <16 x i16> @llvm.vp.fptosi.v16i16.v16f16(<16 x half>, <16 x i1>, i32) + +define <16 x i16> @vfptosi_v16f16(<16 x half> %va, <16 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v16f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <16 x i16> @llvm.vp.fptosi.v16i16.v16f16(<16 x half> %va, <16 x i1> %m, i32 %evl) + ret <16 x i16> %v +} + +define <16 x i16> @vfptosi_v16f16_unmasked(<16 x half> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v16f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <16 x i1> poison, i1 true, i16 0 + %m = shufflevector <16 x i1> %head, <16 x i1> poison, <16 x i32> zeroinitializer + %v = call <16 x i16> @llvm.vp.fptosi.v16i16.v16f16(<16 x half> %va, <16 x i1> %m, i32 %evl) + ret <16 x i16> %v +} + +declare <32 x i16> @llvm.vp.fptosi.v32i16.v32f16(<32 x half>, <32 x i1>, i32) + +define <32 x i16> @vfptosi_v32f16(<32 x half> %va, <32 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v32f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <32 x i16> @llvm.vp.fptosi.v32i16.v32f16(<32 x half> %va, <32 x i1> %m, i32 %evl) + ret <32 x i16> %v +} + +define <32 x i16> @vfptosi_v32f16_unmasked(<32 x half> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v32f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <32 x i1> poison, i1 true, i16 0 + %m = shufflevector <32 x i1> %head, <32 x i1> poison, <32 x i32> zeroinitializer + %v = call <32 x i16> @llvm.vp.fptosi.v32i16.v32f16(<32 x half> %va, <32 x i1> %m, i32 %evl) + ret <32 x i16> %v +} + +declare <1 x i32> @llvm.vp.fptosi.v1i32.v1f32(<1 x float>, <1 x i1>, i32) + +define <1 x i32> @vfptosi_v1f32(<1 x float> %va, <1 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v1f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <1 x i32> @llvm.vp.fptosi.v1i32.v1f32(<1 x float> %va, <1 x i1> %m, i32 %evl) + ret <1 x i32> %v +} + +define <1 x i32> @vfptosi_v1f32_unmasked(<1 x float> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v1f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <1 x i1> poison, i1 true, i32 0 + %m = shufflevector <1 x i1> %head, <1 x i1> poison, <1 x i32> zeroinitializer + %v = call <1 x i32> @llvm.vp.fptosi.v1i32.v1f32(<1 x float> %va, <1 x i1> %m, i32 %evl) + ret <1 x i32> %v +} + +declare <2 x i32> @llvm.vp.fptosi.v2i32.v2f32(<2 x float>, <2 x i1>, i32) + +define <2 x i32> @vfptosi_v2f32(<2 x float> %va, <2 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v2f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <2 x i32> @llvm.vp.fptosi.v2i32.v2f32(<2 x float> %va, <2 x i1> %m, i32 %evl) + ret <2 x i32> %v +} + +define <2 x i32> @vfptosi_v2f32_unmasked(<2 x float> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v2f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <2 x i1> poison, i1 true, i32 0 + %m = shufflevector <2 x i1> %head, <2 x i1> poison, <2 x i32> zeroinitializer + %v = call <2 x i32> @llvm.vp.fptosi.v2i32.v2f32(<2 x float> %va, <2 x i1> %m, i32 %evl) + ret <2 x i32> %v +} + +declare <4 x i32> @llvm.vp.fptosi.v4i32.v4f32(<4 x float>, <4 x i1>, i32) + +define <4 x i32> @vfptosi_v4f32(<4 x float> %va, <4 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v4f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <4 x i32> @llvm.vp.fptosi.v4i32.v4f32(<4 x float> %va, <4 x i1> %m, i32 %evl) + ret <4 x i32> %v +} + +define <4 x i32> @vfptosi_v4f32_unmasked(<4 x float> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v4f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <4 x i1> poison, i1 true, i32 0 + %m = shufflevector <4 x i1> %head, <4 x i1> poison, <4 x i32> zeroinitializer + %v = call <4 x i32> @llvm.vp.fptosi.v4i32.v4f32(<4 x float> %va, <4 x i1> %m, i32 %evl) + ret <4 x i32> %v +} + +declare <8 x i32> @llvm.vp.fptosi.v8i32.v8f32(<8 x float>, <8 x i1>, i32) + +define <8 x i32> @vfptosi_v8f32(<8 x float> %va, <8 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v8f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <8 x i32> @llvm.vp.fptosi.v8i32.v8f32(<8 x float> %va, <8 x i1> %m, i32 %evl) + ret <8 x i32> %v +} + +define <8 x i32> @vfptosi_v8f32_unmasked(<8 x float> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v8f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <8 x i1> poison, i1 true, i32 0 + %m = shufflevector <8 x i1> %head, <8 x i1> poison, <8 x i32> zeroinitializer + %v = call <8 x i32> @llvm.vp.fptosi.v8i32.v8f32(<8 x float> %va, <8 x i1> %m, i32 %evl) + ret <8 x i32> %v +} + +declare <16 x i32> @llvm.vp.fptosi.v16i32.v16f32(<16 x float>, <16 x i1>, i32) + +define <16 x i32> @vfptosi_v16f32(<16 x float> %va, <16 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v16f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <16 x i32> @llvm.vp.fptosi.v16i32.v16f32(<16 x float> %va, <16 x i1> %m, i32 %evl) + ret <16 x i32> %v +} + +define <16 x i32> @vfptosi_v16f32_unmasked(<16 x float> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v16f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <16 x i1> poison, i1 true, i32 0 + %m = shufflevector <16 x i1> %head, <16 x i1> poison, <16 x i32> zeroinitializer + %v = call <16 x i32> @llvm.vp.fptosi.v16i32.v16f32(<16 x float> %va, <16 x i1> %m, i32 %evl) + ret <16 x i32> %v +} + +declare <1 x i64> @llvm.vp.fptosi.v1i64.v1f64(<1 x double>, <1 x i1>, i32) + +define <1 x i64> @vfptosi_v1f64(<1 x double> %va, <1 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v1f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <1 x i64> @llvm.vp.fptosi.v1i64.v1f64(<1 x double> %va, <1 x i1> %m, i32 %evl) + ret <1 x i64> %v +} + +define <1 x i64> @vfptosi_v1f64_unmasked(<1 x double> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v1f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <1 x i1> poison, i1 true, i32 0 + %m = shufflevector <1 x i1> %head, <1 x i1> poison, <1 x i32> zeroinitializer + %v = call <1 x i64> @llvm.vp.fptosi.v1i64.v1f64(<1 x double> %va, <1 x i1> %m, i32 %evl) + ret <1 x i64> %v +} + +declare <2 x i64> @llvm.vp.fptosi.v2i64.v2f64(<2 x double>, <2 x i1>, i32) + +define <2 x i64> @vfptosi_v2f64(<2 x double> %va, <2 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v2f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <2 x i64> @llvm.vp.fptosi.v2i64.v2f64(<2 x double> %va, <2 x i1> %m, i32 %evl) + ret <2 x i64> %v +} + +define <2 x i64> @vfptosi_v2f64_unmasked(<2 x double> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v2f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <2 x i1> poison, i1 true, i32 0 + %m = shufflevector <2 x i1> %head, <2 x i1> poison, <2 x i32> zeroinitializer + %v = call <2 x i64> @llvm.vp.fptosi.v2i64.v2f64(<2 x double> %va, <2 x i1> %m, i32 %evl) + ret <2 x i64> %v +} + +declare <4 x i64> @llvm.vp.fptosi.v4i64.v4f64(<4 x double>, <4 x i1>, i32) + +define <4 x i64> @vfptosi_v4f64(<4 x double> %va, <4 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v4f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <4 x i64> @llvm.vp.fptosi.v4i64.v4f64(<4 x double> %va, <4 x i1> %m, i32 %evl) + ret <4 x i64> %v +} + +define <4 x i64> @vfptosi_v4f64_unmasked(<4 x double> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v4f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <4 x i1> poison, i1 true, i32 0 + %m = shufflevector <4 x i1> %head, <4 x i1> poison, <4 x i32> zeroinitializer + %v = call <4 x i64> @llvm.vp.fptosi.v4i64.v4f64(<4 x double> %va, <4 x i1> %m, i32 %evl) + ret <4 x i64> %v +} + +declare <8 x i64> @llvm.vp.fptosi.v8i64.v8f64(<8 x double>, <8 x i1>, i32) + +define <8 x i64> @vfptosi_v8f64(<8 x double> %va, <8 x i1> %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v8f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call <8 x i64> @llvm.vp.fptosi.v8i64.v8f64(<8 x double> %va, <8 x i1> %m, i32 %evl) + ret <8 x i64> %v +} + +define <8 x i64> @vfptosi_v8f64_unmasked(<8 x double> %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_v8f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement <8 x i1> poison, i1 true, i32 0 + %m = shufflevector <8 x i1> %head, <8 x i1> poison, <8 x i32> zeroinitializer + %v = call <8 x i64> @llvm.vp.fptosi.v8i64.v8f64(<8 x double> %va, <8 x i1> %m, i32 %evl) + ret <8 x i64> %v +} diff --git a/llvm/test/CodeGen/RISCV/rvv/vfptosi-vp.ll b/llvm/test/CodeGen/RISCV/rvv/vfptosi-vp.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/RISCV/rvv/vfptosi-vp.ll @@ -0,0 +1,365 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -mtriple=riscv32 -mattr=+d,+zfh,+v -target-abi=ilp32d \ +; RUN: -verify-machineinstrs < %s | FileCheck %s +; RUN: llc -mtriple=riscv64 -mattr=+d,+zfh,+v -target-abi=lp64d \ +; RUN: -verify-machineinstrs < %s | FileCheck %s + +declare @llvm.vp.fptosi.nxv1i16.nxv1f16(, , i32) + +define @vfptosi_nxv1f16( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv1f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv1i16.nxv1f16( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv1f16_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv1f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i16 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv1i16.nxv1f16( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv2i16.nxv2f16(, , i32) + +define @vfptosi_nxv2f16( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv2f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv2i16.nxv2f16( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv2f16_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv2f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i16 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv2i16.nxv2f16( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv4i16.nxv4f16(, , i32) + +define @vfptosi_nxv4f16( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv4f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv4i16.nxv4f16( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv4f16_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv4f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i16 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv4i16.nxv4f16( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv8i16.nxv8f16(, , i32) + +define @vfptosi_nxv8f16( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv8f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv8i16.nxv8f16( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv8f16_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv8f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i16 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv8i16.nxv8f16( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv16i16.nxv16f16(, , i32) + +define @vfptosi_nxv16f16( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv16f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv16i16.nxv16f16( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv16f16_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv16f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i16 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv16i16.nxv16f16( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv32i16.nxv32f16(, , i32) + +define @vfptosi_nxv32f16( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv32f16: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m8, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv32i16.nxv32f16( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv32f16_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv32f16_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e16, m8, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i16 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv32i16.nxv32f16( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv1i32.nxv1f32(, , i32) + +define @vfptosi_nxv1f32( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv1f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv1i32.nxv1f32( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv1f32_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv1f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv1i32.nxv1f32( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv2i32.nxv2f32(, , i32) + +define @vfptosi_nxv2f32( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv2f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv2i32.nxv2f32( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv2f32_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv2f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv2i32.nxv2f32( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv4i32.nxv4f32(, , i32) + +define @vfptosi_nxv4f32( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv4f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv4i32.nxv4f32( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv4f32_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv4f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv4i32.nxv4f32( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv8i32.nxv8f32(, , i32) + +define @vfptosi_nxv8f32( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv8f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv8i32.nxv8f32( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv8f32_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv8f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv8i32.nxv8f32( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv16i32.nxv16f32(, , i32) + +define @vfptosi_nxv16f32( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv16f32: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m8, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv16i32.nxv16f32( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv16f32_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv16f32_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e32, m8, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv16i32.nxv16f32( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv1i64.nxv1f64(, , i32) + +define @vfptosi_nxv1f64( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv1f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv1i64.nxv1f64( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv1f64_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv1f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m1, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv1i64.nxv1f64( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv2i64.nxv2f64(, , i32) + +define @vfptosi_nxv2f64( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv2f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv2i64.nxv2f64( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv2f64_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv2f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m2, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv2i64.nxv2f64( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv4i64.nxv4f64(, , i32) + +define @vfptosi_nxv4f64( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv4f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv4i64.nxv4f64( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv4f64_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv4f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m4, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv4i64.nxv4f64( %va, %m, i32 %evl) + ret %v +} + +declare @llvm.vp.fptosi.nxv8i64.nxv8f64(, , i32) + +define @vfptosi_nxv8f64( %va, %m, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv8f64: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m8, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8, v0.t +; CHECK-NEXT: ret + %v = call @llvm.vp.fptosi.nxv8i64.nxv8f64( %va, %m, i32 %evl) + ret %v +} + +define @vfptosi_nxv8f64_unmasked( %va, i32 zeroext %evl) { +; CHECK-LABEL: vfptosi_nxv8f64_unmasked: +; CHECK: # %bb.0: +; CHECK-NEXT: vsetvli zero, a0, e64, m8, ta, mu +; CHECK-NEXT: vfcvt.rtz.x.f.v v8, v8 +; CHECK-NEXT: ret + %head = insertelement poison, i1 true, i32 0 + %m = shufflevector %head, poison, zeroinitializer + %v = call @llvm.vp.fptosi.nxv8i64.nxv8f64( %va, %m, i32 %evl) + ret %v +}