47#define LV_NAME "loop-vectorize"
48#define DEBUG_TYPE LV_NAME
54 case VPInstructionSC: {
57 if (VPI->getOpcode() == Instruction::Load)
59 return VPI->opcodeMayReadOrWriteFromMemory();
61 case VPInterleaveEVLSC:
64 case VPWidenStoreEVLSC:
72 ->getCalledScalarFunction()
74 case VPWidenIntrinsicSC:
76 case VPActiveLaneMaskPHISC:
77 case VPCurrentIterationPHISC:
78 case VPBranchOnMaskSC:
80 case VPFirstOrderRecurrencePHISC:
81 case VPReductionPHISC:
82 case VPScalarIVStepsSC:
86 case VPReductionEVLSC:
88 case VPVectorPointerSC:
89 case VPWidenCanonicalIVSC:
92 case VPWidenIntOrFpInductionSC:
93 case VPWidenLoadEVLSC:
96 case VPWidenPointerInductionSC:
101 assert((!
I || !
I->mayWriteToMemory()) &&
102 "underlying instruction may write to memory");
114 case VPInstructionSC:
116 case VPWidenLoadEVLSC:
121 ->mayReadFromMemory();
124 ->getCalledScalarFunction()
125 ->onlyWritesMemory();
126 case VPWidenIntrinsicSC:
128 case VPBranchOnMaskSC:
130 case VPCurrentIterationPHISC:
131 case VPFirstOrderRecurrencePHISC:
132 case VPReductionPHISC:
133 case VPPredInstPHISC:
134 case VPScalarIVStepsSC:
135 case VPWidenStoreEVLSC:
139 case VPReductionEVLSC:
141 case VPVectorPointerSC:
142 case VPWidenCanonicalIVSC:
145 case VPWidenIntOrFpInductionSC:
147 case VPWidenPointerInductionSC:
152 assert((!
I || !
I->mayReadFromMemory()) &&
153 "underlying instruction may read from memory");
166 case VPActiveLaneMaskPHISC:
168 case VPCurrentIterationPHISC:
169 case VPFirstOrderRecurrencePHISC:
170 case VPReductionPHISC:
171 case VPPredInstPHISC:
172 case VPVectorEndPointerSC:
174 case VPInstructionSC: {
181 case VPWidenCallSC: {
185 case VPWidenIntrinsicSC:
188 case VPReductionEVLSC:
190 case VPScalarIVStepsSC:
191 case VPVectorPointerSC:
192 case VPWidenCanonicalIVSC:
195 case VPWidenIntOrFpInductionSC:
197 case VPWidenPointerInductionSC:
202 assert((!
I || !
I->mayHaveSideEffects()) &&
203 "underlying instruction has side-effects");
206 case VPInterleaveEVLSC:
209 case VPWidenLoadEVLSC:
211 case VPWidenStoreEVLSC:
216 "mayHaveSideffects result for ingredient differs from this "
219 case VPReplicateSC: {
221 return R->getUnderlyingInstr()->mayHaveSideEffects();
229 assert(!Parent &&
"Recipe already in some VPBasicBlock");
231 "Insertion position not in any VPBasicBlock");
237 assert(!Parent &&
"Recipe already in some VPBasicBlock");
243 assert(!Parent &&
"Recipe already in some VPBasicBlock");
245 "Insertion position not in any VPBasicBlock");
280 UI = IG->getInsertPos();
282 UI = &WidenMem->getIngredient();
285 if (UI && Ctx.skipCostComputation(UI, VF.
isVector())) {
299 dbgs() <<
"Cost of " << RecipeCost <<
" for VF " << VF <<
": ";
321 assert(OpType == Other.OpType &&
"OpType must match");
323 case OperationType::OverflowingBinOp:
324 WrapFlags.HasNUW &= Other.WrapFlags.HasNUW;
325 WrapFlags.HasNSW &= Other.WrapFlags.HasNSW;
327 case OperationType::Trunc:
331 case OperationType::DisjointOp:
334 case OperationType::PossiblyExactOp:
335 ExactFlags.IsExact &= Other.ExactFlags.IsExact;
337 case OperationType::GEPOp:
340 case OperationType::FPMathOp:
341 case OperationType::FCmp:
342 assert((OpType != OperationType::FCmp ||
343 FCmpFlags.CmpPredStorage == Other.FCmpFlags.CmpPredStorage) &&
344 "Cannot drop CmpPredicate");
345 getFMFsRef().NoNaNs &= Other.getFMFsRef().NoNaNs;
346 getFMFsRef().NoInfs &= Other.getFMFsRef().NoInfs;
348 case OperationType::NonNegOp:
351 case OperationType::Cmp:
353 "Cannot drop CmpPredicate");
355 case OperationType::ReductionOp:
357 "Cannot change RecurKind");
359 "Cannot change IsOrdered");
361 "Cannot change IsInLoop");
362 getFMFsRef().NoNaNs &= Other.getFMFsRef().NoNaNs;
363 getFMFsRef().NoInfs &= Other.getFMFsRef().NoInfs;
365 case OperationType::Other:
371 assert((OpType == OperationType::FPMathOp || OpType == OperationType::FCmp ||
372 OpType == OperationType::ReductionOp ||
373 OpType == OperationType::Other) &&
374 "recipe doesn't have fast math flags");
375 if (OpType == OperationType::Other)
377 const FastMathFlagsTy &
F = getFMFsRef();
389#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
405template <
unsigned PartOpIdx>
408 if (U.getNumOperands() == PartOpIdx + 1)
409 return U.getOperand(PartOpIdx);
413template <
unsigned PartOpIdx>
432 "Set flags not supported for the provided opcode");
434 "Opcode requires specific flags to be set");
438 "number of operands does not match opcode");
452 "expected function operand");
473 case Instruction::Alloca:
474 case Instruction::ExtractValue:
475 case Instruction::Freeze:
476 case Instruction::Load:
490 case Instruction::ICmp:
491 case Instruction::FCmp:
492 case Instruction::ExtractElement:
493 case Instruction::Store:
504 case Instruction::Select:
508 case Instruction::Call:
510 case Instruction::GetElementPtr:
511 case Instruction::PHI:
512 case Instruction::Switch:
534bool VPInstruction::canGenerateScalarForFirstLane()
const {
540 case Instruction::Freeze:
541 case Instruction::ICmp:
542 case Instruction::PHI:
543 case Instruction::Select:
560 IRBuilderBase &Builder = State.
Builder;
579 case Instruction::ExtractElement: {
582 return State.
get(
getOperand(0), VPLane(Idx->getZExtValue()));
587 case Instruction::Freeze: {
591 case Instruction::FCmp:
592 case Instruction::ICmp: {
598 case Instruction::PHI: {
601 case Instruction::Select: {
627 {VIVElem0, ScalarTC},
nullptr, Name);
643 if (!V1->getType()->isVectorTy())
663 "Requested vector length should be an integer.");
669 Builder.
getInt32Ty(), Intrinsic::experimental_get_vector_length,
670 {AVL, VFArg, Builder.getTrue()});
679 VPBasicBlock *SecondVPSucc =
701 for (
unsigned FieldIndex = 0; FieldIndex != StructTy->getNumElements();
725 IRBuilderBase::FastMathFlagGuard FMFG(Builder);
740 "FindIV should use min/max reduction kinds");
745 for (
unsigned Part = 0; Part < NumOperandsToReduce; ++Part)
748 IRBuilderBase::FastMathFlagGuard FMFG(Builder);
752 Value *ReducedPartRdx = RdxParts[0];
754 ReducedPartRdx = RdxParts[NumOperandsToReduce - 1];
757 for (
unsigned Part = 1; Part < NumOperandsToReduce; ++Part) {
758 Value *RdxPart = RdxParts[Part];
760 ReducedPartRdx =
createMinMaxOp(Builder, RK, ReducedPartRdx, RdxPart);
769 Builder.
CreateBinOp(Opcode, RdxPart, ReducedPartRdx,
"bin.rdx");
783 return ReducedPartRdx;
792 "invalid offset to extract from");
797 assert(
Offset <= 1 &&
"invalid offset to extract from");
816 "can only generate first lane for PtrAdd");
835 "simplified to ExtractElement.");
838 Value *Res =
nullptr;
843 Builder.
CreateMul(RuntimeVF, ConstantInt::get(IdxTy, Idx - 1));
844 Value *VectorIdx = Idx == 1
846 : Builder.
CreateSub(LaneToExtract, VectorStart);
872 Value *Res =
nullptr;
873 for (
int Idx = LastOpIdx; Idx >= 0; --Idx) {
874 Value *TrailingZeros =
884 Builder.
CreateMul(RuntimeVF, ConstantInt::get(Ty, Idx)),
911 Intrinsic::experimental_vector_extract_last_active, {VTy},
924 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
927 case Instruction::FNeg:
928 return Ctx.TTI.getArithmeticInstrCost(Opcode, ResultTy, Ctx.CostKind);
929 case Instruction::UDiv:
930 case Instruction::SDiv:
931 case Instruction::SRem:
932 case Instruction::URem:
933 case Instruction::Add:
934 case Instruction::FAdd:
935 case Instruction::Sub:
936 case Instruction::FSub:
937 case Instruction::Mul:
938 case Instruction::FMul:
939 case Instruction::FDiv:
940 case Instruction::FRem:
941 case Instruction::Shl:
942 case Instruction::LShr:
943 case Instruction::AShr:
944 case Instruction::And:
945 case Instruction::Or:
946 case Instruction::Xor: {
960 return Ctx.TTI.getArithmeticInstrCost(
961 Opcode, ResultTy, Ctx.CostKind,
962 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
963 RHSInfo, Operands, CtxI, &Ctx.TLI);
965 case Instruction::Freeze:
967 return Ctx.TTI.getArithmeticInstrCost(Instruction::Mul, ResultTy,
969 case Instruction::ExtractValue:
970 return Ctx.TTI.getInsertExtractValueCost(Instruction::ExtractValue,
972 case Instruction::ICmp:
973 case Instruction::FCmp: {
977 return Ctx.TTI.getCmpSelInstrCost(
979 Ctx.CostKind, {TTI::OK_AnyValue, TTI::OP_None},
980 {TTI::OK_AnyValue, TTI::OP_None}, CtxI);
982 case Instruction::BitCast: {
983 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
988 case Instruction::SExt:
989 case Instruction::ZExt:
990 case Instruction::FPToUI:
991 case Instruction::FPToSI:
992 case Instruction::FPExt:
993 case Instruction::PtrToInt:
994 case Instruction::PtrToAddr:
995 case Instruction::IntToPtr:
996 case Instruction::SIToFP:
997 case Instruction::UIToFP:
998 case Instruction::Trunc:
999 case Instruction::FPTrunc:
1000 case Instruction::AddrSpaceCast: {
1015 if (WidenMemoryRecipe ==
nullptr)
1019 if (!WidenMemoryRecipe->isConsecutive())
1021 if (WidenMemoryRecipe->isMasked())
1028 bool IsReverse =
false;
1030 if (Opcode == Instruction::Trunc || Opcode == Instruction::FPTrunc) {
1032 if (R->getNumUsers() == 0 || R->hasMoreThanOneUniqueUser())
1045 CCH = ComputeCCH(Recipe);
1049 else if (Opcode == Instruction::ZExt || Opcode == Instruction::SExt ||
1050 Opcode == Instruction::FPExt) {
1061 CCH = ComputeCCH(Recipe);
1067 auto *ScalarSrcTy = Ctx.Types.inferScalarType(Operand);
1070 return Ctx.TTI.getCastInstrCost(
1071 Opcode, ResultTy, SrcTy, CCH, Ctx.CostKind,
1074 case Instruction::Select: {
1077 Type *ScalarTy = Ctx.Types.inferScalarType(
this);
1093 (IsLogicalAnd || IsLogicalOr)) {
1096 const auto [Op1VK, Op1VP] = Ctx.getOperandInfo(Op0);
1097 const auto [Op2VK, Op2VP] = Ctx.getOperandInfo(Op1);
1101 [](
VPValue *
Op) {
return Op->getUnderlyingValue(); }))
1103 return Ctx.TTI.getArithmeticInstrCost(
1104 IsLogicalOr ? Instruction::Or : Instruction::And, ResultTy,
1105 Ctx.CostKind, {Op1VK, Op1VP}, {Op2VK, Op2VP}, Operands,
SI);
1109 if (!IsScalarCond && VF.
isVector())
1116 Pred = Cmp->getPredicate();
1117 Type *VectorTy =
toVectorTy(Ctx.Types.inferScalarType(
this), VF);
1118 return Ctx.TTI.getCmpSelInstrCost(
1119 Instruction::Select, VectorTy, CondTy, Pred, Ctx.CostKind,
1120 {TTI::OK_AnyValue, TTI::OP_None}, {TTI::OK_AnyValue, TTI::OP_None},
SI);
1136 "Should only generate a vector value or single scalar, not scalars "
1144 case Instruction::Select: {
1147 auto *CondTy = Ctx.Types.inferScalarType(
getOperand(0));
1148 auto *VecTy = Ctx.Types.inferScalarType(
getOperand(1));
1153 return Ctx.TTI.getCmpSelInstrCost(Instruction::Select, VecTy, CondTy, Pred,
1156 case Instruction::ExtractElement:
1166 return Ctx.TTI.getVectorInstrCost(Instruction::ExtractElement, VecTy,
1170 auto *VecTy =
toVectorTy(Ctx.Types.inferScalarType(
this), VF);
1171 return Ctx.TTI.getArithmeticReductionCost(
1175 Type *Ty = Ctx.Types.inferScalarType(
this);
1178 return Ctx.TTI.getCmpSelInstrCost(Instruction::ICmp, ScalarTy,
1196 IntrinsicCostAttributes
Attrs(Intrinsic::experimental_cttz_elts, Ty,
1201 Instruction::Xor, PredTy, Ctx.
CostKind,
1202 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
1203 {TargetTransformInfo::OK_UniformConstantValue,
1204 TargetTransformInfo::OP_None});
1213 IntrinsicCostAttributes ICA(
1214 Intrinsic::experimental_vector_extract_last_active, ScalarTy,
1215 {VecTy, MaskTy, ScalarTy});
1229 IntrinsicCostAttributes
Attrs(Intrinsic::get_active_lane_mask, RetTy,
1237 IntrinsicCostAttributes
Attrs(Intrinsic::experimental_get_vector_length,
1238 I32Ty, {Arg0Ty, I32Ty, I1Ty});
1242 assert(VF.
isVector() &&
"Reverse operation must be vector type");
1268 "unexpected VPInstruction witht underlying value");
1276 getOpcode() == Instruction::ExtractElement ||
1287 case Instruction::Load:
1288 case Instruction::PHI:
1300 assert(!State.Lane &&
"VPInstruction executing an Lane");
1303 "Set flags not supported for the provided opcode");
1305 "Opcode requires specific flags to be set");
1308 Value *GeneratedValue = generate(State);
1311 assert(GeneratedValue &&
"generate must produce a value");
1312 bool GeneratesPerFirstLaneOnly = canGenerateScalarForFirstLane() &&
1317 !GeneratesPerFirstLaneOnly) ||
1318 State.VF.isScalar()) &&
1319 "scalar value but not only first lane defined");
1320 State.set(
this, GeneratedValue,
1321 GeneratesPerFirstLaneOnly);
1335 case Instruction::ExtractValue:
1336 case Instruction::InsertValue:
1337 case Instruction::GetElementPtr:
1338 case Instruction::ExtractElement:
1339 case Instruction::Freeze:
1340 case Instruction::FCmp:
1341 case Instruction::ICmp:
1342 case Instruction::Select:
1343 case Instruction::PHI:
1377 case Instruction::Call:
1392 case Instruction::ExtractElement:
1394 case Instruction::PHI:
1396 case Instruction::FCmp:
1397 case Instruction::ICmp:
1398 case Instruction::Select:
1399 case Instruction::Or:
1400 case Instruction::Freeze:
1404 case Instruction::Load:
1440 case Instruction::FCmp:
1441 case Instruction::ICmp:
1442 case Instruction::Select:
1453#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1461 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1473 O <<
"combined load";
1476 O <<
"combined store";
1479 O <<
"active lane mask";
1482 O <<
"EXPLICIT-VECTOR-LENGTH";
1485 O <<
"first-order splice";
1488 O <<
"branch-on-cond";
1491 O <<
"branch-on-two-conds";
1494 O <<
"TC > VF ? TC - VF : 0";
1500 O <<
"branch-on-count";
1506 O <<
"buildstructvector";
1512 O <<
"exiting-iv-value";
1518 O <<
"extract-lane";
1521 O <<
"extract-last-lane";
1524 O <<
"extract-last-part";
1527 O <<
"extract-penultimate-element";
1530 O <<
"compute-reduction-result";
1548 O <<
"first-active-lane";
1551 O <<
"last-active-lane";
1554 O <<
"reduction-start-vector";
1557 O <<
"resume-for-epilogue";
1566 O <<
"extract-last-active";
1583 State.set(
this, Cast,
VPLane(0));
1594 Value *
VScale = State.Builder.CreateVScale(ResultTy);
1595 State.set(
this,
VScale,
true);
1604#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1607 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1613 O <<
"wide-iv-step ";
1617 O <<
"step-vector " << *ResultTy;
1620 O <<
"vscale " << *ResultTy;
1622 case Instruction::Load:
1630 O <<
" to " << *ResultTy;
1637 PHINode *NewPhi = State.Builder.CreatePHI(
1638 State.TypeAnalysis.inferScalarType(
this), 2,
getName());
1643 if (NumIncoming == 2 &&
1647 for (
unsigned Idx = 0; Idx != NumIncoming; ++Idx) {
1652 State.set(
this, NewPhi,
VPLane(0));
1655#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1658 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1674 "PHINodes must be handled by VPIRPhi");
1677 State.Builder.SetInsertPoint(I.getParent(), std::next(I.getIterator()));
1687#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1690 O << Indent <<
"IR " << I;
1702 auto *PredVPBB = Pred->getExitingBasicBlock();
1703 BasicBlock *PredBB = State.CFG.VPBB2IRBB[PredVPBB];
1710 if (Phi->getBasicBlockIndex(PredBB) == -1)
1711 Phi->addIncoming(V, PredBB);
1713 Phi->setIncomingValueForBlock(PredBB, V);
1718 State.Builder.SetInsertPoint(Phi->getParent(), std::next(Phi->getIterator()));
1723 assert(R->getNumOperands() == R->getParent()->getNumPredecessors() &&
1724 "Number of phi operands must match number of predecessors");
1725 unsigned Position = R->getParent()->getIndexForPredecessor(IncomingBlock);
1726 R->removeOperand(Position);
1738 R->setOperand(R->getParent()->getIndexForPredecessor(VPBB), V);
1741#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1755#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1761 O <<
" (extra operand" << (
getNumOperands() > 1 ?
"s" :
"") <<
": ";
1766 std::get<1>(
Op)->printAsOperand(O);
1774 for (
const auto &[Kind,
Node] : Metadata)
1775 I.setMetadata(Kind,
Node);
1780 for (
const auto &[KindA, MDA] : Metadata) {
1781 for (
const auto &[KindB, MDB] :
Other.Metadata) {
1782 if (KindA == KindB && MDA == MDB) {
1788 Metadata = std::move(MetadataIntersection);
1791#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1794 if (Metadata.empty() || !M)
1800 auto [Kind,
Node] = KindNodePair;
1802 "Unexpected unnamed metadata kind");
1803 O <<
"!" << MDNames[Kind] <<
" ";
1811 assert(State.VF.isVector() &&
"not widening");
1812 assert(Variant !=
nullptr &&
"Can't create vector function.");
1823 Arg = State.get(
I.value(),
VPLane(0));
1826 Args.push_back(Arg);
1832 CI->getOperandBundlesAsDefs(OpBundles);
1834 CallInst *V = State.Builder.CreateCall(Variant, Args, OpBundles);
1837 V->setCallingConv(Variant->getCallingConv());
1839 if (!V->getType()->isVoidTy())
1845 return Ctx.TTI.getCallInstrCost(
nullptr, Variant->getReturnType(),
1846 Variant->getFunctionType()->params(),
1850#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1853 O << Indent <<
"WIDEN-CALL ";
1865 O <<
" @" << CalledFn->
getName() <<
"(";
1871 O <<
" (using library function";
1872 if (Variant->hasName())
1873 O <<
": " << Variant->getName();
1879 assert(State.VF.isVector() &&
"not widening");
1887 for (
auto [Idx, Ty] :
enumerate(ContainedTys)) {
1900 Arg = State.get(
I.value(),
VPLane(0));
1906 Args.push_back(Arg);
1910 Module *M = State.Builder.GetInsertBlock()->getModule();
1914 "Can't retrieve vector intrinsic or vector-predication intrinsics.");
1919 CI->getOperandBundlesAsDefs(OpBundles);
1921 CallInst *V = State.Builder.CreateCall(VectorF, Args, OpBundles);
1926 if (!V->getType()->isVoidTy())
1936 Type *ScalarRetTy = Ctx.Types.inferScalarType(&R);
1940 if (
ID == Intrinsic::experimental_vp_reverse && ScalarRetTy->
isIntegerTy(1))
1949 for (
const auto &[Idx,
Op] :
enumerate(Operands)) {
1950 auto *V =
Op->getUnderlyingValue();
1953 Arguments.push_back(UI->getArgOperand(Idx));
1967 : Ctx.Types.inferScalarType(
Op));
1972 ID, RetTy,
Arguments, ParamTys, R.getFastMathFlags(),
1975 return Ctx.TTI.getIntrinsicInstrCost(CostAttrs, Ctx.CostKind);
1997#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2000 O << Indent <<
"WIDEN-INTRINSIC ";
2001 if (ResultTy->isVoidTy()) {
2029 Value *Mask =
nullptr;
2031 Mask = State.get(VPMask);
2034 Builder.CreateVectorSplat(VTy->
getElementCount(), Builder.getInt1(1));
2038 if (Opcode == Instruction::Sub)
2039 IncAmt = Builder.CreateNeg(IncAmt);
2041 assert(Opcode == Instruction::Add &&
"only add or sub supported for now");
2043 State.Builder.CreateIntrinsic(Intrinsic::experimental_vector_histogram_add,
2058 Type *IncTy = Ctx.Types.inferScalarType(IncAmt);
2064 Ctx.TTI.getArithmeticInstrCost(Instruction::Mul, VTy, Ctx.CostKind);
2073 {PtrTy, IncTy, MaskTy});
2076 return Ctx.TTI.getIntrinsicInstrCost(ICA, Ctx.CostKind) + MulCost +
2077 Ctx.TTI.getArithmeticInstrCost(Opcode, VTy, Ctx.CostKind);
2080#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2083 O << Indent <<
"WIDEN-HISTOGRAM buckets: ";
2086 if (Opcode == Instruction::Sub)
2089 assert(Opcode == Instruction::Add);
2101VPIRFlags::FastMathFlagsTy::FastMathFlagsTy(
const FastMathFlags &FMF) {
2113 case Instruction::Add:
2114 case Instruction::Sub:
2115 case Instruction::Mul:
2116 case Instruction::Shl:
2119 case Instruction::Trunc:
2121 case Instruction::Or:
2123 case Instruction::AShr:
2124 case Instruction::LShr:
2125 case Instruction::UDiv:
2126 case Instruction::SDiv:
2127 return ExactFlagsTy(
false);
2128 case Instruction::GetElementPtr:
2132 case Instruction::ZExt:
2133 case Instruction::UIToFP:
2135 case Instruction::FAdd:
2136 case Instruction::FSub:
2137 case Instruction::FMul:
2138 case Instruction::FDiv:
2139 case Instruction::FRem:
2140 case Instruction::FNeg:
2141 case Instruction::FPExt:
2142 case Instruction::FPTrunc:
2144 case Instruction::ICmp:
2145 case Instruction::FCmp:
2156 case OperationType::OverflowingBinOp:
2157 return Opcode == Instruction::Add || Opcode == Instruction::Sub ||
2158 Opcode == Instruction::Mul || Opcode == Instruction::Shl ||
2159 Opcode == VPInstruction::VPInstruction::CanonicalIVIncrementForPart;
2160 case OperationType::Trunc:
2161 return Opcode == Instruction::Trunc;
2162 case OperationType::DisjointOp:
2163 return Opcode == Instruction::Or;
2164 case OperationType::PossiblyExactOp:
2165 return Opcode == Instruction::AShr || Opcode == Instruction::LShr ||
2166 Opcode == Instruction::UDiv || Opcode == Instruction::SDiv;
2167 case OperationType::GEPOp:
2168 return Opcode == Instruction::GetElementPtr ||
2171 case OperationType::FPMathOp:
2172 return Opcode == Instruction::Call || Opcode == Instruction::FAdd ||
2173 Opcode == Instruction::FMul || Opcode == Instruction::FSub ||
2174 Opcode == Instruction::FNeg || Opcode == Instruction::FDiv ||
2175 Opcode == Instruction::FRem || Opcode == Instruction::FPExt ||
2176 Opcode == Instruction::FPTrunc || Opcode == Instruction::PHI ||
2177 Opcode == Instruction::Select ||
2180 case OperationType::FCmp:
2181 return Opcode == Instruction::FCmp;
2182 case OperationType::NonNegOp:
2183 return Opcode == Instruction::ZExt || Opcode == Instruction::UIToFP;
2184 case OperationType::Cmp:
2185 return Opcode == Instruction::FCmp || Opcode == Instruction::ICmp;
2186 case OperationType::ReductionOp:
2188 case OperationType::Other:
2196 if (Opcode == Instruction::ICmp)
2197 return OpType == OperationType::Cmp;
2198 if (Opcode == Instruction::FCmp)
2199 return OpType == OperationType::FCmp;
2201 return OpType == OperationType::ReductionOp;
2208#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2211 case OperationType::Cmp:
2214 case OperationType::FCmp:
2218 case OperationType::DisjointOp:
2222 case OperationType::PossiblyExactOp:
2226 case OperationType::OverflowingBinOp:
2232 case OperationType::Trunc:
2238 case OperationType::FPMathOp:
2241 case OperationType::GEPOp: {
2243 if (Flags.isInBounds())
2245 else if (Flags.hasNoUnsignedSignedWrap())
2247 if (Flags.hasNoUnsignedWrap())
2251 case OperationType::NonNegOp:
2255 case OperationType::ReductionOp: {
2307 case OperationType::Other:
2315 auto &Builder = State.Builder;
2317 case Instruction::Call:
2318 case Instruction::UncondBr:
2319 case Instruction::CondBr:
2320 case Instruction::PHI:
2321 case Instruction::GetElementPtr:
2323 case Instruction::UDiv:
2324 case Instruction::SDiv:
2325 case Instruction::SRem:
2326 case Instruction::URem:
2327 case Instruction::Add:
2328 case Instruction::FAdd:
2329 case Instruction::Sub:
2330 case Instruction::FSub:
2331 case Instruction::FNeg:
2332 case Instruction::Mul:
2333 case Instruction::FMul:
2334 case Instruction::FDiv:
2335 case Instruction::FRem:
2336 case Instruction::Shl:
2337 case Instruction::LShr:
2338 case Instruction::AShr:
2339 case Instruction::And:
2340 case Instruction::Or:
2341 case Instruction::Xor: {
2345 Ops.push_back(State.get(VPOp));
2347 Value *V = Builder.CreateNAryOp(Opcode,
Ops);
2358 case Instruction::ExtractValue: {
2361 Value *Extract = Builder.CreateExtractValue(
2363 State.set(
this, Extract);
2366 case Instruction::Freeze: {
2368 Value *Freeze = Builder.CreateFreeze(
Op);
2369 State.set(
this, Freeze);
2372 case Instruction::ICmp:
2373 case Instruction::FCmp: {
2375 bool FCmp = Opcode == Instruction::FCmp;
2391 case Instruction::Select: {
2396 Value *Sel = State.Builder.CreateSelect(
Cond, Op0, Op1);
2397 State.set(
this, Sel);
2416 State.get(
this)->getType() &&
2417 "inferred type and type from generated instructions do not match");
2424 case Instruction::UDiv:
2425 case Instruction::SDiv:
2426 case Instruction::SRem:
2427 case Instruction::URem:
2432 case Instruction::FNeg:
2433 case Instruction::Add:
2434 case Instruction::FAdd:
2435 case Instruction::Sub:
2436 case Instruction::FSub:
2437 case Instruction::Mul:
2438 case Instruction::FMul:
2439 case Instruction::FDiv:
2440 case Instruction::FRem:
2441 case Instruction::Shl:
2442 case Instruction::LShr:
2443 case Instruction::AShr:
2444 case Instruction::And:
2445 case Instruction::Or:
2446 case Instruction::Xor:
2447 case Instruction::Freeze:
2448 case Instruction::ExtractValue:
2449 case Instruction::ICmp:
2450 case Instruction::FCmp:
2451 case Instruction::Select:
2458#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2461 O << Indent <<
"WIDEN ";
2470 auto &Builder = State.Builder;
2472 assert(State.VF.isVector() &&
"Not vectorizing?");
2477 State.set(
this, Cast);
2494#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2497 O << Indent <<
"WIDEN-CAST ";
2508 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
2511#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2516 O <<
" = WIDEN-INDUCTION";
2521 O <<
" (truncated to " << *TI->getType() <<
")";
2535 assert(!State.Lane &&
"VPDerivedIVRecipe being replicated.");
2540 State.Builder.setFastMathFlags(FPBinOp->getFastMathFlags());
2548 State.set(
this, DerivedIV,
VPLane(0));
2551#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2556 O <<
" = DERIVED-IV ";
2579 assert(BaseIVTy == Step->
getType() &&
"Types of BaseIV and Step must match!");
2586 AddOp = Instruction::Add;
2587 MulOp = Instruction::Mul;
2589 AddOp = InductionOpcode;
2590 MulOp = Instruction::FMul;
2597 unsigned StartLane = 0;
2598 unsigned EndLane = FirstLaneOnly ? 1 : State.VF.getKnownMinValue();
2600 StartLane = State.Lane->getKnownLane();
2601 EndLane = StartLane + 1;
2606 for (
unsigned Lane = StartLane; Lane < EndLane; ++Lane) {
2611 ? ConstantInt::get(BaseIVTy, Lane,
false,
2613 : ConstantFP::get(BaseIVTy, Lane);
2614 Value *StartIdx = Builder.CreateBinOp(AddOp, StartIdx0, LaneValue);
2616 "Expected StartIdx to be folded to a constant when VF is not "
2618 auto *
Mul = Builder.CreateBinOp(MulOp, StartIdx, Step);
2619 auto *
Add = Builder.CreateBinOp(AddOp, BaseIV,
Mul);
2624#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2629 O <<
" = SCALAR-STEPS ";
2640 assert(State.VF.isVector() &&
"not widening");
2648 return Op->isDefinedOutsideLoopRegions();
2650 if (AllOperandsAreInvariant) {
2665 Value *
Splat = State.Builder.CreateVectorSplat(State.VF, NewGEP);
2666 State.set(
this,
Splat);
2674 auto *Ptr = State.get(
getOperand(0), isPointerLoopInvariant());
2681 Indices.
push_back(State.get(Operand, isIndexLoopInvariant(
I - 1)));
2688 assert((State.VF.isScalar() || NewGEP->getType()->isVectorTy()) &&
2689 "NewGEP is not a pointer vector");
2690 State.set(
this, NewGEP);
2693#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2696 O << Indent <<
"WIDEN-GEP ";
2697 O << (isPointerLoopInvariant() ?
"Inv" :
"Var");
2699 O <<
"[" << (isIndexLoopInvariant(
I) ?
"Inv" :
"Var") <<
"]";
2703 O <<
" = getelementptr";
2720 VPValue *VF = Builder.createScalarZExtOrTrunc(VFVal, IndexTy, VFTy,
2728 Builder.createOverflowingOp(Instruction::Mul, {VFMinusOne, Stride});
2735 Builder.createOverflowingOp(Instruction::Mul, {PartxStride, VF}));
2740 auto &Builder = State.Builder;
2746 State.set(
this, ResultPtr,
true);
2749#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2754 O <<
" = vector-end-pointer";
2761 auto &Builder = State.Builder;
2763 "Expected prior simplification of recipe without offset");
2768 State.set(
this, ResultPtr,
true);
2771#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2776 O <<
" = vector-pointer";
2789 Type *ResultTy =
toVectorTy(Ctx.Types.inferScalarType(
this), VF);
2792 Ctx.TTI.getCmpSelInstrCost(Instruction::Select, ResultTy, CmpTy,
2796#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2799 O << Indent <<
"BLEND ";
2822 assert(!State.Lane &&
"Reduction being replicated.");
2825 "In-loop AnyOf reductions aren't currently supported");
2831 Value *NewCond = State.get(
Cond, State.VF.isScalar());
2836 if (State.VF.isVector())
2837 Start = State.Builder.CreateVectorSplat(VecTy->
getElementCount(), Start);
2839 Value *
Select = State.Builder.CreateSelect(NewCond, NewVecOp, Start);
2846 if (State.VF.isVector())
2850 NewRed = State.Builder.CreateBinOp(
2852 PrevInChain, NewVecOp);
2853 PrevInChain = NewRed;
2854 NextInChain = NewRed;
2857 "Unexpected partial reduction kind");
2859 NewRed = State.Builder.CreateIntrinsic(
2862 : Intrinsic::vector_partial_reduce_fadd,
2863 {PrevInChain, NewVecOp}, State.Builder.getFastMathFlags(),
2865 PrevInChain = NewRed;
2866 NextInChain = NewRed;
2869 "The reduction must either be ordered, partial or in-loop");
2873 NextInChain =
createMinMaxOp(State.Builder, Kind, NewRed, PrevInChain);
2875 NextInChain = State.Builder.CreateBinOp(
2877 PrevInChain, NewRed);
2883 assert(!State.Lane &&
"Reduction being replicated.");
2885 auto &Builder = State.Builder;
2897 Mask = State.get(CondOp);
2899 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
2909 NewRed = Builder.CreateBinOp(
2913 State.set(
this, NewRed,
true);
2919 Type *ElementTy = Ctx.Types.inferScalarType(
this);
2923 std::optional<FastMathFlags> OptionalFMF =
2932 CondCost = Ctx.TTI.getCmpSelInstrCost(Instruction::Select, VectorTy,
2933 CondTy, Pred, Ctx.CostKind);
2935 return CondCost + Ctx.TTI.getPartialReductionCost(
2936 Opcode, ElementTy, ElementTy, ElementTy, VF,
2945 "Any-of reduction not implemented in VPlan-based cost model currently.");
2951 return Ctx.TTI.getMinMaxReductionCost(Id, VectorTy,
FMFs, Ctx.CostKind);
2956 return Ctx.TTI.getArithmeticReductionCost(Opcode, VectorTy, OptionalFMF,
2960VPExpressionRecipe::VPExpressionRecipe(
2961 ExpressionTypes ExpressionType,
2964 ExpressionRecipes(ExpressionRecipes),
ExpressionType(ExpressionType) {
2965 assert(!ExpressionRecipes.empty() &&
"Nothing to combine?");
2969 "expression cannot contain recipes with side-effects");
2973 for (
auto *R : ExpressionRecipes)
2974 ExpressionRecipesAsSetOfUsers.
insert(R);
2980 if (R != ExpressionRecipes.back() &&
2981 any_of(
R->users(), [&ExpressionRecipesAsSetOfUsers](
VPUser *U) {
2982 return !ExpressionRecipesAsSetOfUsers.contains(U);
2987 R->replaceUsesWithIf(CopyForExtUsers, [&ExpressionRecipesAsSetOfUsers](
2989 return !ExpressionRecipesAsSetOfUsers.contains(&U);
2994 R->removeFromParent();
3001 for (
auto *R : ExpressionRecipes) {
3002 for (
const auto &[Idx,
Op] :
enumerate(
R->operands())) {
3003 auto *
Def =
Op->getDefiningRecipe();
3004 if (Def && ExpressionRecipesAsSetOfUsers.contains(Def))
3013 for (
auto *R : ExpressionRecipes)
3014 for (
auto const &[LiveIn, Tmp] :
zip(operands(), LiveInPlaceholders))
3015 R->replaceUsesOfWith(LiveIn, Tmp);
3019 for (
auto *R : ExpressionRecipes)
3022 if (!R->getParent())
3023 R->insertBefore(
this);
3026 LiveInPlaceholders[Idx]->replaceAllUsesWith(
Op);
3029 ExpressionRecipes.clear();
3034 Type *RedTy = Ctx.Types.inferScalarType(
this);
3039 switch (ExpressionType) {
3040 case ExpressionTypes::ExtendedReduction: {
3046 if (RedR->isPartialReduction())
3047 return Ctx.TTI.getPartialReductionCost(
3048 Opcode, Ctx.Types.inferScalarType(
getOperand(0)),
nullptr, RedTy, VF,
3055 return Ctx.TTI.getExtendedReductionCost(
3056 Opcode, ExtR->getOpcode() == Instruction::ZExt, RedTy, SrcVecTy,
3057 std::nullopt, Ctx.CostKind);
3061 case ExpressionTypes::MulAccReduction:
3062 return Ctx.TTI.getMulAccReductionCost(
false, Opcode, RedTy, SrcVecTy,
3065 case ExpressionTypes::ExtNegatedMulAccReduction:
3066 assert(Opcode == Instruction::Add &&
"Unexpected opcode");
3067 Opcode = Instruction::Sub;
3069 case ExpressionTypes::ExtMulAccReduction: {
3071 if (RedR->isPartialReduction()) {
3075 return Ctx.TTI.getPartialReductionCost(
3076 Opcode, Ctx.Types.inferScalarType(
getOperand(0)),
3077 Ctx.Types.inferScalarType(
getOperand(1)), RedTy, VF,
3079 Ext0R->getOpcode()),
3081 Ext1R->getOpcode()),
3082 Mul->getOpcode(), Ctx.CostKind,
3086 return Ctx.TTI.getMulAccReductionCost(
3089 Opcode, RedTy, SrcVecTy, Ctx.CostKind);
3097 return R->mayReadFromMemory() || R->mayWriteToMemory();
3105 "expression cannot contain recipes with side-effects");
3113 return RR && !RR->isPartialReduction();
3116#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3120 O << Indent <<
"EXPRESSION ";
3126 switch (ExpressionType) {
3127 case ExpressionTypes::ExtendedReduction: {
3129 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3136 << *Ext0->getResultType();
3137 if (Red->isConditional()) {
3144 case ExpressionTypes::ExtNegatedMulAccReduction: {
3146 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3156 << *Ext0->getResultType() <<
"), (";
3160 << *Ext1->getResultType() <<
")";
3161 if (Red->isConditional()) {
3168 case ExpressionTypes::MulAccReduction:
3169 case ExpressionTypes::ExtMulAccReduction: {
3171 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3176 bool IsExtended = ExpressionType == ExpressionTypes::ExtMulAccReduction;
3178 : ExpressionRecipes[0]);
3186 << *Ext0->getResultType() <<
"), (";
3194 << *Ext1->getResultType() <<
")";
3196 if (Red->isConditional()) {
3209 O << Indent <<
"PARTIAL-REDUCE ";
3211 O << Indent <<
"REDUCE ";
3231 O << Indent <<
"REDUCE ";
3259 assert((!Instr->getType()->isAggregateType() ||
3261 "Expected vectorizable or non-aggregate type.");
3264 bool IsVoidRetTy = Instr->getType()->isVoidTy();
3268 Cloned->
setName(Instr->getName() +
".cloned");
3269 Type *ResultTy = State.TypeAnalysis.inferScalarType(RepRecipe);
3273 if (ResultTy != Cloned->
getType())
3284 State.setDebugLocFrom(
DL);
3289 auto InputLane = Lane;
3293 Cloned->
setOperand(
I.index(), State.get(Operand, InputLane));
3297 State.Builder.Insert(Cloned);
3299 State.set(RepRecipe, Cloned, Lane);
3303 State.AC->registerAssumption(
II);
3309 [](
VPValue *
Op) { return Op->isDefinedOutsideLoopRegions(); })) &&
3310 "Expected a recipe is either within a region or all of its operands "
3311 "are defined outside the vectorized region.");
3318 assert(IsSingleScalar &&
"VPReplicateRecipes outside replicate regions "
3319 "must have already been unrolled");
3325 "uniform recipe shouldn't be predicated");
3326 assert(!State.VF.isScalable() &&
"Can't scalarize a scalable vector");
3331 State.Lane->isFirstLane()
3334 State.set(
this, State.packScalarIntoVectorizedValue(
this, WideValue,
3370 while (!WorkList.
empty()) {
3372 if (!Cur || !Seen.
insert(Cur).second)
3380 return Seen.contains(
3381 Blend->getIncomingValue(I)->getDefiningRecipe());
3385 for (
VPUser *U : Cur->users()) {
3387 if (InterleaveR->getAddr() == Cur)
3390 if (RepR->getOpcode() == Instruction::Load &&
3391 RepR->getOperand(0) == Cur)
3393 if (RepR->getOpcode() == Instruction::Store &&
3394 RepR->getOperand(1) == Cur)
3398 if (MemR->getAddr() == Cur && MemR->isConsecutive())
3417 const SCEV *PtrSCEV,
3420 if (!ParentRegion || !ParentRegion->
isReplicator() || !PtrSCEV ||
3421 !Ctx.PSE.getSE()->isLoopInvariant(PtrSCEV, Ctx.L))
3433 Ctx.SkipCostComputation.insert(UI);
3439 case Instruction::Alloca:
3442 return Ctx.TTI.getArithmeticInstrCost(
3443 Instruction::Mul, Ctx.Types.inferScalarType(
this), Ctx.CostKind);
3444 case Instruction::GetElementPtr:
3450 case Instruction::Call: {
3456 for (
const VPValue *ArgOp : ArgOps)
3457 Tys.
push_back(Ctx.Types.inferScalarType(ArgOp));
3459 if (CalledFn->isIntrinsic())
3462 switch (CalledFn->getIntrinsicID()) {
3463 case Intrinsic::assume:
3464 case Intrinsic::lifetime_end:
3465 case Intrinsic::lifetime_start:
3466 case Intrinsic::sideeffect:
3467 case Intrinsic::pseudoprobe:
3468 case Intrinsic::experimental_noalias_scope_decl: {
3471 "scalarizing intrinsic should be free");
3478 Type *ResultTy = Ctx.Types.inferScalarType(
this);
3480 Ctx.TTI.getCallInstrCost(CalledFn, ResultTy, Tys, Ctx.CostKind);
3482 if (CalledFn->isIntrinsic())
3483 ScalarCallCost = std::min(
3487 return ScalarCallCost;
3491 Ctx.getScalarizationOverhead(ResultTy, ArgOps, VF);
3493 case Instruction::Add:
3494 case Instruction::Sub:
3495 case Instruction::FAdd:
3496 case Instruction::FSub:
3497 case Instruction::Mul:
3498 case Instruction::FMul:
3499 case Instruction::FDiv:
3500 case Instruction::FRem:
3501 case Instruction::Shl:
3502 case Instruction::LShr:
3503 case Instruction::AShr:
3504 case Instruction::And:
3505 case Instruction::Or:
3506 case Instruction::Xor:
3507 case Instruction::ICmp:
3508 case Instruction::FCmp:
3512 case Instruction::SDiv:
3513 case Instruction::UDiv:
3514 case Instruction::SRem:
3515 case Instruction::URem: {
3528 return Ctx.skipCostComputation(
3530 PredR->getOperand(0)->getUnderlyingValue()),
3536 Ctx.getScalarizationOverhead(Ctx.Types.inferScalarType(
this),
3545 Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
3549 ScalarCost /= Ctx.getPredBlockCostDivisor(UI->
getParent());
3552 case Instruction::Load:
3553 case Instruction::Store: {
3554 bool IsLoad = UI->
getOpcode() == Instruction::Load;
3560 Type *ValTy = Ctx.Types.inferScalarType(IsLoad ?
this :
getOperand(0));
3561 Type *ScalarPtrTy = Ctx.Types.inferScalarType(PtrOp);
3565 bool PreferVectorizedAddressing = Ctx.TTI.prefersVectorizedAddressing();
3566 bool UsedByLoadStoreAddress =
3569 UI->
getOpcode(), ValTy, Alignment, AS, Ctx.CostKind, OpInfo,
3570 UsedByLoadStoreAddress ? UI :
nullptr);
3577 Ctx.TTI.getAddressComputationCost(ScalarPtrTy,
nullptr,
3578 nullptr, Ctx.CostKind);
3581 return UniformCost +
3583 VectorTy, VectorTy, {}, Ctx.CostKind);
3588 UniformCost += Ctx.TTI.getIndexedVectorInstrCostFromEnd(
3589 Instruction::ExtractElement, VectorTy, Ctx.CostKind, 0);
3596 Ctx.TTI.getAddressComputationCost(
3597 PtrTy, UsedByLoadStoreAddress ?
nullptr : Ctx.PSE.getSE(), PtrSCEV,
3608 if (!UsedByLoadStoreAddress) {
3609 bool EfficientVectorLoadStore =
3610 Ctx.TTI.supportsEfficientVectorElementLoadStore();
3611 if (!(IsLoad && !PreferVectorizedAddressing) &&
3612 !(!IsLoad && EfficientVectorLoadStore))
3615 if (!EfficientVectorLoadStore)
3616 ResultTy = Ctx.Types.inferScalarType(
this);
3623 Ctx.getScalarizationOverhead(ResultTy, OpsToScalarize, VF, VIC,
true);
3629 Cost /= Ctx.getPredBlockCostDivisor(UI->getParent());
3630 Cost += Ctx.TTI.getCFInstrCost(Instruction::CondBr, Ctx.CostKind);
3634 Cost += Ctx.TTI.getScalarizationOverhead(
3636 false,
true, Ctx.CostKind);
3638 if (Ctx.useEmulatedMaskMemRefHack(
this, VF)) {
3646 case Instruction::SExt:
3647 case Instruction::ZExt:
3648 case Instruction::FPToUI:
3649 case Instruction::FPToSI:
3650 case Instruction::FPExt:
3651 case Instruction::PtrToInt:
3652 case Instruction::PtrToAddr:
3653 case Instruction::IntToPtr:
3654 case Instruction::SIToFP:
3655 case Instruction::UIToFP:
3656 case Instruction::Trunc:
3657 case Instruction::FPTrunc:
3658 case Instruction::Select:
3659 case Instruction::AddrSpaceCast: {
3664 case Instruction::ExtractValue:
3665 case Instruction::InsertValue:
3666 return Ctx.TTI.getInsertExtractValueCost(
getOpcode(), Ctx.CostKind);
3669 return Ctx.getLegacyCost(UI, VF);
3672#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3675 O << Indent << (IsSingleScalar ?
"CLONE " :
"REPLICATE ");
3684 O <<
"@" << CB->getCalledFunction()->getName() <<
"(";
3702 assert(State.Lane &&
"Branch on Mask works only on single instance.");
3705 Value *ConditionBit = State.get(BlockInMask, *State.Lane);
3709 auto *CurrentTerminator = State.CFG.PrevBB->getTerminator();
3711 "Expected to replace unreachable terminator with conditional branch.");
3713 State.Builder.CreateCondBr(ConditionBit, State.CFG.PrevBB,
nullptr);
3714 CondBr->setSuccessor(0,
nullptr);
3715 CurrentTerminator->eraseFromParent();
3727 assert(State.Lane &&
"Predicated instruction PHI works per instance.");
3732 assert(PredicatingBB &&
"Predicated block has no single predecessor.");
3734 "operand must be VPReplicateRecipe");
3745 "Packed operands must generate an insertelement or insertvalue");
3753 for (
unsigned I = 0;
I < StructTy->getNumContainedTypes() - 1;
I++)
3756 PHINode *VPhi = State.Builder.CreatePHI(VecI->getType(), 2);
3757 VPhi->
addIncoming(VecI->getOperand(0), PredicatingBB);
3759 if (State.hasVectorValue(
this))
3760 State.reset(
this, VPhi);
3762 State.set(
this, VPhi);
3770 Type *PredInstType = State.TypeAnalysis.inferScalarType(
getOperand(0));
3771 PHINode *Phi = State.Builder.CreatePHI(PredInstType, 2);
3774 Phi->addIncoming(ScalarPredInst, PredicatedBB);
3775 if (State.hasScalarValue(
this, *State.Lane))
3776 State.reset(
this, Phi, *State.Lane);
3778 State.set(
this, Phi, *State.Lane);
3781 State.reset(
getOperand(0), Phi, *State.Lane);
3785#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3788 O << Indent <<
"PHI-PREDICATED-INSTRUCTION ";
3799 ->getAddressSpace();
3802 : Instruction::Store;
3808 [[maybe_unused]]
auto IsReverseMask = [
this]() {
3818 assert(!IsReverseMask() &&
3819 "Inconsecutive memory access should not have reverse order");
3831 : Intrinsic::vp_scatter;
3832 return Ctx.TTI.getAddressComputationCost(PtrTy,
nullptr,
nullptr,
3834 Ctx.TTI.getMemIntrinsicInstrCost(
3843 : Intrinsic::masked_store;
3844 Cost += Ctx.TTI.getMemIntrinsicInstrCost(
3850 Cost += Ctx.TTI.getMemoryOpCost(Opcode, Ty,
Alignment, AS, Ctx.CostKind,
3861 auto &Builder = State.Builder;
3862 Value *Mask =
nullptr;
3864 Mask = State.get(VPMask);
3869 NewLI = Builder.CreateMaskedGather(DataTy, Addr,
Alignment, Mask,
nullptr,
3870 "wide.masked.gather");
3873 Builder.CreateMaskedLoad(DataTy, Addr,
Alignment, Mask,
3876 NewLI = Builder.CreateAlignedLoad(DataTy, Addr,
Alignment,
"wide.load");
3879 State.set(
this, NewLI);
3882#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3885 O << Indent <<
"WIDEN ";
3897 auto &Builder = State.Builder;
3901 Value *Mask =
nullptr;
3903 Mask = State.get(VPMask);
3905 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
3909 Builder.CreateIntrinsic(DataTy, Intrinsic::vp_gather, {Addr, Mask, EVL},
3910 nullptr,
"wide.masked.gather");
3912 NewLI = Builder.CreateIntrinsic(DataTy, Intrinsic::vp_load,
3913 {Addr, Mask, EVL},
nullptr,
"vp.op.load");
3919 State.set(
this, Res);
3934 ->getAddressSpace();
3935 return Ctx.TTI.getMemIntrinsicInstrCost(
3940#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3943 O << Indent <<
"WIDEN ";
3954 auto &Builder = State.Builder;
3956 Value *Mask =
nullptr;
3958 Mask = State.get(VPMask);
3960 Value *StoredVal = State.get(StoredVPValue);
3964 NewSI = Builder.CreateMaskedScatter(StoredVal, Addr,
Alignment, Mask);
3966 NewSI = Builder.CreateMaskedStore(StoredVal, Addr,
Alignment, Mask);
3968 NewSI = Builder.CreateAlignedStore(StoredVal, Addr,
Alignment);
3972#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3975 O << Indent <<
"WIDEN store ";
3984 auto &Builder = State.Builder;
3987 Value *StoredVal = State.get(StoredValue);
3989 Value *Mask =
nullptr;
3991 Mask = State.get(VPMask);
3993 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
3996 if (CreateScatter) {
3998 Intrinsic::vp_scatter,
3999 {StoredVal, Addr, Mask, EVL});
4002 Intrinsic::vp_store,
4003 {StoredVal, Addr, Mask, EVL});
4022 ->getAddressSpace();
4023 return Ctx.TTI.getMemIntrinsicInstrCost(
4028#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4031 O << Indent <<
"WIDEN vp.store ";
4039 auto VF = DstVTy->getElementCount();
4041 assert(VF == SrcVecTy->getElementCount() &&
"Vector dimensions do not match");
4042 Type *SrcElemTy = SrcVecTy->getElementType();
4043 Type *DstElemTy = DstVTy->getElementType();
4044 assert((
DL.getTypeSizeInBits(SrcElemTy) ==
DL.getTypeSizeInBits(DstElemTy)) &&
4045 "Vector elements must have same size");
4049 return Builder.CreateBitOrPointerCast(V, DstVTy);
4056 "Only one type should be a pointer type");
4058 "Only one type should be a floating point type");
4062 Value *CastVal = Builder.CreateBitOrPointerCast(V, VecIntTy);
4063 return Builder.CreateBitOrPointerCast(CastVal, DstVTy);
4069 const Twine &Name) {
4070 unsigned Factor = Vals.
size();
4071 assert(Factor > 1 &&
"Tried to interleave invalid number of vectors");
4075 for (
Value *Val : Vals)
4076 assert(Val->getType() == VecTy &&
"Tried to interleave mismatched types");
4081 if (VecTy->isScalableTy()) {
4082 assert(Factor <= 8 &&
"Unsupported interleave factor for scalable vectors");
4083 return Builder.CreateVectorInterleave(Vals, Name);
4090 const unsigned NumElts = VecTy->getElementCount().getFixedValue();
4091 return Builder.CreateShuffleVector(
4124 assert(!State.Lane &&
"Interleave group being replicated.");
4126 "Masking gaps for scalable vectors is not yet supported.");
4132 unsigned InterleaveFactor = Group->
getFactor();
4139 auto CreateGroupMask = [&BlockInMask, &State,
4140 &InterleaveFactor](
Value *MaskForGaps) ->
Value * {
4141 if (State.VF.isScalable()) {
4142 assert(!MaskForGaps &&
"Interleaved groups with gaps are not supported.");
4143 assert(InterleaveFactor <= 8 &&
4144 "Unsupported deinterleave factor for scalable vectors");
4145 auto *ResBlockInMask = State.get(BlockInMask);
4153 Value *ResBlockInMask = State.get(BlockInMask);
4154 Value *ShuffledMask = State.Builder.CreateShuffleVector(
4157 "interleaved.mask");
4158 return MaskForGaps ? State.Builder.CreateBinOp(Instruction::And,
4159 ShuffledMask, MaskForGaps)
4163 const DataLayout &DL = Instr->getDataLayout();
4166 Value *MaskForGaps =
nullptr;
4170 assert(MaskForGaps &&
"Mask for Gaps is required but it is null");
4174 if (BlockInMask || MaskForGaps) {
4175 Value *GroupMask = CreateGroupMask(MaskForGaps);
4177 NewLoad = State.Builder.CreateMaskedLoad(VecTy, ResAddr,
4179 PoisonVec,
"wide.masked.vec");
4181 NewLoad = State.Builder.CreateAlignedLoad(VecTy, ResAddr,
4191 assert(InterleaveFactor <= 8 &&
4192 "Unsupported deinterleave factor for scalable vectors");
4193 NewLoad = State.Builder.CreateIntrinsic(
4196 nullptr,
"strided.vec");
4199 auto CreateStridedVector = [&InterleaveFactor, &State,
4200 &NewLoad](
unsigned Index) ->
Value * {
4201 assert(Index < InterleaveFactor &&
"Illegal group index");
4202 if (State.VF.isScalable())
4203 return State.Builder.CreateExtractValue(NewLoad, Index);
4209 return State.Builder.CreateShuffleVector(NewLoad, StrideMask,
4213 for (
unsigned I = 0, J = 0;
I < InterleaveFactor; ++
I) {
4220 Value *StridedVec = CreateStridedVector(
I);
4223 if (Member->getType() != ScalarTy) {
4230 StridedVec = State.Builder.CreateVectorReverse(StridedVec,
"reverse");
4232 State.set(VPDefs[J], StridedVec);
4242 Value *MaskForGaps =
4245 "Mismatch between NeedsMaskForGaps and MaskForGaps");
4249 unsigned StoredIdx = 0;
4250 for (
unsigned i = 0; i < InterleaveFactor; i++) {
4252 "Fail to get a member from an interleaved store group");
4262 Value *StoredVec = State.get(StoredValues[StoredIdx]);
4266 StoredVec = State.Builder.CreateVectorReverse(StoredVec,
"reverse");
4270 if (StoredVec->
getType() != SubVT)
4279 if (BlockInMask || MaskForGaps) {
4280 Value *GroupMask = CreateGroupMask(MaskForGaps);
4281 NewStoreInstr = State.Builder.CreateMaskedStore(
4282 IVec, ResAddr, Group->
getAlign(), GroupMask);
4285 State.Builder.CreateAlignedStore(IVec, ResAddr, Group->
getAlign());
4292#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4296 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
" at ";
4297 IG->getInsertPos()->printAsOperand(O,
false);
4307 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
4308 if (!IG->getMember(i))
4311 O <<
"\n" << Indent <<
" store ";
4313 O <<
" to index " << i;
4315 O <<
"\n" << Indent <<
" ";
4317 O <<
" = load from index " << i;
4325 assert(!State.Lane &&
"Interleave group being replicated.");
4326 assert(State.VF.isScalable() &&
4327 "Only support scalable VF for EVL tail-folding.");
4329 "Masking gaps for scalable vectors is not yet supported.");
4335 unsigned InterleaveFactor = Group->
getFactor();
4336 assert(InterleaveFactor <= 8 &&
4337 "Unsupported deinterleave/interleave factor for scalable vectors");
4344 Value *InterleaveEVL = State.Builder.CreateMul(
4345 EVL, ConstantInt::get(EVL->
getType(), InterleaveFactor),
"interleave.evl",
4349 Value *GroupMask =
nullptr;
4355 State.Builder.CreateVectorSplat(WideVF, State.Builder.getTrue());
4360 CallInst *NewLoad = State.Builder.CreateIntrinsic(
4361 VecTy, Intrinsic::vp_load, {ResAddr, GroupMask, InterleaveEVL},
nullptr,
4372 NewLoad = State.Builder.CreateIntrinsic(
4375 nullptr,
"strided.vec");
4377 const DataLayout &DL = Instr->getDataLayout();
4378 for (
unsigned I = 0, J = 0;
I < InterleaveFactor; ++
I) {
4384 Value *StridedVec = State.Builder.CreateExtractValue(NewLoad,
I);
4386 if (Member->getType() != ScalarTy) {
4404 const DataLayout &DL = Instr->getDataLayout();
4405 for (
unsigned I = 0, StoredIdx = 0;
I < InterleaveFactor;
I++) {
4413 Value *StoredVec = State.get(StoredValues[StoredIdx]);
4415 if (StoredVec->
getType() != SubVT)
4425 State.Builder.CreateIntrinsic(
Type::getVoidTy(Ctx), Intrinsic::vp_store,
4426 {IVec, ResAddr, GroupMask, InterleaveEVL});
4435#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4439 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
" at ";
4440 IG->getInsertPos()->printAsOperand(O,
false);
4451 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
4452 if (!IG->getMember(i))
4455 O <<
"\n" << Indent <<
" vp.store ";
4457 O <<
" to index " << i;
4459 O <<
"\n" << Indent <<
" ";
4461 O <<
" = vp.load from index " << i;
4472 unsigned InsertPosIdx = 0;
4473 for (
unsigned Idx = 0; IG->getFactor(); ++Idx)
4474 if (
auto *Member = IG->getMember(Idx)) {
4475 if (Member == InsertPos)
4479 Type *ValTy = Ctx.Types.inferScalarType(
4484 ->getAddressSpace();
4486 unsigned InterleaveFactor = IG->getFactor();
4491 for (
unsigned IF = 0; IF < InterleaveFactor; IF++)
4492 if (IG->getMember(IF))
4497 InsertPos->
getOpcode(), WideVecTy, IG->getFactor(), Indices,
4498 IG->getAlign(), AS, Ctx.CostKind,
getMask(), NeedsMaskForGaps);
4500 if (!IG->isReverse())
4503 return Cost + IG->getNumMembers() *
4505 VectorTy, VectorTy, {}, Ctx.CostKind,
4514#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4518 "unexpected number of operands");
4519 O << Indent <<
"EMIT ";
4521 O <<
" = WIDEN-POINTER-INDUCTION ";
4537 O << Indent <<
"EMIT ";
4539 O <<
" = EXPAND SCEV " << *Expr;
4546 IRBuilder<> Builder(State.CFG.PrevBB->getTerminator());
4550 : Builder.CreateVectorSplat(VF, CanonicalIV,
"broadcast");
4551 Value *VStep = Builder.CreateElementCount(
4554 VStep = Builder.CreateVectorSplat(VF, VStep);
4556 Builder.CreateAdd(VStep, Builder.CreateStepVector(VStep->
getType()));
4558 Value *CanonicalVectorIV = Builder.CreateAdd(VStart, VStep,
"vec.iv");
4559 State.set(
this, CanonicalVectorIV);
4562#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4565 O << Indent <<
"EMIT ";
4567 O <<
" = WIDEN-CANONICAL-INDUCTION ";
4573 auto &Builder = State.Builder;
4577 Type *VecTy = State.VF.isScalar()
4578 ? VectorInit->getType()
4582 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
4583 if (State.VF.isVector()) {
4585 auto *One = ConstantInt::get(IdxTy, 1);
4588 auto *RuntimeVF =
getRuntimeVF(Builder, IdxTy, State.VF);
4589 auto *LastIdx = Builder.CreateSub(RuntimeVF, One);
4590 VectorInit = Builder.CreateInsertElement(
4596 Phi->insertBefore(State.CFG.PrevBB->getFirstInsertionPt());
4597 Phi->addIncoming(VectorInit, VectorPH);
4598 State.set(
this, Phi);
4605 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
4610#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4613 O << Indent <<
"FIRST-ORDER-RECURRENCE-PHI ";
4630 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
4631 bool ScalarPHI = State.VF.isScalar() ||
isInLoop();
4632 Value *StartV = State.get(StartVPV, ScalarPHI);
4636 assert(State.CurrentParentLoop->getHeader() == HeaderBB &&
4637 "recipe must be in the vector loop header");
4642 Phi->addIncoming(StartV, VectorPH);
4645#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4648 O << Indent <<
"WIDEN-REDUCTION-PHI ";
4667 Instruction *VecPhi = State.Builder.CreatePHI(VecTy, 2, Name);
4668 State.set(
this, VecPhi);
4673 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
4676#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4679 O << Indent <<
"WIDEN-PHI ";
4689 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
4692 State.Builder.CreatePHI(StartMask->
getType(), 2,
"active.lane.mask");
4693 Phi->addIncoming(StartMask, VectorPH);
4694 State.set(
this, Phi);
4697#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4700 O << Indent <<
"ACTIVE-LANE-MASK-PHI ";
4708#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4711 O << Indent <<
"CURRENT-ITERATION-PHI ";
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static MCDisassembler::DecodeStatus addOperand(MCInst &Inst, const MCOperand &Opnd)
AMDGPU Lower Kernel Arguments
AMDGPU Register Bank Select
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static const Function * getParent(const Value *V)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
Value * getPointer(Value *Ptr)
static std::pair< Value *, APInt > getMask(Value *WideMask, unsigned Factor, ElementCount LeafValueEC)
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
This file provides a LoopVectorizationPlanner class.
static const SCEV * getAddressAccessSCEV(Value *Ptr, PredicatedScalarEvolution &PSE, const Loop *TheLoop)
Gets the address access SCEV for Ptr, if it should be used for cost modeling according to isAddressSC...
static const Function * getCalledFunction(const Value *V)
static bool isOrdered(const Instruction *I)
MachineInstr unsigned OpIdx
uint64_t IntrinsicInst * II
const SmallVectorImpl< MachineOperand > & Cond
This file defines the SmallVector class.
static SymbolRef::Type getType(const Symbol *Sym)
This file contains the declarations of different VPlan-related auxiliary helpers.
static bool isPredicatedUniformMemOpAfterTailFolding(const VPReplicateRecipe &R, const SCEV *PtrSCEV, VPCostContext &Ctx)
Return true if R is a predicated load/store with a loop-invariant address only masked by the header m...
static Value * interleaveVectors(IRBuilderBase &Builder, ArrayRef< Value * > Vals, const Twine &Name)
Return a vector containing interleaved elements from multiple smaller input vectors.
static InstructionCost getCostForIntrinsics(Intrinsic::ID ID, ArrayRef< const VPValue * > Operands, const VPRecipeWithIRFlags &R, ElementCount VF, VPCostContext &Ctx)
Compute the cost for the intrinsic ID with Operands, produced by R.
static Value * createBitOrPointerCast(IRBuilderBase &Builder, Value *V, VectorType *DstVTy, const DataLayout &DL)
SmallVector< Value *, 2 > VectorParts
static bool isUsedByLoadStoreAddress(const VPUser *V)
Returns true if V is used as part of the address of another load or store.
static void scalarizeInstruction(const Instruction *Instr, VPReplicateRecipe *RepRecipe, const VPLane &Lane, VPTransformState &State)
A helper function to scalarize a single Instruction in the innermost loop.
static unsigned getCalledFnOperandIndex(const VPInstruction &VPI)
For call VPInstructions, return the operand index of the called function.
static std::optional< unsigned > getOpcode(ArrayRef< VPValue * > Values)
Returns the opcode of Values or ~0 if they do not all agree.
This file contains the declarations of the Vectorization Plan base classes:
void printAsOperand(OutputBuffer &OB, Prec P=Prec::Default, bool StrictlyWorse=false) const
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
bool empty() const
empty - Check if the array is empty.
static LLVM_ABI Attribute getWithAlignment(LLVMContext &Context, Align Alignment)
Return a uniquified Attribute object that has the specific alignment set.
LLVM Basic Block Representation.
LLVM_ABI const_iterator getFirstInsertionPt() const
Returns an iterator to the first instruction in this block that is suitable for inserting a non-PHI i...
LLVM_ABI const BasicBlock * getSinglePredecessor() const
Return the predecessor of this block if it has a single predecessor block.
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
void addParamAttr(unsigned ArgNo, Attribute::AttrKind Kind)
Adds the attribute to the indicated argument.
This class represents a function call, abstracting a target machine's calling convention.
static LLVM_ABI bool isBitOrNoopPointerCastable(Type *SrcTy, Type *DestTy, const DataLayout &DL)
Check whether a bitcast, inttoptr, or ptrtoint cast between these types is valid and a no-op.
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ ICMP_UGT
unsigned greater than
@ ICMP_ULT
unsigned less than
static LLVM_ABI StringRef getPredicateName(Predicate P)
An abstraction over a floating-point predicate, and a pack of an integer predicate with samesign info...
void setSuccessor(unsigned idx, BasicBlock *NewSucc)
This is an important base class in LLVM.
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.
static DebugLoc getUnknown()
constexpr bool isVector() const
One or more elements.
static constexpr ElementCount getScalable(ScalarTy MinVal)
static constexpr ElementCount getFixed(ScalarTy MinVal)
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
LLVM_ABI void print(raw_ostream &O) const
Print fast-math flags to O.
void setAllowContract(bool B=true)
bool noSignedZeros() const
void setAllowReciprocal(bool B=true)
bool allowReciprocal() const
void setNoSignedZeros(bool B=true)
bool allowReassoc() const
Flag queries.
void setNoNaNs(bool B=true)
void setAllowReassoc(bool B=true)
Flag setters.
void setApproxFunc(bool B=true)
void setNoInfs(bool B=true)
bool allowContract() const
Class to represent function types.
Type * getParamType(unsigned i) const
Parameter type accessors.
bool willReturn() const
Determine if the function will return.
bool doesNotThrow() const
Determine if the function cannot unwind.
bool doesNotAccessMemory() const
Determine if the function does not access memory.
Type * getReturnType() const
Returns the type of the ret val.
Represents flags for the getelementptr instruction/expression.
static GEPNoWrapFlags none()
Common base class shared among various IRBuilders.
Value * CreateInsertElement(Type *VecTy, Value *NewElt, Value *Idx, const Twine &Name="")
IntegerType * getInt1Ty()
Fetch the type representing a single bit.
Value * CreateInsertValue(Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, const Twine &Name="")
Value * CreateExtractElement(Value *Vec, Value *Idx, const Twine &Name="")
LLVM_ABI Value * CreateVectorSpliceRight(Value *V1, Value *V2, Value *Offset, const Twine &Name="")
Create a vector.splice.right intrinsic call, or a shufflevector that produces the same result if the ...
CondBrInst * CreateCondBr(Value *Cond, BasicBlock *True, BasicBlock *False, MDNode *BranchWeights=nullptr, MDNode *Unpredictable=nullptr)
Create a conditional 'br Cond, TrueDest, FalseDest' instruction.
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="")
LLVM_ABI Value * CreateSelect(Value *C, Value *True, Value *False, const Twine &Name="", Instruction *MDFrom=nullptr)
Value * CreateFreeze(Value *V, const Twine &Name="")
IntegerType * getInt32Ty()
Fetch the type representing a 32-bit integer.
Value * CreatePtrAdd(Value *Ptr, Value *Offset, const Twine &Name="", GEPNoWrapFlags NW=GEPNoWrapFlags::none())
void setFastMathFlags(FastMathFlags NewFMF)
Set the fast-math flags to be used with generated fp-math operators.
LLVM_ABI Value * CreateVectorReverse(Value *V, const Twine &Name="")
Return a vector value that contains the vector V reversed.
Value * CreateICmpNE(Value *LHS, Value *RHS, const Twine &Name="")
LLVM_ABI CallInst * CreateOrReduce(Value *Src)
Create a vector int OR reduction intrinsic of the source vector.
LLVM_ABI CallInst * CreateIntrinsic(Intrinsic::ID ID, ArrayRef< Type * > OverloadTypes, ArrayRef< Value * > Args, FMFSource FMFSource={}, const Twine &Name="")
Create a call to intrinsic ID with Args, mangled using OverloadTypes.
Value * CreateLogicalAnd(Value *Cond1, Value *Cond2, const Twine &Name="", Instruction *MDFrom=nullptr)
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)
Value * CreateNot(Value *V, const Twine &Name="")
Value * CreateICmpEQ(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateCountTrailingZeroElems(Type *ResTy, Value *Mask, bool ZeroIsPoison=true, const Twine &Name="")
Create a call to llvm.experimental_cttz_elts.
Value * CreateSub(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
Value * CreateZExt(Value *V, Type *DestTy, const Twine &Name="", bool IsNonNeg=false)
Value * CreateAdd(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
ConstantInt * getFalse()
Get the constant value for i1 false.
Value * CreateBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
Value * CreateICmpUGE(Value *LHS, Value *RHS, const Twine &Name="")
Value * CreateLogicalOr(Value *Cond1, Value *Cond2, const Twine &Name="", Instruction *MDFrom=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)
Value * CreateMul(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
static InstructionCost getInvalid(CostType Val=0)
LLVM_ABI InstListType::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
const char * getOpcodeName() const
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
The group of interleaved loads/stores sharing the same stride and close to each other.
uint32_t getFactor() const
InstTy * getMember(uint32_t Index) const
Get the member with the given index Index.
InstTy * getInsertPos() const
void addMetadata(InstTy *NewInst) const
Add metadata (e.g.
This is an important class for using LLVM in a threaded context.
Represents a single loop in the control flow graph.
Information for memory intrinsic cost model.
A Module instance is used to store all the information related to an LLVM module.
void addIncoming(Value *V, BasicBlock *BB)
Add an incoming value to the end of the PHI list.
static PHINode * Create(Type *Ty, unsigned NumReservedValues, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
Constructors - NumReservedValues is a hint for the number of incoming edges that this phi node will h...
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
An interface layer with SCEV used to manage how we see SCEV expressions for values in the context of ...
ScalarEvolution * getSE() const
Returns the ScalarEvolution analysis used.
static LLVM_ABI unsigned getOpcode(RecurKind Kind)
Returns the opcode corresponding to the RecurrenceKind.
unsigned getOpcode() const
static bool isAnyOfRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is of the form select(cmp(),x,y) where one of (x,...
static bool isFindIVRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is of the form select(cmp(),x,y) where one of (x,...
static bool isMinMaxRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is any min/max kind.
This class represents an analyzed expression in the program.
This class represents the LLVM 'select' instruction.
This class provides computation of slot numbers for LLVM Assembly writing.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
reference emplace_back(ArgTypes &&... Args)
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.
StringRef - Represent a constant reference to a string, i.e.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
LLVM_ABI bool isScalableTy(SmallPtrSetImpl< const Type * > &Visited) const
Return true if this is a type whose size is a known multiple of vscale.
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
bool isPointerTy() const
True if this is an instance of PointerType.
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
bool isStructTy() const
True if this is an instance of StructType.
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.
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
bool isIntegerTy() const
True if this is an instance of IntegerType.
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
bool isVoidTy() const
Return true if this is 'void'.
value_op_iterator value_op_end()
void setOperand(unsigned i, Value *Val)
Value * getOperand(unsigned i) const
value_op_iterator value_op_begin()
void execute(VPTransformState &State) override
Generate the active lane mask phi of the vector loop.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPBasicBlock serves as the leaf of the Hierarchical Control-Flow Graph.
RecipeListTy & getRecipeList()
Returns a reference to the list of recipes.
const VPRecipeBase & front() const
void insert(VPRecipeBase *Recipe, iterator InsertPt)
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenMemoryRecipe.
VPValue * getIncomingValue(unsigned Idx) const
Return incoming value number Idx.
unsigned getNumIncomingValues() const
Return the number of incoming values, taking into account when normalized the first incoming value wi...
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
bool isNormalized() const
A normalized blend is one that has an odd number of operands, whereby the first operand does not have...
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
const VPBlocksTy & getPredecessors() const
void printAsOperand(raw_ostream &OS, bool PrintType=false) const
const VPBasicBlock * getEntryBasicBlock() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPBranchOnMaskRecipe.
void execute(VPTransformState &State) override
Generate the extraction of the appropriate bit from the block mask and the conditional branch.
VPlan-based builder utility analogous to IRBuilder.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getNumDefinedValues() const
Returns the number of values defined by the VPDef.
VPValue * getVPSingleValue()
Returns the only VPValue defined by the VPDef.
VPValue * getVPValue(unsigned I)
Returns the VPValue with index I defined by the VPDef.
ArrayRef< VPRecipeValue * > definedValues()
Returns an ArrayRef of the values defined by the VPDef.
void execute(VPTransformState &State) override
Generate the transformed value of the induction at offset StartValue (1.
VPIRValue * getStartValue() const
VPValue * getStepValue() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void decompose()
Insert the recipes of the expression back into the VPlan, directly before the current recipe.
bool isSingleScalar() const
Returns true if the result of this VPExpressionRecipe is a single-scalar.
bool mayHaveSideEffects() const
Returns true if this expression contains recipes that may have side effects.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Compute the cost of this recipe either using a recipe's specialized implementation or using the legac...
bool mayReadOrWriteMemory() const
Returns true if this expression contains recipes that may read from or write to memory.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Produce a vectorized histogram operation.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPHistogramRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getMask() const
Return the mask operand if one was provided, or a null pointer if all lanes should be executed uncond...
Class to record and manage LLVM IR flags.
ReductionFlagsTy ReductionFlags
LLVM_ABI_FOR_TEST bool hasRequiredFlagsForOpcode(unsigned Opcode) const
Returns true if Opcode has its required flags set.
LLVM_ABI_FOR_TEST bool flagsValidForOpcode(unsigned Opcode) const
Returns true if the set flags are valid for Opcode.
static VPIRFlags getDefaultFlags(unsigned Opcode)
Returns default flags for Opcode for opcodes that support it, asserts otherwise.
void printFlags(raw_ostream &O) const
bool hasFastMathFlags() const
Returns true if the recipe has fast-math flags.
LLVM_ABI_FOR_TEST FastMathFlags getFastMathFlags() const
bool isReductionOrdered() const
CmpInst::Predicate getPredicate() const
void intersectFlags(const VPIRFlags &Other)
Only keep flags also present in Other.
GEPNoWrapFlags getGEPNoWrapFlags() const
bool hasPredicate() const
Returns true if the recipe has a comparison predicate.
DisjointFlagsTy DisjointFlags
NonNegFlagsTy NonNegFlags
bool isReductionInLoop() const
void applyFlags(Instruction &I) const
Apply the IR flags to I.
RecurKind getRecurKind() const
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPIRInstruction.
VPIRInstruction(Instruction &I)
VPIRInstruction::create() should be used to create VPIRInstructions, as subclasses may need to be cre...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the instruction.
This is a concrete Recipe that models a single VPlan-level instruction.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPInstruction.
bool doesGeneratePerAllLanes() const
Returns true if this VPInstruction generates scalar values for all lanes.
@ ExtractLastActive
Extracts the last active lane from a set of vectors.
@ ExtractLane
Extracts a single lane (first operand) from a set of vector operands.
@ ExitingIVValue
Compute the exiting value of a wide induction after vectorization, that is the value of the last lane...
@ WideIVStep
Scale the first operand (vector step) by the second operand (scalar-step).
@ ExtractPenultimateElement
@ ResumeForEpilogue
Explicit user for the resume phi of the canonical induction in the main VPlan, used by the epilogue v...
@ Unpack
Extracts all lanes from its (non-scalable) vector operand.
@ FirstOrderRecurrenceSplice
@ ReductionStartVector
Start vector for reductions with 3 operands: the original start value, the identity value for the red...
@ BuildVector
Creates a fixed-width vector containing all operands.
@ BuildStructVector
Given operands of (the same) struct type, creates a struct of fixed- width vectors each containing a ...
@ VScale
Returns the value for vscale.
@ CanonicalIVIncrementForPart
@ ComputeReductionResult
Reduce the operands to the final reduction result using the operation specified via the operation's V...
@ CalculateTripCountMinusVF
bool opcodeMayReadOrWriteFromMemory() const
Returns true if the underlying opcode may read from or write to memory.
LLVM_DUMP_METHOD void dump() const
Print the VPInstruction to dbgs() (for debugging).
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the VPInstruction to O.
StringRef getName() const
Returns the symbolic name assigned to the VPInstruction.
unsigned getOpcode() const
VPInstruction(unsigned Opcode, ArrayRef< VPValue * > Operands, const VPIRFlags &Flags={}, const VPIRMetadata &MD={}, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
bool isVectorToScalar() const
Returns true if this VPInstruction produces a scalar value from a vector, e.g.
bool isSingleScalar() const
Returns true if this VPInstruction's operands are single scalars and the result is also a single scal...
unsigned getNumOperandsForOpcode() const
Return the number of operands determined by the opcode of the VPInstruction, excluding mask.
bool isMasked() const
Returns true if the VPInstruction has a mask operand.
void execute(VPTransformState &State) override
Generate the instruction.
bool usesFirstPartOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first part of operand Op.
bool needsMaskForGaps() const
Return true if the access needs a mask because of the gaps.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this recipe.
Instruction * getInsertPos() const
const InterleaveGroup< Instruction > * getInterleaveGroup() const
VPValue * getMask() const
Return the mask used by this recipe.
ArrayRef< VPValue * > getStoredValues() const
Return the VPValues stored by this interleave group.
VPValue * getAddr() const
Return the address accessed by this recipe.
VPValue * getEVL() const
The VPValue of the explicit vector length.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getNumStoreOperands() const override
Returns the number of stored operands of this interleave group.
void execute(VPTransformState &State) override
Generate the wide load or store, and shuffles.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getNumStoreOperands() const override
Returns the number of stored operands of this interleave group.
void execute(VPTransformState &State) override
Generate the wide load or store, and shuffles.
In what follows, the term "input IR" refers to code that is fed into the vectorizer whereas the term ...
static VPLane getLastLaneForVF(const ElementCount &VF)
static VPLane getLaneFromEnd(const ElementCount &VF, unsigned Offset)
static VPLane getFirstLane()
virtual const VPRecipeBase * getAsRecipe() const =0
Return a VPRecipeBase* to the current object.
VPValue * getIncomingValueForBlock(const VPBasicBlock *VPBB) const
Returns the incoming value for VPBB. VPBB must be an incoming block.
virtual unsigned getNumIncoming() const
Returns the number of incoming values, also number of incoming blocks.
void removeIncomingValueFor(VPBlockBase *IncomingBlock) const
Removes the incoming value for IncomingBlock, which must be a predecessor.
const VPBasicBlock * getIncomingBlock(unsigned Idx) const
Returns the incoming block with index Idx.
detail::zippy< llvm::detail::zip_first, VPUser::const_operand_range, const_incoming_blocks_range > incoming_values_and_blocks() const
Returns an iterator range over pairs of incoming values and corresponding incoming blocks.
VPValue * getIncomingValue(unsigned Idx) const
Returns the incoming VPValue with index Idx.
void printPhiOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the recipe.
void setIncomingValueForBlock(const VPBasicBlock *VPBB, VPValue *V) const
Sets the incoming value for VPBB to V.
void execute(VPTransformState &State) override
Generates phi nodes for live-outs (from a replicate region) as needed to retain SSA form.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
bool mayReadFromMemory() const
Returns true if the recipe may read from memory.
bool mayHaveSideEffects() const
Returns true if the recipe may have side-effects.
virtual void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const =0
Each concrete VPRecipe prints itself, without printing common information, like debug info or metadat...
VPRegionBlock * getRegion()
LLVM_ABI_FOR_TEST void dump() const
Dump the recipe to stderr (for debugging).
bool isPhi() const
Returns true for PHI-like recipes.
bool mayWriteToMemory() const
Returns true if the recipe may write to memory.
virtual InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const
Compute the cost of this recipe either using a recipe's specialized implementation or using the legac...
VPBasicBlock * getParent()
DebugLoc getDebugLoc() const
Returns the debug location of the recipe.
void moveBefore(VPBasicBlock &BB, iplist< VPRecipeBase >::iterator I)
Unlink this recipe and insert into BB before I.
void insertBefore(VPRecipeBase *InsertPos)
Insert an unlinked recipe into a basic block immediately before the specified recipe.
void insertAfter(VPRecipeBase *InsertPos)
Insert an unlinked Recipe into a basic block immediately after the specified Recipe.
iplist< VPRecipeBase >::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
InstructionCost cost(ElementCount VF, VPCostContext &Ctx)
Return the cost of this recipe, taking into account if the cost computation should be skipped and the...
bool isScalarCast() const
Return true if the recipe is a scalar cast.
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const
Print the recipe, delegating to printRecipe().
void removeFromParent()
This method unlinks 'this' from the containing basic block, but does not delete it.
unsigned getVPRecipeID() const
void moveAfter(VPRecipeBase *MovePos)
Unlink this recipe from its current VPBasicBlock and insert it into the VPBasicBlock that MovePos liv...
VPRecipeBase(const unsigned char SC, ArrayRef< VPValue * > Operands, DebugLoc DL=DebugLoc::getUnknown())
void execute(VPTransformState &State) override
Generate the reduction in the loop.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getEVL() const
The VPValue of the explicit vector length.
unsigned getVFScaleFactor() const
Get the factor that the VF of this recipe's output should be scaled by, or 1 if it isn't scaled.
bool isInLoop() const
Returns true if the phi is part of an in-loop reduction.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the phi/select nodes.
bool isConditional() const
Return true if the in-loop reduction is conditional.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of VPReductionRecipe.
VPValue * getVecOp() const
The VPValue of the vector value to be reduced.
VPValue * getCondOp() const
The VPValue of the condition for the block.
RecurKind getRecurrenceKind() const
Return the recurrence kind for the in-loop reduction.
bool isPartialReduction() const
Returns true if the reduction outputs a vector with a scaled down VF.
VPValue * getChainOp() const
The VPValue of the scalar Chain being accumulated.
bool isInLoop() const
Returns true if the reduction is in-loop.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the reduction in the loop.
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
void execute(VPTransformState &State) override
Generate replicas of the desired Ingredient.
bool isSingleScalar() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPReplicateRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
unsigned getOpcode() const
bool shouldPack() const
Returns true if the recipe is used by a widened recipe via an intervening VPPredInstPHIRecipe.
VPValue * getStepValue() const
VPValue * getStartIndex() const
Return the StartIndex, or null if known to be zero, valid only after unrolling.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the scalarized versions of the phi node as needed by their users.
VPSingleDef is a base class for recipes for modeling a sequence of one or more output IR that define ...
Instruction * getUnderlyingInstr()
Returns the underlying instruction.
LLVM_ABI_FOR_TEST LLVM_DUMP_METHOD void dump() const
Print this VPSingleDefRecipe to dbgs() (for debugging).
VPSingleDefRecipe(const unsigned char SC, ArrayRef< VPValue * > Operands, DebugLoc DL=DebugLoc::getUnknown())
This class can be used to assign names to VPValues.
An analysis for type-inference for VPValues.
Type * inferScalarType(const VPValue *V)
Infer the type of V. Returns the scalar type of V.
Helper to access the operand that contains the unroll part for this recipe after unrolling.
VPValue * getUnrollPartOperand(const VPUser &U) const
Return the VPValue operand containing the unroll part or null if there is no such operand.
unsigned getUnrollPart(const VPUser &U) const
Return the unroll part.
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
void printOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the operands to O.
unsigned getNumOperands() const
operand_iterator op_begin()
VPValue * getOperand(unsigned N) const
virtual bool usesFirstLaneOnly(const VPValue *Op) const
Returns true if the VPUser only uses the first lane of operand Op.
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
VPRecipeBase * getDefiningRecipe()
Returns the recipe defining this VPValue or nullptr if it is not defined by a recipe,...
void printAsOperand(raw_ostream &OS, VPSlotTracker &Tracker) const
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
void setUnderlyingValue(Value *Val)
void replaceAllUsesWith(VPValue *New)
VPValue * getVFValue() const
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Type * getSourceElementType() const
int64_t getStride() const
void materializeOffset(unsigned Part=0)
Adds the offset operand to the recipe.
Type * getSourceElementType() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
Function * getCalledScalarFunction() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenCallRecipe.
void execute(VPTransformState &State) override
Produce a widened version of the call instruction.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate a canonical vector induction variable of the vector loop, with start = {<Part*VF,...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Type * getResultType() const
Returns the result type of the cast.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Produce widened copies of the cast.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenCastRecipe.
void execute(VPTransformState &State) override
Generate the gep nodes.
Type * getSourceElementType() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
VPIRValue * getStartValue() const
Returns the start value of the induction.
VPValue * getStepValue()
Returns the step value of the induction.
VPIRValue * getStartValue() const
Returns the start value of the induction.
TruncInst * getTruncInst()
Returns the first defined value as TruncInst, if it is one or nullptr otherwise.
Type * getScalarType() const
Returns the scalar type of the induction.
bool isCanonical() const
Returns true if the induction is canonical, i.e.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
Intrinsic::ID getVectorIntrinsicID() const
Return the ID of the intrinsic.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
StringRef getIntrinsicName() const
Return to name of the intrinsic as string.
LLVM_ABI_FOR_TEST bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the VPUser only uses the first lane of operand Op.
Type * getResultType() const
Return the scalar return type of the intrinsic.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Produce a widened version of the vector intrinsic.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this vector intrinsic.
bool IsMasked
Whether the memory access is masked.
bool isConsecutive() const
Return whether the loaded-from / stored-to addresses are consecutive.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenMemoryRecipe.
bool Consecutive
Whether the accessed addresses are consecutive.
VPValue * getMask() const
Return the mask used by this recipe.
Align Alignment
Alignment information for this memory access.
VPValue * getAddr() const
Return the address accessed by this recipe.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenPHIRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate the phi/select nodes.
bool onlyScalarsGenerated(bool IsScalable)
Returns true if only scalar values will be generated.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenRecipe.
void execute(VPTransformState &State) override
Produce a widened instruction using the opcode and operands of the recipe, processing State....
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
const DataLayout & getDataLayout() const
LLVM_ABI_FOR_TEST VPRegionBlock * getVectorLoopRegion()
Returns the VPRegionBlock of the vector loop.
VPIRValue * getConstantInt(Type *Ty, uint64_t Val, bool IsSigned=false)
Return a VPIRValue wrapping a ConstantInt with the given type and value.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
LLVM_ABI void setName(const Twine &Name)
Change the name of the value.
LLVMContext & getContext() const
All values hold a context through their type.
void mutateType(Type *Ty)
Mutate the type of this Value to be of the specified type.
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Base class of all SIMD vector types.
ElementCount getElementCount() const
Return an ElementCount instance to represent the (possibly scalable) number of elements in the vector...
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
Type * getElementType() const
constexpr ScalarTy getFixedValue() const
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
constexpr LeafTy multiplyCoefficientBy(ScalarTy RHS) const
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
constexpr LeafTy divideCoefficientBy(ScalarTy RHS) const
We do not provide the '/' operator here because division for polynomial types does not work in the sa...
const ParentTy * getParent() const
self_iterator getIterator()
typename base_list_type::iterator iterator
iterator erase(iterator where)
pointer remove(iterator &IT)
This class implements an extremely fast bulk output stream that can only output to a stream.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Attrs[]
Key for Kernel::Metadata::mAttrs.
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.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
@ BasicBlock
Various leaf nodes.
LLVM_ABI Intrinsic::ID getDeinterleaveIntrinsicID(unsigned Factor)
Returns the corresponding llvm.vector.deinterleaveN intrinsic for factor N.
LLVM_ABI Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > OverloadTys={})
Look up the Function declaration of the intrinsic id in the Module M.
LLVM_ABI StringRef getBaseName(ID id)
Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm....
SpecificConstantMatch m_ZeroInt()
Convenience matchers for specific integer values.
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
auto m_Cmp()
Matches any compare instruction and ignore it.
bool match(Val *V, const Pattern &P)
cst_pred_ty< is_one > m_One()
Match an integer 1 or a vector with all elements equal to 1.
IntrinsicID_match m_Intrinsic()
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
ThreeOps_match< Cond, LHS, RHS, Instruction::Select > m_Select(const Cond &C, const LHS &L, const RHS &R)
Matches SelectInst.
LogicalOp_match< LHS, RHS, Instruction::And, true > m_c_LogicalAnd(const LHS &L, const RHS &R)
Matches L && R with LHS and RHS in either order.
LogicalOp_match< LHS, RHS, Instruction::Or, true > m_c_LogicalOr(const LHS &L, const RHS &R)
Matches L || R with LHS and RHS in either order.
specific_intval< 1 > m_False()
specific_intval< 1 > m_True()
auto m_VPValue()
Match an arbitrary VPValue and ignore it.
VPInstruction_match< VPInstruction::Reverse, Op0_t > m_Reverse(const Op0_t &Op0)
NodeAddr< DefNode * > Def
bool isSingleScalar(const VPValue *VPV)
Returns true if VPV is a single scalar, either because it produces the same value for all lanes or on...
bool isAddressSCEVForCost(const SCEV *Addr, ScalarEvolution &SE, const Loop *L)
Returns true if Addr is an address SCEV that can be passed to TTI::getAddressComputationCost,...
bool onlyFirstPartUsed(const VPValue *Def)
Returns true if only the first part of Def is used.
bool onlyFirstLaneUsed(const VPValue *Def)
Returns true if only the first lane of Def is used.
bool onlyScalarValuesUsed(const VPValue *Def)
Returns true if only scalar values of Def are used by all users.
const SCEV * getSCEVExprForVPValue(const VPValue *V, PredicatedScalarEvolution &PSE, const Loop *L=nullptr)
Return the SCEV expression for V.
bool isHeaderMask(const VPValue *V, const VPlan &Plan)
Return true if V is a header mask in Plan.
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
LLVM_ABI Value * createSimpleReduction(IRBuilderBase &B, Value *Src, RecurKind RdxKind)
Create a reduction of the given vector.
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
FunctionAddr VTableAddr Value
auto cast_if_present(const Y &Val)
cast_if_present<X> - Functionally identical to cast, except that a null value is accepted.
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.
@ Undef
Value of the register doesn't matter.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
const Value * getLoadStorePointerOperand(const Value *V)
A helper function that returns the pointer operand of a load or store instruction.
Value * getRuntimeVF(IRBuilderBase &B, Type *Ty, ElementCount VF)
Return the runtime value for VF.
auto dyn_cast_if_present(const Y &Val)
dyn_cast_if_present<X> - Functionally identical to dyn_cast, except that a null (or none in the case ...
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
void interleaveComma(const Container &c, StreamT &os, UnaryFunctor each_fn)
auto cast_or_null(const Y &Val)
LLVM_ABI Value * concatenateVectors(IRBuilderBase &Builder, ArrayRef< Value * > Vecs)
Concatenate a list of vectors.
Align getLoadStoreAlignment(const Value *I)
A helper function that returns the alignment of load or store instruction.
bool isa_and_nonnull(const Y &Val)
LLVM_ABI Value * createMinMaxOp(IRBuilderBase &Builder, RecurKind RK, Value *Left, Value *Right)
Returns a Min/Max operation corresponding to MinMaxRecurrenceKind.
auto dyn_cast_or_null(const Y &Val)
static Error getOffset(const SymbolRef &Sym, SectionRef Sec, uint64_t &Result)
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 Constant * createBitMaskForGaps(IRBuilderBase &Builder, unsigned VF, const InterleaveGroup< Instruction > &Group)
Create a mask that filters the members of an interleave group where there are gaps.
LLVM_ABI llvm::SmallVector< int, 16 > createStrideMask(unsigned Start, unsigned Stride, unsigned VF)
Create a stride shuffle mask.
auto reverse(ContainerTy &&C)
LLVM_ABI llvm::SmallVector< int, 16 > createReplicatedMask(unsigned ReplicationFactor, unsigned VF)
Create a mask with replicated elements.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
SmallVector< ValueTypeFromRangeType< R >, Size > to_vector(R &&Range)
Given a range of type R, iterate the entire range and return a SmallVector with elements of the vecto...
Type * toVectorizedTy(Type *Ty, ElementCount EC)
A helper for converting to vectorized types.
cl::opt< unsigned > ForceTargetInstructionCost
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
auto drop_end(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the last N elements excluded.
LLVM_ABI bool isVectorIntrinsicWithStructReturnOverloadAtField(Intrinsic::ID ID, int RetIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic that returns a struct is overloaded at the struct elem...
bool canVectorizeTy(Type *Ty)
Returns true if Ty is a valid vector element type, void, or an unpacked literal struct where all elem...
FunctionAddr VTableAddr uintptr_t uintptr_t Data
LLVM_ABI llvm::SmallVector< int, 16 > createInterleaveMask(unsigned VF, unsigned NumVecs)
Create an interleave shuffle mask.
RecurKind
These are the kinds of recurrences that we support.
@ UMin
Unsigned integer min implemented in terms of select(cmp()).
@ FMinimumNum
FP min with llvm.minimumnum semantics.
@ FMinimum
FP min with llvm.minimum semantics.
@ FMaxNum
FP max with llvm.maxnum semantics including NaNs.
@ Mul
Product of integers.
@ AnyOf
AnyOf reduction with select(cmp(),x,y) where one of (x,y) is loop invariant, and both x and y are int...
@ FindLast
FindLast reduction with select(cmp(),x,y) where x and y.
@ FMaximum
FP max with llvm.maximum semantics.
@ SMax
Signed integer max implemented in terms of select(cmp()).
@ SMin
Signed integer min implemented in terms of select(cmp()).
@ FMinNum
FP min with llvm.minnum semantics including NaNs.
@ Sub
Subtraction of integers.
@ FMaximumNum
FP max with llvm.maximumnum semantics.
@ UMax
Unsigned integer max implemented in terms of select(cmp()).
LLVM_ABI bool isVectorIntrinsicWithScalarOpAtArg(Intrinsic::ID ID, unsigned ScalarOpdIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic has a scalar operand.
LLVM_ABI Value * getRecurrenceIdentity(RecurKind K, Type *Tp, FastMathFlags FMF)
Given information about an recurrence kind, return the identity for the @llvm.vector....
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Value * emitTransformedIndex(IRBuilderBase &B, Value *Index, Value *StartValue, Value *Step, InductionDescriptor::InductionKind InductionKind, const BinaryOperator *InductionBinOp)
Compute the transformed value of Index at offset StartValue using step StepValue.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Type * getLoadStoreType(const Value *I)
A helper function that returns the type of a load or store instruction.
LLVM_ABI Value * createOrderedReduction(IRBuilderBase &B, RecurKind RdxKind, Value *Src, Value *Start)
Create an ordered reduction intrinsic using the given recurrence kind RdxKind.
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
Type * toVectorTy(Type *Scalar, ElementCount EC)
A helper function for converting Scalar types to vector types.
LLVM_ABI bool isVectorIntrinsicWithOverloadTypeAtArg(Intrinsic::ID ID, int OpdIdx, const TargetTransformInfo *TTI)
Identifies if the vector form of the intrinsic is overloaded on the type of the operand at index OpdI...
This struct is a compact representation of a valid (non-zero power of two) alignment.
Struct to hold various analysis needed for cost computations.
TargetTransformInfo::TargetCostKind CostKind
const TargetTransformInfo & TTI
void execute(VPTransformState &State) override
Generate the phi nodes.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this first-order recurrence phi recipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
An overlay for VPIRInstructions wrapping PHI nodes enabling convenient use cast/dyn_cast/isa and exec...
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
The method which generates the output IR instructions that correspond to this VPRecipe,...
void execute(VPTransformState &State) override
Generate the instruction.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
A pure-virtual common base class for recipes defining a single VPValue and using IR flags.
InstructionCost getCostForRecipeWithOpcode(unsigned Opcode, ElementCount VF, VPCostContext &Ctx) const
Compute the cost for this recipe for VF, using Opcode and Ctx.
VPRecipeWithIRFlags(const unsigned char SC, ArrayRef< VPValue * > Operands, const VPIRFlags &Flags, DebugLoc DL=DebugLoc::getUnknown())
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Generate the wide load or gather.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenLoadEVLRecipe.
VPValue * getEVL() const
Return the EVL operand.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
void execute(VPTransformState &State) override
Generate a wide load or gather.
VPValue * getStoredValue() const
Return the address accessed by this recipe.
LLVM_ABI_FOR_TEST void execute(VPTransformState &State) override
Generate the wide store or scatter.
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
LLVM_ABI_FOR_TEST InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenStoreEVLRecipe.
VPValue * getEVL() const
Return the EVL operand.
void execute(VPTransformState &State) override
Generate a wide store or scatter.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getStoredValue() const
Return the value stored by this recipe.