66 "llvm.loop.vectorize.followup_vectorized";
68 "llvm.loop.vectorize.followup_epilogue";
73 cl::desc(
"Use dot format instead of plain text when dumping VPlans"));
75#define DEBUG_TYPE "loop-vectorize"
77#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
91 return Builder.CreateSub(
getRuntimeVF(Builder, Builder.getInt32Ty(), VF),
94 return Builder.getInt64(Lane);
99#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
110 (Instr && Instr->getParent()) ? Instr->getParent()->getPlan() :
nullptr);
123bool VPRecipeValue::isDefinedBy(
const VPDef *
D)
const {
133 return MultiDef->getDef();
164 "trying to delete a VPRecipeValue with remaining users");
169 assert(Def &&
"VPSingleDefValue requires a defining recipe");
170 Def->addDefinedValue(
this);
179 assert(Def &&
"VPMultiDefValue requires a defining recipe");
180 Def->addDefinedValue(
this);
218 if (!Successors.empty() || !Parent)
220 assert(Parent->getExiting() ==
this &&
221 "Block w/o successors not the exiting block of its parent.");
222 return Parent->getEnclosingBlockWithSuccessors();
226 if (!Predecessors.empty() || !Parent)
228 assert(Parent->getEntry() ==
this &&
229 "Block w/o predecessors not the entry of its parent.");
230 return Parent->getEnclosingBlockWithPredecessors();
235 while (It !=
end() && It->isPhi())
250 "VPRegionValue must be materialized before VPTransformState::get");
252 return Def->getUnderlyingValue();
259 return Data.VPV2Scalars[Def][0];
270 auto *VecPart =
Data.VPV2Vector[Def];
271 if (!VecPart->getType()->isVectorTy()) {
277 auto *Extract =
Builder.CreateExtractElement(VecPart, LaneV);
284 "VPRegionValue must be materialized before VPTransformState::get");
289 Data.VPV2Scalars[Def].size() == 1)) &&
290 "Trying to access a single scalar per part but has multiple scalars "
297 return Data.VPV2Vector[Def];
299 auto GetBroadcastInstrs = [
this](
Value *V) {
314 if (
auto InsertPt = LastInst->getInsertionPointAfterDef())
315 Builder.SetInsertPoint(*InsertPt);
316 Value *VectorValue = GetBroadcastInstrs(ScalarValue);
317 set(Def, VectorValue);
328 ->shouldEmitDebugInfoForProfiling() &&
331 unsigned UF =
Plan->getConcreteUF();
335 Builder.SetCurrentDebugLocation(*NewDIL);
338 << DIL->getFilename() <<
" Line: " << DIL->getLine());
350 for (
unsigned I = 0, E = StructTy->getNumElements();
I != E;
I++) {
351 Value *ScalarValue =
Builder.CreateExtractValue(ScalarInst,
I);
352 Value *VectorValue =
Builder.CreateExtractValue(WideValue,
I);
354 Builder.CreateInsertElement(VectorValue, ScalarValue, LaneExpr);
355 WideValue =
Builder.CreateInsertValue(WideValue, VectorValue,
I);
358 WideValue =
Builder.CreateInsertElement(WideValue, ScalarInst, LaneExpr);
377 Value *Phi =
get(PhiR, NeedsScalar);
378 Value *Val =
get(PhiR->getOperand(1), NeedsScalar);
385 auto &
CFG = State.CFG;
397 auto &
CFG = State.CFG;
402 Loop *ParentLoop = State.CurrentParentLoop;
407 SuccOrExitVPB = SuccOrExitVPB ? SuccOrExitVPB :
this;
408 if (State.Plan->isExitBlock(SuccOrExitVPB)) {
409 ParentLoop = State.LI->getLoopFor(
413 if (ParentLoop && !State.LI->getLoopFor(NewBB))
426 VPBasicBlock *PredVPBB = PredVPBlock->getExitingBasicBlock();
428 assert(
CFG.VPBB2IRBB.contains(PredVPBB) &&
429 "Predecessor basic-block not found building successor.");
435 assert(PredVPSuccessors.size() == 1 &&
436 "Predecessor ending w/o branch must have single successor.");
437 DebugLoc DL = PredBBTerminator->getDebugLoc();
438 PredBBTerminator->eraseFromParent();
442 UBI->setSuccessor(NewBB);
451 unsigned idx = PredVPSuccessors.front() ==
this ? 0 : 1;
453 assert((!TermBr->getSuccessor(idx) ||
455 (TermBr->getSuccessor(idx) == NewBB ||
456 PredVPBlock ==
getPlan()->getEntry()))) &&
457 "Trying to reset an existing successor block.");
458 TermBr->setSuccessor(idx, NewBB);
466 "VPIRBasicBlock can have at most two successors at the moment!");
469 IRBB->moveAfter(State->CFG.PrevBB);
470 State->Builder.SetInsertPoint(IRBB->getTerminator());
471 State->CFG.PrevBB = IRBB;
472 State->CFG.VPBB2IRBB[
this] = IRBB;
477 auto *Br = State->Builder.CreateBr(IRBB);
478 Br->setOperand(0,
nullptr);
479 IRBB->getTerminator()->eraseFromParent();
483 "other blocks must be terminated by a branch");
499 Loop *PrevParentLoop = State->CurrentParentLoop;
500 State->CurrentParentLoop = State->LI->AllocateLoop();
507 State->LI->addTopLevelLoop(State->CurrentParentLoop);
511 BasicBlock *NewBB = createEmptyBasicBlock(*State);
513 State->Builder.SetInsertPoint(NewBB);
516 State->Builder.SetInsertPoint(Terminator);
518 State->CFG.PrevBB = NewBB;
519 State->CFG.VPBB2IRBB[
this] = NewBB;
527 State->CurrentParentLoop = State->CurrentParentLoop->getParentLoop();
539 <<
" in BB: " << BB->
getName() <<
'\n');
541 State->CFG.PrevVPBB =
this;
544 State->setDebugLocFrom(Recipe.getDebugLoc());
545 Recipe.execute(*State);
552 assert((SplitAt ==
end() || SplitAt->getParent() ==
this) &&
553 "can only split at a position in the same block");
561 if (ParentRegion && ParentRegion->getExiting() ==
this)
575 if (
P &&
P->isReplicator()) {
579 assert((!
P || !
P->isReplicator()) &&
"unexpected nested replicate regions");
596 "block with multiple successors doesn't have a recipe as terminator");
601 [[maybe_unused]]
bool IsSwitch =
611 "block with multiple successors not terminated by "
612 "conditional branch nor switch recipe");
618 assert((IsSwitch || IsBranchOnTwoConds) &&
619 "block with more than 2 successors not terminated by a switch or "
620 "branch-on-two-conds recipe");
626 "block with 0 or 1 successors terminated by conditional branch recipe");
646#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
654 O << Indent <<
"No successors\n";
656 O << Indent <<
"Successor(s): ";
659 O << LS << Succ->getName();
666 O << Indent <<
getName() <<
":\n";
668 auto RecipeIndent = Indent +
" ";
678std::pair<VPBlockBase *, VPBlockBase *>
686 Old2NewVPBlocks[BB] = NewBB;
687 if (InRegion && BB->getNumSuccessors() == 0) {
688 assert(!Exiting &&
"Multiple exiting blocks?");
692 assert((!InRegion || Exiting) &&
"regions must have a single exiting block");
699 NewPreds.
push_back(Old2NewVPBlocks[Pred]);
704 NewSuccs.
push_back(Old2NewVPBlocks[Succ]);
712 for (
const auto &[OldBB, NewBB] :
715 for (
const auto &[OldPred, NewPred] :
716 zip(OldBB->getPredecessors(), NewBB->getPredecessors()))
717 assert(NewPred == Old2NewVPBlocks[OldPred] &&
"Different predecessors");
719 for (
const auto &[OldSucc, NewSucc] :
720 zip(OldBB->successors(), NewBB->successors()))
721 assert(NewSucc == Old2NewVPBlocks[OldSucc] &&
"Different successors");
725 return std::make_pair(Old2NewVPBlocks[Entry],
726 Exiting ? Old2NewVPBlocks[Exiting] :
nullptr);
732 "not a valid replicating region");
740 VPRegionBlock *NewRegion =
742 getName(), NewEntry, NewExiting)
743 : Plan.createReplicateRegion(NewEntry, NewExiting,
getName());
749 NewRegion->CanIVInfo->clearNUW();
752 Block->setParent(NewRegion);
763 Cost += R.cost(VF, Ctx);
774 "must be in the entry block of a non-replicate region");
776 "loop region has a single predecessor (preheader), its entry block "
777 "has 2 incoming blocks");
781 Pred = Idx == 0 ?
Region->getSinglePredecessor() :
Region;
783 return Pred->getExitingBasicBlock();
795 LLVM_DEBUG(
dbgs() <<
"Cost of " <<
C <<
" for VF " << VF <<
": " << Name
799 AddCost(Ctx.TTI.getCFInstrCost(Instruction::UncondBr, Ctx.CostKind),
800 "vector loop backedge");
802 AddCost(Ctx.TTI.getArithmeticInstrCost(
804 "canonical IV increment");
816 assert(VF.
isVector() &&
"Can only compute vector cost at the moment.");
818 return Then->cost(VF, Ctx);
821#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
825 auto NewIndent = Indent +
" ";
829 O <<
" = CANONICAL-IV\n";
833 O <<
" = HEADER-MASK\n";
839 O << Indent <<
"}\n";
849 if (!CanIV->user_empty()) {
851 auto *Zero = Plan.getZero(CanIV->getType());
854 VPBuilder HeaderBuilder(Header, Header->begin());
874 assert(CanIV &&
"Expected a canonical IV");
880 "VFxUF can be used only before it is materialized.");
882 return VPBuilder(ExitingLatch->getTerminator())
889 : VectorTripCount(IdxTy), VF(IdxTy), UF(IdxTy), VFxUF(IdxTy) {
894 L->getUniqueExitBlocks(IRExitBlocks);
906 for (
unsigned I = 0, E = R.getNumOperands();
I != E;
I++)
907 R.setOperand(
I, &DummyValue);
909 for (
auto [Idx, VPB] :
enumerate(CreatedBlocks)) {
910 assert(VPB->getNumber() == Idx &&
"block with mismatched number");
915 delete BackedgeTakenCount;
930 "all region blocks must be dissolved before ::execute");
933 State->CFG.PrevVPBB =
nullptr;
934 State->CFG.ExitBB = State->CFG.PrevBB->getSingleSuccessor();
938 State->VPDT.recalculate(*
this);
941 BasicBlock *VectorPreHeader = State->CFG.PrevBB;
943 State->CFG.DTU.applyUpdates(
961 State->CFG.DTU.applyUpdates(
969 Block->execute(State);
982 Loop *L = State->LI->getLoopFor(BB);
984 [L](
BasicBlock *Succ) {
return L->contains(Succ); }))
990 Loop *SuccLoop = State->LI->getLoopFor(Succ);
996 Target = State->LI->getSmallestCommonLoop(
Target, SuccLoop);
998 State->LI->removeBlock(BB);
1000 Target->addBasicBlockToLoop(BB, *State->LI);
1005 if (!ScalarPhVPBB) {
1011 if (R.getNumOperands() == 1)
1012 R.eraseFromParent();
1022 State->LI->erase(*OrigLoop->
begin());
1023 State->LI->erase(OrigLoop);
1024 for (
auto *BB : Blocks)
1025 State->LI->removeBlock(BB);
1029 State->CFG.DTU.flush();
1032 State->fixupHeaderPhis();
1062 B =
B->hasSuccessors() ?
B->getSuccessors().back() :
nullptr)
1064 return R->isReplicator() ? nullptr : R;
1074 assert(LoopRegion &&
"expected a vector loop region");
1080#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1084 if (!VF.user_empty()) {
1090 if (!UF.user_empty()) {
1096 if (!VFxUF.user_empty()) {
1102 if (!VectorTripCount.user_empty()) {
1105 O <<
" = vector-trip-count";
1108 if (BackedgeTakenCount && !BackedgeTakenCount->user_empty()) {
1110 BackedgeTakenCount->printAsOperand(O,
SlotTracker);
1111 O <<
" = backedge-taken count";
1115 if (TripCount && !TripCount->user_empty()) {
1119 O <<
" = original trip-count";
1128 O <<
"VPlan '" <<
getName() <<
"' {";
1145 RSO << Name <<
" for ";
1147 RSO <<
"VF={" << VFs[0];
1156 RSO <<
"UF={" << UFs[0];
1183 NewDeepRPOT(NewEntry);
1186 for (
const auto &[OldBB, NewBB] :
1189 assert(OldBB->getRecipeList().size() == NewBB->getRecipeList().size() &&
1190 "blocks must have the same number of recipes");
1191 for (
const auto &[OldR, NewR] :
zip(*OldBB, *NewBB)) {
1192 assert(OldR.getNumOperands() == NewR.getNumOperands() &&
1193 "recipes must have the same number of operands");
1194 assert(OldR.getNumDefinedValues() == NewR.getNumDefinedValues() &&
1195 "recipes must define the same number of operands");
1196 for (
const auto &[OldV, NewV] :
1197 zip(OldR.definedValues(), NewR.definedValues()))
1198 Old2NewVPValues[OldV] = NewV;
1206 for (
unsigned I = 0,
E = NewR.getNumOperands();
I !=
E; ++
I) {
1208 NewR.setOperand(
I, NewOp);
1214 unsigned NumBlocksBeforeCloning = CreatedBlocks.size();
1224 return VPIRBB && VPIRBB->getIRBasicBlock() == ScalarHeaderIRBB;
1234 Old2NewVPValues[OldLiveIn] = NewPlan->getOrAddLiveIn(OldLiveIn);
1237 Old2NewVPValues[TripCountIRV] = NewPlan->getOrAddLiveIn(TripCountIRV);
1242 "All VPSymbolicValues must be handled below");
1245 auto *NewLoopRegion = NewPlan->getVectorLoopRegion();
1246 for (
auto [Old, New] :
zip_equal(LoopRegion->getRegionValues(),
1247 NewLoopRegion->getRegionValues())) {
1248 Old2NewVPValues[Old] = New;
1249 if (Old->isMaterialized())
1250 New->markMaterialized();
1254 if (BackedgeTakenCount)
1255 NewPlan->BackedgeTakenCount =
1259 for (
auto [OldSV, NewSV] :
1260 {std::pair{&VectorTripCount, &NewPlan->VectorTripCount},
1261 {&VF, &NewPlan->VF},
1262 {&UF, &NewPlan->UF},
1263 {&VFxUF, &NewPlan->VFxUF},
1264 {BackedgeTakenCount, NewPlan->BackedgeTakenCount}}) {
1267 Old2NewVPValues[OldSV] = NewSV;
1268 if (OldSV->isMaterialized())
1269 NewSV->markMaterialized();
1278 NewPlan->Name = Name;
1281 "TripCount must have been added to Old2NewVPValues");
1282 NewPlan->TripCount = Old2NewVPValues[TripCount];
1287 unsigned NumBlocksAfterCloning = CreatedBlocks.size();
1289 seq<unsigned>(NumBlocksBeforeCloning, NumBlocksAfterCloning)) {
1290 this->CreatedBlocks[
I]->setPlan(NewPlan);
1291 this->CreatedBlocks[
I]->setNumber(NewPlan->CreatedBlocks.size());
1292 NewPlan->CreatedBlocks.push_back(this->CreatedBlocks[
I]);
1294 CreatedBlocks.truncate(NumBlocksBeforeCloning);
1299 VPB != NewScalarHeader)
1308 VPIRBB->setPlan(
this);
1309 VPIRBB->setNumber(CreatedBlocks.size());
1310 CreatedBlocks.push_back(VPIRBB);
1322#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1332 OS <<
"digraph VPlan {\n";
1333 OS <<
"graph [labelloc=t, fontsize=30; label=\"Vectorization Plan";
1334 if (!Plan.getName().empty())
1341 Plan.printLiveIns(SS);
1344 for (
auto Line : Lines)
1349 OS <<
"node [shape=rect, fontname=Courier, fontsize=30]\n";
1350 OS <<
"edge [fontname=Courier, fontsize=30]\n";
1351 OS <<
"compound=true\n";
1369 bool Hidden,
const Twine &Label) {
1374 OS << Indent << getUID(Tail) <<
" -> " << getUID(Head);
1375 OS <<
" [ label=\"" << Label <<
'\"';
1377 OS <<
" ltail=" << getUID(From);
1379 OS <<
" lhead=" << getUID(To);
1381 OS <<
"; splines=none";
1386 auto &Successors =
Block->getSuccessors();
1387 if (Successors.size() == 1)
1388 drawEdge(
Block, Successors.front(),
false,
"");
1389 else if (Successors.size() == 2) {
1390 drawEdge(
Block, Successors.front(),
false,
"T");
1391 drawEdge(
Block, Successors.back(),
false,
"F");
1393 unsigned SuccessorNumber = 0;
1402 OS << Indent << getUID(BasicBlock) <<
" [label =\n";
1405 raw_string_ostream
SS(Str);
1412 StringRef(Str).rtrim(
'\n').split(Lines,
"\n");
1414 auto EmitLine = [&](StringRef
Line, StringRef Suffix) {
1420 EmitLine(Line,
" +\n");
1421 EmitLine(
Lines.back(),
"\n");
1424 OS << Indent <<
"]\n";
1426 dumpEdges(BasicBlock);
1430 OS << Indent <<
"subgraph " << getUID(Region) <<
" {\n";
1432 OS << Indent <<
"fontname=Courier\n"
1433 << Indent <<
"label=\""
1437 if (
auto *CanIV =
Region->getCanonicalIV()) {
1438 OS << Indent <<
"\"";
1440 raw_string_ostream S(
Op);
1441 CanIV->printAsOperand(S, SlotTracker);
1443 OS <<
" = CANONICAL-IV\"\n";
1447 assert(
Region->getEntry() &&
"Region contains no inner blocks.");
1451 OS << Indent <<
"}\n";
1463 return DefR && (DefR->
getParent()->getEnclosingLoopRegion() ||
1473 SV->markMaterialized();
1488 bool RemovedUser =
false;
1511#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1523void VPSlotTracker::assignName(
const VPValue *V) {
1524 assert(!VPValue2Name.contains(V) &&
"VPValue already has a name!");
1525 auto *UV = V->getUnderlyingValue();
1527 if (!UV && !(VPI && !VPI->getName().empty())) {
1528 VPValue2Name[V] = (
Twine(
"vp<%") +
Twine(NextSlot) +
">").str();
1539 Name = VPI->getName();
1541 assert(!Name.empty() &&
"Name cannot be empty.");
1543 std::string BaseName = (
Twine(Prefix) + Name +
Twine(
">")).str();
1546 const auto &[
A,
_] = VPValue2Name.try_emplace(V, BaseName);
1554 const auto &[
C, UseInserted] = BaseName2Version.
try_emplace(BaseName, 0);
1557 A->second = (BaseName +
Twine(
".") +
Twine(
C->second)).str();
1561void VPSlotTracker::assignNames(
const VPlan &Plan) {
1563 assignName(&Plan.VF);
1565 assignName(&Plan.UF);
1567 assignName(&Plan.VFxUF);
1568 assignName(&Plan.VectorTripCount);
1569 if (Plan.BackedgeTakenCount)
1570 assignName(Plan.BackedgeTakenCount);
1574 ReversePostOrderTraversal<VPBlockDeepTraversalWrapper<const VPBlockBase *>>
1575 RPOT(VPBlockDeepTraversalWrapper<const VPBlockBase *>(Plan.
getEntry()));
1576 for (
const VPBlockBase *VPB : RPOT) {
1585void VPSlotTracker::assignNames(
const VPBasicBlock *VPBB) {
1586 for (
const VPRecipeBase &Recipe : *VPBB)
1587 for (VPValue *Def : Recipe.definedValues())
1591std::string VPSlotTracker::getName(
const Value *V) {
1593 raw_string_ostream S(Name);
1595 V->printAsOperand(S,
false);
1604 if (
I->getParent()) {
1605 MST = std::make_unique<ModuleSlotTracker>(
I->getModule());
1606 MST->incorporateFunction(*
I->getFunction());
1608 MST = std::make_unique<ModuleSlotTracker>(
nullptr);
1611 V->printAsOperand(S,
false, *MST);
1616 std::string Name = VPValue2Name.lookup(V);
1629 if (
auto *UV = V->getUnderlyingValue()) {
1632 UV->printAsOperand(S,
false);
1633 return (
Twine(
"ir<") + Name +
">").str();
1643 "ChainOp must be i1 for AnyOf reduction");
1648 auto *Freeze =
createNaryOp(Instruction::Freeze, {OrReduce},
DL);
1649 return createSelect(Freeze, TrueVal, FalseVal,
DL,
"rdx.select");
1654 assert(!
Range.isEmpty() &&
"Trying to test an empty VF range.");
1655 bool PredicateAtRangeStart = Predicate(
Range.Start);
1658 if (Predicate(TmpVF) != PredicateAtRangeStart) {
1663 return PredicateAtRangeStart;
1678 : Flags.withoutNoUnsignedWrap();
1680 Ptr, &Plan.
getVF(), SourceElementTy, -1, ReverseFlags,
DL));
1689 [VF](
const VPlanPtr &Plan) {
return Plan->hasVF(VF); }) ==
1691 "Multiple VPlans for VF.");
1693 for (
const VPlanPtr &Plan : VPlans) {
1694 if (Plan->hasVF(VF))
1704 bool IsUnrollMetadata =
false;
1705 MDNode *LoopID = L->getLoopID();
1714 if (S->getString().starts_with(
"llvm.loop.unroll.runtime.disable"))
1717 S->getString().starts_with(
"llvm.loop.unroll.disable");
1723 if (!IsUnrollMetadata) {
1725 LLVMContext &Context = L->getHeader()->getContext();
1728 MDString::get(Context,
"llvm.loop.unroll.runtime.disable"));
1734 L->setLoopID(NewLoopID);
1740 bool VectorizingEpilogue,
MDNode *OrigLoopID,
1741 std::optional<unsigned> OrigAverageTripCount,
1742 unsigned OrigLoopInvocationWeight,
unsigned EstimatedVFxUF,
1743 bool DisableRuntimeUnroll,
bool UnrollVectorizedLoop) {
1748 if (ScalarPH && !VectorizingEpilogue) {
1749 std::optional<MDNode *> RemainderLoopID =
1752 if (RemainderLoopID) {
1753 OrigLoop->setLoopID(*RemainderLoopID);
1755 if (DisableRuntimeUnroll)
1766 if (ORE->enabled() && ScalarPH && ScalarPH->hasPredecessors())
1767 OrigLoop->addIntLoopAttribute(
"llvm.loop.vectorize.epilogue", 1);
1775 VectorLoop->
setLoopID(*VectorizedLoopID);
1782 if (!VectorizingEpilogue) {
1792 if (!UnrollVectorizedLoop || VectorizingEpilogue)
1808 unsigned AverageVectorTripCount = 0;
1809 unsigned RemainderAverageTripCount = 0;
1811 auto IsProfiled = EC && *EC != 0;
1812 if (!OrigAverageTripCount) {
1815 auto &SE = *PSE.getSE();
1816 AverageVectorTripCount = SE.getSmallConstantTripCount(VectorLoop);
1820 RemainderAverageTripCount =
1821 SE.getSmallConstantTripCount(OrigLoop) % EstimatedVFxUF;
1823 OrigLoopInvocationWeight = 1;
1826 AverageVectorTripCount = *OrigAverageTripCount / EstimatedVFxUF;
1828 RemainderAverageTripCount = *OrigAverageTripCount % EstimatedVFxUF;
1832 OrigLoopInvocationWeight);
1837 OrigLoopInvocationWeight);
1841#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1843 if (VPlans.empty()) {
1844 O <<
"LV: No VPlans built.\n";
1847 for (
const auto &Plan : VPlans)
1858 unsigned WideSize =
C->getBitWidth();
1860 ? TruncatedVal.
sext(WideSize)
1861 : TruncatedVal.
zext(WideSize);
1862 return ExtendedVal == *
C;
1873#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1875 if (!PlanForSlotTracker)
1878 SlotTracker = std::make_unique<VPSlotTracker>(PlanForSlotTracker);
1879 return SlotTracker.get();
1890 "Scalarization overhead not supported for scalable vectors");
1895 for (
Type *VectorTy :
1897 ScalarizationCost +=
TTI.getScalarizationOverhead(
1909 (!AlwaysIncludeReplicatingR &&
1917 return ScalarizationCost +
1918 TTI.getOperandsScalarizationOverhead(Tys,
CostKind, VIC);
1932 const VPlan &Plan = *R->getParent()->getPlan();
1937 assert(VPRB->isReplicator() &&
"must only contain replicate regions");
1950 const Align Alignment =
1952 if (!
TTI.isLegalMaskedScatter(VTy, Alignment))
1962 return is_contained({Intrinsic::assume, Intrinsic::lifetime_end,
1963 Intrinsic::lifetime_start, Intrinsic::sideeffect,
1964 Intrinsic::pseudoprobe,
1965 Intrinsic::experimental_noalias_scope_decl},
1973 std::optional<VPExecutionFrequency> Freq =
1974 Region->getEntryBranchOnMask()->getExecutionFrequency();
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
amdgpu next use AMDGPU Next Use Analysis Printer
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
This file provides various utilities for inspecting and working with the control flow graph in LLVM I...
This file defines the LoopVectorizationLegality class.
This file provides a LoopVectorizationPlanner class.
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static StringRef getName(Value *V)
This file defines the SmallVector class.
This file implements dominator tree analysis for a single level of a VPlan's H-CFG.
This file contains the declarations of different VPlan-related auxiliary helpers.
static void addRuntimeUnrollDisableMetaData(Loop *L)
static void printFinalVPlan(VPlan &)
To make RUN_VPLAN_PASS print final VPlan.
static T * getEnclosingLoopRegionForRegion(T *P)
Return the enclosing loop region for region P.
const char LLVMLoopVectorizeFollowupAll[]
static bool isDefinedInsideLoopRegions(const VPValue *VPV)
Returns true if there is a vector loop region and VPV is defined in a loop region.
static bool hasConditionalTerminator(const VPBasicBlock *VPBB)
const char LLVMLoopVectorizeFollowupVectorized[]
static void remapOperands(VPBlockBase *Entry, VPBlockBase *NewEntry, DenseMap< VPValue *, VPValue * > &Old2NewVPValues)
const char LLVMLoopVectorizeFollowupEpilogue[]
static cl::opt< bool > PrintVPlansInDotFormat("vplan-print-in-dot-format", cl::Hidden, cl::desc("Use dot format instead of plain text when dumping VPlans"))
This file contains the declarations of the Vectorization Plan base classes:
static bool IsCondBranch(unsigned BrOpc)
Class for arbitrary precision integers.
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
LLVM_ABI APInt sext(unsigned width) const
Sign extend to a new width.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
A cache of @llvm.assume calls within a function.
LLVM Basic Block Representation.
iterator begin()
Instruction iterator methods.
const Function * getParent() const
Return the enclosing method, or null if none.
static BasicBlock * Create(LLVMContext &Context, const Twine &Name="", Function *Parent=nullptr, BasicBlock *InsertBefore=nullptr)
Creates a new BasicBlock.
LLVM_ABI const BasicBlock * getSingleSuccessor() const
Return the successor of this block if it has a single successor.
LLVM_ABI LLVMContext & getContext() const
Get the context in which this basic block lives.
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
static uint32_t getDenominator()
std::optional< const DILocation * > cloneByMultiplyingDuplicationFactor(unsigned DF) const
Returns a new DILocation with duplication factor DF * current duplication factor encoded in the discr...
LLVM_ABI IntegerType * getIndexType(LLVMContext &C, unsigned AddressSpace) const
Returns the type of a GEP index in AddressSpace.
ValueT lookup(const_arg_type_t< KeyT > Val) const
Return the entry for the specified key, or a default constructed value if no such entry exists.
bool contains(const_arg_type_t< KeyT > Val) const
Return true if the specified key is in the map, false otherwise.
static constexpr UpdateKind Delete
static constexpr UpdateKind Insert
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
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.
std::optional< uint64_t > getEntryCount() const
Get the entry count for this function.
Represents flags for the getelementptr instruction/expression.
static GEPNoWrapFlags none()
Common base class shared among various IRBuilders.
static InstructionCost getInvalid(CostType Val=0)
This is an important class for using LLVM in a threaded context.
A helper class to return the specified delimiter string after the first invocation of operator String...
bool isInnermost() const
Return true if the loop does not contain any (natural) loops.
void addBasicBlockToLoop(BlockT *NewBB, LoopInfoBase< BlockT, LoopT > &LI)
This method is used by other analyses to update loop information.
block_iterator block_end() const
void addChildLoop(LoopT *NewChild)
Add the specified loop to be a child of this loop.
BlockT * getLoopPreheader() const
If there is a preheader for this loop, return it.
block_iterator block_begin() const
VPlan & getPlanFor(ElementCount VF) const
Return the VPlan for VF.
void updateLoopMetadataAndProfileInfo(Loop *VectorLoop, VPBasicBlock *HeaderVPBB, const VPlan &Plan, bool VectorizingEpilogue, MDNode *OrigLoopID, std::optional< unsigned > OrigAverageTripCount, unsigned OrigLoopInvocationWeight, unsigned EstimatedVFxUF, bool DisableRuntimeUnroll, bool UnrollVectorizedLoop)
Update loop metadata and profile info for both the scalar remainder loop and VectorLoop,...
static bool getDecisionAndClampRange(const std::function< bool(ElementCount)> &Predicate, VFRange &Range)
Test a Predicate on a Range of VF's.
void printPlans(raw_ostream &O)
Utility class for getting and setting loop vectorizer hints in the form of loop metadata.
LLVM_ABI void setAlreadyVectorized()
Mark the loop L as already vectorized by setting the width to 1.
Represents a single loop in the control flow graph.
void addIntLoopAttribute(StringRef Name, unsigned Value, ArrayRef< StringRef > RemovePrefixes={}) const
Add an integer metadata attribute to this loop's loop-ID node.
void setLoopID(MDNode *LoopID) const
Set the llvm.loop loop id metadata for this loop.
LLVM_ABI void replaceOperandWith(unsigned I, Metadata *New)
Replace a specific operand.
const MDOperand & getOperand(unsigned I) const
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
unsigned getNumOperands() const
Return number of MDNode operands.
static LLVM_ABI MDString * get(LLVMContext &Context, StringRef Str)
BlockT * getEntry() const
Get the entry BasicBlock of the Region.
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.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
std::pair< iterator, bool > try_emplace(StringRef Key, ArgsTy &&...Args)
Emplace a new element for the specified key into the map if the key isn't already in the map.
Represent a constant reference to a string, i.e.
std::pair< StringRef, StringRef > split(char Separator) const
Split into two substrings around the first occurrence of a separator character.
StringRef rtrim(char Char) const
Return string with consecutive Char characters starting from the right removed.
Target - Wrapper for Target specific information.
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.
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
bool isIntegerTy() const
True if this is an instance of IntegerType.
bool isVoidTy() const
Return true if this is 'void'.
static UncondBrInst * Create(BasicBlock *Target, InsertPosition InsertBefore=nullptr)
This function has undefined behavior.
void setOperand(unsigned i, Value *Val)
Value * getOperand(unsigned i) const
unsigned getNumOperands() const
VPBasicBlock serves as the leaf of the Hierarchical Control-Flow Graph.
void appendRecipe(VPRecipeBase *Recipe)
Augment the existing recipes of a VPBasicBlock with an additional Recipe as the last recipe.
RecipeListTy::iterator iterator
Instruction iterators...
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPBasicBlock,...
iterator begin()
Recipe iterator methods.
VPBasicBlock * clone() override
Clone the current block and it's recipes, without updating the operands of the cloned recipes.
InstructionCost cost(ElementCount VF, VPCostContext &Ctx) override
Return the cost of this VPBasicBlock.
const VPBasicBlock * getCFGPredecessor(unsigned Idx) const
Returns the predecessor block at index Idx with the predecessors as per the corresponding plain CFG.
iterator getFirstNonPhi()
Return the position of the first non-phi node recipe in the block.
void connectToPredecessors(VPTransformState &State)
Connect the VPBBs predecessors' in the VPlan CFG to the IR basic block generated for this VPBB.
VPRegionBlock * getEnclosingLoopRegion()
VPBasicBlock * splitAt(iterator SplitAt)
Split current block at SplitAt by inserting a new block between the current block and its successors ...
RecipeListTy Recipes
The VPRecipes held in the order of output instructions to generate.
void executeRecipes(VPTransformState *State, BasicBlock *BB)
Execute the recipes in the IR basic block BB.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print this VPBsicBlock to O, prefixing all lines with Indent.
bool isExiting() const
Returns true if the block is exiting it's parent region.
VPRecipeBase * getTerminator()
If the block has multiple successors, return the branch recipe terminating the block.
const VPRecipeBase & back() const
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
void setSuccessors(ArrayRef< VPBlockBase * > NewSuccs)
Set each VPBasicBlock in NewSuccss as successor of this VPBlockBase.
VPRegionBlock * getParent()
const VPBasicBlock * getExitingBasicBlock() const
size_t getNumSuccessors() const
iterator_range< VPBlockBase ** > successors()
virtual void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const =0
Print plain-text dump of this VPBlockBase to O, prefixing all lines with Indent.
bool hasPredecessors() const
Returns true if this block has any predecessors.
void printSuccessors(raw_ostream &O, const Twine &Indent) const
Print the successors of this block to O, prefixing all lines with Indent.
size_t getNumPredecessors() const
void setPredecessors(ArrayRef< VPBlockBase * > NewPreds)
Set each VPBasicBlock in NewPreds as predecessor of this VPBlockBase.
VPBlockBase * getEnclosingBlockWithPredecessors()
bool hasSuccessors() const
Returns true if this block has any successors.
const VPBlocksTy & getPredecessors() const
virtual VPBlockBase * clone()=0
Clone the current block and it's recipes without updating the operands of the cloned recipes,...
const std::string & getName() const
VPBlockBase * getSinglePredecessor() const
const VPBlocksTy & getHierarchicalSuccessors()
VPBlockBase * getEnclosingBlockWithSuccessors()
An Enclosing Block of a block B is any block containing B, including B itself.
const VPBasicBlock * getEntryBasicBlock() const
VPBlockBase * getSingleSuccessor() const
const VPBlocksTy & getSuccessors() const
VPBlockBase(VPBlockTy SC, const std::string &N)
static void insertBlockAfter(VPBlockBase *NewBlock, VPBlockBase *BlockPtr)
Insert disconnected VPBlockBase NewBlock after BlockPtr.
static bool isLatch(const VPBlockBase *VPB, const VPDominatorTree &VPDT)
Returns true if VPB is a loop latch, using isHeader().
static bool isHeader(const VPBlockBase *VPB, const VPDominatorTree &VPDT)
Returns true if VPB is a loop header, based on regions or VPDT in their absence.
static void connectBlocks(VPBlockBase *From, VPBlockBase *To, unsigned PredIdx=-1u, unsigned SuccIdx=-1u)
Connect VPBlockBases From and To bi-directionally.
static void disconnectBlocks(VPBlockBase *From, VPBlockBase *To)
Disconnect VPBlockBases From and To bi-directionally.
static auto blocksOnly(T &&Range)
Return an iterator range over Range which only includes BlockTy blocks.
static void transferSuccessors(VPBlockBase *Old, VPBlockBase *New)
Transfer successors from Old to New. New must have no successors.
static std::pair< VPBlockBase *, VPBlockBase * > cloneFrom(VPBlockBase *Entry)
Clone the CFG for all nodes reachable from Entry, including cloning the blocks and their recipes.
A recipe for generating conditional branches on the bits of a mask.
VPlan-based builder utility analogous to IRBuilder.
VPPhi * createScalarPhi(ArrayRef< VPValue * > IncomingValues, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", std::optional< VPIRFlags > Flags=std::nullopt, Type *ResultTy=nullptr)
Create a phi with IncomingValues, using the default flags for the result type, unless Flags is set.
VPSingleDefRecipe * createConsecutiveVectorPointer(VPValue *Ptr, Type *SourceElementTy, bool Reverse, DebugLoc DL)
Create a vector pointer recipe for a consecutive memory access to Ptr with element type SourceElement...
VPVectorPointerRecipe * createVectorPointer(VPValue *Ptr, Type *SourceElementTy, VPValue *Stride, GEPNoWrapFlags GEPFlags, DebugLoc DL)
VPInstruction * createAnyOfReduction(VPValue *ChainOp, VPValue *TrueVal, VPValue *FalseVal, DebugLoc DL=DebugLoc::getUnknown())
Create an AnyOf reduction pattern: or-reduce ChainOp, freeze the result, then select between TrueVal ...
VPInstruction * createOverflowingOp(unsigned Opcode, ArrayRef< VPValue * > Operands, VPRecipeWithIRFlags::WrapFlagsTy WrapFlags={false, false}, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
VPInstruction * createSelect(VPValue *Cond, VPValue *TrueVal, VPValue *FalseVal, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", std::optional< VPIRFlags > Flags=std::nullopt)
Create a select of TrueVal and FalseVal based on Cond, using the default flags for the result type,...
VPInstruction * createNaryOp(unsigned Opcode, ArrayRef< VPValue * > Operands, Instruction *Inst=nullptr, const VPIRFlags &Flags={}, const VPIRMetadata &MD={}, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", Type *ResultTy=nullptr)
Create an N-ary operation with Opcode, Operands and set Inst as its underlying Instruction.
This class augments a recipe with a set of VPValues defined by the recipe.
A special type of VPBasicBlock that wraps an existing IR basic block.
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPBasicBlock,...
BasicBlock * getIRBasicBlock() const
VPIRBasicBlock * clone() override
Clone the current block and it's recipes, without updating the operands of the cloned recipes.
Class to record and manage LLVM IR flags.
static LLVM_ABI_FOR_TEST VPIRInstruction * create(Instruction &I)
Create a new VPIRPhi for \I , if it is a PHINode, otherwise create a VPIRInstruction.
This is a concrete Recipe that models a single VPlan-level instruction.
@ ComputeReductionResult
Reduce the operands to the final reduction result using the operation specified via the operation's V...
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)
Value * getAsRuntimeExpr(IRBuilderBase &Builder, const ElementCount &VF) const
Returns an expression describing the lane index that can be used at runtime.
Kind getKind() const
Returns the Kind of lane offset.
bool isFirstLane() const
Returns true if this is the first lane of the whole vector.
unsigned getKnownLane() const
Returns a compile-time known value for the lane index and asserts if the lane can only be calculated ...
static VPLane getFirstLane()
@ ScalableLast
For ScalableLast, Lane is the offset from the start of the last N-element subvector in a scalable vec...
@ First
For First, Lane is the index into the first N elements of a fixed-vector <N x <ElTy>> or a scalable v...
unsigned mapToCacheIndex(const ElementCount &VF) const
Maps the lane to a cache index based on VF.
LLVM_ABI_FOR_TEST VPMultiDefValue(VPRecipeBase *Def, Value *UV, Type *Ty)
~VPMultiDefValue() override
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
LLVM_ABI_FOR_TEST void dump() const
Dump the recipe to stderr (for debugging).
VPBasicBlock * getParent()
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const
Print the recipe, delegating to printRecipe().
virtual LLVM_ABI_FOR_TEST ~VPRecipeValue()=0
VPRecipeValue(unsigned char SC, Value *UV, Type *Ty=nullptr)
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
VPRegionBlock * clone() override
Clone all blocks in the single-entry single-exit region of the block and their recipes without updati...
const VPBlockBase * getEntry() const
void dissolveToCFGLoop()
Remove the current region from its VPlan, connecting its predecessor to its entry,...
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
VPRegionValue * createHeaderMask()
Create the header mask for the region and return it.
VPRegionValue * getUsedHeaderMask() const
Return the header mask if it exists and is used, or null otherwise.
VPInstruction * getOrCreateCanonicalIVIncrement()
Get the canonical IV increment instruction if it exists.
InstructionCost cost(ElementCount VF, VPCostContext &Ctx) override
Return the cost of the block.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print this VPRegionBlock to O (recursively), prefixing all lines with Indent.
Type * getCanonicalIVType() const
Return the type of the canonical IV for loop regions.
const VPBranchOnMaskRecipe * getEntryBranchOnMask() const
Return the VPBranchOnMaskRecipe from the entry block of this replicating region.
bool hasCanonicalIVNUW() const
Indicates if NUW is set for the canonical IV increment, for loop regions.
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPRegionBlock,...
VPRegionValue * getCanonicalIV()
Return the canonical induction variable of the region, null for replicating regions.
const VPBlockBase * getExiting() const
VPRegionValue * getHeaderMask() const
Return the header mask of the region, or null if not set.
VPValues are defined by a VPRegionBlock, like the canonical IV.
DebugLoc getDebugLoc() const
Returns the debug location of the VPRegionValue.
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
VPSingleDefRecipe is a base class for recipes that model a sequence of one or more output IR that def...
LLVM_ABI_FOR_TEST VPSingleDefValue(VPSingleDefRecipe *Def, Value *UV=nullptr, Type *Ty=nullptr)
Construct a VPSingleDefValue. Must only be used by VPSingleDefRecipe.
~VPSingleDefValue() override
friend class VPSingleDefRecipe
This class can be used to assign names to VPValues.
std::string getOrCreateName(const VPValue *V) const
Returns the name assigned to V, if there is one, otherwise try to construct one from the underlying v...
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
Type * getType() const
Returns the scalar type of this symbolic value.
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
void replaceUsesOfWith(VPValue *From, VPValue *To)
Replaces all uses of From in the VPUser with To.
void printOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the operands to O.
void setOperand(unsigned I, VPValue *New)
unsigned getNumOperands() const
VPValue * getOperand(unsigned N) const
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
Type * getScalarType() const
Returns the scalar type of this VPValue, dispatching based on the concrete subclass.
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
unsigned getVPValueID() const
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
void assertNotMaterialized() const
Assert that this VPValue has not been materialized, if it is a VPSymbolicValue.
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
@ VPVSingleDefValueSC
A symbolic live-in VPValue without IR backing.
@ VPVSymbolicSC
A live-in VPValue wrapping an IR Value.
@ VPRegionValueSC
A VPValue defined by a multi-def recipe.
@ VPVMultiDefValueSC
A VPValue defined by a VPSingleDefRecipe.
void dump() const
Dump the value to stderr (for debugging).
void print(raw_ostream &OS, VPSlotTracker &Tracker) const
void replaceAllUsesWith(VPValue *New)
unsigned getNumUsers() const
void replaceUsesWithIf(VPValue *New, llvm::function_ref< bool(VPUser &U, unsigned Idx)> ShouldReplace)
Go through the uses list for this VPValue and make each use point to New if the callback ShouldReplac...
A recipe to compute a pointer to the last element of each part of a widened memory access for widened...
LLVM_DUMP_METHOD void dump()
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
LLVM_ABI_FOR_TEST void printDOT(raw_ostream &O) const
Print this VPlan in DOT format to O.
friend class VPSlotTracker
std::string getName() const
Return a string with the name of the plan and the applicable VFs and UFs.
const DataLayout & getDataLayout() const
VPBasicBlock * getEntry()
Type * getIndexType() const
The type of the canonical induction variable of the vector loop.
void setName(const Twine &newName)
LLVM_ABI_FOR_TEST ~VPlan()
bool isExitBlock(VPBlockBase *VPBB)
Returns true if VPBB is an exit block.
friend class VPlanPrinter
VPSymbolicValue & getVFxUF()
Returns VF * UF of the vector loop region.
VPIRBasicBlock * createEmptyVPIRBasicBlock(BasicBlock *IRBB)
Create a VPIRBasicBlock wrapping IRBB, but do not create VPIRInstructions wrapping the instructions i...
auto getLiveIns() const
Return the list of live-in VPValues available in the VPlan.
ArrayRef< VPIRBasicBlock * > getExitBlocks() const
Return an ArrayRef containing VPIRBasicBlocks wrapping the exit blocks of the original scalar loop.
LLVM_ABI_FOR_TEST VPRegionBlock * getVectorLoopRegion()
Returns the VPRegionBlock of the vector loop.
bool hasEarlyExit() const
Returns true if the VPlan is based on a loop with an early exit.
InstructionCost cost(ElementCount VF, VPCostContext &Ctx)
Return the cost of this plan.
LLVM_ABI_FOR_TEST bool isOuterLoop() const
Returns true if this VPlan is for an outer loop, i.e., its vector loop region contains a nested loop ...
unsigned getConcreteUF() const
Returns the concrete UF of the plan, after unrolling.
void setEntry(VPBasicBlock *VPBB)
VPBasicBlock * createVPBasicBlock(const Twine &Name, VPRecipeBase *Recipe=nullptr)
Create a new VPBasicBlock with Name and containing Recipe if present.
LLVM_ABI_FOR_TEST VPIRBasicBlock * createVPIRBasicBlock(BasicBlock *IRBB)
Create a VPIRBasicBlock from IRBB containing VPIRInstructions for all instructions in IRBB,...
LLVM_DUMP_METHOD void dump() const
Dump the plan to stderr (for debugging).
VPBasicBlock * getScalarPreheader() const
Return the VPBasicBlock for the preheader of the scalar loop.
void execute(VPTransformState *State)
Generate the IR code for this VPlan.
LLVM_ABI_FOR_TEST void print(raw_ostream &O) const
Print this VPlan to O.
bool hasTailFolded() const
Returns true if the vector loop region is tail-folded.
VPIRBasicBlock * getScalarHeader() const
Return the VPIRBasicBlock wrapping the header of the scalar loop.
void printLiveIns(raw_ostream &O) const
Print the live-ins of this VPlan to O.
VPSymbolicValue & getVF()
Returns the VF of the vector loop region.
LLVM_ABI_FOR_TEST VPlan * duplicate()
Clone the current VPlan, update all VPValues of the new VPlan and cloned recipes to refer to the clon...
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 StringRef getName() const
Return a constant reference to the value's name.
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
constexpr ScalarTy getFixedValue() 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.
An efficient, type-erasing, non-owning reference to a callable.
self_iterator getIterator()
This class implements an extremely fast bulk output stream that can only output to a stream.
A raw_ostream that writes to an std::string.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
LLVM_ABI std::string EscapeString(const std::string &Label)
@ BasicBlock
Various leaf nodes.
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
bool match(Val *V, const Pattern &P)
VPInstruction_match< VPInstruction::BranchOnTwoConds > m_BranchOnTwoConds()
VPInstruction_match< VPInstruction::BranchOnCount > m_BranchOnCount()
VPInstruction_match< VPInstruction::BuildVector > m_BuildVector()
BuildVector is matches only its opcode, w/o matching its operands as the number of operands is not fi...
VPInstruction_match< VPInstruction::BranchOnCond > m_BranchOnCond()
BranchProbability getExecutionProbability(BlockFrequency Freq)
Returns Freq as a BranchProbability, relative to AlwaysExecutesFreq.
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...
VPInstruction * findCanonicalIVIncrement(VPlan &Plan)
Find the canonical IV increment of Plan's vector loop region.
bool onlyFirstLaneUsed(const VPValue *Def)
Returns true if only the first lane of Def is used.
GEPNoWrapFlags getGEPFlagsForPtr(VPValue *Ptr)
Returns the GEP nowrap flags for Ptr, looking through pointer casts mirroring Value::stripPointerCast...
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.
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
LLVM_ABI cl::opt< bool > ProfcheckDisableMetadataFixes
detail::zippy< detail::zip_first, T, U, Args... > zip_equal(T &&t, U &&u, Args &&...args)
zip iterator that assumes that all iteratees have the same length.
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.
auto successors(const MachineBasicBlock *BB)
LLVM_ABI cl::opt< bool > EnableFSDiscriminator
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.
LLVM_ABI std::optional< MDNode * > makeFollowupLoopID(MDNode *OrigLoopID, ArrayRef< StringRef > FollowupAttrs, const char *InheritOptionsAttrsPrefix="", bool AlwaysNew=false)
Create a new loop identifier for a loop created from a loop transformation.
void interleaveComma(const Container &c, StreamT &os, UnaryFunctor each_fn)
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
Align getLoadStoreAlignment(const Value *I)
A helper function that returns the alignment of load or store instruction.
iterator_range< df_iterator< VPBlockShallowTraversalWrapper< VPBlockBase * > > > vp_depth_first_shallow(VPBlockBase *G)
Returns an iterator range to traverse the graph starting at G in depth-first order.
constexpr T divideNearest(U Numerator, V Denominator)
Returns (Numerator / Denominator) rounded by round-half-up.
auto dyn_cast_or_null(const Y &Val)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
auto reverse(ContainerTy &&C)
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."))
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.
bool canConstantBeExtended(const APInt *C, Type *NarrowType, TTI::PartialReductionExtendKind ExtKind)
Check if a constant CI can be safely treated as having been extended from a narrower type with the gi...
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
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...
RNSuccIterator< NodeRef, BlockT, RegionT > succ_begin(NodeRef Node)
RNSuccIterator< NodeRef, BlockT, RegionT > succ_end(NodeRef Node)
@ Or
Bitwise or logical OR of integers.
LLVM_ABI BasicBlock * SplitBlock(BasicBlock *Old, BasicBlock::iterator SplitPt, DominatorTree *DT, LoopInfo *LI=nullptr, MemorySSAUpdater *MSSAU=nullptr, const Twine &BBName="")
Split the specified block at the specified instruction.
cl::opt< unsigned > NumberOfStoresToPredicate("vectorize-num-stores-pred", cl::init(1), cl::Hidden, cl::desc("Max number of stores to be predicated behind an if."))
The number of stores in a loop that are allowed to need predication.
DWARFExpression::Operation Op
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
LLVM_ABI bool setLoopEstimatedTripCount(Loop *L, unsigned EstimatedTripCount, std::optional< unsigned > EstimatedLoopInvocationWeight=std::nullopt)
Set llvm.loop.estimated_trip_count with the value EstimatedTripCount in the loop metadata of L.
auto count_if(R &&Range, UnaryPredicate P)
Wrapper function around std::count_if to count the number of times an element satisfying a given pred...
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
constexpr auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
LLVM_ABI void DeleteDeadBlocks(ArrayRef< BasicBlock * > BBs, DomTreeUpdater *DTU=nullptr, bool KeepOneInputPHIs=false)
Delete the specified blocks from BB.
std::unique_ptr< VPlan > VPlanPtr
constexpr detail::IsaCheckPredicate< Types... > IsaPred
Function object wrapper for the llvm::isa type check.
This struct is a compact representation of a valid (non-zero power of two) alignment.
A range of powers-of-2 vectorization factors with fixed start and adjustable end.
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.
static bool isFreeScalarIntrinsic(Intrinsic::ID ID)
Returns true if ID is a pseudo intrinsic that is dropped via scalarization rather than widened.
static bool executesAtMostOnce(const VPlan &Plan, ElementCount VF)
Returns true if the vector loop body of Plan is known to execute at most once at VF,...
std::optional< unsigned > NumPredStores
Number of predicated stores in the VPlan, computed on demand.
InstructionCost getScalarizationOverhead(Type *ResultTy, ArrayRef< const VPValue * > Operands, ElementCount VF, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None, bool AlwaysIncludeReplicatingR=false)
Estimate the overhead of scalarizing a recipe with result type ResultTy and Operands with VF.
TargetTransformInfo::TargetCostKind CostKind
VPSlotTracker * getSlotTracker()
Return a VPSlotTracker to re-use for printing, lazily constructing it on first use.
uint64_t getReplicateRegionCostDivisor(const VPRegionBlock *Region) const
const TargetTransformInfo & TTI
bool useEmulatedMaskMemRefHack(const VPReplicateRecipe *R, ElementCount VF)
Returns true if an artificially high cost for emulated masked memrefs should be used.
A VPValue representing a live-in from the input IR or a constant.
Type * getType() const
Returns the type of the underlying IR value.