47#define DEBUG_TYPE "vector-combine"
53STATISTIC(NumVecLoad,
"Number of vector loads formed");
54STATISTIC(NumVecCmp,
"Number of vector compares formed");
55STATISTIC(NumVecBO,
"Number of vector binops formed");
56STATISTIC(NumVecCmpBO,
"Number of vector compare + binop formed");
57STATISTIC(NumShufOfBitcast,
"Number of shuffles moved after bitcast");
58STATISTIC(NumScalarOps,
"Number of scalar unary + binary ops formed");
59STATISTIC(NumScalarCmp,
"Number of scalar compares formed");
60STATISTIC(NumScalarIntrinsic,
"Number of scalar intrinsic calls formed");
64 cl::desc(
"Disable all vector combine transforms"));
68 cl::desc(
"Disable binop extract to shuffle transforms"));
72 cl::desc(
"Max number of instructions to scan for vector combining."));
74static const unsigned InvalidIndex = std::numeric_limits<unsigned>::max();
82 bool TryEarlyFoldsOnly)
85 SQ(*
DL, nullptr, &DT, &AC),
86 TryEarlyFoldsOnly(TryEarlyFoldsOnly) {}
93 const TargetTransformInfo &TTI;
94 const DominatorTree &DT;
98 const SimplifyQuery SQ;
102 bool TryEarlyFoldsOnly;
104 InstructionWorklist Worklist;
113 bool vectorizeLoadInsert(Instruction &
I);
114 bool widenSubvectorLoad(Instruction &
I);
115 ExtractElementInst *getShuffleExtract(ExtractElementInst *Ext0,
116 ExtractElementInst *Ext1,
117 unsigned PreferredExtractIndex)
const;
118 bool isExtractExtractCheap(ExtractElementInst *Ext0, ExtractElementInst *Ext1,
119 const Instruction &
I,
120 ExtractElementInst *&ConvertToShuffle,
121 unsigned PreferredExtractIndex);
124 bool foldExtractExtract(Instruction &
I);
125 bool foldInsExtFNeg(Instruction &
I);
126 bool foldInsExtBinop(Instruction &
I);
127 bool foldInsExtVectorToShuffle(Instruction &
I);
128 bool foldBitOpOfCastops(Instruction &
I);
129 bool foldBitOpOfCastConstant(Instruction &
I);
130 bool foldBitcastShuffle(Instruction &
I);
131 bool scalarizeOpOrCmp(Instruction &
I);
132 bool foldExtractedCmps(Instruction &
I);
133 bool foldSelectsFromBitcast(Instruction &
I);
134 bool foldBinopOfReductions(Instruction &
I);
135 bool foldInsertElementsToStores(Instruction &
I);
136 bool scalarizeLoad(Instruction &
I);
137 bool scalarizeLoadExtract(LoadInst *LI, VectorType *VecTy,
Value *Ptr);
138 bool scalarizeLoadBitcast(LoadInst *LI, VectorType *VecTy,
Value *Ptr);
139 bool scalarizeExtExtract(Instruction &
I);
140 bool foldConcatOfBoolMasks(Instruction &
I);
141 bool foldPermuteOfBinops(Instruction &
I);
142 bool foldShuffleOfBinops(Instruction &
I);
143 bool foldShuffleOfSelects(Instruction &
I);
144 bool foldShuffleOfCastops(Instruction &
I);
145 bool foldShuffleOfShuffles(Instruction &
I);
146 bool foldPermuteOfIntrinsic(Instruction &
I);
147 bool foldShufflesOfLengthChangingShuffles(Instruction &
I);
148 bool foldShuffleOfIntrinsics(Instruction &
I);
149 bool foldShuffleToIdentity(Instruction &
I);
150 bool foldShuffleFromReductions(Instruction &
I);
151 bool foldShuffleChainsToReduce(Instruction &
I);
152 bool foldCastFromReductions(Instruction &
I);
153 bool foldSignBitReductionCmp(Instruction &
I);
154 bool foldReductionZeroTest(Instruction &
I);
155 bool foldICmpEqZeroVectorReduce(Instruction &
I);
156 bool foldEquivalentReductionCmp(Instruction &
I);
157 bool foldReduceAddCmpZero(Instruction &
I);
158 bool foldSelectShuffle(Instruction &
I,
bool FromReduction =
false);
159 bool foldInterleaveIntrinsics(Instruction &
I);
160 bool foldDeinterleaveIntrinsics(Instruction &
I);
161 bool foldBitcastOfVPLoad(Instruction &
I);
162 bool foldBitOrderReverseAndSwap(Instruction &
I);
163 bool shrinkType(Instruction &
I);
164 bool shrinkLoadForShuffles(Instruction &
I);
165 bool shrinkPhiOfShuffles(Instruction &
I);
166 bool foldDeinterleaveInterleavePair(Instruction &
I);
168 void replaceValue(Instruction &Old,
Value &New,
bool Erase =
true) {
174 Worklist.pushUsersToWorkList(*NewI);
175 Worklist.pushValue(NewI);
192 SmallPtrSet<Value *, 4> Visited;
197 OpI,
nullptr,
nullptr, [&](
Value *V) {
202 NextInst = NextInst->getNextNode();
207 Worklist.pushUsersToWorkList(*OpI);
208 Worklist.pushValue(OpI);
226 return X->getType() ==
Y->getType() &&
235 Load->getFunction()->hasFnAttribute(Attribute::SanitizeMemTag) ||
241 Type *ScalarTy =
Load->getType()->getScalarType();
243 unsigned MinVectorSize =
TTI.getMinVectorRegisterBitWidth();
244 if (!ScalarSize || !MinVectorSize || MinVectorSize % ScalarSize != 0 ||
251bool VectorCombine::vectorizeLoadInsert(
Instruction &
I) {
277 Value *SrcPtr =
Load->getPointerOperand()->stripPointerCasts();
280 unsigned MinVecNumElts = MinVectorSize / ScalarSize;
281 auto *MinVecTy = VectorType::get(ScalarTy, MinVecNumElts,
false);
282 unsigned OffsetEltIndex = 0;
290 unsigned OffsetBitWidth =
DL->getIndexTypeSizeInBits(SrcPtr->
getType());
291 APInt
Offset(OffsetBitWidth, 0);
301 uint64_t ScalarSizeInBytes = ScalarSize / 8;
302 if (
Offset.urem(ScalarSizeInBytes) != 0)
306 APInt OffsetEltIndexAP =
Offset.udiv(ScalarSizeInBytes);
307 if (OffsetEltIndexAP.
uge(MinVecNumElts))
325 unsigned AS =
Load->getPointerAddressSpace();
344 unsigned OutputNumElts = Ty->getNumElements();
346 assert(OffsetEltIndex < MinVecNumElts &&
"Address offset too big");
347 Mask[0] = OffsetEltIndex;
354 if (OldCost < NewCost || !NewCost.
isValid())
365 replaceValue(
I, *VecLd);
373bool VectorCombine::widenSubvectorLoad(Instruction &
I) {
376 if (!Shuf->isIdentityWithPadding())
382 unsigned OpIndex =
any_of(Shuf->getShuffleMask(), [&NumOpElts](
int M) {
383 return M >= (int)(NumOpElts);
403 unsigned AS =
Load->getPointerAddressSpace();
418 if (OldCost < NewCost || !NewCost.
isValid())
425 replaceValue(
I, *VecLd);
432ExtractElementInst *VectorCombine::getShuffleExtract(
433 ExtractElementInst *Ext0, ExtractElementInst *Ext1,
437 assert(Index0C && Index1C &&
"Expected constant extract indexes");
439 unsigned Index0 = Index0C->getZExtValue();
440 unsigned Index1 = Index1C->getZExtValue();
443 if (Index0 == Index1)
467 if (PreferredExtractIndex == Index0)
469 if (PreferredExtractIndex == Index1)
473 return Index0 > Index1 ? Ext0 : Ext1;
481bool VectorCombine::isExtractExtractCheap(ExtractElementInst *Ext0,
482 ExtractElementInst *Ext1,
483 const Instruction &
I,
484 ExtractElementInst *&ConvertToShuffle,
485 unsigned PreferredExtractIndex) {
488 assert(Ext0IndexC && Ext1IndexC &&
"Expected constant extract indexes");
490 unsigned Opcode =
I.getOpcode();
503 assert((Opcode == Instruction::ICmp || Opcode == Instruction::FCmp) &&
504 "Expected a compare");
514 unsigned Ext0Index = Ext0IndexC->getZExtValue();
515 unsigned Ext1Index = Ext1IndexC->getZExtValue();
529 unsigned BestExtIndex = Extract0Cost > Extract1Cost ? Ext0Index : Ext1Index;
530 unsigned BestInsIndex = Extract0Cost > Extract1Cost ? Ext1Index : Ext0Index;
531 InstructionCost CheapExtractCost = std::min(Extract0Cost, Extract1Cost);
536 if (Ext0Src == Ext1Src && Ext0Index == Ext1Index) {
541 bool HasUseTax = Ext0 == Ext1 ? !Ext0->
hasNUses(2)
543 OldCost = CheapExtractCost + ScalarOpCost;
544 NewCost = VectorOpCost + CheapExtractCost + HasUseTax * CheapExtractCost;
548 OldCost = Extract0Cost + Extract1Cost + ScalarOpCost;
549 NewCost = VectorOpCost + CheapExtractCost +
554 ConvertToShuffle = getShuffleExtract(Ext0, Ext1, PreferredExtractIndex);
555 if (ConvertToShuffle) {
567 SmallVector<int> ShuffleMask(FixedVecTy->getNumElements(),
569 ShuffleMask[BestInsIndex] = BestExtIndex;
571 VecTy, VecTy,
CostKind, ShuffleMask, 0,
572 nullptr, {ConvertToShuffle});
575 VecTy, VecTy,
CostKind, {}, 0,
nullptr,
580 LLVM_DEBUG(
dbgs() <<
"Found a binop of extractions: " <<
I <<
"\n OldCost: "
581 << OldCost <<
" vs NewCost: " << NewCost <<
"\n");
586 return OldCost < NewCost;
598 ShufMask[NewIndex] = OldIndex;
599 return Builder.CreateShuffleVector(Vec, ShufMask,
"shift");
651 V1,
"foldExtExtBinop");
656 VecBOInst->copyIRFlags(&
I);
662bool VectorCombine::foldExtractExtract(Instruction &
I) {
683 unsigned NumElts = FixedVecTy->getNumElements();
684 if (C0 >= NumElts || C1 >= NumElts)
700 ExtractElementInst *ExtractToChange;
701 if (isExtractExtractCheap(Ext0, Ext1,
I, ExtractToChange, InsertIndex))
707 if (ExtractToChange) {
708 unsigned CheapExtractIdx = ExtractToChange == Ext0 ? C1 : C0;
713 if (ExtractToChange == Ext0)
722 ? foldExtExtCmp(ExtOp0, ExtOp1, ExtIndex,
I)
723 : foldExtExtBinop(ExtOp0, ExtOp1, ExtIndex,
I);
726 replaceValue(
I, *NewExt);
732bool VectorCombine::foldInsExtFNeg(Instruction &
I) {
750 auto *DstVecScalarTy = DstVecTy->getScalarType();
752 if (!SrcVecTy || DstVecScalarTy != SrcVecTy->getScalarType())
757 unsigned NumDstElts = DstVecTy->getNumElements();
758 unsigned NumSrcElts = SrcVecTy->getNumElements();
759 if (ExtIdx > NumSrcElts || InsIdx >= NumDstElts || NumDstElts == 1)
765 SmallVector<int>
Mask(NumDstElts);
766 std::iota(
Mask.begin(),
Mask.end(), 0);
767 Mask[InsIdx] = (ExtIdx % NumDstElts) + NumDstElts;
783 bool NeedLenChg = SrcVecTy->getNumElements() != NumDstElts;
786 SmallVector<int> SrcMask;
789 SrcMask[ExtIdx % NumDstElts] = ExtIdx;
791 DstVecTy, SrcVecTy,
CostKind, SrcMask);
795 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
797 if (NewCost > OldCost)
800 Value *NewShuf, *LenChgShuf =
nullptr;
814 replaceValue(
I, *NewShuf);
820bool VectorCombine::foldInsExtBinop(Instruction &
I) {
821 BinaryOperator *VecBinOp, *SclBinOp;
853 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
855 if (NewCost > OldCost)
866 NewInst->copyIRFlags(VecBinOp);
867 NewInst->andIRFlags(SclBinOp);
872 replaceValue(
I, *NewBO);
878bool VectorCombine::foldBitOpOfCastops(Instruction &
I) {
881 if (!BinOp || !BinOp->isBitwiseLogicOp())
887 if (!LHSCast || !RHSCast) {
888 LLVM_DEBUG(
dbgs() <<
" One or both operands are not cast instructions\n");
894 if (CastOpcode != RHSCast->getOpcode())
898 switch (CastOpcode) {
899 case Instruction::BitCast:
900 case Instruction::Trunc:
901 case Instruction::SExt:
902 case Instruction::ZExt:
908 Value *LHSSrc = LHSCast->getOperand(0);
909 Value *RHSSrc = RHSCast->getOperand(0);
915 auto *SrcTy = LHSSrc->
getType();
916 auto *DstTy =
I.getType();
919 if (CastOpcode != Instruction::BitCast &&
924 if (!SrcTy->getScalarType()->isIntegerTy() ||
925 !DstTy->getScalarType()->isIntegerTy())
940 LHSCastCost + RHSCastCost;
951 if (!LHSCast->hasOneUse())
952 NewCost += LHSCastCost;
953 if (!RHSCast->hasOneUse())
954 NewCost += RHSCastCost;
957 <<
" NewCost=" << NewCost <<
"\n");
959 if (NewCost > OldCost)
964 BinOp->getName() +
".inner");
966 NewBinOp->copyIRFlags(BinOp);
980 replaceValue(
I, *Result);
989bool VectorCombine::foldBitOpOfCastConstant(Instruction &
I) {
1005 switch (CastOpcode) {
1006 case Instruction::BitCast:
1007 case Instruction::ZExt:
1008 case Instruction::SExt:
1009 case Instruction::Trunc:
1015 Value *LHSSrc = LHSCast->getOperand(0);
1017 auto *SrcTy = LHSSrc->
getType();
1018 auto *DstTy =
I.getType();
1021 if (CastOpcode != Instruction::BitCast &&
1026 if (!SrcTy->getScalarType()->isIntegerTy() ||
1027 !DstTy->getScalarType()->isIntegerTy())
1031 PreservedCastFlags RHSFlags;
1056 if (!LHSCast->hasOneUse())
1057 NewCost += LHSCastCost;
1059 LLVM_DEBUG(
dbgs() <<
"foldBitOpOfCastConstant: OldCost=" << OldCost
1060 <<
" NewCost=" << NewCost <<
"\n");
1062 if (NewCost > OldCost)
1067 LHSSrc, InvC,
I.getName() +
".inner");
1069 NewBinOp->copyIRFlags(&
I);
1089 replaceValue(
I, *Result);
1096bool VectorCombine::foldBitcastShuffle(Instruction &
I) {
1110 if (!DestTy || !SrcTy)
1113 unsigned DestEltSize = DestTy->getScalarSizeInBits();
1114 unsigned SrcEltSize = SrcTy->getScalarSizeInBits();
1115 if (SrcTy->getPrimitiveSizeInBits() % DestEltSize != 0)
1125 if (!(BCTy0 && BCTy0->getElementType() == DestTy->getElementType()) &&
1126 !(BCTy1 && BCTy1->getElementType() == DestTy->getElementType()))
1130 SmallVector<int, 16> NewMask;
1131 if (DestEltSize <= SrcEltSize) {
1134 if (SrcEltSize % DestEltSize != 0)
1136 unsigned ScaleFactor = SrcEltSize / DestEltSize;
1141 if (DestEltSize % SrcEltSize != 0)
1143 unsigned ScaleFactor = DestEltSize / SrcEltSize;
1150 unsigned NumSrcElts = SrcTy->getPrimitiveSizeInBits() / DestEltSize;
1151 auto *NewShuffleTy =
1153 auto *OldShuffleTy =
1155 unsigned NumOps = IsUnary ? 1 : 2;
1165 TargetTransformInfo::CastContextHint::None,
1170 TargetTransformInfo::CastContextHint::None,
1173 LLVM_DEBUG(
dbgs() <<
"Found a bitcasted shuffle: " <<
I <<
"\n OldCost: "
1174 << OldCost <<
" vs NewCost: " << NewCost <<
"\n");
1176 if (NewCost > OldCost || !NewCost.
isValid())
1184 replaceValue(
I, *Shuf);
1191bool VectorCombine::scalarizeOpOrCmp(Instruction &
I) {
1196 if (!UO && !BO && !CI && !
II)
1204 if (Arg->getType() !=
II->getType() &&
1214 for (User *U :
I.users())
1221 std::optional<uint64_t>
Index;
1223 auto Ops =
II ?
II->args() :
I.operands();
1232 if (OpTy->getElementCount().getKnownMinValue() <= InsIdx)
1238 else if (InsIdx != *Index)
1255 if (!
Index.has_value())
1259 Type *ScalarTy = VecTy->getScalarType();
1260 assert(VecTy->isVectorTy() &&
1263 "Unexpected types for insert element into binop or cmp");
1265 unsigned Opcode =
I.getOpcode();
1273 }
else if (UO || BO) {
1277 IntrinsicCostAttributes ScalarICA(
1278 II->getIntrinsicID(), ScalarTy,
1281 IntrinsicCostAttributes VectorICA(
1282 II->getIntrinsicID(), VecTy,
1289 Value *NewVecC =
nullptr;
1291 NewVecC =
simplifyCmpInst(CI->getPredicate(), VecCs[0], VecCs[1], SQ);
1294 simplifyUnOp(UO->getOpcode(), VecCs[0], UO->getFastMathFlags(), SQ);
1296 NewVecC =
simplifyBinOp(BO->getOpcode(), VecCs[0], VecCs[1], SQ);
1310 for (
auto [Idx,
Op, VecC, Scalar] :
enumerate(
Ops, VecCs, ScalarOps)) {
1312 II->getIntrinsicID(), Idx, &
TTI)))
1315 Instruction::InsertElement, VecTy,
CostKind, *Index, VecC, Scalar);
1316 OldCost += InsertCost;
1317 NewCost += !
Op->hasOneUse() * InsertCost;
1321 if (OldCost < NewCost || !NewCost.
isValid())
1331 ++NumScalarIntrinsic;
1334 for (
auto [OpIdx, Scalar, VecC] :
enumerate(ScalarOps, VecCs))
1341 Scalar = Builder.
CreateCmp(CI->getPredicate(), ScalarOps[0], ScalarOps[1]);
1347 Scalar->setName(
I.getName() +
".scalar");
1352 ScalarInst->copyIRFlags(&
I);
1355 replaceValue(
I, *Insert);
1362bool VectorCombine::foldExtractedCmps(Instruction &
I) {
1367 if (!BI || !
I.getType()->isIntegerTy(1))
1372 Value *
B0 =
I.getOperand(0), *
B1 =
I.getOperand(1);
1375 CmpPredicate
P0,
P1;
1394 ExtractElementInst *ConvertToShuf = getShuffleExtract(Ext0, Ext1,
CostKind);
1397 assert((ConvertToShuf == Ext0 || ConvertToShuf == Ext1) &&
1398 "Unknown ExtractElementInst");
1403 unsigned CmpOpcode =
1409 if (Index0 >= VecTy->getNumElements() || Index1 >= VecTy->getNumElements())
1421 Ext0Cost + Ext1Cost + CmpCost * 2 +
1427 int CheapIndex = ConvertToShuf == Ext0 ? Index1 : Index0;
1428 int ExpensiveIndex = ConvertToShuf == Ext0 ? Index0 : Index1;
1433 ShufMask[CheapIndex] = ExpensiveIndex;
1438 NewCost += Ext0->
hasOneUse() ? 0 : Ext0Cost;
1439 NewCost += Ext1->
hasOneUse() ? 0 : Ext1Cost;
1444 if (OldCost < NewCost || !NewCost.
isValid())
1454 Value *
LHS = ConvertToShuf == Ext0 ? Shuf : VCmp;
1455 Value *
RHS = ConvertToShuf == Ext0 ? VCmp : Shuf;
1458 replaceValue(
I, *NewExt);
1485bool VectorCombine::foldSelectsFromBitcast(Instruction &
I) {
1492 if (!SrcVecTy || !DstVecTy)
1502 if (SrcEltBits != 32 && SrcEltBits != 64)
1505 if (!DstEltTy->
isIntegerTy() || DstEltBits >= SrcEltBits)
1522 if (!ScalarSelCost.
isValid() || ScalarSelCost == 0)
1525 unsigned MinSelects = (VecSelCost.
getValue() / ScalarSelCost.
getValue()) + 1;
1528 if (!BC->hasNUsesOrMore(MinSelects))
1533 DenseMap<Value *, SmallVector<SelectInst *, 8>> CondToSelects;
1535 for (User *U : BC->users()) {
1540 for (User *ExtUser : Ext->users()) {
1544 Cond->getType()->isIntegerTy(1))
1549 if (CondToSelects.
empty())
1552 bool MadeChange =
false;
1553 Value *SrcVec = BC->getOperand(0);
1556 for (
auto [
Cond, Selects] : CondToSelects) {
1558 if (Selects.size() < MinSelects) {
1559 LLVM_DEBUG(
dbgs() <<
"VectorCombine: foldSelectsFromBitcast not "
1560 <<
"profitable (VecCost=" << VecSelCost
1561 <<
", ScalarCost=" << ScalarSelCost
1562 <<
", NumSelects=" << Selects.size() <<
")\n");
1567 auto InsertPt = std::next(BC->getIterator());
1571 InsertPt = std::next(CondInst->getIterator());
1579 for (SelectInst *Sel : Selects) {
1581 Value *Idx = Ext->getIndexOperand();
1585 replaceValue(*Sel, *NewExt);
1590 <<
" selects into vector select\n");
1604 unsigned ReductionOpc =
1610 CostBeforeReduction =
1611 TTI.getCastInstrCost(RedOp->getOpcode(), VecRedTy, ExtType,
1613 CostAfterReduction =
1614 TTI.getExtendedReductionCost(ReductionOpc, IsUnsigned,
II.getType(),
1618 if (RedOp &&
II.getIntrinsicID() == Intrinsic::vector_reduce_add &&
1624 (Op0->
getOpcode() == RedOp->getOpcode() || Op0 == Op1)) {
1631 TTI.getCastInstrCost(Op0->
getOpcode(), MulType, ExtType,
1634 TTI.getArithmeticInstrCost(Instruction::Mul, MulType,
CostKind);
1636 TTI.getCastInstrCost(RedOp->getOpcode(), VecRedTy, MulType,
1639 CostBeforeReduction = ExtCost * 2 + MulCost + Ext2Cost;
1640 CostAfterReduction =
TTI.getMulAccReductionCost(
1641 IsUnsigned, ReductionOpc,
II.getType(), ExtType,
CostKind);
1644 CostAfterReduction =
TTI.getArithmeticReductionCost(ReductionOpc, VecRedTy,
1648bool VectorCombine::foldBinopOfReductions(Instruction &
I) {
1651 if (BinOpOpc == Instruction::Sub)
1652 ReductionIID = Intrinsic::vector_reduce_add;
1656 if (ReductionIID == Intrinsic::vector_reduce_fadd ||
1657 ReductionIID == Intrinsic::vector_reduce_fmul)
1660 auto checkIntrinsicAndGetItsArgument = [](
Value *
V,
1665 if (
II->getIntrinsicID() == IID &&
II->hasOneUse())
1666 return II->getArgOperand(0);
1670 Value *V0 = checkIntrinsicAndGetItsArgument(
I.getOperand(0), ReductionIID);
1673 Value *
V1 = checkIntrinsicAndGetItsArgument(
I.getOperand(1), ReductionIID);
1678 if (
V1->getType() != VTy)
1682 unsigned ReductionOpc =
1695 CostOfRedOperand0 + CostOfRedOperand1 +
1698 if (NewCost >= OldCost || !NewCost.
isValid())
1702 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
1705 if (BinOpOpc == Instruction::Or)
1712 replaceValue(
I, *Rdx);
1721 unsigned NumScanned = 0;
1722 if (std::any_of(Begin, End, [&](
const Instruction &Instr) {
1736class ScalarizationResult {
1737 enum class StatusTy { Unsafe, Safe, SafeWithFreeze };
1742 ScalarizationResult(StatusTy Status,
Value *ToFreeze =
nullptr)
1743 : Status(Status), ToFreeze(ToFreeze) {}
1746 ScalarizationResult(
const ScalarizationResult &
Other) =
default;
1747 ~ScalarizationResult() {
1748 assert(!ToFreeze &&
"freeze() not called with ToFreeze being set");
1751 static ScalarizationResult unsafe() {
return {StatusTy::Unsafe}; }
1752 static ScalarizationResult safe() {
return {StatusTy::Safe}; }
1753 static ScalarizationResult safeWithFreeze(
Value *ToFreeze) {
1754 return {StatusTy::SafeWithFreeze, ToFreeze};
1758 bool isSafe()
const {
return Status == StatusTy::Safe; }
1760 bool isUnsafe()
const {
return Status == StatusTy::Unsafe; }
1763 bool isSafeWithFreeze()
const {
return Status == StatusTy::SafeWithFreeze; }
1768 Status = StatusTy::Unsafe;
1772 void freeze(IRBuilderBase &Builder, Instruction &UserI) {
1773 assert(isSafeWithFreeze() &&
1774 "should only be used when freezing is required");
1776 "UserI must be a user of ToFreeze");
1777 IRBuilder<>::InsertPointGuard Guard(Builder);
1782 if (
U.get() == ToFreeze)
1797 uint64_t NumElements = VecTy->getElementCount().getKnownMinValue();
1801 if (
C->getValue().ult(NumElements))
1802 return ScalarizationResult::safe();
1803 return ScalarizationResult::unsafe();
1808 return ScalarizationResult::unsafe();
1810 APInt Zero(IntWidth, 0);
1811 APInt MaxElts(IntWidth, NumElements);
1818 return ScalarizationResult::safe();
1819 return ScalarizationResult::unsafe();
1832 if (ValidIndices.
contains(IdxRange))
1833 return ScalarizationResult::safeWithFreeze(IdxBase);
1834 return ScalarizationResult::unsafe();
1854 unsigned GEPBits = GEPIndexTy->getBitWidth();
1855 uint64_t NumElements = VecTy->getElementCount().getKnownMinValue();
1857 uint64_t MaxLane = NumElements - 1;
1859 if (
C->getValue().uge(NumElements))
1861 MaxLane =
C->getZExtValue();
1864 Type *ElemTy = VecTy->getElementType();
1865 if (!
DL.typeSizeEqualsStoreSize(ElemTy))
1868 TypeSize ElemStride =
DL.getTypeStoreSize(ElemTy);
1885 unsigned WideBits = std::max(GEPBits, 128u);
1886 APInt MaxLaneValue(WideBits, MaxLane);
1887 APInt ByteOffset = MaxLaneValue;
1892 if (ByteOffset.
ugt(MaxGEPOffset))
1905 if (SrcBits >= DstBits)
1908 return Builder.CreateZExt(Idx, GEPIndexTy, Idx->
getName() +
".gepidx");
1920 C->getZExtValue() *
DL.getTypeStoreSize(ScalarType));
1957bool VectorCombine::foldInsertElementsToStores(Instruction &
I) {
1972 if (!
Insert->hasOneUse())
1976 InsertElements.
push_back({InsertVal, Idx});
1980 if (InsertElements.
empty())
1985 std::reverse(InsertElements.
begin(), InsertElements.
end());
1994 if (InsertElements.
size() == FVT->getNumElements()) {
1995 Value *FirstVal = InsertElements.
front().first;
1996 if (
all_of(InsertElements,
1997 [FirstVal](
const auto &Elt) {
return Elt.first == FirstVal; }))
2001 Value *SrcAddr =
Load->getPointerOperand()->stripPointerCasts();
2006 if (!
Load->isSimple() ||
Load->getParent() !=
SI->getParent() ||
2007 !
DL->typeSizeEqualsStoreSize(
Load->getType()->getScalarType()) ||
2008 SrcAddr !=
SI->getPointerOperand()->stripPointerCasts())
2018 for (
auto [InsertVal, Idx] : InsertElements) {
2019 auto ScalarizableIdx =
2021 if (ScalarizableIdx.isUnsafe())
2027 ScalarizableIdx.discard();
2033 ScalarizableIdx.discard();
2037 Instruction::Store,
SI->getValueOperand()->getType(),
SI->getAlign(),
2040 if (
Load->hasOneUse())
2045 for (
auto [InsertVal, Idx] : InsertElements) {
2048 Index = CIdx->getZExtValue();
2059 for (
auto [InsertVal, Idx] : InsertElements) {
2062 const Value *GEPIndices[] = {ConstantInt::get(Idx->
getType(), 0), Idx};
2067 for (
auto [InsertVal, Idx] : InsertElements) {
2069 std::max(
SI->getAlign(),
Load->getAlign()), InsertVal->
getType(), Idx,
2077 LLVM_DEBUG(
dbgs() <<
"Found an insert-elements vector store scalarization "
2080 <<
" NumInserts: " << InsertElements.size() <<
"\n"
2081 <<
" OldCost: " << OldCost <<
" vs NewCost: " << NewCost
2084 if (OldCost <= NewCost)
2087 for (
auto [InsertVal, Idx] : InsertElements) {
2088 auto ScalarizableIdx =
2090 assert(!ScalarizableIdx.isUnsafe() &&
"already checked above");
2092 if (ScalarizableIdx.isSafeWithFreeze())
2097 StoreInst *LastStore =
nullptr;
2098 for (
auto [InsertVal, Idx] : InsertElements) {
2099 auto ScalarizableIdx =
2101 if (ScalarizableIdx.isUnsafe())
2104 IntegerType *GEPIndexTy =
2109 SI->getValueOperand()->getType(),
SI->getPointerOperand(),
2110 {ConstantInt::get(GEPIdx->getType(), 0), GEPIdx});
2117 LastStore->
setMetadata(LLVMContext::MD_invariant_group,
nullptr);
2119 std::max(
SI->getAlign(),
Load->getAlign()), InsertVal->
getType(), Idx,
2124 replaceValue(
I, *LastStore);
2131bool VectorCombine::scalarizeLoad(Instruction &
I) {
2141 if (!LI->isSimple() || !
DL->typeSizeEqualsStoreSize(VecTy->getScalarType()))
2144 bool AllExtracts =
true;
2145 bool AllBitcasts =
true;
2147 unsigned NumInstChecked = 0;
2152 for (User *U : LI->users()) {
2154 if (!UI || UI->getParent() != LI->getParent())
2159 if (UI->use_empty())
2163 AllExtracts =
false;
2165 AllBitcasts =
false;
2169 for (Instruction &
I :
2170 make_range(std::next(LI->getIterator()), UI->getIterator())) {
2177 LastCheckedInst = UI;
2182 return scalarizeLoadExtract(LI, VecTy, Ptr);
2184 return scalarizeLoadBitcast(LI, VecTy, Ptr);
2189bool VectorCombine::scalarizeLoadExtract(LoadInst *LI, VectorType *VecTy,
2194 DenseMap<ExtractElementInst *, ScalarizationResult> NeedFreeze;
2195 DenseMap<ExtractElementInst *, IntegerType *> GEPIndexInfos;
2198 for (
auto &Pair : NeedFreeze)
2199 Pair.second.discard();
2207 for (User *U : LI->
users()) {
2212 if (ScalarIdx.isUnsafe())
2218 ScalarIdx.discard();
2224 if (ScalarIdx.isSafeWithFreeze()) {
2225 NeedFreeze.try_emplace(UI, ScalarIdx);
2226 ScalarIdx.discard();
2232 Index ?
Index->getZExtValue() : -1);
2238 if (!Index && UI->getIndexOperand()->getType()->getIntegerBitWidth() <
2241 Instruction::ZExt, GEPIndex, UI->getIndexOperand()->getType(),
2245 LLVM_DEBUG(
dbgs() <<
"Found all extractions of a vector load: " << *LI
2246 <<
"\n LoadExtractCost: " << OriginalCost
2247 <<
" vs ScalarizedCost: " << ScalarizedCost <<
"\n");
2249 if (ScalarizedCost >= OriginalCost)
2256 Type *ElemType = VecTy->getElementType();
2259 for (User *U : LI->
users()) {
2261 Value *Idx = EI->getIndexOperand();
2264 if (
auto It = NeedFreeze.find(EI); It != NeedFreeze.end())
2268 auto It = GEPIndexInfos.
find(EI);
2270 "Missing scalarized GEP index information");
2273 VecTy, Ptr, {ConstantInt::get(GEPIdx->
getType(), 0), GEPIdx});
2275 Builder.
CreateLoad(ElemType,
GEP, EI->getName() +
".scalar"));
2277 Align ScalarOpAlignment =
2279 NewLoad->setAlignment(ScalarOpAlignment);
2282 size_t Offset = ConstIdx->getZExtValue() *
DL->getTypeStoreSize(ElemType);
2287 replaceValue(*EI, *NewLoad,
false);
2290 FailureGuard.release();
2295bool VectorCombine::scalarizeLoadBitcast(LoadInst *LI, VectorType *VecTy,
2301 Type *TargetScalarType =
nullptr;
2302 unsigned VecBitWidth =
DL->getTypeSizeInBits(VecTy);
2304 for (User *U : LI->
users()) {
2307 Type *DestTy = BC->getDestTy();
2311 unsigned DestBitWidth =
DL->getTypeSizeInBits(DestTy);
2312 if (DestBitWidth != VecBitWidth)
2316 if (!TargetScalarType)
2317 TargetScalarType = DestTy;
2318 else if (TargetScalarType != DestTy)
2326 if (!TargetScalarType)
2334 LLVM_DEBUG(
dbgs() <<
"Found vector load feeding only bitcasts: " << *LI
2335 <<
"\n OriginalCost: " << OriginalCost
2336 <<
" vs ScalarizedCost: " << ScalarizedCost <<
"\n");
2338 if (ScalarizedCost >= OriginalCost)
2349 ScalarLoad->copyMetadata(*LI);
2352 for (User *U : LI->
users()) {
2354 replaceValue(*BC, *ScalarLoad,
false);
2360bool VectorCombine::scalarizeExtExtract(Instruction &
I) {
2375 Type *ScalarDstTy = DstTy->getElementType();
2376 if (
DL->getTypeSizeInBits(SrcTy) !=
DL->getTypeSizeInBits(ScalarDstTy))
2382 unsigned ExtCnt = 0;
2383 bool ExtLane0 =
false;
2384 for (User *U : Ext->users()) {
2390 if (Idx >= SrcTy->getNumElements())
2402 Instruction::And, ScalarDstTy,
CostKind,
2405 (ExtCnt - ExtLane0) *
2407 Instruction::LShr, ScalarDstTy,
CostKind,
2410 if (ScalarCost > VectorCost)
2413 Value *ScalarV = Ext->getOperand(0);
2420 SmallDenseSet<ConstantInt *, 8> ExtractedLanes;
2421 bool AllExtractsTriggerUB =
true;
2422 ExtractElementInst *LastExtract =
nullptr;
2424 for (User *U : Ext->users()) {
2427 AllExtractsTriggerUB =
false;
2431 if (!LastExtract || LastExtract->
comesBefore(Extract))
2432 LastExtract = Extract;
2434 if (ExtractedLanes.
size() != DstTy->getNumElements() ||
2435 !AllExtractsTriggerUB ||
2443 uint64_t SrcEltSizeInBits =
DL->getTypeSizeInBits(SrcTy->getElementType());
2444 uint64_t TotalBits =
DL->getTypeSizeInBits(SrcTy);
2447 Value *
Mask = ConstantInt::get(PackedTy, EltBitMask);
2448 for (User *U : Ext->users()) {
2454 ? (TotalBits - SrcEltSizeInBits - Idx * SrcEltSizeInBits)
2455 : (Idx * SrcEltSizeInBits);
2458 U->replaceAllUsesWith(
And);
2466bool VectorCombine::foldConcatOfBoolMasks(Instruction &
I) {
2467 Type *Ty =
I.getType();
2472 if (
DL->isBigEndian())
2499 if (ShAmtX > ShAmtY) {
2507 uint64_t ShAmtDiff = ShAmtY - ShAmtX;
2508 unsigned NumSHL = (ShAmtX > 0) + (ShAmtY > 0);
2513 MaskTy->getNumElements() != ShAmtDiff ||
2514 MaskTy->getNumElements() > (
BitWidth / 2))
2519 Type::getIntNTy(Ty->
getContext(), ConcatTy->getNumElements());
2520 auto *MaskIntTy = Type::getIntNTy(Ty->
getContext(), ShAmtDiff);
2523 std::iota(ConcatMask.begin(), ConcatMask.end(), 0);
2540 if (Ty != ConcatIntTy)
2546 LLVM_DEBUG(
dbgs() <<
"Found a concatenation of bitcasted bool masks: " <<
I
2547 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
2550 if (NewCost > OldCost)
2560 if (Ty != ConcatIntTy) {
2570 replaceValue(
I, *Result);
2576bool VectorCombine::foldPermuteOfBinops(Instruction &
I) {
2577 BinaryOperator *BinOp;
2578 ArrayRef<int> OuterMask;
2586 Value *Op00, *Op01, *Op10, *Op11;
2587 ArrayRef<int> Mask0, Mask1;
2592 if (!Match0 && !Match1)
2605 if (!ShuffleDstTy || !BinOpTy || !Op0Ty || !Op1Ty)
2608 unsigned NumSrcElts = BinOpTy->getNumElements();
2613 any_of(OuterMask, [NumSrcElts](
int M) {
return M >= (int)NumSrcElts; }))
2617 SmallVector<int> NewMask0, NewMask1;
2618 for (
int M : OuterMask) {
2619 if (M < 0 || M >= (
int)NumSrcElts) {
2623 NewMask0.
push_back(Match0 ? Mask0[M] : M);
2624 NewMask1.
push_back(Match1 ? Mask1[M] : M);
2628 unsigned NumOpElts = Op0Ty->getNumElements();
2629 bool IsIdentity0 = ShuffleDstTy == Op0Ty &&
2630 all_of(NewMask0, [NumOpElts](
int M) {
return M < (int)NumOpElts; }) &&
2632 bool IsIdentity1 = ShuffleDstTy == Op1Ty &&
2633 all_of(NewMask1, [NumOpElts](
int M) {
return M < (int)NumOpElts; }) &&
2642 ShuffleDstTy, BinOpTy,
CostKind, OuterMask,
2643 0,
nullptr, {BinOp}, &
I);
2645 NewCost += BinOpCost;
2651 OldCost += Shuf0Cost;
2653 NewCost += Shuf0Cost;
2659 OldCost += Shuf1Cost;
2661 NewCost += Shuf1Cost;
2669 Op0Ty,
CostKind, NewMask0, 0,
nullptr, {Op00, Op01});
2673 Op1Ty,
CostKind, NewMask1, 0,
nullptr, {Op10, Op11});
2675 LLVM_DEBUG(
dbgs() <<
"Found a shuffle feeding a shuffled binop: " <<
I
2676 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
2680 if (NewCost > OldCost)
2691 NewInst->copyIRFlags(BinOp);
2695 replaceValue(
I, *NewBO);
2701bool VectorCombine::foldShuffleOfBinops(Instruction &
I) {
2702 ArrayRef<int> OldMask;
2709 if (
LHS->getOpcode() !=
RHS->getOpcode())
2713 bool IsCommutative =
false;
2722 IsCommutative = BinaryOperator::isCommutative(BO->getOpcode());
2733 if (!ShuffleDstTy || !BinResTy || !BinOpTy ||
X->getType() !=
Z->getType())
2736 bool SameBinOp =
LHS ==
RHS;
2737 unsigned NumSrcElts = BinOpTy->getNumElements();
2740 if (IsCommutative &&
X != Z &&
Y != W && (
X == W ||
Y == Z))
2743 auto ConvertToUnary = [NumSrcElts](
int &
M) {
2744 if (M >= (
int)NumSrcElts)
2748 SmallVector<int> NewMask0(OldMask);
2757 SmallVector<int> NewMask1(OldMask);
2776 ShuffleDstTy, BinResTy,
CostKind, OldMask, 0,
2786 ArrayRef<int> InnerMask;
2788 m_Mask(InnerMask)))) &&
2791 [NumSrcElts](
int M) {
return M < (int)NumSrcElts; })) {
2803 bool ReducedInstCount =
false;
2804 ReducedInstCount |= MergeInner(
X, 0, NewMask0,
CostKind);
2805 ReducedInstCount |= MergeInner(
Y, 0, NewMask1,
CostKind);
2806 ReducedInstCount |= MergeInner(Z, NumSrcElts, NewMask0,
CostKind);
2807 ReducedInstCount |= MergeInner(W, NumSrcElts, NewMask1,
CostKind);
2808 bool SingleSrcBinOp = (
X ==
Y) && (Z == W) && (NewMask0 == NewMask1);
2820 I.getType()->getScalarType()->isIntegerTy(1) &&
2824 auto *ShuffleCmpTy =
2827 SK0, ShuffleCmpTy, BinOpTy,
CostKind, NewMask0, 0,
nullptr, {
X,
Z});
2828 if (!SingleSrcBinOp)
2830 NewMask1, 0,
nullptr, {
Y,
W});
2838 PredLHS,
CostKind, Op0Info, Op1Info);
2848 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
2855 if (ReducedInstCount ? (NewCost > OldCost) : (NewCost >= OldCost))
2864 : Builder.
CreateCmp(PredLHS, Shuf0, Shuf1);
2868 NewInst->copyIRFlags(
LHS);
2869 NewInst->andIRFlags(
RHS);
2874 replaceValue(
I, *NewBO);
2881bool VectorCombine::foldShuffleOfSelects(Instruction &
I) {
2883 Value *C1, *
T1, *F1, *C2, *T2, *F2;
2894 if (!C1VecTy || !C2VecTy || C1VecTy != C2VecTy)
2900 if (((SI0FOp ==
nullptr) != (SI1FOp ==
nullptr)) ||
2901 ((SI0FOp !=
nullptr) &&
2902 (SI0FOp->getFastMathFlags() != SI1FOp->getFastMathFlags())))
2908 auto SelOp = Instruction::Select;
2916 CostSel1 + CostSel2 +
2918 {
I.getOperand(0),
I.getOperand(1)}, &
I);
2922 CostKind, Mask, 0,
nullptr, {C1, C2});
2932 if (!Sel1->hasOneUse())
2933 NewCost += CostSel1;
2934 if (!Sel2->hasOneUse())
2935 NewCost += CostSel2;
2938 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
2940 if (NewCost > OldCost)
2949 NewSel = Builder.
CreateSelectFMF(ShuffleCmp, ShuffleTrue, ShuffleFalse,
2950 SI0FOp->getFastMathFlags());
2952 NewSel = Builder.
CreateSelect(ShuffleCmp, ShuffleTrue, ShuffleFalse);
2957 replaceValue(
I, *NewSel);
2963bool VectorCombine::foldShuffleOfCastops(Instruction &
I) {
2965 ArrayRef<int> OldMask;
2974 if (!C0 || (IsBinaryShuffle && !C1))
2981 if (!IsBinaryShuffle && Opcode == Instruction::BitCast)
2984 if (IsBinaryShuffle) {
2985 if (C0->getSrcTy() != C1->getSrcTy())
2988 if (Opcode != C1->getOpcode()) {
2990 Opcode = Instruction::SExt;
2999 if (!ShuffleDstTy || !CastDstTy || !CastSrcTy)
3002 unsigned NumSrcElts = CastSrcTy->getNumElements();
3003 unsigned NumDstElts = CastDstTy->getNumElements();
3004 assert((NumDstElts == NumSrcElts || Opcode == Instruction::BitCast) &&
3005 "Only bitcasts expected to alter src/dst element counts");
3009 if (NumDstElts != NumSrcElts && (NumSrcElts % NumDstElts) != 0 &&
3010 (NumDstElts % NumSrcElts) != 0)
3013 SmallVector<int, 16> NewMask;
3014 if (NumSrcElts >= NumDstElts) {
3017 assert(NumSrcElts % NumDstElts == 0 &&
"Unexpected shuffle mask");
3018 unsigned ScaleFactor = NumSrcElts / NumDstElts;
3023 assert(NumDstElts % NumSrcElts == 0 &&
"Unexpected shuffle mask");
3024 unsigned ScaleFactor = NumDstElts / NumSrcElts;
3029 auto *NewShuffleDstTy =
3038 if (IsBinaryShuffle)
3045 OldMask, 0,
nullptr, {}, &
I);
3053 if (IsBinaryShuffle) {
3063 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
3065 if (NewCost > OldCost)
3069 if (IsBinaryShuffle)
3079 NewInst->copyIRFlags(C0);
3080 if (IsBinaryShuffle)
3081 NewInst->andIRFlags(C1);
3085 replaceValue(
I, *Cast);
3095bool VectorCombine::foldShuffleOfShuffles(Instruction &
I) {
3096 ArrayRef<int> OuterMask;
3097 Value *OuterV0, *OuterV1;
3102 ArrayRef<int> InnerMask0, InnerMask1;
3103 Value *X0, *X1, *Y0, *Y1;
3108 if (!Match0 && !Match1)
3113 SmallVector<int, 16> PoisonMask1;
3118 InnerMask1 = PoisonMask1;
3122 X0 = Match0 ? X0 : OuterV0;
3123 Y0 = Match0 ? Y0 : OuterV0;
3124 X1 = Match1 ? X1 : OuterV1;
3125 Y1 = Match1 ? Y1 : OuterV1;
3129 if (!ShuffleDstTy || !ShuffleSrcTy || !ShuffleImmTy ||
3133 unsigned NumSrcElts = ShuffleSrcTy->getNumElements();
3134 unsigned NumImmElts = ShuffleImmTy->getNumElements();
3139 SmallVector<int, 16> NewMask(OuterMask);
3140 Value *NewX =
nullptr, *NewY =
nullptr;
3141 for (
int &M : NewMask) {
3142 Value *Src =
nullptr;
3143 if (0 <= M && M < (
int)NumImmElts) {
3147 Src =
M >= (int)NumSrcElts ? Y0 : X0;
3148 M =
M >= (int)NumSrcElts ? (M - NumSrcElts) :
M;
3150 }
else if (M >= (
int)NumImmElts) {
3155 Src =
M >= (int)NumSrcElts ? Y1 : X1;
3156 M =
M >= (int)NumSrcElts ? (M - NumSrcElts) :
M;
3160 assert(0 <= M && M < (
int)NumSrcElts &&
"Unexpected shuffle mask index");
3169 if (!NewX || NewX == Src) {
3173 if (!NewY || NewY == Src) {
3192 replaceValue(
I, *NewX);
3209 bool IsUnary =
all_of(NewMask, [&](
int M) {
return M < (int)NumSrcElts; });
3215 nullptr, {NewX, NewY});
3217 NewCost += InnerCost0;
3219 NewCost += InnerCost1;
3222 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
3224 if (NewCost > OldCost)
3228 replaceValue(
I, *Shuf);
3244bool VectorCombine::foldShufflesOfLengthChangingShuffles(Instruction &
I) {
3249 unsigned ChainLength = 0;
3250 SmallVector<int>
Mask;
3251 SmallVector<int> YMask;
3261 ArrayRef<int> OuterMask;
3262 Value *OuterV0, *OuterV1;
3263 if (ChainLength != 0 && !Trunk->
hasOneUse())
3266 m_Mask(OuterMask))))
3268 if (OuterV0->
getType() != TrunkType) {
3274 ArrayRef<int> InnerMask0, InnerMask1;
3280 bool Match0Leaf = Match0 && A0->
getType() !=
I.getType();
3281 bool Match1Leaf = Match1 && A1->
getType() !=
I.getType();
3282 if (Match0Leaf == Match1Leaf) {
3288 SmallVector<int> CommutedOuterMask;
3295 for (
int &M : CommutedOuterMask) {
3298 if (M < (
int)NumTrunkElts)
3303 OuterMask = CommutedOuterMask;
3322 int NumLeafElts = YType->getNumElements();
3323 SmallVector<int> LocalYMask(InnerMask1);
3324 for (
int &M : LocalYMask) {
3325 if (M >= NumLeafElts)
3335 Mask.assign(OuterMask);
3336 YMask.
assign(LocalYMask);
3337 OldCost = NewCost = LocalOldCost;
3344 SmallVector<int> NewYMask(YMask);
3346 for (
auto [CombinedM, LeafM] :
llvm::zip(NewYMask, LocalYMask)) {
3347 if (LeafM == -1 || CombinedM == LeafM)
3349 if (CombinedM == -1) {
3359 SmallVector<int> NewMask;
3360 NewMask.
reserve(NumTrunkElts);
3361 for (
int M : Mask) {
3362 if (M < 0 || M >=
static_cast<int>(NumTrunkElts))
3377 if (LocalNewCost >= NewCost && LocalOldCost < LocalNewCost - NewCost)
3381 if (ChainLength == 1) {
3382 dbgs() <<
"Found chain of shuffles fed by length-changing shuffles: "
3385 dbgs() <<
" next chain link: " << *Trunk <<
'\n'
3386 <<
" old cost: " << (OldCost + LocalOldCost)
3387 <<
" new cost: " << LocalNewCost <<
'\n';
3392 OldCost += LocalOldCost;
3393 NewCost = LocalNewCost;
3397 if (ChainLength <= 1)
3405 return M < 0 || M >=
static_cast<int>(NumTrunkElts);
3408 for (
int &M : Mask) {
3409 if (M >=
static_cast<int>(NumTrunkElts))
3410 M = YMask[
M - NumTrunkElts];
3414 replaceValue(
I, *Root);
3421 replaceValue(
I, *Root);
3427bool VectorCombine::foldShuffleOfIntrinsics(Instruction &
I) {
3429 ArrayRef<int> OldMask;
3439 if (IID != II1->getIntrinsicID())
3448 if (!ShuffleDstTy || !II0Ty)
3454 for (
unsigned I = 0,
E = II0->arg_size();
I !=
E; ++
I) {
3455 Value *Arg0 = II0->getArgOperand(
I);
3456 Value *Arg1 = II1->getArgOperand(
I);
3473 II0Ty,
CostKind, OldMask, 0,
nullptr, {II0, II1}, &
I);
3477 SmallDenseSet<std::pair<Value *, Value *>> SeenOperandPairs;
3478 for (
unsigned I = 0,
E = II0->arg_size();
I !=
E; ++
I) {
3480 NewArgsTy.
push_back(II0->getArgOperand(
I)->getType());
3484 ShuffleDstTy->getNumElements());
3486 std::pair<Value *, Value *> OperandPair =
3487 std::make_pair(II0->getArgOperand(
I), II1->getArgOperand(
I));
3488 if (!SeenOperandPairs.
insert(OperandPair).second) {
3494 OldMask, 0,
nullptr, {II0->getArgOperand(
I), II1->getArgOperand(
I)});
3497 IntrinsicCostAttributes NewAttr(IID, ShuffleDstTy, NewArgsTy);
3500 if (!II0->hasOneUse())
3502 if (II1 != II0 && !II1->hasOneUse())
3506 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
3509 if (NewCost > OldCost)
3513 SmallDenseMap<std::pair<Value *, Value *>,
Value *> ShuffleCache;
3514 for (
unsigned I = 0,
E = II0->arg_size();
I !=
E; ++
I)
3518 std::pair<Value *, Value *> OperandPair =
3519 std::make_pair(II0->getArgOperand(
I), II1->getArgOperand(
I));
3520 auto It = ShuffleCache.
find(OperandPair);
3521 if (It != ShuffleCache.
end()) {
3527 II1->getArgOperand(
I), OldMask);
3528 ShuffleCache[OperandPair] = Shuf;
3536 NewInst->copyIRFlags(II0);
3537 NewInst->andIRFlags(II1);
3540 replaceValue(
I, *NewIntrinsic);
3546bool VectorCombine::foldPermuteOfIntrinsic(Instruction &
I) {
3558 if (!ShuffleDstTy || !IntrinsicSrcTy)
3562 unsigned NumSrcElts = IntrinsicSrcTy->getNumElements();
3563 if (
any_of(Mask, [NumSrcElts](
int M) {
return M >= (int)NumSrcElts; }))
3576 IntrinsicSrcTy,
CostKind, Mask, 0,
nullptr, {V0}, &
I);
3580 for (
unsigned I = 0,
E = II0->arg_size();
I !=
E; ++
I) {
3582 NewArgsTy.
push_back(II0->getArgOperand(
I)->getType());
3586 ShuffleDstTy->getNumElements());
3589 ArgTy, VecTy,
CostKind, Mask, 0,
nullptr,
3590 {II0->getArgOperand(
I)});
3593 IntrinsicCostAttributes NewAttr(IID, ShuffleDstTy, NewArgsTy);
3598 if (!II0->hasOneUse())
3601 LLVM_DEBUG(
dbgs() <<
"Found a permute of intrinsic: " <<
I <<
"\n OldCost: "
3602 << OldCost <<
" vs NewCost: " << NewCost <<
"\n");
3604 if (NewCost > OldCost)
3609 for (
unsigned I = 0,
E = II0->arg_size();
I !=
E; ++
I) {
3622 NewInst->copyIRFlags(II0);
3624 replaceValue(
I, *NewIntrinsic);
3634 int M = SV->getMaskValue(Lane);
3637 if (
static_cast<unsigned>(M) < NumElts) {
3638 V = SV->getOperand(0);
3641 V = SV->getOperand(1);
3652 auto [U, Lane] = IL;
3665 unsigned NumElts = Ty->getNumElements();
3666 if (Item.
size() == NumElts || NumElts == 1 || Item.
size() % NumElts != 0)
3672 std::iota(ConcatMask.
begin(), ConcatMask.
end(), 0);
3678 unsigned NumSlices = Item.
size() / NumElts;
3683 for (
unsigned Slice = 0; Slice < NumSlices; ++Slice) {
3684 Value *SliceV = Item[Slice * NumElts].first;
3685 if (!SliceV || SliceV->
getType() != Ty)
3687 for (
unsigned Elt = 0; Elt < NumElts; ++Elt) {
3688 auto [V, Lane] = Item[Slice * NumElts + Elt];
3689 if (Lane !=
static_cast<int>(Elt) || SliceV != V)
3698 const DenseSet<std::pair<Value *, Use *>> &IdentityLeafs,
3699 const DenseSet<std::pair<Value *, Use *>> &SplatLeafs,
3700 const DenseSet<std::pair<Value *, Use *>> &ConcatLeafs,
3703 auto [FrontV, FrontLane] = Item.
front();
3705 if (IdentityLeafs.contains(std::make_pair(FrontV, From))) {
3708 if (SplatLeafs.contains(std::make_pair(FrontV, From))) {
3710 return Builder.CreateShuffleVector(FrontV, Mask);
3712 if (ConcatLeafs.contains(std::make_pair(FrontV, From))) {
3716 for (
unsigned S = 0; S <
Values.size(); ++S)
3717 Values[S] = Item[S * NumElts].first;
3719 while (
Values.size() > 1) {
3722 std::iota(Mask.begin(), Mask.end(), 0);
3724 for (
unsigned S = 0; S < NewValues.
size(); ++S)
3726 Builder.CreateShuffleVector(
Values[S * 2],
Values[S * 2 + 1], Mask);
3740 if (BCDstTy && BCSrcTy &&
3741 BCDstTy->getElementCount() != BCSrcTy->getElementCount()) {
3742 unsigned DstElts = BCDstTy->getNumElements();
3743 unsigned SrcElts = BCSrcTy->getNumElements();
3745 if (DstElts > SrcElts) {
3747 unsigned R = DstElts / SrcElts;
3748 if (Item.
size() % R != 0)
3750 for (
unsigned Idx = 0,
E = Item.
size(); Idx <
E; Idx += R) {
3751 auto [V, Lane] = Item[Idx];
3761 unsigned R = SrcElts / DstElts;
3762 for (
auto [V, Lane] : Item) {
3768 for (
unsigned J = 0; J < R; ++J)
3773 IdentityLeafs, SplatLeafs, ConcatLeafs,
3774 Builder, WorkList,
TTI);
3776 return Builder.CreateBitCast(
3781 unsigned NumOps =
I->getNumOperands() - (
II ? 1 : 0);
3783 for (
unsigned Idx = 0; Idx <
NumOps; Idx++) {
3786 Ops[Idx] =
II->getOperand(Idx);
3791 IdentityLeafs, SplatLeafs, ConcatLeafs, Builder, WorkList,
TTI);
3801 for (
const auto &Lane : Item)
3814 auto *
Value = Builder.CreateCmp(CI->getPredicate(),
Ops[0],
Ops[1]);
3824 auto *
Value = Builder.CreateCast(CI->getOpcode(),
Ops[0], DstTy);
3829 auto *
Value = Builder.CreateIntrinsic(DstTy,
II->getIntrinsicID(),
Ops);
3843bool VectorCombine::foldShuffleToIdentity(Instruction &
I) {
3845 if (!Ty ||
I.use_empty())
3849 for (
unsigned M = 0,
E = Ty->getNumElements(); M <
E; ++M)
3853 Candidates.
push_back(std::make_pair(Start, &*
I.use_begin()));
3854 DenseSet<std::pair<Value *, Use *>> IdentityLeafs, SplatLeafs, ConcatLeafs;
3855 unsigned NumVisited = 0;
3856 bool TraversedElCountChangingBitcast =
false;
3858 while (!Candidates.
empty()) {
3863 auto Item = ItemFrom.first;
3864 auto From = ItemFrom.second;
3865 auto [FrontV, FrontLane] = Item.front();
3872 if (FrontLane == 0 &&
3876 Value *FrontV = Item.front().first;
3878 E.value().second == (int)
E.index());
3880 IdentityLeafs.
insert(std::make_pair(FrontV, From));
3885 C &&
C->getSplatValue() &&
3887 Value *FrontV = Item.front().first;
3893 SplatLeafs.
insert(std::make_pair(FrontV, From));
3898 auto [FrontV, FrontLane] = Item.front();
3899 auto [
V, Lane] = IL;
3900 return !
V || (
V == FrontV && Lane == FrontLane);
3902 SplatLeafs.
insert(std::make_pair(FrontV, From));
3908 auto CheckLaneIsEquivalentToFirst = [Item](
InstLane IL) {
3909 Value *FrontV = Item.front().first;
3918 if (CI->getPredicate() !=
cast<CmpInst>(FrontV)->getPredicate())
3921 if (CI->getSrcTy()->getScalarType() !=
3926 SI->getOperand(0)->getType() !=
3933 II->getIntrinsicID() ==
3935 !
II->hasOperandBundles());
3942 BO && BO->isIntDivRem())
3949 }
else if (
isa<UnaryOperator, TruncInst, ZExtInst, SExtInst, FPToSIInst,
3950 FPToUIInst, SIToFPInst, UIToFPInst>(FrontV)) {
3957 if (BCDstTy && BCSrcTy) {
3958 ElementCount DstEC = BCDstTy->getElementCount();
3959 ElementCount SrcEC = BCSrcTy->getElementCount();
3960 if (DstEC == SrcEC) {
3963 &BitCast->getOperandUse(0));
3968 if (DstElts > SrcElts && DstElts % SrcElts == 0) {
3972 unsigned R = DstElts / SrcElts;
3974 bool Valid = Item.size() %
R == 0;
3975 for (
unsigned Idx = 0,
E = Item.size(); Valid && Idx <
E;
3977 auto [V0, L0] = Item[Idx];
3980 [](
InstLane IL) {
return IL.first !=
nullptr; })) {
3991 for (
unsigned J = 1; J <
R; ++J) {
3992 auto [VJ, LJ] = Item[Idx + J];
3993 if (!VJ || VJ != V0 || LJ != L0 + (
int)J) {
4004 TraversedElCountChangingBitcast =
true;
4005 Candidates.
emplace_back(NItem, &BitCast->getOperandUse(0));
4008 }
else if (SrcElts > DstElts && SrcElts % DstElts == 0) {
4011 unsigned R = SrcElts / DstElts;
4013 for (
auto [V, Lane] : Item) {
4019 for (
unsigned J = 0; J <
R; ++J)
4022 TraversedElCountChangingBitcast =
true;
4023 Candidates.
emplace_back(NItem, &BitCast->getOperandUse(0));
4029 &Sel->getOperandUse(0));
4031 &Sel->getOperandUse(1));
4033 &Sel->getOperandUse(2));
4037 !
II->hasOperandBundles()) {
4038 for (
unsigned Op = 0,
E =
II->getNumOperands() - 1;
Op <
E;
Op++) {
4042 Value *FrontV = Item.front().first;
4059 ConcatLeafs.
insert(std::make_pair(FrontV, From));
4066 if (NumVisited <= 1)
4072 if (NumVisited == 2 && TraversedElCountChangingBitcast)
4075 LLVM_DEBUG(
dbgs() <<
"Found a superfluous identity shuffle: " <<
I <<
"\n");
4082 ConcatLeafs, Builder, Worklist, &
TTI);
4083 replaceValue(
I, *V);
4090bool VectorCombine::foldShuffleFromReductions(Instruction &
I) {
4094 switch (
II->getIntrinsicID()) {
4095 case Intrinsic::vector_reduce_add:
4096 case Intrinsic::vector_reduce_mul:
4097 case Intrinsic::vector_reduce_and:
4098 case Intrinsic::vector_reduce_or:
4099 case Intrinsic::vector_reduce_xor:
4100 case Intrinsic::vector_reduce_smin:
4101 case Intrinsic::vector_reduce_smax:
4102 case Intrinsic::vector_reduce_umin:
4103 case Intrinsic::vector_reduce_umax:
4112 std::queue<Value *> Worklist;
4113 SmallPtrSet<Value *, 4> Visited;
4114 ShuffleVectorInst *Shuffle =
nullptr;
4118 while (!Worklist.empty()) {
4119 Value *CV = Worklist.front();
4131 if (CI->isBinaryOp()) {
4132 for (
auto *
Op : CI->operand_values())
4136 if (Shuffle && Shuffle != SV)
4153 for (
auto *V : Visited)
4154 for (
auto *U :
V->users())
4155 if (!Visited.contains(U) && U != &
I)
4158 FixedVectorType *VecType =
4162 FixedVectorType *ShuffleInputType =
4164 if (!ShuffleInputType)
4170 SmallVector<int> ConcatMask;
4172 sort(ConcatMask, [](
int X,
int Y) {
return (
unsigned)
X < (unsigned)
Y; });
4173 bool UsesSecondVec =
4174 any_of(ConcatMask, [&](
int M) {
return M >= (int)NumInputElts; });
4181 ShuffleInputType,
CostKind, ConcatMask);
4183 LLVM_DEBUG(
dbgs() <<
"Found a reduction feeding from a shuffle: " << *Shuffle
4185 LLVM_DEBUG(
dbgs() <<
" OldCost: " << OldCost <<
" vs NewCost: " << NewCost
4187 bool MadeChanges =
false;
4188 if (NewCost < OldCost) {
4192 LLVM_DEBUG(
dbgs() <<
"Created new shuffle: " << *NewShuffle <<
"\n");
4193 replaceValue(*Shuffle, *NewShuffle);
4199 MadeChanges |= foldSelectShuffle(*Shuffle,
true);
4220bool VectorCombine::foldShuffleChainsToReduce(Instruction &
I) {
4229 if (FVT->getNumElements() < 2)
4232 std::optional<Instruction::BinaryOps> CommonBinOp;
4233 std::optional<Intrinsic::ID> CommonCallOp;
4238 CommonBinOp = BO->getOpcode();
4240 CommonCallOp = MMI->getIntrinsicID();
4246 FastMathFlags CommonFMF;
4247 bool IsFloatReduction =
false;
4251 auto IsChainNode = [&](
Value *
V) {
4253 return CommonBinOp && BO->getOpcode() == *CommonBinOp;
4255 return CommonCallOp && MMI->getIntrinsicID() == *CommonCallOp;
4263 constexpr unsigned MaxChainNodes = 32;
4264 SmallSetVector<Value *, 16> Nodes;
4265 SmallSetVector<Value *, 4> Sources;
4266 unsigned NumVisited = 0;
4267 auto AddSource = [&](
Value *
V) {
4273 auto Walk = [&](
Value *
V,
auto &&Walk) ->
bool {
4276 if (++NumVisited > MaxChainNodes)
4278 if (!IsChainNode(V))
4279 return AddSource(V);
4284 if (!Walk(
U->getOperand(
I), Walk))
4293 return AddSource(V);
4295 if (!Walk(VecOpEE, Walk) || Nodes.
empty())
4302 for (
Value *V : Nodes) {
4308 if (!IsFloatReduction) {
4310 IsFloatReduction =
true;
4324 DenseMap<Value *, Demand> Demands;
4325 auto DemandOf = [&](
Value *
V) -> Demand & {
4327 Demand &
D = Demands[
V];
4328 if (
D.Lanes.getBitWidth() !=
N)
4332 DemandOf(VecOpEE).Lanes.setBit(0);
4334 Demand DV = Demands.
lookup(V);
4335 if (DV.Lanes.isZero())
4338 ArrayRef<int>
Mask = SVI->getShuffleMask();
4339 Demand &
DS = DemandOf(SVI->getOperand(0));
4340 for (
unsigned I = 0,
E =
Mask.size();
I !=
E; ++
I) {
4342 if (!DV.Lanes[
I] || Mask[
I] < 0 ||
4343 (
unsigned)Mask[
I] >=
DS.Lanes.getBitWidth())
4345 if (
DS.Lanes[Mask[
I]] || DV.Duplicates[
I])
4346 DS.Duplicates.setBit(Mask[
I]);
4347 DS.Lanes.setBit(Mask[
I]);
4351 for (
Value *
Op : {
U->getOperand(0),
U->getOperand(1)}) {
4352 Demand &DOp = DemandOf(
Op);
4354 DOp.Duplicates |= DV.Duplicates | (DOp.Lanes & DV.Lanes);
4355 DOp.Lanes |= DV.Lanes;
4362 auto CoversChain = [&](
Value *
V) {
4363 SmallVector<Value *, 8> Worklist(1, VecOpEE);
4364 SmallPtrSet<Value *, 8> Seen;
4366 while (!Worklist.empty()) {
4369 for (
unsigned I = 0;
I !=
NumOps; ++
I) {
4373 if (!Nodes.contains(
Op))
4375 Worklist.push_back(
Op);
4383 struct ReductionCut {
4387 std::optional<ReductionCut> Cut;
4388 for (
Value *S : Sources) {
4389 auto It = Demands.
find(S);
4390 if (It == Demands.
end() || It->second.Lanes.isZero())
4392 if (!IsIdempotent && !It->second.Duplicates.isZero()) {
4397 Cut = ReductionCut{S, It->second.Lanes};
4404 if (!IsIdempotent && !(Cut->Elts & It->second.Lanes).isZero()) {
4408 Cut->Elts |= It->second.Lanes;
4411 for (
Value *V : Nodes) {
4414 auto It = Demands.
find(V);
4415 if (It == Demands.
end() || !It->second.Lanes.isAllOnes())
4417 if (!IsIdempotent && !It->second.Duplicates.isZero())
4419 if (!CoversChain(V))
4421 Cut = ReductionCut{
V, It->second.Lanes};
4426 if (!Cut || Cut->Elts.popcount() < 2)
4436 for (
Value *V : Nodes)
4440 bool IsPartialReduction = !Cut->Elts.isAllOnes();
4441 FixedVectorType *ReduceVecTy =
4446 SmallVector<int> ExtractMask;
4448 if (IsPartialReduction) {
4449 for (
unsigned I = 0,
E = Cut->Elts.getBitWidth();
I !=
E; ++
I)
4451 ExtractMask.push_back(
I);
4452 unsigned SubIdx = 0, SubLen;
4453 auto SK = Cut->Elts.isShiftedMask(SubIdx, SubLen)
4457 SubIdx, ReduceVecTy);
4460 IntrinsicCostAttributes ICA(
4461 ReducedOp, ReduceVecTy->getElementType(),
4465 IsFloatReduction ? CommonFMF : FastMathFlags());
4468 LLVM_DEBUG(
dbgs() <<
"Found reduction shuffle chain: " <<
I <<
"\n OldCost : "
4469 << OrigCost <<
" vs NewCost: " << NewCost <<
"\n");
4474 if (VecOpEE->
hasOneUse() ? (NewCost > OrigCost) : (NewCost >= OrigCost))
4477 Value *ReduceInput = Cut->Src;
4478 if (IsPartialReduction)
4481 Value *ReducedResult;
4482 if (IsFloatReduction) {
4484 *CommonBinOp, ReduceVecTy->getElementType(),
false,
4487 {Identity, ReduceInput}, CommonFMF);
4492 replaceValue(
I, *ReducedResult);
4501bool VectorCombine::foldCastFromReductions(Instruction &
I) {
4506 bool TruncOnly =
false;
4509 case Intrinsic::vector_reduce_add:
4510 case Intrinsic::vector_reduce_mul:
4513 case Intrinsic::vector_reduce_and:
4514 case Intrinsic::vector_reduce_or:
4515 case Intrinsic::vector_reduce_xor:
4522 Value *ReductionSrc =
I.getOperand(0);
4534 Type *ResultTy =
I.getType();
4537 ReductionOpc, ReductionSrcTy, std::nullopt,
CostKind);
4547 if (OldCost <= NewCost || !NewCost.
isValid())
4551 II->getIntrinsicID(), {Src});
4553 replaceValue(
I, *NewCast);
4581bool VectorCombine::foldSignBitReductionCmp(Instruction &
I) {
4583 IntrinsicInst *ReduceOp;
4584 const APInt *CmpVal;
4591 case Intrinsic::vector_reduce_or:
4592 case Intrinsic::vector_reduce_umax:
4593 case Intrinsic::vector_reduce_and:
4594 case Intrinsic::vector_reduce_umin:
4595 case Intrinsic::vector_reduce_add:
4606 unsigned BitWidth = VecTy->getScalarSizeInBits();
4610 unsigned NumElts = VecTy->getNumElements();
4619 case Intrinsic::vector_reduce_or:
4620 case Intrinsic::vector_reduce_umax:
4621 TreeOpcode = Instruction::Or;
4623 case Intrinsic::vector_reduce_and:
4624 case Intrinsic::vector_reduce_umin:
4625 TreeOpcode = Instruction::And;
4627 case Intrinsic::vector_reduce_add:
4628 TreeOpcode = Instruction::Add;
4636 SmallVector<Value *, 8> Worklist;
4637 SmallVector<Value *, 8> Sources;
4639 std::optional<bool> IsAShr;
4640 constexpr unsigned MaxSources = 8;
4645 while (!Worklist.
empty() && Worklist.
size() <= MaxSources &&
4646 Sources.
size() <= MaxSources) {
4655 bool ThisIsAShr = Shr->getOpcode() == Instruction::AShr;
4657 IsAShr = ThisIsAShr;
4658 else if (*IsAShr != ThisIsAShr)
4684 if (Sources.
empty() || Sources.
size() > MaxSources ||
4685 Worklist.
size() > MaxSources || !IsAShr)
4688 unsigned NumSources = Sources.
size();
4692 if (OrigIID == Intrinsic::vector_reduce_add &&
4700 (OrigIID == Intrinsic::vector_reduce_add) ? NumSources * NumElts : 1;
4703 NegativeVal.negate();
4735 TestsNegative =
false;
4736 }
else if (*CmpVal == NegativeVal) {
4737 TestsNegative =
true;
4741 IsEq = Pred == ICmpInst::ICMP_EQ;
4742 }
else if (Pred == ICmpInst::ICMP_SLT && *CmpVal == RangeHigh) {
4744 TestsNegative = (RangeHigh == NegativeVal);
4745 }
else if (Pred == ICmpInst::ICMP_SGT && *CmpVal == RangeHigh - 1) {
4747 TestsNegative = (RangeHigh == NegativeVal);
4748 }
else if (Pred == ICmpInst::ICMP_SGT && *CmpVal == RangeLow) {
4750 TestsNegative = (RangeLow == NegativeVal);
4751 }
else if (Pred == ICmpInst::ICMP_SLT && *CmpVal == RangeLow + 1) {
4753 TestsNegative = (RangeLow == NegativeVal);
4796 enum CheckKind :
unsigned {
4803 auto RequiresOr = [](CheckKind
C) ->
bool {
return C & 0b100; };
4805 auto IsNegativeCheck = [](CheckKind
C) ->
bool {
return C & 0b010; };
4807 auto Invert = [](CheckKind
C) {
return CheckKind(
C ^ 0b011); };
4811 case Intrinsic::vector_reduce_or:
4812 case Intrinsic::vector_reduce_umax:
4813 Base = TestsNegative ? AnyNeg : AllNonNeg;
4815 case Intrinsic::vector_reduce_and:
4816 case Intrinsic::vector_reduce_umin:
4817 Base = TestsNegative ? AllNeg : AnyNonNeg;
4819 case Intrinsic::vector_reduce_add:
4820 Base = TestsNegative ? AllNeg : AllNonNeg;
4835 return ArithCost <= MinMaxCost ? std::make_pair(Arith, ArithCost)
4836 : std::make_pair(MinMax, MinMaxCost);
4840 auto [NewIID, NewCost] = RequiresOr(
Check)
4841 ? PickCheaper(Intrinsic::vector_reduce_or,
4842 Intrinsic::vector_reduce_umax)
4843 : PickCheaper(
Intrinsic::vector_reduce_and,
4847 if (NumSources > 1) {
4848 unsigned CombineOpc =
4849 RequiresOr(
Check) ? Instruction::Or : Instruction::And;
4854 LLVM_DEBUG(
dbgs() <<
"Found sign-bit reduction cmp: " <<
I <<
"\n OldCost: "
4855 << OldCost <<
" vs NewCost: " << NewCost <<
"\n");
4857 if (NewCost > OldCost)
4862 Type *ScalarTy = VecTy->getScalarType();
4865 if (NumSources == 1) {
4876 replaceValue(
I, *NewCmp);
4907bool VectorCombine::foldReductionZeroTest(Instruction &
I) {
4916 if (!
II || !
II->hasOneUse())
4919 auto ReduceID =
II->getIntrinsicID();
4920 if (ReduceID != Intrinsic::vector_reduce_or &&
4921 ReduceID != Intrinsic::vector_reduce_umax)
4924 Value *Vec =
II->getArgOperand(0);
4926 if (!VecTy || !VecTy->getElementType()->isIntegerTy())
4931 ? Intrinsic::vector_reduce_or
4946 LLVM_DEBUG(
dbgs() <<
"Found a reduction zero test: " <<
I <<
"\n OldCost: "
4947 << OldCost <<
" vs NewCost: " << NewCost <<
"\n");
4949 if (!OldCost.
isValid() || !NewCost.
isValid() || NewCost > OldCost)
4955 replaceValue(
I, *NewReduce);
4980bool VectorCombine::foldICmpEqZeroVectorReduce(Instruction &
I) {
4991 switch (
II->getIntrinsicID()) {
4992 case Intrinsic::vector_reduce_add:
4993 case Intrinsic::vector_reduce_or:
4994 case Intrinsic::vector_reduce_umin:
4995 case Intrinsic::vector_reduce_umax:
4996 case Intrinsic::vector_reduce_smin:
4997 case Intrinsic::vector_reduce_smax:
5003 Value *InnerOp =
II->getArgOperand(0);
5046 switch (
II->getIntrinsicID()) {
5047 case Intrinsic::vector_reduce_add: {
5052 unsigned NumElems = XTy->getNumElements();
5058 if (LeadingZerosX <= LostBits || LeadingZerosFX <= LostBits)
5066 case Intrinsic::vector_reduce_smin:
5067 case Intrinsic::vector_reduce_smax:
5077 LLVM_DEBUG(
dbgs() <<
"Found a reduction to 0 comparison with removable op: "
5093 case Intrinsic::vector_reduce_add:
5094 case Intrinsic::vector_reduce_or:
5100 case Intrinsic::vector_reduce_umin:
5101 case Intrinsic::vector_reduce_umax:
5102 case Intrinsic::vector_reduce_smin:
5103 case Intrinsic::vector_reduce_smax:
5115 NewReduceCost + (InnerOp->
hasOneUse() ? 0 : ExtCost);
5117 LLVM_DEBUG(
dbgs() <<
"Found a removable extension before reduction: "
5118 << *InnerOp <<
"\n OldCost: " << OldCost
5119 <<
" vs NewCost: " << NewCost <<
"\n");
5125 if (NewCost > OldCost)
5134 Builder.
CreateICmp(Pred, NewReduce, ConstantInt::getNullValue(Ty));
5135 replaceValue(
I, *NewCmp);
5166bool VectorCombine::foldEquivalentReductionCmp(Instruction &
I) {
5169 const APInt *CmpVal;
5174 if (!
II || !
II->hasOneUse())
5177 const auto IsValidOrUmaxCmp = [&]() {
5186 bool IsPositive = CmpVal->
isAllOnes() && Pred == ICmpInst::ICMP_SGT;
5188 bool IsNegative = (CmpVal->
isZero() || CmpVal->
isOne() || *CmpVal == 2) &&
5189 Pred == ICmpInst::ICMP_SLT;
5190 return IsEquality || IsPositive || IsNegative;
5193 const auto IsValidAndUminCmp = [&]() {
5198 const auto LeadingOnes = CmpVal->
countl_one();
5205 bool IsNegative = CmpVal->
isZero() && Pred == ICmpInst::ICMP_SLT;
5214 ((*CmpVal)[0] || (*CmpVal)[1]) && Pred == ICmpInst::ICMP_SGT;
5215 return IsEquality || IsNegative || IsPositive;
5223 switch (OriginalIID) {
5224 case Intrinsic::vector_reduce_or:
5225 if (!IsValidOrUmaxCmp())
5227 AlternativeIID = Intrinsic::vector_reduce_umax;
5229 case Intrinsic::vector_reduce_umax:
5230 if (!IsValidOrUmaxCmp())
5232 AlternativeIID = Intrinsic::vector_reduce_or;
5234 case Intrinsic::vector_reduce_and:
5235 if (!IsValidAndUminCmp())
5237 AlternativeIID = Intrinsic::vector_reduce_umin;
5239 case Intrinsic::vector_reduce_umin:
5240 if (!IsValidAndUminCmp())
5242 AlternativeIID = Intrinsic::vector_reduce_and;
5255 if (ReductionOpc != Instruction::ICmp)
5266 <<
"\n OrigCost: " << OrigCost
5267 <<
" vs AltCost: " << AltCost <<
"\n");
5269 if (AltCost >= OrigCost)
5273 Type *ScalarTy = VecTy->getScalarType();
5276 Builder.
CreateICmp(Pred, NewReduce, ConstantInt::get(ScalarTy, *CmpVal));
5278 replaceValue(
I, *NewCmp);
5292 unsigned Depth = 0) {
5293 constexpr unsigned MaxLocalDepth = 2;
5294 if (
Depth > MaxLocalDepth)
5297 auto NumSignBits = [&](
const Value *
X) {
5300 if (NumSignBits(V) == V->getType()->getScalarSizeInBits())
5305 return NumSignBits(
A) >= 2 && NumSignBits(
B) >= 2 &&
5316bool VectorCombine::foldReduceAddCmpZero(Instruction &
I) {
5326 if (!VecTy || VecTy->getNumElements() < 2)
5332 if (!IsNonNegative && !IsNonPositive)
5337 unsigned NumElts = VecTy->getNumElements();
5339 if (
Log2_32(NumElts) >= NumSignBits)
5342 ICmpInst::Predicate NewPred;
5344 case ICmpInst::ICMP_EQ:
5345 case ICmpInst::ICMP_ULE:
5346 case ICmpInst::ICMP_SLE:
5347 case ICmpInst::ICMP_SGE:
5348 NewPred = ICmpInst::ICMP_EQ;
5350 case ICmpInst::ICMP_NE:
5351 case ICmpInst::ICMP_UGT:
5352 case ICmpInst::ICMP_SGT:
5353 case ICmpInst::ICMP_SLT:
5354 NewPred = ICmpInst::ICMP_NE;
5364 if (!IsNonNegative &&
5365 (Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SLE))
5367 if (!IsNonPositive &&
5368 (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SGE))
5370 if ((Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SLE ||
5371 Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SGE) &&
5372 Log2_32(NumElts) >= NumSignBits - 1)
5376 Instruction::Add, VecTy, std::nullopt,
CostKind);
5378 Instruction::Or, VecTy, std::nullopt,
CostKind);
5380 Intrinsic::umax, VecTy, FastMathFlags(),
CostKind);
5383 bool UseOr = OrCost.
isValid() && (!UmaxCost.
isValid() || OrCost <= UmaxCost);
5385 if (AltCost > OrigCost)
5391 Intrinsic::vector_reduce_umax, {VecTy}, {Vec});
5392 Worklist.pushValue(NewReduce);
5394 NewPred, NewReduce, ConstantInt::getNullValue(VecTy->getScalarType()));
5395 replaceValue(
I, *NewCmp);
5404 constexpr unsigned MaxVisited = 32;
5407 bool FoundReduction =
false;
5410 while (!WorkList.
empty()) {
5412 for (
User *U :
I->users()) {
5414 if (!UI || !Visited.
insert(UI).second)
5416 if (Visited.
size() > MaxVisited)
5422 switch (
II->getIntrinsicID()) {
5423 case Intrinsic::vector_reduce_add:
5424 case Intrinsic::vector_reduce_mul:
5425 case Intrinsic::vector_reduce_and:
5426 case Intrinsic::vector_reduce_or:
5427 case Intrinsic::vector_reduce_xor:
5428 case Intrinsic::vector_reduce_smin:
5429 case Intrinsic::vector_reduce_smax:
5430 case Intrinsic::vector_reduce_umin:
5431 case Intrinsic::vector_reduce_umax:
5432 FoundReduction =
true;
5445 return FoundReduction;
5458bool VectorCombine::foldSelectShuffle(Instruction &
I,
bool FromReduction) {
5463 if (!Op0 || !Op1 || Op0 == Op1 || !Op0->isBinaryOp() || !Op1->isBinaryOp() ||
5464 VT != Op0->getType())
5471 SmallPtrSet<Instruction *, 4> InputShuffles({SVI0A, SVI0B, SVI1A, SVI1B});
5473 if (!
I ||
I->getOperand(0)->getType() != VT)
5475 return any_of(
I->users(), [&](User *U) {
5476 return U != Op0 && U != Op1 &&
5477 !(isa<ShuffleVectorInst>(U) &&
5478 (InputShuffles.contains(cast<Instruction>(U)) ||
5479 isInstructionTriviallyDead(cast<Instruction>(U))));
5482 if (checkSVNonOpUses(SVI0A) || checkSVNonOpUses(SVI0B) ||
5483 checkSVNonOpUses(SVI1A) || checkSVNonOpUses(SVI1B))
5491 for (
auto *U :
I->users()) {
5493 if (!SV || SV->getType() != VT)
5495 if ((SV->getOperand(0) != Op0 && SV->getOperand(0) != Op1) ||
5496 (SV->getOperand(1) != Op0 && SV->getOperand(1) != Op1))
5503 if (!collectShuffles(Op0) || !collectShuffles(Op1))
5507 if (FromReduction && Shuffles.
size() > 1)
5512 if (!FromReduction) {
5513 for (
size_t Idx = 0,
E = Shuffles.
size(); Idx !=
E; ++Idx) {
5514 for (
auto *U : Shuffles[Idx]->
users()) {
5529 int MaxV1Elt = 0, MaxV2Elt = 0;
5530 unsigned NumElts = VT->getNumElements();
5531 for (ShuffleVectorInst *SVN : Shuffles) {
5532 SmallVector<int>
Mask;
5533 SVN->getShuffleMask(Mask);
5537 Value *SVOp0 = SVN->getOperand(0);
5538 Value *SVOp1 = SVN->getOperand(1);
5543 for (
int &Elem : Mask) {
5549 if (SVOp0 == Op1 && SVOp1 == Op0) {
5553 if (SVOp0 != Op0 || SVOp1 != Op1)
5559 SmallVector<int> ReconstructMask;
5560 for (
unsigned I = 0;
I <
Mask.size();
I++) {
5563 }
else if (Mask[
I] <
static_cast<int>(NumElts)) {
5564 MaxV1Elt = std::max(MaxV1Elt, Mask[
I]);
5565 auto It =
find_if(
V1, [&](
const std::pair<int, int> &
A) {
5566 return Mask[
I] ==
A.first;
5572 V1.emplace_back(Mask[
I],
V1.size());
5575 MaxV2Elt = std::max<int>(MaxV2Elt, Mask[
I] - NumElts);
5576 auto It =
find_if(V2, [&](
const std::pair<int, int> &
A) {
5577 return Mask[
I] -
static_cast<int>(NumElts) ==
A.first;
5591 sort(ReconstructMask);
5592 OrigReconstructMasks.
push_back(std::move(ReconstructMask));
5599 if (
V1.empty() || V2.
empty() ||
5600 (MaxV1Elt ==
static_cast<int>(
V1.size()) - 1 &&
5601 MaxV2Elt ==
static_cast<int>(V2.
size()) - 1))
5613 if (InputShuffles.contains(SSV))
5615 return SV->getMaskValue(M);
5623 std::pair<int, int>
Y) {
5624 int MXA = GetBaseMaskValue(
A,
X.first);
5625 int MYA = GetBaseMaskValue(
A,
Y.first);
5629 return SortBase(SVI0A,
A,
B);
5631 stable_sort(V2, [&](std::pair<int, int>
A, std::pair<int, int>
B) {
5632 return SortBase(SVI1A,
A,
B);
5637 for (
const auto &Mask : OrigReconstructMasks) {
5638 SmallVector<int> ReconstructMask;
5639 for (
int M : Mask) {
5641 auto It =
find_if(V, [M](
auto A) {
return A.second ==
M; });
5642 assert(It !=
V.end() &&
"Expected all entries in Mask");
5643 return std::distance(
V.begin(), It);
5647 else if (M <
static_cast<int>(NumElts)) {
5650 ReconstructMask.
push_back(NumElts + FindIndex(V2, M));
5653 ReconstructMasks.
push_back(std::move(ReconstructMask));
5658 SmallVector<int> V1A, V1B, V2A, V2B;
5659 for (
unsigned I = 0;
I <
V1.size();
I++) {
5663 for (
unsigned I = 0;
I < V2.
size();
I++) {
5664 V2A.
push_back(GetBaseMaskValue(SVI1A, V2[
I].first));
5665 V2B.
push_back(GetBaseMaskValue(SVI1B, V2[
I].first));
5667 while (V1A.
size() < NumElts) {
5671 while (V2A.
size() < NumElts) {
5683 VT, VT,
CostKind, SV->getShuffleMask());
5690 unsigned ElementSize = VT->getElementType()->getPrimitiveSizeInBits();
5691 unsigned MaxVectorSize =
5693 unsigned MaxElementsInVector = MaxVectorSize / ElementSize;
5694 if (MaxElementsInVector == 0)
5703 std::set<SmallVector<int, 4>> UniqueShuffles;
5708 unsigned NumFullVectors =
Mask.size() / MaxElementsInVector;
5709 if (NumFullVectors < 2)
5710 return C + ShuffleCost;
5711 SmallVector<int, 4> SubShuffle(MaxElementsInVector);
5712 unsigned NumUniqueGroups = 0;
5713 unsigned NumGroups =
Mask.size() / MaxElementsInVector;
5716 for (
unsigned I = 0;
I < NumFullVectors; ++
I) {
5717 for (
unsigned J = 0; J < MaxElementsInVector; ++J)
5718 SubShuffle[J] = Mask[MaxElementsInVector *
I + J];
5719 if (UniqueShuffles.insert(SubShuffle).second)
5720 NumUniqueGroups += 1;
5722 return C + ShuffleCost * NumUniqueGroups / NumGroups;
5728 SmallVector<int, 16>
Mask;
5729 SV->getShuffleMask(Mask);
5730 return AddShuffleMaskAdjustedCost(
C, Mask);
5733 auto AllShufflesHaveSameOperands =
5734 [](SmallPtrSetImpl<Instruction *> &InputShuffles) {
5735 if (InputShuffles.size() < 2)
5737 ShuffleVectorInst *FirstSV =
5744 std::next(InputShuffles.begin()), InputShuffles.end(),
5745 [&](Instruction *
I) {
5746 ShuffleVectorInst *SV = dyn_cast<ShuffleVectorInst>(I);
5747 return SV && SV->getOperand(0) == In0 && SV->getOperand(1) == In1;
5756 CostBefore += std::accumulate(Shuffles.begin(), Shuffles.end(),
5758 if (AllShufflesHaveSameOperands(InputShuffles)) {
5759 UniqueShuffles.clear();
5760 CostBefore += std::accumulate(InputShuffles.begin(), InputShuffles.end(),
5763 CostBefore += std::accumulate(InputShuffles.begin(), InputShuffles.end(),
5769 FixedVectorType *Op0SmallVT =
5771 FixedVectorType *Op1SmallVT =
5776 UniqueShuffles.clear();
5777 CostAfter += std::accumulate(ReconstructMasks.begin(), ReconstructMasks.end(),
5779 std::set<SmallVector<int>> OutputShuffleMasks({V1A, V1B, V2A, V2B});
5781 std::accumulate(OutputShuffleMasks.begin(), OutputShuffleMasks.end(),
5784 LLVM_DEBUG(
dbgs() <<
"Found a binop select shuffle pattern: " <<
I <<
"\n");
5786 <<
" vs CostAfter: " << CostAfter <<
"\n");
5787 if (CostBefore < CostAfter ||
5798 if (InputShuffles.contains(SSV))
5800 return SV->getOperand(
Op);
5804 GetShuffleOperand(SVI0A, 1), V1A);
5807 GetShuffleOperand(SVI0B, 1), V1B);
5810 GetShuffleOperand(SVI1A, 1), V2A);
5813 GetShuffleOperand(SVI1B, 1), V2B);
5818 I->copyIRFlags(Op0,
true);
5823 I->copyIRFlags(Op1,
true);
5825 for (
int S = 0,
E = ReconstructMasks.size(); S !=
E; S++) {
5828 replaceValue(*Shuffles[S], *NSV,
false);
5831 Worklist.pushValue(NSV0A);
5832 Worklist.pushValue(NSV0B);
5833 Worklist.pushValue(NSV1A);
5834 Worklist.pushValue(NSV1B);
5844bool VectorCombine::shrinkType(Instruction &
I) {
5845 Value *ZExted, *OtherOperand;
5851 Value *ZExtOperand =
I.getOperand(
I.getOperand(0) == OtherOperand ? 1 : 0);
5855 unsigned BW = SmallTy->getElementType()->getPrimitiveSizeInBits();
5857 if (
I.getOpcode() == Instruction::LShr) {
5874 Instruction::ZExt, BigTy, SmallTy,
5875 TargetTransformInfo::CastContextHint::None,
CostKind);
5880 for (User *U : ZExtOperand->
users()) {
5887 ShrinkCost += ZExtCost;
5902 ShrinkCost += ZExtCost;
5909 Instruction::Trunc, SmallTy, BigTy,
5910 TargetTransformInfo::CastContextHint::None,
CostKind);
5915 if (ShrinkCost > CurrentCost)
5919 Value *Op0 = ZExted;
5922 if (
I.getOperand(0) == OtherOperand)
5929 replaceValue(
I, *NewZExtr);
5935bool VectorCombine::foldInsExtVectorToShuffle(Instruction &
I) {
5936 Value *DstVec, *SrcVec;
5947 if (!DstVecTy || !SrcVecTy ||
5953 if (InsIdx >= NumDstElts || ExtIdx >= NumSrcElts || NumDstElts == 1)
5960 bool NeedExpOrNarrow = NumSrcElts != NumDstElts;
5962 if (NeedDstSrcSwap) {
5964 Mask[InsIdx] = ExtIdx % NumDstElts;
5968 std::iota(
Mask.begin(),
Mask.end(), 0);
5969 Mask[InsIdx] = (ExtIdx % NumDstElts) + NumDstElts;
5982 SmallVector<int> ExtToVecMask;
5983 if (!NeedExpOrNarrow) {
5988 nullptr, {DstVec, SrcVec});
5994 ExtToVecMask[ExtIdx % NumDstElts] = ExtIdx;
5997 DstVecTy, SrcVecTy,
CostKind, ExtToVecMask);
6001 if (!Ext->hasOneUse())
6004 LLVM_DEBUG(
dbgs() <<
"Found a insert/extract shuffle-like pair: " <<
I
6005 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
6008 if (OldCost < NewCost)
6011 if (NeedExpOrNarrow) {
6012 if (!NeedDstSrcSwap)
6025 replaceValue(
I, *Shuf);
6049bool VectorCombine::foldDeinterleaveInterleavePair(Instruction &
I) {
6066 if (
U.getUser()->isDroppable())
6070 if (!Extract || Extract->getNumIndices() != 1)
6073 unsigned Index = *Extract->idx_begin();
6074 if (Index >= Factor || CurrentUses[Index])
6082 IntrinsicInst *Interleave =
nullptr;
6083 unsigned NumVisited = 0;
6087 return CB->arg_size();
6088 return Inst->getNumOperands();
6091 auto IsSupportedElementwise = [&](
Instruction *Inst) {
6097 if (
II->hasOperandBundles() ||
6100 }
else if (!
isa<BinaryOperator, UnaryOperator, CastInst, CmpInst,
6101 SelectInst, FreezeInst>(Inst)) {
6107 for (
unsigned Op = 0,
E = GetNumDataOperands(Inst);
Op !=
E; ++
Op) {
6110 OperandTy->getElementCount() != ResultTy->getElementCount())
6122 NumVisited += Factor;
6124 for (Use *&CurrentUse : CurrentUses) {
6125 Use *NextUse = CurrentUse->getUser()->getSingleUndroppableUse();
6131 CurrentUse = NextUse;
6136 II &&
II->getIntrinsicID() == ExpectedInterleaveIID) {
6137 if (
II->hasOperandBundles())
6140 for (
unsigned Index = 0;
Index != Factor; ++
Index)
6141 if (CurrentUses[Index]->getUser() !=
II ||
6142 CurrentUses[Index]->getOperandNo() != Index)
6150 if (!IsSupportedElementwise(FirstInst))
6153 unsigned ChainOperand = CurrentUses.front()->getOperandNo();
6154 if (
any_of(CurrentUses, [&](Use *U) {
6156 return Inst != FirstInst && (
U->getOperandNo() != ChainOperand ||
6157 !FirstInst->isSameOperationAs(Inst));
6161 auto GetSplatOrScalar = [](
Value *
V) {
6168 for (
unsigned Op = 0,
E = GetNumDataOperands(FirstInst);
Op !=
E; ++
Op) {
6169 if (
Op == ChainOperand)
6172 Value *CommonValue = GetSplatOrScalar(FirstInst->getOperand(
Op));
6173 if (!CommonValue ||
any_of(CurrentUses, [&](Use *U) {
6175 return Inst != FirstInst &&
6189 ElementCount WideEC =
6192 auto CreateWideInstruction = [&](
Instruction *NarrowInst,
6195 assert(IsSupportedElementwise(NarrowInst) &&
6196 "Expected supported elementwise");
6200 return Builder.
CreateCast(Cast->getOpcode(), NewOperands[0],
6203 return Builder.
CreateCmp(
Cmp->getPredicate(), NewOperands[0],
6207 NewOperands[0], NewOperands[1], NewOperands[2],
"",
6219 for (
const ElementwiseStep &Step : Steps) {
6221 unsigned ChainOperand = Step.front()->getOperandNo();
6226 unsigned NumOperands = GetNumDataOperands(NarrowInst);
6227 SmallVector<Value *, 4> NewOperands;
6228 NewOperands.
reserve(NumOperands);
6230 for (
unsigned Op = 0;
Op != NumOperands; ++
Op) {
6233 if (
Op == ChainOperand)
6234 Operand = WideValue;
6240 auto *WideResultTy =
6243 CreateWideInstruction(NarrowInst, NewOperands, WideResultTy);
6252 WideValue = NewValue;
6256 replaceValue(*Interleave, *WideValue);
6264bool VectorCombine::foldInterleaveIntrinsics(Instruction &
I) {
6265 const APInt *SplatVal0, *SplatVal1;
6275 auto *ExtVTy = VectorType::getExtendedElementVectorType(VTy);
6276 unsigned Width = VTy->getElementType()->getIntegerBitWidth();
6285 LLVM_DEBUG(
dbgs() <<
"VC: The cost to cast from " << *ExtVTy <<
" to "
6286 << *
I.getType() <<
" is too high.\n");
6290 APInt NewSplatVal = SplatVal1->
zext(Width * 2);
6291 NewSplatVal <<= Width;
6292 NewSplatVal |= SplatVal0->
zext(Width * 2);
6294 ExtVTy->getElementCount(), ConstantInt::get(
F.getContext(), NewSplatVal));
6329bool VectorCombine::foldDeinterleaveIntrinsics(Instruction &
I) {
6330 if (foldDeinterleaveInterleavePair(
I))
6334 if (
DL->isBigEndian())
6337 using namespace PatternMatch;
6338 Value *DeinterleavedVal;
6349 unsigned HalfElementWidth = ElementWidth / 2;
6353 std::array<ExtractValueInst *, 2> OrigFields{};
6354 for (User *Usr :
I.users()) {
6357 if (!
E ||
E->getNumIndices() != 1)
6359 unsigned Idx = *
E->idx_begin();
6361 if (Idx >= 2 || OrigFields[Idx] || !
E->hasNUses(2))
6363 OrigFields[Idx] =
E;
6367 SmallVector<Instruction *, 2> MergeInsts;
6368 for (
auto *FieldUsr : OrigFields[0]->
users()) {
6376 auto MatchMerge = [&](void) ->
bool {
6379 return match(MergeInsts[0],
6383 match(MergeInsts[1],
6388 if (!MatchMerge()) {
6389 std::swap(MergeInsts[0], MergeInsts[1]);
6404 auto *NewFieldTy = VecTy->getWithNewBitWidth(HalfElementWidth);
6414 if (OldCost <= NewCost || !NewCost.
isValid()) {
6416 dbgs() <<
"VC: New deinterleave2 sequence cost (" << NewCost <<
")"
6417 <<
" is higher than that of the old one (" << OldCost <<
")\n");
6425 Intrinsic::vector_deinterleave2, {NewVecTy}, {NewVecCast});
6426 for (
auto [Idx, MergeInst] :
enumerate(MergeInsts)) {
6428 NewField = Builder.
CreateBitCast(NewField, MergeInst->getType());
6429 replaceValue(*MergeInst, *NewField);
6435bool VectorCombine::foldBitcastOfVPLoad(Instruction &
I) {
6436 const DataLayout &
DL =
I.getDataLayout();
6451 DL.getValueOrABITypeAlignment(
II->getPointerAlignment(), OrigVecTy);
6452 ElementCount OrigVecCnt = OrigVecTy->getElementCount();
6454 ElementCount NewVecCnt = NewVecTy->getElementCount();
6466 II->getMemoryPointerParam(),
false,
6472 {Intrinsic::vp_load, NewVecTy,
II->getMemoryPointerParam(),
false,
6476 <<
" NewCost=" << NewCost <<
"\n");
6477 if (NewCost > OldCost || !NewCost.
isValid())
6485 NewVecTy, Intrinsic::vp_load,
6486 {
II->getMemoryPointerParam(), NewMask, NewEVL});
6489 0, AttrBuilder(
II->getContext()).addAlignmentAttr(OrigAlign));
6490 replaceValue(*Cast, *NewVP);
6500bool VectorCombine::foldBitOrderReverseAndSwap(Instruction &
I) {
6504 Type *Ty =
X->getType();
6505 Type *VecTy =
I.getOperand(0)->getType();
6519 if (CanUseBswap || CanUseFshl) {
6530 IntrinsicCostAttributes ICABSwap(Intrinsic::bswap, Ty, {Ty});
6531 IntrinsicCostAttributes ICABFshl(Intrinsic::fshl, Ty, {
X,
X, HalfBW},
6533 IntrinsicCostAttributes ICABRev(Intrinsic::bitreverse, Ty, {Ty});
6538 if (!InnerCall->hasOneUse())
6541 else if (!InnerBitCast->hasOneUse())
6544 <<
"\n OldCost: " << OldCost
6545 <<
" vs NewCost: " << NewCost <<
"\n");
6546 if (NewCost.isValid() && NewCost < OldCost) {
6552 Worklist.pushValue(Swap);
6554 replaceValue(
I, *BRev);
6563 Type *Ty =
I.getType();
6565 TypeSize ElementSize =
DL->getTypeStoreSize(Ty);
6568 Type *NewVecTy = VectorType::get(I8Ty, NewVecCnt);
6581 IntrinsicCostAttributes ICANew(Intrinsic::bitreverse, NewVecTy, {NewVecTy});
6584 InstructionCost NewCost = CastToVecCost + NewIntrinsicCost + CastToOrigCost;
6585 if (!InnerII->hasOneUse())
6588 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
6590 if (!NewCost.
isValid() || NewCost >= OldCost)
6598 replaceValue(
I, *CastToOrig);
6608 unsigned RawNumElements = MaxIdx + 1u;
6611 if (!
TTI.isTypeLegal(ElemTy))
6612 return RawNumElements;
6614 TypeSize ElemSize =
DL.getTypeSizeInBits(ElemTy);
6616 return RawNumElements;
6621 return RawNumElements;
6626 if (ElemsPerReg == 0 || RawNumElements <= ElemsPerReg)
6627 return RawNumElements;
6629 return alignTo(RawNumElements, ElemsPerReg);
6633bool VectorCombine::shrinkLoadForShuffles(Instruction &
I) {
6635 if (!OldLoad || !OldLoad->isSimple())
6642 unsigned const OldNumElements = OldLoadTy->getNumElements();
6648 using IndexRange = std::pair<int, int>;
6649 auto GetIndexRangeInShuffles = [&]() -> std::optional<IndexRange> {
6650 IndexRange OutputRange = IndexRange(OldNumElements, -1);
6651 for (llvm::Use &Use :
I.uses()) {
6653 User *Shuffle =
Use.getUser();
6658 return std::nullopt;
6665 for (
int Index : Mask) {
6666 if (Index >= 0 && Index <
static_cast<int>(OldNumElements)) {
6667 OutputRange.first = std::min(Index, OutputRange.first);
6668 OutputRange.second = std::max(Index, OutputRange.second);
6673 if (OutputRange.second < OutputRange.first)
6674 return std::nullopt;
6680 if (std::optional<IndexRange> Indices = GetIndexRangeInShuffles()) {
6681 unsigned const NewNumElements =
6686 if (NewNumElements < OldNumElements) {
6691 Type *ElemTy = OldLoadTy->getElementType();
6693 Value *PtrOp = OldLoad->getPointerOperand();
6696 Instruction::Load, OldLoad->getType(), OldLoad->getAlign(),
6697 OldLoad->getPointerAddressSpace(),
CostKind);
6700 OldLoad->getPointerAddressSpace(),
CostKind);
6702 using UseEntry = std::pair<ShuffleVectorInst *, std::vector<int>>;
6704 unsigned const MaxIndex = NewNumElements * 2u;
6706 for (llvm::Use &Use :
I.uses()) {
6713 ArrayRef<int> OldMask = Shuffle->getShuffleMask();
6719 for (
int Index : OldMask) {
6720 if (Index >=
static_cast<int>(MaxIndex))
6734 dbgs() <<
"Found a load used only by shufflevector instructions: "
6735 <<
I <<
"\n OldCost: " << OldCost
6736 <<
" vs NewCost: " << NewCost <<
"\n");
6738 if (OldCost < NewCost || !NewCost.
isValid())
6744 NewLoad->copyMetadata(
I);
6747 for (UseEntry &Use : NewUses) {
6748 ShuffleVectorInst *Shuffle =
Use.first;
6749 std::vector<int> &NewMask =
Use.second;
6756 replaceValue(*Shuffle, *NewShuffle,
false);
6769bool VectorCombine::shrinkPhiOfShuffles(Instruction &
I) {
6771 if (!Phi ||
Phi->getNumIncomingValues() != 2u)
6775 ArrayRef<int> Mask0;
6776 ArrayRef<int> Mask1;
6789 auto const InputNumElements = InputVT->getNumElements();
6791 if (InputNumElements >= ResultVT->getNumElements())
6796 SmallVector<int, 16> NewMask;
6799 for (
auto [
M0,
M1] :
zip(Mask0, Mask1)) {
6800 if (
M0 >= 0 &&
M1 >= 0)
6802 else if (
M0 == -1 &&
M1 == -1)
6815 int MaskOffset = NewMask[0
u];
6816 unsigned Index = (InputNumElements + MaskOffset) % InputNumElements;
6819 for (
unsigned I = 0u;
I < InputNumElements; ++
I) {
6833 <<
"\n OldCost: " << OldCost <<
" vs NewCost: " << NewCost
6836 if (NewCost > OldCost)
6848 auto *NewPhi = Builder.
CreatePHI(NewShuf0->getType(), 2u);
6850 NewPhi->addIncoming(
Op,
Phi->getIncomingBlock(1u));
6856 replaceValue(*Phi, *NewShuf1);
6862bool VectorCombine::run() {
6876 auto Opcode =
I.getOpcode();
6884 if (IsFixedVectorType) {
6886 case Instruction::InsertElement:
6887 if (vectorizeLoadInsert(
I))
6890 case Instruction::ShuffleVector:
6891 if (widenSubvectorLoad(
I))
6902 if (scalarizeOpOrCmp(
I))
6904 if (scalarizeLoad(
I))
6906 if (scalarizeExtExtract(
I))
6908 if (foldInterleaveIntrinsics(
I))
6910 if (foldBitcastOfVPLoad(
I))
6914 if (foldDeinterleaveIntrinsics(
I))
6917 if (Opcode == Instruction::Store)
6918 if (foldInsertElementsToStores(
I))
6922 if (TryEarlyFoldsOnly)
6925 if (Opcode == Instruction::Call)
6926 if (foldBitOrderReverseAndSwap(
I))
6928 if (Opcode == Instruction::BitCast)
6929 if (foldBitOrderReverseAndSwap(
I))
6936 if (IsFixedVectorType) {
6938 case Instruction::InsertElement:
6939 if (foldInsExtFNeg(
I))
6941 if (foldInsExtBinop(
I))
6943 if (foldInsExtVectorToShuffle(
I))
6946 case Instruction::ShuffleVector:
6947 if (foldPermuteOfBinops(
I))
6949 if (foldShuffleOfBinops(
I))
6951 if (foldShuffleOfSelects(
I))
6953 if (foldShuffleOfCastops(
I))
6955 if (foldShuffleOfShuffles(
I))
6957 if (foldPermuteOfIntrinsic(
I))
6959 if (foldShufflesOfLengthChangingShuffles(
I))
6961 if (foldShuffleOfIntrinsics(
I))
6963 if (foldSelectShuffle(
I))
6965 if (foldShuffleToIdentity(
I))
6968 case Instruction::Load:
6969 if (shrinkLoadForShuffles(
I))
6972 case Instruction::BitCast:
6973 if (foldBitcastShuffle(
I))
6975 if (foldSelectsFromBitcast(
I))
6978 case Instruction::And:
6979 case Instruction::Or:
6980 case Instruction::Xor:
6981 if (foldBitOpOfCastops(
I))
6983 if (foldBitOpOfCastConstant(
I))
6986 case Instruction::PHI:
6987 if (shrinkPhiOfShuffles(
I))
6997 case Instruction::Call:
6998 if (foldShuffleFromReductions(
I))
7000 if (foldCastFromReductions(
I))
7003 case Instruction::ExtractElement:
7004 if (foldShuffleChainsToReduce(
I))
7007 case Instruction::ICmp:
7008 if (foldSignBitReductionCmp(
I))
7010 if (foldICmpEqZeroVectorReduce(
I))
7012 if (foldReductionZeroTest(
I))
7014 if (foldEquivalentReductionCmp(
I))
7016 if (foldReduceAddCmpZero(
I))
7019 case Instruction::FCmp:
7020 if (foldExtractExtract(
I))
7023 case Instruction::Or:
7024 if (foldConcatOfBoolMasks(
I))
7029 if (foldExtractExtract(
I))
7031 if (foldExtractedCmps(
I))
7033 if (foldBinopOfReductions(
I))
7042 bool MadeChange =
false;
7043 for (BasicBlock &BB :
F) {
7055 if (!
I->isDebugOrPseudoInst())
7056 MadeChange |= FoldInst(*
I);
7063 while (!Worklist.isEmpty()) {
7073 MadeChange |= FoldInst(*
I);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static cl::opt< unsigned > MaxInstrsToScan("aggressive-instcombine-max-scan-instrs", cl::init(64), cl::Hidden, cl::desc("Max number of instructions to scan for aggressive instcombine."))
This is the interface for LLVM's primary stateless and local alias analysis.
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
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")))
This file defines the DenseMap class.
This is the interface for a simple mod/ref and alias analysis over globals.
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
static void eraseInstruction(Instruction &I, ICFLoopSafetyInfo &SafetyInfo, MemorySSAUpdater &MSSAU)
uint64_t IntrinsicInst * II
FunctionAnalysisManager FAM
This file contains the declarations for profiling metadata utility functions.
const SmallVectorImpl< MachineOperand > & Cond
Func getContext().diagnose(DiagnosticInfoUnsupported(Func
This file defines the scope_exit class, which executes user-defined cleanup logic at scope exit.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static SymbolRef::Type getType(const Symbol *Sym)
static bool isEquivBitcast(Value *X, Value *Y)
Helper to peek through bitcasts to the same value.
static bool isFreeConcat(ArrayRef< InstLane > Item, TTI::TargetCostKind CostKind, const TargetTransformInfo &TTI)
Detect concat of multiple values into a vector.
static void analyzeCostOfVecReduction(const IntrinsicInst &II, TTI::TargetCostKind CostKind, const TargetTransformInfo &TTI, InstructionCost &CostBeforeReduction, InstructionCost &CostAfterReduction)
static Value * generateNewInstTree(ArrayRef< InstLane > Item, Use *From, const DenseSet< std::pair< Value *, Use * > > &IdentityLeafs, const DenseSet< std::pair< Value *, Use * > > &SplatLeafs, const DenseSet< std::pair< Value *, Use * > > &ConcatLeafs, IRBuilderBase &Builder, InstructionWorklist &WorkList, const TargetTransformInfo *TTI)
static SmallVector< InstLane > generateInstLaneVectorFromOperand(ArrayRef< InstLane > Item, int Op)
static Value * createShiftShuffle(Value *Vec, unsigned OldIndex, unsigned NewIndex, IRBuilderBase &Builder)
Create a shuffle that translates (shifts) 1 element from the input vector to a new element location.
std::pair< Value *, int > InstLane
static bool isKnownNonPositive(const Value *V, const SimplifyQuery &SQ, unsigned Depth=0)
Used by foldReduceAddCmpZero to check if we can prove that a value is non-positive.
static Value * materializeScalarizedGEPIndex(Value *Idx, IntegerType *GEPIndexTy, IRBuilderBase &Builder)
Materialize an index for a scalarized GEP after profitability is known.
static Align computeAlignmentAfterScalarization(Align VectorAlignment, Type *ScalarType, Value *Idx, const DataLayout &DL)
The memory operation on a vector of ScalarType had alignment of VectorAlignment.
static bool feedsIntoVectorReduction(ShuffleVectorInst *SVI)
Returns true if this ShuffleVectorInst eventually feeds into a vector reduction intrinsic (e....
static cl::opt< bool > DisableVectorCombine("disable-vector-combine", cl::init(false), cl::Hidden, cl::desc("Disable all vector combine transforms"))
static bool canWidenLoad(LoadInst *Load, const TargetTransformInfo &TTI)
static const unsigned InvalidIndex
static IntegerType * getScalarizedGEPIndexInfo(VectorType *VecTy, Value *Idx, Type *PtrTy, const DataLayout &DL)
Return the GEP index type if the unsigned vector index Idx can be represented by an inbounds GEP.
static Value * translateExtract(ExtractElementInst *ExtElt, unsigned NewIndex, IRBuilderBase &Builder)
Given an extract element instruction with constant index operand, shuffle the source vector (shift th...
static ScalarizationResult canScalarizeAccess(VectorType *VecTy, Value *Idx, const SimplifyQuery &SQ)
Check if it is legal to scalarize a memory access to VecTy at index Idx.
static cl::opt< unsigned > MaxInstrsToScan("vector-combine-max-scan-instrs", cl::init(30), cl::Hidden, cl::desc("Max number of instructions to scan for vector combining."))
static cl::opt< bool > DisableBinopExtractShuffle("disable-binop-extract-shuffle", cl::init(false), cl::Hidden, cl::desc("Disable binop extract to shuffle transforms"))
static unsigned getAlignedNumElements(unsigned MaxIdx, FixedVectorType *LoadTy, const TargetTransformInfo &TTI, const DataLayout &DL)
Given the maximum shuffle index and load vector type, compute the number of elements for the shrunk l...
static InstLane lookThroughShuffles(Value *V, int Lane)
static bool isMemModifiedBetween(BasicBlock::iterator Begin, BasicBlock::iterator End, const MemoryLocation &Loc, AAResults &AA)
static constexpr int Concat[]
A manager for alias analyses.
Class for arbitrary precision integers.
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
uint64_t getZExtValue() const
Get zero extended value.
bool isAllOnes() const
Determine if all bits are set. This is true for zero-width values.
bool ugt(const APInt &RHS) const
Unsigned greater than comparison.
bool isZero() const
Determine if this value is zero, i.e. all bits are clear.
unsigned getBitWidth() const
Return the number of bits in the APInt.
static APInt getSignedMaxValue(unsigned numBits)
Gets maximum signed value of APInt for a specific bit width.
bool isNegative() const
Determine sign of this APInt.
unsigned countl_one() const
Count the number of leading one bits.
LLVM_ABI APInt sext(unsigned width) const
Sign extend to a new width.
static APInt getLowBitsSet(unsigned numBits, unsigned loBitsSet)
Constructs an APInt value that has the bottom loBitsSet bits set.
static APInt getHighBitsSet(unsigned numBits, unsigned hiBitsSet)
Constructs an APInt value that has the top hiBitsSet bits set.
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
bool isOne() const
Determine if this is a value of 1.
static APInt getOneBitSet(unsigned numBits, unsigned BitNo)
Return an APInt with exactly one bit set in the result.
bool uge(const APInt &RHS) const
Unsigned greater or equal comparison.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
const T & front() const
Get the first element.
size_t size() const
Get the array size.
A function analysis which provides an AssumptionCache.
A cache of @llvm.assume calls within a function.
InstListType::iterator iterator
Instruction iterators...
BinaryOps getOpcode() const
Represents analyses that only rely on functions' control flow.
Value * getArgOperand(unsigned i) const
void addParamAttrs(unsigned ArgNo, const AttrBuilder &B)
Adds attributes to the indicated argument.
static LLVM_ABI CastInst * Create(Instruction::CastOps, Value *S, Type *Ty, const Twine &Name="", InsertPosition InsertBefore=nullptr)
Provides a way to construct any of the CastInst subclasses using an opcode instead of the subclass's ...
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
bool isFPPredicate() const
static LLVM_ABI std::optional< CmpPredicate > getMatching(CmpPredicate A, CmpPredicate B)
Compares two CmpPredicates taking samesign into account and returns the canonicalized CmpPredicate if...
static LLVM_ABI Constant * getExtractElement(Constant *Vec, Constant *Idx, Type *OnlyIfReducedTy=nullptr)
static LLVM_ABI Constant * getBinOpIdentity(unsigned Opcode, Type *Ty, bool AllowRHSConstant=false, bool NSZ=false)
Return the identity constant for a binary opcode.
This is the shared class of boolean and integer constants.
const APInt & getValue() const
Return the constant as an APInt value reference.
This class represents a range of values.
LLVM_ABI ConstantRange urem(const ConstantRange &Other) const
Return a new range representing the possible values resulting from an unsigned remainder operation of...
LLVM_ABI ConstantRange binaryAnd(const ConstantRange &Other) const
Return a new range representing the possible values resulting from a binary-and of a value in this ra...
LLVM_ABI bool contains(const APInt &Val) const
Return true if the specified value is in the set.
static LLVM_ABI Constant * getSplat(ElementCount EC, Constant *Elt)
Return a ConstantVector with the specified constant in each element.
static LLVM_ABI Constant * get(ArrayRef< Constant * > V)
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
A parsed version of the target data layout string in and methods for querying it.
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.
iterator find(const_arg_type_t< KeyT > Val)
std::pair< iterator, bool > try_emplace(KeyT &&Key, Ts &&...Args)
Implements a dense probed hash-table based set.
Analysis pass which computes a DominatorTree.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
LLVM_ABI bool isReachableFromEntry(const Use &U) const
Provide an overload for a Use.
LLVM_ABI bool dominates(const BasicBlock *BB, const Use &U) const
Return true if the (end of the) basic block BB dominates the use U.
static constexpr ElementCount get(ScalarTy MinVal, bool Scalable)
Convenience struct for specifying and reasoning about fast-math flags.
bool noSignedZeros() const
Class to represent fixed width SIMD vectors.
unsigned getNumElements() const
static FixedVectorType * getDoubleElementsVectorType(FixedVectorType *VTy)
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
Predicate getSignedPredicate() const
For example, EQ->EQ, SLE->SLE, UGT->SGT, etc.
bool isEquality() const
Return true if this predicate is either EQ or NE.
Common base class shared among various IRBuilders.
LLVM_ABI CallInst * CreateIntrinsicWithoutFolding(Intrinsic::ID ID, ArrayRef< Type * > OverloadTypes, ArrayRef< Value * > Args, FMFSource FMFSource={}, const Twine &Name="", ArrayRef< OperandBundleDef > OpBundles={})
Create a call to intrinsic ID with Args, mangled using OverloadTypes.
Value * CreateNUWMul(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateInsertElement(Type *VecTy, Value *NewElt, Value *Idx, const Twine &Name="")
Value * CreateExtractElement(Value *Vec, Value *Idx, const Twine &Name="")
LoadInst * CreateAlignedLoad(Type *Ty, Value *Ptr, MaybeAlign Align, const char *Name)
LLVM_ABI Value * CreateSelectFMF(Value *C, Value *True, Value *False, FMFSource FMFSource, const Twine &Name="", Instruction *MDFrom=nullptr)
LLVM_ABI Value * CreateVectorSplat(unsigned NumElts, Value *V, const Twine &Name="")
Return a vector value that contains.
Value * CreateExtractValue(Value *Agg, ArrayRef< unsigned > Idxs, const Twine &Name="")
ConstantInt * getTrue()
Get the constant value for i1 true.
LLVM_ABI Value * CreateSelect(Value *C, Value *True, Value *False, const Twine &Name="", Instruction *MDFrom=nullptr)
Value * CreateFreeze(Value *V, const Twine &Name="")
void SetCurrentDebugLocation(const DebugLoc &L)
Set location information used by debugging information.
Value * CreateLShr(Value *LHS, Value *RHS, const Twine &Name="", bool isExact=false)
Value * CreateCast(Instruction::CastOps Op, Value *V, Type *DestTy, const Twine &Name="", MDNode *FPMathTag=nullptr, FMFSource FMFSource={})
Value * CreateIsNotNeg(Value *Arg, const Twine &Name="")
Return a boolean value testing if Arg > -1.
Value * CreateInBoundsGEP(Type *Ty, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &Name="")
Value * CreatePointerBitCastOrAddrSpaceCast(Value *V, Type *DestTy, const Twine &Name="")
ConstantInt * getInt64(uint64_t C)
Get a constant 64-bit value.
LLVM_ABI Value * CreateOrReduce(Value *Src)
Create a vector int OR reduction intrinsic of the source vector.
ConstantInt * getInt32(uint32_t C)
Get a constant 32-bit value.
Value * CreateCmp(CmpInst::Predicate Pred, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
PHINode * CreatePHI(Type *Ty, unsigned NumReservedValues, const Twine &Name="")
InstTy * Insert(InstTy *I, const Twine &Name="") const
Insert and return the specified instruction.
Value * CreateIsNeg(Value *Arg, const Twine &Name="")
Return a boolean value testing if Arg < 0.
Value * CreateBitCast(Value *V, Type *DestTy, const Twine &Name="")
LoadInst * CreateLoad(Type *Ty, Value *Ptr, const char *Name)
Provided to resolve 'CreateLoad(Ty, Ptr, "...")' correctly, instead of converting the string to 'bool...
Value * CreateShl(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
LLVM_ABI Value * CreateNAryOp(unsigned Opc, ArrayRef< Value * > Ops, const Twine &Name="", MDNode *FPMathTag=nullptr)
Create either a UnaryOperator or BinaryOperator depending on Opc.
Value * CreateZExt(Value *V, Type *DestTy, const Twine &Name="", bool IsNonNeg=false)
Value * CreateShuffleVector(Value *V1, Value *V2, Value *Mask, const Twine &Name="")
Value * CreateAnd(Value *LHS, Value *RHS, const Twine &Name="")
LLVM_ABI Value * CreateIntrinsic(Intrinsic::ID ID, ArrayRef< Type * > OverloadTypes, ArrayRef< Value * > Args, FMFSource FMFSource={}, const Twine &Name="", ArrayRef< OperandBundleDef > OpBundles={}, function_ref< void(CallInst *)> SetFn=[](CallInst *) {})
Variant to create a possibly constant-folded intrinsic.
StoreInst * CreateStore(Value *Val, Value *Ptr, bool isVolatile=false)
Value * CreateTrunc(Value *V, Type *DestTy, const Twine &Name="", bool IsNUW=false, bool IsNSW=false)
PointerType * getPtrTy(unsigned AddrSpace=0)
Fetch the type representing a pointer.
Value * CreateBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
void SetInsertPoint(BasicBlock *TheBB)
This specifies that created instructions should be appended to the end of the specified block.
Value * CreateFNegFMF(Value *V, FMFSource FMFSource, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateICmp(CmpInst::Predicate P, Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateOr(Value *LHS, Value *RHS, const Twine &Name="", bool IsDisjoint=false)
IntegerType * getInt8Ty()
Fetch the type representing an 8-bit integer.
LLVM_ABI Value * CreateUnaryIntrinsic(Intrinsic::ID ID, Value *Op, FMFSource FMFSource={}, const Twine &Name="")
Create a call to intrinsic ID with 1 operand which is mangled on its type.
InstSimplifyFolder - Use InstructionSimplify to fold operations to existing values.
CostType getValue() const
This function is intended to be used as sparingly as possible, since the class provides the full rang...
InstructionWorklist - This is the worklist management logic for InstCombine and other simplification ...
void push(Instruction *I)
Push the instruction onto the worklist stack.
LLVM_ABI void setHasNoUnsignedWrap(bool b=true)
Set or clear the nuw flag on this instruction, which must be an operator which supports this flag.
LLVM_ABI void copyIRFlags(const Value *V, bool IncludeWrapFlags=true)
Convenience method to copy supported exact, fast-math, and (optionally) wrapping flags from V to this...
LLVM_ABI void setHasNoSignedWrap(bool b=true)
Set or clear the nsw flag on this instruction, which must be an operator which supports this flag.
const DebugLoc & getDebugLoc() const
Return the debug location for this node as a DebugLoc.
LLVM_ABI void andIRFlags(const Value *V)
Logical 'and' of any supported wrapping, exact, and fast-math flags of V and this instruction.
LLVM_ABI void setNonNeg(bool b=true)
Set or clear the nneg flag on this instruction, which must be a zext instruction.
LLVM_ABI bool comesBefore(const Instruction *Other) const
Given an instruction Other in the same basic block as this instruction, return true if this instructi...
LLVM_ABI void setMetadata(unsigned KindID, MDNode *Node)
Set the metadata of the specified kind to the specified node.
LLVM_ABI FastMathFlags getFastMathFlags() const LLVM_READONLY
Convenience function for getting all the fast-math flags, which must be an operator which supports th...
LLVM_ABI AAMDNodes getAAMetadata() const
Returns the AA metadata for this instruction.
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
bool isIdempotent() const
Return true if the instruction is idempotent:
LLVM_ABI void copyMetadata(const Instruction &SrcInst, ArrayRef< unsigned > WL=ArrayRef< unsigned >())
Copy metadata from SrcInst to this instruction.
LLVM_ABI bool hasAllowReassoc() const LLVM_READONLY
Determine whether the allow-reassociation flag is set.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
unsigned getBitWidth() const
Get the number of bits in this IntegerType.
A wrapper class for inspecting calls to intrinsic functions.
Intrinsic::ID getIntrinsicID() const
Return the intrinsic ID of this intrinsic.
An instruction for reading from memory.
unsigned getPointerAddressSpace() const
Returns the address space of the pointer operand.
void setAlignment(Align Align)
Type * getPointerOperandType() const
Align getAlign() const
Return the alignment of the access that is being performed.
Representation for a specific memory location.
static LLVM_ABI MemoryLocation get(const LoadInst *LI)
Return a location with information about the memory reference by the given instruction.
void addIncoming(Value *V, BasicBlock *BB)
Add an incoming value to the end of the PHI list.
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
PreservedAnalyses & preserveSet()
Mark an analysis set as preserved.
const SDValue & getOperand(unsigned Num) const
bool contains(const_arg_type key) const
Check if the SetVector contains the given key.
bool empty() const
Determine if the SetVector is empty or not.
bool insert(const value_type &X)
Insert a new element into the SetVector.
This instruction constructs a fixed permutation of two input vectors.
int getMaskValue(unsigned Elt) const
Return the shuffle mask value of this instruction for the given element index.
VectorType * getType() const
Overload to return most specific vector type.
static LLVM_ABI void getShuffleMask(const Constant *Mask, SmallVectorImpl< int > &Result)
Convert the input shuffle mask operand to a vector of integers.
static LLVM_ABI bool isIdentityMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask chooses elements from exactly one source vector without lane crossin...
static void commuteShuffleMask(MutableArrayRef< int > Mask, unsigned InVecNumElts)
Change values in a shuffle permute mask assuming the two vector operands of length InVecNumElts have ...
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.
void assign(size_type NumElts, ValueParamT Elt)
reference emplace_back(ArgTypes &&... Args)
void reserve(size_type N)
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
void setAlignment(Align Align)
Analysis pass providing the TargetTransformInfo.
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM_ABI unsigned getIntegerBitWidth() const
bool isPointerTy() const
True if this is an instance of PointerType.
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
LLVM_ABI TypeSize getPrimitiveSizeInBits() const LLVM_READONLY
Return the basic size of this type if it is a primitive type.
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
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.
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
A Use represents the edge between a Value definition and its users.
Value * getOperand(unsigned i) const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
const Value * stripAndAccumulateInBoundsConstantOffsets(const DataLayout &DL, APInt &Offset) const
This is a wrapper around stripAndAccumulateConstantOffsets with the in-bounds requirement set to fals...
LLVM_ABI bool hasOneUser() const
Return true if there is exactly one user of this value.
bool hasOneUse() const
Return true if there is exactly one use of this value.
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
iterator_range< user_iterator > users()
LLVM_ABI Align getPointerAlignment(const DataLayout &DL) const
Returns an alignment of the pointer value.
unsigned getValueID() const
Return an ID for the concrete type of this object.
LLVM_ABI bool hasNUses(unsigned N) const
Return true if this Value has exactly N uses.
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
LLVM_ABI PreservedAnalyses run(Function &F, FunctionAnalysisManager &)
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
Type * getElementType() const
std::pair< iterator, bool > insert(const ValueT &V)
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...
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
constexpr bool isZero() const
const ParentTy * getParent() const
self_iterator getIterator()
NodeTy * getNextNode()
Get the next node, or nullptr for the list tail.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Abstract Attribute helper functions.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
const APInt & smin(const APInt &A, const APInt &B)
Determine the smaller of two APInts considered to be signed.
const APInt & smax(const APInt &A, const APInt &B)
Determine the larger of two APInts considered to be signed.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
@ BasicBlock
Various leaf nodes.
LLVM_ABI Intrinsic::ID getInterleaveIntrinsicID(unsigned Factor)
Returns the corresponding llvm.vector.interleaveN intrinsic for factor N.
SpecificConstantMatch m_ZeroInt()
Convenience matchers for specific integer values.
BinaryOp_match< SpecificConstantMatch, SrcTy, TargetOpcode::G_SUB > m_Neg(const SrcTy &&Src)
Matches a register negated by a G_SUB.
AllOnesConstantMatch m_AllOnes()
OneUse_match< SubPat > m_OneUse(const SubPat &SP)
match_combine_and< Ty... > m_CombineAnd(const Ty &...Ps)
Combine pattern matchers matching all of Ps patterns.
BinaryOp_match< LHS, RHS, Instruction::And > m_And(const LHS &L, const RHS &R)
auto m_BSwap(const Opnd0 &Op0)
auto m_Cmp()
Matches any compare instruction and ignore it.
BinaryOp_match< LHS, RHS, Instruction::Add > m_Add(const LHS &L, const RHS &R)
auto m_BitReverse(const Opnd0 &Op0)
BinaryOp_match< LHS, RHS, Instruction::URem > m_URem(const LHS &L, const RHS &R)
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.
specific_intval< false > m_SpecificInt(const APInt &V)
Match a specific integer value or vector with all elements equal to the value.
bool match(Val *V, const Pattern &P)
match_bind< Instruction > m_Instruction(Instruction *&I)
Match an instruction, capturing it if we match.
specificval_ty m_Specific(const Value *V)
Match if we have a specific specified value.
DisjointOr_match< LHS, RHS > m_DisjointOr(const LHS &L, const RHS &R)
BinOpPred_match< LHS, RHS, is_right_shift_op > m_Shr(const LHS &L, const RHS &R)
Matches logical shift operations.
CmpClass_match< LHS, RHS, ICmpInst, true > m_c_ICmp(CmpPredicate &Pred, const LHS &L, const RHS &R)
Matches an ICmp with a predicate over LHS and RHS in either order.
TwoOps_match< Val_t, Idx_t, Instruction::ExtractElement > m_ExtractElt(const Val_t &Val, const Idx_t &Idx)
Matches ExtractElementInst.
ThreeOps_match< Cond, LHS, RHS, Instruction::Select > m_Select(const Cond &C, const LHS &L, const RHS &R)
Matches SelectInst.
auto m_BinOp()
Match an arbitrary binary operation and ignore it.
auto m_Value()
Match an arbitrary value and ignore it.
BinaryOp_match< LHS, RHS, Instruction::Mul > m_Mul(const LHS &L, const RHS &R)
auto m_Constant()
Match an arbitrary Constant and ignore it.
TwoOps_match< V1_t, V2_t, Instruction::ShuffleVector > m_Shuffle(const V1_t &v1, const V2_t &v2)
Matches ShuffleVectorInst independently of mask value.
cst_pred_ty< is_non_zero_int > m_NonZeroInt()
Match a non-zero integer or a vector with all non-zero elements.
OneOps_match< OpTy, Instruction::Load > m_Load(const OpTy &Op)
Matches LoadInst.
CastInst_match< OpTy, ZExtInst > m_ZExt(const OpTy &Op)
Matches ZExt.
OverflowingBinaryOp_match< LHS, RHS, Instruction::Shl, OverflowingBinaryOperator::NoUnsignedWrap > m_NUWShl(const LHS &L, const RHS &R)
auto m_AnyIntrinsic()
Matches any intrinsic call and ignore it.
OverflowingBinaryOp_match< LHS, RHS, Instruction::Mul, OverflowingBinaryOperator::NoUnsignedWrap > m_NUWMul(const LHS &L, const RHS &R)
BinOpPred_match< LHS, RHS, is_bitwiselogic_op, true > m_c_BitwiseLogic(const LHS &L, const RHS &R)
Matches bitwise logic operations in either order.
CastOperator_match< OpTy, Instruction::BitCast > m_BitCast(const OpTy &Op)
Matches BitCast.
match_combine_or< CastInst_match< OpTy, SExtInst >, NNegZExt_match< OpTy > > m_SExtLike(const OpTy &Op)
Match either "sext" or "zext nneg".
auto m_Intrinsic(const Ts &...Ops)
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
auto m_Deinterleave2(const Opnd &Op)
BinaryOp_match< LHS, RHS, Instruction::LShr > m_LShr(const LHS &L, const RHS &R)
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::Shl > m_Shl(const LHS &L, const RHS &R)
auto m_Undef()
Match an arbitrary undef constant.
CastInst_match< OpTy, SExtInst > m_SExt(const OpTy &Op)
Matches SExt.
is_zero m_Zero()
Match any null constant or a vector with all elements equal to 0.
BinaryOp_match< LHS, RHS, Instruction::Or, true > m_c_Or(const LHS &L, const RHS &R)
Matches an Or with LHS and RHS in either order.
ThreeOps_match< Val_t, Elt_t, Idx_t, Instruction::InsertElement > m_InsertElt(const Val_t &Val, const Elt_t &Elt, const Idx_t &Idx)
Matches InsertElementInst.
auto m_ConstantInt()
Match an arbitrary ConstantInt and ignore it.
@ Valid
The data is already valid.
initializer< Ty > init(const Ty &Val)
DXILDebugInfoMap run(Module &M)
@ User
could "use" a pointer
NodeAddr< PhiNode * > Phi
NodeAddr< UseNode * > Use
friend class Instruction
Iterator for Instructions in a `BasicBlock.
unsigned getOpcode(const VPValue *V)
Return the instruction opcode for the recipe defining V or 0 for unsupported recipes and VPValues not...
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.
unsigned Log2_32_Ceil(uint32_t Value)
Return the ceil log base 2 of the specified value, 32 if the value is zero.
LLVM_ABI bool willNotFreeBetween(const Instruction *Assume, const Instruction *CtxI)
Returns true, if no instruction between Assume and CtxI may free (including through synchronization).
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
void stable_sort(R &&Range)
LLVM_ABI cl::opt< bool > ProfcheckDisableMetadataFixes
UnaryFunction for_each(R &&Range, UnaryFunction F)
Provide wrappers to std::for_each 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.
LLVM_ABI Intrinsic::ID getMinMaxReductionIntrinsicOp(Intrinsic::ID RdxID)
Returns the min/max intrinsic used when expanding a min/max reduction.
LLVM_ABI bool RecursivelyDeleteTriviallyDeadInstructions(Value *V, const TargetLibraryInfo *TLI=nullptr, MemorySSAUpdater *MSSAU=nullptr, std::function< void(Value *)> AboutToDeleteCallback=std::function< void(Value *)>())
If the specified value is a trivially dead instruction, delete it.
RelativeUniformCounterPtr Values
LLVM_ABI SDValue peekThroughBitcasts(SDValue V)
Return the non-bitcasted source operand of V if it exists.
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.
LLVM_ABI Value * simplifyUnOp(unsigned Opcode, Value *Op, const SimplifyQuery &Q)
Given operand for a UnaryOperator, fold the result or return null.
scope_exit(Callable) -> scope_exit< Callable >
@ Load
The value being inserted comes from a load (InsertElement only).
auto map_to_vector(ContainerTy &&C, FuncTy &&F)
Map a range to a SmallVector with element types deduced from the mapping.
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
LLVM_ABI unsigned getArithmeticReductionInstruction(Intrinsic::ID RdxID)
Returns the arithmetic instruction opcode used when expanding a reduction.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
constexpr bool isUIntN(unsigned N, uint64_t x)
Checks if an unsigned integer fits into the given (dynamic) bit width.
LLVM_ABI Value * simplifyCall(CallBase *Call, Value *Callee, ArrayRef< Value * > Args, const SimplifyQuery &Q)
Given a callsite, callee, and arguments, fold the result or return null.
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...
LLVM_ABI bool mustSuppressSpeculation(const LoadInst &LI)
Return true if speculation of the given load must be suppressed to avoid ordering or interfering with...
LLVM_ABI bool widenShuffleMaskElts(int Scale, ArrayRef< int > Mask, SmallVectorImpl< int > &ScaledMask)
Try to transform a shuffle mask by replacing elements with the scaled index for an equivalent mask of...
LLVM_ABI bool isSafeToSpeculativelyExecute(const Instruction *I, const Instruction *CtxI=nullptr, AssumptionCache *AC=nullptr, const DominatorTree *DT=nullptr, const TargetLibraryInfo *TLI=nullptr, bool UseVariableInfo=true, bool IgnoreUBImplyingAttrs=true)
Return true if the instruction does not have any effects besides calculating the result and does not ...
LLVM_ABI Instruction * propagateMetadata(Instruction *I, ArrayRef< Value * > VL)
Specifically, let Kinds = [MD_tbaa, MD_alias_scope, MD_noalias, MD_fpmath, MD_nontemporal,...
LLVM_ABI Value * getSplatValue(const Value *V)
Get splat value if the input is a splat vector or return nullptr.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
unsigned M1(unsigned Val)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI bool isInstructionTriviallyDead(Instruction *I, const TargetLibraryInfo *TLI=nullptr)
Return true if the result produced by the instruction is not used, and the instruction will return.
LLVM_ABI bool isSplatValue(const Value *V, int Index=-1, unsigned Depth=0)
Return true if each element of the vector value V is poisoned or equal to every other non-poisoned el...
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
auto reverse(ContainerTy &&C)
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
bool isModSet(const ModRefInfo MRI)
void sort(IteratorTy Start, IteratorTy End)
LLVM_ABI void computeKnownBits(const Value *V, KnownBits &Known, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CxtI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Determine which bits of V are known to be either zero or one and return them in the KnownZero/KnownOn...
LLVM_ABI bool programUndefinedIfPoison(const Instruction *Inst)
LLVM_ABI unsigned getDeinterleaveIntrinsicFactor(Intrinsic::ID ID)
Returns the corresponding factor of llvm.vector.deinterleaveN intrinsics.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
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...
LLVM_ABI void propagateIRFlags(Value *I, ArrayRef< Value * > VL, Value *OpValue=nullptr, bool IncludeWrapFlags=true)
Get the intersection (logical and) of all of the potential IR flags of each scalar operation (VL) tha...
MutableArrayRef(T &OneElt) -> MutableArrayRef< T >
constexpr int PoisonMaskElem
IRBuilder(LLVMContext &, FolderTy, InserterTy, MDNode *, ArrayRef< OperandBundleDef >) -> IRBuilder< FolderTy, InserterTy >
LLVM_ABI Value * simplifyBinOp(unsigned Opcode, Value *LHS, Value *RHS, const SimplifyQuery &Q)
Given operands for a BinaryOperator, fold the result or return null.
LLVM_ABI void narrowShuffleMaskElts(int Scale, ArrayRef< int > Mask, SmallVectorImpl< int > &ScaledMask)
Replace each shuffle mask index with the scaled sequential indices for an equivalent mask of narrowed...
LLVM_ABI Intrinsic::ID getReductionForBinop(Instruction::BinaryOps Opc)
Returns the reduction intrinsic id corresponding to the binary operation.
@ And
Bitwise or logical AND of integers.
LLVM_ABI bool isVectorIntrinsicWithScalarOpAtArg(Intrinsic::ID ID, unsigned ScalarOpdIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic has a scalar operand.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Count
DWARFExpression::Operation Op
unsigned M0(unsigned Val)
ArrayRef(const T &OneElt) -> ArrayRef< T >
LLVM_ABI unsigned ComputeNumSignBits(const Value *Op, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CxtI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Return the number of times the sign bit of the register is replicated into the other bits.
constexpr unsigned BitWidth
LLVM_ABI bool isGuaranteedToTransferExecutionToSuccessor(const Instruction *I)
Return true if this function can prove that the instruction I will always transfer execution to one o...
LLVM_ABI Constant * getLosslessInvCast(Constant *C, Type *InvCastTo, unsigned CastOp, const DataLayout &DL, PreservedCastFlags *Flags=nullptr)
Try to cast C to InvC losslessly, satisfying CastOp(InvC) equals C, or CastOp(InvC) is a refined valu...
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
constexpr bool isIntN(unsigned N, int64_t x)
Checks if an signed integer fits into the given (dynamic) bit width.
LLVM_ABI bool isSafeToLoadUnconditionally(Value *V, Align Alignment, const APInt &Size, const SimplifyQuery &SQ)
Return true if we know that executing a load from this value cannot trap.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Next
bool all_equal(std::initializer_list< T > Values)
Returns true if all Values in the initializer lists are equal or the list.
LLVM_ABI Value * simplifyCmpInst(CmpPredicate Predicate, Value *LHS, Value *RHS, const SimplifyQuery &Q)
Given operands for a CmpInst, fold the result or return null.
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
LLVM_ABI bool isGuaranteedNotToBePoison(const Value *V, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, unsigned Depth=0)
Returns true if V cannot be poison, but may be undef.
LLVM_ABI bool isKnownNonNegative(const Value *V, const SimplifyQuery &SQ, unsigned Depth=0)
Returns true if the give value is known to be non-negative.
LLVM_ABI bool isTriviallyVectorizable(Intrinsic::ID ID)
Identify if the intrinsic is trivially vectorizable.
LLVM_ABI Intrinsic::ID getMinMaxReductionIntrinsicID(Intrinsic::ID IID)
Returns the llvm.vector.reduce min/max intrinsic that corresponds to the intrinsic op.
LLVM_ABI ConstantRange computeConstantRange(const Value *V, bool ForSigned, const SimplifyQuery &SQ, unsigned Depth=0)
Determine the possible constant range of an integer or vector of integer value.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
LLVM_ABI AAMDNodes adjustForAccess(unsigned AccessSize)
Create a new AAMDNode for accessing AccessSize bytes of this AAMDNode.
This struct is a compact representation of a valid (non-zero power of two) alignment.
unsigned countMaxActiveBits() const
Returns the maximum number of bits needed to represent all possible unsigned values with these known ...
unsigned countMinLeadingZeros() const
Returns the minimum number of leading zero bits.
APInt getMaxValue() const
Return the maximal unsigned value possible given these KnownBits.
SimplifyQuery getWithInstruction(const Instruction *I) const