48#define LV_NAME "loop-vectorize"
49#define DEBUG_TYPE LV_NAME
56 switch (cast<VPInstruction>(
this)->
getOpcode()) {
58 case Instruction::ICmp:
59 case Instruction::Select:
73 return cast<VPInterleaveRecipe>(
this)->getNumStoreOperands() > 0;
74 case VPWidenStoreEVLSC:
81 return !cast<VPWidenCallRecipe>(
this)
82 ->getCalledScalarFunction()
84 case VPWidenIntrinsicSC:
85 return cast<VPWidenIntrinsicRecipe>(
this)->mayWriteToMemory();
86 case VPBranchOnMaskSC:
87 case VPScalarIVStepsSC:
91 case VPReductionEVLSC:
93 case VPVectorPointerSC:
94 case VPWidenCanonicalIVSC:
97 case VPWidenIntOrFpInductionSC:
98 case VPWidenLoadEVLSC:
103 case VPWidenSelectSC: {
107 assert((!
I || !
I->mayWriteToMemory()) &&
108 "underlying instruction may write to memory");
118 case VPWidenLoadEVLSC:
123 ->mayReadFromMemory();
125 return !cast<VPWidenCallRecipe>(
this)
126 ->getCalledScalarFunction()
127 ->onlyWritesMemory();
128 case VPWidenIntrinsicSC:
129 return cast<VPWidenIntrinsicRecipe>(
this)->mayReadFromMemory();
130 case VPBranchOnMaskSC:
131 case VPPredInstPHISC:
132 case VPScalarIVStepsSC:
133 case VPWidenStoreEVLSC:
137 case VPReductionEVLSC:
139 case VPVectorPointerSC:
140 case VPWidenCanonicalIVSC:
143 case VPWidenIntOrFpInductionSC:
147 case VPWidenSelectSC: {
151 assert((!
I || !
I->mayReadFromMemory()) &&
152 "underlying instruction may read from memory");
163 case VPPredInstPHISC:
165 case VPReverseVectorPointerSC:
167 case VPInstructionSC:
169 case VPWidenCallSC: {
170 Function *Fn = cast<VPWidenCallRecipe>(
this)->getCalledScalarFunction();
173 case VPWidenIntrinsicSC:
174 return cast<VPWidenIntrinsicRecipe>(
this)->mayHaveSideEffects();
176 case VPReductionEVLSC:
178 case VPScalarIVStepsSC:
179 case VPVectorPointerSC:
180 case VPWidenCanonicalIVSC:
183 case VPWidenIntOrFpInductionSC:
185 case VPWidenPointerInductionSC:
188 case VPWidenSelectSC: {
192 assert((!
I || !
I->mayHaveSideEffects()) &&
193 "underlying instruction has side-effects");
198 case VPWidenLoadEVLSC:
200 case VPWidenStoreEVLSC:
205 "mayHaveSideffects result for ingredient differs from this "
208 case VPReplicateSC: {
209 auto *R = cast<VPReplicateRecipe>(
this);
210 return R->getUnderlyingInstr()->mayHaveSideEffects();
218 assert(!Parent &&
"Recipe already in some VPBasicBlock");
220 "Insertion position not in any VPBasicBlock");
226 assert(!Parent &&
"Recipe already in some VPBasicBlock");
232 assert(!Parent &&
"Recipe already in some VPBasicBlock");
234 "Insertion position not in any VPBasicBlock");
266 if (
auto *S = dyn_cast<VPSingleDefRecipe>(
this))
267 UI = dyn_cast_or_null<Instruction>(S->getUnderlyingValue());
268 else if (
auto *IG = dyn_cast<VPInterleaveRecipe>(
this))
269 UI = IG->getInsertPos();
270 else if (
auto *WidenMem = dyn_cast<VPWidenMemoryRecipe>(
this))
271 UI = &WidenMem->getIngredient();
284 dbgs() <<
"Cost of " << RecipeCost <<
" for VF " << VF <<
": ";
298 std::optional<unsigned> Opcode = std::nullopt;
300 if (
auto *WidenR = dyn_cast<VPWidenRecipe>(BinOpR))
301 Opcode = std::make_optional(WidenR->getOpcode());
307 auto *WidenCastR = dyn_cast<VPWidenCastRecipe>(R);
310 if (WidenCastR->getOpcode() == Instruction::CastOps::ZExt)
312 if (WidenCastR->getOpcode() == Instruction::CastOps::SExt)
321 GetExtendKind(ExtAR),
322 GetExtendKind(ExtBR), Opcode);
330 "Unhandled partial reduction opcode");
334 assert(PhiVal && BinOpVal &&
"Phi and Mul must be set");
338 CallInst *V = Builder.CreateIntrinsic(
339 RetTy, Intrinsic::experimental_vector_partial_reduce_add,
340 {PhiVal, BinOpVal},
nullptr,
"partial.reduce");
345#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
348 O << Indent <<
"PARTIAL-REDUCE ";
356 assert(OpType == OperationType::FPMathOp &&
357 "recipe doesn't have fast math flags");
369#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
373template <
unsigned PartOpIdx>
376 if (U.getNumOperands() == PartOpIdx + 1)
377 return U.getOperand(PartOpIdx);
381template <
unsigned PartOpIdx>
383 if (
auto *UnrollPartOp = getUnrollPartOperand(U))
384 return cast<ConstantInt>(UnrollPartOp->getLiveInIRValue())->getZExtValue();
394 assert(Opcode == Instruction::ICmp &&
395 "only ICmp predicates supported at the moment");
399 std::initializer_list<VPValue *>
Operands,
404 assert(isFPMathOp() &&
"this op can't take fast-math flags");
407bool VPInstruction::doesGeneratePerAllLanes()
const {
411bool VPInstruction::canGenerateScalarForFirstLane()
const {
417 case Instruction::ICmp:
418 case Instruction::Select:
437 "only PtrAdd opcodes are supported for now");
451 if (
auto *
I = dyn_cast<Instruction>(Res))
461 case Instruction::ICmp: {
467 case Instruction::Select: {
490 {VIVElem0, ScalarTC},
nullptr, Name);
506 if (!V1->getType()->isVectorTy())
526 "Requested vector length should be an integer.");
533 {AVL, VFArg, State.Builder.getTrue()});
539 assert(Part != 0 &&
"Must have a positive part");
589 auto *PhiR = cast<VPReductionPHIRecipe>(
getOperand(0));
590 auto *OrigPhi = cast<PHINode>(PhiR->getUnderlyingValue());
596 Type *PhiTy = OrigPhi->getType();
601 for (
unsigned Part = 0; Part < UF; ++Part)
602 RdxParts[Part] = State.
get(
getOperand(1 + Part), PhiR->isInLoop());
610 for (
unsigned Part = 0; Part < UF; ++Part)
611 RdxParts[Part] = Builder.
CreateTrunc(RdxParts[Part], RdxVecTy);
614 Value *ReducedPartRdx = RdxParts[0];
617 Op = Instruction::Or;
619 if (PhiR->isOrdered()) {
620 ReducedPartRdx = RdxParts[UF - 1];
625 for (
unsigned Part = 1; Part < UF; ++Part) {
626 Value *RdxPart = RdxParts[Part];
627 if (
Op != Instruction::ICmp &&
Op != Instruction::FCmp)
634 ReducedPartRdx =
createMinMaxOp(Builder, RK, ReducedPartRdx, RdxPart);
654 return ReducedPartRdx;
658 unsigned Offset = CI->getZExtValue();
659 assert(
Offset > 0 &&
"Offset from end must be positive");
663 "invalid offset to extract from");
667 assert(
Offset <= 1 &&
"invalid offset to extract from");
670 if (isa<ExtractElementInst>(Res))
681 "can only generate first lane for PtrAdd");
687 Value *IncomingFromVPlanPred =
689 Value *IncomingFromOtherPreds =
696 NewPhi->addIncoming(IncomingFromVPlanPred, VPlanPred);
698 if (OtherPred == VPlanPred)
700 NewPhi->addIncoming(IncomingFromOtherPreds, OtherPred);
725bool VPInstruction::isFPMathOp()
const {
728 return Opcode == Instruction::FAdd || Opcode == Instruction::FMul ||
729 Opcode == Instruction::FNeg || Opcode == Instruction::FSub ||
730 Opcode == Instruction::FDiv || Opcode == Instruction::FRem ||
731 Opcode == Instruction::FCmp || Opcode == Instruction::Select;
736 assert(!State.
Lane &&
"VPInstruction executing an Lane");
740 "Recipe not a FPMathOp but has fast-math flags?");
744 bool GeneratesPerFirstLaneOnly = canGenerateScalarForFirstLane() &&
747 bool GeneratesPerAllLanes = doesGeneratePerAllLanes();
748 if (GeneratesPerAllLanes) {
750 Lane != NumLanes; ++Lane) {
751 Value *GeneratedValue = generatePerLane(State,
VPLane(Lane));
752 assert(GeneratedValue &&
"generatePerLane must produce a value");
753 State.
set(
this, GeneratedValue,
VPLane(Lane));
758 Value *GeneratedValue = generate(State);
761 assert(GeneratedValue &&
"generate must produce a value");
765 "scalar value but not only first lane defined");
766 State.
set(
this, GeneratedValue,
767 GeneratesPerFirstLaneOnly);
778 case Instruction::ICmp:
779 case Instruction::Select:
780 case Instruction::Or:
804 case Instruction::ICmp:
805 case Instruction::Select:
815#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
823 O << Indent <<
"EMIT ";
835 O <<
"combined load";
838 O <<
"combined store";
841 O <<
"active lane mask";
847 O <<
"EXPLICIT-VECTOR-LENGTH";
850 O <<
"first-order splice";
853 O <<
"branch-on-cond";
856 O <<
"TC > VF ? TC - VF : 0";
862 O <<
"branch-on-count";
865 O <<
"extract-from-end";
868 O <<
"compute-reduction-result";
895 "Only PHINodes can have extra operands");
908 auto *Phi = cast<PHINode>(&I);
911 if (Phi->getBasicBlockIndex(PredBB) == -1)
912 Phi->addIncoming(V, PredBB);
914 Phi->setIncomingValueForBlock(PredBB, V);
929#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
932 O << Indent <<
"IR " << I;
935 O <<
" (extra operand" << (
getNumOperands() > 1 ?
"s" :
"") <<
": ";
966 assert(Variant !=
nullptr &&
"Can't create vector function.");
971 CI->getOperandBundlesAsDefs(OpBundles);
976 if (!V->getType()->isVoidTy())
989#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
992 O << Indent <<
"WIDEN-CALL ";
1004 O <<
" @" << CalledFn->
getName() <<
"(";
1010 O <<
" (using library function";
1012 O <<
": " << Variant->
getName();
1038 Args.push_back(Arg);
1046 "Can't retrieve vector intrinsic or vector-predication intrinsics.");
1051 CI->getOperandBundlesAsDefs(OpBundles);
1057 if (!V->getType()->isVoidTy())
1073 auto *V =
Op->getUnderlyingValue();
1120#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1123 O << Indent <<
"WIDEN-INTRINSIC ";
1153 Value *Mask =
nullptr;
1155 Mask = State.
get(VPMask);
1162 if (Opcode == Instruction::Sub)
1165 assert(Opcode == Instruction::Add &&
"only add or sub supported for now");
1201 {PtrTy, IncTy, MaskTy});
1209#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1212 O << Indent <<
"WIDEN-HISTOGRAM buckets: ";
1215 if (Opcode == Instruction::Sub)
1218 assert(Opcode == Instruction::Add);
1231 O << Indent <<
"WIDEN-SELECT ";
1257 State.
set(
this, Sel);
1281 [](
VPValue *
Op) {
return Op->getUnderlyingValue(); }))
1282 Operands.append(SI->op_begin(), SI->op_end());
1283 bool IsLogicalOr =
match(
this,
m_LogicalOr(m_VPValue(Op0), m_VPValue(Op1)));
1285 IsLogicalOr ? Instruction::Or : Instruction::And, VectorTy,
CostKind,
1286 {Op1VK, Op1VP}, {Op2VK, Op2VP},
Operands, SI);
1294 if (
auto *Cmp = dyn_cast<CmpInst>(SI->getCondition()))
1295 Pred = Cmp->getPredicate();
1301VPRecipeWithIRFlags::FastMathFlagsTy::FastMathFlagsTy(
1312#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1315 case OperationType::Cmp:
1318 case OperationType::DisjointOp:
1322 case OperationType::PossiblyExactOp:
1326 case OperationType::OverflowingBinOp:
1332 case OperationType::FPMathOp:
1335 case OperationType::GEPOp:
1343 case OperationType::NonNegOp:
1347 case OperationType::Other:
1357 auto &Builder = State.
Builder;
1359 case Instruction::Call:
1360 case Instruction::Br:
1361 case Instruction::PHI:
1362 case Instruction::GetElementPtr:
1363 case Instruction::Select:
1365 case Instruction::UDiv:
1366 case Instruction::SDiv:
1367 case Instruction::SRem:
1368 case Instruction::URem:
1369 case Instruction::Add:
1370 case Instruction::FAdd:
1371 case Instruction::Sub:
1372 case Instruction::FSub:
1373 case Instruction::FNeg:
1374 case Instruction::Mul:
1375 case Instruction::FMul:
1376 case Instruction::FDiv:
1377 case Instruction::FRem:
1378 case Instruction::Shl:
1379 case Instruction::LShr:
1380 case Instruction::AShr:
1381 case Instruction::And:
1382 case Instruction::Or:
1383 case Instruction::Xor: {
1391 if (
auto *VecOp = dyn_cast<Instruction>(V))
1399 case Instruction::Freeze: {
1403 State.
set(
this, Freeze);
1406 case Instruction::ICmp:
1407 case Instruction::FCmp: {
1409 bool FCmp = Opcode == Instruction::FCmp;
1438 "inferred type and type from generated instructions do not match");
1446 case Instruction::FNeg: {
1454 case Instruction::UDiv:
1455 case Instruction::SDiv:
1456 case Instruction::SRem:
1457 case Instruction::URem:
1460 case Instruction::Add:
1461 case Instruction::FAdd:
1462 case Instruction::Sub:
1463 case Instruction::FSub:
1464 case Instruction::Mul:
1465 case Instruction::FMul:
1466 case Instruction::FDiv:
1467 case Instruction::FRem:
1468 case Instruction::Shl:
1469 case Instruction::LShr:
1470 case Instruction::AShr:
1471 case Instruction::And:
1472 case Instruction::Or:
1473 case Instruction::Xor: {
1479 if (
RHS->isLiveIn())
1496 case Instruction::Freeze: {
1501 case Instruction::ICmp:
1502 case Instruction::FCmp: {
1524 "VPWidenEVLRecipe should not be used for scalars");
1527 Value *EVLArg = State.
get(EVL,
true);
1543 if (isa<FPMathOperator>(VPInst))
1544 setFlags(cast<Instruction>(VPInst));
1546 State.
set(
this, VPInst);
1551#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1554 O << Indent <<
"WIDEN ";
1563 O << Indent <<
"WIDEN ";
1573 auto &Builder = State.
Builder;
1580 State.
set(
this, Cast);
1582 if (
auto *CastOp = dyn_cast<Instruction>(Cast))
1597 if (isa<VPInterleaveRecipe>(R))
1599 if (
const auto *ReplicateRecipe = dyn_cast<VPReplicateRecipe>(R))
1602 const auto *WidenMemoryRecipe = dyn_cast<VPWidenMemoryRecipe>(R);
1603 if (WidenMemoryRecipe ==
nullptr)
1605 if (!WidenMemoryRecipe->isConsecutive())
1607 if (WidenMemoryRecipe->isReverse())
1609 if (WidenMemoryRecipe->isMasked())
1617 if ((Opcode == Instruction::Trunc || Opcode == Instruction::FPTrunc) &&
1619 if (
auto *StoreRecipe = dyn_cast<VPRecipeBase>(*
user_begin()))
1620 CCH = ComputeCCH(StoreRecipe);
1623 else if (Opcode == Instruction::ZExt || Opcode == Instruction::SExt ||
1624 Opcode == Instruction::FPExt) {
1640#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1643 O << Indent <<
"WIDEN-CAST ";
1667 auto *ValVTy = cast<VectorType>(Val->
getType());
1672 "Induction Step must be an integer or FP");
1680 Type *InitVecValSTy =
1691 Step = Builder.
CreateMul(InitVec, Step);
1692 return Builder.
CreateAdd(Val, Step,
"induction");
1696 assert((BinOp == Instruction::FAdd || BinOp == Instruction::FSub) &&
1697 "Binary Opcode should be specified for FP induction");
1702 return Builder.
CreateBinOp(BinOp, Val, MulOp,
"induction");
1709 : ConstantFP::get(Ty,
C);
1713 assert(!State.
Lane &&
"Int or FP induction being replicated.");
1720 "Types must match");
1729 if (
ID.getInductionBinOp() && isa<FPMathOperator>(
ID.getInductionBinOp()))
1735 assert((isa<PHINode>(EntryVal) || isa<TruncInst>(EntryVal)) &&
1736 "Expected either an induction phi-node or a truncate of it!");
1739 auto CurrIP = Builder.
saveIP();
1742 if (isa<TruncInst>(EntryVal)) {
1743 assert(Start->getType()->isIntegerTy() &&
1744 "Truncation requires an integer type");
1745 auto *TruncType = cast<IntegerType>(EntryVal->
getType());
1747 Start = Builder.
CreateCast(Instruction::Trunc, Start, TruncType);
1759 AddOp = Instruction::Add;
1760 MulOp = Instruction::Mul;
1762 AddOp =
ID.getInductionOpcode();
1763 MulOp = Instruction::FMul;
1770 SplatVF = State.
get(SplatVFOperand);
1793 State.
set(
this, VecInd);
1796 Builder.
CreateBinOp(AddOp, VecInd, SplatVF,
"vec.ind.next"));
1797 if (isa<TruncInst>(EntryVal))
1810#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1815 O <<
" = WIDEN-INDUCTION ";
1819 O <<
" (truncated to " << *TI->getType() <<
")";
1831 auto *CanIV = cast<VPCanonicalIVPHIRecipe>(&*
getParent()->begin());
1832 return StartC && StartC->isZero() && StepC && StepC->isOne() &&
1836#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1841 O <<
" = DERIVED-IV ";
1865 assert(BaseIVTy == Step->
getType() &&
"Types of BaseIV and Step must match!");
1872 AddOp = Instruction::Add;
1873 MulOp = Instruction::Mul;
1875 AddOp = InductionOpcode;
1876 MulOp = Instruction::FMul;
1885 Type *VecIVTy =
nullptr;
1886 Value *UnitStepVec =
nullptr, *SplatStep =
nullptr, *SplatIV =
nullptr;
1895 unsigned StartLane = 0;
1898 StartLane = State.
Lane->getKnownLane();
1899 EndLane = StartLane + 1;
1906 auto *InitVec = Builder.
CreateAdd(SplatStartIdx, UnitStepVec);
1920 for (
unsigned Lane = StartLane; Lane < EndLane; ++Lane) {
1926 "Expected StartIdx to be folded to a constant when VF is not "
1934#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1939 O <<
" = SCALAR-STEPS ";
1953 if (areAllOperandsInvariant()) {
1989 if (isIndexLoopInvariant(
I - 1))
2000 "NewGEP is not a pointer vector");
2001 State.
set(
this, NewGEP);
2006#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2009 O << Indent <<
"WIDEN-GEP ";
2010 O << (isPointerLoopInvariant() ?
"Inv" :
"Var");
2012 O <<
"[" << (isIndexLoopInvariant(
I) ?
"Inv" :
"Var") <<
"]";
2016 O <<
" = getelementptr";
2027 return IsScalable && (IsReverse || CurrentPart > 0)
2033 auto &Builder = State.
Builder;
2037 CurrentPart, Builder);
2041 if (IndexTy != RunTimeVF->
getType())
2045 ConstantInt::get(IndexTy, -(int64_t)CurrentPart), RunTimeVF);
2047 Value *LastLane = Builder.
CreateSub(ConstantInt::get(IndexTy, 1), RunTimeVF);
2051 ResultPtr = Builder.
CreateGEP(IndexedTy, ResultPtr, LastLane,
"",
2054 State.
set(
this, ResultPtr,
true);
2057#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2062 O <<
" = reverse-vector-pointer";
2070 auto &Builder = State.
Builder;
2074 CurrentPart, Builder);
2081 State.
set(
this, ResultPtr,
true);
2084#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2089 O <<
" = vector-pointer ";
2115 Value *Result =
nullptr;
2116 for (
unsigned In = 0; In < NumIncoming; ++In) {
2129 State.
set(
this, Result, OnlyFirstLaneUsed);
2148#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2151 O << Indent <<
"BLEND ";
2173 assert(!State.
Lane &&
"Reduction being replicated.");
2206 PrevInChain = NewRed;
2207 NextInChain = NewRed;
2213 NewRed, PrevInChain);
2218 State.
set(
this, NextInChain,
true);
2222 assert(!State.
Lane &&
"Reduction being replicated.");
2224 auto &Builder = State.
Builder;
2240 Mask = State.
get(CondOp);
2256 State.
set(
this, NewRed,
true);
2263 auto *VectorTy = cast<VectorType>(
toVectorTy(ElementTy, VF));
2271 "Any-of reduction not implemented in VPlan-based cost model currently.");
2273 (!cast<VPReductionPHIRecipe>(
getOperand(0))->isInLoop() ||
2275 "In-loop reduction not implemented in VPlan-based cost model currently.");
2278 "Inferred type and recurrence type mismatch.");
2293#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2296 O << Indent <<
"REDUCE ";
2311 O <<
" (with final reduction value stored in invariant address sank "
2318 O << Indent <<
"REDUCE ";
2335 O <<
" (with final reduction value stored in invariant address sank "
2344 if (
auto *PredR = dyn_cast<VPPredInstPHIRecipe>(U))
2345 return any_of(PredR->users(), [PredR](
const VPUser *U) {
2346 return !U->usesScalars(PredR);
2361#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2364 O << Indent << (IsUniform ?
"CLONE " :
"REPLICATE ");
2373 O <<
"@" << CB->getCalledFunction()->getName() <<
"(";
2392 "Codegen only implemented for first lane.");
2394 case Instruction::SExt:
2395 case Instruction::ZExt:
2396 case Instruction::Trunc: {
2407 State.
set(
this, generate(State),
VPLane(0));
2410#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2413 O << Indent <<
"SCALAR-CAST ";
2417 O <<
" to " << *ResultTy;
2422 assert(State.
Lane &&
"Branch on Mask works only on single instance.");
2424 unsigned Lane = State.
Lane->getKnownLane();
2426 Value *ConditionBit =
nullptr;
2429 ConditionBit = State.
get(BlockInMask);
2439 assert(isa<UnreachableInst>(CurrentTerminator) &&
2440 "Expected to replace unreachable terminator with conditional branch.");
2456 assert(State.
Lane &&
"Predicated instruction PHI works per instance.");
2461 assert(PredicatingBB &&
"Predicated block has no single predecessor.");
2463 "operand must be VPReplicateRecipe");
2478 State.
reset(
this, VPhi);
2480 State.
set(
this, VPhi);
2492 Phi->addIncoming(ScalarPredInst, PredicatedBB);
2496 State.
set(
this, Phi, *State.
Lane);
2503#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2506 O << Indent <<
"PHI-PREDICATED-INSTRUCTION ";
2516 const Align Alignment =
2528 "Inconsecutive memory access should not have the order.");
2549 cast<VectorType>(Ty), {},
CostKind, 0);
2560 auto &Builder = State.
Builder;
2562 Value *Mask =
nullptr;
2563 if (
auto *VPMask =
getMask()) {
2566 Mask = State.
get(VPMask);
2575 "wide.masked.gather");
2587 State.
set(
this, NewLI);
2590#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2593 O << Indent <<
"WIDEN ";
2605 Value *AllTrueMask =
2607 return Builder.
CreateIntrinsic(ValTy, Intrinsic::experimental_vp_reverse,
2608 {Operand, AllTrueMask, EVL},
nullptr,
Name);
2619 auto &Builder = State.
Builder;
2624 Value *Mask =
nullptr;
2626 Mask = State.
get(VPMask);
2636 nullptr,
"wide.masked.gather");
2641 Instruction::Load, DataTy,
Addr,
"vp.op.load"));
2649 State.
set(
this, Res);
2663 const Align Alignment =
2674 cast<VectorType>(Ty), {},
CostKind, 0);
2677#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2680 O << Indent <<
"WIDEN ";
2694 auto &Builder = State.
Builder;
2697 Value *Mask =
nullptr;
2698 if (
auto *VPMask =
getMask()) {
2701 Mask = State.
get(VPMask);
2706 Value *StoredVal = State.
get(StoredVPValue);
2725#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2728 O << Indent <<
"WIDEN store ";
2740 auto &Builder = State.
Builder;
2744 Value *StoredVal = State.
get(StoredValue);
2748 Value *Mask =
nullptr;
2750 Mask = State.
get(VPMask);
2757 if (CreateScatter) {
2759 Intrinsic::vp_scatter,
2760 {StoredVal, Addr, Mask, EVL});
2766 {StoredVal, Addr}));
2784 const Align Alignment =
2795 cast<VectorType>(Ty), {},
CostKind, 0);
2798#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2801 O << Indent <<
"WIDEN vp.store ";
2809 auto VF = DstVTy->getElementCount();
2810 auto *SrcVecTy = cast<VectorType>(V->getType());
2811 assert(VF == SrcVecTy->getElementCount() &&
"Vector dimensions do not match");
2812 Type *SrcElemTy = SrcVecTy->getElementType();
2813 Type *DstElemTy = DstVTy->getElementType();
2814 assert((
DL.getTypeSizeInBits(SrcElemTy) ==
DL.getTypeSizeInBits(DstElemTy)) &&
2815 "Vector elements must have same size");
2826 "Only one type should be a pointer type");
2828 "Only one type should be a floating point type");
2840 unsigned Factor = Vals.
size();
2841 assert(Factor > 1 &&
"Tried to interleave invalid number of vectors");
2845 for (
Value *Val : Vals)
2846 assert(Val->getType() == VecTy &&
"Tried to interleave mismatched types");
2851 if (VecTy->isScalableTy()) {
2853 return Builder.
CreateIntrinsic(WideVecTy, Intrinsic::vector_interleave2,
2862 const unsigned NumElts = VecTy->getElementCount().getFixedValue();
2896 assert(!State.
Lane &&
"Interleave group being replicated.");
2902 unsigned InterleaveFactor = Group->
getFactor();
2908 "Reversed masked interleave-group not supported.");
2912 if (
auto *
I = dyn_cast<Instruction>(ResAddr))
2928 bool InBounds =
false;
2930 InBounds = Gep->isInBounds();
2937 auto CreateGroupMask = [&BlockInMask, &State,
2938 &InterleaveFactor](
Value *MaskForGaps) ->
Value * {
2940 assert(!MaskForGaps &&
"Interleaved groups with gaps are not supported.");
2941 assert(InterleaveFactor == 2 &&
2942 "Unsupported deinterleave factor for scalable vectors");
2943 auto *ResBlockInMask = State.
get(BlockInMask);
2948 MaskTy, Intrinsic::vector_interleave2, Ops,
2949 nullptr,
"interleaved.mask");
2955 Value *ResBlockInMask = State.
get(BlockInMask);
2959 "interleaved.mask");
2961 ShuffledMask, MaskForGaps)
2967 if (isa<LoadInst>(Instr)) {
2968 Value *MaskForGaps =
nullptr;
2969 if (NeedsMaskForGaps) {
2972 assert(MaskForGaps &&
"Mask for Gaps is required but it is null");
2976 if (BlockInMask || MaskForGaps) {
2977 Value *GroupMask = CreateGroupMask(MaskForGaps);
2980 PoisonVec,
"wide.masked.vec");
2988 if (VecTy->isScalableTy()) {
2989 assert(InterleaveFactor == 2 &&
2990 "Unsupported deinterleave factor for scalable vectors");
2995 Intrinsic::vector_deinterleave2, VecTy, NewLoad,
2996 nullptr,
"strided.vec");
2998 for (
unsigned I = 0;
I < InterleaveFactor; ++
I) {
3006 if (Member->getType() != ScalarTy) {
3015 State.
set(VPDefs[J], StridedVec);
3025 for (
unsigned I = 0;
I < InterleaveFactor; ++
I) {
3038 if (Member->getType() != ScalarTy) {
3048 State.
set(VPDefs[J], StridedVec);
3058 Value *MaskForGaps =
3061 "masking gaps for scalable vectors is not yet supported.");
3065 unsigned StoredIdx = 0;
3066 for (
unsigned i = 0; i < InterleaveFactor; i++) {
3068 "Fail to get a member from an interleaved store group");
3078 Value *StoredVec = State.
get(StoredValues[StoredIdx]);
3086 if (StoredVec->
getType() != SubVT)
3095 if (BlockInMask || MaskForGaps) {
3096 Value *GroupMask = CreateGroupMask(MaskForGaps);
3098 IVec, ResAddr, Group->
getAlign(), GroupMask);
3106#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3109 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
" at ";
3110 IG->getInsertPos()->printAsOperand(O,
false);
3120 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
3121 if (!IG->getMember(i))
3124 O <<
"\n" << Indent <<
" store ";
3126 O <<
" to index " << i;
3128 O <<
"\n" << Indent <<
" ";
3130 O <<
" = load from index " << i;
3141 unsigned InsertPosIdx = 0;
3142 for (
unsigned Idx = 0; IG->getFactor(); ++
Idx)
3143 if (
auto *Member = IG->getMember(
Idx)) {
3144 if (Member == InsertPos)
3151 auto *VectorTy = cast<VectorType>(
toVectorTy(ValTy, VF));
3155 unsigned InterleaveFactor = IG->getFactor();
3160 for (
unsigned IF = 0; IF < InterleaveFactor; IF++)
3161 if (IG->getMember(IF))
3166 InsertPos->
getOpcode(), WideVecTy, IG->getFactor(), Indices,
3169 if (!IG->isReverse())
3172 return Cost + IG->getNumMembers() *
3174 VectorTy, std::nullopt,
CostKind, 0);
3177#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3180 O << Indent <<
"EMIT ";
3182 O <<
" = CANONICAL-INDUCTION ";
3188 return IsScalarAfterVectorization &&
3195 "Not a pointer induction according to InductionDescriptor!");
3197 "Unexpected type.");
3199 "Recipe should have been replaced");
3205 Type *ScStValueType = ScalarStartValue->
getType();
3208 PHINode *NewPointerPhi =
nullptr;
3209 if (CurrentPart == 0) {
3210 auto *IVR = cast<VPHeaderPHIRecipe>(&
getParent()
3212 ->getVectorLoopRegion()
3213 ->getEntryBasicBlock()
3215 PHINode *CanonicalIV = cast<PHINode>(State.
get(IVR,
true));
3218 NewPointerPhi->
addIncoming(ScalarStartValue, VectorPH);
3225 NewPointerPhi = cast<PHINode>(
GEP->getPointerOperand());
3238 if (CurrentPart == 0) {
3242 Value *NumUnrolledElems =
3250 NewPointerPhi->
addIncoming(InductionGEP, VectorPH);
3257 RuntimeVF, ConstantInt::get(PhiType, CurrentPart));
3258 Value *StartOffset =
3265 "scalar step must be the same across all parts");
3269 State.
VF, ScalarStepValue)),
3274#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3278 "unexpected number of operands");
3279 O << Indent <<
"EMIT ";
3281 O <<
" = WIDEN-POINTER-INDUCTION ";
3295 assert(!State.
Lane &&
"cannot be used in per-lane");
3303 "Results must match");
3316#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3319 O << Indent <<
"EMIT ";
3321 O <<
" = EXPAND SCEV " << *Expr;
3339 Value *CanonicalVectorIV = Builder.
CreateAdd(VStart, VStep,
"vec.iv");
3340 State.
set(
this, CanonicalVectorIV);
3343#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3346 O << Indent <<
"EMIT ";
3348 O <<
" = WIDEN-CANONICAL-INDUCTION ";
3354 auto &Builder = State.
Builder;
3359 ? VectorInit->getType()
3365 auto *One = ConstantInt::get(IdxTy, 1);
3369 auto *LastIdx = Builder.
CreateSub(RuntimeVF, One);
3377 Phi->addIncoming(VectorInit, VectorPH);
3378 State.
set(
this, Phi);
3397 cast<VectorType>(VectorTy), Mask,
CostKind,
3401#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3404 O << Indent <<
"FIRST-ORDER-RECURRENCE-PHI ";
3412 auto &Builder = State.
Builder;
3427 bool ScalarPHI = State.
VF.
isScalar() || IsInLoop;
3433 "recipe must be in the vector loop header");
3436 State.
set(
this, Phi, IsInLoop);
3440 Value *Iden =
nullptr;
3452 StartV = Iden = State.
get(StartVPV);
3475 if (CurrentPart == 0) {
3490 Phi = cast<PHINode>(State.
get(
this, IsInLoop));
3491 Value *StartVal = (CurrentPart == 0) ? StartV : Iden;
3492 Phi->addIncoming(StartVal, VectorPH);
3495#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3498 O << Indent <<
"WIDEN-REDUCTION-PHI ";
3503 if (VFScaleFactor != 1)
3504 O <<
" (VF scaled by 1/" << VFScaleFactor <<
")";
3510 "Non-native vplans are not expected to have VPWidenPHIRecipes.");
3515 State.
set(
this, VecPhi);
3518#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3521 O << Indent <<
"WIDEN-PHI ";
3546 Phi->addIncoming(StartMask, VectorPH);
3548 State.
set(
this, Phi);
3551#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3554 O << Indent <<
"ACTIVE-LANE-MASK-PHI ";
3562#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3565 O << Indent <<
"EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI ";
3577 Phi->addIncoming(Start, VectorPH);
3579 State.
set(
this, Phi,
true);
3582#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3585 O << Indent <<
"SCALAR-PHI ";
AMDGPU Lower Kernel Arguments
AMDGPU Register Bank Select
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static cl::opt< TargetTransformInfo::TargetCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(TargetTransformInfo::TCK_RecipThroughput), cl::values(clEnumValN(TargetTransformInfo::TCK_RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(TargetTransformInfo::TCK_Latency, "latency", "Instruction latency"), clEnumValN(TargetTransformInfo::TCK_CodeSize, "code-size", "Code size"), clEnumValN(TargetTransformInfo::TCK_SizeAndLatency, "size-latency", "Code size and latency")))
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
cl::opt< unsigned > ForceTargetInstructionCost("force-target-instruction-cost", cl::init(0), cl::Hidden, cl::desc("A flag that overrides the target's expected cost for " "an instruction to a single constant value. Mostly " "useful for getting consistent testing."))
mir Rename Register Operands
const SmallVectorImpl< MachineOperand > & Cond
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file defines the SmallVector class.
static SymbolRef::Type getType(const Symbol *Sym)
static Instruction * createReverseEVL(IRBuilderBase &Builder, Value *Operand, Value *EVL, const Twine &Name)
Use all-true mask for reverse rather than actual mask, as it avoids a dependence w/o affecting the re...
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)
cl::opt< unsigned > ForceTargetInstructionCost
static Value * getStepVector(Value *Val, Value *Step, Instruction::BinaryOps BinOp, ElementCount VF, IRBuilderBase &Builder)
This function adds (0 * Step, 1 * Step, 2 * Step, ...) to each vector element of Val.
static Type * getGEPIndexTy(bool IsScalable, bool IsReverse, unsigned CurrentPart, IRBuilderBase &Builder)
static Constant * getSignedIntOrFpConstant(Type *Ty, int64_t C)
A helper function that returns an integer or floating-point constant with value C.
static std::optional< unsigned > getOpcode(ArrayRef< VPValue * > Values)
Returns the opcode of Values or ~0 if they do not all agree.
This file contains the declarations of the Vectorization Plan base classes:
static const uint32_t IV[8]
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
static Attribute getWithAlignment(LLVMContext &Context, Align Alignment)
Return a uniquified Attribute object that has the specific alignment set.
LLVM Basic Block Representation.
const_iterator getFirstInsertionPt() const
Returns an iterator to the first instruction in this block that is suitable for inserting a non-PHI i...
InstListType::const_iterator getFirstNonPHIIt() const
Iterator returning form of getFirstNonPHI.
const BasicBlock * getSinglePredecessor() const
Return the predecessor of this block if it has a single predecessor block.
const DataLayout & getDataLayout() const
Get the data layout of the module this basic block belongs to.
InstListType::iterator iterator
Instruction iterators...
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction if the block is well formed or null if the block is not well forme...
const Module * getModule() const
Return the module owning the function this basic block belongs to, or nullptr if the function does no...
Conditional or Unconditional Branch instruction.
static BranchInst * Create(BasicBlock *IfTrue, InsertPosition InsertBefore=nullptr)
void setSuccessor(unsigned idx, BasicBlock *NewSucc)
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 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.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ ICMP_UGT
unsigned greater than
@ ICMP_ULT
unsigned less than
static StringRef getPredicateName(Predicate P)
This is the shared class of boolean and integer constants.
static ConstantInt * getSigned(IntegerType *Ty, int64_t V)
Return a ConstantInt with the specified value for the specified type.
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
This is an important base class in LLVM.
This class represents an Operation in the Expression.
A parsed version of the target data layout string in and methods for querying it.
constexpr bool isVector() const
One or more elements.
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
void setAllowContract(bool B=true)
bool noSignedZeros() const
void setAllowReciprocal(bool B=true)
bool allowReciprocal() const
void print(raw_ostream &O) const
Print fast-math flags to O.
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.
ArrayRef< Type * > params() const
FunctionType * getFunctionType() const
Returns the FunctionType for me.
bool willReturn() const
Determine if the function will return.
bool doesNotThrow() const
Determine if the function cannot unwind.
Type * getReturnType() const
Returns the type of the ret val.
bool hasNoUnsignedSignedWrap() const
bool hasNoUnsignedWrap() const
static GetElementPtrInst * Create(Type *PointeeType, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
Common base class shared among various IRBuilders.
ConstantInt * getInt1(bool V)
Get a constant value representing either true or false.
Value * CreateFCmp(CmpInst::Predicate P, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateInsertElement(Type *VecTy, Value *NewElt, Value *Idx, const Twine &Name="")
IntegerType * getInt1Ty()
Fetch the type representing a single bit.
Value * CreateSIToFP(Value *V, Type *DestTy, const Twine &Name="")
Value * CreateExtractElement(Value *Vec, Value *Idx, const Twine &Name="")
LoadInst * CreateAlignedLoad(Type *Ty, Value *Ptr, MaybeAlign Align, const char *Name)
Value * CreateZExtOrTrunc(Value *V, Type *DestTy, const Twine &Name="")
Create a ZExt or Trunc from the integer value V to DestTy.
Value * CreateVectorSplice(Value *V1, Value *V2, int64_t Imm, const Twine &Name="")
Return a vector splice intrinsic if using scalable vectors, otherwise return a shufflevector.
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="")
ConstantInt * getTrue()
Get the constant value for i1 true.
CallInst * CreateIntrinsic(Intrinsic::ID ID, ArrayRef< Type * > Types, ArrayRef< Value * > Args, Instruction *FMFSource=nullptr, const Twine &Name="")
Create a call to intrinsic ID with Args, mangled using Types.
CallInst * CreateMaskedLoad(Type *Ty, Value *Ptr, Align Alignment, Value *Mask, Value *PassThru=nullptr, const Twine &Name="")
Create a call to Masked Load intrinsic.
Value * CreateSelect(Value *C, Value *True, Value *False, const Twine &Name="", Instruction *MDFrom=nullptr)
BasicBlock::iterator GetInsertPoint() const
Value * CreateSExt(Value *V, Type *DestTy, const Twine &Name="")
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())
Value * CreateUIToFP(Value *V, Type *DestTy, const Twine &Name="", bool IsNonNeg=false)
BasicBlock * GetInsertBlock() const
void setFastMathFlags(FastMathFlags NewFMF)
Set the fast-math flags to be used with generated fp-math operators.
Value * CreateVectorReverse(Value *V, const Twine &Name="")
Return a vector value that contains the vector V reversed.
Value * CreateGEP(Type *Ty, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &Name="", GEPNoWrapFlags NW=GEPNoWrapFlags::none())
Value * CreateNeg(Value *V, const Twine &Name="", bool HasNSW=false)
CallInst * CreateOrReduce(Value *Src)
Create a vector int OR reduction intrinsic of the source vector.
InsertPoint saveIP() const
Returns the current insert point.
ConstantInt * getInt32(uint32_t C)
Get a constant 32-bit value.
Value * CreateBitOrPointerCast(Value *V, Type *DestTy, const Twine &Name="")
Value * CreateCmp(CmpInst::Predicate Pred, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
PHINode * CreatePHI(Type *Ty, unsigned NumReservedValues, const Twine &Name="")
Value * CreateNot(Value *V, const Twine &Name="")
Value * CreateICmpEQ(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateSub(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
BranchInst * CreateCondBr(Value *Cond, BasicBlock *True, BasicBlock *False, MDNode *BranchWeights=nullptr, MDNode *Unpredictable=nullptr)
Create a conditional 'br Cond, TrueDest, FalseDest' instruction.
Value * CreateNAryOp(unsigned Opc, ArrayRef< Value * > Ops, const Twine &Name="", MDNode *FPMathTag=nullptr)
Create either a UnaryOperator or BinaryOperator depending on Opc.
Value * CreateZExt(Value *V, Type *DestTy, const Twine &Name="", bool IsNonNeg=false)
Value * CreateShuffleVector(Value *V1, Value *V2, Value *Mask, const Twine &Name="")
LLVMContext & getContext() const
Value * CreateCast(Instruction::CastOps Op, Value *V, Type *DestTy, const Twine &Name="", MDNode *FPMathTag=nullptr)
CallInst * CreateMaskedStore(Value *Val, Value *Ptr, Align Alignment, Value *Mask)
Create a call to Masked Store intrinsic.
Value * CreateAdd(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
CallInst * CreateCall(FunctionType *FTy, Value *Callee, ArrayRef< Value * > Args={}, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateTrunc(Value *V, Type *DestTy, const Twine &Name="", bool IsNUW=false, bool IsNSW=false)
PointerType * getPtrTy(unsigned AddrSpace=0)
Fetch the type representing a pointer.
Value * CreateBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateLogicalAnd(Value *Cond1, Value *Cond2, const Twine &Name="")
void restoreIP(InsertPoint IP)
Sets the current insert point to a previously-saved location.
void SetInsertPoint(BasicBlock *TheBB)
This specifies that created instructions should be appended to the end of the specified block.
StoreInst * CreateAlignedStore(Value *Val, Value *Ptr, MaybeAlign Align, bool isVolatile=false)
Value * CreateICmp(CmpInst::Predicate P, Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateFMul(Value *L, Value *R, const Twine &Name="", MDNode *FPMD=nullptr)
IntegerType * getInt8Ty()
Fetch the type representing an 8-bit integer.
Value * CreateStepVector(Type *DstType, const Twine &Name="")
Creates a vector of type DstType with the linear sequence <0, 1, ...>
Value * CreateMul(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
CallInst * CreateMaskedScatter(Value *Val, Value *Ptrs, Align Alignment, Value *Mask=nullptr)
Create a call to Masked Scatter intrinsic.
CallInst * CreateMaskedGather(Type *Ty, Value *Ptrs, Align Alignment, Value *Mask=nullptr, Value *PassThru=nullptr, const Twine &Name="")
Create a call to Masked Gather intrinsic.
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
A struct for saving information about induction variables.
@ IK_PtrInduction
Pointer induction var. Step = C.
This instruction inserts a single (scalar) element into a VectorType value.
VectorType * getType() const
Overload to return most specific vector type.
static InstructionCost getInvalid(CostType Val=0)
void insertBefore(Instruction *InsertPos)
Insert an unlinked instruction into a basic block immediately before the specified instruction.
InstListType::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
FastMathFlags getFastMathFlags() const LLVM_READONLY
Convenience function for getting all the fast-math flags, which must be an operator which supports th...
const char * getOpcodeName() const
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
void setDebugLoc(DebugLoc Loc)
Set the debug location information for this instruction.
static IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
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.
BlockT * getHeader() const
void print(raw_ostream &OS, const SlotIndexes *=nullptr, bool IsStandalone=true) const
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 PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
The RecurrenceDescriptor is used to identify recurrences variables in a loop.
FastMathFlags getFastMathFlags() const
static unsigned getOpcode(RecurKind Kind)
Returns the opcode corresponding to the RecurrenceKind.
Type * getRecurrenceType() const
Returns the type of the recurrence.
TrackingVH< Value > getRecurrenceStartValue() 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 bool isFindLastIVRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is of the form select(cmp(),x,y) where one of (x,...
bool isSigned() const
Returns true if all source operands of the recurrence are SExtInsts.
RecurKind getRecurrenceKind() const
StoreInst * IntermediateStore
Reductions may store temporary or final result to an invariant address.
static bool isMinMaxRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is any min/max kind.
This class uses information about analyze scalars to rewrite expressions in canonical form.
Type * getType() const
Return the LLVM type of this SCEV expression.
This class represents the LLVM 'select' instruction.
This class provides computation of slot numbers for LLVM Assembly writing.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
This class represents a truncation of integer types.
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 isVectorTy() const
True if this is an instance of VectorType.
bool isPointerTy() const
True if this is an instance of PointerType.
static IntegerType * getInt1Ty(LLVMContext &C)
static IntegerType * getIntNTy(LLVMContext &C, unsigned N)
unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
static Type * getVoidTy(LLVMContext &C)
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
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.
TypeID getTypeID() const
Return the type id for the type.
bool isVoidTy() const
Return true if this is 'void'.
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
value_op_iterator value_op_end()
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 print(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.
void insert(VPRecipeBase *Recipe, iterator InsertPt)
void print(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 VPWidenMemoryRecipe.
VPValue * getIncomingValue(unsigned Idx) const
Return incoming value number Idx.
VPValue * getMask(unsigned Idx) const
Return mask number Idx.
unsigned getNumIncomingValues() const
Return the number of incoming values, taking into account when normalized the first incoming value wi...
void execute(VPTransformState &State) override
Generate the phi/select nodes.
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.
VPRegionBlock * getParent()
const VPBasicBlock * getExitingBasicBlock() const
const VPBlocksTy & getPredecessors() const
const VPBasicBlock * getEntryBasicBlock() const
VPValue * getMask() const
Return the mask used by this recipe.
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.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
This class augments a recipe with a set of VPValues defined by the recipe.
void dump() const
Dump the VPDef to stderr (for debugging).
unsigned getNumDefinedValues() const
Returns the number of values defined by the VPDef.
ArrayRef< VPValue * > definedValues()
Returns an ArrayRef of the 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.
unsigned getVPDefID() const
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getStepValue() const
VPValue * getStartValue() const
void print(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.
void print(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.
VPValue * getMask() const
Return the mask operand if one was provided, or a null pointer if all lanes should be executed uncond...
void print(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,...
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPIRInstruction.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
@ ResumePhi
Creates a scalar phi in a leaf VPBB with a single predecessor in VPlan.
@ FirstOrderRecurrenceSplice
@ CanonicalIVIncrementForPart
@ CalculateTripCountMinusVF
LLVM_DUMP_METHOD void dump() const
Print the VPInstruction to dbgs() (for debugging).
unsigned getOpcode() const
bool onlyFirstPartUsed(const VPValue *Op) const override
Returns true if the recipe only uses the first part of operand Op.
bool isVectorToScalar() const
Returns true if this VPInstruction produces a scalar value from a vector, e.g.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the VPInstruction to O.
bool onlyFirstLaneUsed(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
bool isSingleScalar() const
Returns true if this VPInstruction's operands are single scalars and the result is also a single scal...
void execute(VPTransformState &State) override
Generate the instruction.
VPValue * getAddr() const
Return the address accessed by this recipe.
VPValue * getMask() const
Return the mask used by this recipe.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the wide load or store, and shuffles.
ArrayRef< VPValue * > getStoredValues() const
Return the VPValues stored by this interleave group.
Instruction * getInsertPos() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPInterleaveRecipe.
unsigned getNumStoreOperands() const
Returns the number of stored operands of this interleave group.
static bool isVPIntrinsic(Intrinsic::ID)
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()
void execute(VPTransformState &State) override
Generate the reduction in the loop.
void print(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 VPPartialReductionRecipe.
unsigned getOpcode() const
Get the binary op's opcode.
void execute(VPTransformState &State) override
Generates phi nodes for live-outs (from a replicate region) as needed to retain SSA form.
void print(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.
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.
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...
void removeFromParent()
This method unlinks 'this' from the containing basic block, but does not delete it.
void moveAfter(VPRecipeBase *MovePos)
Unlink this recipe from its current VPBasicBlock and insert it into the VPBasicBlock that MovePos liv...
Class to record LLVM IR flag for a recipe along with it.
NonNegFlagsTy NonNegFlags
GEPNoWrapFlags getGEPNoWrapFlags() const
void setFlags(Instruction *I) const
Set the IR flags for I.
bool hasFastMathFlags() const
Returns true if the recipe has fast-math flags.
DisjointFlagsTy DisjointFlags
bool hasNoUnsignedWrap() const
void printFlags(raw_ostream &O) const
CmpInst::Predicate getPredicate() const
bool hasNoSignedWrap() const
FastMathFlags getFastMathFlags() const
void execute(VPTransformState &State) override
Generate the reduction in the loop.
VPValue * getEVL() const
The VPValue of the explicit vector length.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void print(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.
const RecurrenceDescriptor & getRecurrenceDescriptor() const
Return the recurrence decriptor for the in-loop reduction.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getCondOp() const
The VPValue of the condition for the block.
bool isOrdered() const
Return true if the in-loop reduction is ordered.
VPValue * getChainOp() const
The VPValue of the scalar Chain being accumulated.
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...
const VPBlockBase * getEntry() const
void print(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 VPReplicateRecipe.
unsigned getOpcode() const
bool shouldPack() const
Returns true if the recipe is used by a widened recipe via an intervening VPPredInstPHIRecipe.
void print(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 print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getStepValue() const
void execute(VPTransformState &State) override
Generate the scalarized versions of the phi node as needed by their users.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the phi/select nodes.
Instruction * getUnderlyingInstr()
Returns the underlying instruction.
LLVM_DUMP_METHOD void dump() const
Print this VPSingleDefRecipe to dbgs() (for debugging).
This class can be used to assign names to VPValues.
LLVMContext & getContext()
Return the LLVMContext used by the analysis.
Type * inferScalarType(const VPValue *V)
Infer the type of V. Returns the scalar type of V.
VPValue * getUnrollPartOperand(VPUser &U) const
Return the VPValue operand containing the unroll part or null if there is no such operand.
unsigned getUnrollPart(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
virtual bool onlyFirstLaneUsed(const VPValue *Op) const
Returns true if the VPUser only uses the first lane of operand Op.
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop region.
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
friend class VPInstruction
bool hasMoreThanOneUniqueUser() const
Returns true if the value has more than one unique user.
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
user_iterator user_begin()
unsigned getNumUsers() const
Value * getLiveInIRValue()
Returns the underlying IR value, if this VPValue is defined outside the scope of VPlan.
bool isLiveIn() const
Returns true if this VPValue is a live-in, i.e. defined outside the VPlan.
void print(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 print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
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.
operand_range arg_operands()
void execute(VPTransformState &State) override
Generate a canonical vector induction variable of the vector loop, with start = {<Part*VF,...
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Type * getResultType() const
Returns the result type of the cast.
void execute(VPTransformState &State) override
Produce widened copies of the cast.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenCastRecipe.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override final
Print the recipe.
void execute(VPTransformState &State) override final
Produce a vp-intrinsic using the opcode and operands of the recipe, processing EVL elements.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the gep nodes.
PHINode * getPHINode() const
VPValue * getStepValue()
Returns the step value of the induction.
const InductionDescriptor & getInductionDescriptor() const
Returns the induction descriptor for the recipe.
TruncInst * getTruncInst()
Returns the first defined value as TruncInst, if it is one or nullptr otherwise.
void execute(VPTransformState &State) override
Generate the vectorized and scalarized versions of the phi node as needed by their users.
Type * getScalarType() const
Returns the scalar type of the induction.
bool isCanonical() const
Returns true if the induction is canonical, i.e.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getSplatVFValue()
bool onlyFirstLaneUsed(const VPValue *Op) const override
Returns true if the VPUser only uses the first lane of operand Op.
StringRef getIntrinsicName() const
Return to name of the intrinsic as string.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Type * getResultType() const
Return the scalar return type of the intrinsic.
void execute(VPTransformState &State) override
Produce a widened version of the vector intrinsic.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this vector intrinsic.
bool IsMasked
Whether the memory access is masked.
bool Reverse
Whether the consecutive accessed addresses are in reverse order.
bool isConsecutive() const
Return whether the loaded-from / stored-to addresses are consecutive.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenMemoryRecipe.
bool Consecutive
Whether the accessed addresses are consecutive.
VPValue * getMask() const
Return the mask used by this recipe.
VPValue * getAddr() const
Return the address accessed by this recipe.
bool isReverse() const
Return whether the consecutive loaded/stored addresses are in reverse order.
void print(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.
VPValue * getFirstUnrolledPartOperand()
Returns the VPValue representing the value of this induction at the first unrolled part,...
void execute(VPTransformState &State) override
Generate vector values for the pointer induction.
void print(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 print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getOpcode() const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
void setName(const Twine &Name)
Change the name of the value.
const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
LLVMContext & getContext() const
All values hold a context through their type.
StringRef getName() const
Return a constant reference to the value's name.
VectorBuilder & setEVL(Value *NewExplicitVectorLength)
VectorBuilder & setMask(Value *NewMask)
Value * createVectorInstruction(unsigned Opcode, Type *ReturnTy, ArrayRef< Value * > VecOpArray, const Twine &Name=Twine())
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 VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
static VectorType * getDoubleElementsVectorType(VectorType *VTy)
This static method returns a VectorType with twice as many elements as the input type and the same el...
Type * getElementType() const
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
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()
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.
@ C
The default llvm calling convention, compatible with C.
Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > Tys={})
Look up the Function declaration of the intrinsic id in the Module M.
StringRef getBaseName(ID id)
Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm....
bool match(Val *V, const Pattern &P)
auto m_LogicalOr()
Matches L || R where L and R are arbitrary values.
auto m_LogicalAnd()
Matches L && R where L and R are arbitrary values.
bool isUniformAfterVectorization(const VPValue *VPV)
Returns true if VPV is uniform after vectorization.
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.
This is an optimization pass for GlobalISel generic memory operations.
void ReplaceInstWithInst(BasicBlock *BB, BasicBlock::iterator &BI, Instruction *I)
Replace the instruction specified by BI with the instruction specified by I.
Value * createSimpleReduction(IRBuilderBase &B, Value *Src, RecurKind RdxKind)
Create a reduction of the given vector.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
unsigned getLoadStoreAddressSpace(const Value *I)
A helper function that returns the address space of the pointer operand of load or store instruction.
Intrinsic::ID getMinMaxReductionIntrinsicOp(Intrinsic::ID RdxID)
Returns the min/max intrinsic used when expanding a min/max reduction.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
const Value * getLoadStorePointerOperand(const Value *V)
A helper function that returns the pointer operand of a load or store instruction.
Value * getRuntimeVF(IRBuilderBase &B, Type *Ty, ElementCount VF)
Return the runtime value for VF.
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
void interleaveComma(const Container &c, StreamT &os, UnaryFunctor each_fn)
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.
Value * createMinMaxOp(IRBuilderBase &Builder, RecurKind RK, Value *Left, Value *Right)
Returns a Min/Max operation corresponding to MinMaxRecurrenceKind.
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
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::SmallVector< int, 16 > createStrideMask(unsigned Start, unsigned Stride, unsigned VF)
Create a stride shuffle mask.
cl::opt< bool > EnableVPlanNativePath("enable-vplan-native-path", cl::Hidden, cl::desc("Enable VPlan-native vectorization path with " "support for outer loop vectorization."))
llvm::SmallVector< int, 16 > createReplicatedMask(unsigned ReplicationFactor, unsigned VF)
Create a mask with replicated elements.
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool isPointerTy(const Type *T)
Value * createOrderedReduction(IRBuilderBase &B, const RecurrenceDescriptor &Desc, Value *Src, Value *Start)
Create an ordered reduction intrinsic using the given recurrence descriptor Desc.
Value * createReduction(IRBuilderBase &B, const RecurrenceDescriptor &Desc, Value *Src, PHINode *OrigPhi=nullptr)
Create a generic reduction using a recurrence descriptor Desc Fast-math-flags are propagated using th...
llvm::SmallVector< int, 16 > createInterleaveMask(unsigned VF, unsigned NumVecs)
Create an interleave shuffle mask.
RecurKind
These are the kinds of recurrences that we support.
@ Mul
Product of integers.
@ SMax
Signed integer max implemented in terms of select(cmp()).
bool isVectorIntrinsicWithScalarOpAtArg(Intrinsic::ID ID, unsigned ScalarOpdIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic has a scalar operand.
Value * getRecurrenceIdentity(RecurKind K, Type *Tp, FastMathFlags FMF)
Given information about an recurrence kind, return the identity for the @llvm.vector....
DWARFExpression::Operation Op
Value * createStepForVF(IRBuilderBase &B, Type *Ty, ElementCount VF, int64_t Step)
Return a value for Step multiplied by VF.
auto predecessors(const MachineBasicBlock *BB)
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.
Type * toVectorTy(Type *Scalar, ElementCount EC)
A helper function for converting Scalar types to vector types.
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.
TargetTransformInfo::OperandValueInfo getOperandInfo(VPValue *V) const
Returns the OperandInfo for V, if it is a live-in.
bool skipCostComputation(Instruction *UI, bool IsVector) const
Return true if the cost for UI shouldn't be computed, e.g.
InstructionCost getLegacyCost(Instruction *UI, ElementCount VF) const
Return the cost for UI with VF using the legacy cost model as fallback until computing the cost of al...
const TargetLibraryInfo & TLI
const TargetTransformInfo & TTI
SmallPtrSet< Instruction *, 8 > SkipCostComputation
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 print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the wide load or gather.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenLoadEVLRecipe.
VPValue * getEVL() const
Return the EVL operand.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate a wide load or gather.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
bool isInvariantCond() const
VPValue * getCond() const
void print(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 VPWidenSelectRecipe.
void execute(VPTransformState &State) override
Produce a widened version of the select instruction.
VPValue * getStoredValue() const
Return the address accessed by this recipe.
void execute(VPTransformState &State) override
Generate the wide store or scatter.
void print(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 VPWidenStoreEVLRecipe.
VPValue * getEVL() const
Return the EVL operand.
void execute(VPTransformState &State) override
Generate a wide store or scatter.
VPValue * getStoredValue() const
Return the value stored by this recipe.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.