63 "llvm.loop.vectorize.followup_vectorized";
65 "llvm.loop.vectorize.followup_epilogue";
74 cl::desc(
"Use dot format instead of plain text when dumping VPlans"));
76#define DEBUG_TYPE "loop-vectorize"
78#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
92 return Builder.CreateSub(
getRuntimeVF(Builder, Builder.getInt32Ty(), VF),
95 return Builder.getInt32(Lane);
100#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
111 (Instr && Instr->getParent()) ? Instr->getParent()->getPlan() :
nullptr);
124bool VPRecipeValue::isDefinedBy(
const VPDef *
D)
const {
return Def ==
D; }
129 return DefValue ? DefValue->Def :
nullptr;
134 return DefValue ? DefValue->Def :
nullptr;
145 assert(Def &&
"VPRecipeValue requires a defining recipe");
146 Def->addDefinedValue(
this);
151 "trying to delete a VPRecipeValue with remaining users");
152 Def->removeDefinedValue(
this);
166 for (
unsigned i = 0; i < WorkList.
size(); i++) {
167 T *Current = WorkList[i];
168 if (!Current->hasPredecessors())
170 auto &Predecessors = Current->getPredecessors();
197 assert(ParentPlan->
getEntry() ==
this &&
"Can only set plan on its entry.");
217 if (!Successors.empty() || !Parent)
219 assert(Parent->getExiting() ==
this &&
220 "Block w/o successors not the exiting block of its parent.");
221 return Parent->getEnclosingBlockWithSuccessors();
225 if (!Predecessors.empty() || !Parent)
227 assert(Parent->getEntry() ==
this &&
228 "Block w/o predecessors not the entry of its parent.");
229 return Parent->getEnclosingBlockWithPredecessors();
234 while (It !=
end() && It->isPhi())
249 return Def->getUnderlyingValue();
252 return Data.VPV2Scalars[Def][
Lane.mapToCacheIndex(
VF)];
256 return Data.VPV2Scalars[Def][0];
263 return get(BuildVector->getOperand(
Lane.getKnownLane()),
true);
267 auto *VecPart =
Data.VPV2Vector[Def];
268 if (!VecPart->getType()->isVectorTy()) {
269 assert(
Lane.isFirstLane() &&
"cannot get lane > 0 for scalar");
274 auto *Extract =
Builder.CreateExtractElement(VecPart, LaneV);
284 Data.VPV2Scalars[Def].size() == 1)) &&
285 "Trying to access a single scalar per part but has multiple scalars "
292 return Data.VPV2Vector[Def];
294 auto GetBroadcastInstrs = [
this](
Value *V) {
303 Value *IRV = Def->getLiveInIRValue();
304 Value *
B = GetBroadcastInstrs(IRV);
313 set(Def, ScalarValue);
318 VPLane LastLane(IsSingleScalar ? 0 :
VF.getFixedValue() - 1);
323 assert(IsSingleScalar &&
"must be a single-scalar at this point");
330 ? LastInst->getParent()->getFirstNonPHIIt()
332 Builder.SetInsertPoint(&*NewIP);
333 Value *VectorValue = GetBroadcastInstrs(ScalarValue);
334 set(Def, VectorValue);
346 ->shouldEmitDebugInfoForProfiling() &&
349 unsigned UF =
Plan->getConcreteUF();
353 Builder.SetCurrentDebugLocation(*NewDIL);
356 << DIL->getFilename() <<
" Line: " << DIL->getLine());
368 for (
unsigned I = 0, E = StructTy->getNumElements();
I != E;
I++) {
369 Value *ScalarValue =
Builder.CreateExtractValue(ScalarInst,
I);
370 Value *VectorValue =
Builder.CreateExtractValue(WideValue,
I);
372 Builder.CreateInsertElement(VectorValue, ScalarValue, LaneExpr);
373 WideValue =
Builder.CreateInsertValue(WideValue, VectorValue,
I);
376 WideValue =
Builder.CreateInsertElement(WideValue, ScalarInst, LaneExpr);
394 auto &
CFG = State.CFG;
399 Loop *ParentLoop = State.CurrentParentLoop;
404 SuccOrExitVPB = SuccOrExitVPB ? SuccOrExitVPB :
this;
405 if (State.Plan->isExitBlock(SuccOrExitVPB)) {
406 ParentLoop = State.LI->getLoopFor(
410 if (ParentLoop && !State.LI->getLoopFor(NewBB))
423 VPBasicBlock *PredVPBB = PredVPBlock->getExitingBasicBlock();
425 assert(
CFG.VPBB2IRBB.contains(PredVPBB) &&
426 "Predecessor basic-block not found building successor.");
432 assert(PredVPSuccessors.size() == 1 &&
433 "Predecessor ending w/o branch must have single successor.");
434 DebugLoc DL = PredBBTerminator->getDebugLoc();
435 PredBBTerminator->eraseFromParent();
439 UBI->setSuccessor(NewBB);
448 unsigned idx = PredVPSuccessors.front() ==
this ? 0 : 1;
450 assert((!TermBr->getSuccessor(idx) ||
452 (TermBr->getSuccessor(idx) == NewBB ||
453 PredVPBlock ==
getPlan()->getEntry()))) &&
454 "Trying to reset an existing successor block.");
455 TermBr->setSuccessor(idx, NewBB);
463 "VPIRBasicBlock can have at most two successors at the moment!");
466 IRBB->moveAfter(State->CFG.PrevBB);
467 State->Builder.SetInsertPoint(IRBB->getTerminator());
468 State->CFG.PrevBB = IRBB;
469 State->CFG.VPBB2IRBB[
this] = IRBB;
474 auto *Br = State->Builder.CreateBr(IRBB);
475 Br->setOperand(0,
nullptr);
476 IRBB->getTerminator()->eraseFromParent();
480 "other blocks must be terminated by a branch");
494 bool Replica =
bool(State->Lane);
499 Loop *PrevParentLoop = State->CurrentParentLoop;
500 State->CurrentParentLoop = State->LI->AllocateLoop();
507 State->LI->addTopLevelLoop(State->CurrentParentLoop);
512 assert((!R || R->isReplicator()) &&
513 "only replicate region blocks should remain");
517 if ((Replica &&
this ==
getParent()->getEntry()) ||
522 State->CFG.VPBB2IRBB[
this] = NewBB;
524 NewBB = createEmptyBasicBlock(*State);
526 State->Builder.SetInsertPoint(NewBB);
529 State->Builder.SetInsertPoint(Terminator);
531 State->CFG.PrevBB = NewBB;
532 State->CFG.VPBB2IRBB[
this] = NewBB;
541 State->CurrentParentLoop = State->CurrentParentLoop->getParentLoop();
553 <<
" in BB: " << BB->
getName() <<
'\n');
555 State->CFG.PrevVPBB =
this;
558 State->setDebugLocFrom(Recipe.getDebugLoc());
559 Recipe.execute(*State);
566 assert((SplitAt ==
end() || SplitAt->getParent() ==
this) &&
567 "can only split at a position in the same block");
575 if (ParentRegion && ParentRegion->getExiting() ==
this)
589 if (
P &&
P->isReplicator()) {
593 assert((!
P || !
P->isReplicator()) &&
"unexpected nested replicate regions");
610 "block with multiple successors doesn't have a recipe as terminator");
615 [[maybe_unused]]
bool IsSwitch =
625 "block with multiple successors not terminated by "
626 "conditional branch nor switch recipe");
632 assert((IsSwitch || IsBranchOnTwoConds) &&
633 "block with more than 2 successors not terminated by a switch or "
634 "branch-on-two-conds recipe");
640 "block with 0 or 1 successors terminated by conditional branch recipe");
660#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
668 O << Indent <<
"No successors\n";
670 O << Indent <<
"Successor(s): ";
673 O << LS << Succ->getName();
680 O << Indent <<
getName() <<
":\n";
682 auto RecipeIndent = Indent +
" ";
692std::pair<VPBlockBase *, VPBlockBase *>
700 Old2NewVPBlocks[BB] = NewBB;
701 if (InRegion && BB->getNumSuccessors() == 0) {
702 assert(!Exiting &&
"Multiple exiting blocks?");
706 assert((!InRegion || Exiting) &&
"regions must have a single exiting block");
713 NewPreds.
push_back(Old2NewVPBlocks[Pred]);
718 NewSuccs.
push_back(Old2NewVPBlocks[Succ]);
726 for (
const auto &[OldBB, NewBB] :
729 for (
const auto &[OldPred, NewPred] :
730 zip(OldBB->getPredecessors(), NewBB->getPredecessors()))
731 assert(NewPred == Old2NewVPBlocks[OldPred] &&
"Different predecessors");
733 for (
const auto &[OldSucc, NewSucc] :
734 zip(OldBB->successors(), NewBB->successors()))
735 assert(NewSucc == Old2NewVPBlocks[OldSucc] &&
"Different successors");
739 return std::make_pair(Old2NewVPBlocks[Entry],
740 Exiting ? Old2NewVPBlocks[Exiting] :
nullptr);
746 VPRegionBlock *NewRegion =
748 ? Plan.createReplicateRegion(NewEntry, NewExiting,
getName())
749 : Plan.createLoopRegion(
getName(), NewEntry, NewExiting);
752 Block->setParent(NewRegion);
758 "Loop regions should have been lowered to plain CFG");
759 assert(!State->Lane &&
"Replicating a Region with non-null instance.");
760 assert(!State->VF.isScalable() &&
"VF is assumed to be non scalable.");
765 for (
unsigned Lane = 0, VF = State->VF.getFixedValue(); Lane < VF; ++Lane) {
770 Block->execute(State);
781 Cost += R.cost(VF, Ctx);
792 "must be in the entry block of a non-replicate region");
794 "loop region has a single predecessor (preheader), its entry block "
795 "has 2 incoming blocks");
799 Pred = Idx == 0 ?
Region->getSinglePredecessor() :
Region;
801 return Pred->getExitingBasicBlock();
812 : Ctx.TTI.getCFInstrCost(Instruction::UncondBr, Ctx.CostKind);
813 LLVM_DEBUG(
dbgs() <<
"Cost of " << BackedgeCost <<
" for VF " << VF
814 <<
": vector loop backedge\n");
815 Cost += BackedgeCost;
827 assert(VF.
isVector() &&
"Can only compute vector cost at the moment.");
829 return Then->cost(VF, Ctx);
832#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
836 auto NewIndent = Indent +
" ";
841 O << Indent <<
"}\n";
851 "Canonical IV must be in the entry of the top-level loop region");
853 {CanIV->getStartValue(), CanIV->getBackedgeValue()},
854 CanIV->getDebugLoc(),
"index");
856 CanIV->eraseFromParent();
877 L->getUniqueExitBlocks(IRExitBlocks);
885 for (
auto *VPB : CreatedBlocks) {
890 for (
auto *Def : R.definedValues())
891 Def->replaceAllUsesWith(&DummyValue);
893 for (
unsigned I = 0, E = R.getNumOperands();
I != E;
I++)
894 R.setOperand(
I, &DummyValue);
901 delete BackedgeTakenCount;
924 State->CFG.PrevVPBB =
nullptr;
925 State->CFG.ExitBB = State->CFG.PrevBB->getSingleSuccessor();
929 State->VPDT.recalculate(*
this);
932 BasicBlock *VectorPreHeader = State->CFG.PrevBB;
934 State->CFG.DTU.applyUpdates(
952 State->CFG.DTU.applyUpdates(
960 Block->execute(State);
973 Loop *L = State->LI->getLoopFor(BB);
975 [L](
BasicBlock *Succ) {
return L->contains(Succ); }))
981 State->LI->getLoopFor(Succ));
982 State->LI->removeBlock(BB);
984 Target->addBasicBlockToLoop(BB, *State->LI);
995 if (R.getNumOperands() == 1)
1004 for (
auto *BB : Blocks)
1005 State->LI->removeBlock(BB);
1007 State->LI->erase(OrigLoop);
1010 State->CFG.DTU.flush();
1017 BasicBlock *VectorLatchBB = State->CFG.VPBB2IRBB[LatchVPBB];
1032 Value *Phi = State->get(PhiR, NeedsScalar);
1035 Value *Val = State->get(PhiR->getOperand(1), NeedsScalar);
1062 return R->isReplicator() ? nullptr : R;
1069 return R->isReplicator() ? nullptr : R;
1073#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1077 if (VF.getNumUsers() > 0) {
1083 if (UF.getNumUsers() > 0) {
1089 if (VFxUF.getNumUsers() > 0) {
1095 if (VectorTripCount.getNumUsers() > 0) {
1098 O <<
" = vector-trip-count";
1101 if (BackedgeTakenCount && BackedgeTakenCount->getNumUsers()) {
1103 BackedgeTakenCount->printAsOperand(O,
SlotTracker);
1104 O <<
" = backedge-taken count";
1112 O <<
" = original trip-count";
1121 O <<
"VPlan '" <<
getName() <<
"' {";
1138 RSO << Name <<
" for ";
1140 RSO <<
"VF={" << VFs[0];
1149 RSO <<
"UF={" << UFs[0];
1176 NewDeepRPOT(NewEntry);
1179 for (
const auto &[OldBB, NewBB] :
1182 assert(OldBB->getRecipeList().size() == NewBB->getRecipeList().
size() &&
1183 "blocks must have the same number of recipes");
1184 for (
const auto &[OldR, NewR] :
zip(*OldBB, *NewBB)) {
1185 assert(OldR.getNumOperands() == NewR.getNumOperands() &&
1186 "recipes must have the same number of operands");
1187 assert(OldR.getNumDefinedValues() == NewR.getNumDefinedValues() &&
1188 "recipes must define the same number of operands");
1189 for (
const auto &[OldV, NewV] :
1190 zip(OldR.definedValues(), NewR.definedValues()))
1191 Old2NewVPValues[OldV] = NewV;
1199 for (
unsigned I = 0,
E = NewR.getNumOperands();
I !=
E; ++
I) {
1201 NewR.setOperand(
I, NewOp);
1207 unsigned NumBlocksBeforeCloning = CreatedBlocks.size();
1217 return VPIRBB && VPIRBB->getIRBasicBlock() == ScalarHeaderIRBB;
1226 Old2NewVPValues[OldLiveIn] = NewPlan->getOrAddLiveIn(OldLiveIn);
1227 Old2NewVPValues[&VectorTripCount] = &NewPlan->VectorTripCount;
1228 Old2NewVPValues[&VF] = &NewPlan->VF;
1229 Old2NewVPValues[&UF] = &NewPlan->UF;
1230 Old2NewVPValues[&VFxUF] = &NewPlan->VFxUF;
1231 if (BackedgeTakenCount) {
1233 Old2NewVPValues[BackedgeTakenCount] = NewPlan->BackedgeTakenCount;
1236 Old2NewVPValues[TripCountIRV] = NewPlan->getOrAddLiveIn(TripCountIRV);
1246 NewPlan->Name = Name;
1249 "TripCount must have been added to Old2NewVPValues");
1250 NewPlan->TripCount = Old2NewVPValues[TripCount];
1255 unsigned NumBlocksAfterCloning = CreatedBlocks.size();
1257 seq<unsigned>(NumBlocksBeforeCloning, NumBlocksAfterCloning))
1258 NewPlan->CreatedBlocks.push_back(this->CreatedBlocks[
I]);
1259 CreatedBlocks.truncate(NumBlocksBeforeCloning);
1264 VPB != NewScalarHeader)
1273 CreatedBlocks.push_back(VPIRBB);
1285#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1293 const std::string &Name =
Block->getName();
1302 OS <<
"digraph VPlan {\n";
1303 OS <<
"graph [labelloc=t, fontsize=30; label=\"Vectorization Plan";
1304 if (!Plan.getName().empty())
1311 Plan.printLiveIns(SS);
1314 for (
auto Line : Lines)
1319 OS <<
"node [shape=rect, fontname=Courier, fontsize=30]\n";
1320 OS <<
"edge [fontname=Courier, fontsize=30]\n";
1321 OS <<
"compound=true\n";
1339 bool Hidden,
const Twine &Label) {
1344 OS << Indent << getUID(
Tail) <<
" -> " << getUID(Head);
1345 OS <<
" [ label=\"" << Label <<
'\"';
1347 OS <<
" ltail=" << getUID(From);
1349 OS <<
" lhead=" << getUID(To);
1351 OS <<
"; splines=none";
1356 auto &Successors =
Block->getSuccessors();
1357 if (Successors.size() == 1)
1358 drawEdge(
Block, Successors.front(),
false,
"");
1359 else if (Successors.size() == 2) {
1360 drawEdge(
Block, Successors.front(),
false,
"T");
1361 drawEdge(
Block, Successors.back(),
false,
"F");
1363 unsigned SuccessorNumber = 0;
1372 OS << Indent << getUID(BasicBlock) <<
" [label =\n";
1375 raw_string_ostream
SS(Str);
1382 StringRef(Str).rtrim(
'\n').split(Lines,
"\n");
1384 auto EmitLine = [&](StringRef
Line, StringRef Suffix) {
1390 EmitLine(Line,
" +\n");
1391 EmitLine(
Lines.back(),
"\n");
1394 OS << Indent <<
"]\n";
1396 dumpEdges(BasicBlock);
1400 OS << Indent <<
"subgraph " << getUID(Region) <<
" {\n";
1402 OS << Indent <<
"fontname=Courier\n"
1403 << Indent <<
"label=\""
1407 assert(
Region->getEntry() &&
"Region contains no inner blocks.");
1411 OS << Indent <<
"}\n";
1421 return DefR && (!DefR->
getParent()->getPlan()->getVectorLoopRegion() ||
1431 SV->markMaterialized();
1446 bool RemovedUser =
false;
1469#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1481void VPSlotTracker::assignName(
const VPValue *V) {
1482 assert(!VPValue2Name.contains(V) &&
"VPValue already has a name!");
1483 auto *UV = V->getUnderlyingValue();
1485 if (!UV && !(VPI && !VPI->getName().empty())) {
1486 VPValue2Name[V] = (
Twine(
"vp<%") +
Twine(NextSlot) +
">").str();
1497 Name = VPI->getName();
1499 assert(!Name.empty() &&
"Name cannot be empty.");
1501 std::string BaseName = (
Twine(Prefix) + Name +
Twine(
">")).str();
1504 const auto &[
A,
_] = VPValue2Name.try_emplace(V, BaseName);
1512 const auto &[
C, UseInserted] = BaseName2Version.
try_emplace(BaseName, 0);
1515 A->second = (BaseName +
Twine(
".") +
Twine(
C->second)).str();
1519void VPSlotTracker::assignNames(
const VPlan &Plan) {
1521 assignName(&Plan.VF);
1523 assignName(&Plan.UF);
1525 assignName(&Plan.VFxUF);
1526 assignName(&Plan.VectorTripCount);
1527 if (Plan.BackedgeTakenCount)
1528 assignName(Plan.BackedgeTakenCount);
1532 ReversePostOrderTraversal<VPBlockDeepTraversalWrapper<const VPBlockBase *>>
1533 RPOT(VPBlockDeepTraversalWrapper<const VPBlockBase *>(Plan.
getEntry()));
1534 for (
const VPBasicBlock *VPBB :
1539void VPSlotTracker::assignNames(
const VPBasicBlock *VPBB) {
1540 for (
const VPRecipeBase &Recipe : *VPBB)
1541 for (VPValue *Def : Recipe.definedValues())
1545std::string VPSlotTracker::getName(
const Value *V) {
1547 raw_string_ostream S(Name);
1549 V->printAsOperand(S,
false);
1558 if (
I->getParent()) {
1559 MST = std::make_unique<ModuleSlotTracker>(
I->getModule());
1560 MST->incorporateFunction(*
I->getFunction());
1562 MST = std::make_unique<ModuleSlotTracker>(
nullptr);
1565 V->printAsOperand(S,
false, *MST);
1570 std::string Name = VPValue2Name.lookup(V);
1584 "VPValue defined by a recipe in a VPlan?");
1587 if (
auto *UV = V->getUnderlyingValue()) {
1590 UV->printAsOperand(S,
false);
1591 return (
Twine(
"ir<") + Name +
">").str();
1599 assert(!
Range.isEmpty() &&
"Trying to test an empty VF range.");
1600 bool PredicateAtRangeStart = Predicate(
Range.Start);
1603 if (Predicate(TmpVF) != PredicateAtRangeStart) {
1608 return PredicateAtRangeStart;
1618 auto MaxVFTimes2 = MaxVF * 2;
1620 VFRange SubRange = {VF, MaxVFTimes2};
1621 if (
auto Plan = tryToBuildVPlan(SubRange)) {
1626 VPlans.push_back(std::move(Plan));
1634 [VF](
const VPlanPtr &Plan) {
return Plan->hasVF(VF); }) ==
1636 "Multiple VPlans for VF.");
1638 for (
const VPlanPtr &Plan : VPlans) {
1639 if (Plan->hasVF(VF))
1649 bool IsUnrollMetadata =
false;
1650 MDNode *LoopID = L->getLoopID();
1659 if (S->getString().starts_with(
"llvm.loop.unroll.runtime.disable"))
1662 S->getString().starts_with(
"llvm.loop.unroll.disable");
1668 if (!IsUnrollMetadata) {
1670 LLVMContext &Context = L->getHeader()->getContext();
1673 MDString::get(Context,
"llvm.loop.unroll.runtime.disable"));
1679 L->setLoopID(NewLoopID);
1685 bool VectorizingEpilogue,
MDNode *OrigLoopID,
1686 std::optional<unsigned> OrigAverageTripCount,
1687 unsigned OrigLoopInvocationWeight,
unsigned EstimatedVFxUF,
1688 bool DisableRuntimeUnroll) {
1693 std::optional<MDNode *> RemainderLoopID =
1696 if (RemainderLoopID) {
1697 OrigLoop->setLoopID(*RemainderLoopID);
1699 if (DisableRuntimeUnroll)
1703 Hints.setAlreadyVectorized();
1713 VectorLoop->
setLoopID(*VectorizedLoopID);
1720 if (!VectorizingEpilogue) {
1722 Hints.setAlreadyVectorized();
1726 TTI.getUnrollingPreferences(VectorLoop, *PSE.getSE(), UP, ORE);
1743 unsigned AverageVectorTripCount = 0;
1744 unsigned RemainderAverageTripCount = 0;
1746 auto IsProfiled = EC && EC->getCount();
1747 if (!OrigAverageTripCount) {
1750 auto &SE = *PSE.getSE();
1751 AverageVectorTripCount = SE.getSmallConstantTripCount(VectorLoop);
1755 RemainderAverageTripCount =
1756 SE.getSmallConstantTripCount(OrigLoop) % EstimatedVFxUF;
1758 OrigLoopInvocationWeight = 1;
1761 AverageVectorTripCount = *OrigAverageTripCount / EstimatedVFxUF;
1763 RemainderAverageTripCount = *OrigAverageTripCount % EstimatedVFxUF;
1767 OrigLoopInvocationWeight);
1772 OrigLoopInvocationWeight);
1776#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1778 if (VPlans.empty()) {
1779 O <<
"LV: No VPlans built.\n";
1782 for (
const auto &Plan : VPlans)
1793 unsigned WideSize =
C->getBitWidth();
1795 ? TruncatedVal.
sext(WideSize)
1796 : TruncatedVal.
zext(WideSize);
1797 return ExtendedVal == *
C;
1815 "Scalarization overhead not supported for scalable vectors");
1820 for (
Type *VectorTy :
1822 ScalarizationCost +=
TTI.getScalarizationOverhead(
1832 for (
auto *
Op : Operands) {
1834 (!AlwaysIncludeReplicatingR &&
1842 return ScalarizationCost +
1843 TTI.getOperandsScalarizationOverhead(Tys,
CostKind, VIC);
1857 const VPlan &Plan = *R->getParent()->getPlan();
1862 assert(VPRB->isReplicator() &&
"must only contain replicate regions");
1873 Type *Ty =
Types.inferScalarType(RepR->getOperand(0));
1875 const Align Alignment =
1877 if (!
TTI.isLegalMaskedScatter(VTy, Alignment))
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
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.
dxil pretty DXIL Metadata Pretty Printer
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.
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.
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 std::optional< unsigned > getOpcode(ArrayRef< VPValue * > Values)
Returns the opcode of Values or ~0 if they do not all agree.
static void addRuntimeUnrollDisableMetaData(Loop *L)
static T * getPlanEntry(T *Start)
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.
ArrayRef - 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.
InstListType::iterator iterator
Instruction iterators...
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.
std::optional< const DILocation * > cloneByMultiplyingDuplicationFactor(unsigned DF) const
Returns a new DILocation with duplication factor DF * current duplication factor encoded in the discr...
ValueT lookup(const_arg_type_t< KeyT > Val) const
lookup - Return the entry for the specified key, or a default constructed value if no such entry exis...
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.
std::optional< ProfileCount > getEntryCount(bool AllowSynthetic=false) const
Get the entry count for this function.
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...
void addBasicBlockToLoop(BlockT *NewBB, LoopInfoBase< BlockT, LoopT > &LI)
This method is used by other analyses to update loop information.
std::vector< BlockT * > & getBlocksVector()
Return a direct, mutable handle to the blocks vector so that we can mutate it efficiently with techni...
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.
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)
Update loop metadata and profile info for both the scalar remainder loop and VectorLoop,...
void buildVPlans(ElementCount MinVF, ElementCount MaxVF)
Build VPlans for power-of-2 VF's between MinVF and MaxVF inclusive, according to the information gath...
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.
Represents a single loop in the control flow graph.
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.
size_type size() const
Determine the number of elements in the SetVector.
void insert_range(Range &&R)
bool insert(const value_type &X)
Insert a new element into the SetVector.
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.
A SetVector that performs no allocations if smaller than a certain size.
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.
StringRef - 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.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
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
void setName(const Twine &newName)
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
void setPlan(VPlan *ParentPlan)
Sets the pointer of the plan containing the block.
const std::string & getName() const
VPBlockBase * getSinglePredecessor() const
const VPBlocksTy & getHierarchicalSuccessors()
VPBlockBase(const unsigned char SC, const std::string &N)
VPBlockBase * getEnclosingBlockWithSuccessors()
An Enclosing Block of a block B is any block containing B, including B itself.
const VPBasicBlock * getEntryBasicBlock() const
VPBlockBase * getSingleHierarchicalPredecessor()
VPBlockBase * getSingleSuccessor() const
const VPBlocksTy & getSuccessors() const
static auto blocksOnly(const T &Range)
Return an iterator range over Range which only includes BlockTy blocks.
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 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.
VPlan-based builder utility analogous to IRBuilder.
VPPhi * createScalarPhi(ArrayRef< VPValue * > IncomingValues, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", const VPIRFlags &Flags={})
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.
static LLVM_ABI_FOR_TEST VPIRInstruction * create(Instruction &I)
Create a new VPIRPhi for \I , if it is a PHINode, otherwise create a VPIRInstruction.
In what follows, the term "input IR" refers to code that is fed into the vectorizer whereas the term ...
Value * getAsRuntimeExpr(IRBuilderBase &Builder, const ElementCount &VF) const
Returns an expression describing the lane index that can be used at runtime.
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...
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()
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...
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.
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPRegionBlock,...
const VPBlockBase * getExiting() const
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
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...
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,...
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
VPRecipeBase * getDefiningRecipe()
Returns the recipe defining this VPValue or nullptr if it is not defined by a recipe,...
void printAsOperand(raw_ostream &OS, VPSlotTracker &Tracker) const
friend class VPRecipeValue
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.
@ VPVRecipeValueSC
A symbolic live-in VPValue without IR backing.
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...
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.
VPBasicBlock * getEntry()
void setName(const Twine &newName)
VPIRBasicBlock * getExitBlock(BasicBlock *IRBB) const
Return the VPIRBasicBlock corresponding to IRBB.
LLVM_ABI_FOR_TEST ~VPlan()
bool isExitBlock(VPBlockBase *VPBB)
Returns true if VPBB is an exit block.
friend class VPlanPrinter
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.
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.
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.
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...
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
static constexpr bool isKnownLT(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
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.
@ Tail
Attemps to make calls as fast as possible while guaranteeing that tail call optimization can always b...
@ C
The default llvm calling convention, compatible with C.
LLVM_ABI std::string EscapeString(const std::string &Label)
@ BasicBlock
Various leaf nodes.
bool match(Val *V, const Pattern &P)
match_combine_or< LTy, RTy > m_CombineOr(const LTy &L, const RTy &R)
Combine two pattern matchers matching L || R.
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()
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...
VPBasicBlock * getFirstLoopHeader(VPlan &Plan, VPDominatorTree &VPDT)
Returns the header block of the first, top-level loop, or null if none exist.
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.
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.
cl::opt< bool > ProfcheckDisableMetadataFixes
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.
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)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
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...
cl::opt< unsigned > ForceTargetInstructionCost
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
RNSuccIterator< NodeRef, BlockT, RegionT > succ_begin(NodeRef Node)
RNSuccIterator< NodeRef, BlockT, RegionT > succ_end(NodeRef Node)
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.
FunctionAddr VTableAddr Next
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.
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.
auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
LLVM_ABI void DeleteDeadBlocks(ArrayRef< BasicBlock * > BBs, DomTreeUpdater *DTU=nullptr, bool KeepOneInputPHIs=false)
Delete the specified blocks from BB.
std::unique_ptr< VPlan > VPlanPtr
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.
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
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.
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.