48#define LV_NAME "loop-vectorize"
49#define DEBUG_TYPE LV_NAME
55 case VPInstructionSC: {
58 if (VPI->getOpcode() == Instruction::Load)
60 return VPI->opcodeMayReadOrWriteFromMemory();
62 case VPInterleaveEVLSC:
65 case VPWidenStoreEVLSC:
73 ->getCalledScalarFunction()
75 case VPWidenIntrinsicSC:
77 case VPActiveLaneMaskPHISC:
78 case VPCurrentIterationPHISC:
79 case VPBranchOnMaskSC:
81 case VPFirstOrderRecurrencePHISC:
82 case VPReductionPHISC:
83 case VPScalarIVStepsSC:
87 case VPReductionEVLSC:
89 case VPVectorPointerSC:
90 case VPWidenCanonicalIVSC:
93 case VPWidenIntOrFpInductionSC:
94 case VPWidenLoadEVLSC:
97 case VPWidenPointerInductionSC:
102 assert((!
I || !
I->mayWriteToMemory()) &&
103 "underlying instruction may write to memory");
115 case VPInstructionSC:
117 case VPWidenLoadEVLSC:
122 ->mayReadFromMemory();
125 ->getCalledScalarFunction()
126 ->onlyWritesMemory();
127 case VPWidenIntrinsicSC:
129 case VPBranchOnMaskSC:
131 case VPCurrentIterationPHISC:
132 case VPFirstOrderRecurrencePHISC:
133 case VPReductionPHISC:
134 case VPPredInstPHISC:
135 case VPScalarIVStepsSC:
136 case VPWidenStoreEVLSC:
140 case VPReductionEVLSC:
142 case VPVectorPointerSC:
143 case VPWidenCanonicalIVSC:
146 case VPWidenIntOrFpInductionSC:
148 case VPWidenPointerInductionSC:
153 assert((!
I || !
I->mayReadFromMemory()) &&
154 "underlying instruction may read from memory");
167 case VPActiveLaneMaskPHISC:
169 case VPCurrentIterationPHISC:
170 case VPFirstOrderRecurrencePHISC:
171 case VPReductionPHISC:
172 case VPPredInstPHISC:
173 case VPVectorEndPointerSC:
175 case VPInstructionSC: {
182 case VPWidenCallSC: {
186 case VPWidenIntrinsicSC:
189 case VPReductionEVLSC:
191 case VPScalarIVStepsSC:
192 case VPVectorPointerSC:
193 case VPWidenCanonicalIVSC:
196 case VPWidenIntOrFpInductionSC:
198 case VPWidenPointerInductionSC:
203 assert((!
I || !
I->mayHaveSideEffects()) &&
204 "underlying instruction has side-effects");
207 case VPInterleaveEVLSC:
210 case VPWidenLoadEVLSC:
212 case VPWidenStoreEVLSC:
217 "mayHaveSideffects result for ingredient differs from this "
220 case VPReplicateSC: {
222 return R->getUnderlyingInstr()->mayHaveSideEffects();
233 case VPInstructionSC: {
241 case Instruction::Add:
242 case Instruction::Sub:
243 case Instruction::Mul:
244 case Instruction::GetElementPtr:
252 assert(!Parent &&
"Recipe already in some VPBasicBlock");
254 "Insertion position not in any VPBasicBlock");
260 assert(!Parent &&
"Recipe already in some VPBasicBlock");
266 assert(!Parent &&
"Recipe already in some VPBasicBlock");
268 "Insertion position not in any VPBasicBlock");
303 UI = IG->getInsertPos();
305 UI = &WidenMem->getIngredient();
308 if (UI && Ctx.skipCostComputation(UI, VF.
isVector())) {
322 dbgs() <<
"Cost of " << RecipeCost <<
" for VF " << VF <<
": ";
344 assert(OpType == Other.OpType &&
"OpType must match");
346 case OperationType::OverflowingBinOp:
347 WrapFlags.HasNUW &= Other.WrapFlags.HasNUW;
348 WrapFlags.HasNSW &= Other.WrapFlags.HasNSW;
350 case OperationType::Trunc:
354 case OperationType::DisjointOp:
357 case OperationType::PossiblyExactOp:
358 ExactFlags.IsExact &= Other.ExactFlags.IsExact;
360 case OperationType::GEPOp:
363 case OperationType::FPMathOp:
364 case OperationType::FCmp:
365 assert((OpType != OperationType::FCmp ||
366 FCmpFlags.CmpPredStorage == Other.FCmpFlags.CmpPredStorage) &&
367 "Cannot drop CmpPredicate");
368 getFMFsRef().NoNaNs &= Other.getFMFsRef().NoNaNs;
369 getFMFsRef().NoInfs &= Other.getFMFsRef().NoInfs;
371 case OperationType::NonNegOp:
374 case OperationType::Cmp:
376 "Cannot drop CmpPredicate");
378 case OperationType::ReductionOp:
380 "Cannot change RecurKind");
382 "Cannot change IsOrdered");
384 "Cannot change IsInLoop");
385 getFMFsRef().NoNaNs &= Other.getFMFsRef().NoNaNs;
386 getFMFsRef().NoInfs &= Other.getFMFsRef().NoInfs;
388 case OperationType::Other:
394 assert((OpType == OperationType::FPMathOp || OpType == OperationType::FCmp ||
395 OpType == OperationType::ReductionOp ||
396 OpType == OperationType::Other) &&
397 "recipe doesn't have fast math flags");
398 if (OpType == OperationType::Other)
400 const FastMathFlagsTy &
F = getFMFsRef();
412#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
428template <
unsigned PartOpIdx>
431 if (U.getNumOperands() == PartOpIdx + 1)
432 return U.getOperand(PartOpIdx);
436template <
unsigned PartOpIdx>
455 "Set flags not supported for the provided opcode");
457 "Opcode requires specific flags to be set");
461 "number of operands does not match opcode");
475 "expected function operand");
496 case Instruction::Alloca:
497 case Instruction::ExtractValue:
498 case Instruction::Freeze:
499 case Instruction::Load:
513 case Instruction::ICmp:
514 case Instruction::FCmp:
515 case Instruction::ExtractElement:
516 case Instruction::Store:
527 case Instruction::InsertElement:
528 case Instruction::Select:
532 case Instruction::Call:
534 case Instruction::GetElementPtr:
535 case Instruction::PHI:
536 case Instruction::Switch:
556bool VPInstruction::canGenerateScalarForFirstLane()
const {
562 case Instruction::Freeze:
563 case Instruction::ICmp:
564 case Instruction::PHI:
565 case Instruction::Select:
583 return Instruction::Add;
585 return Instruction::FAdd;
590 IRBuilderBase &Builder = State.
Builder;
609 case Instruction::ExtractElement: {
612 return State.
get(
getOperand(0), VPLane(Idx->getZExtValue()));
617 case Instruction::InsertElement: {
624 case Instruction::Freeze: {
628 case Instruction::FCmp:
629 case Instruction::ICmp: {
635 case Instruction::PHI: {
638 case Instruction::Select: {
664 {VIVElem0, ScalarTC},
nullptr, Name);
680 if (!V1->getType()->isVectorTy())
700 "Requested vector length should be an integer.");
706 Builder.
getInt32Ty(), Intrinsic::experimental_get_vector_length,
707 {AVL, VFArg, Builder.getTrue()});
716 VPBasicBlock *SecondVPSucc =
738 for (
unsigned FieldIndex = 0; FieldIndex != StructTy->getNumElements();
762 IRBuilderBase::FastMathFlagGuard FMFG(Builder);
777 "FindIV should use min/max reduction kinds");
782 for (
unsigned Part = 0; Part < NumOperandsToReduce; ++Part)
785 IRBuilderBase::FastMathFlagGuard FMFG(Builder);
789 Value *ReducedPartRdx = RdxParts[0];
791 ReducedPartRdx = RdxParts[NumOperandsToReduce - 1];
794 for (
unsigned Part = 1; Part < NumOperandsToReduce; ++Part) {
795 Value *RdxPart = RdxParts[Part];
797 ReducedPartRdx =
createMinMaxOp(Builder, RK, ReducedPartRdx, RdxPart);
806 Builder.
CreateBinOp(Opcode, RdxPart, ReducedPartRdx,
"bin.rdx");
820 return ReducedPartRdx;
829 "invalid offset to extract from");
834 assert(
Offset <= 1 &&
"invalid offset to extract from");
853 "can only generate first lane for PtrAdd");
872 "simplified to ExtractElement.");
875 Value *Res =
nullptr;
880 Builder.
CreateMul(RuntimeVF, ConstantInt::get(IdxTy, Idx - 1));
881 Value *VectorIdx = Idx == 1
883 : Builder.
CreateSub(LaneToExtract, VectorStart);
909 Value *Res =
nullptr;
910 for (
int Idx = LastOpIdx; Idx >= 0; --Idx) {
911 Value *TrailingZeros =
921 Builder.
CreateMul(RuntimeVF, ConstantInt::get(Ty, Idx)),
948 Intrinsic::experimental_vector_extract_last_active, {VTy},
961 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
964 case Instruction::FNeg:
965 return Ctx.TTI.getArithmeticInstrCost(Opcode, ResultTy, Ctx.CostKind);
966 case Instruction::UDiv:
967 case Instruction::SDiv:
968 case Instruction::SRem:
969 case Instruction::URem:
970 case Instruction::Add:
971 case Instruction::FAdd:
972 case Instruction::Sub:
973 case Instruction::FSub:
974 case Instruction::Mul:
975 case Instruction::FMul:
976 case Instruction::FDiv:
977 case Instruction::FRem:
978 case Instruction::Shl:
979 case Instruction::LShr:
980 case Instruction::AShr:
981 case Instruction::And:
982 case Instruction::Or:
983 case Instruction::Xor: {
997 return Ctx.TTI.getArithmeticInstrCost(
998 Opcode, ResultTy, Ctx.CostKind,
999 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
1000 RHSInfo, Operands, CtxI, &Ctx.TLI);
1002 case Instruction::Freeze:
1009 case Instruction::ExtractValue:
1010 return Ctx.TTI.getInsertExtractValueCost(Instruction::ExtractValue,
1012 case Instruction::ICmp:
1013 case Instruction::FCmp: {
1017 return Ctx.TTI.getCmpSelInstrCost(
1019 Ctx.CostKind, {TTI::OK_AnyValue, TTI::OP_None},
1020 {TTI::OK_AnyValue, TTI::OP_None}, CtxI);
1022 case Instruction::BitCast: {
1023 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
1028 case Instruction::SExt:
1029 case Instruction::ZExt:
1030 case Instruction::FPToUI:
1031 case Instruction::FPToSI:
1032 case Instruction::FPExt:
1033 case Instruction::PtrToInt:
1034 case Instruction::PtrToAddr:
1035 case Instruction::IntToPtr:
1036 case Instruction::SIToFP:
1037 case Instruction::UIToFP:
1038 case Instruction::Trunc:
1039 case Instruction::FPTrunc:
1040 case Instruction::AddrSpaceCast: {
1055 if (WidenMemoryRecipe ==
nullptr)
1059 if (!WidenMemoryRecipe->isConsecutive())
1061 if (WidenMemoryRecipe->isMasked())
1068 bool IsReverse =
false;
1070 if (Opcode == Instruction::Trunc || Opcode == Instruction::FPTrunc) {
1072 if (R->getNumUsers() == 0 || R->hasMoreThanOneUniqueUser())
1085 CCH = ComputeCCH(Recipe);
1089 else if (Opcode == Instruction::ZExt || Opcode == Instruction::SExt ||
1090 Opcode == Instruction::FPExt) {
1101 CCH = ComputeCCH(Recipe);
1107 auto *ScalarSrcTy = Ctx.Types.inferScalarType(Operand);
1110 return Ctx.TTI.getCastInstrCost(
1111 Opcode, ResultTy, SrcTy, CCH, Ctx.CostKind,
1114 case Instruction::Select: {
1117 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
1133 (IsLogicalAnd || IsLogicalOr)) {
1136 const auto [Op1VK, Op1VP] = Ctx.getOperandInfo(Op0);
1137 const auto [Op2VK, Op2VP] = Ctx.getOperandInfo(Op1);
1141 [](
VPValue *
Op) {
return Op->getUnderlyingValue(); }))
1143 return Ctx.TTI.getArithmeticInstrCost(
1144 IsLogicalOr ? Instruction::Or : Instruction::And, ResultTy,
1145 Ctx.CostKind, {Op1VK, Op1VP}, {Op2VK, Op2VP}, Operands,
SI);
1149 if (!IsScalarCond && VF.
isVector())
1156 Pred = Cmp->getPredicate();
1158 return Ctx.TTI.getCmpSelInstrCost(
1159 Instruction::Select, VectorTy, CondTy, Pred, Ctx.CostKind,
1160 {TTI::OK_AnyValue, TTI::OP_None}, {TTI::OK_AnyValue, TTI::OP_None},
SI);
1176 "Should only generate a vector value or single scalar, not scalars "
1184 case Instruction::Select: {
1187 auto *CondTy = Ctx.Types.inferScalarType(
getOperand(0));
1188 auto *VecTy = Ctx.Types.inferScalarType(
getOperand(1));
1193 return Ctx.TTI.getCmpSelInstrCost(Instruction::Select, VecTy, CondTy, Pred,
1196 case Instruction::ExtractElement:
1206 return Ctx.TTI.getVectorInstrCost(Instruction::ExtractElement, VecTy,
1210 auto *VecTy =
toVectorTy(Ctx.Types.inferScalarType(
this), VF);
1211 return Ctx.TTI.getArithmeticReductionCost(
1215 Type *Ty = Ctx.Types.inferScalarType(
this);
1218 return Ctx.TTI.getCmpSelInstrCost(Instruction::ICmp, ScalarTy,
1225 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1228 Type *Ty = Ctx.Types.inferScalarType(
this);
1231 return Ctx.TTI.getCmpSelInstrCost(Instruction::ICmp, ScalarTy,
1240 Cost += Ctx.TTI.getArithmeticInstrCost(
1241 Instruction::Xor, PredTy, Ctx.CostKind,
1242 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
1243 {TargetTransformInfo::OK_UniformConstantValue,
1244 TargetTransformInfo::OP_None});
1246 Cost += Ctx.TTI.getArithmeticInstrCost(Instruction::Sub, Ty, Ctx.CostKind);
1250 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
1254 Intrinsic::experimental_vector_extract_last_active, ScalarTy,
1255 {VecTy, MaskTy, ScalarTy});
1256 return Ctx.TTI.getIntrinsicInstrCost(ICA, Ctx.CostKind);
1260 Type *VectorTy =
toVectorTy(Ctx.Types.inferScalarType(
this), VF);
1261 return Ctx.TTI.getShuffleCost(
1271 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1278 I32Ty, {Arg0Ty, I32Ty, I1Ty});
1279 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1282 assert(VF.
isVector() &&
"Reverse operation must be vector type");
1283 Type *EltTy = Ctx.Types.inferScalarType(
this);
1291 VectorTy, {}, Ctx.CostKind,
1297 return Ctx.TTI.getIndexedVectorInstrCostFromEnd(Instruction::ExtractElement,
1298 VecTy, Ctx.CostKind, 0);
1300 case Instruction::FCmp:
1301 case Instruction::ICmp: {
1308 if (IsScalar &&
Region &&
1322 "unexpected VPInstruction witht underlying value");
1330 getOpcode() == Instruction::ExtractElement ||
1341 case Instruction::Load:
1342 case Instruction::PHI:
1356 "Set flags not supported for the provided opcode");
1358 "Opcode requires specific flags to be set");
1361 Value *GeneratedValue = generate(State);
1364 assert(GeneratedValue &&
"generate must produce a value");
1365 bool GeneratesPerFirstLaneOnly = canGenerateScalarForFirstLane() &&
1370 !GeneratesPerFirstLaneOnly) ||
1371 State.VF.isScalar()) &&
1372 "scalar value but not only first lane defined");
1373 State.set(
this, GeneratedValue,
1374 GeneratesPerFirstLaneOnly);
1388 case Instruction::ExtractValue:
1389 case Instruction::InsertValue:
1390 case Instruction::GetElementPtr:
1391 case Instruction::ExtractElement:
1392 case Instruction::InsertElement:
1393 case Instruction::Freeze:
1394 case Instruction::FCmp:
1395 case Instruction::ICmp:
1396 case Instruction::Select:
1397 case Instruction::PHI:
1431 case Instruction::Call:
1446 case Instruction::ExtractElement:
1448 case Instruction::InsertElement:
1450 case Instruction::PHI:
1452 case Instruction::FCmp:
1453 case Instruction::ICmp:
1454 case Instruction::Select:
1455 case Instruction::Or:
1456 case Instruction::Freeze:
1460 case Instruction::Load:
1497 case Instruction::FCmp:
1498 case Instruction::ICmp:
1499 case Instruction::Select:
1510#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1518 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1530 O <<
"active lane mask";
1533 O <<
"EXPLICIT-VECTOR-LENGTH";
1536 O <<
"first-order splice";
1539 O <<
"branch-on-cond";
1542 O <<
"branch-on-two-conds";
1545 O <<
"TC > VF ? TC - VF : 0";
1551 O <<
"branch-on-count";
1557 O <<
"buildstructvector";
1563 O <<
"exiting-iv-value";
1569 O <<
"extract-lane";
1572 O <<
"extract-last-lane";
1575 O <<
"extract-last-part";
1578 O <<
"extract-penultimate-element";
1581 O <<
"compute-reduction-result";
1599 O <<
"first-active-lane";
1602 O <<
"last-active-lane";
1605 O <<
"reduction-start-vector";
1608 O <<
"resume-for-epilogue";
1617 O <<
"extract-last-active";
1633 State.set(
this, Cast,
VPLane(0));
1644 Value *
VScale = State.Builder.CreateVScale(ResultTy);
1645 State.set(
this,
VScale,
true);
1654#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1657 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1663 O <<
"wide-iv-step ";
1667 O <<
"step-vector " << *ResultTy;
1670 O <<
"vscale " << *ResultTy;
1672 case Instruction::Load:
1680 O <<
" to " << *ResultTy;
1686 PHINode *NewPhi = State.Builder.CreatePHI(
1687 State.TypeAnalysis.inferScalarType(
this), 2,
getName());
1692 if (NumIncoming == 2 &&
1696 for (
unsigned Idx = 0; Idx != NumIncoming; ++Idx) {
1701 State.set(
this, NewPhi,
VPLane(0));
1704#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1707 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1723 "PHINodes must be handled by VPIRPhi");
1726 State.Builder.SetInsertPoint(I.getParent(), std::next(I.getIterator()));
1736#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1739 O << Indent <<
"IR " << I;
1751 auto *PredVPBB = Pred->getExitingBasicBlock();
1752 BasicBlock *PredBB = State.CFG.VPBB2IRBB[PredVPBB];
1759 if (Phi->getBasicBlockIndex(PredBB) == -1)
1760 Phi->addIncoming(V, PredBB);
1762 Phi->setIncomingValueForBlock(PredBB, V);
1767 State.Builder.SetInsertPoint(Phi->getParent(), std::next(Phi->getIterator()));
1772 assert(R->getNumOperands() == R->getParent()->getNumPredecessors() &&
1773 "Number of phi operands must match number of predecessors");
1774 unsigned Position = R->getParent()->getIndexForPredecessor(IncomingBlock);
1775 R->removeOperand(Position);
1787 R->setOperand(R->getParent()->getIndexForPredecessor(VPBB), V);
1790#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1804#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1810 O <<
" (extra operand" << (
getNumOperands() > 1 ?
"s" :
"") <<
": ";
1815 std::get<1>(
Op)->printAsOperand(O);
1823 for (
const auto &[Kind,
Node] : Metadata)
1824 I.setMetadata(Kind,
Node);
1829 for (
const auto &[KindA, MDA] : Metadata) {
1830 for (
const auto &[KindB, MDB] :
Other.Metadata) {
1831 if (KindA == KindB && MDA == MDB) {
1837 Metadata = std::move(MetadataIntersection);
1840#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1843 if (Metadata.empty() || !M)
1849 auto [Kind,
Node] = KindNodePair;
1851 "Unexpected unnamed metadata kind");
1852 O <<
"!" << MDNames[Kind] <<
" ";
1860 assert(State.VF.isVector() &&
"not widening");
1861 assert(Variant !=
nullptr &&
"Can't create vector function.");
1872 Arg = State.get(
I.value(),
VPLane(0));
1875 Args.push_back(Arg);
1881 CI->getOperandBundlesAsDefs(OpBundles);
1883 CallInst *V = State.Builder.CreateCall(Variant, Args, OpBundles);
1886 V->setCallingConv(Variant->getCallingConv());
1888 if (!V->getType()->isVoidTy())
1895 "Variant return type must match VF");
1901 return Ctx.TTI.getCallInstrCost(
nullptr, Variant->getReturnType(),
1902 Variant->getFunctionType()->params(),
1908 assert(Variant &&
"Variant not set");
1911 auto [Idx, V] = Arg;
1918#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1921 O << Indent <<
"WIDEN-CALL ";
1933 O <<
" @" << CalledFn->
getName() <<
"(";
1939 O <<
" (using library function";
1940 if (Variant->hasName())
1941 O <<
": " << Variant->getName();
1947 assert(State.VF.isVector() &&
"not widening");
1955 for (
auto [Idx, Ty] :
enumerate(ContainedTys)) {
1968 Arg = State.get(
I.value(),
VPLane(0));
1974 Args.push_back(Arg);
1978 Module *M = State.Builder.GetInsertBlock()->getModule();
1982 "Can't retrieve vector intrinsic or vector-predication intrinsics.");
1987 CI->getOperandBundlesAsDefs(OpBundles);
1989 CallInst *V = State.Builder.CreateCall(VectorF, Args, OpBundles);
1994 if (!V->getType()->isVoidTy())
2001 Type *ScalarRetTy = Ctx.Types.inferScalarType(&R);
2005 if (
ID == Intrinsic::experimental_vp_reverse && ScalarRetTy->
isIntegerTy(1))
2014 for (
const auto &[Idx,
Op] :
enumerate(Operands)) {
2015 auto *V =
Op->getUnderlyingValue();
2018 Arguments.push_back(UI->getArgOperand(Idx));
2035 ID, RetTy,
Arguments, ParamTys, R.getFastMathFlags(),
2038 return Ctx.TTI.getIntrinsicInstrCost(CostAttrs, Ctx.CostKind);
2060#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2063 O << Indent <<
"WIDEN-INTRINSIC ";
2064 if (ResultTy->isVoidTy()) {
2092 Value *Mask =
nullptr;
2094 Mask = State.get(VPMask);
2097 Builder.CreateVectorSplat(VTy->
getElementCount(), Builder.getInt1(1));
2101 if (Opcode == Instruction::Sub)
2102 IncAmt = Builder.CreateNeg(IncAmt);
2104 assert(Opcode == Instruction::Add &&
"only add or sub supported for now");
2106 State.Builder.CreateIntrinsic(Intrinsic::experimental_vector_histogram_add,
2121 Type *IncTy = Ctx.Types.inferScalarType(IncAmt);
2127 Ctx.TTI.getArithmeticInstrCost(Instruction::Mul, VTy, Ctx.CostKind);
2136 {PtrTy, IncTy, MaskTy});
2139 return Ctx.TTI.getIntrinsicInstrCost(ICA, Ctx.CostKind) + MulCost +
2140 Ctx.TTI.getArithmeticInstrCost(Opcode, VTy, Ctx.CostKind);
2143#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2146 O << Indent <<
"WIDEN-HISTOGRAM buckets: ";
2149 if (Opcode == Instruction::Sub)
2152 assert(Opcode == Instruction::Add);
2164VPIRFlags::FastMathFlagsTy::FastMathFlagsTy(
const FastMathFlags &FMF) {
2176 case Instruction::Add:
2177 case Instruction::Sub:
2178 case Instruction::Mul:
2179 case Instruction::Shl:
2182 case Instruction::Trunc:
2184 case Instruction::Or:
2186 case Instruction::AShr:
2187 case Instruction::LShr:
2188 case Instruction::UDiv:
2189 case Instruction::SDiv:
2190 return ExactFlagsTy(
false);
2191 case Instruction::GetElementPtr:
2195 case Instruction::ZExt:
2196 case Instruction::UIToFP:
2198 case Instruction::FAdd:
2199 case Instruction::FSub:
2200 case Instruction::FMul:
2201 case Instruction::FDiv:
2202 case Instruction::FRem:
2203 case Instruction::FNeg:
2204 case Instruction::FPExt:
2205 case Instruction::FPTrunc:
2207 case Instruction::ICmp:
2208 case Instruction::FCmp:
2219 case OperationType::OverflowingBinOp:
2220 return Opcode == Instruction::Add || Opcode == Instruction::Sub ||
2221 Opcode == Instruction::Mul || Opcode == Instruction::Shl ||
2222 Opcode == VPInstruction::VPInstruction::CanonicalIVIncrementForPart;
2223 case OperationType::Trunc:
2224 return Opcode == Instruction::Trunc;
2225 case OperationType::DisjointOp:
2226 return Opcode == Instruction::Or;
2227 case OperationType::PossiblyExactOp:
2228 return Opcode == Instruction::AShr || Opcode == Instruction::LShr ||
2229 Opcode == Instruction::UDiv || Opcode == Instruction::SDiv;
2230 case OperationType::GEPOp:
2231 return Opcode == Instruction::GetElementPtr ||
2234 case OperationType::FPMathOp:
2235 return Opcode == Instruction::Call || Opcode == Instruction::FAdd ||
2236 Opcode == Instruction::FMul || Opcode == Instruction::FSub ||
2237 Opcode == Instruction::FNeg || Opcode == Instruction::FDiv ||
2238 Opcode == Instruction::FRem || Opcode == Instruction::FPExt ||
2239 Opcode == Instruction::FPTrunc || Opcode == Instruction::PHI ||
2240 Opcode == Instruction::Select ||
2243 case OperationType::FCmp:
2244 return Opcode == Instruction::FCmp;
2245 case OperationType::NonNegOp:
2246 return Opcode == Instruction::ZExt || Opcode == Instruction::UIToFP;
2247 case OperationType::Cmp:
2248 return Opcode == Instruction::FCmp || Opcode == Instruction::ICmp;
2249 case OperationType::ReductionOp:
2251 case OperationType::Other:
2259 if (Opcode == Instruction::ICmp)
2260 return OpType == OperationType::Cmp;
2261 if (Opcode == Instruction::FCmp)
2262 return OpType == OperationType::FCmp;
2264 return OpType == OperationType::ReductionOp;
2271#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2274 case OperationType::Cmp:
2277 case OperationType::FCmp:
2281 case OperationType::DisjointOp:
2285 case OperationType::PossiblyExactOp:
2289 case OperationType::OverflowingBinOp:
2295 case OperationType::Trunc:
2301 case OperationType::FPMathOp:
2304 case OperationType::GEPOp: {
2306 if (Flags.isInBounds())
2308 else if (Flags.hasNoUnsignedSignedWrap())
2310 if (Flags.hasNoUnsignedWrap())
2314 case OperationType::NonNegOp:
2318 case OperationType::ReductionOp: {
2370 case OperationType::Other:
2378 auto &Builder = State.Builder;
2380 case Instruction::Call:
2381 case Instruction::UncondBr:
2382 case Instruction::CondBr:
2383 case Instruction::PHI:
2384 case Instruction::GetElementPtr:
2386 case Instruction::UDiv:
2387 case Instruction::SDiv:
2388 case Instruction::SRem:
2389 case Instruction::URem:
2390 case Instruction::Add:
2391 case Instruction::FAdd:
2392 case Instruction::Sub:
2393 case Instruction::FSub:
2394 case Instruction::FNeg:
2395 case Instruction::Mul:
2396 case Instruction::FMul:
2397 case Instruction::FDiv:
2398 case Instruction::FRem:
2399 case Instruction::Shl:
2400 case Instruction::LShr:
2401 case Instruction::AShr:
2402 case Instruction::And:
2403 case Instruction::Or:
2404 case Instruction::Xor: {
2408 Ops.push_back(State.get(VPOp));
2410 Value *V = Builder.CreateNAryOp(Opcode,
Ops);
2421 case Instruction::ExtractValue: {
2424 Value *Extract = Builder.CreateExtractValue(
2426 State.set(
this, Extract);
2429 case Instruction::Freeze: {
2431 Value *Freeze = Builder.CreateFreeze(
Op);
2432 State.set(
this, Freeze);
2435 case Instruction::ICmp:
2436 case Instruction::FCmp: {
2438 bool FCmp = Opcode == Instruction::FCmp;
2454 case Instruction::Select: {
2459 Value *Sel = State.Builder.CreateSelect(
Cond, Op0, Op1);
2460 State.set(
this, Sel);
2479 State.get(
this)->getType() &&
2480 "inferred type and type from generated instructions do not match");
2487 case Instruction::UDiv:
2488 case Instruction::SDiv:
2489 case Instruction::SRem:
2490 case Instruction::URem:
2495 case Instruction::FNeg:
2496 case Instruction::Add:
2497 case Instruction::FAdd:
2498 case Instruction::Sub:
2499 case Instruction::FSub:
2500 case Instruction::Mul:
2501 case Instruction::FMul:
2502 case Instruction::FDiv:
2503 case Instruction::FRem:
2504 case Instruction::Shl:
2505 case Instruction::LShr:
2506 case Instruction::AShr:
2507 case Instruction::And:
2508 case Instruction::Or:
2509 case Instruction::Xor:
2510 case Instruction::Freeze:
2511 case Instruction::ExtractValue:
2512 case Instruction::ICmp:
2513 case Instruction::FCmp:
2514 case Instruction::Select:
2521#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2524 O << Indent <<
"WIDEN ";
2533 auto &Builder = State.Builder;
2535 assert(State.VF.isVector() &&
"Not vectorizing?");
2540 State.set(
this, Cast);
2552#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2555 O << Indent <<
"WIDEN-CAST ";
2566 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
2569#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2574 O <<
" = WIDEN-INDUCTION";
2579 O <<
" (truncated to " << *TI->getType() <<
")";
2592#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2597 O <<
" = DERIVED-IV ";
2620 assert(BaseIVTy == Step->
getType() &&
"Types of BaseIV and Step must match!");
2627 AddOp = Instruction::Add;
2628 MulOp = Instruction::Mul;
2630 AddOp = InductionOpcode;
2631 MulOp = Instruction::FMul;
2638 unsigned EndLane = FirstLaneOnly ? 1 : State.VF.getKnownMinValue();
2642 for (
unsigned Lane = 0; Lane < EndLane; ++Lane) {
2647 ? ConstantInt::get(BaseIVTy, Lane,
false,
2649 : ConstantFP::get(BaseIVTy, Lane);
2650 Value *StartIdx = Builder.CreateBinOp(AddOp, StartIdx0, LaneValue);
2652 "Expected StartIdx to be folded to a constant when VF is not "
2654 auto *
Mul = Builder.CreateBinOp(MulOp, StartIdx, Step);
2655 auto *
Add = Builder.CreateBinOp(AddOp, BaseIV,
Mul);
2660#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2665 O <<
" = SCALAR-STEPS ";
2676 assert(State.VF.isVector() &&
"not widening");
2684 return Op->isDefinedOutsideLoopRegions();
2686 if (AllOperandsAreInvariant) {
2701 Value *
Splat = State.Builder.CreateVectorSplat(State.VF, NewGEP);
2702 State.set(
this,
Splat);
2710 auto *Ptr = State.get(
getOperand(0), isPointerLoopInvariant());
2717 Indices.
push_back(State.get(Operand, isIndexLoopInvariant(
I - 1)));
2724 assert((State.VF.isScalar() || NewGEP->getType()->isVectorTy()) &&
2725 "NewGEP is not a pointer vector");
2726 State.set(
this, NewGEP);
2729#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2732 O << Indent <<
"WIDEN-GEP ";
2733 O << (isPointerLoopInvariant() ?
"Inv" :
"Var");
2735 O <<
"[" << (isIndexLoopInvariant(
I) ?
"Inv" :
"Var") <<
"]";
2739 O <<
" = getelementptr";
2756 VPValue *VF = Builder.createScalarZExtOrTrunc(VFVal, IndexTy, VFTy,
2764 Builder.createOverflowingOp(Instruction::Mul, {VFMinusOne, Stride});
2771 Builder.createOverflowingOp(Instruction::Mul, {PartxStride, VF}));
2776 auto &Builder = State.Builder;
2782 State.set(
this, ResultPtr,
true);
2785#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2790 O <<
" = vector-end-pointer";
2797 auto &Builder = State.Builder;
2799 "Expected prior simplification of recipe without offset");
2804 State.set(
this, ResultPtr,
true);
2807#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2812 O <<
" = vector-pointer";
2825 Type *ResultTy =
toVectorTy(Ctx.Types.inferScalarType(
this), VF);
2828 Ctx.TTI.getCmpSelInstrCost(Instruction::Select, ResultTy, CmpTy,
2832#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2835 O << Indent <<
"BLEND ";
2860 "In-loop AnyOf reductions aren't currently supported");
2866 Value *NewCond = State.get(
Cond, State.VF.isScalar());
2871 if (State.VF.isVector())
2872 Start = State.Builder.CreateVectorSplat(VecTy->
getElementCount(), Start);
2874 Value *
Select = State.Builder.CreateSelect(NewCond, NewVecOp, Start);
2881 if (State.VF.isVector())
2885 NewRed = State.Builder.CreateBinOp(
2887 PrevInChain, NewVecOp);
2888 PrevInChain = NewRed;
2889 NextInChain = NewRed;
2892 "Unexpected partial reduction kind");
2894 NewRed = State.Builder.CreateIntrinsic(
2897 : Intrinsic::vector_partial_reduce_fadd,
2898 {PrevInChain, NewVecOp}, State.Builder.getFastMathFlags(),
2900 PrevInChain = NewRed;
2901 NextInChain = NewRed;
2904 "The reduction must either be ordered, partial or in-loop");
2908 NextInChain =
createMinMaxOp(State.Builder, Kind, NewRed, PrevInChain);
2910 NextInChain = State.Builder.CreateBinOp(
2912 PrevInChain, NewRed);
2919 auto &Builder = State.Builder;
2931 Mask = State.get(CondOp);
2933 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
2943 NewRed = Builder.CreateBinOp(
2947 State.set(
this, NewRed,
true);
2953 Type *ElementTy = Ctx.Types.inferScalarType(
this);
2957 std::optional<FastMathFlags> OptionalFMF =
2966 CondCost = Ctx.TTI.getCmpSelInstrCost(Instruction::Select, VectorTy,
2967 CondTy, Pred, Ctx.CostKind);
2969 return CondCost + Ctx.TTI.getPartialReductionCost(
2970 Opcode, ElementTy, ElementTy, ElementTy, VF,
2979 "Any-of reduction not implemented in VPlan-based cost model currently.");
2985 return Ctx.TTI.getMinMaxReductionCost(Id, VectorTy,
FMFs, Ctx.CostKind);
2990 return Ctx.TTI.getArithmeticReductionCost(Opcode, VectorTy, OptionalFMF,
2994VPExpressionRecipe::VPExpressionRecipe(
2995 ExpressionTypes ExpressionType,
2998 ExpressionRecipes(ExpressionRecipes),
ExpressionType(ExpressionType) {
2999 assert(!ExpressionRecipes.empty() &&
"Nothing to combine?");
3003 "expression cannot contain recipes with side-effects");
3007 for (
auto *R : ExpressionRecipes)
3008 ExpressionRecipesAsSetOfUsers.
insert(R);
3014 if (R != ExpressionRecipes.back() &&
3015 any_of(
R->users(), [&ExpressionRecipesAsSetOfUsers](
VPUser *U) {
3016 return !ExpressionRecipesAsSetOfUsers.contains(U);
3021 R->replaceUsesWithIf(CopyForExtUsers, [&ExpressionRecipesAsSetOfUsers](
3023 return !ExpressionRecipesAsSetOfUsers.contains(&U);
3028 R->removeFromParent();
3035 for (
auto *R : ExpressionRecipes) {
3036 for (
const auto &[Idx,
Op] :
enumerate(
R->operands())) {
3037 auto *
Def =
Op->getDefiningRecipe();
3038 if (Def && ExpressionRecipesAsSetOfUsers.contains(Def))
3047 for (
auto *R : ExpressionRecipes)
3048 for (
auto const &[LiveIn, Tmp] :
zip(operands(), LiveInPlaceholders))
3049 R->replaceUsesOfWith(LiveIn, Tmp);
3053 for (
auto *R : ExpressionRecipes)
3056 if (!R->getParent())
3057 R->insertBefore(
this);
3060 LiveInPlaceholders[Idx]->replaceAllUsesWith(
Op);
3063 ExpressionRecipes.clear();
3068 Type *RedTy = Ctx.Types.inferScalarType(
this);
3073 switch (ExpressionType) {
3074 case ExpressionTypes::ExtendedReduction: {
3080 if (RedR->isPartialReduction())
3081 return Ctx.TTI.getPartialReductionCost(
3082 Opcode, Ctx.Types.inferScalarType(
getOperand(0)),
nullptr, RedTy, VF,
3089 return Ctx.TTI.getExtendedReductionCost(
3090 Opcode, ExtR->getOpcode() == Instruction::ZExt, RedTy, SrcVecTy,
3091 std::nullopt, Ctx.CostKind);
3095 case ExpressionTypes::MulAccReduction:
3096 return Ctx.TTI.getMulAccReductionCost(
false, Opcode, RedTy, SrcVecTy,
3099 case ExpressionTypes::ExtNegatedMulAccReduction:
3100 assert(Opcode == Instruction::Add &&
"Unexpected opcode");
3101 Opcode = Instruction::Sub;
3103 case ExpressionTypes::ExtMulAccReduction: {
3105 if (RedR->isPartialReduction()) {
3109 return Ctx.TTI.getPartialReductionCost(
3110 Opcode, Ctx.Types.inferScalarType(
getOperand(0)),
3111 Ctx.Types.inferScalarType(
getOperand(1)), RedTy, VF,
3113 Ext0R->getOpcode()),
3115 Ext1R->getOpcode()),
3116 Mul->getOpcode(), Ctx.CostKind,
3120 return Ctx.TTI.getMulAccReductionCost(
3123 Opcode, RedTy, SrcVecTy, Ctx.CostKind);
3131 return R->mayReadFromMemory() || R->mayWriteToMemory();
3139 "expression cannot contain recipes with side-effects");
3147 return RR && !RR->isPartialReduction();
3150#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3154 O << Indent <<
"EXPRESSION ";
3160 switch (ExpressionType) {
3161 case ExpressionTypes::ExtendedReduction: {
3163 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3170 << *Ext0->getResultType();
3171 if (Red->isConditional()) {
3178 case ExpressionTypes::ExtNegatedMulAccReduction: {
3180 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3190 << *Ext0->getResultType() <<
"), (";
3194 << *Ext1->getResultType() <<
")";
3195 if (Red->isConditional()) {
3202 case ExpressionTypes::MulAccReduction:
3203 case ExpressionTypes::ExtMulAccReduction: {
3205 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3210 bool IsExtended = ExpressionType == ExpressionTypes::ExtMulAccReduction;
3212 : ExpressionRecipes[0]);
3220 << *Ext0->getResultType() <<
"), (";
3228 << *Ext1->getResultType() <<
")";
3230 if (Red->isConditional()) {
3243 O << Indent <<
"PARTIAL-REDUCE ";
3245 O << Indent <<
"REDUCE ";
3265 O << Indent <<
"REDUCE ";
3289 "VPReplicateRecipes must be unrolled before ::execute");
3292 if (!Instr->getType()->isVoidTy()) {
3293 Cloned->
setName(Instr->getName() +
".cloned");
3294 Type *ResultTy = State.TypeAnalysis.inferScalarType(
this);
3298 if (ResultTy != Cloned->
getType())
3314 State.Builder.Insert(Cloned);
3316 State.set(
this, Cloned,
true);
3320 State.AC->registerAssumption(
II);
3341 const SCEV *PtrSCEV,
3344 if (!ParentRegion || !ParentRegion->
isReplicator() || !PtrSCEV ||
3345 !Ctx.PSE.getSE()->isLoopInvariant(PtrSCEV, Ctx.L))
3357 Ctx.SkipCostComputation.insert(UI);
3363 case Instruction::Alloca:
3366 return Ctx.TTI.getArithmeticInstrCost(
3367 Instruction::Mul, Ctx.Types.inferScalarType(
this), Ctx.CostKind);
3368 case Instruction::GetElementPtr:
3374 case Instruction::Call: {
3377 Type *ResultTy = Ctx.Types.inferScalarType(
this);
3382 case Instruction::Add:
3383 case Instruction::Sub:
3384 case Instruction::FAdd:
3385 case Instruction::FSub:
3386 case Instruction::Mul:
3387 case Instruction::FMul:
3388 case Instruction::FDiv:
3389 case Instruction::FRem:
3390 case Instruction::Shl:
3391 case Instruction::LShr:
3392 case Instruction::AShr:
3393 case Instruction::And:
3394 case Instruction::Or:
3395 case Instruction::Xor:
3396 case Instruction::ICmp:
3397 case Instruction::FCmp:
3401 case Instruction::SDiv:
3402 case Instruction::UDiv:
3403 case Instruction::SRem:
3404 case Instruction::URem: {
3417 return Ctx.skipCostComputation(
3419 PredR->getOperand(0)->getUnderlyingValue()),
3425 Ctx.getScalarizationOverhead(Ctx.Types.inferScalarType(
this),
3434 Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
3438 ScalarCost /= Ctx.getPredBlockCostDivisor(UI->
getParent());
3441 case Instruction::Load:
3442 case Instruction::Store: {
3443 bool IsLoad = UI->
getOpcode() == Instruction::Load;
3449 Type *ValTy = Ctx.Types.inferScalarType(IsLoad ?
this :
getOperand(0));
3450 Type *ScalarPtrTy = Ctx.Types.inferScalarType(PtrOp);
3454 bool PreferVectorizedAddressing = Ctx.TTI.prefersVectorizedAddressing();
3455 bool UsedByLoadStoreAddress =
3458 UI->
getOpcode(), ValTy, Alignment, AS, Ctx.CostKind, OpInfo,
3459 UsedByLoadStoreAddress ? UI :
nullptr);
3466 Ctx.TTI.getAddressComputationCost(ScalarPtrTy,
nullptr,
3467 nullptr, Ctx.CostKind);
3470 return UniformCost +
3472 VectorTy, VectorTy, {}, Ctx.CostKind);
3477 UniformCost += Ctx.TTI.getIndexedVectorInstrCostFromEnd(
3478 Instruction::ExtractElement, VectorTy, Ctx.CostKind, 0);
3485 Ctx.TTI.getAddressComputationCost(
3486 PtrTy, UsedByLoadStoreAddress ?
nullptr : Ctx.PSE.getSE(), PtrSCEV,
3497 if (!UsedByLoadStoreAddress) {
3498 bool EfficientVectorLoadStore =
3499 Ctx.TTI.supportsEfficientVectorElementLoadStore();
3500 if (!(IsLoad && !PreferVectorizedAddressing) &&
3501 !(!IsLoad && EfficientVectorLoadStore))
3504 if (!EfficientVectorLoadStore)
3505 ResultTy = Ctx.Types.inferScalarType(
this);
3512 Ctx.getScalarizationOverhead(ResultTy, OpsToScalarize, VF, VIC,
true);
3518 Cost /= Ctx.getPredBlockCostDivisor(UI->getParent());
3519 Cost += Ctx.TTI.getCFInstrCost(Instruction::CondBr, Ctx.CostKind);
3523 Cost += Ctx.TTI.getScalarizationOverhead(
3525 false,
true, Ctx.CostKind);
3527 if (Ctx.useEmulatedMaskMemRefHack(
this, VF)) {
3535 case Instruction::SExt:
3536 case Instruction::ZExt:
3537 case Instruction::FPToUI:
3538 case Instruction::FPToSI:
3539 case Instruction::FPExt:
3540 case Instruction::PtrToInt:
3541 case Instruction::PtrToAddr:
3542 case Instruction::IntToPtr:
3543 case Instruction::SIToFP:
3544 case Instruction::UIToFP:
3545 case Instruction::Trunc:
3546 case Instruction::FPTrunc:
3547 case Instruction::Select:
3548 case Instruction::AddrSpaceCast: {
3553 case Instruction::ExtractValue:
3554 case Instruction::InsertValue:
3555 return Ctx.TTI.getInsertExtractValueCost(
getOpcode(), Ctx.CostKind);
3558 return Ctx.getLegacyCost(UI, VF);
3565 ArgOps, [&](
const VPValue *
Op) {
return Ctx.Types.inferScalarType(
Op); });
3568 auto GetIntrinsicCost = [&] {
3571 return Ctx.TTI.getIntrinsicInstrCost(
3576 assert(GetIntrinsicCost() == 0 &&
"scalarizing intrinsic should be free");
3581 Ctx.TTI.getCallInstrCost(CalledFn, ResultTy, Tys, Ctx.CostKind);
3582 if (IsSingleScalar) {
3583 ScalarCallCost = std::min(ScalarCallCost, GetIntrinsicCost());
3584 return ScalarCallCost;
3592 Ctx.getScalarizationOverhead(ResultTy, ArgOps, VF);
3595#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3598 O << Indent << (IsSingleScalar ?
"CLONE " :
"REPLICATE ");
3607 O <<
"@" << CB->getCalledFunction()->getName() <<
"(";
3631 llvm_unreachable(
"recipe must be removed when dissolving replicate region");
3643 llvm_unreachable(
"recipe must be removed when dissolving replicate region");
3646#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3649 O << Indent <<
"PHI-PREDICATED-INSTRUCTION ";
3661 ->getAddressSpace();
3664 : Instruction::Store;
3670 [[maybe_unused]]
auto IsReverseMask = [
this, R]() {
3680 assert(!IsReverseMask() &&
3681 "Inconsecutive memory access should not have reverse order");
3693 : Intrinsic::vp_scatter;
3694 return Ctx.TTI.getAddressComputationCost(PtrTy,
nullptr,
nullptr,
3696 Ctx.TTI.getMemIntrinsicInstrCost(
3705 : Intrinsic::masked_store;
3706 Cost += Ctx.TTI.getMemIntrinsicInstrCost(
3711 : R->getOperand(1));
3712 Cost += Ctx.TTI.getMemoryOpCost(Opcode, Ty,
Alignment, AS, Ctx.CostKind,
3723 auto &Builder = State.Builder;
3724 Value *Mask =
nullptr;
3726 Mask = State.get(VPMask);
3731 NewLI = Builder.CreateMaskedGather(DataTy, Addr,
Alignment, Mask,
nullptr,
3732 "wide.masked.gather");
3735 Builder.CreateMaskedLoad(DataTy, Addr,
Alignment, Mask,
3738 NewLI = Builder.CreateAlignedLoad(DataTy, Addr,
Alignment,
"wide.load");
3741 State.set(
this, NewLI);
3744#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3747 O << Indent <<
"WIDEN ";
3759 auto &Builder = State.Builder;
3763 Value *Mask =
nullptr;
3765 Mask = State.get(VPMask);
3767 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
3771 Builder.CreateIntrinsic(DataTy, Intrinsic::vp_gather, {Addr, Mask, EVL},
3772 nullptr,
"wide.masked.gather");
3774 NewLI = Builder.CreateIntrinsic(DataTy, Intrinsic::vp_load,
3775 {Addr, Mask, EVL},
nullptr,
"vp.op.load");
3781 State.set(
this, Res);
3796 ->getAddressSpace();
3797 return Ctx.TTI.getMemIntrinsicInstrCost(
3802#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3805 O << Indent <<
"WIDEN ";
3816 auto &Builder = State.Builder;
3818 Value *Mask =
nullptr;
3820 Mask = State.get(VPMask);
3822 Value *StoredVal = State.get(StoredVPValue);
3826 NewSI = Builder.CreateMaskedScatter(StoredVal, Addr,
Alignment, Mask);
3828 NewSI = Builder.CreateMaskedStore(StoredVal, Addr,
Alignment, Mask);
3830 NewSI = Builder.CreateAlignedStore(StoredVal, Addr,
Alignment);
3834#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3837 O << Indent <<
"WIDEN store ";
3846 auto &Builder = State.Builder;
3849 Value *StoredVal = State.get(StoredValue);
3851 Value *Mask =
nullptr;
3853 Mask = State.get(VPMask);
3855 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
3858 if (CreateScatter) {
3860 Intrinsic::vp_scatter,
3861 {StoredVal, Addr, Mask, EVL});
3864 Intrinsic::vp_store,
3865 {StoredVal, Addr, Mask, EVL});
3884 ->getAddressSpace();
3885 return Ctx.TTI.getMemIntrinsicInstrCost(
3890#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3893 O << Indent <<
"WIDEN vp.store ";
3901 auto VF = DstVTy->getElementCount();
3903 assert(VF == SrcVecTy->getElementCount() &&
"Vector dimensions do not match");
3904 Type *SrcElemTy = SrcVecTy->getElementType();
3905 Type *DstElemTy = DstVTy->getElementType();
3906 assert((
DL.getTypeSizeInBits(SrcElemTy) ==
DL.getTypeSizeInBits(DstElemTy)) &&
3907 "Vector elements must have same size");
3911 return Builder.CreateBitOrPointerCast(V, DstVTy);
3918 "Only one type should be a pointer type");
3920 "Only one type should be a floating point type");
3924 Value *CastVal = Builder.CreateBitOrPointerCast(V, VecIntTy);
3925 return Builder.CreateBitOrPointerCast(CastVal, DstVTy);
3931 const Twine &Name) {
3932 unsigned Factor = Vals.
size();
3933 assert(Factor > 1 &&
"Tried to interleave invalid number of vectors");
3937 for (
Value *Val : Vals)
3938 assert(Val->getType() == VecTy &&
"Tried to interleave mismatched types");
3943 if (VecTy->isScalableTy()) {
3944 assert(Factor <= 8 &&
"Unsupported interleave factor for scalable vectors");
3945 return Builder.CreateVectorInterleave(Vals, Name);
3952 const unsigned NumElts = VecTy->getElementCount().getFixedValue();
3953 return Builder.CreateShuffleVector(
3987 "Masking gaps for scalable vectors is not yet supported.");
3993 unsigned InterleaveFactor = Group->
getFactor();
4000 auto CreateGroupMask = [&BlockInMask, &State,
4001 &InterleaveFactor](
Value *MaskForGaps) ->
Value * {
4002 if (State.VF.isScalable()) {
4003 assert(!MaskForGaps &&
"Interleaved groups with gaps are not supported.");
4004 assert(InterleaveFactor <= 8 &&
4005 "Unsupported deinterleave factor for scalable vectors");
4006 auto *ResBlockInMask = State.get(BlockInMask);
4014 Value *ResBlockInMask = State.get(BlockInMask);
4015 Value *ShuffledMask = State.Builder.CreateShuffleVector(
4018 "interleaved.mask");
4019 return MaskForGaps ? State.Builder.CreateBinOp(Instruction::And,
4020 ShuffledMask, MaskForGaps)
4024 const DataLayout &DL = Instr->getDataLayout();
4027 Value *MaskForGaps =
nullptr;
4031 assert(MaskForGaps &&
"Mask for Gaps is required but it is null");
4035 if (BlockInMask || MaskForGaps) {
4036 Value *GroupMask = CreateGroupMask(MaskForGaps);
4038 NewLoad = State.Builder.CreateMaskedLoad(VecTy, ResAddr,
4040 PoisonVec,
"wide.masked.vec");
4042 NewLoad = State.Builder.CreateAlignedLoad(VecTy, ResAddr,
4049 if (VecTy->isScalableTy()) {
4052 assert(InterleaveFactor <= 8 &&
4053 "Unsupported deinterleave factor for scalable vectors");
4054 NewLoad = State.Builder.CreateIntrinsic(
4057 nullptr,
"strided.vec");
4060 auto CreateStridedVector = [&InterleaveFactor, &State,
4061 &NewLoad](
unsigned Index) ->
Value * {
4062 assert(Index < InterleaveFactor &&
"Illegal group index");
4063 if (State.VF.isScalable())
4064 return State.Builder.CreateExtractValue(NewLoad, Index);
4070 return State.Builder.CreateShuffleVector(NewLoad, StrideMask,
4074 for (
unsigned I = 0, J = 0;
I < InterleaveFactor; ++
I) {
4081 Value *StridedVec = CreateStridedVector(
I);
4084 if (Member->getType() != ScalarTy) {
4091 StridedVec = State.Builder.CreateVectorReverse(StridedVec,
"reverse");
4093 State.set(VPDefs[J], StridedVec);
4103 Value *MaskForGaps =
4106 "Mismatch between NeedsMaskForGaps and MaskForGaps");
4110 unsigned StoredIdx = 0;
4111 for (
unsigned i = 0; i < InterleaveFactor; i++) {
4113 "Fail to get a member from an interleaved store group");
4123 Value *StoredVec = State.get(StoredValues[StoredIdx]);
4127 StoredVec = State.Builder.CreateVectorReverse(StoredVec,
"reverse");
4131 if (StoredVec->
getType() != SubVT)
4140 if (BlockInMask || MaskForGaps) {
4141 Value *GroupMask = CreateGroupMask(MaskForGaps);
4142 NewStoreInstr = State.Builder.CreateMaskedStore(
4143 IVec, ResAddr, Group->
getAlign(), GroupMask);
4146 State.Builder.CreateAlignedStore(IVec, ResAddr, Group->
getAlign());
4153#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4157 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
" at ";
4158 IG->getInsertPos()->printAsOperand(O,
false);
4168 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
4169 if (!IG->getMember(i))
4172 O <<
"\n" << Indent <<
" store ";
4174 O <<
" to index " << i;
4176 O <<
"\n" << Indent <<
" ";
4178 O <<
" = load from index " << i;
4186 assert(State.VF.isScalable() &&
4187 "Only support scalable VF for EVL tail-folding.");
4189 "Masking gaps for scalable vectors is not yet supported.");
4195 unsigned InterleaveFactor = Group->
getFactor();
4196 assert(InterleaveFactor <= 8 &&
4197 "Unsupported deinterleave/interleave factor for scalable vectors");
4204 Value *InterleaveEVL = State.Builder.CreateMul(
4205 EVL, ConstantInt::get(EVL->
getType(), InterleaveFactor),
"interleave.evl",
4209 Value *GroupMask =
nullptr;
4215 State.Builder.CreateVectorSplat(WideVF, State.Builder.getTrue());
4220 CallInst *NewLoad = State.Builder.CreateIntrinsic(
4221 VecTy, Intrinsic::vp_load, {ResAddr, GroupMask, InterleaveEVL},
nullptr,
4232 NewLoad = State.Builder.CreateIntrinsic(
4235 nullptr,
"strided.vec");
4237 const DataLayout &DL = Instr->getDataLayout();
4238 for (
unsigned I = 0, J = 0;
I < InterleaveFactor; ++
I) {
4244 Value *StridedVec = State.Builder.CreateExtractValue(NewLoad,
I);
4246 if (Member->getType() != ScalarTy) {
4264 const DataLayout &DL = Instr->getDataLayout();
4265 for (
unsigned I = 0, StoredIdx = 0;
I < InterleaveFactor;
I++) {
4273 Value *StoredVec = State.get(StoredValues[StoredIdx]);
4275 if (StoredVec->
getType() != SubVT)
4285 State.Builder.CreateIntrinsic(
Type::getVoidTy(Ctx), Intrinsic::vp_store,
4286 {IVec, ResAddr, GroupMask, InterleaveEVL});
4295#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4299 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
" at ";
4300 IG->getInsertPos()->printAsOperand(O,
false);
4311 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
4312 if (!IG->getMember(i))
4315 O <<
"\n" << Indent <<
" vp.store ";
4317 O <<
" to index " << i;
4319 O <<
"\n" << Indent <<
" ";
4321 O <<
" = vp.load from index " << i;
4332 unsigned InsertPosIdx = 0;
4333 for (
unsigned Idx = 0; IG->getFactor(); ++Idx)
4334 if (
auto *Member = IG->getMember(Idx)) {
4335 if (Member == InsertPos)
4339 Type *ValTy = Ctx.Types.inferScalarType(
4344 ->getAddressSpace();
4346 unsigned InterleaveFactor = IG->getFactor();
4351 for (
unsigned IF = 0; IF < InterleaveFactor; IF++)
4352 if (IG->getMember(IF))
4357 InsertPos->
getOpcode(), WideVecTy, IG->getFactor(), Indices,
4358 IG->getAlign(), AS, Ctx.CostKind,
getMask(), NeedsMaskForGaps);
4360 if (!IG->isReverse())
4363 return Cost + IG->getNumMembers() *
4365 VectorTy, VectorTy, {}, Ctx.CostKind,
4374#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4378 "unexpected number of operands");
4379 O << Indent <<
"EMIT ";
4381 O <<
" = WIDEN-POINTER-INDUCTION ";
4397 O << Indent <<
"EMIT ";
4399 O <<
" = EXPAND SCEV " << *Expr;
4406 IRBuilder<> Builder(State.CFG.PrevBB->getTerminator());
4410 : Builder.CreateVectorSplat(VF, CanonicalIV,
"broadcast");
4411 Value *VStep = Builder.CreateElementCount(
4414 VStep = Builder.CreateVectorSplat(VF, VStep);
4416 Builder.CreateAdd(VStep, Builder.CreateStepVector(VStep->
getType()));
4418 Value *CanonicalVectorIV = Builder.CreateAdd(VStart, VStep,
"vec.iv");
4419 State.set(
this, CanonicalVectorIV);
4422#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4425 O << Indent <<
"EMIT ";
4427 O <<
" = WIDEN-CANONICAL-INDUCTION ";
4433 auto &Builder = State.Builder;
4437 Type *VecTy = State.VF.isScalar()
4438 ? VectorInit->getType()
4442 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
4443 if (State.VF.isVector()) {
4445 auto *One = ConstantInt::get(IdxTy, 1);
4448 auto *RuntimeVF =
getRuntimeVF(Builder, IdxTy, State.VF);
4449 auto *LastIdx = Builder.CreateSub(RuntimeVF, One);
4450 VectorInit = Builder.CreateInsertElement(
4456 Phi->insertBefore(State.CFG.PrevBB->getFirstInsertionPt());
4457 Phi->addIncoming(VectorInit, VectorPH);
4458 State.set(
this, Phi);
4465 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
4470#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4473 O << Indent <<
"FIRST-ORDER-RECURRENCE-PHI ";
4490 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
4491 bool ScalarPHI = State.VF.isScalar() ||
isInLoop();
4492 Value *StartV = State.get(StartVPV, ScalarPHI);
4496 assert(State.CurrentParentLoop->getHeader() == HeaderBB &&
4497 "recipe must be in the vector loop header");
4502 Phi->addIncoming(StartV, VectorPH);
4505#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4508 O << Indent <<
"WIDEN-REDUCTION-PHI ";
4527 Instruction *VecPhi = State.Builder.CreatePHI(VecTy, 2, Name);
4528 State.set(
this, VecPhi);
4533 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
4536#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4539 O << Indent <<
"WIDEN-PHI ";
4549 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
4552 State.Builder.CreatePHI(StartMask->
getType(), 2,
"active.lane.mask");
4553 Phi->addIncoming(StartMask, VectorPH);
4554 State.set(
this, Phi);
4557#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4560 O << Indent <<
"ACTIVE-LANE-MASK-PHI ";
4568#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4571 O << Indent <<
"CURRENT-ITERATION-PHI ";
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static MCDisassembler::DecodeStatus addOperand(MCInst &Inst, const MCOperand &Opnd)
AMDGPU Lower Kernel Arguments
AMDGPU Register Bank Select
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static const Function * getParent(const Value *V)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
Value * getPointer(Value *Ptr)
static std::pair< Value *, APInt > getMask(Value *WideMask, unsigned Factor, ElementCount LeafValueEC)
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
This file provides a LoopVectorizationPlanner class.
static const SCEV * getAddressAccessSCEV(Value *Ptr, PredicatedScalarEvolution &PSE, const Loop *TheLoop)
Gets the address access SCEV for Ptr, if it should be used for cost modeling according to isAddressSC...
static const Function * getCalledFunction(const Value *V)
static bool isOrdered(const Instruction *I)
MachineInstr unsigned OpIdx
uint64_t IntrinsicInst * II
const SmallVectorImpl< MachineOperand > & Cond
This file defines the SmallVector class.
static SymbolRef::Type getType(const Symbol *Sym)
This file contains the declarations of different VPlan-related auxiliary helpers.
static bool isPredicatedUniformMemOpAfterTailFolding(const VPReplicateRecipe &R, const SCEV *PtrSCEV, VPCostContext &Ctx)
Return true if R is a predicated load/store with a loop-invariant address only masked by the header m...
static Value * interleaveVectors(IRBuilderBase &Builder, ArrayRef< Value * > Vals, const Twine &Name)
Return a vector containing interleaved elements from multiple smaller input vectors.
static Value * createBitOrPointerCast(IRBuilderBase &Builder, Value *V, VectorType *DstVTy, const DataLayout &DL)
static Instruction::BinaryOps getSubRecurOpcode(RecurKind Kind)
SmallVector< Value *, 2 > VectorParts
static unsigned getCalledFnOperandIndex(const VPInstruction &VPI)
For call VPInstructions, return the operand index of the called function.
This file contains the declarations of the Vectorization Plan base classes:
void printAsOperand(OutputBuffer &OB, Prec P=Prec::Default, bool StrictlyWorse=false) const
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
bool empty() const
Check if the array is empty.
static LLVM_ABI Attribute getWithAlignment(LLVMContext &Context, Align Alignment)
Return a uniquified Attribute object that has the specific alignment set.
LLVM Basic Block Representation.
LLVM_ABI const_iterator getFirstInsertionPt() const
Returns an iterator to the first instruction in this block that is suitable for inserting a non-PHI i...
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
void addParamAttr(unsigned ArgNo, Attribute::AttrKind Kind)
Adds the attribute to the indicated argument.
This class represents a function call, abstracting a target machine's calling convention.
static LLVM_ABI bool isBitOrNoopPointerCastable(Type *SrcTy, Type *DestTy, const DataLayout &DL)
Check whether a bitcast, inttoptr, or ptrtoint cast between these types is valid and a no-op.
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ ICMP_UGT
unsigned greater than
@ ICMP_ULT
unsigned less than
static LLVM_ABI StringRef getPredicateName(Predicate P)
An abstraction over a floating-point predicate, and a pack of an integer predicate with samesign info...
void setSuccessor(unsigned idx, BasicBlock *NewSucc)
This is an important base class in LLVM.
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
A parsed version of the target data layout string in and methods for querying it.
static DebugLoc getUnknown()
constexpr bool isVector() const
One or more elements.
static constexpr ElementCount getScalable(ScalarTy MinVal)
static constexpr ElementCount getFixed(ScalarTy MinVal)
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
LLVM_ABI void print(raw_ostream &O) const
Print fast-math flags to O.
void setAllowContract(bool B=true)
bool noSignedZeros() const
void setAllowReciprocal(bool B=true)
bool allowReciprocal() const
void setNoSignedZeros(bool B=true)
bool allowReassoc() const
Flag queries.
void setNoNaNs(bool B=true)
void setAllowReassoc(bool B=true)
Flag setters.
void setApproxFunc(bool B=true)
void setNoInfs(bool B=true)
bool allowContract() const
Class to represent function types.
Type * getParamType(unsigned i) const
Parameter type accessors.
bool willReturn() const
Determine if the function will return.
Intrinsic::ID getIntrinsicID() const LLVM_READONLY
getIntrinsicID - This method returns the ID number of the specified function, or Intrinsic::not_intri...
bool doesNotThrow() const
Determine if the function cannot unwind.
bool doesNotAccessMemory() const
Determine if the function does not access memory.
Type * getReturnType() const
Returns the type of the ret val.
Represents flags for the getelementptr instruction/expression.
static GEPNoWrapFlags none()
Common base class shared among various IRBuilders.
Value * CreateInsertElement(Type *VecTy, Value *NewElt, Value *Idx, const Twine &Name="")
IntegerType * getInt1Ty()
Fetch the type representing a single bit.
Value * CreateInsertValue(Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, const Twine &Name="")
Value * CreateExtractElement(Value *Vec, Value *Idx, const Twine &Name="")
LLVM_ABI Value * CreateVectorSpliceRight(Value *V1, Value *V2, Value *Offset, const Twine &Name="")
Create a vector.splice.right intrinsic call, or a shufflevector that produces the same result if the ...
CondBrInst * CreateCondBr(Value *Cond, BasicBlock *True, BasicBlock *False, MDNode *BranchWeights=nullptr, MDNode *Unpredictable=nullptr)
Create a conditional 'br Cond, TrueDest, FalseDest' instruction.
LLVM_ABI Value * CreateSelectFMF(Value *C, Value *True, Value *False, FMFSource FMFSource, const Twine &Name="", Instruction *MDFrom=nullptr)
LLVM_ABI Value * CreateVectorSplat(unsigned NumElts, Value *V, const Twine &Name="")
Return a vector value that contains.
Value * CreateExtractValue(Value *Agg, ArrayRef< unsigned > Idxs, const Twine &Name="")
LLVM_ABI CallInst * CreateIntrinsic(Intrinsic::ID ID, ArrayRef< Type * > OverloadTypes, ArrayRef< Value * > Args, FMFSource FMFSource={}, const Twine &Name="", ArrayRef< OperandBundleDef > OpBundles={})
Create a call to intrinsic ID with Args, mangled using OverloadTypes.
LLVM_ABI Value * CreateSelect(Value *C, Value *True, Value *False, const Twine &Name="", Instruction *MDFrom=nullptr)
Value * CreateFreeze(Value *V, const Twine &Name="")
IntegerType * getInt32Ty()
Fetch the type representing a 32-bit integer.
Value * CreatePtrAdd(Value *Ptr, Value *Offset, const Twine &Name="", GEPNoWrapFlags NW=GEPNoWrapFlags::none())
void setFastMathFlags(FastMathFlags NewFMF)
Set the fast-math flags to be used with generated fp-math operators.
LLVM_ABI Value * CreateVectorReverse(Value *V, const Twine &Name="")
Return a vector value that contains the vector V reversed.
Value * CreateICmpNE(Value *LHS, Value *RHS, const Twine &Name="")
LLVM_ABI CallInst * CreateOrReduce(Value *Src)
Create a vector int OR reduction intrinsic of the source vector.
Value * CreateLogicalAnd(Value *Cond1, Value *Cond2, const Twine &Name="", Instruction *MDFrom=nullptr)
ConstantInt * getInt32(uint32_t C)
Get a constant 32-bit value.
Value * CreateCmp(CmpInst::Predicate Pred, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateNot(Value *V, const Twine &Name="")
Value * CreateICmpEQ(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateCountTrailingZeroElems(Type *ResTy, Value *Mask, bool ZeroIsPoison=true, const Twine &Name="")
Create a call to llvm.experimental_cttz_elts.
Value * CreateSub(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
Value * CreateZExt(Value *V, Type *DestTy, const Twine &Name="", bool IsNonNeg=false)
Value * CreateAdd(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
ConstantInt * getFalse()
Get the constant value for i1 false.
Value * CreateBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateICmpUGE(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateLogicalOr(Value *Cond1, Value *Cond2, const Twine &Name="", Instruction *MDFrom=nullptr)
Value * CreateICmp(CmpInst::Predicate P, Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateOr(Value *LHS, Value *RHS, const Twine &Name="", bool IsDisjoint=false)
Value * CreateMul(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
static InstructionCost getInvalid(CostType Val=0)
LLVM_ABI InstListType::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
const char * getOpcodeName() const
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
The group of interleaved loads/stores sharing the same stride and close to each other.
uint32_t getFactor() const
InstTy * getMember(uint32_t Index) const
Get the member with the given index Index.
InstTy * getInsertPos() const
void addMetadata(InstTy *NewInst) const
Add metadata (e.g.
This is an important class for using LLVM in a threaded context.
Represents a single loop in the control flow graph.
Information for memory intrinsic cost model.
A Module instance is used to store all the information related to an LLVM module.
void addIncoming(Value *V, BasicBlock *BB)
Add an incoming value to the end of the PHI list.
static PHINode * Create(Type *Ty, unsigned NumReservedValues, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
Constructors - NumReservedValues is a hint for the number of incoming edges that this phi node will h...
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
An interface layer with SCEV used to manage how we see SCEV expressions for values in the context of ...
ScalarEvolution * getSE() const
Returns the ScalarEvolution analysis used.
static LLVM_ABI unsigned getOpcode(RecurKind Kind)
Returns the opcode corresponding to the RecurrenceKind.
unsigned getOpcode() const
static bool isAnyOfRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is of the form select(cmp(),x,y) where one of (x,...
static LLVM_ABI bool isSubRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is for a sub operation.
static bool isFindIVRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is of the form select(cmp(),x,y) where one of (x,...
static bool isMinMaxRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is any min/max kind.
This class represents an analyzed expression in the program.
This class represents the LLVM 'select' instruction.
This class provides computation of slot numbers for LLVM Assembly writing.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
reference emplace_back(ArgTypes &&... Args)
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Represent a constant reference to a string, i.e.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
bool isByteTy() const
True if this is an instance of ByteType.
bool isVectorTy() const
True if this is an instance of VectorType.
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
bool isPointerTy() const
True if this is an instance of PointerType.
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
bool isStructTy() const
True if this is an instance of StructType.
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
bool isIntegerTy() const
True if this is an instance of IntegerType.
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
bool isVoidTy() const
Return true if this is 'void'.
value_op_iterator value_op_end()
void setOperand(unsigned i, Value *Val)
Value * getOperand(unsigned i) const
value_op_iterator value_op_begin()
void execute(VPTransformState &State) override
Generate the active lane mask phi of the vector loop.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPBasicBlock serves as the leaf of the Hierarchical Control-Flow Graph.
RecipeListTy & getRecipeList()
Returns a reference to the list of recipes.
const VPRecipeBase & front() const
void insert(VPRecipeBase *Recipe, iterator InsertPt)
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenMemoryRecipe.
VPValue * getIncomingValue(unsigned Idx) const
Return incoming value number Idx.
unsigned getNumIncomingValues() const
Return the number of incoming values, taking into account when normalized the first incoming value wi...
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
bool isNormalized() const
A normalized blend is one that has an odd number of operands, whereby the first operand does not have...
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
const VPBlocksTy & getPredecessors() const
void printAsOperand(raw_ostream &OS, bool PrintType=false) const
const VPBasicBlock * getEntryBasicBlock() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPBranchOnMaskRecipe.
void execute(VPTransformState &State) override
Generate the extraction of the appropriate bit from the block mask and the conditional branch.
VPlan-based builder utility analogous to IRBuilder.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getNumDefinedValues() const
Returns the number of values defined by the VPDef.
VPValue * getVPSingleValue()
Returns the only VPValue defined by the VPDef.
VPValue * getVPValue(unsigned I)
Returns the VPValue with index I defined by the VPDef.
ArrayRef< VPRecipeValue * > definedValues()
Returns an ArrayRef of the values defined by the VPDef.
VPIRValue * getStartValue() const
VPValue * getStepValue() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void decompose()
Insert the recipes of the expression back into the VPlan, directly before the current recipe.
bool isSingleScalar() const
Returns true if the result of this VPExpressionRecipe is a single-scalar.
bool mayHaveSideEffects() const
Returns true if this expression contains recipes that may have side effects.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Compute the cost of this recipe either using a recipe's specialized implementation or using the legac...
bool mayReadOrWriteMemory() const
Returns true if this expression contains recipes that may read from or write to memory.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Produce a vectorized histogram operation.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPHistogramRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getMask() const
Return the mask operand if one was provided, or a null pointer if all lanes should be executed uncond...
Class to record and manage LLVM IR flags.
ReductionFlagsTy ReductionFlags
LLVM_ABI_FOR_TEST bool hasRequiredFlagsForOpcode(unsigned Opcode) const
Returns true if Opcode has its required flags set.
LLVM_ABI_FOR_TEST bool flagsValidForOpcode(unsigned Opcode) const
Returns true if the set flags are valid for Opcode.
static VPIRFlags getDefaultFlags(unsigned Opcode)
Returns default flags for Opcode for opcodes that support it, asserts otherwise.
void printFlags(raw_ostream &O) const
bool hasFastMathFlags() const
Returns true if the recipe has fast-math flags.
LLVM_ABI_FOR_TEST FastMathFlags getFastMathFlags() const
bool isReductionOrdered() const
CmpInst::Predicate getPredicate() const
void intersectFlags(const VPIRFlags &Other)
Only keep flags also present in Other.
GEPNoWrapFlags getGEPNoWrapFlags() const
bool hasPredicate() const
Returns true if the recipe has a comparison predicate.
DisjointFlagsTy DisjointFlags
NonNegFlagsTy NonNegFlags
bool isReductionInLoop() const
void applyFlags(Instruction &I) const
Apply the IR flags to I.
RecurKind getRecurKind() const
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPIRInstruction.
VPIRInstruction(Instruction &I)
VPIRInstruction::create() should be used to create VPIRInstructions, as subclasses may need to be cre...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the instruction.
This is a concrete Recipe that models a single VPlan-level instruction.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPInstruction.
bool doesGeneratePerAllLanes() const
Returns true if this VPInstruction generates scalar values for all lanes.
@ ExtractLastActive
Extracts the last active lane from a set of vectors.
@ ExtractLane
Extracts a single lane (first operand) from a set of vector operands.
@ ExitingIVValue
Compute the exiting value of a wide induction after vectorization, that is the value of the last lane...
@ WideIVStep
Scale the first operand (vector step) by the second operand (scalar-step).
@ ExtractPenultimateElement
@ ResumeForEpilogue
Explicit user for the resume phi of the canonical induction in the main VPlan, used by the epilogue v...
@ Unpack
Extracts all lanes from its (non-scalable) vector operand.
@ FirstOrderRecurrenceSplice
@ ReductionStartVector
Start vector for reductions with 3 operands: the original start value, the identity value for the red...
@ BuildVector
Creates a fixed-width vector containing all operands.
@ BuildStructVector
Given operands of (the same) struct type, creates a struct of fixed- width vectors each containing a ...
@ VScale
Returns the value for vscale.
@ CanonicalIVIncrementForPart
@ ComputeReductionResult
Reduce the operands to the final reduction result using the operation specified via the operation's V...
@ CalculateTripCountMinusVF
bool opcodeMayReadOrWriteFromMemory() const
Returns true if the underlying opcode may read from or write to memory.
LLVM_DUMP_METHOD void dump() const
Print the VPInstruction to dbgs() (for debugging).
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the VPInstruction to O.
StringRef getName() const
Returns the symbolic name assigned to the VPInstruction.
unsigned getOpcode() const
VPInstruction(unsigned Opcode, ArrayRef< VPValue * > Operands, const VPIRFlags &Flags={}, const VPIRMetadata &MD={}, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
bool isVectorToScalar() const
Returns true if this VPInstruction produces a scalar value from a vector, e.g.
bool isSingleScalar() const
Returns true if this VPInstruction's operands are single scalars and the result is also a single scal...
unsigned getNumOperandsForOpcode() const
Return the number of operands determined by the opcode of the VPInstruction, excluding mask.
bool isMasked() const
Returns true if the VPInstruction has a mask operand.
void execute(VPTransformState &State) override
Generate the instruction.
bool usesFirstPartOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first part of operand Op.
bool needsMaskForGaps() const
Return true if the access needs a mask because of the gaps.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this recipe.
Instruction * getInsertPos() const
const InterleaveGroup< Instruction > * getInterleaveGroup() const
VPValue * getMask() const
Return the mask used by this recipe.
ArrayRef< VPValue * > getStoredValues() const
Return the VPValues stored by this interleave group.
VPValue * getAddr() const
Return the address accessed by this recipe.
VPValue * getEVL() const
The VPValue of the explicit vector length.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getNumStoreOperands() const override
Returns the number of stored operands of this interleave group.
void execute(VPTransformState &State) override
Generate the wide load or store, and shuffles.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getNumStoreOperands() const override
Returns the number of stored operands of this interleave group.
void execute(VPTransformState &State) override
Generate the wide load or store, and shuffles.
In what follows, the term "input IR" refers to code that is fed into the vectorizer whereas the term ...
static VPLane getLastLaneForVF(const ElementCount &VF)
static VPLane getLaneFromEnd(const ElementCount &VF, unsigned Offset)
static VPLane getFirstLane()
virtual const VPRecipeBase * getAsRecipe() const =0
Return a VPRecipeBase* to the current object.
VPValue * getIncomingValueForBlock(const VPBasicBlock *VPBB) const
Returns the incoming value for VPBB. VPBB must be an incoming block.
virtual unsigned getNumIncoming() const
Returns the number of incoming values, also number of incoming blocks.
void removeIncomingValueFor(VPBlockBase *IncomingBlock) const
Removes the incoming value for IncomingBlock, which must be a predecessor.
const VPBasicBlock * getIncomingBlock(unsigned Idx) const
Returns the incoming block with index Idx.
detail::zippy< llvm::detail::zip_first, VPUser::const_operand_range, const_incoming_blocks_range > incoming_values_and_blocks() const
Returns an iterator range over pairs of incoming values and corresponding incoming blocks.
VPValue * getIncomingValue(unsigned Idx) const
Returns the incoming VPValue with index Idx.
void printPhiOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the recipe.
void setIncomingValueForBlock(const VPBasicBlock *VPBB, VPValue *V) const
Sets the incoming value for VPBB to V.
void execute(VPTransformState &State) override
Generates phi nodes for live-outs (from a replicate region) as needed to retain SSA form.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
bool mayReadFromMemory() const
Returns true if the recipe may read from memory.
bool mayHaveSideEffects() const
Returns true if the recipe may have side-effects.
virtual void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const =0
Each concrete VPRecipe prints itself, without printing common information, like debug info or metadat...
VPRegionBlock * getRegion()
LLVM_ABI_FOR_TEST void dump() const
Dump the recipe to stderr (for debugging).
bool isPhi() const
Returns true for PHI-like recipes.
bool mayWriteToMemory() const
Returns true if the recipe may write to memory.
virtual InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const
Compute the cost of this recipe either using a recipe's specialized implementation or using the legac...
VPBasicBlock * getParent()
DebugLoc getDebugLoc() const
Returns the debug location of the recipe.
void moveBefore(VPBasicBlock &BB, iplist< VPRecipeBase >::iterator I)
Unlink this recipe and insert into BB before I.
bool isSafeToSpeculativelyExecute() const
Return true if we can safely execute this recipe unconditionally even if it is masked originally.
void insertBefore(VPRecipeBase *InsertPos)
Insert an unlinked recipe into a basic block immediately before the specified recipe.
void insertAfter(VPRecipeBase *InsertPos)
Insert an unlinked Recipe into a basic block immediately after the specified Recipe.
iplist< VPRecipeBase >::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
InstructionCost cost(ElementCount VF, VPCostContext &Ctx)
Return the cost of this recipe, taking into account if the cost computation should be skipped and the...
bool isScalarCast() const
Return true if the recipe is a scalar cast.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const
Print the recipe, delegating to printRecipe().
void removeFromParent()
This method unlinks 'this' from the containing basic block, but does not delete it.
unsigned getVPRecipeID() const
void moveAfter(VPRecipeBase *MovePos)
Unlink this recipe from its current VPBasicBlock and insert it into the VPBasicBlock that MovePos liv...
VPRecipeBase(const unsigned char SC, ArrayRef< VPValue * > Operands, DebugLoc DL=DebugLoc::getUnknown())
void execute(VPTransformState &State) override
Generate the reduction in the loop.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getEVL() const
The VPValue of the explicit vector length.
unsigned getVFScaleFactor() const
Get the factor that the VF of this recipe's output should be scaled by, or 1 if it isn't scaled.
bool isInLoop() const
Returns true if the phi is part of an in-loop reduction.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the phi/select nodes.
bool isConditional() const
Return true if the in-loop reduction is conditional.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of VPReductionRecipe.
VPValue * getVecOp() const
The VPValue of the vector value to be reduced.
VPValue * getCondOp() const
The VPValue of the condition for the block.
RecurKind getRecurrenceKind() const
Return the recurrence kind for the in-loop reduction.
bool isPartialReduction() const
Returns true if the reduction outputs a vector with a scaled down VF.
VPValue * getChainOp() const
The VPValue of the scalar Chain being accumulated.
bool isInLoop() const
Returns true if the reduction is in-loop.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the reduction in the loop.
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
void execute(VPTransformState &State) override
Generate replicas of the desired Ingredient.
bool isSingleScalar() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPReplicateRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
static InstructionCost computeCallCost(Function *CalledFn, Type *ResultTy, ArrayRef< const VPValue * > ArgOps, bool IsSingleScalar, ElementCount VF, VPCostContext &Ctx)
Return the cost of scalarizing a call to CalledFn with argument operands ArgOps for a given VF.
unsigned getOpcode() const
VPValue * getStepValue() const
VPValue * getStartIndex() const
Return the StartIndex, or null if known to be zero, valid only after unrolling.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the scalarized versions of the phi node as needed by their users.
VPSingleDef is a base class for recipes for modeling a sequence of one or more output IR that define ...
Instruction * getUnderlyingInstr()
Returns the underlying instruction.
LLVM_ABI_FOR_TEST LLVM_DUMP_METHOD void dump() const
Print this VPSingleDefRecipe to dbgs() (for debugging).
VPSingleDefRecipe(const unsigned char SC, ArrayRef< VPValue * > Operands, DebugLoc DL=DebugLoc::getUnknown())
This class can be used to assign names to VPValues.
An analysis for type-inference for VPValues.
Type * inferScalarType(const VPValue *V)
Infer the type of V. Returns the scalar type of V.
Helper to access the operand that contains the unroll part for this recipe after unrolling.
VPValue * getUnrollPartOperand(const VPUser &U) const
Return the VPValue operand containing the unroll part or null if there is no such operand.
unsigned getUnrollPart(const VPUser &U) const
Return the unroll part.
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
void printOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the operands to O.
unsigned getNumOperands() const
operand_iterator op_begin()
VPValue * getOperand(unsigned N) const
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
VPRecipeBase * getDefiningRecipe()
Returns the recipe defining this VPValue or nullptr if it is not defined by a recipe,...
void printAsOperand(raw_ostream &OS, VPSlotTracker &Tracker) const
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
void setUnderlyingValue(Value *Val)
void replaceAllUsesWith(VPValue *New)
VPValue * getVFValue() const
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Type * getSourceElementType() const
int64_t getStride() const
void materializeOffset(unsigned Part=0)
Adds the offset operand to the recipe.
Type * getSourceElementType() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
Function * getCalledScalarFunction() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenCallRecipe.
void execute(VPTransformState &State) override
Produce a widened version of the call instruction.
static InstructionCost computeCallCost(Function *Variant, VPCostContext &Ctx)
Return the cost of widening a call using the vector function Variant.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate a canonical vector induction variable of the vector loop, with start = {<Part*VF,...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Instruction::CastOps getOpcode() const
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Type * getResultType() const
Returns the result type of the cast.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Produce widened copies of the cast.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenCastRecipe.
void execute(VPTransformState &State) override
Generate the gep nodes.
Type * getSourceElementType() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
VPIRValue * getStartValue() const
Returns the start value of the induction.
VPValue * getStepValue()
Returns the step value of the induction.
VPIRValue * getStartValue() const
Returns the start value of the induction.
TruncInst * getTruncInst()
Returns the first defined value as TruncInst, if it is one or nullptr otherwise.
Type * getScalarType() const
Returns the scalar type of the induction.
bool isCanonical() const
Returns true if the induction is canonical, i.e.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Intrinsic::ID getVectorIntrinsicID() const
Return the ID of the intrinsic.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
StringRef getIntrinsicName() const
Return to name of the intrinsic as string.
static InstructionCost computeCallCost(Intrinsic::ID ID, ArrayRef< const VPValue * > Operands, const VPRecipeWithIRFlags &R, ElementCount VF, VPCostContext &Ctx)
Compute the cost of a vector intrinsic with ID and Operands.
LLVM_ABI_FOR_TEST bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the VPUser only uses the first lane of operand Op.
Type * getResultType() const
Return the scalar return type of the intrinsic.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Produce a widened version of the vector intrinsic.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this vector intrinsic.
bool IsMasked
Whether the memory access is masked.
bool isConsecutive() const
Return whether the loaded-from / stored-to addresses are consecutive.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const
Return the cost of this VPWidenMemoryRecipe.
bool Consecutive
Whether the accessed addresses are consecutive.
VPValue * getMask() const
Return the mask used by this recipe.
Align Alignment
Alignment information for this memory access.
virtual VPRecipeBase * getAsRecipe()=0
Return a VPRecipeBase* to the current object.
VPValue * getAddr() const
Return the address accessed by this recipe.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenPHIRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the phi/select nodes.
bool onlyScalarsGenerated(bool IsScalable)
Returns true if only scalar values will be generated.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenRecipe.
void execute(VPTransformState &State) override
Produce a widened instruction using the opcode and operands of the recipe, processing State....
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getOpcode() const
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
const DataLayout & getDataLayout() const
VPIRValue * getConstantInt(Type *Ty, uint64_t Val, bool IsSigned=false)
Return a VPIRValue wrapping a ConstantInt with the given type and value.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
LLVM_ABI void setName(const Twine &Name)
Change the name of the value.
LLVMContext & getContext() const
All values hold a context through their type.
void mutateType(Type *Ty)
Mutate the type of this Value to be of the specified type.
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Base class of all SIMD vector types.
ElementCount getElementCount() const
Return an ElementCount instance to represent the (possibly scalable) number of elements in the vector...
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
Type * getElementType() const
constexpr ScalarTy getFixedValue() const
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
constexpr LeafTy multiplyCoefficientBy(ScalarTy RHS) const
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
constexpr LeafTy divideCoefficientBy(ScalarTy RHS) const
We do not provide the '/' operator here because division for polynomial types does not work in the sa...
const ParentTy * getParent() const
self_iterator getIterator()
typename base_list_type::iterator iterator
iterator erase(iterator where)
pointer remove(iterator &IT)
This class implements an extremely fast bulk output stream that can only output to a stream.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
@ BasicBlock
Various leaf nodes.
LLVM_ABI Intrinsic::ID getDeinterleaveIntrinsicID(unsigned Factor)
Returns the corresponding llvm.vector.deinterleaveN intrinsic for factor N.
LLVM_ABI Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > OverloadTys={})
Look up the Function declaration of the intrinsic id in the Module M.
LLVM_ABI StringRef getBaseName(ID id)
Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm....
SpecificConstantMatch m_ZeroInt()
Convenience matchers for specific integer values.
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
auto m_Cmp()
Matches any compare instruction and ignore it.
bool match(Val *V, const Pattern &P)
cst_pred_ty< is_one > m_One()
Match an integer 1 or a vector with all elements equal to 1.
IntrinsicID_match m_Intrinsic()
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
ThreeOps_match< Cond, LHS, RHS, Instruction::Select > m_Select(const Cond &C, const LHS &L, const RHS &R)
Matches SelectInst.
LogicalOp_match< LHS, RHS, Instruction::And, true > m_c_LogicalAnd(const LHS &L, const RHS &R)
Matches L && R with LHS and RHS in either order.
LogicalOp_match< LHS, RHS, Instruction::Or, true > m_c_LogicalOr(const LHS &L, const RHS &R)
Matches L || R with LHS and RHS in either order.
specific_intval< 1 > m_False()
specific_intval< 1 > m_True()
auto m_VPValue()
Match an arbitrary VPValue and ignore it.
VPInstruction_match< VPInstruction::Reverse, Op0_t > m_Reverse(const Op0_t &Op0)
NodeAddr< DefNode * > Def
friend class Instruction
Iterator for Instructions in a `BasicBlock.
bool isSingleScalar(const VPValue *VPV)
Returns true if VPV is a single scalar, either because it produces the same value for all lanes or on...
bool isAddressSCEVForCost(const SCEV *Addr, ScalarEvolution &SE, const Loop *L)
Returns true if Addr is an address SCEV that can be passed to TTI::getAddressComputationCost,...
bool onlyFirstPartUsed(const VPValue *Def)
Returns true if only the first part of Def is used.
bool onlyFirstLaneUsed(const VPValue *Def)
Returns true if only the first lane of Def is used.
bool onlyScalarValuesUsed(const VPValue *Def)
Returns true if only scalar values of Def are used by all users.
bool isUsedByLoadStoreAddress(const VPValue *V)
Returns true if V is used as part of the address of another load or store.
const SCEV * getSCEVExprForVPValue(const VPValue *V, PredicatedScalarEvolution &PSE, const Loop *L=nullptr)
Return the SCEV expression for V.
bool isHeaderMask(const VPValue *V, const VPlan &Plan)
Return true if V is a header mask in Plan.
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
LLVM_ABI Value * createSimpleReduction(IRBuilderBase &B, Value *Src, RecurKind RdxKind)
Create a reduction of the given vector.
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
FunctionAddr VTableAddr Value
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI Intrinsic::ID getMinMaxReductionIntrinsicOp(Intrinsic::ID RdxID)
Returns the min/max intrinsic used when expanding a min/max reduction.
@ Undef
Value of the register doesn't matter.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
const Value * getLoadStorePointerOperand(const Value *V)
A helper function that returns the pointer operand of a load or store instruction.
auto map_to_vector(ContainerTy &&C, FuncTy &&F)
Map a range to a SmallVector with element types deduced from the mapping.
Value * getRuntimeVF(IRBuilderBase &B, Type *Ty, ElementCount VF)
Return the runtime value for VF.
auto dyn_cast_if_present(const Y &Val)
dyn_cast_if_present<X> - Functionally identical to dyn_cast, except that a null (or none in the case ...
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
void interleaveComma(const Container &c, StreamT &os, UnaryFunctor each_fn)
auto cast_or_null(const Y &Val)
LLVM_ABI Value * concatenateVectors(IRBuilderBase &Builder, ArrayRef< Value * > Vecs)
Concatenate a list of vectors.
Align getLoadStoreAlignment(const Value *I)
A helper function that returns the alignment of load or store instruction.
bool isa_and_nonnull(const Y &Val)
LLVM_ABI Value * createMinMaxOp(IRBuilderBase &Builder, RecurKind RK, Value *Left, Value *Right)
Returns a Min/Max operation corresponding to MinMaxRecurrenceKind.
auto dyn_cast_or_null(const Y &Val)
static Error getOffset(const SymbolRef &Sym, SectionRef Sec, uint64_t &Result)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI Constant * createBitMaskForGaps(IRBuilderBase &Builder, unsigned VF, const InterleaveGroup< Instruction > &Group)
Create a mask that filters the members of an interleave group where there are gaps.
LLVM_ABI llvm::SmallVector< int, 16 > createStrideMask(unsigned Start, unsigned Stride, unsigned VF)
Create a stride shuffle mask.
auto reverse(ContainerTy &&C)
ElementCount getVectorizedTypeVF(Type *Ty)
Returns the number of vector elements for a vectorized type.
LLVM_ABI llvm::SmallVector< int, 16 > createReplicatedMask(unsigned ReplicationFactor, unsigned VF)
Create a mask with replicated elements.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
SmallVector< ValueTypeFromRangeType< R >, Size > to_vector(R &&Range)
Given a range of type R, iterate the entire range and return a SmallVector with elements of the vecto...
Type * toVectorizedTy(Type *Ty, ElementCount EC)
A helper for converting to vectorized types.
cl::opt< unsigned > ForceTargetInstructionCost
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
auto drop_end(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the last N elements excluded.
LLVM_ABI bool isVectorIntrinsicWithStructReturnOverloadAtField(Intrinsic::ID ID, int RetIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic that returns a struct is overloaded at the struct elem...
FunctionAddr VTableAddr uintptr_t uintptr_t Data
LLVM_ABI llvm::SmallVector< int, 16 > createInterleaveMask(unsigned VF, unsigned NumVecs)
Create an interleave shuffle mask.
RecurKind
These are the kinds of recurrences that we support.
@ UMin
Unsigned integer min implemented in terms of select(cmp()).
@ FMinimumNum
FP min with llvm.minimumnum semantics.
@ FMinimum
FP min with llvm.minimum semantics.
@ FMaxNum
FP max with llvm.maxnum semantics including NaNs.
@ Mul
Product of integers.
@ FSub
Subtraction of floats.
@ AnyOf
AnyOf reduction with select(cmp(),x,y) where one of (x,y) is loop invariant, and both x and y are int...
@ FindLast
FindLast reduction with select(cmp(),x,y) where x and y.
@ FMaximum
FP max with llvm.maximum semantics.
@ SMax
Signed integer max implemented in terms of select(cmp()).
@ SMin
Signed integer min implemented in terms of select(cmp()).
@ FMinNum
FP min with llvm.minnum semantics including NaNs.
@ Sub
Subtraction of integers.
@ FMaximumNum
FP max with llvm.maximumnum semantics.
@ UMax
Unsigned integer max implemented in terms of select(cmp()).
LLVM_ABI bool isVectorIntrinsicWithScalarOpAtArg(Intrinsic::ID ID, unsigned ScalarOpdIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic has a scalar operand.
LLVM_ABI Value * getRecurrenceIdentity(RecurKind K, Type *Tp, FastMathFlags FMF)
Given information about an recurrence kind, return the identity for the @llvm.vector....
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Type * getLoadStoreType(const Value *I)
A helper function that returns the type of a load or store instruction.
LLVM_ABI Value * createOrderedReduction(IRBuilderBase &B, RecurKind RdxKind, Value *Src, Value *Start)
Create an ordered reduction intrinsic using the given recurrence kind RdxKind.
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
Type * toVectorTy(Type *Scalar, ElementCount EC)
A helper function for converting Scalar types to vector types.
LLVM_ABI bool isVectorIntrinsicWithOverloadTypeAtArg(Intrinsic::ID ID, int OpdIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic is overloaded on the type of the operand at index OpdI...
This struct is a compact representation of a valid (non-zero power of two) alignment.
Struct to hold various analysis needed for cost computations.
static bool isFreeScalarIntrinsic(Intrinsic::ID ID)
Returns true if ID is a pseudo intrinsic that is dropped via scalarization rather than widened.
void execute(VPTransformState &State) override
Generate the phi nodes.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this first-order recurrence phi recipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
An overlay for VPIRInstructions wrapping PHI nodes enabling convenient use cast/dyn_cast/isa and exec...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
void execute(VPTransformState &State) override
Generate the instruction.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
InstructionCost getCostForRecipeWithOpcode(unsigned Opcode, ElementCount VF, VPCostContext &Ctx) const
Compute the cost for this recipe for VF, using Opcode and Ctx.
VPRecipeWithIRFlags(const unsigned char SC, ArrayRef< VPValue * > Operands, const VPIRFlags &Flags, DebugLoc DL=DebugLoc::getUnknown())
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Generate the wide load or gather.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenLoadEVLRecipe.
VPValue * getEVL() const
Return the EVL operand.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate a wide load or gather.
VPValue * getStoredValue() const
Return the address accessed by this recipe.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Generate the wide store or scatter.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenStoreEVLRecipe.
VPValue * getEVL() const
Return the EVL operand.
void execute(VPTransformState &State) override
Generate a wide store or scatter.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getStoredValue() const
Return the value stored by this recipe.