47#define LV_NAME "loop-vectorize"
48#define DEBUG_TYPE LV_NAME
50#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
56 cl::desc(
"Controls the printing of recipe metadata when debugging."));
67 case VPInstructionSC: {
70 if (VPI->getOpcode() == Instruction::Load)
72 return VPI->opcodeMayReadOrWriteFromMemory();
74 case VPInterleaveEVLSC:
77 case VPWidenStoreEVLSC:
85 ->getCalledScalarFunction()
87 case VPWidenMemIntrinsicSC:
88 case VPWidenIntrinsicSC:
90 case VPActiveLaneMaskPHISC:
91 case VPCurrentIterationPHISC:
92 case VPBranchOnMaskSC:
94 case VPFirstOrderRecurrencePHISC:
95 case VPReductionPHISC:
96 case VPScalarIVStepsSC:
101 case VPReductionEVLSC:
103 case VPVectorPointerSC:
104 case VPWidenCanonicalIVSC:
107 case VPWidenIntOrFpInductionSC:
108 case VPWidenLoadEVLSC:
111 case VPWidenPointerInductionSC:
116 assert((!
I || !
I->mayWriteToMemory()) &&
117 "underlying instruction may write to memory");
129 case VPInstructionSC:
131 case VPWidenLoadEVLSC:
136 ->mayReadFromMemory();
139 ->getCalledScalarFunction()
140 ->onlyWritesMemory();
141 case VPWidenMemIntrinsicSC:
142 case VPWidenIntrinsicSC:
144 case VPBranchOnMaskSC:
146 case VPCurrentIterationPHISC:
147 case VPFirstOrderRecurrencePHISC:
148 case VPReductionPHISC:
149 case VPPredInstPHISC:
150 case VPScalarIVStepsSC:
151 case VPWidenStoreEVLSC:
156 case VPReductionEVLSC:
158 case VPVectorPointerSC:
159 case VPWidenCanonicalIVSC:
162 case VPWidenIntOrFpInductionSC:
164 case VPWidenPointerInductionSC:
169 assert((!
I || !
I->mayReadFromMemory()) &&
170 "underlying instruction may read from memory");
183 case VPActiveLaneMaskPHISC:
185 case VPCurrentIterationPHISC:
186 case VPFirstOrderRecurrencePHISC:
187 case VPReductionPHISC:
188 case VPPredInstPHISC:
189 case VPVectorEndPointerSC:
192 case VPInstructionSC: {
199 case VPWidenCallSC: {
203 case VPWidenMemIntrinsicSC:
204 case VPWidenIntrinsicSC:
207 case VPReductionEVLSC:
209 case VPScalarIVStepsSC:
210 case VPVectorPointerSC:
211 case VPWidenCanonicalIVSC:
214 case VPWidenIntOrFpInductionSC:
216 case VPWidenPointerInductionSC:
221 assert((!
I || !
I->mayHaveSideEffects()) &&
222 "underlying instruction has side-effects");
225 case VPInterleaveEVLSC:
228 case VPWidenLoadEVLSC:
230 case VPWidenStoreEVLSC:
235 "mayHaveSideffects result for ingredient differs from this "
238 case VPReplicateSC: {
240 return R->getUnderlyingInstr()->mayHaveSideEffects();
251 case VPInstructionSC: {
259 case Instruction::Add:
260 case Instruction::Sub:
261 case Instruction::Mul:
262 case Instruction::GetElementPtr:
270 assert(!Parent &&
"Recipe already in some VPBasicBlock");
272 "Insertion position not in any VPBasicBlock");
278 assert(!Parent &&
"Recipe already in some VPBasicBlock");
284 assert(!Parent &&
"Recipe already in some VPBasicBlock");
286 "Insertion position not in any VPBasicBlock");
321 UI = IG->getInsertPos();
323 UI = &WidenMem->getIngredient();
326 if (UI && Ctx.skipCostComputation(UI, VF.
isVector())) {
342 dbgs() <<
"Cost of " << RecipeCost <<
" for VF " << VF <<
": ";
364 assert(OpType == Other.OpType &&
"OpType must match");
366 case OperationType::OverflowingBinOp:
367 WrapFlags.HasNUW &= Other.WrapFlags.HasNUW;
368 WrapFlags.HasNSW &= Other.WrapFlags.HasNSW;
370 case OperationType::Trunc:
374 case OperationType::DisjointOp:
377 case OperationType::PossiblyExactOp:
378 ExactFlags.IsExact &= Other.ExactFlags.IsExact;
380 case OperationType::GEPOp:
383 case OperationType::FPMathOp:
384 case OperationType::FCmp:
385 assert((OpType != OperationType::FCmp ||
386 FCmpFlags.CmpPredStorage == Other.FCmpFlags.CmpPredStorage) &&
387 "Cannot drop CmpPredicate");
390 case OperationType::NonNegOp:
393 case OperationType::Cmp:
395 "Cannot drop CmpPredicate");
397 case OperationType::ReductionOp:
399 "Cannot change RecurKind");
401 "Cannot change IsOrdered");
403 "Cannot change IsInLoop");
406 case OperationType::Other:
414 const FastMathFlagsTy &
F = getFMFsRef();
426#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
455 "expected function operand");
468 "zero-operand VPInstruction opcodes must pass explicit ResultTy");
470 [[maybe_unused]]
auto AssertOperandType = [&
Operands](
unsigned Idx,
472 if (!ExpectedTy ||
Operands.size() <= Idx)
476 "different types inferred for different operands");
491 AssertOperandType(1, Op0Ty);
495 for (
unsigned Idx = 1; Idx !=
Operands.size(); ++Idx)
496 AssertOperandType(Idx, Op0Ty);
498 case Instruction::Switch:
499 for (
unsigned Idx = 1; Idx !=
Operands.size(); ++Idx)
500 AssertOperandType(Idx, Op0Ty);
502 case Instruction::Store:
504 case Instruction::ICmp:
506 AssertOperandType(1, Op0Ty);
508 case Instruction::FCmp:
510 AssertOperandType(1, Op0Ty);
515 AssertOperandType(1, Op0Ty);
523 AssertOperandType(1, Op0Ty);
527 for (
unsigned Idx = 1; Idx !=
Operands.size(); ++Idx)
528 AssertOperandType(Idx, Op0Ty);
533 case Instruction::Select: {
535 "select condition must be bool");
537 AssertOperandType(2, Op1Ty);
540 case Instruction::InsertElement:
543 AssertOperandType(1, Op0Ty);
545 "expected integer operand");
550 AssertOperandType(1, Op0Ty);
553 assert(
Operands.size() >= 2 &&
"ExtractLane requires a lane operand and "
554 "at least one source vector operand");
558 for (
unsigned Idx = 2; Idx !=
Operands.size(); ++Idx)
559 AssertOperandType(Idx, Op1Ty);
565 "expected pointer operand");
567 "expected integer operand");
569 case Instruction::ExtractValue: {
570 assert(
Operands.size() == 2 &&
"expected single level extractvalue");
572 return StructTy->getTypeAtIndex(
579 case Instruction::Load:
580 case Instruction::Alloca:
582 case Instruction::Call:
592 bool AllOperandsSameType =
598 if (AllOperandsSameType)
599 for (
unsigned Idx = 1; Idx !=
Operands.size(); ++Idx)
600 AssertOperandType(Idx, Op0Ty);
607 unsigned Opcode =
I->getOpcode();
610 Instruction::Load, Instruction::Alloca}),
626 "Set flags not supported for the provided opcode");
628 "Opcode requires specific flags to be set");
632 "number of operands does not match opcode");
646 case Instruction::Alloca:
647 case Instruction::ExtractValue:
648 case Instruction::Freeze:
649 case Instruction::Load:
663 case Instruction::ICmp:
664 case Instruction::FCmp:
665 case Instruction::ExtractElement:
666 case Instruction::Store:
679 case Instruction::InsertElement:
680 case Instruction::Select:
684 case Instruction::Call:
686 case Instruction::GetElementPtr:
687 case Instruction::PHI:
688 case Instruction::Switch:
689 case Instruction::AtomicRMW:
690 case Instruction::AtomicCmpXchg:
691 case Instruction::Fence:
713bool VPInstruction::canGenerateScalarForFirstLane()
const {
719 case Instruction::Freeze:
720 case Instruction::ICmp:
721 case Instruction::PHI:
722 case Instruction::Select:
739 return Instruction::Add;
741 return Instruction::FAdd;
746 IRBuilderBase &Builder = State.
Builder;
775 case Instruction::ExtractElement: {
778 return State.
get(
getOperand(0), VPLane(Idx->getZExtValue()));
783 case Instruction::InsertElement: {
790 case Instruction::Freeze: {
794 case Instruction::FCmp:
795 case Instruction::ICmp: {
801 case Instruction::PHI: {
804 case Instruction::Select: {
835 {VIVElem0, ScalarTC},
nullptr, Name);
840 assert(VecTy->getScalarSizeInBits() == 1 &&
841 "NumActiveLanes only implemented for i1 vectors");
864 if (!
V1->getType()->isVectorTy())
875 "Requested vector length should be an integer.");
881 Builder.
getInt32Ty(), Intrinsic::experimental_get_vector_length,
882 {AVL, VFArg, Builder.getTrue()});
891 VPBasicBlock *SecondVPSucc =
912 for (
unsigned FieldIndex = 0; FieldIndex != StructTy->getNumElements();
936 IRBuilderBase::FastMathFlagGuard FMFG(Builder);
951 "FindIV should use min/max reduction kinds");
955 SmallVector<Value *, 2> RdxParts(NumOperandsToReduce);
956 for (
unsigned Part = 0; Part < NumOperandsToReduce; ++Part)
959 IRBuilderBase::FastMathFlagGuard FMFG(Builder);
963 Value *ReducedPartRdx = RdxParts[0];
965 ReducedPartRdx = RdxParts[NumOperandsToReduce - 1];
968 for (
unsigned Part = 1; Part < NumOperandsToReduce; ++Part) {
969 Value *RdxPart = RdxParts[Part];
971 ReducedPartRdx =
createMinMaxOp(Builder, RK, ReducedPartRdx, RdxPart);
980 Builder.
CreateBinOp(Opcode, RdxPart, ReducedPartRdx,
"bin.rdx");
994 return ReducedPartRdx;
1003 "invalid offset to extract from");
1008 assert(
Offset <= 1 &&
"invalid offset to extract from");
1027 "can only generate first lane for PtrAdd");
1046 "simplified to ExtractElement.");
1049 Value *Res =
nullptr;
1053 Value *VectorStart =
1054 Builder.
CreateMul(RuntimeVF, ConstantInt::get(IdxTy, Idx - 1));
1055 Value *VectorIdx = Idx == 1
1057 : Builder.
CreateSub(LaneToExtract, VectorStart);
1083 Value *Res =
nullptr;
1084 for (
int Idx = LastOpIdx; Idx >= 0; --Idx) {
1085 Value *TrailingZeros =
1095 Builder.
CreateMul(RuntimeVF, ConstantInt::get(Ty, Idx)),
1122 Intrinsic::experimental_vector_extract_last_active, {VTy},
1133 if (Src->getType() == DstTy)
1143 SmallVector<Value *, 2>
Args;
1160 case Instruction::FNeg:
1161 return Ctx.TTI.getArithmeticInstrCost(Opcode, ResultTy, Ctx.CostKind);
1162 case Instruction::UDiv:
1163 case Instruction::SDiv:
1164 case Instruction::SRem:
1165 case Instruction::URem:
1166 case Instruction::Add:
1167 case Instruction::FAdd:
1168 case Instruction::Sub:
1169 case Instruction::FSub:
1170 case Instruction::Mul:
1171 case Instruction::FMul:
1172 case Instruction::FDiv:
1173 case Instruction::FRem:
1174 case Instruction::Shl:
1175 case Instruction::LShr:
1176 case Instruction::AShr:
1177 case Instruction::And:
1178 case Instruction::Or:
1179 case Instruction::Xor: {
1193 return Ctx.TTI.getArithmeticInstrCost(
1194 Opcode, ResultTy, Ctx.CostKind,
1195 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
1196 RHSInfo, Operands, CtxI, &Ctx.TLI);
1198 case Instruction::Freeze:
1205 case Instruction::ExtractValue:
1206 return Ctx.TTI.getInsertExtractValueCost(Instruction::ExtractValue,
1208 case Instruction::ICmp:
1209 case Instruction::FCmp: {
1213 return Ctx.TTI.getCmpSelInstrCost(
1215 Ctx.CostKind, {TTI::OK_AnyValue, TTI::OP_None},
1216 {TTI::OK_AnyValue, TTI::OP_None}, CtxI);
1218 case Instruction::BitCast: {
1224 case Instruction::SExt:
1225 case Instruction::ZExt:
1226 case Instruction::FPToUI:
1227 case Instruction::FPToSI:
1228 case Instruction::FPExt:
1229 case Instruction::PtrToInt:
1230 case Instruction::PtrToAddr:
1231 case Instruction::IntToPtr:
1232 case Instruction::SIToFP:
1233 case Instruction::UIToFP:
1234 case Instruction::Trunc:
1235 case Instruction::FPTrunc:
1236 case Instruction::AddrSpaceCast: {
1251 if (WidenMemoryRecipe ==
nullptr)
1255 if (!WidenMemoryRecipe->isConsecutive())
1257 if (WidenMemoryRecipe->isMasked())
1264 bool IsReverse =
false;
1266 if (Opcode == Instruction::Trunc || Opcode == Instruction::FPTrunc) {
1274 Recipe->getVPSingleValue()->getSingleUser());
1277 CCH = ComputeCCH(Recipe);
1281 else if (Opcode == Instruction::ZExt || Opcode == Instruction::SExt ||
1282 Opcode == Instruction::FPExt) {
1293 CCH = ComputeCCH(Recipe);
1302 return Ctx.TTI.getCastInstrCost(
1303 Opcode, ResultTy, SrcTy, CCH, Ctx.CostKind,
1306 case Instruction::Select: {
1325 (IsLogicalAnd || IsLogicalOr)) {
1328 const auto [Op1VK, Op1VP] = Ctx.getOperandInfo(Op0);
1329 const auto [Op2VK, Op2VP] = Ctx.getOperandInfo(Op1);
1333 [](
VPValue *
Op) {
return Op->getUnderlyingValue(); }))
1335 return Ctx.TTI.getArithmeticInstrCost(
1336 IsLogicalOr ? Instruction::Or : Instruction::And, ResultTy,
1337 Ctx.CostKind, {Op1VK, Op1VP}, {Op2VK, Op2VP}, Operands,
SI);
1341 if (!IsScalarCond && VF.
isVector())
1348 Pred = Cmp->getPredicate();
1350 return Ctx.TTI.getCmpSelInstrCost(
1351 Instruction::Select, VectorTy, CondTy, Pred, Ctx.CostKind,
1352 {TTI::OK_AnyValue, TTI::OP_None}, {TTI::OK_AnyValue, TTI::OP_None},
SI);
1375 "Should only generate a vector value or single scalar, not scalars "
1383 case Instruction::Select: {
1392 return Ctx.TTI.getCmpSelInstrCost(Instruction::Select, VecTy, CondTy, Pred,
1395 case Instruction::ExtractElement:
1405 return Ctx.TTI.getVectorInstrCost(Instruction::ExtractElement, VecTy,
1410 return Ctx.TTI.getArithmeticReductionCost(
1417 return Ctx.TTI.getCmpSelInstrCost(Instruction::ICmp, ScalarTy,
1424 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1430 return Ctx.TTI.getCmpSelInstrCost(Instruction::ICmp, ScalarTy,
1439 Cost += Ctx.TTI.getArithmeticInstrCost(
1440 Instruction::Xor, PredTy, Ctx.CostKind,
1441 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
1442 {TargetTransformInfo::OK_UniformConstantValue,
1443 TargetTransformInfo::OP_None});
1445 Cost += Ctx.TTI.getArithmeticInstrCost(Instruction::Sub, Ty, Ctx.CostKind);
1453 Intrinsic::experimental_vector_extract_last_active, ScalarTy,
1454 {VecTy, MaskTy, ScalarTy});
1455 return Ctx.TTI.getIntrinsicInstrCost(ICA, Ctx.CostKind);
1460 return Ctx.TTI.getShuffleCost(
1467 uint64_t Multiplier =
1474 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1481 I32Ty, {Arg0Ty, I32Ty, I1Ty});
1482 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1485 assert(VF.
isVector() &&
"Reverse operation must be vector type");
1494 VectorTy, Ctx.CostKind, {},
1500 return Ctx.TTI.getIndexedVectorInstrCostFromEnd(Instruction::ExtractElement,
1501 VecTy, Ctx.CostKind, 0);
1511 return Ctx.TTI.getArithmeticInstrCost(Instruction::Xor, ValTy,
1527 return Ctx.TTI.getCmpSelInstrCost(Instruction::ICmp, ValTy,
1537 return Ctx.TTI.getIntrinsicInstrCost(Attrs, Ctx.CostKind);
1550 case Instruction::FCmp:
1551 case Instruction::ICmp:
1563 "unexpected VPInstruction witht underlying value");
1571 getOpcode() == Instruction::ExtractElement ||
1583 case Instruction::Load:
1584 case Instruction::PHI:
1596 Type *Ty =
Op->getScalarType();
1602 "types of operand 0 and new operand must match");
1608 "appended operand must match operand 0's scalar type");
1612 "appended operand must match operand 1's scalar type");
1617 constexpr unsigned NumInitialOperands = 3;
1619 "ExtractLastActive must have at least the initial 3 operands");
1620 bool IsMaskSlot = ((
getNumOperands() - NumInitialOperands) & 1u) == 1u;
1621 assert((IsMaskSlot ? Ty->isIntegerTy(1)
1623 "ExtractLastActive expects alternating data/mask operands "
1624 "matching operand 1's type and i1, respectively");
1629 "outside of construction");
1639 "Set flags not supported for the provided opcode");
1641 "Opcode requires specific flags to be set");
1643 Value *GeneratedValue = generate(State);
1646 assert(GeneratedValue &&
"generate must produce a value");
1647 bool GeneratesPerFirstLaneOnly = canGenerateScalarForFirstLane() &&
1652 !GeneratesPerFirstLaneOnly) ||
1653 State.VF.isScalar()) &&
1654 "scalar value but not only first lane defined");
1655 State.set(
this, GeneratedValue,
1656 GeneratesPerFirstLaneOnly);
1672 case Instruction::ExtractValue:
1673 case Instruction::InsertValue:
1674 case Instruction::GetElementPtr:
1675 case Instruction::ExtractElement:
1676 case Instruction::InsertElement:
1677 case Instruction::Freeze:
1678 case Instruction::FCmp:
1679 case Instruction::ICmp:
1680 case Instruction::Select:
1681 case Instruction::PHI:
1721 return !Attrs.getMemoryEffects().doesNotAccessMemory();
1723 case Instruction::Call:
1738 case Instruction::ExtractElement:
1740 case Instruction::InsertElement:
1742 case Instruction::PHI:
1744 case Instruction::FCmp:
1745 case Instruction::ICmp:
1746 case Instruction::Select:
1747 case Instruction::Or:
1748 case Instruction::Freeze:
1752 case Instruction::Load:
1791 case Instruction::FCmp:
1792 case Instruction::ICmp:
1793 case Instruction::Select:
1804#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1812 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1824 O <<
"active lane mask";
1827 O <<
"wide active lane mask";
1830 O <<
"incoming-alias-mask";
1833 O <<
"EXPLICIT-VECTOR-LENGTH";
1836 O <<
"first-order splice";
1839 O <<
"branch-on-cond";
1842 O <<
"branch-on-two-conds";
1848 O <<
"branch-on-count";
1854 O <<
"buildstructvector";
1860 O <<
"exiting-iv-value";
1866 O <<
"extract-lane";
1869 O <<
"extract-last-lane";
1872 O <<
"extract-last-part";
1875 O <<
"extract-penultimate-element";
1878 O <<
"extract-vector-for-part";
1881 O <<
"compute-reduction-result";
1899 O <<
"first-active-lane";
1902 O <<
"last-active-lane";
1905 O <<
"reduction-start-vector";
1908 O <<
"resume-for-epilogue";
1917 O <<
"extract-last-active";
1920 O <<
"num-active-lanes";
1923 O <<
"wide-iv-step";
1937 case Instruction::Load:
1959 const Twine &Name) {
1962 : Phi.getNumIncoming();
1963 Value *FirstInc = State.get(Phi.getIncomingValue(0), IsScalar);
1964 PHINode *NewPhi = State.Builder.CreatePHI(FirstInc->
getType(), 2, Name);
1966 State.CFG.VPBB2IRBB.at(Phi.getIncomingBlock(0)));
1967 for (
unsigned Idx = 1; Idx != NumIncoming; ++Idx)
1968 NewPhi->
addIncoming(State.get(Phi.getIncomingValue(Idx), IsScalar),
1969 State.CFG.VPBB2IRBB.at(Phi.getIncomingBlock(Idx)));
1970 State.set(R, NewPhi, IsScalar);
1977#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1980 O << Indent <<
"EMIT" << (
isSingleScalar() ?
"-SCALAR" :
"") <<
" ";
1996 "PHINodes must be handled by VPIRPhi");
1999 State.Builder.SetInsertPoint(I.getParent(), std::next(I.getIterator()));
2009#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2012 O << Indent <<
"IR " << I;
2024 auto *PredVPBB = Pred->getExitingBasicBlock();
2025 BasicBlock *PredBB = State.CFG.VPBB2IRBB[PredVPBB];
2032 if (Phi->getBasicBlockIndex(PredBB) == -1)
2033 Phi->addIncoming(V, PredBB);
2035 Phi->setIncomingValueForBlock(PredBB, V);
2040 State.Builder.SetInsertPoint(Phi->getParent(), std::next(Phi->getIterator()));
2045 assert(R->getNumOperands() == R->getParent()->getNumPredecessors() &&
2046 "Number of phi operands must match number of predecessors");
2047 unsigned Position = R->getParent()->getIndexForPredecessor(IncomingBlock);
2048 R->removeOperand(Position);
2060 R->setOperand(R->getParent()->getIndexForPredecessor(VPBB), V);
2063#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2070 std::get<1>(
Op)->printAsOperand(O);
2076#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2082 O <<
" (extra operand" << (
getNumOperands() > 1 ?
"s" :
"") <<
": ";
2087 std::get<1>(
Op)->printAsOperand(O);
2095 if (Metadata.empty())
2099 unsigned ExecFreqKind = getMDKindID(ExecutionFrequencyMDName);
2100 unsigned EstProfKind = getMDKindID(EstimatedProfileMDName);
2101 for (
const auto &[Kind,
Node] : Metadata)
2102 if (Kind != ExecFreqKind && Kind != EstProfKind)
2103 I.setMetadata(Kind,
Node);
2108 assert(
Node->getNumOperands() <= 2 &&
"unexpected frequency node shape");
2112 "frequency cannot exceed the one of an always executing block");
2117 std::optional<VPExecutionFrequency> Freq,
LLVMContext &Ctx) {
2119 if (!Freq || Freq->Freq.getFrequency() == 0 ||
2124 if (Freq->IsEstimated)
2129std::optional<VPExecutionFrequency>
2131 if (
MDNode *
Node = getInternalMetadata(ExecutionFrequencyMDName))
2133 return std::nullopt;
2137 if (Metadata.empty())
2139 unsigned ID = getMDKindID(ExecutionFrequencyMDName);
2140 erase_if(Metadata, [ID](
const auto &
P) {
return P.first == ID; });
2145 for (
const auto &[KindA, MDA] : Metadata) {
2146 for (
const auto &[KindB, MDB] :
Other.Metadata) {
2147 if (KindA == KindB && MDA == MDB) {
2153 Metadata = std::move(MetadataIntersection);
2156#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2165 auto [Kind,
Node] = KindNodePair;
2167 "Unexpected unnamed metadata kind");
2168 O <<
"!" << MDNames[Kind] <<
" ";
2172 bool IsEstimatedProfile = MDNames[Kind] == EstimatedProfileMDName;
2173 if ((Kind == LLVMContext::MD_prof || IsEstimatedProfile) &&
2175 if (IsEstimatedProfile)
2180 }
else if (MDNames[Kind] == ExecutionFrequencyMDName) {
2183 O << Freq.getFrequency()
2186 IsEstimated ?
", estimated" :
"");
2196 assert(State.VF.isVector() &&
"not widening");
2197 assert(Variant !=
nullptr &&
"Can't create vector function.");
2208 Arg = State.get(
I.value(),
VPLane(0));
2211 Args.push_back(Arg);
2217 CI->getOperandBundlesAsDefs(OpBundles);
2219 CallInst *V = State.Builder.CreateCall(Variant, Args, OpBundles);
2222 V->setCallingConv(Variant->getCallingConv());
2224 if (!V->getType()->isVoidTy())
2231 "Variant return type must match VF");
2237 return Ctx.TTI.getCallInstrCost(
nullptr, Variant->getReturnType(),
2238 Variant->getFunctionType()->params(),
2244 assert(Variant &&
"Variant not set");
2247 auto [Idx, V] = Arg;
2254#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2257 O << Indent <<
"WIDEN-CALL ";
2269 O <<
"@" << CalledFn->
getName() <<
"(";
2275 O <<
" (using library function";
2276 if (Variant->hasName())
2277 O <<
": " << Variant->getName();
2283 assert(State.VF.isVector() &&
"not widening");
2291 for (
auto [Idx, Ty] :
enumerate(ContainedTys)) {
2304 Arg = State.get(
I.value(),
VPLane(0));
2310 Args.push_back(Arg);
2314 Module *M = State.Builder.GetInsertBlock()->getModule();
2318 "Can't retrieve vector intrinsic or vector-predication intrinsics.");
2323 CI->getOperandBundlesAsDefs(OpBundles);
2325 CallInst *V = State.Builder.CreateCall(VectorF, Args, OpBundles);
2335 if (!V->getType()->isVoidTy())
2342 Type *ScalarRetTy = R.getScalarType();
2346 if (ID == Intrinsic::experimental_vp_reverse && ScalarRetTy->
isIntegerTy(1))
2356 auto *V =
Op->getUnderlyingValue();
2359 Arguments.push_back(UI->getArgOperand(Idx));
2384 ID, RetTy,
Arguments, ParamTys, R.getFastMathFlagsOrNone(),
2387 return Ctx.TTI.getIntrinsicInstrCost(CostAttrs, Ctx.CostKind);
2408#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2411 O << Indent <<
"WIDEN-INTRINSIC ";
2430 assert(PtrPos &&
"Expected a memory intrinsic with a valid pointer position");
2434 State.set(
this, MemI);
2440 return Ctx.TTI.getMemIntrinsicInstrCost(
2456 assert(MaskPos &&
"Expected a memory intrinsic with a valid mask position");
2472 Value *Mask =
nullptr;
2474 Mask = State.get(VPMask);
2477 Builder.CreateVectorSplat(VTy->
getElementCount(), Builder.getInt1(1));
2481 if (Opcode == Instruction::Sub)
2482 IncAmt = Builder.CreateNeg(IncAmt);
2484 assert(Opcode == Instruction::Add &&
"only add or sub supported for now");
2486 Instruction *HistogramInst = State.Builder.CreateIntrinsicWithoutFolding(
2487 Intrinsic::experimental_vector_histogram_add, {VTy, IncAmt->
getType()},
2508 Ctx.TTI.getArithmeticInstrCost(Instruction::Mul, VTy, Ctx.CostKind);
2517 {PtrTy, IncTy, MaskTy});
2520 return Ctx.TTI.getIntrinsicInstrCost(ICA, Ctx.CostKind) + MulCost +
2521 Ctx.TTI.getArithmeticInstrCost(Opcode, VTy, Ctx.CostKind);
2524#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2527 O << Indent <<
"WIDEN-HISTOGRAM buckets: ";
2530 if (Opcode == Instruction::Sub)
2533 assert(Opcode == Instruction::Add);
2545VPIRFlags::FastMathFlagsTy::FastMathFlagsTy(
const FastMathFlags &FMF) {
2557 case Instruction::Add:
2558 case Instruction::Sub:
2559 case Instruction::Mul:
2560 case Instruction::Shl:
2563 case Instruction::Trunc:
2565 case Instruction::Or:
2567 case Instruction::AShr:
2568 case Instruction::LShr:
2569 case Instruction::UDiv:
2570 case Instruction::SDiv:
2571 return ExactFlagsTy(
false);
2572 case Instruction::GetElementPtr:
2576 case Instruction::ZExt:
2577 case Instruction::UIToFP:
2579 case Instruction::FAdd:
2580 case Instruction::FSub:
2581 case Instruction::FMul:
2582 case Instruction::FDiv:
2583 case Instruction::FRem:
2584 case Instruction::FNeg:
2585 case Instruction::FPExt:
2586 case Instruction::FPTrunc:
2588 case Instruction::Select:
2589 case Instruction::PHI:
2590 case Instruction::Call:
2596 case Instruction::ICmp:
2597 case Instruction::FCmp:
2608 case OperationType::OverflowingBinOp:
2609 return Opcode == Instruction::Add || Opcode == Instruction::Sub ||
2610 Opcode == Instruction::Mul || Opcode == Instruction::Shl ||
2611 Opcode == VPInstruction::VPInstruction::CanonicalIVIncrementForPart;
2612 case OperationType::Trunc:
2613 return Opcode == Instruction::Trunc;
2614 case OperationType::DisjointOp:
2615 return Opcode == Instruction::Or;
2616 case OperationType::PossiblyExactOp:
2617 return Opcode == Instruction::AShr || Opcode == Instruction::LShr ||
2618 Opcode == Instruction::UDiv || Opcode == Instruction::SDiv;
2619 case OperationType::GEPOp:
2620 return Opcode == Instruction::GetElementPtr ||
2623 case OperationType::FPMathOp:
2624 return Opcode == Instruction::Call || Opcode == Instruction::FAdd ||
2625 Opcode == Instruction::FMul || Opcode == Instruction::FSub ||
2626 Opcode == Instruction::FNeg || Opcode == Instruction::FDiv ||
2627 Opcode == Instruction::FRem || Opcode == Instruction::FPExt ||
2628 Opcode == Instruction::FPTrunc || Opcode == Instruction::PHI ||
2629 Opcode == Instruction::Select || Opcode == Instruction::SIToFP ||
2630 Opcode == Instruction::UIToFP ||
2633 case OperationType::FCmp:
2634 return Opcode == Instruction::FCmp;
2635 case OperationType::NonNegOp:
2636 return Opcode == Instruction::ZExt || Opcode == Instruction::UIToFP;
2637 case OperationType::Cmp:
2638 return Opcode == Instruction::FCmp || Opcode == Instruction::ICmp;
2639 case OperationType::ReductionOp:
2641 case OperationType::Other:
2648 Type *ResultTy)
const {
2650 if (Opcode == Instruction::ICmp)
2651 return OpType == OperationType::Cmp;
2652 if (Opcode == Instruction::FCmp)
2653 return OpType == OperationType::FCmp;
2655 return OpType == OperationType::ReductionOp;
2658 return Required == OperationType::Other || Required == OpType;
2662#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2675 OS <<
"add-chain-with-subs";
2705 OS <<
"fadd-chain-with-subs";
2732 OS <<
"fminimumnum";
2735 OS <<
"fmaximumnum";
2754 case OperationType::Cmp:
2757 case OperationType::FCmp:
2761 case OperationType::DisjointOp:
2765 case OperationType::PossiblyExactOp:
2769 case OperationType::OverflowingBinOp:
2775 case OperationType::Trunc:
2781 case OperationType::FPMathOp:
2784 case OperationType::GEPOp: {
2786 if (Flags.isInBounds())
2788 else if (Flags.hasNoUnsignedSignedWrap())
2790 if (Flags.hasNoUnsignedWrap())
2794 case OperationType::NonNegOp:
2798 case OperationType::ReductionOp: {
2809 case OperationType::Other:
2817 auto &Builder = State.Builder;
2819 case Instruction::Call:
2820 case Instruction::UncondBr:
2821 case Instruction::CondBr:
2822 case Instruction::PHI:
2823 case Instruction::GetElementPtr:
2825 case Instruction::UDiv:
2826 case Instruction::SDiv:
2827 case Instruction::SRem:
2828 case Instruction::URem:
2829 case Instruction::Add:
2830 case Instruction::FAdd:
2831 case Instruction::Sub:
2832 case Instruction::FSub:
2833 case Instruction::FNeg:
2834 case Instruction::Mul:
2835 case Instruction::FMul:
2836 case Instruction::FDiv:
2837 case Instruction::FRem:
2838 case Instruction::Shl:
2839 case Instruction::LShr:
2840 case Instruction::AShr:
2841 case Instruction::And:
2842 case Instruction::Or:
2843 case Instruction::Xor: {
2847 Ops.push_back(State.get(VPOp));
2849 Value *V = Builder.CreateNAryOp(Opcode,
Ops);
2860 case Instruction::ExtractValue: {
2863 Value *Extract = Builder.CreateExtractValue(
2865 State.set(
this, Extract);
2868 case Instruction::Freeze: {
2870 Value *Freeze = Builder.CreateFreeze(
Op);
2871 State.set(
this, Freeze);
2874 case Instruction::ICmp:
2875 case Instruction::FCmp: {
2877 bool FCmp = Opcode == Instruction::FCmp;
2893 case Instruction::Select: {
2898 Value *Sel = State.Builder.CreateSelect(
Cond, Op0, Op1);
2899 State.set(
this, Sel);
2918 State.get(
this)->getType() &&
2919 "inferred type and type from generated instructions do not match");
2926 case Instruction::UDiv:
2927 case Instruction::SDiv:
2928 case Instruction::SRem:
2929 case Instruction::URem:
2934 case Instruction::FNeg:
2935 case Instruction::Add:
2936 case Instruction::FAdd:
2937 case Instruction::Sub:
2938 case Instruction::FSub:
2939 case Instruction::Mul:
2940 case Instruction::FMul:
2941 case Instruction::FDiv:
2942 case Instruction::FRem:
2943 case Instruction::Shl:
2944 case Instruction::LShr:
2945 case Instruction::AShr:
2946 case Instruction::And:
2947 case Instruction::Or:
2948 case Instruction::Xor:
2949 case Instruction::Freeze:
2950 case Instruction::ExtractValue:
2951 case Instruction::ICmp:
2952 case Instruction::FCmp:
2953 case Instruction::Select:
2960#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2963 O << Indent <<
"WIDEN ";
2972 auto &Builder = State.Builder;
2974 assert(State.VF.isVector() &&
"Not vectorizing?");
2979 State.set(
this, Cast);
2991#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
2994 O << Indent <<
"WIDEN-CAST ";
3005 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
3008#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3013 O <<
" = WIDEN-INDUCTION";
3018 O <<
" (truncated to " << *TI->getType() <<
")";
3041 : ID.getInductionOpcode();
3042 assert(IncOpc != Instruction::BinaryOpsEnd &&
3043 "induction must have a valid increment opcode");
3044 return Cost + Ctx.TTI.getArithmeticInstrCost(IncOpc,
toVectorTy(StepTy, VF),
3071 bool NeedsMul =
true, NeedsAdd =
true, NeedsShl =
false;
3075 NeedsAdd = !StartC->isZero();
3086 else if (StepC->getAPInt().isAllOnes()) {
3093 }
else if (StepC->getAPInt().isPowerOf2()) {
3105 if ((NeedsAdd || NeedsMul || NeedsShl) && StepTySize != IndexTySize) {
3107 StepTySize < IndexTySize ? Instruction::Trunc : Instruction::ZExt;
3108 Cost += Ctx.TTI.getCastInstrCost(
3113 Cost += Ctx.TTI.getArithmeticInstrCost(Instruction::Mul, StepTy,
3116 Cost += Ctx.TTI.getArithmeticInstrCost(
3117 Instruction::Shl, StepTy, Ctx.CostKind,
3118 {TargetTransformInfo::OK_AnyValue, TargetTransformInfo::OP_None},
3119 {TargetTransformInfo::OK_UniformConstantValue,
3120 TargetTransformInfo::OP_None});
3122 Cost += Ctx.TTI.getArithmeticInstrCost(Instruction::Add, StepTy,
3138 Ctx.TTI.getCastInstrCost(Instruction::SIToFP, StepTy, IndexTy,
3144 bool NeedsMul = !StepC || !StepC->
isOne();
3156 Cost += Ctx.TTI.getArithmeticInstrCost(Instruction::FMul, StepTy,
3159 Cost += Ctx.TTI.getArithmeticInstrCost(
getFPBinOp()->getOpcode(), StepTy,
3168#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3173 O <<
" = DERIVED-IV";
3191 "VPScalarIVStepsRecipe is only created for integer and FP inductions");
3214 "FP scalar steps for all lanes are only created for fixed VFs");
3215 Cost = Ctx.TTI.getArithmeticInstrCost(InductionOpcode, BaseIVTy,
3231 Cost = Ctx.TTI.getArithmeticInstrCost(Instruction::Add, BaseIVTy,
3239 Cost /= Ctx.getReplicateRegionCostDivisor(
Region);
3257 assert(BaseIVTy == Step->
getType() &&
"Types of BaseIV and Step must match!");
3264 AddOp = Instruction::Add;
3265 MulOp = Instruction::Mul;
3267 AddOp = InductionOpcode;
3268 MulOp = Instruction::FMul;
3275 unsigned EndLane = FirstLaneOnly ? 1 : State.VF.getKnownMinValue();
3279 for (
unsigned Lane = 0; Lane < EndLane; ++Lane) {
3284 ? ConstantInt::get(BaseIVTy, Lane,
false,
3286 : ConstantFP::get(BaseIVTy, Lane);
3287 Value *StartIdx = Builder.CreateBinOp(AddOp, StartIdx0, LaneValue);
3289 "Expected StartIdx to be folded to a constant when VF is not "
3291 auto *
Mul = Builder.CreateBinOp(MulOp, StartIdx, Step);
3292 auto *
Add = Builder.CreateBinOp(AddOp, BaseIV,
Mul);
3297#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3302 O <<
" = SCALAR-STEPS ";
3313 assert(State.VF.isVector() &&
"not widening");
3323#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3326 O << Indent <<
"WIDEN-GEP ";
3328 O <<
" = getelementptr";
3351 Builder.createOverflowingOp(Instruction::Mul, {VFMinusOne, Stride});
3358 Builder.createOverflowingOp(Instruction::Mul, {PartxStride, VF}));
3363 auto &Builder = State.Builder;
3369 State.set(
this, ResultPtr,
true);
3372#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3377 O <<
" = vector-end-pointer";
3387 "Expected prior simplification of recipe without VFxPart");
3389 auto &Builder = State.Builder;
3394 Value *Stride = Builder.CreateZExtOrTrunc(State.get(
getStride(),
true),
3400 State.set(
this, ResultPtr,
true);
3403#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3408 O <<
" = vector-pointer";
3432 Cost += Ctx.TTI.getCmpSelInstrCost(Instruction::Select, ResultTy, CmpTy,
3433 Pred, Ctx.CostKind);
3438#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3441 O << Indent <<
"BLEND ";
3466 "In-loop AnyOf reductions aren't currently supported");
3472 Value *NewCond = State.get(
Cond, State.VF.isScalar());
3478 if (State.VF.isVector())
3479 Start = State.Builder.CreateVectorSplat(VecTy->
getElementCount(), Start);
3481 Value *
Select = State.Builder.CreateSelect(NewCond, NewVecOp, Start);
3488 if (State.VF.isVector())
3492 NewRed = State.Builder.CreateBinOp(
3494 PrevInChain, NewVecOp);
3495 PrevInChain = NewRed;
3496 NextInChain = NewRed;
3499 "Unexpected partial reduction kind");
3501 NewRed = State.Builder.CreateIntrinsic(
3504 : Intrinsic::vector_partial_reduce_fadd,
3505 {PrevInChain, NewVecOp}, State.Builder.getFastMathFlags(),
3507 PrevInChain = NewRed;
3508 NextInChain = NewRed;
3511 "The reduction must either be ordered, partial or in-loop");
3515 NextInChain =
createMinMaxOp(State.Builder, Kind, NewRed, PrevInChain);
3517 NextInChain = State.Builder.CreateBinOp(
3519 PrevInChain, NewRed);
3526 assert(State.VF.isVector() &&
3527 "Shouldn't generate VPReductionEVLRecipe with scalar VF");
3528 auto &Builder = State.Builder;
3540 Mask = State.get(CondOp);
3542 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
3556 Value *NewVecOp = State.Builder.CreateIntrinsic(
3557 VecTy, Intrinsic::vp_merge, {Mask, VecOp, Identity, EVL});
3559 "Unexpected partial reduction kind");
3560 NewRed = State.Builder.CreateIntrinsic(
3563 : Intrinsic::vector_partial_reduce_fadd,
3564 {Prev, NewVecOp}, State.Builder.getFastMathFlags(),
"partial.reduce");
3572 NewRed = Builder.CreateBinOp(
3586 std::optional<FastMathFlags> OptionalFMF =
3595 CondCost = Ctx.TTI.getCmpSelInstrCost(Instruction::Select, VectorTy,
3596 CondTy, Pred, Ctx.CostKind);
3598 return CondCost + Ctx.TTI.getPartialReductionCost(
3599 Opcode, ElementTy,
nullptr, ElementTy, VF,
3608 "Any-of reduction not implemented in VPlan-based cost model currently.");
3614 return Ctx.TTI.getMinMaxReductionCost(Id, VectorTy,
FMFs, Ctx.CostKind);
3619 return Ctx.TTI.getArithmeticReductionCost(Opcode, VectorTy, OptionalFMF,
3624 ExpressionTypes ExpressionType,
3630 ExpressionRecipes(ExpressionRecipes), ExpressionType(ExpressionType) {
3631 assert(!ExpressionRecipes.empty() &&
"Nothing to combine?");
3635 "expression cannot contain recipes with side-effects");
3639 for (
auto *R : ExpressionRecipes)
3640 ExpressionRecipesAsSetOfUsers.
insert(R);
3646 if (R != ExpressionRecipes.back() &&
3647 any_of(R->users(), [&ExpressionRecipesAsSetOfUsers](
VPUser *U) {
3648 return !ExpressionRecipesAsSetOfUsers.contains(U);
3653 R->replaceUsesWithIf(CopyForExtUsers, [&ExpressionRecipesAsSetOfUsers](
3655 return !ExpressionRecipesAsSetOfUsers.contains(&U);
3660 R->removeFromParent();
3667 for (
auto *R : ExpressionRecipes) {
3668 for (
const auto &[Idx,
Op] :
enumerate(
R->operands())) {
3669 auto *
Def =
Op->getDefiningRecipe();
3670 if (Def && ExpressionRecipesAsSetOfUsers.contains(Def))
3679 for (
auto *R : ExpressionRecipes)
3680 for (
auto const &[LiveIn, Tmp] :
zip(operands(), LiveInPlaceholders))
3681 R->replaceUsesOfWith(LiveIn, Tmp);
3685 for (
auto *R : ExpressionRecipes)
3688 if (!R->getParent())
3689 R->insertBefore(
this);
3692 LiveInPlaceholders[Idx]->replaceAllUsesWith(
Op);
3696 ExpressionRecipes.clear();
3697 return DecomposedRecipes;
3707 switch (ExpressionType) {
3708 case ExpressionTypes::NegatedExtendedReduction:
3709 assert((Opcode == Instruction::Add || Opcode == Instruction::FAdd) &&
3710 "Unexpected opcode");
3711 Opcode = Opcode == Instruction::Add ? Instruction::Sub : Instruction::FSub;
3713 case ExpressionTypes::ExtendedReduction: {
3717 if (RedR->isPartialReduction())
3718 return Ctx.TTI.getPartialReductionCost(
3723 ? std::optional{RedR->getFastMathFlagsOrNone()}
3727 return Ctx.TTI.getExtendedReductionCost(
3728 Opcode, ExtR->getOpcode() == Instruction::ZExt, RedTy, SrcVecTy,
3729 std::nullopt, Ctx.CostKind);
3733 case ExpressionTypes::MulAccReduction:
3734 return Ctx.TTI.getMulAccReductionCost(
false, Opcode, RedTy, SrcVecTy,
3737 case ExpressionTypes::ExtNegatedMulAccReduction:
3739 case Instruction::Add:
3740 Opcode = Instruction::Sub;
3742 case Instruction::FAdd:
3743 Opcode = Instruction::FSub;
3749 case ExpressionTypes::ExtMulAccReduction: {
3751 if (RedR->isPartialReduction()) {
3755 return Ctx.TTI.getPartialReductionCost(
3759 Ext0R->getOpcode()),
3761 Ext1R->getOpcode()),
3762 Mul->getOpcode(), Ctx.CostKind,
3764 ? std::optional{RedR->getFastMathFlagsOrNone()}
3767 assert(Opcode != Instruction::FSub &&
"Only integer types are supported");
3768 return Ctx.TTI.getMulAccReductionCost(
3771 Opcode, RedTy, SrcVecTy, Ctx.CostKind);
3779 return R->mayReadFromMemory() || R->mayWriteToMemory();
3787 "expression cannot contain recipes with side-effects");
3793 return RR && !RR->isPartialReduction();
3796#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
3800 O << Indent <<
"EXPRESSION ";
3811 getNumOperands() - (Red->isConditional() ? 2 : 1) - (EVL ? 1 : 0));
3812 auto PrintEVLAndMask = [&]() {
3817 if (Red->isConditional()) {
3823 switch (ExpressionType) {
3824 case ExpressionTypes::NegatedExtendedReduction:
3825 case ExpressionTypes::ExtendedReduction: {
3826 bool Negated = ExpressionType == ExpressionTypes::NegatedExtendedReduction;
3828 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3831 O << (Opcode == Instruction::Add ?
"sub (0, " :
"fneg(");
3839 << *Ext0->getScalarType();
3844 case ExpressionTypes::ExtNegatedMulAccReduction: {
3846 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3856 << *Ext0->getScalarType() <<
"), (";
3860 << *Ext1->getScalarType() <<
")";
3865 case ExpressionTypes::MulAccReduction:
3866 case ExpressionTypes::ExtMulAccReduction: {
3868 O <<
" + " << (Red->isPartialReduction() ?
"partial." :
"") <<
"reduce.";
3873 bool IsExtended = ExpressionType == ExpressionTypes::ExtMulAccReduction;
3875 : ExpressionRecipes[0]);
3883 << *Ext0->getScalarType() <<
"), (";
3891 << *Ext1->getScalarType() <<
")";
3903 O << Indent <<
"PARTIAL-REDUCE ";
3905 O << Indent <<
"REDUCE ";
3925 O << Indent <<
"PARTIAL-REDUCE ";
3927 O << Indent <<
"REDUCE ";
3951 "VPReplicateRecipes must be unrolled before ::execute");
3956 Cloned->
setName(Instr->getName() +
".cloned");
3960 if (ResultTy != Cloned->
getType())
3976 State.Builder.Insert(Cloned);
3978 State.set(
this, Cloned,
true);
3982 State.AC->registerAssumption(
II);
4005 Ctx.SkipCostComputation.insert(UI);
4011 case Instruction::Alloca:
4014 return Ctx.TTI.getArithmeticInstrCost(Instruction::Mul,
4016 case Instruction::GetElementPtr:
4022 case Instruction::Call: {
4029 case Instruction::Add:
4030 case Instruction::Sub:
4031 case Instruction::FAdd:
4032 case Instruction::FSub:
4033 case Instruction::Mul:
4034 case Instruction::FMul:
4035 case Instruction::FDiv:
4036 case Instruction::FRem:
4037 case Instruction::Shl:
4038 case Instruction::LShr:
4039 case Instruction::AShr:
4040 case Instruction::And:
4041 case Instruction::Or:
4042 case Instruction::Xor:
4043 case Instruction::ICmp:
4044 case Instruction::FCmp:
4048 case Instruction::SDiv:
4049 case Instruction::UDiv:
4050 case Instruction::SRem:
4051 case Instruction::URem: {
4064 return Ctx.skipCostComputation(
4066 PredR->getOperand(0)->getUnderlyingValue()),
4081 Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
4085 ScalarCost /= Ctx.getReplicateRegionCostDivisor(
getRegion());
4088 case Instruction::Load:
4089 case Instruction::Store: {
4090 bool IsLoad = UI->
getOpcode() == Instruction::Load;
4101 bool PreferVectorizedAddressing = Ctx.TTI.prefersVectorizedAddressing();
4102 bool UsedByLoadStoreAddress =
4105 UI->
getOpcode(), ValTy, Alignment, AS, Ctx.CostKind, OpInfo,
4106 UsedByLoadStoreAddress ? UI :
nullptr);
4111 Ctx.TTI.getAddressComputationCost(
4112 PtrTy, UsedByLoadStoreAddress ?
nullptr : Ctx.PSE.getSE(), PtrSCEV,
4123 if (!UsedByLoadStoreAddress) {
4124 bool EfficientVectorLoadStore =
4125 Ctx.TTI.supportsEfficientVectorElementLoadStore();
4126 if (!(IsLoad && !PreferVectorizedAddressing) &&
4127 !(!IsLoad && EfficientVectorLoadStore))
4130 if (!EfficientVectorLoadStore)
4135 IsLoad ? TTI::VectorInstrContext::Load : TTI::VectorInstrContext::Store;
4138 Ctx.getScalarizationOverhead(ResultTy, OpsToScalarize, VF, VIC,
true);
4144 Cost /= Ctx.getReplicateRegionCostDivisor(ParentRegion);
4145 Cost += Ctx.TTI.getCFInstrCost(Instruction::CondBr, Ctx.CostKind);
4149 Cost += Ctx.TTI.getScalarizationOverhead(
4151 false,
true, Ctx.CostKind);
4153 if (Ctx.useEmulatedMaskMemRefHack(
this, VF)) {
4161 case Instruction::SExt:
4162 case Instruction::ZExt:
4163 case Instruction::FPToUI:
4164 case Instruction::FPToSI:
4165 case Instruction::FPExt:
4166 case Instruction::PtrToInt:
4167 case Instruction::PtrToAddr:
4168 case Instruction::IntToPtr:
4169 case Instruction::SIToFP:
4170 case Instruction::UIToFP:
4171 case Instruction::Trunc:
4172 case Instruction::FPTrunc:
4173 case Instruction::Select:
4174 case Instruction::AddrSpaceCast: {
4179 case Instruction::ExtractValue:
4180 case Instruction::InsertValue:
4181 return Ctx.TTI.getInsertExtractValueCost(
getOpcode(), Ctx.CostKind);
4184 return Ctx.getLegacyCost(UI, VF);
4191 ArgOps, [&](
const VPValue *
Op) {
return Op->getScalarType(); });
4194 auto GetIntrinsicCost = [&] {
4197 return Ctx.TTI.getIntrinsicInstrCost(
4202 assert(GetIntrinsicCost() == 0 &&
"scalarizing intrinsic should be free");
4207 Ctx.TTI.getCallInstrCost(CalledFn, ResultTy, Tys, Ctx.CostKind);
4208 if (IsSingleScalar) {
4209 ScalarCallCost = std::min(ScalarCallCost, GetIntrinsicCost());
4210 return ScalarCallCost;
4218 Ctx.getScalarizationOverhead(ResultTy, ArgOps, VF);
4221#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4224 O << Indent << (IsSingleScalar ?
"CLONE " :
"REPLICATE ");
4233 O <<
"@" << CB->getCalledFunction()->getName() <<
"(";
4256 llvm_unreachable(
"recipe must be removed when dissolving replicate region");
4268 llvm_unreachable(
"recipe must be removed when dissolving replicate region");
4271#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4274 O << Indent <<
"PHI-PREDICATED-INSTRUCTION ";
4298 : R->getOperand(1)->getScalarType();
4302 unsigned Opcode = IsLoad ? Instruction::Load : Instruction::Store;
4319 : Intrinsic::vp_scatter;
4320 return Ctx.TTI.getAddressComputationCost(PtrTy,
nullptr,
nullptr,
4322 Ctx.TTI.getMemIntrinsicInstrCost(
4331 : Intrinsic::masked_store;
4332 Cost += Ctx.TTI.getMemIntrinsicInstrCost(
4337 : R->getOperand(1));
4338 Cost += Ctx.TTI.getMemoryOpCost(Opcode, Ty,
Alignment, AS, Ctx.CostKind,
4349 auto &Builder = State.Builder;
4350 Value *Mask =
nullptr;
4352 Mask = State.get(VPMask);
4357 NewLI = Builder.CreateMaskedGather(DataTy, Addr,
Alignment, Mask,
nullptr,
4358 "wide.masked.gather");
4361 Builder.CreateMaskedLoad(DataTy, Addr,
Alignment, Mask,
4364 NewLI = Builder.CreateAlignedLoad(DataTy, Addr,
Alignment,
"wide.load");
4367 State.set(
this, NewLI);
4370#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4373 O << Indent <<
"WIDEN ";
4385 auto &Builder = State.Builder;
4389 Value *Mask =
nullptr;
4391 Mask = State.get(VPMask);
4393 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
4396 NewLI = Builder.CreateIntrinsicWithoutFolding(DataTy, Intrinsic::vp_gather,
4397 {Addr, Mask, EVL},
nullptr,
4398 "wide.masked.gather");
4400 NewLI = Builder.CreateIntrinsicWithoutFolding(
4401 DataTy, Intrinsic::vp_load, {Addr, Mask, EVL},
nullptr,
"vp.op.load");
4406 State.set(
this, NewLI);
4422 return Ctx.TTI.getMemIntrinsicInstrCost(
4427#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4430 O << Indent <<
"WIDEN ";
4441 auto &Builder = State.Builder;
4443 Value *Mask =
nullptr;
4445 Mask = State.get(VPMask);
4447 Value *StoredVal = State.get(StoredVPValue);
4451 NewSI = Builder.CreateMaskedScatter(StoredVal, Addr,
Alignment, Mask);
4453 NewSI = Builder.CreateMaskedStore(StoredVal, Addr,
Alignment, Mask);
4455 NewSI = Builder.CreateAlignedStore(StoredVal, Addr,
Alignment);
4459#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4462 O << Indent <<
"WIDEN store ";
4471 auto &Builder = State.Builder;
4474 Value *StoredVal = State.get(StoredValue);
4476 Value *Mask =
nullptr;
4478 Mask = State.get(VPMask);
4480 Mask = Builder.CreateVectorSplat(State.VF, Builder.getTrue());
4483 if (CreateScatter) {
4484 NewSI = Builder.CreateIntrinsicWithoutFolding(
4486 {StoredVal, Addr, Mask, EVL});
4488 NewSI = Builder.CreateIntrinsicWithoutFolding(
4490 {StoredVal, Addr, Mask, EVL});
4510 return Ctx.TTI.getMemIntrinsicInstrCost(
4515#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4518 O << Indent <<
"WIDEN vp.store ";
4526 auto VF = DstVTy->getElementCount();
4528 assert(VF == SrcVecTy->getElementCount() &&
"Vector dimensions do not match");
4529 Type *SrcElemTy = SrcVecTy->getElementType();
4530 Type *DstElemTy = DstVTy->getElementType();
4531 assert((
DL.getTypeSizeInBits(SrcElemTy) ==
DL.getTypeSizeInBits(DstElemTy)) &&
4532 "Vector elements must have same size");
4536 return Builder.CreateBitOrPointerCast(V, DstVTy);
4543 "Only one type should be a pointer type");
4545 "Only one type should be a floating point type");
4549 Value *CastVal = Builder.CreateBitOrPointerCast(V, VecIntTy);
4550 return Builder.CreateBitOrPointerCast(CastVal, DstVTy);
4556 const Twine &Name) {
4557 unsigned Factor = Vals.
size();
4558 assert(Factor > 1 &&
"Tried to interleave invalid number of vectors");
4562 for (
Value *Val : Vals)
4563 assert(Val->getType() == VecTy &&
"Tried to interleave mismatched types");
4568 if (VecTy->isScalableTy()) {
4569 assert(Factor <= 8 &&
"Unsupported interleave factor for scalable vectors");
4570 return Builder.CreateVectorInterleave(Vals, Name);
4577 const unsigned NumElts = VecTy->getElementCount().getFixedValue();
4578 return Builder.CreateShuffleVector(
4612 "Masking gaps for scalable vectors is not yet supported.");
4618 unsigned InterleaveFactor = Group->
getFactor();
4625 auto CreateGroupMask = [&BlockInMask, &State,
4626 &InterleaveFactor](
Value *MaskForGaps) ->
Value * {
4627 if (State.VF.isScalable()) {
4628 assert(!MaskForGaps &&
"Interleaved groups with gaps are not supported.");
4629 assert(InterleaveFactor <= 8 &&
4630 "Unsupported deinterleave factor for scalable vectors");
4631 auto *ResBlockInMask = State.get(BlockInMask);
4639 Value *ResBlockInMask = State.get(BlockInMask);
4640 Value *ShuffledMask = State.Builder.CreateShuffleVector(
4643 "interleaved.mask");
4644 return MaskForGaps ? State.Builder.CreateBinOp(Instruction::And,
4645 ShuffledMask, MaskForGaps)
4649 const DataLayout &DL = Instr->getDataLayout();
4652 Value *MaskForGaps =
nullptr;
4656 assert(MaskForGaps &&
"Mask for Gaps is required but it is null");
4660 if (BlockInMask || MaskForGaps) {
4661 Value *GroupMask = CreateGroupMask(MaskForGaps);
4663 NewLoad = State.Builder.CreateMaskedLoad(VecTy, ResAddr,
4665 PoisonVec,
"wide.masked.vec");
4667 NewLoad = State.Builder.CreateAlignedLoad(VecTy, ResAddr,
4674 if (VecTy->isScalableTy()) {
4677 assert(InterleaveFactor <= 8 &&
4678 "Unsupported deinterleave factor for scalable vectors");
4679 NewLoad = State.Builder.CreateIntrinsicWithoutFolding(
4682 nullptr,
"strided.vec");
4685 auto CreateStridedVector = [&InterleaveFactor, &State,
4686 &NewLoad](
unsigned Index) ->
Value * {
4687 assert(Index < InterleaveFactor &&
"Illegal group index");
4688 if (State.VF.isScalable())
4689 return State.Builder.CreateExtractValue(NewLoad, Index);
4695 return State.Builder.CreateShuffleVector(NewLoad, StrideMask,
4699 for (
unsigned I = 0, J = 0;
I < InterleaveFactor; ++
I) {
4706 Value *StridedVec = CreateStridedVector(
I);
4709 if (Member->getType() != ScalarTy) {
4716 StridedVec = State.Builder.CreateVectorReverse(StridedVec,
"reverse");
4718 State.set(VPDefs[J], StridedVec);
4728 Value *MaskForGaps =
4731 "Mismatch between NeedsMaskForGaps and MaskForGaps");
4735 unsigned StoredIdx = 0;
4736 for (
unsigned i = 0; i < InterleaveFactor; i++) {
4738 "Fail to get a member from an interleaved store group");
4748 Value *StoredVec = State.get(StoredValues[StoredIdx]);
4752 StoredVec = State.Builder.CreateVectorReverse(StoredVec,
"reverse");
4756 if (StoredVec->
getType() != SubVT)
4765 if (BlockInMask || MaskForGaps) {
4766 Value *GroupMask = CreateGroupMask(MaskForGaps);
4767 NewStoreInstr = State.Builder.CreateMaskedStore(
4768 IVec, ResAddr, Group->
getAlign(), GroupMask);
4771 State.Builder.CreateAlignedStore(IVec, ResAddr, Group->
getAlign());
4778#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4782 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
", ";
4791 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
4792 if (!IG->getMember(i))
4795 O <<
"\n" << Indent <<
" store ";
4797 O <<
" to index " << i;
4799 O <<
"\n" << Indent <<
" ";
4801 O <<
" = load from index " << i;
4809 assert(State.VF.isScalable() &&
4810 "Only support scalable VF for EVL tail-folding.");
4812 "Masking gaps for scalable vectors is not yet supported.");
4818 unsigned InterleaveFactor = Group->
getFactor();
4819 assert(InterleaveFactor <= 8 &&
4820 "Unsupported deinterleave/interleave factor for scalable vectors");
4827 Value *InterleaveEVL = State.Builder.CreateMul(
4828 EVL, ConstantInt::get(EVL->
getType(), InterleaveFactor),
"interleave.evl",
4832 Value *GroupMask =
nullptr;
4838 State.Builder.CreateVectorSplat(WideVF, State.Builder.getTrue());
4843 CallInst *NewLoad = State.Builder.CreateIntrinsicWithoutFolding(
4844 VecTy, Intrinsic::vp_load, {ResAddr, GroupMask, InterleaveEVL},
nullptr,
4855 NewLoad = State.Builder.CreateIntrinsicWithoutFolding(
4858 nullptr,
"strided.vec");
4860 const DataLayout &DL = Instr->getDataLayout();
4861 for (
unsigned I = 0, J = 0;
I < InterleaveFactor; ++
I) {
4867 Value *StridedVec = State.Builder.CreateExtractValue(NewLoad,
I);
4869 if (Member->getType() != ScalarTy) {
4887 const DataLayout &DL = Instr->getDataLayout();
4888 for (
unsigned I = 0, StoredIdx = 0;
I < InterleaveFactor;
I++) {
4896 Value *StoredVec = State.get(StoredValues[StoredIdx]);
4898 if (StoredVec->
getType() != SubVT)
4907 CallInst *NewStore = State.Builder.CreateIntrinsicWithoutFolding(
4909 {IVec, ResAddr, GroupMask, InterleaveEVL});
4919#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
4923 O << Indent <<
"INTERLEAVE-GROUP with factor " << IG->getFactor() <<
", ";
4933 for (
unsigned i = 0; i < IG->getFactor(); ++i) {
4934 if (!IG->getMember(i))
4937 O <<
"\n" << Indent <<
" vp.store ";
4939 O <<
" to index " << i;
4941 O <<
"\n" << Indent <<
" ";
4943 O <<
" = vp.load from index " << i;
4954 unsigned InsertPosIdx = 0;
4955 for (
unsigned Idx = 0; IG->getFactor(); ++Idx)
4956 if (
auto *Member = IG->getMember(Idx)) {
4957 if (Member == InsertPos)
4969 unsigned InterleaveFactor = IG->getFactor();
4974 for (
unsigned IF = 0; IF < InterleaveFactor; IF++)
4975 if (IG->getMember(IF))
4980 InsertPos->
getOpcode(), WideVecTy, IG->getFactor(), Indices,
4981 IG->getAlign(), AS, Ctx.CostKind,
getMask(), NeedsMaskForGaps);
4983 if (!IG->isReverse())
4986 return Cost + IG->getNumMembers() *
4988 VectorTy, VectorTy, Ctx.CostKind, {},
4997#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5001 "unexpected number of operands");
5002 O << Indent <<
"EMIT ";
5004 O <<
" = WIDEN-POINTER-INDUCTION ";
5020 O << Indent <<
"EMIT ";
5022 O <<
" = EXPAND SCEV " << *Expr;
5026#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5029 O << Indent <<
"EMIT ";
5031 O <<
" = WIDEN-CANONICAL-INDUCTION";
5038 auto &Builder = State.Builder;
5042 Type *VecTy = State.VF.isScalar()
5043 ? VectorInit->getType()
5047 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
5048 if (State.VF.isVector()) {
5050 auto *One = ConstantInt::get(IdxTy, 1);
5053 auto *RuntimeVF =
getRuntimeVF(Builder, IdxTy, State.VF);
5054 auto *LastIdx = Builder.CreateSub(RuntimeVF, One);
5055 VectorInit = Builder.CreateInsertElement(
5061 Phi->insertBefore(State.CFG.PrevBB->getFirstInsertionPt());
5062 Phi->addIncoming(VectorInit, VectorPH);
5063 State.set(
this, Phi);
5070 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
5075#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5078 O << Indent <<
"FIRST-ORDER-RECURRENCE-PHI ";
5095 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
5096 bool ScalarPHI = State.VF.isScalar() ||
isInLoop();
5097 Value *StartV = State.get(StartVPV, ScalarPHI);
5101 assert(State.CurrentParentLoop->getHeader() == HeaderBB &&
5102 "recipe must be in the vector loop header");
5107 Phi->addIncoming(StartV, VectorPH);
5110#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5113 O << Indent <<
"WIDEN-REDUCTION-PHI ";
5137 return Ctx.TTI.getCFInstrCost(Instruction::PHI, Ctx.CostKind);
5140#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5143 O << Indent <<
"WIDEN-PHI ";
5153 State.CFG.VPBB2IRBB.at(
getParent()->getCFGPredecessor(0));
5156 State.Builder.CreatePHI(StartMask->
getType(), 2,
"active.lane.mask");
5157 Phi->addIncoming(StartMask, VectorPH);
5158 State.set(
this, Phi);
5161#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5164 O << Indent <<
"ACTIVE-LANE-MASK-PHI ";
5172#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5175 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< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static void replaceAllUsesWith(Value *Old, Value *New, SmallPtrSet< BasicBlock *, 32 > &FreshBBs, bool IsHuge)
Replace all old uses with new ones, and push the updated BBs into FreshBBs.
Value * getPointer(Value *Ptr)
static constexpr Value * getValue(Ty &ValueOrUse)
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)
uint64_t IntrinsicInst * II
This file contains the declarations for profiling metadata utility functions.
const SmallVectorImpl< MachineOperand > & Cond
static SDValue getFPBinOp(SelectionDAG &DAG, unsigned Opcode, const SDLoc &SL, EVT VT, SDValue A, SDValue B, SDValue GlueChain, SDNodeFlags Flags)
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 Value * interleaveVectors(IRBuilderBase &Builder, ArrayRef< Value * > Vals, const Twine &Name)
Return a vector containing interleaved elements from multiple smaller input vectors.
static const ConstantFP * getConstantFP(const VPValue *V)
Returns the ConstantFP V wraps, or nullptr if it does not wrap one.
static void executePhiRecipe(VPSingleDefRecipe *R, VPPhiAccessors &Phi, VPTransformState &State, bool IsScalar, const Twine &Name)
Shared execute logic for VPPhi and VPWidenPHIRecipe.
static Value * createBitOrPointerCast(IRBuilderBase &Builder, Value *V, VectorType *DstVTy, const DataLayout &DL)
static Instruction::BinaryOps getSubRecurOpcode(RecurKind Kind)
static cl::opt< bool > VPlanPrintMetadata("vplan-print-metadata", cl::init(true), cl::Hidden, cl::desc("Controls the printing of recipe metadata when debugging."))
static VPExecutionFrequency getExecutionFrequencyFromMD(const MDNode *Node)
Returns the execution frequency recorded in Node.
static void printRecurrenceKind(raw_ostream &OS, const RecurKind &Kind)
static unsigned getCalledFnOperandIndex(ArrayRef< VPValue * > Operands)
For call VPInstruction operands, return the operand index of the called function.
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.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
bool empty() const
Check if the array is empty.
This class holds the attributes for a particular argument, parameter, function, or return value.
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...
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_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)
ConstantFP - Floating Point Values [float, double].
bool isNegZero() const
Return true if the value is negative zero.
bool isOne() const
Returns true if this value is exactly +1.0.
bool isZero() const
Return true if the value is positive or negative zero.
static LLVM_ABI ConstantInt * getTrue(LLVMContext &Context)
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.
static bool isSupportedFloatingPointType(Type *Ty)
Returns true if Ty is a supported floating-point type for phi, select, or call FPMathOperators.
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.
Intrinsic::ID getIntrinsicID() const LLVM_READONLY
getIntrinsicID - This method returns the ID number of the specified function, or Intrinsic::not_intri...
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 * CreateExtractVector(Type *DstType, Value *SrcVec, Value *Idx, const Twine &Name="")
Create a call to the vector.extract intrinsic.
Value * CreatePtrAdd(Value *Ptr, Value *Offset, const Twine &Name="", GEPNoWrapFlags NW=GEPNoWrapFlags::none())
Value * CreateCast(Instruction::CastOps Op, Value *V, Type *DestTy, const Twine &Name="", MDNode *FPMathTag=nullptr, FMFSource FMFSource={})
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="")
ConstantInt * getInt64(uint64_t C)
Get a constant 64-bit value.
Value * CreateLogicalAnd(Value *Cond1, Value *Cond2, const Twine &Name="", Instruction *MDFrom=nullptr)
LLVM_ABI Value * CreateOrReduce(Value *Src)
Create a vector int OR reduction intrinsic of the source vector.
ConstantInt * getInt32(uint32_t C)
Get a constant 32-bit value.
Value * CreateCmp(CmpInst::Predicate Pred, Value *LHS, Value *RHS, const Twine &Name="", MDNode *FPMathTag=nullptr)
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)
LLVM_ABI Value * CreateIntrinsic(Intrinsic::ID ID, ArrayRef< Type * > OverloadTypes, ArrayRef< Value * > Args, FMFSource FMFSource={}, const Twine &Name="", ArrayRef< OperandBundleDef > OpBundles={}, function_ref< void(CallInst *)> SetFn=[](CallInst *) {})
Variant to create a possibly constant-folded intrinsic.
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 * CreateOr(Value *LHS, Value *RHS, const Twine &Name="", bool IsDisjoint=false)
LLVM_ABI Value * CreateStepVector(Type *DstType, const Twine &Name="")
Creates a vector of type DstType with the linear sequence <0, 1, ...>
Value * CreateMul(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
LLVM_ABI Value * CreateUnaryIntrinsic(Intrinsic::ID ID, Value *Op, FMFSource FMFSource={}, const Twine &Name="")
Create a call to intrinsic ID with 1 operand which is mangled on its type.
A struct for saving information about induction variables.
@ IK_FpInduction
Floating point induction variable.
@ IK_IntInduction
Integer induction variable. Step = C.
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.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
The group of interleaved loads/stores sharing the same stride and close to each other.
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.
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
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 LLVM_ABI bool isSubRecurrenceKind(RecurKind Kind)
Returns true if the recurrence kind is for a sub operation.
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.
unsigned getOpcode() const
Return the SelectionDAG opcode value for this node.
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.
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.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
bool isByteTy() const
True if this is an instance of ByteType.
bool isVectorTy() const
True if this is an instance of VectorType.
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 isIntOrPtrTy() const
Return true if this is an integer type or a pointer type.
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.
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
static bool isHeader(const VPBlockBase *VPB, const VPDominatorTree &VPDT)
Returns true if VPB is a loop header, based on regions or VPDT in their absence.
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.
InductionDescriptor::InductionKind getInductionKind() const
VPValue * getIndex() const
VPValue * getStepValue() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPDerivedIVRecipe.
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPValue * getStartValue() const
void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
VPExpandSCEVRecipe(const SCEV *Expr)
bool isVectorToScalar() const
Returns true if this VPExpressionRecipe produces a single scalar.
SmallVector< VPSingleDefRecipe * > decompose()
Return and insert the recipes of the expression back into the VPlan, directly before the current reci...
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.
VPExpressionRecipe(ExpressionTypes ExpressionType, ArrayRef< VPSingleDefRecipe * > ExpressionRecipes)
Construct a new VPExpressionRecipe by internalizing recipes in ExpressionRecipes.
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 flagsValidForOpcode(unsigned Opcode) const
Returns true if the set flags are valid for Opcode.
void printFlags(raw_ostream &O) const
bool hasFastMathFlags() const
Returns true if the recipe has fast-math flags.
static VPIRFlags getDefaultFlags(unsigned Opcode, Type *ResultTy=nullptr)
Returns default flags for Opcode and scalar ResultTy for opcodes that support it, asserts otherwise.
bool isReductionOrdered() const
CmpInst::Predicate getPredicate() const
LLVM_ABI_FOR_TEST FastMathFlags getFastMathFlagsOrNone() 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.
LLVM_ABI_FOR_TEST bool hasRequiredFlagsForOpcode(unsigned Opcode, Type *ResultTy) const
Returns true if Opcode with scalar result type ResultTy has its required flags set.
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.
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.
VPInstruction(unsigned Opcode, ArrayRef< VPValue * > Operands, const VPIRFlags &Flags={}, const VPIRMetadata &MD={}, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", Type *ResultTy=nullptr)
bool doesGeneratePerAllLanes() const
Returns true if this recipe produces scalar values for all VF lanes.
@ ExtractLastActive
Extracts the last active lane from a set of vectors.
@ Intrinsic
Calls a scalar intrinsic. The intrinsic ID is the last operand.
@ 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 ...
@ CanonicalIVIncrementForPart
@ ComputeReductionResult
Reduce the operands to the final reduction result using the operation specified via the operation's V...
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
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
void addOperand(VPValue *Op)
Add Op as operand of this VPInstruction.
bool isVectorToScalar() const
Returns true if this VPInstruction produces a scalar value from a vector, e.g.
bool isSingleScalar() const
Returns true if the recipe produces a single scalar value.
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.
static LLVM_ABI std::optional< unsigned > getMaskParamPos(Intrinsic::ID IntrinsicID)
static LLVM_ABI std::optional< unsigned > getMemoryDataParamPos(Intrinsic::ID)
static LLVM_ABI std::optional< unsigned > getMemoryPointerParamPos(Intrinsic::ID)
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()
Helper type to provide functions to access incoming values and blocks for phi-like recipes.
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.
void removeIncomingValueFor(VPBlockBase *IncomingBlock) const
Removes the incoming value for IncomingBlock, which must be a predecessor.
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.
VPRecipeTy getVPRecipeID() const
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.
bool isSafeToSpeculativelyExecute() const
Return true if we can safely execute this recipe unconditionally even if it is masked originally.
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.
VPRecipeBase(VPRecipeTy SC, ArrayRef< VPValue * > Operands, DebugLoc DL=DebugLoc::getUnknown())
InstructionCost cost(ElementCount VF, VPCostContext &Ctx)
Return the cost of this recipe, taking into account if the cost computation should be skipped and the...
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.
void moveAfter(VPRecipeBase *MovePos)
Unlink this recipe from its current VPBasicBlock and insert it into the VPBasicBlock that MovePos liv...
Type * getScalarType() const
Returns the scalar type of this VPRecipeValue.
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...
void execute(VPTransformState &State) override
Generate replicas of the desired Ingredient.
bool isSingleScalar() const
Returns true if the recipe produces a single scalar value.
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.
static Type * computeScalarType(const Instruction *I, ArrayRef< VPValue * > Operands)
Compute the scalar result type for a VPReplicateRecipe wrapping I with Operands (excluding any predic...
static InstructionCost computeCallCost(Function *CalledFn, Type *ResultTy, ArrayRef< const VPValue * > ArgOps, bool IsSingleScalar, ElementCount VF, VPCostContext &Ctx)
Return the cost of scalarizing a call to CalledFn with argument operands ArgOps for a given VF.
unsigned getOpcode() const
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPScalarIVStepsRecipe.
bool doesGeneratePerAllLanes() const
Returns true if this recipe produces scalar values for all VF lanes.
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.
VPSingleDefRecipe is a base class for recipes that model a sequence of one or more output IR that def...
Instruction * getUnderlyingInstr()
Returns the underlying instruction.
LLVM_ABI_FOR_TEST LLVM_DUMP_METHOD void dump() const
Print this VPSingleDefRecipe to dbgs() (for debugging).
VPSingleDefRecipe(VPRecipeTy SC, ArrayRef< VPValue * > Operands, DebugLoc DL=DebugLoc::getUnknown())
This class can be used to assign names to VPValues.
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
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
VPValue * getOperand(unsigned N) const
bool operands_empty() const
void addOperand(VPValue *Operand)
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
Type * getScalarType() const
Returns the scalar type of this VPValue, dispatching based on the concrete subclass.
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
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)
VPUser * getSingleUser()
Return the single user of this value, or nullptr if there is not exactly one user.
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.
VPValue * getStride() const
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,...
VPValue * getVFxPart() const
bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the recipe only uses the first lane of operand Op.
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.
static InstructionCost computeCallCost(Function *Variant, VPCostContext &Ctx)
Return the cost of widening a call using the vector function Variant.
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.
Instruction::CastOps getOpcode() const
LLVM_ABI_FOR_TEST void printRecipe(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print the recipe.
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.
VPValue * getStepValue()
Returns the step value of the induction.
const InductionDescriptor & getInductionDescriptor() const
Returns the induction descriptor for the recipe.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this VPWidenIntOrFpInductionRecipe.
TruncInst * getTruncInst()
Returns the first defined value as TruncInst, if it is one or nullptr otherwise.
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.
CallInst * createVectorCall(VPTransformState &State)
Helper function to produce the widened intrinsic call.
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.
static InstructionCost computeCallCost(Intrinsic::ID ID, ArrayRef< const VPValue * > Operands, const VPRecipeWithIRFlags &R, ElementCount VF, VPCostContext &Ctx)
Compute the cost of a vector intrinsic with ID and Operands.
LLVM_ABI_FOR_TEST bool usesFirstLaneOnly(const VPValue *Op) const override
Returns true if the VPUser only uses the first lane of operand Op.
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.
static InstructionCost computeMemIntrinsicCost(Intrinsic::ID IID, Type *Ty, bool IsMasked, Align Alignment, VPCostContext &Ctx)
Helper function for computing the cost of vector memory intrinsic.
void execute(VPTransformState &State) override
Produce a widened version of the vector memory intrinsic.
InstructionCost computeCost(ElementCount VF, VPCostContext &Ctx) const override
Return the cost of this vector memory 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
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.
virtual VPRecipeBase * getAsRecipe()=0
Return a VPRecipeBase* to the current object.
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.
unsigned getOpcode() const
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
const DataLayout & getDataLayout() const
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 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...
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 Args[]
Key for Kernel::Metadata::mArgs.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
@ BasicBlock
Various leaf nodes.
LLVM_ABI Intrinsic::ID 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 AttributeSet getFnAttributes(LLVMContext &C, ID id)
Return the function attributes for an intrinsic.
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.
ThreeOps_match< Cond, LHS, RHS, Instruction::Select > m_Select(const Cond &C, const LHS &L, const RHS &R)
Matches SelectInst.
auto m_Intrinsic(const Ts &...Ops)
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
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.
int_pred_ty< is_zero_int, 1 > m_False()
auto m_VPValue()
Match an arbitrary VPValue and ignore it.
int_pred_ty< is_one, 1 > m_True()
VPInstruction_match< VPInstruction::BranchOnCond > m_BranchOnCond()
VPInstruction_match< VPInstruction::Reverse, Op0_t > m_Reverse(const Op0_t &Op0)
initializer< Ty > init(const Ty &Val)
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
NodeAddr< DefNode * > Def
friend class Instruction
Iterator for Instructions in a `BasicBlock.
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.
Intrinsic::ID getIntrinsicID(const Ty *R)
Return the intrinsic ID underlying a call.
bool onlyFirstLaneUsed(const VPValue *Def)
Returns true if only the first lane of Def is used.
constexpr uint64_t AlwaysExecutesFreq
Denominator of the frequencies computed by computeExecutionFrequencies, i.e.
bool onlyScalarValuesUsed(const VPValue *Def)
Returns true if only scalar values of Def are used by all users.
bool isUsedByLoadStoreAddress(const VPValue *V)
Returns true if V is used as part of the address of another load or store.
const SCEV * getSCEVExprForVPValue(const VPValue *V, PredicatedScalarEvolution &PSE, const Loop *L=nullptr)
Return the SCEV expression for V.
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.
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.
VectorInstrContext
Represents a hint about the context in which a vector instruction or intrinsic is used.
@ None
The instruction is not folded.
@ BinaryOp
One of the operands is a binary op.
auto map_to_vector(ContainerTy &&C, FuncTy &&F)
Map a range to a SmallVector with element types deduced from the mapping.
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 ...
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.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
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)
cl::opt< unsigned > ForceTargetInstructionCost("force-target-instruction-cost", cl::init(0), cl::Hidden, cl::desc("A flag that overrides the target's expected cost for " "an instruction to a single constant value. Mostly " "useful for getting consistent testing."))
ElementCount getVectorizedTypeVF(Type *Ty)
Returns the number of vector elements for a vectorized type.
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 isPointerTy(const Type *T)
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.
LLVM_ABI Type * computeScalarTypeForInstruction(unsigned Opcode, ArrayRef< VPValue * > Operands)
Compute the scalar result type for an IR Opcode given Operands.
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...
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
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...
static const MachineInstrBuilder & addOffset(const MachineInstrBuilder &MIB, int Offset)
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.
@ FindIV
FindIV reduction with select(icmp(),x,y) where one of (x,y) is a loop induction variable (increasing ...
@ Or
Bitwise or logical OR of integers.
@ FMinimum
FP min with llvm.minimum semantics.
@ FMaxNum
FP max with llvm.maxnum semantics including NaNs.
@ Mul
Product of integers.
@ FSub
Subtraction of floats.
@ FAddChainWithSubs
A chain of fadds and fsubs.
@ AnyOf
AnyOf reduction with select(cmp(),x,y) where one of (x,y) is loop invariant, and both x and y are int...
@ Xor
Bitwise or logical XOR of integers.
@ FindLast
FindLast reduction with select(cmp(),x,y) where x and y.
@ FMax
FP max implemented in terms of select(cmp()).
@ FMaximum
FP max with llvm.maximum semantics.
@ FMulAdd
Sum of float products with llvm.fmuladd(a * b + sum).
@ SMax
Signed integer max implemented in terms of select(cmp()).
@ And
Bitwise or logical AND of integers.
@ SMin
Signed integer min implemented in terms of select(cmp()).
@ FMin
FP min implemented in terms of select(cmp()).
@ FMinNum
FP min with llvm.minnum semantics including NaNs.
@ Sub
Subtraction of integers.
@ AddChainWithSubs
A chain of adds and subs.
@ 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
LLVM_ABI bool extractBranchWeights(const MDNode *ProfileData, SmallVectorImpl< uint32_t > &Weights)
Extract branch weights from MD_prof metadata.
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
void erase_if(Container &C, UnaryPredicate P)
Provide a container algorithm similar to C++ Library Fundamentals v2's erase_if which is equivalent t...
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.
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.
static bool isFreeScalarIntrinsic(Intrinsic::ID ID)
Returns true if ID is a pseudo intrinsic that is dropped via scalarization rather than widened.
static bool executesAtMostOnce(const VPlan &Plan, ElementCount VF)
Returns true if the vector loop body of Plan is known to execute at most once at VF,...
TargetTransformInfo::TargetCostKind CostKind
The frequency with which a recipe executes, relative to the entry of the loop region.
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.
PHINode & getIRPhi() const
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.
VPRecipeWithIRFlags(VPRecipeTy SC, ArrayRef< VPValue * > Operands, const VPIRFlags &Flags, DebugLoc DL=DebugLoc::getUnknown())
InstructionCost getCostForRecipeWithOpcode(unsigned Opcode, ElementCount VF, VPCostContext &Ctx) const
Compute the cost for this recipe for VF, using Opcode and Ctx.
void execute(VPTransformState &State) override
Generate the wide load or gather.
VPRecipeBase * getAsRecipe() override
Return a VPRecipeBase* to the current object.
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 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.
VPRecipeBase * getAsRecipe() override
Return a VPRecipeBase* to the current object.
VPValue * getStoredValue() const
Return the address accessed by this recipe.
void execute(VPTransformState &State) override
Generate the wide store or scatter.
VPRecipeBase * getAsRecipe() override
Return a VPRecipeBase* to the current object.
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 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.
VPRecipeBase * getAsRecipe() override
Return a VPRecipeBase* to the current object.
VPValue * getStoredValue() const
Return the value stored by this recipe.