57 if (!VPBB->getParent())
60 auto EndIter = Term ? Term->getIterator() : VPBB->end();
65 VPValue *VPV = Ingredient.getVPSingleValue();
81 *Load, Ingredient.getOperand(0),
nullptr ,
82 false , *VPI, Ingredient.getDebugLoc());
85 *Store, Ingredient.getOperand(1), Ingredient.getOperand(0),
86 nullptr ,
false , *VPI,
87 Ingredient.getDebugLoc());
90 Ingredient.operands(), *VPI,
91 Ingredient.getDebugLoc(),
GEP);
103 if (VectorID == Intrinsic::experimental_noalias_scope_decl)
108 if (VectorID == Intrinsic::assume ||
109 VectorID == Intrinsic::lifetime_end ||
110 VectorID == Intrinsic::lifetime_start ||
111 VectorID == Intrinsic::sideeffect ||
112 VectorID == Intrinsic::pseudoprobe) {
117 const bool IsSingleScalar = VectorID != Intrinsic::assume &&
118 VectorID != Intrinsic::pseudoprobe;
122 Ingredient.getDebugLoc());
125 *CI, VectorID,
drop_end(Ingredient.operands()), CI->getType(),
126 VPIRFlags(*CI), *VPI, CI->getDebugLoc());
130 CI->getOpcode(), Ingredient.getOperand(0), CI->getType(), CI,
134 *VPI, Ingredient.getDebugLoc());
138 "inductions must be created earlier");
147 "Only recpies with zero or one defined values expected");
148 Ingredient.eraseFromParent();
159 const Loop *L =
nullptr;
164 if (
A->getOpcode() != Instruction::Store ||
165 B->getOpcode() != Instruction::Store)
178 const APInt *Distance;
184 Type *TyA =
A->getOperand(0)->getScalarType();
186 Type *TyB =
B->getOperand(0)->getScalarType();
192 uint64_t MaxStoreSize = std::max(SizeA, SizeB);
194 auto VFs =
B->getParent()->getPlan()->vectorFactors();
198 return Distance->
abs().
uge(
206 : ExcludeRecipes(ExcludeRecipes.begin(), ExcludeRecipes.end()),
207 GroupLeader(GroupLeader), PSE(&PSE), L(&L) {}
216 return ExcludeRecipes.contains(Store) ||
217 (Store && isNoAliasViaDistance(Store, &GroupLeader));
230 std::optional<SinkStoreInfo> SinkInfo = {}) {
231 bool CheckReads = SinkInfo.has_value();
238 if (SinkInfo && SinkInfo->shouldSkip(R))
242 if (!
R.mayWriteToMemory() && !(CheckReads &&
R.mayReadFromMemory()))
267template <
unsigned Opcode>
272 static_assert(Opcode == Instruction::Load || Opcode == Instruction::Store,
273 "Only Load and Store opcodes supported");
274 constexpr bool IsLoad = (Opcode == Instruction::Load);
277 RecipesByAddressAndType;
282 if (!RepR || RepR->getOpcode() != Opcode || !FilterFn(RepR))
286 VPValue *Addr = RepR->getOperand(IsLoad ? 0 : 1);
290 RecipesByAddressAndType[{AddrSCEV, LoadStoreTy}].push_back(RepR);
295 for (
auto &Group :
Groups) {
310 auto InsertIfValidSinkCandidate = [ScalarVFOnly, &WorkList](
322 if (Candidate->getParent() == SinkTo ||
327 if (!ScalarVFOnly && RepR->isSingleScalar())
330 WorkList.
insert({SinkTo, Candidate});
342 for (
auto &Recipe : *VPBB)
344 InsertIfValidSinkCandidate(VPBB,
Op);
348 for (
unsigned I = 0;
I != WorkList.
size(); ++
I) {
351 std::tie(SinkTo, SinkCandidate) = WorkList[
I];
356 auto UsersOutsideSinkTo =
358 return cast<VPRecipeBase>(U)->getParent() != SinkTo;
360 if (
any_of(UsersOutsideSinkTo, [SinkCandidate](
VPUser *U) {
361 return !U->usesFirstLaneOnly(SinkCandidate);
364 bool NeedsDuplicating = !UsersOutsideSinkTo.empty();
366 if (NeedsDuplicating) {
370 if (
auto *SinkCandidateRepR =
375 SinkCandidateRepR->getOpcode(), SinkCandidate->
operands(),
376 nullptr, *SinkCandidateRepR, *SinkCandidateRepR,
380 Clone = SinkCandidate->
clone();
390 InsertIfValidSinkCandidate(SinkTo,
Op);
400 if (!EntryBB || EntryBB->size() != 1 ||
410 if (EntryBB->getNumSuccessors() != 2)
415 if (!Succ0 || !Succ1)
418 if (Succ0->getNumSuccessors() + Succ1->getNumSuccessors() != 1)
420 if (Succ0->getSingleSuccessor() == Succ1)
422 if (Succ1->getSingleSuccessor() == Succ0)
439 if (!Region1->isReplicator())
441 auto *MiddleBasicBlock =
443 if (!MiddleBasicBlock || !MiddleBasicBlock->empty())
448 if (!Region2 || !Region2->isReplicator())
453 if (!Mask1 || Mask1 != Mask2)
456 assert(Mask1 && Mask2 &&
"both region must have conditions");
462 if (TransformedRegions.
contains(Region1))
469 if (!Then1 || !Then2)
489 VPValue *Phi1ToMoveV = Phi1ToMove.getVPSingleValue();
495 if (Phi1ToMove.getVPSingleValue()->user_empty()) {
496 Phi1ToMove.eraseFromParent();
499 Phi1ToMove.moveBefore(*Merge2, Merge2->begin());
513 TransformedRegions.
insert(Region1);
516 return !TransformedRegions.
empty();
524 std::string RegionName = (
Twine(
"pred.") + Instr->getOpcodeName()).str();
525 assert(Instr->getParent() &&
"Predicated instruction not in any basic block");
526 auto *BlockInMask = PredRecipe->
getMask();
547 Region->setParent(ParentRegion);
553 RecipeWithoutMask->getDebugLoc());
554 Exiting->appendRecipe(PHIRecipe);
567 if (RepR->isPredicated())
586 if (ParentRegion && ParentRegion->
getExiting() == CurrentBlock)
598 if (!VPBB->getParent())
602 if (!PredVPBB || PredVPBB->getNumSuccessors() != 1 ||
611 R.moveBefore(*PredVPBB, PredVPBB->
end());
613 auto *ParentRegion = VPBB->getParent();
614 if (ParentRegion && ParentRegion->getExiting() == VPBB)
615 ParentRegion->setExiting(PredVPBB);
619 return !WorkList.
empty();
626 bool ShouldSimplify =
true;
627 while (ShouldSimplify) {
643 if (!
IV ||
IV->getTruncInst())
658 for (
auto *U : FindMyCast->
users()) {
660 if (UserCast && UserCast->getUnderlyingValue() == IRCast) {
661 FoundUserCast = UserCast;
668 FindMyCast = FoundUserCast;
670 if (FindMyCast !=
IV)
685 Builder.createDerivedIV(Kind, FPBinOp, StartV, CanonicalIV, Step);
694 BaseIV = Builder.createScalarCast(Instruction::Trunc, BaseIV, TruncTy,
DL);
700 if (ResultTy != StepTy) {
707 Builder.setInsertPoint(VecPreheader);
708 Step = Builder.createScalarCast(Instruction::Trunc, Step, ResultTy,
DL);
710 return Builder.createScalarIVSteps(InductionOpcode, FPBinOp, BaseIV, Step,
736 WideCanIV->getDebugLoc(), Builder));
737 WideCanIV->eraseFromParent();
754 WideCanIV->replaceAllUsesWith(WidenIV);
755 WideCanIV->eraseFromParent();
764 if (PHICost > BroadcastCost)
773 unsigned RegClass =
TTI.getRegisterClassForType(
true, VecTy);
785 WideCanIV->getNoWrapFlags(), WideCanIV->getDebugLoc());
786 NewWideIV->insertBefore(&*Header->getFirstNonPhi());
787 WideCanIV->replaceAllUsesWith(NewWideIV);
788 WideCanIV->eraseFromParent();
796 bool IsConditionalAssume = RepR && RepR->isPredicated() &&
798 if (IsConditionalAssume)
801 if (R.mayHaveSideEffects())
805 return all_of(R.definedValues(), [](
VPValue *V) { return V->user_empty(); });
825 VPUser *PhiUser = PhiR->getSingleUser();
831 PhiR->replaceAllUsesWith(Start);
832 PhiR->eraseFromParent();
840 for (
unsigned I = 0;
I !=
Users.size(); ++
I) {
843 Users.insert_range(V->users());
845 return Users.takeVector();
859 nullptr, StartV, StepV, PtrIV->
getDebugLoc(), Builder);
896 Def->user_empty() || !Def->getUnderlyingValue() ||
897 (RepR && (RepR->isSingleScalar() || RepR->isPredicated())))
910 Def->getUnderlyingInstr()->getOpcode(), Def->operands(),
912 Def->getUnderlyingInstr());
913 Clone->insertAfter(Def);
914 Def->replaceAllUsesWith(Clone);
925 PtrIV->replaceAllUsesWith(PtrAdd);
932 if (HasOnlyVectorVFs &&
none_of(WideIV->users(), [WideIV](
VPUser *U) {
933 return U->usesScalars(WideIV);
939 Plan,
ID.getKind(),
ID.getInductionOpcode(),
941 WideIV->getTruncInst(), WideIV->getStartValue(), WideIV->getStepValue(),
942 WideIV->getDebugLoc(), Builder);
945 if (!HasOnlyVectorVFs) {
947 "plans containing a scalar VF cannot also include scalable VFs");
948 WideIV->replaceAllUsesWith(Steps);
951 WideIV->replaceUsesWithIf(Steps,
952 [WideIV, HasScalableVF](
VPUser &U,
unsigned) {
954 return U.usesFirstLaneOnly(WideIV);
955 return U.usesScalars(WideIV);
971 return (IntOrFpIV && IntOrFpIV->getTruncInst()) ? nullptr : WideIV;
976 if (!Def || Def->getNumOperands() != 2)
984 auto IsWideIVInc = [&]() {
985 auto &
ID = WideIV->getInductionDescriptor();
988 VPValue *IVStep = WideIV->getStepValue();
989 switch (
ID.getInductionOpcode()) {
990 case Instruction::Add:
992 case Instruction::FAdd:
994 case Instruction::FSub:
997 case Instruction::Sub: {
1017 return IsWideIVInc() ? WideIV :
nullptr;
1034 if (WideIntOrFp && WideIntOrFp->getTruncInst())
1045 VPValue *FirstActiveLane =
B.createFirstActiveLane(Mask,
DL);
1046 FirstActiveLane =
B.createScalarZExtOrTrunc(
1047 FirstActiveLane, CanonicalIVType, FirstActiveLane->
getScalarType(),
DL);
1048 VPValue *EndValue =
B.createAdd(CanonicalIV, FirstActiveLane,
DL);
1053 if (Incoming != WideIV) {
1055 EndValue =
B.createAdd(EndValue, One,
DL);
1060 VPIRValue *Start = WideIV->getStartValue();
1061 VPValue *Step = WideIV->getStepValue();
1062 EndValue =
B.createDerivedIV(
1064 Start, EndValue, Step);
1078 if (WideIntOrFp && WideIntOrFp->getTruncInst())
1088 Start, VectorTC, Step);
1118 assert(EndValue &&
"Must have computed the end value up front");
1123 if (Incoming != WideIV)
1135 auto *Zero = Plan.
getZero(StepTy);
1136 return B.createPtrAdd(EndValue,
B.createSub(Zero, Step),
1141 return B.createNaryOp(
1142 ID.getInductionBinOp()->getOpcode() == Instruction::FAdd
1144 : Instruction::FAdd,
1145 {EndValue, Step}, {ID.getInductionBinOp()->getFastMathFlags()});
1156 VPBuilder VectorPHBuilder(VectorPH, VectorPH->begin());
1166 EndValues[WideIV] = EndValue;
1176 R.getVPSingleValue()->replaceAllUsesWith(EndValue);
1177 R.eraseFromParent();
1186 for (
auto [Idx, PredVPBB] :
enumerate(ExitVPBB->getPredecessors())) {
1188 if (PredVPBB == MiddleVPBB)
1190 Plan, ExitIRI->getOperand(Idx), EndValues, PSE);
1193 Plan, ExitIRI->getOperand(Idx), PSE);
1195 ExitIRI->setOperand(Idx, Escape);
1212 const auto &[V, Inserted] = SCEV2VPV.
try_emplace(ExpR->getSCEV(), ExpR);
1216 ExpR->replaceAllUsesWith(V->second);
1220 ExpR->eraseFromParent();
1229 while (!WorkList.
empty()) {
1231 if (!Seen.
insert(Cur).second)
1239 R->eraseFromParent();
1246static std::optional<std::pair<bool, unsigned>>
1249 std::optional<std::pair<bool, unsigned>>>(R)
1252 [](
auto *
I) {
return std::make_pair(
false,
I->getOpcode()); })
1254 return std::make_pair(
true,
I->getVectorIntrinsicID());
1256 .Case<VPVectorPointerRecipe, VPPredInstPHIRecipe, VPScalarIVStepsRecipe>(
1262 I->getVPRecipeID());
1264 .
Default([](
auto *) {
return std::nullopt; });
1289 VPlan &Plan = *R.getParent()->getPlan();
1290 auto FoldToIRValue = [&]() ->
Value * {
1292 if (OpcodeOrIID->first) {
1294 return Folder.FoldIntrinsic(OpcodeOrIID->second,
Ops, R.getScalarType(),
1295 RFlags ? RFlags->getFastMathFlagsOrNone()
1298 unsigned Opcode = OpcodeOrIID->second;
1304 R.getVPSingleValue()->getScalarType());
1307 return Folder.FoldBinOp(Instruction::BinaryOps::Xor,
Ops[0],
1309 case Instruction::Select:
1310 return Folder.FoldSelect(
Ops[0],
Ops[1],
Ops[2]);
1311 case Instruction::ICmp:
1312 case Instruction::FCmp:
1315 case Instruction::GetElementPtr: {
1318 return Folder.FoldGEP(
GEP->getSourceElementType(),
Ops[0],
1328 case Instruction::ExtractElement:
1335 if (
Value *V = FoldToIRValue())
1342 bool CanCreateNewRecipe) {
1343 VPlan *Plan = Def->getParent()->getPlan();
1353 Def->replaceAllUsesWith(
X);
1354 Def->eraseFromParent();
1366 Def->replaceAllUsesWith(
X);
1378 Def->replaceAllUsesWith(Plan->
getZero(Def->getScalarType()));
1384 Def->replaceAllUsesWith(
X);
1390 Def->replaceAllUsesWith(Plan->
getFalse());
1396 Def->replaceAllUsesWith(
X);
1401 if (CanCreateNewRecipe &&
1406 (!Def->getOperand(0)->hasMoreThanOneUniqueUser() ||
1407 !Def->getOperand(1)->hasMoreThanOneUniqueUser())) {
1408 Def->replaceAllUsesWith(
1409 Builder.createLogicalAnd(
X, Builder.createOr(
Y, Z)));
1416 Def->replaceAllUsesWith(Def->getOperand(1));
1423 Def->replaceAllUsesWith(Builder.createLogicalAnd(
X,
Y));
1429 Def->replaceAllUsesWith(Plan->
getFalse());
1434 Def->replaceAllUsesWith(
X);
1440 if (CanCreateNewRecipe &&
1442 Def->replaceAllUsesWith(Builder.createNot(
C));
1448 Def->setOperand(0,
C);
1449 Def->setOperand(1,
Y);
1450 Def->setOperand(2,
X);
1455 if (CanCreateNewRecipe &&
1459 Y->getScalarType()->isIntegerTy(1)) {
1460 Def->replaceAllUsesWith(
1461 Builder.createOr(
Y, Builder.createLogicalAnd(
X, Z)));
1470 VPlan *Plan = Def->getParent()->getPlan();
1476 return Def->replaceAllUsesWith(V);
1482 PredPHI->replaceAllUsesWith(
Op);
1489 RepR && RepR->isPredicated() && RepR->getOpcode() == Instruction::Store &&
1493 RepR->getUnderlyingInstr(), RepR->operandsWithoutMask(),
1494 RepR->isSingleScalar(),
nullptr, *RepR, *RepR,
1495 RepR->getDebugLoc());
1496 Unmasked->insertBefore(RepR);
1497 RepR->replaceAllUsesWith(Unmasked);
1498 RepR->eraseFromParent();
1512 bool CanCreateNewRecipe =
1517 Type *TruncTy = Def->getScalarType();
1518 Type *ATy =
A->getScalarType();
1519 if (TruncTy == ATy) {
1520 Def->replaceAllUsesWith(
A);
1529 : Instruction::ZExt;
1532 if (
auto *UnderlyingExt = Def->getOperand(0)->getUnderlyingValue()) {
1534 Ext->setUnderlyingValue(UnderlyingExt);
1536 Def->replaceAllUsesWith(Ext);
1538 auto *Trunc = Builder.createWidenCast(Instruction::Trunc,
A, TruncTy);
1539 Def->replaceAllUsesWith(Trunc);
1549 return Def->replaceAllUsesWith(
A);
1552 return Def->replaceAllUsesWith(
A);
1555 return Def->replaceAllUsesWith(Plan->
getZero(Def->getScalarType()));
1561 return Def->replaceAllUsesWith(Builder.createSub(
1562 Plan->
getZero(
A->getScalarType()),
A, Def->getDebugLoc(),
"", NW));
1565 if (CanCreateNewRecipe &&
1573 ->hasNoSignedWrap()};
1574 return Def->replaceAllUsesWith(
1575 Builder.createSub(
X,
Y, Def->getDebugLoc(),
"", NW));
1581 return Def->replaceAllUsesWith(Builder.createNaryOp(
1583 {A, Plan->getConstantInt(APC->getBitWidth(), APC->exactLogBase2())},
1588 return Def->replaceAllUsesWith(Builder.createNaryOp(
1590 {A, Plan->getConstantInt(APC->getBitWidth(), APC->exactLogBase2())},
1595 return Def->replaceAllUsesWith(
A);
1610 R->setOperand(1,
Y);
1611 R->setOperand(2,
X);
1615 R->replaceAllUsesWith(Cmp);
1620 if (!Cmp->getDebugLoc() && Def->getDebugLoc())
1621 Cmp->setDebugLoc(Def->getDebugLoc());
1633 if (
Op->getNumUsers() > 1 ||
1637 }
else if (!UnpairedCmp) {
1638 UnpairedCmp =
Op->getDefiningRecipe();
1642 UnpairedCmp =
nullptr;
1649 if (NewOps.
size() < Def->getNumOperands()) {
1651 return Def->replaceAllUsesWith(NewAnyOf);
1658 if (CanCreateNewRecipe &&
1664 return Def->replaceAllUsesWith(NewCmp);
1670 Def->getOperand(1)->getScalarType() == Def->getScalarType())
1671 return Def->replaceAllUsesWith(Def->getOperand(1));
1675 Type *WideStepTy = Def->getScalarType();
1676 if (
X->getScalarType() != WideStepTy)
1677 X = Builder.createWidenCast(Instruction::Trunc,
X, WideStepTy);
1678 Def->replaceAllUsesWith(
X);
1687 Def->getScalarType()->isIntegerTy(1)) {
1688 Def->setOperand(1, Def->getOperand(0));
1689 Def->setOperand(0,
Y);
1696 return Def->replaceAllUsesWith(Def->getOperand(0));
1702 Def->replaceAllUsesWith(
1703 BuildVector->getOperand(BuildVector->getNumOperands() - 1));
1708 return Def->replaceAllUsesWith(
X);
1711 return Def->replaceAllUsesWith(
A);
1714 return Def->replaceAllUsesWith(
A);
1720 Def->replaceAllUsesWith(
1721 BuildVector->getOperand(BuildVector->getNumOperands() - 2));
1728 Def->replaceAllUsesWith(BuildVector->getOperand(Idx));
1733 Def->replaceAllUsesWith(
1743 "broadcast operand must be single-scalar");
1744 Def->setOperand(0,
C);
1749 return Def->replaceUsesWithIf(
1750 X, [Def](
const VPUser &U,
unsigned) {
return U.usesScalars(Def); });
1753 if (Def->getNumOperands() == 1) {
1754 Def->replaceAllUsesWith(Def->getOperand(0));
1759 Phi->replaceAllUsesWith(Phi->getOperand(0));
1765 if (Def->getNumOperands() == 1 &&
1767 return Def->replaceAllUsesWith(IRV);
1780 return Def->replaceAllUsesWith(
A);
1787 return Def->replaceAllUsesWith(WidenIV->getRegion()->getCanonicalIV());
1790 Def->replaceAllUsesWith(Builder.createNaryOp(
1791 Instruction::ExtractElement, {A, LaneToExtract}, Def->getDebugLoc()));
1805 auto *IVInc = Def->getOperand(0);
1806 if (IVInc->getNumUsers() == 2) {
1811 if (Phi->getNumUsers() == 1 || (Phi->getNumUsers() == 2 && Inc)) {
1812 Def->replaceAllUsesWith(IVInc);
1814 Inc->replaceAllUsesWith(Phi);
1815 Phi->setOperand(0,
Y);
1831 Steps->replaceAllUsesWith(Steps->getOperand(0));
1839 Def->replaceUsesWithIf(StartV, [](
const VPUser &U,
unsigned Idx) {
1841 return PhiR && PhiR->isInLoop();
1847 return Def->replaceAllUsesWith(
A);
1866 R.getVPSingleValue()->replaceAllUsesWith(
X);
1882 while (!Worklist.
empty()) {
1891 R->replaceAllUsesWith(
1892 Builder.createLogicalAnd(HeaderMask, Builder.createLogicalAnd(
X,
Y)));
1896static std::optional<Instruction::BinaryOps>
1899 case Intrinsic::masked_udiv:
1900 return Instruction::UDiv;
1901 case Intrinsic::masked_sdiv:
1902 return Instruction::SDiv;
1903 case Intrinsic::masked_urem:
1904 return Instruction::URem;
1905 case Intrinsic::masked_srem:
1906 return Instruction::SRem;
1923 if (RepR && (RepR->isSingleScalar() || RepR->isPredicated()))
1927 if (RepR && RepR->getOpcode() == Instruction::Store &&
1930 RepOrWidenR->getUnderlyingInstr(), RepOrWidenR->operands(),
1931 true ,
nullptr , *RepR ,
1932 *RepR , RepR->getDebugLoc());
1933 Clone->insertBefore(RepOrWidenR);
1935 VPValue *ExtractOp = Clone->getOperand(0);
1941 Clone->setOperand(0, ExtractOp);
1942 RepR->eraseFromParent();
1954 VPValue *SafeDivisor = Builder.createSelect(
1955 IntrR->getOperand(2), IntrR->getOperand(1),
1957 VPValue *Clone = Builder.createNaryOp(
1958 *
Opc, {IntrR->getOperand(0), SafeDivisor},
1961 IntrR->eraseFromParent();
1970 auto IntroducesBCastOf = [](
const VPValue *
Op) {
1979 return !U->usesScalars(
Op);
1983 if (
any_of(RepOrWidenR->users(), IntroducesBCastOf(RepOrWidenR)) &&
1986 make_filter_range(Op->users(), not_equal_to(RepOrWidenR)),
1987 IntroducesBCastOf(Op)))
1991 auto *IRV = dyn_cast<VPIRValue>(Op);
1992 bool LiveInNeedsBroadcast = IRV && !isa<Constant>(IRV->getValue());
1993 auto *OpR = dyn_cast<VPReplicateRecipe>(Op);
1994 return LiveInNeedsBroadcast || (OpR && OpR->isSingleScalar());
2001 RepOrWidenR->getUnderlyingInstr());
2002 Clone->insertBefore(RepOrWidenR);
2003 RepOrWidenR->replaceAllUsesWith(Clone);
2005 RepOrWidenR->eraseFromParent();
2041 if (Blend->isNormalized() || !
match(Blend->getMask(0),
m_False()))
2042 UniqueValues.
insert(Blend->getIncomingValue(0));
2043 for (
unsigned I = 1;
I != Blend->getNumIncomingValues(); ++
I)
2045 UniqueValues.
insert(Blend->getIncomingValue(
I));
2047 if (UniqueValues.
size() == 1) {
2048 Blend->replaceAllUsesWith(*UniqueValues.
begin());
2049 Blend->eraseFromParent();
2053 if (Blend->isNormalized())
2059 unsigned StartIndex = 0;
2060 for (
unsigned I = 0;
I != Blend->getNumIncomingValues(); ++
I) {
2072 OperandsWithMask.
push_back(Blend->getIncomingValue(StartIndex));
2074 for (
unsigned I = 0;
I != Blend->getNumIncomingValues(); ++
I) {
2075 if (
I == StartIndex)
2077 OperandsWithMask.
push_back(Blend->getIncomingValue(
I));
2078 OperandsWithMask.
push_back(Blend->getMask(
I));
2083 OperandsWithMask, *Blend, Blend->getDebugLoc());
2084 NewBlend->insertBefore(&R);
2086 VPValue *DeadMask = Blend->getMask(StartIndex);
2088 Blend->eraseFromParent();
2093 if (NewBlend->getNumOperands() == 3 &&
2095 VPValue *Inc0 = NewBlend->getOperand(0);
2096 VPValue *Inc1 = NewBlend->getOperand(1);
2097 VPValue *OldMask = NewBlend->getOperand(2);
2098 NewBlend->setOperand(0, Inc1);
2099 NewBlend->setOperand(1, Inc0);
2100 NewBlend->setOperand(2, NewMask);
2127 APInt MaxVal = AlignedTC - 1;
2130 unsigned NewBitWidth =
2136 bool MadeChange =
false;
2161 "canonical IV is not expected to have a truncation");
2166 NewWideIV->insertBefore(WideIV);
2173 Cmp->replaceAllUsesWith(
2174 VPBuilder(Cmp).createICmp(Cmp->getPredicate(), NewWideIV, NewBTC));
2188 return any_of(
Cond->getDefiningRecipe()->operands(), [&Plan, BestVF, BestUF,
2190 return isConditionTrueViaVFAndUF(C, Plan, BestVF, BestUF, PSE);
2204 const SCEV *VectorTripCount =
2209 "Trip count SCEV must be computable");
2230 auto *Term = &ExitingVPBB->
back();
2243 for (
unsigned Part = 0; Part < UF; ++Part) {
2249 Extracts[Part] = Ext;
2261 match(Phi->getBackedgeValue(),
2263 assert(Index &&
"Expected index from ActiveLaneMask instruction");
2280 "Expected one VPActiveLaneMaskPHIRecipe for each unroll part");
2287 "Expected incoming values of Phi to be ActiveLaneMasks");
2292 EntryALM->setOperand(2, ALMMultiplier);
2293 LoopALM->setOperand(2, ALMMultiplier);
2297 ExtractFromALM(EntryALM, EntryExtracts);
2302 ExtractFromALM(LoopALM, LoopExtracts);
2304 Not->setOperand(0, LoopExtracts[0]);
2307 for (
unsigned Part = 0; Part < UF; ++Part) {
2308 Phis[Part]->setStartValue(EntryExtracts[Part]);
2309 Phis[Part]->setBackedgeValue(LoopExtracts[Part]);
2322 auto *Term = &ExitingVPBB->
back();
2334 const SCEV *VectorTripCount =
2340 "Trip count SCEV must be computable");
2359 Term->setOperand(1, Plan.
getTrue());
2364 {}, Term->getDebugLoc());
2366 Term->eraseFromParent();
2399 R.getVPSingleValue()->replaceAllUsesWith(Trunc);
2409 assert(Plan.
hasVF(BestVF) &&
"BestVF is not available in Plan");
2410 assert(Plan.
hasUF(BestUF) &&
"BestUF is not available in Plan");
2428 RecurKind RK = PhiR->getRecurrenceKind();
2435 RecWithFlags->dropPoisonGeneratingFlags();
2441struct VPCSEDenseMapInfo :
public DenseMapInfo<VPSingleDefRecipe *> {
2450 return GEP->getSourceElementType();
2453 .Case<VPVectorPointerRecipe, VPWidenGEPRecipe>(
2454 [](
auto *
I) {
return I->getSourceElementType(); })
2455 .
Default([](
auto *) {
return nullptr; });
2459 static bool canHandle(
const VPSingleDefRecipe *Def) {
2468 if (!
C || (!
C->first && (
C->second == Instruction::InsertValue ||
2469 C->second == Instruction::ExtractValue)))
2475 return !
Def->mayReadFromMemory();
2479 static unsigned getHashValue(
const VPSingleDefRecipe *Def) {
2482 getGEPSourceElementType(Def),
Def->getScalarType(),
2485 if (RFlags->hasPredicate())
2488 return hash_combine(Result, SIVSteps->getInductionOpcode());
2493 static bool isEqual(
const VPSingleDefRecipe *L,
const VPSingleDefRecipe *R) {
2494 if (
L->getVPRecipeID() !=
R->getVPRecipeID() ||
2496 getGEPSourceElementType(L) != getGEPSourceElementType(R) ||
2498 !
equal(
L->operands(),
R->operands()))
2501 "must have valid opcode info for both recipes");
2503 if (LFlags->hasPredicate() &&
2504 LFlags->getPredicate() !=
2508 if (LSIV->getInductionOpcode() !=
2514 const VPRegionBlock *RegionL =
L->getRegion();
2515 const VPRegionBlock *RegionR =
R->getRegion();
2518 L->getParent() !=
R->getParent())
2520 return L->getScalarType() ==
R->getScalarType();
2536 if (!Def || !VPCSEDenseMapInfo::canHandle(Def))
2540 if (!VPDT.
dominates(V->getParent(), VPBB))
2545 Def->replaceAllUsesWith(V);
2558 bool Sinking =
false) {
2587 "Expected vector prehader's successor to be the vector loop region");
2595 return !Op->isDefinedOutsideLoopRegions();
2598 R.moveBefore(*Preheader, Preheader->
end());
2618 assert(!RepR->isPredicated() &&
2619 "Expected prior transformation of predicated replicates to "
2620 "replicate regions");
2625 if (!RepR->isSingleScalar())
2629 if (RepR->getOpcode() == Instruction::Store &&
2630 !RepR->getOperand(1)->isDefinedOutsideLoopRegions())
2635 assert((!R.mayWriteToMemory() ||
2636 (RepR && RepR->getOpcode() == Instruction::Store &&
2637 RepR->getOperand(1)->isDefinedOutsideLoopRegions())) &&
2638 "The only recipes that may write to memory are expected to be "
2639 "stores with invariant pointer-operand");
2649 if (
any_of(Def->users(), [&SinkBB, &LoopRegion](
VPUser *U) {
2650 auto *UserR = cast<VPRecipeBase>(U);
2651 VPBasicBlock *Parent = UserR->getParent();
2653 if (SinkBB && SinkBB != Parent)
2658 return UserR->isPhi() || Parent->getEnclosingLoopRegion() ||
2659 Parent->getSinglePredecessor() != LoopRegion;
2669 "Defining block must dominate sink block");
2694 VPValue *ResultVPV = R.getVPSingleValue();
2696 unsigned NewResSizeInBits = MinBWs.
lookup(UI);
2697 if (!NewResSizeInBits)
2710 (void)OldResSizeInBits;
2718 VPW->dropPoisonGeneratingFlags();
2720 assert((OldResSizeInBits != NewResSizeInBits ||
2722 "Only ICmps should not need extending the result.");
2728 if (OldResSizeInBits != NewResSizeInBits) {
2730 Instruction::ZExt, ResultVPV, OldResTy);
2732 Ext->setOperand(0, ResultVPV);
2742 unsigned OpSizeInBits =
Op->getScalarType()->getScalarSizeInBits();
2743 if (OpSizeInBits == NewResSizeInBits)
2745 assert(OpSizeInBits > NewResSizeInBits &&
"nothing to truncate");
2746 auto [ProcessedIter, Inserted] = ProcessedTruncs.
try_emplace(
Op);
2752 Builder.setInsertPoint(&R);
2753 ProcessedIter->second =
2754 Builder.createWidenCast(Instruction::Trunc,
Op, NewResTy);
2756 Op = ProcessedIter->second;
2760 NWR->insertBefore(&R);
2764 VPValue *Replacement = NWR->getVPSingleValue();
2765 if (OldResSizeInBits != NewResSizeInBits)
2771 R.eraseFromParent();
2777 std::optional<VPDominatorTree> VPDT;
2785 bool SimplifiedPhi =
false;
2795 assert(VPBB->getNumSuccessors() == 2 &&
2796 "Two successors expected for BranchOnCond");
2797 unsigned RemovedIdx;
2808 "There must be a single edge between VPBB and its successor");
2811 auto Phis = RemovedSucc->
phis();
2814 SimplifiedPhi |= !std::empty(Phis);
2818 VPBB->back().eraseFromParent();
2830 if (Reachable.contains(
B))
2841 for (
VPValue *Def : R.definedValues())
2842 Def->replaceAllUsesWith(&Tmp);
2843 R.eraseFromParent();
2847 return SimplifiedPhi;
2902 DebugLoc DL = CanonicalIVIncrement->getDebugLoc();
2913 auto *EntryIncrement = Builder.createOverflowingOp(
2915 DL,
"index.part.next");
2921 {EntryIncrement, TC, ALMMultiplier},
DL,
2922 "active.lane.mask.entry");
2929 LaneMaskPhi->insertBefore(*HeaderVPBB, HeaderVPBB->begin());
2934 Builder.setInsertPoint(OriginalTerminator);
2935 auto *InLoopIncrement = Builder.createOverflowingOp(
2937 {CanonicalIVIncrement, &Plan.
getVF()}, {
false,
false},
DL);
2939 {InLoopIncrement, TC, ALMMultiplier},
DL,
2940 "active.lane.mask.next");
2941 LaneMaskPhi->addBackedgeValue(ALM);
2945 auto *NotMask = Builder.createNot(ALM,
DL);
2952 bool UseActiveLaneMaskForControlFlow) {
2954 auto *WideCanonicalIV =
2956 assert(WideCanonicalIV &&
2957 "Must have widened canonical IV when tail folding!");
2960 if (UseActiveLaneMaskForControlFlow) {
2969 nullptr,
"active.lane.mask");
2985 template <
typename OpTy>
bool match(OpTy *V)
const {
2996template <
typename Op0_t,
typename Op1_t>
3004 case Intrinsic::masked_udiv:
3005 return Intrinsic::vp_udiv;
3006 case Intrinsic::masked_sdiv:
3007 return Intrinsic::vp_sdiv;
3008 case Intrinsic::masked_urem:
3009 return Intrinsic::vp_urem;
3010 case Intrinsic::masked_srem:
3011 return Intrinsic::vp_srem;
3013 return std::nullopt;
3028 VPValue *Addr, *Mask, *EndPtr;
3031 auto AdjustEndPtr = [&CurRecipe, &EVL](
VPValue *EndPtr) {
3033 EVLEndPtr->insertBefore(&CurRecipe);
3038 EVLEndPtr->setOperand(1, EVLAsVF);
3042 auto GetVPReverse = [&CurRecipe, &EVL, Plan,
3047 Intrinsic::experimental_vp_reverse, {V, Plan->
getTrue(), &EVL},
3048 V->getScalarType(), {}, {},
DL);
3049 Reverse->insertBefore(&CurRecipe);
3053 if (
match(&CurRecipe,
3058 if (
match(&CurRecipe,
3062 Mask = GetVPReverse(Mask);
3063 Addr = AdjustEndPtr(EndPtr);
3066 LoadR->insertBefore(&CurRecipe);
3070 LoadR->getScalarType(), {}, {},
DL);
3081 NewLoad->setOperand(2, Mask);
3082 NewLoad->setOperand(3, &EVL);
3090 StoredVal, EVL, Mask);
3092 if (
match(&CurRecipe,
3096 Mask = GetVPReverse(Mask);
3097 Addr = AdjustEndPtr(EndPtr);
3100 Intrinsic::vector_splice_right, {StoredVal,
Poison, &EVL},
3104 SpliceR, EVL, Mask);
3108 if (Rdx->isConditional() &&
3113 if (Interleave->getMask() &&
3121 Intrinsic::vp_merge, {Mask ? Mask : Plan->
getTrue(),
LHS,
RHS, &EVL},
3122 LHS->getScalarType(), {}, {},
DL);
3135 if (
match(&CurRecipe,
3140 LHS->getScalarType(), {}, {},
DL);
3146 {IntrR->getOperand(0),
3147 IntrR->getOperand(1),
3148 Mask ? Mask : Plan->
getTrue(), &EVL},
3149 IntrR->getScalarType(), {}, {},
DL);
3158 VPValue *HeaderMask =
nullptr, *EVL =
nullptr;
3163 HeaderMask = R.getVPSingleValue();
3174 NewR->insertBefore(R);
3175 for (
auto [Old, New] :
3176 zip_equal(R->definedValues(), NewR->definedValues()))
3177 Old->replaceAllUsesWith(New);
3190 Mask->getScalarType(), {}, {}, LogicalAnd->getDebugLoc());
3191 Merge->insertBefore(LogicalAnd);
3192 LogicalAnd->replaceAllUsesWith(
Merge);
3208 R->getVPSingleValue()->replaceAllUsesWith(
X);
3222 Intrinsic::experimental_vp_reverse, {
X, Plan.
getTrue(), EVL},
3223 X->getScalarType(), {}, {}, R->getDebugLoc());
3224 VPReverse->insertBefore(R);
3225 R->getVPSingleValue()->replaceAllUsesWith(VPReverse);
3231 R->eraseFromParent();
3252 auto IsAllowedUser =
3253 IsaPred<VPVectorEndPointerRecipe, VPScalarIVStepsRecipe,
3254 VPWidenIntOrFpInductionRecipe,
3255 VPWidenMemIntrinsicRecipe>;
3256 if (match(U, m_Trunc(m_Specific(&Plan.getVF()))))
3257 return all_of(cast<VPSingleDefRecipe>(U)->users(),
3259 return IsAllowedUser(U);
3261 "User of VF that we can't transform to EVL.");
3271 "Only users of VFxUF should be VPWidenPointerInductionRecipe and the "
3272 "increment of the canonical induction.");
3288 MaxEVL = Builder.createScalarZExtOrTrunc(
3292 Builder.setInsertPoint(Header, Header->getFirstNonPhi());
3293 VPValue *PrevEVL = Builder.createScalarPhi(
3307 Intrinsic::experimental_vp_splice,
3308 {
V1, V2, Imm, Plan.
getTrue(), PrevEVL, &EVL},
3309 R.getVPSingleValue()->getScalarType(), {}, {}, R.getDebugLoc());
3311 R.getVPSingleValue()->replaceAllUsesWith(VPSplice);
3324 if (match(&R, m_ComputeReductionResult(m_Select(m_Specific(HeaderMask),
3325 m_VPValue(), m_VPValue()))))
3326 return R.getOperand(0)->getDefiningRecipe()->getRegion() ==
3327 Plan.getVectorLoopRegion();
3339 VPValue *EVLMask = Builder.createICmp(
3399 VPlan &Plan,
const std::optional<unsigned> &MaxSafeElements) {
3411 auto *CurrentIteration =
3413 CurrentIteration->insertBefore(*Header, Header->begin());
3414 VPBuilder Builder(Header, Header->getFirstNonPhi());
3417 VPPhi *AVLPhi = Builder.createScalarPhi(
3421 if (MaxSafeElements) {
3431 Builder.setInsertPoint(CanonicalIVIncrement);
3435 OpVPEVL = Builder.createScalarZExtOrTrunc(
3436 OpVPEVL, CanIVTy, I32Ty, CanonicalIVIncrement->getDebugLoc());
3438 auto *NextIter = Builder.createAdd(
3439 OpVPEVL, CurrentIteration, CanonicalIVIncrement->getDebugLoc(),
3440 "current.iteration.next", CanonicalIVIncrement->getNoWrapFlags());
3441 CurrentIteration->addBackedgeValue(NextIter);
3445 "avl.next", {
true,
false});
3453 CanonicalIV->replaceAllUsesWith(CurrentIteration);
3454 CanonicalIVIncrement->setOperand(0, CanonicalIV);
3468 assert(!CurrentIteration &&
3469 "Found multiple CurrentIteration. Only one expected");
3470 CurrentIteration = PhiR;
3474 if (!CurrentIteration)
3485 CurrentIteration->
getDebugLoc(),
"current.iteration.iv");
3494 CanIVInc->eraseFromParent();
3503 if (Header->empty())
3512 if (!
match(EVLPhi->getBackedgeValue(),
3525 [[maybe_unused]]
bool FoundAVLNext =
3528 assert(FoundAVLNext &&
"Didn't find AVL backedge?");
3536 [[maybe_unused]]
bool FoundIncrement =
match(
3543 "Expected BranchOnCond with ICmp comparing CanIV + VFxUF with vector "
3548 LatchBr->setOperand(
3560 "expected to run before loop regions are created");
3562 auto CanUseVersionedStride = [&VPDT, Preheader](
VPUser &U,
unsigned) {
3565 return VPDT.
dominates(Preheader, Parent);
3568 for (
const SCEV *Stride : StridesMap.
values()) {
3571 const APInt *StrideConst;
3594 RewriteMap[StrideV] = PSE.
getSCEV(StrideV);
3601 const SCEV *ScevExpr = ExpSCEV->getSCEV();
3604 if (NewSCEV != ScevExpr) {
3606 ExpSCEV->replaceAllUsesWith(NewExp);
3617 auto CollectPoisonGeneratingInstrsInBackwardSlice([&](
VPRecipeBase *Root) {
3622 while (!Worklist.
empty()) {
3625 if (!Visited.
insert(CurRec).second)
3647 RecWithFlags->isDisjoint()) {
3650 Builder.createAdd(
A,
B, RecWithFlags->getDebugLoc());
3651 New->setUnderlyingValue(RecWithFlags->getUnderlyingValue());
3652 RecWithFlags->replaceAllUsesWith(New);
3653 RecWithFlags->eraseFromParent();
3656 RecWithFlags->dropPoisonGeneratingFlags();
3661 assert((!Instr || !Instr->hasPoisonGeneratingFlags()) &&
3662 "found instruction with poison generating flags not covered by "
3663 "VPRecipeWithIRFlags");
3668 if (
VPRecipeBase *OpDef = Operand->getDefiningRecipe())
3676 auto IsNotHeaderMask = [&Plan](
VPValue *Mask) {
3688 VPRecipeBase *AddrDef = WidenRec->getAddr()->getDefiningRecipe();
3689 if (AddrDef && WidenRec->isConsecutive() &&
3690 IsNotHeaderMask(WidenRec->getMask()))
3691 CollectPoisonGeneratingInstrsInBackwardSlice(AddrDef);
3693 VPRecipeBase *AddrDef = InterleaveRec->getAddr()->getDefiningRecipe();
3694 if (AddrDef && IsNotHeaderMask(InterleaveRec->getMask()))
3695 CollectPoisonGeneratingInstrsInBackwardSlice(AddrDef);
3705 const bool &EpilogueAllowed) {
3706 if (InterleaveGroups.empty())
3717 IRMemberToRecipe[&MemR->getIngredient()] = MemR;
3724 for (
const auto *IG : InterleaveGroups) {
3729 return !IRMemberToRecipe.contains(Member);
3733 auto *Start = IRMemberToRecipe.
lookup(IG->getMember(0));
3737 StoredValues.
push_back(StoreR->getStoredValue());
3738 for (
unsigned I = 1;
I < IG->getFactor(); ++
I) {
3744 StoredValues.
push_back(StoreR->getStoredValue());
3748 bool NeedsMaskForGaps =
3749 (IG->requiresScalarEpilogue() && !EpilogueAllowed) ||
3750 (!StoredValues.
empty() && !IG->isFull());
3753 auto *InsertPos = IRMemberToRecipe.
lookup(IRInsertPos);
3762 VPValue *Addr = Start->getAddr();
3771 assert(IG->getIndex(IRInsertPos) != 0 &&
3772 "index of insert position shouldn't be zero");
3776 IG->getIndex(IRInsertPos),
3780 Addr =
B.createNoWrapPtrAdd(InsertPos->getAddr(), OffsetVPV, NW);
3786 if (IG->isReverse()) {
3789 -(int64_t)IG->getFactor(), NW, InsertPosR->
getDebugLoc());
3790 ReversePtr->insertBefore(InsertPosR);
3794 IG, Addr, StoredValues, InsertPos->getMask(), NeedsMaskForGaps,
3796 VPIG->insertBefore(InsertPosR);
3799 for (
unsigned i = 0; i < IG->getFactor(); ++i)
3802 if (!Member->getType()->isVoidTy()) {
3860 AddOp = Instruction::Add;
3861 MulOp = Instruction::Mul;
3863 AddOp =
ID.getInductionOpcode();
3864 MulOp = Instruction::FMul;
3872 Step = Builder.createScalarCast(Instruction::Trunc, Step, Ty,
DL);
3873 Start = Builder.createScalarCast(Instruction::Trunc, Start, Ty,
DL);
3882 Init = Builder.createWidenCast(Instruction::UIToFP,
Init, StepTy);
3887 Init = Builder.createNaryOp(MulOp, {
Init, SplatStep}, Flags);
3888 Init = Builder.createNaryOp(AddOp, {SplatStart,
Init}, Flags,
3906 if (R->getParent()->getEnclosingLoopRegion())
3907 Builder.setInsertPoint(R->getParent(), std::next(R->getIterator()));
3912 VF = Builder.createScalarCast(Instruction::CastOps::UIToFP, VF, StepTy,
3915 VF = Builder.createScalarZExtOrTrunc(VF, StepTy, VF->
getScalarType(),
DL);
3917 Inc = Builder.createNaryOp(MulOp, {Step, VF}, Flags);
3924 auto *
Next = Builder.createNaryOp(AddOp, {Prev, Inc}, Flags,
3927 WidePHI->addIncoming(
Next);
3954 VPlan *Plan = R->getParent()->getPlan();
3955 VPValue *Start = R->getStartValue();
3956 VPValue *Step = R->getStepValue();
3957 VPValue *VF = R->getVFValue();
3959 assert(R->getInductionDescriptor().getKind() ==
3961 "Not a pointer induction according to InductionDescriptor!");
3962 assert(R->getScalarType()->isPointerTy() &&
"Unexpected type.");
3964 "Recipe should have been replaced");
3970 VPPhi *ScalarPtrPhi = Builder.createScalarPhi(Start,
DL,
"pointer.phi");
3974 Builder.setInsertPoint(R->getParent(), R->getParent()->getFirstNonPhi());
3977 Offset = Builder.createOverflowingOp(Instruction::Mul, {
Offset, Step});
3979 Builder.createWidePtrAdd(ScalarPtrPhi,
Offset,
DL,
"vector.gep");
3980 R->replaceAllUsesWith(PtrAdd);
3985 VF = Builder.createScalarZExtOrTrunc(VF, StepTy, VF->
getScalarType(),
DL);
3986 VPValue *Inc = Builder.createOverflowingOp(Instruction::Mul, {Step, VF});
3989 Builder.createPtrAdd(ScalarPtrPhi, Inc,
DL,
"ptr.ind");
3997 VPValue *Step = R->getStepValue();
3998 VPValue *Index = R->getIndex();
4002 ? Builder.createScalarSExtOrTrunc(
4004 : Builder.createScalarCast(Instruction::SIToFP, Index, StepTy,
4006 switch (R->getInductionKind()) {
4008 assert(Index->getScalarType() == Start->getScalarType() &&
4009 "Index type does not match StartValue type");
4010 return R->replaceAllUsesWith(Builder.createAdd(
4011 Start, Builder.createOverflowingOp(Instruction::Mul, {Index, Step})));
4014 return R->replaceAllUsesWith(Builder.createPtrAdd(
4015 Start, Builder.createOverflowingOp(Instruction::Mul, {Index, Step})));
4020 (FPBinOp->
getOpcode() == Instruction::FAdd ||
4021 FPBinOp->
getOpcode() == Instruction::FSub) &&
4022 "Original BinOp should be defined for FP induction");
4024 VPValue *
FMul = Builder.createNaryOp(Instruction::FMul, {Step, Index}, FMF);
4025 return R->replaceAllUsesWith(
4026 Builder.createNaryOp(FPBinOp->
getOpcode(), {Start, FMul}, FMF));
4039 if (!R->isReplicator())
4043 R->dissolveToCFGLoop();
4064 assert(Br->getNumOperands() == 2 &&
4065 "BranchOnTwoConds must have exactly 2 conditions");
4069 assert(Successors.size() == 3 &&
4070 "BranchOnTwoConds must have exactly 3 successors");
4075 VPValue *Cond0 = Br->getOperand(0);
4076 VPValue *Cond1 = Br->getOperand(1);
4083 if (Succ0 == Succ1) {
4085 VPValue *Combined = Builder.createOr(Cond0, Cond1,
DL);
4089 Br->eraseFromParent();
4094 !BrOnTwoCondsBB->
getParent() &&
"regions must already be dissolved");
4107 Br->eraseFromParent();
4118 WidenIVR->eraseFromParent();
4128 WidenIVR->replaceAllUsesWith(PtrAdd);
4129 WidenIVR->eraseFromParent();
4133 WidenIVR->eraseFromParent();
4139 DerivedIVR->eraseFromParent();
4144 VPValue *CanIV = WideCanIV->getCanonicalIV();
4146 VPValue *Step = WideCanIV->getStepValue();
4149 "Expected unroller to have materialized step for UF != 1");
4154 Step = Builder.createAdd(
4157 Builder.createAdd(CanIV, Step, WideCanIV->getDebugLoc(),
"vec.iv",
4158 WideCanIV->getNoWrapFlags());
4160 WideCanIV->eraseFromParent();
4167 for (
unsigned I = 1;
I != Blend->getNumIncomingValues(); ++
I)
4168 Select = Builder.createSelect(Blend->getMask(
I),
4169 Blend->getIncomingValue(
I),
Select,
4170 R.getDebugLoc(),
"predphi", *Blend);
4171 Blend->replaceAllUsesWith(
Select);
4172 Blend->eraseFromParent();
4177 if (!VEPR->getOffset()) {
4179 "Expected unroller to have materialized offset for UF != 1");
4180 VEPR->materializeOffset();
4187 Expr->eraseFromParent();
4197 for (
VPValue *
Op : LastActiveL->operands()) {
4198 VPValue *NotMask = Builder.createNot(
Op, LastActiveL->getDebugLoc());
4203 VPValue *FirstInactiveLane = Builder.createFirstActiveLane(
4204 NotMasks, LastActiveL->getDebugLoc(),
"first.inactive.lane");
4210 Builder.createSub(FirstInactiveLane, One,
4211 LastActiveL->getDebugLoc(),
"last.active.lane");
4214 LastActiveL->eraseFromParent();
4221 assert(VPI->isMasked() &&
4222 "Unmasked MaskedCond should be simplified earlier");
4223 VPI->replaceAllUsesWith(Builder.createNaryOp(
4225 VPI->eraseFromParent();
4235 Instruction::Add, VPI->operands(), VPI->getNoWrapFlags(),
4236 VPI->getDebugLoc());
4237 VPI->replaceAllUsesWith(
Add);
4238 VPI->eraseFromParent();
4246 DebugLoc DL = BranchOnCountInst->getDebugLoc();
4249 BranchOnCountInst->eraseFromParent();
4264 ? Instruction::UIToFP
4265 : Instruction::Trunc;
4266 VectorStep = Builder.createWidenCast(CastOp, VectorStep, IVTy);
4272 Builder.createWidenCast(Instruction::Trunc, ScalarStep, IVTy);
4278 MulOpc = Instruction::FMul;
4279 Flags = VPI->getFastMathFlagsOrNone();
4281 MulOpc = Instruction::Mul;
4286 MulOpc, {VectorStep, ScalarStep}, Flags, R.getDebugLoc());
4288 VPI->replaceAllUsesWith(VectorStep);
4289 VPI->eraseFromParent();
4299static std::optional<VPValue *>
4352 VPValue *UncountableCondition =
nullptr;
4356 return std::nullopt;
4359 Worklist.
push_back(UncountableCondition);
4360 while (!Worklist.
empty()) {
4364 if (V->isDefinedOutsideLoopRegions())
4370 if (V->getNumUsers() > 1)
4371 return std::nullopt;
4383 return std::nullopt;
4387 return std::nullopt;
4395 return std::nullopt;
4403 return std::nullopt;
4405 return UncountableCondition;
4461 for (
auto &Exit : Exits) {
4462 if (Exit.EarlyExitingVPBB == LatchVPBB)
4466 cast<VPIRPhi>(&R)->removeIncomingValueFor(Exit.EarlyExitingVPBB);
4467 Exit.EarlyExitingVPBB->getTerminator()->eraseFromParent();
4478 std::optional<VPValue *>
Cond =
4494 assert(Load &&
"Couldn't find exactly one load");
4497 "Uncountable exit condition load is conditional.");
4511 DL.getTypeStoreSize(Load->getScalarType()).getFixedValue());
4535 while (InsertIt != HeaderVPBB->
end() &&
4537 erase(ConditionRecipes, &*InsertIt);
4540 for (
auto *Recipe :
reverse(ConditionRecipes))
4541 Recipe->moveBefore(*HeaderVPBB, InsertIt);
4545 VPBuilder MaskBuilder(HeaderVPBB, InsertIt);
4547 Type *IVScalarTy =
IV->getScalarType();
4554 {Zero, FirstActive, ALMMultiplier},
4555 DebugLoc(),
"uncountable.exit.mask");
4560 if (R.mayReadOrWriteMemory() && &R != Load) {
4562 if (!VPDT.
dominates(R.getParent(), LatchVPBB))
4571 VPBuilder MiddleBuilder(MiddleVPBB, MiddleVPBB->
end());
4581 auto Phis = ScalarPH->
phis();
4591 "Continuing from different IV");
4607 if (Pred == MiddleVPBB)
4612 VPValue *CondOfEarlyExitingVPBB;
4613 [[maybe_unused]]
bool Matched =
4614 match(EarlyExitingVPBB->getTerminator(),
4616 assert(Matched &&
"Terminator must be BranchOnCond");
4620 VPBuilder EarlyExitingBuilder(EarlyExitingVPBB->getTerminator());
4621 auto *CondToEarlyExit = EarlyExitingBuilder.
createNaryOp(
4623 TrueSucc == ExitBlock
4624 ? CondOfEarlyExitingVPBB
4625 : EarlyExitingBuilder.
createNot(CondOfEarlyExitingVPBB));
4631 "exit condition must dominate the latch");
4640 assert(!Exits.
empty() &&
"must have at least one early exit");
4647 for (
const auto &[Num, VPB] :
enumerate(RPOT))
4650 return RPOIdx[
A.EarlyExitingVPBB] < RPOIdx[
B.EarlyExitingVPBB];
4656 for (
unsigned I = 0;
I + 1 < Exits.
size(); ++
I)
4657 for (
unsigned J =
I + 1; J < Exits.
size(); ++J)
4659 Exits[
I].EarlyExitingVPBB) &&
4660 "RPO sort must place dominating exits before dominated ones");
4666 VPValue *Combined = Exits[0].CondToExit;
4679 "Unexpected terminator");
4680 VPValue *IsLatchExitTaken = LatchExitingBranch->getOperand(0);
4681 DebugLoc LatchDL = LatchExitingBranch->getDebugLoc();
4682 LatchExitingBranch->eraseFromParent();
4685 {IsAnyExitTaken, IsLatchExitTaken}, LatchDL);
4691 LatchVPBB->
setSuccessors({MiddleVPBB, MiddleVPBB, HeaderVPBB});
4695 Plan, Exits, HeaderVPBB, LatchVPBB, MiddleVPBB, TheLoop, PSE, DT, AC);
4700 for (
unsigned Idx = 0; Idx != Exits.
size(); ++Idx) {
4704 VectorEarlyExitVPBBs[Idx] = VectorEarlyExitVPBB;
4712 Exits.
size() == 1 ? VectorEarlyExitVPBBs[0]
4715 LatchVPBB->
setSuccessors({DispatchVPBB, MiddleVPBB, HeaderVPBB});
4747 for (
auto [Exit, VectorEarlyExitVPBB] :
4748 zip_equal(Exits, VectorEarlyExitVPBBs)) {
4749 auto &[EarlyExitingVPBB, EarlyExitVPBB,
_] = Exit;
4761 ExitIRI->getIncomingValueForBlock(EarlyExitingVPBB);
4762 VPValue *NewIncoming = IncomingVal;
4764 VPBuilder EarlyExitBuilder(VectorEarlyExitVPBB);
4769 ExitIRI->removeIncomingValueFor(EarlyExitingVPBB);
4770 ExitIRI->addIncoming(NewIncoming);
4773 EarlyExitingVPBB->getTerminator()->eraseFromParent();
4807 bool IsLastDispatch = (
I + 2 == Exits.
size());
4809 IsLastDispatch ? VectorEarlyExitVPBBs.
back()
4815 VectorEarlyExitVPBBs[
I]->setPredecessors({CurrentBB});
4818 CurrentBB = FalseBB;
4833 VPValue *VecOp = Red->getVecOp();
4835 assert(!Red->isPartialReduction() &&
4836 "This path does not support partial reductions");
4839 auto IsExtendedRedValidAndClampRange =
4852 "getExtendedReductionCost only supports integer types");
4853 ExtRedCost = Ctx.TTI.getExtendedReductionCost(
4854 Opcode, ExtOpc == Instruction::CastOps::ZExt, RedTy, SrcVecTy,
4855 Red->getFastMathFlagsOrNone(),
CostKind);
4856 return ExtRedCost.
isValid() && ExtRedCost < ExtCost + RedCost;
4864 IsExtendedRedValidAndClampRange(
4885 if (Opcode != Instruction::Add && Opcode != Instruction::Sub &&
4886 Opcode != Instruction::FAdd)
4889 assert(!Red->isPartialReduction() &&
4890 "This path does not support partial reductions");
4894 auto IsMulAccValidAndClampRange =
4906 (Ext0->getOpcode() != Ext1->getOpcode() ||
4907 Ext0->getOpcode() == Instruction::CastOps::FPExt))
4911 !Ext0 || Ext0->getOpcode() == Instruction::CastOps::ZExt;
4913 MulAccCost = Ctx.TTI.getMulAccReductionCost(IsZExt, Opcode, RedTy,
4920 ExtCost += Ext0->computeCost(VF, Ctx);
4922 ExtCost += Ext1->computeCost(VF, Ctx);
4924 ExtCost += OuterExt->computeCost(VF, Ctx);
4926 return MulAccCost.
isValid() &&
4927 MulAccCost < ExtCost + MulCost + RedCost;
4932 VPValue *VecOp = Red->getVecOp();
4970 Builder.createWidenCast(Instruction::CastOps::Trunc, ValB, NarrowTy);
4972 ValB = ExtB = Builder.createWidenCast(ExtOpc, Trunc, WideTy);
4973 Mul->setOperand(1, ExtB);
4983 ExtendAndReplaceConstantOp(RecipeA, RecipeB,
B,
Mul);
4988 IsMulAccValidAndClampRange(
Mul, RecipeA, RecipeB,
nullptr)) {
4995 if (!
Sub && IsMulAccValidAndClampRange(
Mul,
nullptr,
nullptr,
nullptr))
5012 ExtendAndReplaceConstantOp(Ext0, Ext1,
B,
Mul);
5021 (Ext->getOpcode() == Ext0->getOpcode() || Ext0 == Ext1) &&
5022 Ext0->getOpcode() == Ext1->getOpcode() &&
5023 IsMulAccValidAndClampRange(
Mul, Ext0, Ext1, Ext) &&
Mul->hasOneUse()) {
5025 Ext0->getOpcode(), Ext0->getOperand(0), Ext->getScalarType(),
nullptr,
5026 *Ext0, *Ext0, Ext0->getDebugLoc());
5027 NewExt0->insertBefore(Ext0);
5032 Ext->getScalarType(),
nullptr, *Ext1,
5033 *Ext1, Ext1->getDebugLoc());
5036 auto *NewMul =
Mul->cloneWithOperands({NewExt0, NewExt1});
5037 NewMul->insertBefore(
Mul);
5038 Ext->replaceAllUsesWith(NewMul);
5039 Ext->eraseFromParent();
5040 Mul->eraseFromParent();
5054 assert(!Red->isPartialReduction() &&
5055 "This path does not support partial reductions");
5058 auto IP = std::next(Red->getIterator());
5059 auto *VPBB = Red->getParent();
5069 Red->replaceAllUsesWith(AbstractR);
5099 for (
VPValue *VPV : VPValues) {
5108 if (
User->usesScalars(VPV))
5111 HoistPoint = HoistBlock->
begin();
5115 "All users must be in the vector preheader or dominated by it");
5120 VPV->replaceUsesWithIf(Broadcast,
5121 [VPV, Broadcast](
VPUser &U,
unsigned Idx) {
5122 return Broadcast != &U && !U.usesScalars(VPV);
5133 return CommonMetadata;
5136template <
unsigned Opcode>
5141 static_assert(Opcode == Instruction::Load || Opcode == Instruction::Store,
5142 "Only Load and Store opcodes supported");
5143 [[maybe_unused]]
constexpr bool IsLoad = (Opcode == Instruction::Load);
5150 for (
auto Recipes :
Groups) {
5151 if (Recipes.size() < 2)
5156 "Expected all recipes in group to have the same load-store type");
5163 VPValue *MaskI = RecipeI->getMask();
5169 bool HasComplementaryMask =
false;
5174 VPValue *MaskJ = RecipeJ->getMask();
5183 if (HasComplementaryMask) {
5184 assert(Group.
size() >= 2 &&
"must have at least 2 entries");
5194template <
typename InstType>
5212 for (
auto &Group :
Groups) {
5232 return R->isSingleScalar() == IsSingleScalar;
5234 "all members in group must agree on IsSingleScalar");
5239 LoadWithMinAlign->getUnderlyingInstr(), {EarliestLoad->getOperand(0)},
5240 IsSingleScalar,
nullptr, *EarliestLoad, CommonMetadata);
5242 UnpredicatedLoad->insertBefore(EarliestLoad);
5246 Load->replaceAllUsesWith(UnpredicatedLoad);
5247 Load->eraseFromParent();
5256 if (!StoreLoc || !StoreLoc->AATags.Scope)
5263 SinkStoreInfo SinkInfo(StoresToSink, *StoresToSink[0], PSE, L);
5275 for (
auto &Group :
Groups) {
5288 VPValue *SelectedValue = Group[0]->getOperand(0);
5291 bool IsSingleScalar = Group[0]->isSingleScalar();
5292 for (
unsigned I = 1;
I < Group.size(); ++
I) {
5293 assert(IsSingleScalar == Group[
I]->isSingleScalar() &&
5294 "all members in group must agree on IsSingleScalar");
5295 VPValue *Mask = Group[
I]->getMask();
5297 SelectedValue = Builder.createSelect(Mask,
Value, SelectedValue,
5306 StoreWithMinAlign->getUnderlyingInstr(),
5307 {SelectedValue, LastStore->getOperand(1)}, IsSingleScalar,
5308 nullptr, *LastStore, CommonMetadata);
5309 UnpredicatedStore->insertBefore(*InsertBB, LastStore->
getIterator());
5313 Store->eraseFromParent();
5320 assert(Plan.
hasVF(BestVF) &&
"BestVF is not available in Plan");
5321 assert(Plan.
hasUF(BestUF) &&
"BestUF is not available in Plan");
5384 auto UsesVectorOrInsideReplicateRegion = [DefR, LoopRegion](
VPUser *U) {
5386 return !U->usesScalars(DefR) || ParentRegion != LoopRegion;
5393 none_of(DefR->users(), UsesVectorOrInsideReplicateRegion))
5403 DefR->replaceUsesWithIf(
5404 BuildVector, [BuildVector, &UsesVectorOrInsideReplicateRegion](
5406 return &U != BuildVector && UsesVectorOrInsideReplicateRegion(&U);
5420 for (
VPValue *Def : R.definedValues()) {
5433 auto IsCandidateUnpackUser = [Def](
VPUser *U) {
5435 return U->usesScalars(Def) &&
5438 if (
none_of(Def->users(), IsCandidateUnpackUser))
5445 Unpack->insertAfter(&R);
5446 Def->replaceUsesWithIf(Unpack,
5447 [&IsCandidateUnpackUser](
VPUser &U,
unsigned) {
5448 return IsCandidateUnpackUser(&U);
5457 bool RequiresScalarEpilogue,
VPValue *Step,
5458 std::optional<uint64_t> MaxRuntimeStep) {
5470 "Step VPBB must dominate VectorPHVPBB");
5472 InsertPt = std::next(StepR->getIterator());
5474 VPBuilder Builder(VectorPHVPBB, InsertPt);
5480 if (!RequiresScalarEpilogue &&
match(TC,
m_APInt(TCVal)) && MaxRuntimeStep &&
5481 TCVal->
urem(*MaxRuntimeStep) == 0) {
5492 if (TailByMasking) {
5493 TC = Builder.createAdd(
5504 Builder.createNaryOp(Instruction::URem, {TC, Step},
5513 if (RequiresScalarEpilogue) {
5515 "requiring scalar epilogue is not supported with fail folding");
5518 R = Builder.createSelect(IsZero, Step, R);
5532 "VF and VFxUF must be materialized together");
5544 Builder.createElementCount(TCTy, VFEC * Plan.
getConcreteUF());
5551 VPValue *RuntimeVF = Builder.createElementCount(TCTy, VFEC);
5555 BC, [&VF](
VPUser &U,
unsigned) {
return !U.usesScalars(&VF); });
5559 VPValue *MulByUF = Builder.createOverflowingOp(
5572 auto *AliasMask = Builder.createNaryOp(
5576 if (HeaderMaskDef->isPhi())
5577 Builder =
VPBuilder(&*HeaderMaskDef->getParent()->getFirstNonPhi());
5582 auto *ClampedHeaderMask = Builder.createAnd(HeaderMask, AliasMask);
5584 return &U != ClampedHeaderMask;
5595 assert(IncomingAliasMask &&
"Expected an alias mask!");
5605 if (
Check.NeedsFreeze) {
5615 Intrinsic::loop_dependence_war_mask,
5619 AliasMask = Builder.createAnd(AliasMask, WARMask);
5621 AliasMask = WARMask;
5626 VPValue *NumActive = Builder.createNaryOp(
5629 VPValue *ClampedVF = Builder.createScalarZExtOrTrunc(
5655 VPValue *DistanceToMax = Builder.createSub(MaxUIntTripCount, TripCount);
5663 VPValue *TripCountCheck = Builder.createICmp(
5666 VPValue *
Cond = Builder.createOr(IsScalar, TripCountCheck,
DL);
5677 "Clamped VF not supported with interleaving");
5685 VPBuilder Builder(Entry, Entry->begin());
5697 if (!ExpSCEV || ExpSCEV->user_empty())
5699 Builder.setInsertPoint(ExpSCEV);
5708 ExpSCEV->eraseFromParent();
5717 BasicBlock *EntryBB = Entry->getIRBasicBlock();
5724 const SCEV *Expr = ExpSCEV->getSCEV();
5727 ExpandedSCEVs[Expr] = Res;
5732 ExpSCEV->eraseFromParent();
5735 "all VPExpandSCEVRecipes must have been expanded");
5738 auto EI = Entry->begin();
5748 return ExpandedSCEVs;
5760 VPValue *OpV,
unsigned Idx,
bool IsScalable) {
5765 if (Member0Op == OpV)
5774 return !IsScalable && !W->getMask() && W->isConsecutive() &&
5777 return IR->getInterleaveGroup()->isFull() &&
IR->getVPValue(Idx) == OpV;
5792 if (R->getScalarType() != WideMember0->getScalarType())
5794 if (R->hasPredicate() && R->getPredicate() != WideMember0->getPredicate())
5798 for (
unsigned Idx = 0; Idx != WideMember0->getNumOperands(); ++Idx) {
5801 OpsI.
push_back(
Op->getDefiningRecipe()->getOperand(Idx));
5806 if (
any_of(
enumerate(OpsI), [WideMember0, Idx, IsScalable](
const auto &
P) {
5807 const auto &[
OpIdx, OpV] =
P;
5819static std::optional<ElementCount>
5823 if (!InterleaveR || InterleaveR->
getMask())
5824 return std::nullopt;
5826 Type *GroupElementTy =
nullptr;
5830 return Op->getScalarType() == GroupElementTy;
5832 return std::nullopt;
5836 return Op->getScalarType() == GroupElementTy;
5838 return std::nullopt;
5842 if (IG->getFactor() != IG->getNumMembers())
5843 return std::nullopt;
5849 assert(
Size.isScalable() == VF.isScalable() &&
5850 "if Size is scalable, VF must be scalable and vice versa");
5851 return Size.getKnownMinValue();
5855 unsigned MinVal = VF.getKnownMinValue();
5857 if (IG->getFactor() == MinVal && GroupSize == GetVectorBitWidthForVF(VF))
5860 return std::nullopt;
5868 return RepR && RepR->isSingleScalar();
5879 auto *R = V->getDefiningRecipe();
5886 return !M->hasDefiningRecipe() &&
5887 M->getScalarType() == V->getScalarType();
5889 "expected distinct live-ins of matching scalar type");
5903 for (
unsigned Idx = 0,
E = WideMember0->getNumOperands(); Idx !=
E; ++Idx) {
5905 for (
VPValue *Member : Members)
5906 OpsI.
push_back(Member->getDefiningRecipe()->getOperand(Idx));
5907 WideMember0->setOperand(
5916 auto *LI =
cast<LoadInst>(LoadGroup->getInterleaveGroup()->getInsertPos());
5918 LoadGroup->getMask(),
true,
5919 *LoadGroup, LoadGroup->getDebugLoc());
5920 L->insertBefore(LoadGroup);
5926 assert(RepR->isSingleScalar() && RepR->getOpcode() == Instruction::Load &&
5927 "must be a single scalar load");
5928 NarrowedOps.
insert(RepR);
5933 VPValue *PtrOp = WideLoad->getAddr();
5935 PtrOp = VecPtr->getOperand(0);
5940 nullptr, {}, *WideLoad);
5941 N->insertBefore(WideLoad);
5946std::unique_ptr<VPlan>
5966 "unexpected branch-on-count");
5969 std::optional<ElementCount> VFToOptimize;
5983 if (R.mayWriteToMemory() && !InterleaveR)
5989 return any_of(V->users(), [&](VPUser *U) {
5990 auto *UR = cast<VPRecipeBase>(U);
5991 return UR->getParent()->getParent() != VectorLoop;
6008 std::optional<ElementCount> NarrowedVF =
6010 if (!NarrowedVF || (VFToOptimize && NarrowedVF != VFToOptimize))
6012 VFToOptimize = NarrowedVF;
6015 if (InterleaveR->getStoredValues().empty())
6020 auto *Member0 = InterleaveR->getStoredValues()[0];
6030 VPRecipeBase *DefR = Op.value()->getDefiningRecipe();
6033 auto *IR = dyn_cast<VPInterleaveRecipe>(DefR);
6034 return IR && IR->getInterleaveGroup()->isFull() &&
6035 IR->getVPValue(Op.index()) == Op.value();
6044 VFToOptimize->isScalable()))
6049 if (StoreGroups.empty())
6053 bool RequiresScalarEpilogue =
6064 std::unique_ptr<VPlan> NewPlan;
6066 NewPlan = std::unique_ptr<VPlan>(Plan.
duplicate());
6067 Plan.
setVF(*VFToOptimize);
6068 NewPlan->removeVF(*VFToOptimize);
6075 for (
auto *StoreGroup : StoreGroups) {
6077 NarrowedOps, Preheader);
6082 StoreGroup->getDebugLoc());
6083 S->insertBefore(StoreGroup);
6084 StoreGroup->eraseFromParent();
6090 Type *CanIVTy = VectorLoop->getCanonicalIVType();
6096 if (VFToOptimize->isScalable()) {
6099 Step = PHBuilder.createOverflowingOp(Instruction::Mul, {VScale,
UF},
6107 materializeVectorTripCount(Plan, VectorPH,
false,
6108 RequiresScalarEpilogue, Step);
6113 removeDeadRecipes(Plan);
6116 "All VPVectorPointerRecipes should have been removed");
6132 "must have a BranchOnCond");
6135 if (VF.
isScalable() && VScaleForTuning.has_value())
6136 VectorStep *= *VScaleForTuning;
6137 assert(VectorStep > 0 &&
"trip count should not be zero");
6141 MiddleTerm->setMetadata(LLVMContext::MD_prof, BranchWeights);
6160 "Cannot handle loops with uncountable early exits");
6167 assert(RecurSplice &&
"expected FirstOrderRecurrenceSplice");
6174 if (
any_of(RecurSplice->users(),
6175 [](
VPUser *U) { return !cast<VPRecipeBase>(U)->getRegion(); }) &&
6256 {},
"vector.recur.extract.for.phi");
6259 ExitPhi->replaceUsesOfWith(ExtractR, PenultimateElement);
6273 VPValue *WidenIVCandidate = BinOp->getOperand(0);
6274 VPValue *InvariantCandidate = BinOp->getOperand(1);
6276 std::swap(WidenIVCandidate, InvariantCandidate);
6290 auto *ClonedOp = BinOp->
clone();
6291 if (ClonedOp->getOperand(0) == WidenIV) {
6292 ClonedOp->setOperand(0, ScalarIV);
6294 assert(ClonedOp->getOperand(1) == WidenIV &&
"one operand must be WideIV");
6295 ClonedOp->setOperand(1, ScalarIV);
6310 auto CheckSentinel = [&SE](
const SCEV *IVSCEV,
6311 bool UseMax) -> std::optional<APSInt> {
6313 for (
bool Signed : {
true,
false}) {
6322 return std::nullopt;
6330 PhiR->getRecurrenceKind()))
6339 VPValue *BackedgeVal = PhiR->getBackedgeValue();
6353 !
match(FindLastSelect,
6362 IVOfExpressionToSink ? IVOfExpressionToSink : FindLastExpression, PSE,
6368 "IVOfExpressionToSink not being an AddRec must imply "
6369 "FindLastExpression not being an AddRec.");
6380 std::optional<APSInt> SentinelVal = CheckSentinel(IVSCEV, UseMax);
6381 bool UseSigned = SentinelVal && SentinelVal->isSigned();
6388 if (IVOfExpressionToSink) {
6389 const SCEV *FindLastExpressionSCEV =
6391 if (
match(FindLastExpressionSCEV,
6394 if (
auto NewSentinel =
6395 CheckSentinel(FindLastExpressionSCEV, NewUseMax)) {
6398 SentinelVal = *NewSentinel;
6399 UseSigned = NewSentinel->isSigned();
6401 IVSCEV = FindLastExpressionSCEV;
6402 IVOfExpressionToSink =
nullptr;
6412 if (AR->hasNoSignedWrap())
6414 else if (AR->hasNoUnsignedWrap())
6424 VPValue *NewFindLastSelect = BackedgeVal;
6426 if (!SentinelVal || IVOfExpressionToSink) {
6429 DebugLoc DL = FindLastSelect->getDefiningRecipe()->getDebugLoc();
6430 VPBuilder LoopBuilder(FindLastSelect->getDefiningRecipe());
6431 if (FindLastSelect->getDefiningRecipe()->getOperand(1) == PhiR)
6432 SelectCond = LoopBuilder.
createNot(SelectCond);
6439 if (SelectCond !=
Cond || IVOfExpressionToSink) {
6442 IVOfExpressionToSink ? IVOfExpressionToSink : FindLastExpression,
6451 VPIRFlags Flags(MinMaxKind,
false,
false,
6457 NewFindLastSelect, Flags, ExitDL);
6460 VPValue *VectorRegionExitingVal = ReducedIV;
6461 if (IVOfExpressionToSink)
6462 VectorRegionExitingVal =
6464 ReducedIV, IVOfExpressionToSink);
6467 VPValue *StartVPV = PhiR->getStartValue();
6474 NewRdxResult = MiddleBuilder.
createSelect(Cmp, VectorRegionExitingVal,
6484 AnyOfPhi->insertAfter(PhiR);
6491 OrVal, VectorRegionExitingVal, StartVPV, ExitDL);
6504 PhiR->hasUsesOutsideReductionChain());
6505 NewPhiR->insertBefore(PhiR);
6506 PhiR->replaceAllUsesWith(NewPhiR);
6507 PhiR->eraseFromParent();
6514struct ReductionExtend {
6515 Type *SrcType =
nullptr;
6516 ExtendKind Kind = ExtendKind::PR_None;
6522struct ExtendedReductionOperand {
6526 ReductionExtend ExtendA, ExtendB;
6534struct VPPartialReductionChain {
6537 VPWidenRecipe *ReductionBinOp =
nullptr;
6539 ExtendedReductionOperand ExtendedOp;
6546 unsigned AccumulatorOpIdx;
6547 unsigned ScaleFactor;
6559 if (!
Op->hasOneUse() ||
6565 auto *Trunc = Builder.createWidenCast(Instruction::CastOps::Trunc,
6566 Op->getOperand(1), NarrowTy);
6568 Op->setOperand(1, Builder.createWidenCast(ExtOpc, Trunc, WideTy));
6577 auto *
Sub =
Op->getOperand(0)->getDefiningRecipe();
6579 assert(Ext->getOpcode() ==
6581 "Expected both the LHS and RHS extends to be the same");
6582 bool IsSigned = Ext->getOpcode() == Instruction::SExt;
6585 auto *FreezeX = Builder.insert(
new VPWidenRecipe(Instruction::Freeze, {
X}));
6586 auto *FreezeY = Builder.insert(
new VPWidenRecipe(Instruction::Freeze, {
Y}));
6587 auto *
Max = Builder.insert(
6589 {FreezeX, FreezeY}, SrcTy));
6590 auto *Min = Builder.insert(
6592 {FreezeX, FreezeY}, SrcTy));
6595 return Builder.createWidenCast(Instruction::CastOps::ZExt, AbsDiff,
6596 Op->getScalarType());
6608 if (!
Mul->hasOneUse() ||
6609 (Ext->getOpcode() != MulLHS->getOpcode() && MulLHS != MulRHS) ||
6610 MulLHS->getOpcode() != MulRHS->getOpcode())
6613 auto *NewLHS = Builder.createWidenCast(
6614 MulLHS->getOpcode(), MulLHS->getOperand(0), Ext->getScalarType());
6615 auto *NewRHS = MulLHS == MulRHS
6617 : Builder.createWidenCast(MulRHS->getOpcode(),
6618 MulRHS->getOperand(0),
6619 Ext->getScalarType());
6620 auto *NewMul =
Mul->cloneWithOperands({NewLHS, NewRHS});
6621 Builder.insert(NewMul);
6622 Op->replaceAllUsesWith(NewMul);
6623 Op->eraseFromParent();
6624 Mul->eraseFromParent();
6633 VPValue *VecOp = Red->getVecOp();
6687static void transformToPartialReduction(
const VPPartialReductionChain &Chain,
6695 WidenRecipe->
getOperand(1 - Chain.AccumulatorOpIdx));
6698 ExtendedOp = optimizeExtendsForPartialReduction(ExtendedOp);
6714 if ((WidenRecipe->
getOpcode() == Instruction::Sub &&
6716 (WidenRecipe->
getOpcode() == Instruction::FSub &&
6721 if (WidenRecipe->
getOpcode() == Instruction::FSub) {
6731 Builder.insert(NegRecipe);
6732 ExtendedOp = NegRecipe;
6743 assert((!ExitValue || IsLastInChain) &&
6744 "if we found ExitValue, it must match RdxPhi's backedge value");
6755 PartialRed->insertBefore(WidenRecipe);
6763 E->insertBefore(WidenRecipe);
6764 PartialRed->replaceAllUsesWith(
E);
6777 auto *NewScaleFactor = Plan.
getConstantInt(32, Chain.ScaleFactor);
6778 StartInst->setOperand(2, NewScaleFactor);
6786 VPValue *OldStartValue = StartInst->getOperand(0);
6787 StartInst->setOperand(0, StartInst->getOperand(1));
6791 assert(RdxResult &&
"Could not find reduction result");
6794 unsigned SubOpc = Chain.RK ==
RecurKind::FSub ? Instruction::BinaryOps::FSub
6795 : Instruction::BinaryOps::Sub;
6801 [&NewResult](
VPUser &U,
unsigned Idx) {
return &
U != NewResult; });
6807 const VPPartialReductionChain &Link,
6810 const ExtendedReductionOperand &ExtendedOp = Link.ExtendedOp;
6811 std::optional<unsigned> BinOpc = std::nullopt;
6813 if (ExtendedOp.ExtendB.Kind != ExtendKind::PR_None)
6814 BinOpc = ExtendedOp.ExtendsUser->
getOpcode();
6816 std::optional<llvm::FastMathFlags>
Flags;
6820 auto GetLinkOpcode = [&Link]() ->
unsigned {
6823 return Instruction::Add;
6825 return Instruction::FAdd;
6827 return Link.ReductionBinOp->
getOpcode();
6832 GetLinkOpcode(), ExtendedOp.ExtendA.SrcType, ExtendedOp.ExtendB.SrcType,
6833 RdxType, VF, ExtendedOp.ExtendA.Kind, ExtendedOp.ExtendB.Kind, BinOpc,
6854static std::optional<ExtendedReductionOperand>
6857 "Op should be operand of UpdateR");
6865 if (
Op->hasOneUse() &&
6874 Type *RHSInputType =
Y->getScalarType();
6875 if (LHSInputType != RHSInputType ||
6876 LHSExt->getOpcode() != RHSExt->getOpcode())
6877 return std::nullopt;
6880 return ExtendedReductionOperand{
6882 {LHSInputType, getPartialReductionExtendKind(LHSExt)},
6886 std::optional<TTI::PartialReductionExtendKind> OuterExtKind;
6889 VPValue *CastSource = CastRecipe->getOperand(0);
6890 OuterExtKind = getPartialReductionExtendKind(CastRecipe);
6900 return ExtendedReductionOperand{
6907 if (!
Op->hasOneUse())
6908 return std::nullopt;
6913 return std::nullopt;
6923 return std::nullopt;
6927 ExtendKind LHSExtendKind = getPartialReductionExtendKind(LHSCast);
6930 const APInt *RHSConst =
nullptr;
6936 return std::nullopt;
6940 if (Cast && OuterExtKind &&
6941 getPartialReductionExtendKind(Cast) != OuterExtKind)
6942 return std::nullopt;
6944 Type *RHSInputType = LHSInputType;
6945 ExtendKind RHSExtendKind = LHSExtendKind;
6948 RHSExtendKind = getPartialReductionExtendKind(RHSCast);
6951 return ExtendedReductionOperand{
6952 MulOp, {LHSInputType, LHSExtendKind}, {RHSInputType, RHSExtendKind}};
6959static std::optional<SmallVector<VPPartialReductionChain>>
6967 return std::nullopt;
6977 VPValue *CurrentValue = ExitValue;
6978 while (CurrentValue != RedPhiR) {
6981 return std::nullopt;
6988 std::optional<ExtendedReductionOperand> ExtendedOp =
6989 matchExtendedReductionOperand(UpdateR,
Op);
6991 ExtendedOp = matchExtendedReductionOperand(UpdateR, PrevValue);
6993 return std::nullopt;
6997 Type *ExtSrcType = ExtendedOp->ExtendA.SrcType;
7000 return std::nullopt;
7005 VPPartialReductionChain Link(
7006 {UpdateR, *ExtendedOp, RK,
7010 CurrentValue = PrevValue;
7015 std::reverse(Chain.
begin(), Chain.
end());
7034 if (
auto Chains = getScaledReductions(RedPhiR, CostCtx,
Range))
7035 ChainsByPhi.
try_emplace(RedPhiR, std::move(*Chains));
7038 if (ChainsByPhi.
empty())
7045 for (
const auto &[
_, Chains] : ChainsByPhi)
7046 for (
const VPPartialReductionChain &Chain : Chains) {
7047 PartialReductionOps.
insert(Chain.ExtendedOp.ExtendsUser);
7048 ScaledReductionMap[Chain.ReductionBinOp] = Chain.ScaleFactor;
7054 auto ExtendUsersValid = [&](
VPValue *Ext) {
7056 return PartialReductionOps.contains(cast<VPRecipeBase>(U));
7060 auto IsProfitablePartialReductionChainForVF =
7067 for (
const VPPartialReductionChain &Link : Chain) {
7068 const ExtendedReductionOperand &ExtendedOp = Link.ExtendedOp;
7069 InstructionCost LinkCost = getPartialReductionLinkCost(CostCtx, Link, VF);
7073 PartialCost += LinkCost;
7074 RegularCost += Link.ReductionBinOp->
computeCost(VF, CostCtx);
7076 if (ExtendedOp.ExtendB.Kind != ExtendKind::PR_None)
7077 RegularCost += ExtendedOp.ExtendsUser->
computeCost(VF, CostCtx);
7080 RegularCost += Extend->computeCost(VF, CostCtx);
7082 return PartialCost.
isValid() && PartialCost < RegularCost;
7090 for (
auto &[RedPhiR, Chains] : ChainsByPhi) {
7091 for (
const VPPartialReductionChain &Chain : Chains) {
7092 if (!
all_of(Chain.ExtendedOp.ExtendsUser->operands(), ExtendUsersValid)) {
7096 auto UseIsValid = [&, RedPhiR = RedPhiR](
VPUser *U) {
7098 return PhiR == RedPhiR;
7100 return Chain.ScaleFactor == ScaledReductionMap.
lookup_or(R, 0) ||
7106 if (!
all_of(Chain.ReductionBinOp->users(), UseIsValid)) {
7115 auto *RepR = dyn_cast<VPReplicateRecipe>(U);
7116 return RepR && RepR->getOpcode() == Instruction::Store;
7127 return IsProfitablePartialReductionChainForVF(Chains, VF);
7133 for (
auto &[Phi, Chains] : ChainsByPhi)
7134 for (
const VPPartialReductionChain &Chain : Chains)
7135 transformToPartialReduction(Chain, Plan, Phi);
7149 if (VPI && VPI->getUnderlyingValue() &&
7160 auto ProcessSubset = [&](
VPlan &,
auto ProcessVPInst) {
7163 if (!ProcessVPInst(VPI))
7172 New->insertBefore(VPI);
7173 if (VPI->
getOpcode() == Instruction::Load)
7188 "lowerMemoryIdioms", ProcessSubset, Plan, [&](
VPInstruction *VPI) {
7190 VPI, FinalRedStoresBuilder))
7199 return ReplaceWith(VPI, Histogram);
7212 "scalarizeMemOpsWithIrregularTypes", ProcessSubset, Plan,
7216 return Scalarize(VPI);
7225 return ReplaceWith(VPI, Recipe);
7227 return Scalarize(VPI);
7250 if (VPI->mayHaveSideEffects())
7254 if (VPI->isMasked() && !VPI->isSafeToSpeculativelyExecute())
7259 if (VPI->getOpcode() == Instruction::Add &&
7268 VPI->getOpcode(), VPI->operandsWithoutMask(),
nullptr, *VPI,
7269 *VPI, VPI->getDebugLoc(),
I);
7270 Recipe->insertBefore(VPI);
7271 VPI->replaceAllUsesWith(Recipe);
7272 VPI->eraseFromParent();
7282 switch (Param.ParamKind) {
7283 case VFParamKind::Vector:
7284 case VFParamKind::GlobalPredicate:
7286 case VFParamKind::OMP_Uniform:
7287 return SE->isSCEVable(Args[Param.ParamPos]->getScalarType()) &&
7288 SE->isLoopInvariant(
7289 vputils::getSCEVExprForVPValue(Args[Param.ParamPos], PSE, L),
7291 case VFParamKind::OMP_Linear:
7292 return match(vputils::getSCEVExprForVPValue(Args[Param.ParamPos], PSE, L),
7293 m_scev_AffineAddRec(
7294 m_SCEV(), m_scev_SpecificSInt(Param.LinearStepOrPos),
7295 m_SpecificLoop(L)));
7312 const auto *It =
find_if(Mappings, [&](
const VFInfo &Info) {
7313 return Info.Shape.VF == VF && (!MaskRequired || Info.isMasked()) &&
7316 if (It == Mappings.end())
7323struct CallWideningDecision {
7324 enum class KindTy { Scalarize,
Intrinsic, VectorVariant };
7325 CallWideningDecision(KindTy Kind, Function *Variant =
nullptr)
7348 return CallWideningDecision::KindTy::Scalarize;
7358 return CallWideningDecision::KindTy::Scalarize;
7362 false, VF, CostCtx);
7377 return CallWideningDecision::KindTy::Intrinsic;
7381 if (VecFunc && ScalarCost >= VecCallCost)
7382 return {CallWideningDecision::KindTy::VectorVariant, VecFunc};
7384 return CallWideningDecision::KindTy::Scalarize;
7394 if (!VPI || !VPI->getUnderlyingValue() ||
7395 VPI->getOpcode() != Instruction::Call)
7400 VPI->op_begin() + CI->arg_size());
7402 CallWideningDecision Decision =
7411 switch (Decision.Kind) {
7412 case CallWideningDecision::KindTy::Intrinsic: {
7416 *VPI, VPI->getDebugLoc());
7419 case CallWideningDecision::KindTy::VectorVariant: {
7423 VPValue *Mask = VPI->isMasked() ? VPI->getMask() : Plan.
getTrue();
7424 Ops.push_back(Mask);
7426 Ops.push_back(VPI->getOperand(VPI->getNumOperandsWithoutMask() - 1));
7428 *VPI, VPI->getDebugLoc());
7431 case CallWideningDecision::KindTy::Scalarize:
7437 VPI->replaceAllUsesWith(Replacement);
7438 VPI->eraseFromParent();
7461 if (!LoadR || LoadR->isConsecutive())
7480 Align Alignment = LoadR->getAlign();
7483 if (!Ctx.TTI.isLegalStridedLoadStore(DataTy, Alignment))
7488 Intrinsic::experimental_vp_strided_load, DataTy,
7489 LoadR->isMasked(), Alignment, Ctx);
7490 return StridedLoadStoreCost < CurrentCost;
7501 Ctx.invalidateWideningDecision(&LoadR->getIngredient(), VF);
7506 I32VF = Builder.createScalarZExtOrTrunc(
7519 "Stride type from SCEV must match the index type");
7520 VPValue *CanIV = Builder.createScalarSExtOrTrunc(
7524 auto *
Offset = Builder.createOverflowingOp(
7525 Instruction::Mul, {CanIV, StrideInBytes},
7526 {AddRecPtr->hasNoUnsignedWrap(), AddRecPtr->hasNoSignedWrap()});
7527 auto *BasePtr = Builder.createNoWrapPtrAdd(
7533 VPValue *NewPtr = Builder.createVectorPointer(
7535 Ptr->getGEPNoWrapFlags(), Ptr->getDebugLoc());
7537 VPValue *Mask = LoadR->getMask();
7540 auto *StridedLoad = Builder.createWidenMemIntrinsic(
7541 Intrinsic::experimental_vp_strided_load,
7542 {NewPtr, StrideInBytes, Mask, I32VF}, LoadTy, Alignment, *LoadR,
7543 LoadR->getDebugLoc());
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
AMDGPU Register Bank Select
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static bool isEqual(const Function &Caller, const Function &Callee)
static const Function * getParent(const Value *V)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static cl::opt< OutputCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(OutputCostKind::RecipThroughput), cl::values(clEnumValN(OutputCostKind::RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(OutputCostKind::Latency, "latency", "Instruction latency"), clEnumValN(OutputCostKind::CodeSize, "code-size", "Code size"), clEnumValN(OutputCostKind::SizeAndLatency, "size-latency", "Code size and latency"), clEnumValN(OutputCostKind::All, "all", "Print all cost kinds")))
static cl::opt< IntrinsicCostStrategy > IntrinsicCost("intrinsic-cost-strategy", cl::desc("Costing strategy for intrinsic instructions"), cl::init(IntrinsicCostStrategy::InstructionCost), cl::values(clEnumValN(IntrinsicCostStrategy::InstructionCost, "instruction-cost", "Use TargetTransformInfo::getInstructionCost"), clEnumValN(IntrinsicCostStrategy::IntrinsicCost, "intrinsic-cost", "Use TargetTransformInfo::getIntrinsicInstrCost"), clEnumValN(IntrinsicCostStrategy::TypeBasedIntrinsicCost, "type-based-intrinsic-cost", "Calculate the intrinsic cost based only on argument types")))
iv Induction Variable Users
static std::pair< Value *, APInt > getMask(Value *WideMask, unsigned Factor, ElementCount LeafValueEC)
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Legalize the Machine IR a function s Machine IR
static DebugLoc getDebugLoc(MachineBasicBlock::instr_iterator FirstMI, MachineBasicBlock::instr_iterator LastMI)
Return the first DebugLoc that has line number information, given a range of instructions.
This file provides utility analysis objects describing memory locations.
MachineInstr unsigned OpIdx
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.
const SmallVectorImpl< MachineOperand > & Cond
static bool dominates(InstrPosIndexes &PosIndexes, const MachineInstr &A, const MachineInstr &B)
This is the interface for a metadata-based scoped no-alias analysis.
This file implements a set that has insertion order iteration characteristics.
This file defines the SmallPtrSet class.
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static SymbolRef::Type getType(const Symbol *Sym)
This file implements the TypeSwitch template, which mimics a switch() statement whose cases are type ...
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.
This file declares the class VPlanVerifier, which contains utility functions to check the consistency...
This file contains the declarations of the Vectorization Plan base classes:
static const X86InstrFMA3Group Groups[]
static const uint32_t IV[8]
Helper for extra no-alias checks via known-safe recipe and SCEV.
SinkStoreInfo(ArrayRef< VPReplicateRecipe * > ExcludeRecipes, VPReplicateRecipe &GroupLeader, PredicatedScalarEvolution &PSE, const Loop &L)
SinkStoreInfo(VPReplicateRecipe &GroupLeader)
bool shouldSkip(VPRecipeBase &R) const
Return true if R should be skipped during alias checking, either because it's in the exclude set or b...
Class for arbitrary precision integers.
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
unsigned getActiveBits() const
Compute the number of active bits in the value.
APInt abs() const
Get the absolute value.
LLVM_ABI APInt urem(const APInt &RHS) const
Unsigned remainder operation.
unsigned getBitWidth() const
Return the number of bits in the APInt.
LLVM_ABI APInt sext(unsigned width) const
Sign extend to a new width.
bool isPowerOf2() const
Check if this APInt's value is a power of two greater than zero.
bool uge(const APInt &RHS) const
Unsigned greater or equal comparison.
An arbitrary precision integer that knows its signedness.
static APSInt getMinValue(uint32_t numBits, bool Unsigned)
Return the APSInt representing the minimum integer value with the given bit width and signedness.
static APSInt getMaxValue(uint32_t numBits, bool Unsigned)
Return the APSInt representing the maximum integer value with the given bit width and signedness.
@ NoAlias
The two locations do not alias at all.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
const T & back() const
Get the last element.
ArrayRef< T > drop_front(size_t N=1) const
Drop the first N elements of the array.
const T & front() const
Get the first element.
A cache of @llvm.assume calls within a function.
LLVM Basic Block Representation.
const Function * getParent() const
Return the enclosing method, or null if none.
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
bool isNoBuiltin() const
Return true if the call should not be treated as a call to a builtin.
This class represents a function call, abstracting a target machine's calling convention.
@ ICMP_ULT
unsigned less than
@ ICMP_ULE
unsigned less or equal
@ FCMP_UNO
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
Predicate getInversePredicate() const
For example, EQ -> NE, UGT -> ULE, SLT -> SGE, OEQ -> UNE, UGT -> OLE, OLT -> UGE,...
An abstraction over a floating-point predicate, and a pack of an integer predicate with samesign info...
static ConstantInt * getSigned(IntegerType *Ty, int64_t V, bool ImplicitTrunc=false)
Return a ConstantInt with the specified value for the specified type.
This class represents a range of values.
LLVM_ABI bool contains(const APInt &Val) const
Return true if the specified value is in the set.
static LLVM_ABI Constant * getAllOnesValue(Type *Ty)
A parsed version of the target data layout string in and methods for querying it.
LLVM_ABI IntegerType * getIndexType(LLVMContext &C, unsigned AddressSpace) const
Returns the type of a GEP index in AddressSpace.
static DebugLoc getCompilerGenerated()
static DebugLoc getUnknown()
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.
std::pair< iterator, bool > try_emplace(KeyT &&Key, Ts &&...Args)
ValueT lookup_or(const_arg_type_t< KeyT > Val, U &&Default) const
bool dominates(const DomTreeNodeBase< NodeT > *A, const DomTreeNodeBase< NodeT > *B) const
dominates - Returns true iff A dominates B.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
constexpr bool isVector() const
One or more elements.
static constexpr ElementCount getScalable(ScalarTy MinVal)
constexpr bool isScalar() const
Exactly one element.
Utility class for floating point operations which can have information about relaxed accuracy require...
FastMathFlags getFastMathFlags() const
Convenience function for getting all the fast-math flags.
Convenience struct for specifying and reasoning about fast-math flags.
Represents flags for the getelementptr instruction/expression.
static GEPNoWrapFlags noUnsignedWrap()
GEPNoWrapFlags withoutNoUnsignedWrap() const
static GEPNoWrapFlags none()
an instruction for type-safe pointer arithmetic to access elements of arrays and structs
A struct for saving information about induction variables.
static LLVM_ABI InductionDescriptor getCanonicalIntInduction(Type *Ty, ScalarEvolution &SE)
Returns the canonical integer induction for type Ty with start = 0 and step = 1.
InductionKind
This enum represents the kinds of inductions that we support.
@ IK_NoInduction
Not an induction variable.
@ IK_FpInduction
Floating point induction variable.
@ IK_PtrInduction
Pointer induction var. Step = C.
@ IK_IntInduction
Integer induction variable. Step = C.
InstSimplifyFolder - Use InstructionSimplify to fold operations to existing values.
static InstructionCost getInvalid(CostType Val=0)
LLVM_ABI const Module * getModule() const
Return the module owning the function this instruction belongs to or nullptr it the function does not...
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this instruction belongs to.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
The group of interleaved loads/stores sharing the same stride and close to each other.
This is an important class for using LLVM in a threaded context.
An instruction for reading from memory.
static bool getDecisionAndClampRange(const std::function< bool(ElementCount)> &Predicate, VFRange &Range)
Test a Predicate on a Range of VF's.
Represents a single loop in the control flow graph.
LLVM_ABI MDNode * createBranchWeights(uint32_t TrueWeight, uint32_t FalseWeight, bool IsExpected=false)
Return metadata containing two branch weights.
This class implements a map that also provides access to all stored values in a deterministic order.
ValueT lookup(const KeyT &Key) const
std::pair< iterator, bool > try_emplace(const KeyT &Key, Ts &&...Args)
Representation for a specific memory location.
AAMDNodes AATags
The metadata nodes which describes the aliasing of the location (each member is null if that kind of ...
Function * getFunction(StringRef Name) const
Look up the specified function in the module symbol table.
unsigned getOpcode() const
Return the opcode for this Instruction or ConstantExpr.
Post-order traversal of a graph.
An interface layer with SCEV used to manage how we see SCEV expressions for values in the context of ...
ScalarEvolution * getSE() const
Returns the ScalarEvolution analysis used.
LLVM_ABI const SCEV * getSCEV(Value *V)
Returns the SCEV expression of V, in the context of the current SCEV predicate.
static LLVM_ABI unsigned getOpcode(RecurKind Kind)
Returns the opcode corresponding to the RecurrenceKind.
unsigned getOpcode() const
static bool isFindLastRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is of the form select(cmp(),x,y) where one of (x,...
RegionT * getParent() const
Get the parent of the Region.
This class represents a constant integer value.
ConstantInt * getValue() const
This class uses information about analyze scalars to rewrite expressions in canonical form.
LLVM_ABI Value * expandCodeFor(SCEVUse SH, Type *Ty, BasicBlock::iterator I)
Insert code to directly compute the specified SCEV expression into the program.
static const SCEV * rewrite(const SCEV *Scev, ScalarEvolution &SE, ValueToSCEVMapTy &Map)
This class represents an analyzed expression in the program.
LLVM_ABI Type * getType() const
Return the LLVM type of this SCEV expression.
The main scalar evolution driver.
LLVM_ABI const SCEV * getUDivExpr(SCEVUse LHS, SCEVUse RHS)
Get a canonical unsigned division expression, or something simpler if possible.
const DataLayout & getDataLayout() const
Return the DataLayout associated with the module this SCEV instance is operating on.
LLVM_ABI const SCEV * getNegativeSCEV(const SCEV *V, SCEV::NoWrapFlags Flags=SCEV::FlagAnyWrap)
Return the SCEV object corresponding to -V.
LLVM_ABI bool isKnownNonZero(const SCEV *S)
Test if the given expression is known to be non-zero.
LLVM_ABI const SCEV * getConstant(ConstantInt *V)
LLVM_ABI const SCEV * getSCEV(Value *V)
Return a SCEV expression for the full generality of the specified expression.
LLVM_ABI const SCEV * getMinusSCEV(SCEVUse LHS, SCEVUse RHS, SCEV::NoWrapFlags Flags=SCEV::FlagAnyWrap, unsigned Depth=0)
Return LHS-RHS.
ConstantRange getSignedRange(const SCEV *S)
Determine the signed range for a particular SCEV.
LLVM_ABI bool isKnownPositive(const SCEV *S)
Test if the given expression is known to be positive.
LLVM_ABI const SCEV * getElementCount(Type *Ty, ElementCount EC, SCEV::NoWrapFlags Flags=SCEV::FlagAnyWrap)
ConstantRange getUnsignedRange(const SCEV *S)
Determine the unsigned range for a particular SCEV.
LLVM_ABI const SCEV * getMulExpr(SmallVectorImpl< SCEVUse > &Ops, SCEV::NoWrapFlags Flags=SCEV::FlagAnyWrap, unsigned Depth=0)
Get a canonical multiply expression, or something simpler if possible.
LLVM_ABI bool isKnownPredicate(CmpPredicate Pred, SCEVUse LHS, SCEVUse RHS)
Test if the given expression is known to satisfy the condition described by Pred, LHS,...
static LLVM_ABI AliasResult alias(const MemoryLocation &LocA, const MemoryLocation &LocB)
A vector that has set insertion semantics.
size_type size() const
Determine the number of elements in the SetVector.
bool insert(const value_type &X)
Insert a new element into the SetVector.
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
bool contains(ConstPtrType Ptr) const
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
An instruction for storing to memory.
Provides information about what library functions are available for the current target.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
This class implements a switch-like dispatch statement for a value of 'T' using dyn_cast functionalit...
TypeSwitch< T, ResultT > & Case(CallableT &&caseFn)
Add a case on the given type.
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
bool isPointerTy() const
True if this is an instance of PointerType.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
bool isStructTy() const
True if this is an instance of StructType.
LLVM_ABI TypeSize getPrimitiveSizeInBits() const LLVM_READONLY
Return the basic size of this type if it is a primitive type.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
bool isIntegerTy() const
True if this is an instance of IntegerType.
static SmallVector< VFInfo, 8 > getMappings(const CallInst &CI)
Retrieve all the VFInfo instances associated to the CallInst CI.
A recipe for generating the active lane mask for the vector loop that is used to predicate the vector...
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...
iterator begin()
Recipe iterator methods.
iterator_range< iterator > phis()
Returns an iterator range over the PHI-like recipes in the block.
iterator getFirstNonPhi()
Return the position of the first non-phi node recipe in the block.
VPBasicBlock * splitAt(iterator SplitAt)
Split current block at SplitAt by inserting a new block between the current block and its successors ...
const VPRecipeBase & front() const
VPRecipeBase * getTerminator()
If the block has multiple successors, return the branch recipe terminating the block.
const VPRecipeBase & back() const
A recipe for vectorizing a phi-node as a sequence of mask-based select instructions.
VPValue * getMask(unsigned Idx) const
Return mask number Idx.
unsigned getNumIncomingValues() const
Return the number of incoming values, taking into account when normalized the first incoming value wi...
void setMask(unsigned Idx, VPValue *V)
Set mask number Idx to V.
bool isNormalized() const
A normalized blend is one that has an odd number of operands, whereby the first operand does not have...
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
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
void setPredecessors(ArrayRef< VPBlockBase * > NewPreds)
Set each VPBasicBlock in NewPreds as predecessor of this VPBlockBase.
const VPBlocksTy & getPredecessors() const
const std::string & getName() const
void clearSuccessors()
Remove all the successors of this block.
VPBlockBase * getSinglePredecessor() const
void clearPredecessors()
Remove all the predecessor of this block.
const VPBasicBlock * getEntryBasicBlock() const
VPBlockBase * getSingleHierarchicalPredecessor()
VPBlockBase * getSingleSuccessor() const
const VPBlocksTy & getSuccessors() const
static auto blocksAs(T &&Range)
Return an iterator range over Range with each block cast to BlockTy.
static void insertOnEdge(VPBlockBase *From, VPBlockBase *To, VPBlockBase *BlockPtr)
Inserts BlockPtr on the edge between From and To.
static bool isLatch(const VPBlockBase *VPB, const VPDominatorTree &VPDT)
Returns true if VPB is a loop latch, using isHeader().
static void insertTwoBlocksAfter(VPBlockBase *IfTrue, VPBlockBase *IfFalse, VPBlockBase *BlockPtr)
Insert disconnected VPBlockBases IfTrue and IfFalse after BlockPtr.
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 SmallVector< VPBasicBlock * > blocksInSingleSuccessorChainBetween(VPBasicBlock *FirstBB, VPBasicBlock *LastBB)
Returns the blocks between FirstBB and LastBB, where FirstBB to LastBB forms a single-sucessor chain.
A recipe for generating conditional branches on the bits of a mask.
RAII object that stores the current insertion point and restores it when the object is destroyed.
VPlan-based builder utility analogous to IRBuilder.
VPInstruction * createFirstActiveLane(ArrayRef< VPValue * > Masks, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
VPInstruction * createAdd(VPValue *LHS, VPValue *RHS, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", VPRecipeWithIRFlags::WrapFlagsTy WrapFlags={false, false})
VPInstruction * createOr(VPValue *LHS, VPValue *RHS, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
VPValue * createScalarZExtOrTrunc(VPValue *Op, Type *ResultTy, Type *SrcTy, DebugLoc DL)
VPInstruction * createLogicalOr(VPValue *LHS, VPValue *RHS, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
VPInstruction * createNot(VPValue *Operand, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
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 * createLogicalAnd(VPValue *LHS, VPValue *RHS, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
VPDerivedIVRecipe * createDerivedIV(InductionDescriptor::InductionKind Kind, FPMathOperator *FPBinOp, VPIRValue *Start, VPValue *Current, VPValue *Step)
Convert the input value Current to the corresponding value of an induction with Start and Step values...
VPInstruction * createScalarCast(Instruction::CastOps Opcode, VPValue *Op, Type *ResultTy, DebugLoc DL, const VPIRMetadata &Metadata={})
VPWidenPHIRecipe * createWidenPhi(ArrayRef< VPValue * > IncomingValues, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
static VPBuilder getToInsertAfter(VPRecipeBase *R)
Create a VPBuilder to insert after R.
VPWidenCastRecipe * createWidenCast(Instruction::CastOps Opcode, VPValue *Op, Type *ResultTy)
VPInstruction * createICmp(CmpInst::Predicate Pred, VPValue *A, VPValue *B, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
Create a new ICmp VPInstruction with predicate Pred and operands A and B.
VPPhi * createScalarPhi(ArrayRef< VPValue * > IncomingValues, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", const VPIRFlags &Flags={}, Type *ResultTy=nullptr)
VPInstruction * createSelect(VPValue *Cond, VPValue *TrueVal, VPValue *FalseVal, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", const VPIRFlags &Flags={})
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.
static VPSingleDefRecipe * createSingleScalarOp(unsigned Opcode, ArrayRef< VPValue * > Operands, VPValue *Mask, const VPIRFlags &Flags, const VPIRMetadata &Metadata, DebugLoc DL, Instruction *UV)
Create a single-scalar recipe with Opcode and Operands without inserting it.
void setInsertPoint(VPBasicBlock *TheBB)
This specifies that created VPInstructions should be appended to the end of the specified block.
A recipe for generating the phi node tracking the current scalar iteration index.
unsigned getNumDefinedValues() const
Returns the number of values defined by the VPDef.
VPValue * getVPSingleValue()
Returns the only VPValue defined by the VPDef.
VPValue * getVPValue(unsigned I)
Returns the VPValue with index I defined by the VPDef.
ArrayRef< VPRecipeValue * > definedValues()
Returns an ArrayRef of the values defined by the VPDef.
A recipe for converting the input value IV value to the corresponding value of an IV with different s...
Template specialization of the standard LLVM dominator tree utility for VPBlockBases.
bool properlyDominates(const VPRecipeBase *A, const VPRecipeBase *B) const
A recipe to combine multiple recipes into a single 'expression' recipe, which should be considered a ...
A recipe representing a sequence of load -> update -> store as part of a histogram operation.
A special type of VPBasicBlock that wraps an existing IR basic block.
Class to record and manage LLVM IR flags.
static VPIRFlags getDefaultFlags(unsigned Opcode)
Returns default flags for Opcode for opcodes that support it, asserts otherwise.
LLVM_ABI_FOR_TEST FastMathFlags getFastMathFlagsOrNone() const
void dropPoisonGeneratingFlags()
Drop all poison-generating 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.
unsigned getNumOperandsWithoutMask() const
Returns the number of operands, excluding the mask if the VPInstruction is masked.
@ ExtractLane
Extracts a single lane (first operand) from a set of vector operands.
@ ExtractPenultimateElement
@ Unpack
Extracts all lanes from its (non-scalable) vector operand.
@ ReductionStartVector
Start vector for reductions with 3 operands: the original start value, the identity value for the red...
@ BuildVector
Creates a fixed-width vector containing all operands.
@ BuildStructVector
Given operands of (the same) struct type, creates a struct of fixed- width vectors each containing a ...
@ CanonicalIVIncrementForPart
@ ComputeReductionResult
Reduce the operands to the final reduction result using the operation specified via the operation's V...
unsigned getOpcode() const
const InterleaveGroup< Instruction > * getInterleaveGroup() const
VPValue * getMask() const
Return the mask used by this recipe.
ArrayRef< VPValue * > getStoredValues() const
Return the VPValues stored by this interleave group.
A recipe for interleaved memory operations with vector-predication intrinsics.
VPInterleaveRecipe is a recipe for transforming an interleave group of load or stores into one wide l...
void addIncoming(VPValue *IncomingV)
Append IncomingV as an incoming value to the phi-like recipe.
VPPredInstPHIRecipe is a recipe for generating the phi nodes needed when control converges back from ...
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
VPBasicBlock * getParent()
DebugLoc getDebugLoc() const
Returns the debug location of the recipe.
void moveBefore(VPBasicBlock &BB, iplist< VPRecipeBase >::iterator I)
Unlink this recipe and insert into BB before I.
void insertBefore(VPRecipeBase *InsertPos)
Insert an unlinked recipe into a basic block immediately before the specified recipe.
void insertAfter(VPRecipeBase *InsertPos)
Insert an unlinked Recipe into a basic block immediately after the specified Recipe.
iplist< VPRecipeBase >::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
Helper class to create VPRecipies from IR instructions.
VPHistogramRecipe * widenIfHistogram(VPInstruction *VPI)
If VPI represents a histogram operation (as determined by LoopVectorizationLegality) make that safe f...
VPRecipeBase * tryToWidenMemory(VPInstruction *VPI, VFRange &Range)
Check if the load or store instruction VPI should widened for Range.Start and potentially masked.
bool replaceWithFinalIfReductionStore(VPInstruction *VPI, VPBuilder &FinalRedStoresBuilder)
If VPI is a store of a reduction into an invariant address, delete it.
VPSingleDefRecipe * handleReplication(VPInstruction *VPI, VFRange &Range)
Build a replicating or single-scalar recipe for VPI.
Type * getScalarType() const
Returns the scalar type of this VPRecipeValue.
A recipe to represent inloop reduction operations with vector-predication intrinsics,...
A recipe for handling reduction phis.
void setVFScaleFactor(unsigned ScaleFactor)
Set the VFScaleFactor for this reduction phi.
unsigned getVFScaleFactor() const
Get the factor that the VF of this recipe's output should be scaled by, or 1 if it isn't scaled.
RecurKind getRecurrenceKind() const
Returns the recurrence kind of the reduction.
A recipe to represent inloop, ordered or partial reduction operations.
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
const VPBlockBase * getEntry() const
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
VPInstruction * getOrCreateCanonicalIVIncrement()
Get the canonical IV increment instruction if it exists.
void setExiting(VPBlockBase *ExitingBlock)
Set ExitingBlock as the exiting VPBlockBase of this VPRegionBlock.
Type * getCanonicalIVType() const
Return the type of the canonical IV for loop regions.
void clearCanonicalIVNUW(VPInstruction *Increment)
Unsets NUW for the canonical IV increment Increment, for loop regions.
VPRegionValue * getCanonicalIV()
Return the canonical induction variable of the region, null for replicating regions.
const VPBlockBase * getExiting() const
VPBasicBlock * getPreheaderVPBB()
Returns the pre-header VPBasicBlock of the loop region.
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
bool isSingleScalar() const
static InstructionCost computeCallCost(Function *CalledFn, Type *ResultTy, ArrayRef< const VPValue * > ArgOps, bool IsSingleScalar, ElementCount VF, VPCostContext &Ctx)
Return the cost of scalarizing a call to CalledFn with argument operands ArgOps for a given VF.
operand_range operandsWithoutMask()
Return the recipe's operands, excluding the mask of a predicated recipe.
bool isPredicated() const
VPValue * getMask()
Return the mask of a predicated VPReplicateRecipe.
Lightweight SCEV-to-VPlan expander.
VPValue * tryToExpand(const SCEV *S)
Try to expand S into recipes and live-ins using the builder.
A recipe for handling phi nodes of integer and floating-point inductions, producing their scalar valu...
VPSingleDefRecipe is a base class for recipes that model a sequence of one or more output IR that def...
Instruction * getUnderlyingInstr()
Returns the underlying instruction.
VPSingleDefRecipe * clone() override=0
Clone the current recipe.
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
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,...
bool hasDefiningRecipe() const
Returns true if this VPValue is defined by a recipe.
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.
VPRecipeBase * getDefiningRecipe()
Returns the recipe defining this VPValue or nullptr if it is not defined by a recipe,...
bool hasMoreThanOneUniqueUser() const
Returns true if the value has more than one unique user.
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
void setUnderlyingValue(Value *Val)
VPUser * getSingleUser()
Return the single user of this value, or nullptr if there is not exactly one user.
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...
A recipe for widening Call instructions using library calls.
static InstructionCost computeCallCost(Function *Variant, VPCostContext &Ctx)
Return the cost of widening a call using the vector function Variant.
VPWidenCastRecipe is a recipe to create vector cast instructions.
Instruction::CastOps getOpcode() const
A recipe for handling GEP instructions.
Base class for widened induction (VPWidenIntOrFpInductionRecipe and VPWidenPointerInductionRecipe),...
VPIRValue * getStartValue() const
Returns the start value of the induction.
PHINode * getPHINode() const
Returns the underlying PHINode if one exists, or null otherwise.
VPValue * getStepValue()
Returns the step value of the induction.
const InductionDescriptor & getInductionDescriptor() const
Returns the induction descriptor for the recipe.
A recipe for handling phi nodes of integer and floating-point inductions, producing their vector valu...
VPIRValue * getStartValue() const
Returns the start value of the induction.
VPValue * getSplatVFValue() const
If the recipe has been unrolled, return the VPValue for the induction increment, otherwise return nul...
TruncInst * getTruncInst()
Returns the first defined value as TruncInst, if it is one or nullptr otherwise.
VPValue * getLastUnrolledPartOperand()
Returns the VPValue representing the value of this induction at the last unrolled part,...
A recipe for widening vector intrinsics.
static InstructionCost computeCallCost(Intrinsic::ID ID, ArrayRef< const VPValue * > Operands, const VPRecipeWithIRFlags &R, ElementCount VF, VPCostContext &Ctx)
Compute the cost of a vector intrinsic with ID and Operands.
static InstructionCost computeMemIntrinsicCost(Intrinsic::ID IID, Type *Ty, bool IsMasked, Align Alignment, VPCostContext &Ctx)
Helper function for computing the cost of vector memory intrinsic.
A common mixin class for widening memory operations.
virtual VPRecipeBase * getAsRecipe()=0
Return a VPRecipeBase* to the current object.
A recipe for widened phis.
VPWidenRecipe is a recipe for producing a widened instruction using the opcode and operands of the re...
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenRecipe.
VPWidenRecipe * clone() override
Clone the current recipe.
unsigned getOpcode() const
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
VPIRValue * getLiveIn(Value *V) const
Return the live-in VPIRValue for V, if there is one or nullptr otherwise.
bool hasVF(ElementCount VF) const
const DataLayout & getDataLayout() const
LLVMContext & getContext() const
VPBasicBlock * getEntry()
bool hasScalableVF() const
VPValue * getTripCount() const
The trip count of the original loop.
VPValue * getOrCreateBackedgeTakenCount()
The backedge taken count of the original loop.
iterator_range< SmallSetVector< ElementCount, 2 >::iterator > vectorFactors() const
Returns an iterator range over all VFs of the plan.
VPIRValue * getFalse()
Return a VPIRValue wrapping i1 false.
VPSymbolicValue & getVFxUF()
Returns VF * UF of the vector loop region.
VPIRValue * getAllOnesValue(Type *Ty)
Return a VPIRValue wrapping the AllOnes value of type Ty.
VPRegionBlock * createReplicateRegion(VPBlockBase *Entry, VPBlockBase *Exiting, const std::string &Name="")
Create a new replicate region with Entry, Exiting and Name.
auto getLiveIns() const
Return the list of live-in VPValues available in the VPlan.
bool hasUF(unsigned UF) const
VPIRValue * getPoison(Type *Ty)
Return a VPIRValue wrapping a poison value of type Ty.
ArrayRef< VPIRBasicBlock * > getExitBlocks() const
Return an ArrayRef containing VPIRBasicBlocks wrapping the exit blocks of the original scalar loop.
VPSymbolicValue & getVectorTripCount()
The vector trip count.
VPValue * getBackedgeTakenCount() const
VPIRValue * getOrAddLiveIn(Value *V)
Gets the live-in VPIRValue for V or adds a new live-in (if none exists yet) for V.
VPIRValue * getZero(Type *Ty)
Return a VPIRValue wrapping the null value of type Ty.
void setVF(ElementCount VF)
bool isUnrolled() const
Returns true if the VPlan already has been unrolled, i.e.
LLVM_ABI_FOR_TEST VPRegionBlock * getVectorLoopRegion()
Returns the VPRegionBlock of the vector loop.
unsigned getConcreteUF() const
Returns the concrete UF of the plan, after unrolling.
void resetTripCount(VPValue *NewTripCount)
Resets the trip count for the VPlan.
VPBasicBlock * getMiddleBlock()
Returns the 'middle' block of the plan, that is the block that selects whether to execute the scalar ...
VPBasicBlock * createVPBasicBlock(const Twine &Name, VPRecipeBase *Recipe=nullptr)
Create a new VPBasicBlock with Name and containing Recipe if present.
VPIRValue * getTrue()
Return a VPIRValue wrapping i1 true.
VPBasicBlock * getVectorPreheader() const
Returns the preheader of the vector loop region, if one exists, or null otherwise.
VPSymbolicValue & getUF()
Returns the UF of the vector loop region.
bool hasScalarVFOnly() const
VPBasicBlock * getScalarPreheader() const
Return the VPBasicBlock for the preheader of the scalar loop.
VPSymbolicValue & getVF()
Returns the VF of the vector loop region.
bool hasScalarTail() const
Returns true if the scalar tail may execute after the vector loop, i.e.
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.
iterator_range< user_iterator > users()
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 bool hasKnownScalarFactor(const FixedOrScalableQuantity &RHS) const
Returns true if there exists a value X where RHS.multiplyCoefficientBy(X) will result in a value whos...
constexpr ScalarTy getFixedValue() const
constexpr ScalarTy getKnownScalarFactor(const FixedOrScalableQuantity &RHS) const
Returns a value X where RHS.multiplyCoefficientBy(X) will result in a value whose quantity matches ou...
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 LeafTy multiplyCoefficientBy(ScalarTy RHS) const
constexpr bool isFixed() const
Returns true if the quantity is not scaled by 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()
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
LLVM_ABI APInt RoundingUDiv(const APInt &A, const APInt &B, APInt::Rounding RM)
Return A unsign-divided by B, rounded by the given rounding mode.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
std::variant< std::monostate, Loc::Single, Loc::Multi, Loc::MMI, Loc::EntryValue > Variant
Alias for the std::variant specialization base class of DbgVariable.
SpecificConstantMatch m_ZeroInt()
Convenience matchers for specific integer values.
BinaryOp_match< SrcTy, SpecificConstantMatch, TargetOpcode::G_XOR, true > m_Not(const SrcTy &&Src)
Matches a register not-ed by a G_XOR.
OneUse_match< SubPat > m_OneUse(const SubPat &SP)
match_isa< To... > m_Isa()
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
cst_pred_ty< is_all_ones > m_AllOnes()
Match an integer or vector with all bits set.
auto m_Cmp()
Matches any compare instruction and ignore it.
BinaryOp_match< LHS, RHS, Instruction::Add > m_Add(const LHS &L, const RHS &R)
m_Intrinsic_Ty< Opnd0, Opnd1, Opnd2 >::Ty m_MaskedStore(const Opnd0 &Op0, const Opnd1 &Op1, const Opnd2 &Op2)
Matches MaskedStore Intrinsic.
match_combine_or< CastInst_match< OpTy, TruncInst >, OpTy > m_TruncOrSelf(const OpTy &Op)
auto m_Poison()
Match an arbitrary poison constant.
ap_match< APInt > m_APInt(const APInt *&Res)
Match a ConstantInt or splatted ConstantVector, binding the specified pointer to the contained APInt.
CastInst_match< OpTy, TruncInst > m_Trunc(const OpTy &Op)
Matches Trunc.
LogicalOp_match< LHS, RHS, Instruction::And > m_LogicalAnd(const LHS &L, const RHS &R)
Matches L && R either in the form of L & R or L ?
specific_intval< false > m_SpecificInt(const APInt &V)
Match a specific integer value or vector with all elements equal to the value.
BinaryOp_match< LHS, RHS, Instruction::FMul > m_FMul(const LHS &L, const RHS &R)
match_combine_or< CastInst_match< OpTy, ZExtInst >, OpTy > m_ZExtOrSelf(const OpTy &Op)
bool match(Val *V, const Pattern &P)
match_deferred< Value > m_Deferred(Value *const &V)
Like m_Specific(), but works if the specific value to match is determined as part of the same match()...
specificval_ty m_Specific(const Value *V)
Match if we have a specific specified value.
auto match_fn(const Pattern &P)
A match functor that can be used as a UnaryPredicate in functional algorithms like all_of.
m_Intrinsic_Ty< Opnd0, Opnd1, Opnd2 >::Ty m_MaskedLoad(const Opnd0 &Op0, const Opnd1 &Op1, const Opnd2 &Op2)
Matches MaskedLoad Intrinsic.
cst_pred_ty< is_one > m_One()
Match an integer 1 or a vector with all elements equal to 1.
IntrinsicID_match m_Intrinsic()
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
ThreeOps_match< Cond, LHS, RHS, Instruction::Select > m_Select(const Cond &C, const LHS &L, const RHS &R)
Matches SelectInst.
SpecificCmpClass_match< LHS, RHS, CmpInst > m_SpecificCmp(CmpPredicate MatchPred, const LHS &L, const RHS &R)
BinaryOp_match< LHS, RHS, Instruction::Mul > m_Mul(const LHS &L, const RHS &R)
CastInst_match< OpTy, FPExtInst > m_FPExt(const OpTy &Op)
SpecificCmpClass_match< LHS, RHS, ICmpInst > m_SpecificICmp(CmpPredicate MatchPred, const LHS &L, const RHS &R)
BinaryOp_match< LHS, RHS, Instruction::UDiv > m_UDiv(const LHS &L, const RHS &R)
SelectLike_match< CondTy, LTy, RTy > m_SelectLike(const CondTy &C, const LTy &TrueC, const RTy &FalseC)
Matches a value that behaves like a boolean-controlled select, i.e.
BinaryOp_match< LHS, RHS, Instruction::Add, true > m_c_Add(const LHS &L, const RHS &R)
Matches a Add with LHS and RHS in either order.
CmpClass_match< LHS, RHS, ICmpInst > m_ICmp(CmpPredicate &Pred, const LHS &L, const RHS &R)
match_combine_or< CastInst_match< OpTy, ZExtInst >, CastInst_match< OpTy, SExtInst > > m_ZExtOrSExt(const OpTy &Op)
FNeg_match< OpTy > m_FNeg(const OpTy &X)
Match 'fneg X' as 'fsub -0.0, X'.
BinaryOp_match< LHS, RHS, Instruction::FAdd, true > m_c_FAdd(const LHS &L, const RHS &R)
Matches FAdd with LHS and RHS in either order.
LogicalOp_match< LHS, RHS, Instruction::And, true > m_c_LogicalAnd(const LHS &L, const RHS &R)
Matches L && R with LHS and RHS in either order.
auto m_LogicalAnd()
Matches L && R where L and R are arbitrary values.
CastInst_match< OpTy, SExtInst > m_SExt(const OpTy &Op)
Matches SExt.
BinaryOp_match< LHS, RHS, Instruction::Mul, true > m_c_Mul(const LHS &L, const RHS &R)
Matches a Mul with LHS and RHS in either order.
BinaryOp_match< LHS, RHS, Instruction::Sub > m_Sub(const LHS &L, const RHS &R)
auto m_ConstantInt()
Match an arbitrary ConstantInt and ignore it.
bind_cst_ty m_scev_APInt(const APInt *&C)
Match an SCEV constant and bind it to an APInt.
specificloop_ty m_SpecificLoop(const Loop *L)
bool match(const SCEV *S, const Pattern &P)
SCEVAffineAddRec_match< Op0_t, Op1_t, match_isa< const Loop > > m_scev_AffineAddRec(const Op0_t &Op0, const Op1_t &Op1)
VPInstruction_match< VPInstruction::ExtractLastLane, VPInstruction_match< VPInstruction::ExtractLastPart, Op0_t > > m_ExtractLastLaneOfLastPart(const Op0_t &Op0)
AllRecipe_commutative_match< Instruction::And, Op0_t, Op1_t > m_c_BinaryAnd(const Op0_t &Op0, const Op1_t &Op1)
Match a binary AND operation.
AllRecipe_match< Instruction::Or, Op0_t, Op1_t > m_BinaryOr(const Op0_t &Op0, const Op1_t &Op1)
Match a binary OR operation.
VPInstruction_match< VPInstruction::AnyOf > m_AnyOf()
AllRecipe_commutative_match< Instruction::Or, Op0_t, Op1_t > m_c_BinaryOr(const Op0_t &Op0, const Op1_t &Op1)
VPInstruction_match< VPInstruction::ComputeReductionResult, Op0_t > m_ComputeReductionResult(const Op0_t &Op0)
auto m_WidenAnyExtend(const Op0_t &Op0)
match_bind< VPIRValue > m_VPIRValue(VPIRValue *&V)
Match a VPIRValue.
VPInstruction_match< VPInstruction::StepVector > m_StepVector()
auto m_VPPhi(const Op0_t &Op0, const Op1_t &Op1)
VPInstruction_match< VPInstruction::BranchOnTwoConds > m_BranchOnTwoConds()
AllRecipe_match< Opcode, Op0_t, Op1_t > m_Binary(const Op0_t &Op0, const Op1_t &Op1)
VPInstruction_match< VPInstruction::LastActiveLane, Op0_t > m_LastActiveLane(const Op0_t &Op0)
auto m_WidenIntrinsic(const T &...Ops)
canonical_widen_iv_match m_CanonicalWidenIV()
VPInstruction_match< VPInstruction::ExitingIVValue, Op0_t > m_ExitingIVValue(const Op0_t &Op0)
VPInstruction_match< Instruction::ExtractElement, Op0_t, Op1_t > m_ExtractElement(const Op0_t &Op0, const Op1_t &Op1)
specific_intval< 1 > m_False()
VPInstruction_match< VPInstruction::ExtractLastLane, Op0_t > m_ExtractLastLane(const Op0_t &Op0)
VPInstruction_match< VPInstruction::ActiveLaneMask, Op0_t, Op1_t, Op2_t > m_ActiveLaneMask(const Op0_t &Op0, const Op1_t &Op1, const Op2_t &Op2)
match_bind< VPSingleDefRecipe > m_VPSingleDefRecipe(VPSingleDefRecipe *&V)
Match a VPSingleDefRecipe, capturing if we match.
VPInstruction_match< VPInstruction::BranchOnCount > m_BranchOnCount()
auto m_GetElementPtr(const Op0_t &Op0, const Op1_t &Op1)
specific_intval< 1 > m_True()
auto m_VPValue()
Match an arbitrary VPValue and ignore it.
VectorEndPointerRecipe_match< Op0_t, Op1_t > m_VecEndPtr(const Op0_t &Op0, const Op1_t &Op1)
VPInstruction_match< VPInstruction::ExtractLastPart, Op0_t > m_ExtractLastPart(const Op0_t &Op0)
VPInstruction_match< VPInstruction::Broadcast, Op0_t > m_Broadcast(const Op0_t &Op0)
VPInstruction_match< VPInstruction::ExplicitVectorLength, Op0_t > m_EVL(const Op0_t &Op0)
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::ExtractPenultimateElement, Op0_t > m_ExtractPenultimateElement(const Op0_t &Op0)
match_bind< VPInstruction > m_VPInstruction(VPInstruction *&V)
Match a VPInstruction, capturing if we match.
VPInstruction_match< VPInstruction::FirstActiveLane, Op0_t > m_FirstActiveLane(const Op0_t &Op0)
auto m_DerivedIV(const Op0_t &Op0, const Op1_t &Op1, const Op2_t &Op2)
VPInstruction_match< VPInstruction::BranchOnCond > m_BranchOnCond()
static VPRecipeBase * findUserOf(VPValue *V, const MatchT &P)
If V is used by a recipe matching pattern P, return it.
VPInstruction_match< VPInstruction::ExtractLane, Op0_t, Op1_t > m_ExtractLane(const Op0_t &Op0, const Op1_t &Op1)
auto m_AnyNeg(const Op0_t &Op0)
VPInstruction_match< VPInstruction::Reverse, Op0_t > m_Reverse(const Op0_t &Op0)
NodeAddr< DefNode * > Def
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...
VPValue * getOrCreateVPValueForSCEVExpr(VPlan &Plan, const SCEV *Expr)
Get or create a VPValue that corresponds to the expansion of Expr.
bool cannotHoistOrSinkRecipe(const VPRecipeBase &R, bool Sinking=false)
Return true if we do not know how to (mechanically) hoist or sink R.
VPInstruction * findComputeReductionResult(VPReductionPHIRecipe *PhiR)
Find the ComputeReductionResult recipe for PhiR, looking through selects inserted for predicated redu...
VPInstruction * findCanonicalIVIncrement(VPlan &Plan)
Find the canonical IV increment of Plan's vector loop region.
std::optional< MemoryLocation > getMemoryLocation(const VPRecipeBase &R)
Return a MemoryLocation for R with noalias metadata populated from R, if the recipe is supported and ...
bool onlyFirstLaneUsed(const VPValue *Def)
Returns true if only the first lane of Def is used.
VPValue * findIncomingAliasMask(const VPlan &Plan)
Finds the incoming alias-mask within the vector preheader.
VPRecipeBase * findRecipe(VPValue *Start, PredT Pred)
Search Start's users for a recipe satisfying Pred, looking through recipes with definitions.
VPSingleDefRecipe * findHeaderMask(VPlan &Plan)
Collect the header mask with the pattern: (ICMP_ULE, WideCanonicalIV, backedge-taken-count) Note: If ...
bool onlyScalarValuesUsed(const VPValue *Def)
Returns true if only scalar values of Def are used by all users.
bool isUniformAcrossVFsAndUFs(const VPValue *V)
Checks if V is uniform across all VF lanes and UF parts.
const SCEV * getSCEVExprForVPValue(const VPValue *V, PredicatedScalarEvolution &PSE, const Loop *L=nullptr)
Return the SCEV expression for V.
bool isHeaderMask(const VPValue *V, const VPlan &Plan)
Return true if V is a header mask in Plan.
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
SmallVector< VPBasicBlock * > vp_rpo_plain_cfg_loop_body(VPBasicBlock *Header)
Returns the VPBasicBlocks forming the loop body of a plain (pre-region) VPlan in reverse post-order s...
constexpr auto not_equal_to(T &&Arg)
Functor variant of std::not_equal_to that can be used as a UnaryPredicate in functional algorithms li...
void stable_sort(R &&Range)
auto min_element(R &&Range)
Provide wrappers to std::min_element which take ranges instead of having to pass begin/end explicitly...
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
auto size(R &&Range, std::enable_if_t< std::is_base_of< std::random_access_iterator_tag, typename std::iterator_traits< decltype(Range.begin())>::iterator_category >::value, void > *=nullptr)
Get the size of a range.
LLVM_ABI Intrinsic::ID getVectorIntrinsicIDForCall(const CallInst *CI, const TargetLibraryInfo *TLI)
Returns intrinsic ID for call.
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.
DenseMap< const Value *, const SCEV * > ValueToSCEVMapTy
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
const Value * getLoadStorePointerOperand(const Value *V)
A helper function that returns the pointer operand of a load or store instruction.
constexpr from_range_t from_range
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
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...
auto cast_or_null(const Y &Val)
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 auto bind_back(FnT &&Fn, BindArgsT &&...BindArgs)
C++23 bind_back.
iterator_range< df_iterator< VPBlockDeepTraversalWrapper< VPBlockBase * > > > vp_depth_first_deep(VPBlockBase *G)
Returns an iterator range to traverse the graph starting at G in depth-first order while traversing t...
constexpr auto equal_to(T &&Arg)
Functor variant of std::equal_to that can be used as a UnaryPredicate in functional algorithms like a...
bool operator==(const AddressRangeValuePair &LHS, const AddressRangeValuePair &RHS)
SmallVector< VPRegisterUsage, 8 > calculateRegisterUsageForPlan(VPlan &Plan, ArrayRef< ElementCount > VFs, const TargetTransformInfo &TTI, const SmallPtrSetImpl< const Value * > &ValuesToIgnore)
Estimate the register usage for Plan and vectorization factors in VFs by calculating the highest numb...
auto map_range(ContainerTy &&C, FuncTy F)
Return a range that applies F to the elements of C.
detail::concat_range< ValueT, RangeTs... > concat(RangeTs &&...Ranges)
Returns a concatenated range across two or more ranges.
uint64_t PowerOf2Ceil(uint64_t A)
Returns the power of two which is greater than or equal to the given value.
auto dyn_cast_or_null(const Y &Val)
void erase(Container &C, ValueType V)
Wrapper function to remove a value from a container:
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)
constexpr size_t range_size(R &&Range)
Returns the size of the Range, i.e., the number of elements.
void sort(IteratorTy Start, IteratorTy End)
bool hasIrregularType(Type *Ty, const DataLayout &DL)
A helper function that returns true if the given type is irregular.
LLVM_ABI_FOR_TEST cl::opt< bool > EnableWideActiveLaneMask
UncountableExitStyle
Different methods of handling early exits.
@ MaskedHandleExitInScalarLoop
All memory operations other than the load(s) required to determine whether an uncountable exit occurr...
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...
iterator_range< filter_iterator< detail::IterOfRange< RangeT >, PredicateT > > make_filter_range(RangeT &&Range, PredicateT Pred)
Convenience function that takes a range of elements and a predicate, and return a new filter_iterator...
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...
T * find_singleton(R &&Range, Predicate P, bool AllowRepeats=false)
Return the single value in Range that satisfies P(<member of Range> *, AllowRepeats)->T * returning n...
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...
auto drop_end(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the last N elements excluded.
RecurKind
These are the kinds of recurrences that we support.
@ UMin
Unsigned integer min implemented in terms of select(cmp()).
@ FindIV
FindIV reduction with select(icmp(),x,y) where one of (x,y) is a loop induction variable (increasing ...
@ Or
Bitwise or logical OR of integers.
@ Mul
Product of integers.
@ FSub
Subtraction of floats.
@ SMax
Signed integer max implemented in terms of select(cmp()).
@ SMin
Signed integer min implemented in terms of select(cmp()).
@ Sub
Subtraction of integers.
@ AddChainWithSubs
A chain of adds and subs.
@ UMax
Unsigned integer max implemented in terms of select(cmp()).
LLVM_ABI Value * getRecurrenceIdentity(RecurKind K, Type *Tp, FastMathFlags FMF)
Given information about an recurrence kind, return the identity for the @llvm.vector....
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
auto count(R &&Range, const E &Element)
Wrapper function around std::count to count the number of times an element Element occurs in the give...
DWARFExpression::Operation Op
auto max_element(R &&Range)
Provide wrappers to std::max_element which take ranges instead of having to pass begin/end explicitly...
ArrayRef(const T &OneElt) -> ArrayRef< T >
auto make_second_range(ContainerTy &&c)
Given a container of pairs, return a range over the second elements.
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.
Type * getLoadStoreType(const Value *I)
A helper function that returns the type of a load or store instruction.
bool all_equal(std::initializer_list< T > Values)
Returns true if all Values in the initializer lists are equal or the list.
hash_code hash_combine(const Ts &...args)
Combine values into a single hash_code.
bool equal(L &&LRange, R &&RRange)
Wrapper function around std::equal to detect if pair-wise elements between two ranges are the same.
Type * toVectorTy(Type *Scalar, ElementCount EC)
A helper function for converting Scalar types to vector types.
LLVM_ABI bool isDereferenceableAndAlignedInLoop(LoadInst *LI, Loop *L, ScalarEvolution &SE, DominatorTree &DT, AssumptionCache *AC=nullptr, SmallVectorImpl< const SCEVPredicate * > *Predicates=nullptr)
Return true if we can prove that the given load (which is assumed to be within the specified loop) wo...
@ Default
The result value is uniform if and only if all operands are uniform.
constexpr detail::IsaCheckPredicate< Types... > IsaPred
Function object wrapper for the llvm::isa type check.
hash_code hash_combine_range(InputIteratorT first, InputIteratorT last)
Compute a hash_code for a sequence of values.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
VPBasicBlock * EarlyExitingVPBB
VPIRBasicBlock * EarlyExitVPBB
RemoveMask_match(const Op0_t &In, Op1_t &Out)
bool match(OpTy *V) const
MDNode * Scope
The tag for alias scope specification (used with noalias).
This struct is a compact representation of a valid (non-zero power of two) alignment.
An information struct used to provide DenseMap with the various necessary components for a given valu...
This reduction is unordered with the partial result scaled down by some factor.
Holds the VFShape for a specific scalar to vector function mapping.
Encapsulates information needed to describe a parameter.
A range of powers-of-2 vectorization factors with fixed start and adjustable end.
Struct to hold various analysis needed for cost computations.
static bool isFreeScalarIntrinsic(Intrinsic::ID ID)
Returns true if ID is a pseudo intrinsic that is dropped via scalarization rather than widened.
bool isMaskRequired(Instruction *I) const
Forwards to LoopVectorizationCostModel::isMaskRequired.
PredicatedScalarEvolution & PSE
bool willBeScalarized(Instruction *I, ElementCount VF) const
Returns true if I is known to be scalarized at VF.
TargetTransformInfo::TargetCostKind CostKind
const TargetLibraryInfo & TLI
const TargetTransformInfo & TTI
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 struct that represents some properties of the register usage of a loop.
SmallMapVector< unsigned, unsigned, 4 > MaxLocalUsers
Holds the maximum number of concurrent live intervals in the loop.
InstructionCost spillCost(const TargetTransformInfo &TTI, TargetTransformInfo::TargetCostKind CostKind, unsigned OverrideMaxNumRegs=0) const
Calculate the estimated cost of any spills due to using more registers than the number available for ...
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
bool isMaterialized() const
Returns true if this symbolic value has been materialized.
A recipe for widening load operations with vector-predication intrinsics, using the address to load f...
A recipe for widening load operations, using the address to load from and an optional mask.
A recipe for widening store operations with vector-predication intrinsics, using the value to store,...
A recipe for widening store operations, using the stored value, the address to store to and an option...