16#ifndef LLVM_CODEGEN_BASICTTIIMPL_H
17#define LLVM_CODEGEN_BASICTTIIMPL_H
89 const T *thisT()
const {
return static_cast<const T *
>(
this); }
99 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
103 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
123 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
125 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
138 "Can only extract subvectors from vectors");
141 (Index + NumSubElts) <=
143 "SK_ExtractSubvector index out of range");
149 for (
int i = 0; i != NumSubElts; ++i) {
151 thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
152 CostKind, i + Index,
nullptr,
nullptr);
153 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SubVTy,
166 "Can only insert subvectors into vectors");
169 (Index + NumSubElts) <=
171 "SK_InsertSubvector index out of range");
177 for (
int i = 0; i != NumSubElts; ++i) {
178 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, SubVTy,
181 thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
CostKind,
182 i + Index,
nullptr,
nullptr);
189 return static_cast<const T *
>(
this)->getST();
194 return static_cast<const T *
>(
this)->getTLI();
216 bool IsGatherScatter,
224 unsigned VF = VT->getNumElements();
239 VF * thisT()->getMemoryOpCost(Opcode, VT->getElementType(), Alignment,
245 Opcode == Instruction::Store,
CostKind);
259 VF * (thisT()->getCFInstrCost(Instruction::CondBr,
CostKind) +
260 thisT()->getCFInstrCost(Instruction::PHI,
CostKind));
263 return AddrExtractCost + MemoryOpCost + PackingCost + ConditionalCost;
271 static bool isSplatMask(
ArrayRef<int> Mask,
unsigned NumSrcElts,
int &Index) {
273 bool IsCompared =
false;
277 return P.index() != Mask.size() - 1 || IsCompared;
278 if (
static_cast<unsigned>(
P.value()) >= NumSrcElts * 2)
281 SplatIdx =
P.value();
282 return P.index() != Mask.size() - 1;
285 return SplatIdx ==
P.value();
304 std::optional<InstructionCost> getMultipleResultIntrinsicVectorLibCallCost(
306 std::optional<unsigned> CallRetElementIndex = {})
const {
314 EVT VT = getTLI()->getValueType(
DL, Ty);
316 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
318 switch (ICA.
getID()) {
319 case Intrinsic::modf:
320 LC = RTLIB::getMODF(VT);
322 case Intrinsic::sincospi:
323 LC = RTLIB::getSINCOSPI(VT);
325 case Intrinsic::sincos:
326 LC = RTLIB::getSINCOS(VT);
333 RTLIB::LibcallImpl LibcallImpl = getTLI()->getLibcallImpl(LC);
334 if (LibcallImpl == RTLIB::Unsupported)
347 VecTy,
CostKind, {}, 0,
nullptr, {});
353 if (Idx == CallRetElementIndex)
355 Cost += thisT()->getMemoryOpCost(
356 Instruction::Load, VectorTy,
390 unsigned *
Fast)
const override {
392 return getTLI()->allowsMisalignedMemoryAccesses(
397 const Function *Callee)
const override {
409 ~InlineIgnoreFeatures;
412 ~InlineIgnoreFeatures;
414 if ((CallerBits & InlineMustMatchFeatures) !=
415 (CalleeBits & InlineMustMatchFeatures))
420 return (CallerBits & CalleeBits) == CalleeBits;
446 return getTLI()->getTargetMachine().isNoopAddrSpaceCast(FromAS, ToAS);
450 return getTLI()->getTargetMachine().getAssumedAddrSpace(V);
453 std::pair<const Value *, unsigned>
455 return getTLI()->getTargetMachine().getPredicatedAddrSpace(V);
459 Value *NewV)
const override {
464 return getTLI()->isLegalAddImmediate(imm);
468 return getTLI()->isLegalAddScalableImmediate(
Imm);
472 return getTLI()->isLegalICmpImmediate(imm);
476 bool HasBaseReg, int64_t Scale,
unsigned AddrSpace,
478 int64_t ScalableOffset = 0)
const override {
485 return getTLI()->isLegalAddressingMode(
DL, AM, Ty, AddrSpace,
I);
489 return getTLI()->getPreferredLargeGEPBaseOffset(MinOffset, MaxOffset);
494 unsigned AddrSpace)
const override {
495 auto &&IsSupportedByTarget = [
this, ScalarMemTy, ScalarValTy, Alignment,
496 AddrSpace](
unsigned VF) {
498 EVT VT = getTLI()->getValueType(
DL, SrcTy);
499 if (getTLI()->isOperationLegal(
ISD::STORE, VT) ||
506 getTLI()->getTypeToTransformTo(ScalarMemTy->
getContext(), VT);
507 return getTLI()->isTruncStoreLegal(LegalizedVT, ValVT, Alignment,
510 while (VF > 2 && IsSupportedByTarget(VF))
516 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
517 return getTLI()->isIndexedLoadLegal(getISDIndexedMode(M), VT);
521 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
522 return getTLI()->isIndexedStoreLegal(getISDIndexedMode(M), VT);
545 unsigned AddrSpace)
const override {
558 return getTLI()->isTruncateFree(Ty1, Ty2);
562 return getTLI()->isProfitableToHoist(
I);
565 bool useAA()
const override {
return getST()->useAA(); }
568 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
569 return getTLI()->isTypeLegal(VT);
573 EVT ETy = getTLI()->getValueType(
DL, Ty);
574 return getTLI()->getNumRegisters(Ty->getContext(), ETy);
580 Type *AccessType)
const override {
594 unsigned N =
SI.getNumCases();
602 if (
N < 1 || (!IsJTAllowed &&
DL.getIndexSizeInBits(0u) <
N))
605 APInt MaxCaseVal =
SI.case_begin()->getCaseValue()->getValue();
606 APInt MinCaseVal = MaxCaseVal;
607 for (
auto CI :
SI.cases()) {
608 const APInt &CaseVal = CI.getCaseValue()->getValue();
609 if (CaseVal.
sgt(MaxCaseVal))
610 MaxCaseVal = CaseVal;
611 if (CaseVal.
slt(MinCaseVal))
612 MinCaseVal = CaseVal;
616 if (
N <=
DL.getIndexSizeInBits(0u)) {
618 for (
auto I :
SI.cases()) {
629 if (
N < 2 ||
N < TLI->getMinimumJumpTableEntries())
632 (MaxCaseVal - MinCaseVal)
633 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
636 JumpTableSize =
Range;
687 DL.getIndexType(Ty->getContext(),
DL.getAllocaAddrSpace());
709 const Function &Fn)
const override {
713 case Instruction::SDiv:
714 case Instruction::SRem:
715 case Instruction::UDiv:
716 case Instruction::URem: {
768 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
769 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
786 <<
"advising against unrolling the loop because it "
836 std::optional<Instruction *>
841 std::optional<Value *>
844 bool &KnownBitsComputed)
const override {
853 SimplifyAndSetOp)
const override {
855 IC,
II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
860 return getST()->getMispredictionPenalty();
863 std::optional<unsigned>
865 return std::optional<unsigned>(
869 std::optional<unsigned>
871 std::optional<unsigned> TargetResult =
872 getST()->getCacheAssociativity(
static_cast<unsigned>(Level));
881 return getST()->getCacheLineSize();
885 return getST()->getPrefetchDistance();
889 unsigned NumStridedMemAccesses,
890 unsigned NumPrefetches,
891 bool HasCall)
const override {
892 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
893 NumPrefetches, HasCall);
897 return getST()->getMaxPrefetchIterationsAhead();
901 return getST()->enableWritePrefetching();
905 return getST()->shouldPrefetchAddressSpace(AS);
927 bool Insert,
bool Extract,
939 (VL.empty() || VL.size() == Ty->getNumElements()) &&
940 "Vector size mismatch");
944 for (
int i = 0, e = Ty->getNumElements(); i < e; ++i) {
945 if (!DemandedElts[i])
948 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
950 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
951 CostKind, i,
nullptr, InsertedVal, VIC);
954 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
955 CostKind, i,
nullptr,
nullptr, VIC);
963 unsigned ScalarOpdIdx)
const override {
968 int OpdIdx)
const override {
974 int RetIdx)
const override {
989 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
1001 for (
Type *Ty : Tys) {
1003 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
1004 !Ty->isPtrOrPtrVectorTy())
1028 filterConstantAndDuplicatedOperands(Args, Tys),
CostKind);
1040 auto [It, Inserted] = TypeLegalizationCostCache.try_emplace(Ty);
1042 It->second = computeTypeLegalizationCost(Ty);
1047 std::pair<InstructionCost, MVT> computeTypeLegalizationCost(
Type *Ty)
const {
1073 if (MTy == LK.second)
1083 mutable DenseMap<Type *, std::pair<InstructionCost, MVT>>
1084 TypeLegalizationCostCache;
1088 bool HasUnorderedReductions)
const override {
1097 const Instruction *CxtI =
nullptr)
const override {
1099 const TargetLoweringBase *TLI = getTLI();
1100 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1101 assert(ISD &&
"Invalid opcode");
1116 if (TLI->isOperationLegalOrPromote(ISD,
LT.second)) {
1119 return LT.first * OpCost;
1122 if (!TLI->isOperationExpand(ISD,
LT.second)) {
1125 return LT.first * 2 * OpCost;
1137 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1139 DivOpc, Ty,
CostKind, Opd1Info, Opd2Info);
1141 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty,
CostKind);
1143 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty,
CostKind);
1144 return DivCost + MulCost + SubCost;
1176 int NumDstElts = Mask.size();
1177 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1184 if (isSplatMask(Mask, NumSrcElts, Index))
1187 (Index + NumDstElts) <= NumSrcElts) {
1194 if (
all_of(Mask, [NumSrcElts](
int M) {
return M < NumSrcElts; }))
1199 Mask, NumSrcElts, NumSubElts, Index)) {
1200 if (Index + NumSubElts > NumSrcElts)
1235 return getBroadcastShuffleOverhead(FVT,
CostKind);
1244 return getPermuteShuffleOverhead(FVT,
CostKind);
1247 return getExtractSubvectorOverhead(SrcTy,
CostKind, Index,
1250 return getInsertSubvectorOverhead(DstTy,
CostKind, Index,
1269 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1270 TypeSize DstSize = DstLT.second.getSizeInBits();
1271 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1272 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1277 case Instruction::Trunc:
1282 case Instruction::BitCast:
1285 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1289 case Instruction::FPExt:
1290 if (
I && getTLI()->isExtFree(
I))
1293 case Instruction::ZExt:
1294 if (TLI->
isZExtFree(SrcLT.second, DstLT.second))
1297 case Instruction::SExt:
1298 if (
I && getTLI()->isExtFree(
I))
1310 if (DstLT.first == SrcLT.first &&
1312 LI->getPointerAddressSpace(), LType,
false))
1315 switch (
II->getIntrinsicID()) {
1316 case Intrinsic::masked_load: {
1317 Type *PtrType =
II->getArgOperand(0)->getType();
1320 if (DstLT.first == SrcLT.first &&
1322 ExtVT, LoadVT,
II->getParamAlign(0).valueOrOne(),
1335 case Instruction::AddrSpaceCast:
1337 Dst->getPointerAddressSpace()))
1346 if (SrcLT.first == DstLT.first &&
1351 if (!SrcVTy && !DstVTy) {
1362 if (DstVTy && SrcVTy) {
1364 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1367 if (Opcode == Instruction::ZExt)
1371 if (Opcode == Instruction::SExt)
1372 return SrcLT.first * 2;
1378 return SrcLT.first * 1;
1391 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1392 DstVTy->getElementCount().isKnownEven()) {
1395 const T *TTI = thisT();
1398 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1400 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1412 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH,
CostKind,
I);
1425 if (Opcode == Instruction::BitCast) {
1442 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1443 CostKind, Index,
nullptr,
nullptr) +
1459 const Instruction *
I =
nullptr)
const override {
1460 const TargetLoweringBase *TLI = getTLI();
1461 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1462 assert(ISD &&
"Invalid opcode");
1464 if (getTLI()->getValueType(
DL, ValTy,
true) == MVT::Other)
1466 Op1Info, Op2Info,
I);
1470 assert(CondTy &&
"CondTy must exist");
1471 if (CondTy->isVectorTy())
1477 !TLI->isOperationExpand(ISD,
LT.second)) {
1480 return LT.first * 1;
1492 Opcode, ValVTy->getScalarType(), CondTy->
getScalarType(), VecPred,
1508 unsigned Index,
const Value *Op0,
const Value *Op1,
1521 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1533 Value *Op0 =
nullptr;
1534 Value *Op1 =
nullptr;
1536 Op0 = IE->getOperand(0);
1537 Op1 = IE->getOperand(1);
1542 return thisT()->getVectorInstrCost(
I.getOpcode(), Val,
CostKind, Index, Op0,
1549 unsigned Index)
const override {
1550 unsigned NewIndex = -1;
1552 assert(Index < FVTy->getNumElements() &&
1553 "Unexpected index from end of vector");
1554 NewIndex = FVTy->getNumElements() - 1 - Index;
1556 return thisT()->getVectorInstrCost(Opcode, Val,
CostKind, NewIndex,
nullptr,
1562 const APInt &DemandedDstElts,
1565 "Unexpected size of DemandedDstElts.");
1583 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1586 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1598 assert(!Src->isVoidTy() &&
"Invalid type");
1600 if (getTLI()->getValueType(
DL, Src,
true) == MVT::Other)
1619 LT.second.getSizeInBits())) {
1625 if (Opcode == Instruction::Store)
1637 Opcode == Instruction::Store,
CostKind);
1647 bool UseMaskForCond =
false,
bool UseMaskForGaps =
false)
const override {
1655 unsigned NumElts = VT->getNumElements();
1656 assert(Factor > 1 && NumElts % Factor == 0 &&
"Invalid interleave factor");
1658 unsigned NumSubElts = NumElts / Factor;
1663 if (UseMaskForCond || UseMaskForGaps) {
1664 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1665 : Intrinsic::masked_store;
1666 Cost = thisT()->getMemIntrinsicInstrCost(
1676 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1693 if (
Cost.isValid() && VecTySize > VecTyLTSize) {
1696 unsigned NumLegalInsts =
divideCeil(VecTySize, VecTyLTSize);
1700 unsigned NumEltsPerLegalInst =
divideCeil(NumElts, NumLegalInsts);
1703 BitVector UsedInsts(NumLegalInsts,
false);
1704 for (
unsigned Index : Indices)
1705 for (
unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1706 UsedInsts.
set((Index + Elt * Factor) / NumEltsPerLegalInst);
1715 "Interleaved memory op has too many members");
1721 for (
unsigned Index : Indices) {
1722 assert(Index < Factor &&
"Invalid index for interleaved memory op");
1723 for (
unsigned Elm = 0; Elm < NumSubElts; Elm++)
1724 DemandedLoadStoreElts.
setBit(Index + Elm * Factor);
1727 if (Opcode == Instruction::Load) {
1737 SubVT, DemandedAllSubElts,
1739 Cost += Indices.
size() * InsSubCost;
1740 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1758 SubVT, DemandedAllSubElts,
1760 Cost += ExtSubCost * Indices.
size();
1761 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1766 if (!UseMaskForCond)
1771 Cost += thisT()->getReplicationShuffleCost(
1772 I8Type, Factor, NumSubElts,
1773 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1781 if (UseMaskForGaps) {
1783 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1809 std::optional<unsigned> FOp =
1812 if (ICA.
getID() == Intrinsic::vp_load) {
1815 Alignment = VPI->getPointerAlignment().valueOrOne();
1819 AS = PtrTy->getAddressSpace();
1820 return thisT()->getMemoryOpCost(*FOp, ICA.
getReturnType(), Alignment,
1823 if (ICA.
getID() == Intrinsic::vp_store) {
1826 Alignment = VPI->getPointerAlignment().valueOrOne();
1830 AS = PtrTy->getAddressSpace();
1831 return thisT()->getMemoryOpCost(*FOp, ICA.
getArgTypes()[0], Alignment,
1834 if (ICA.
getID() == Intrinsic::vp_udiv ||
1835 ICA.
getID() == Intrinsic::vp_sdiv ||
1836 ICA.
getID() == Intrinsic::vp_urem ||
1837 ICA.
getID() == Intrinsic::vp_srem) {
1838 return thisT()->getArithmeticInstrCost(*FOp, ICA.
getReturnType(),
1842 if (ICA.
getID() == Intrinsic::vp_load_ff) {
1847 Alignment = VPI->getPointerAlignment().valueOrOne();
1848 return thisT()->getMemIntrinsicInstrCost(
1852 if (ICA.
getID() == Intrinsic::vp_scatter) {
1862 Alignment = VPI->getPointerAlignment().valueOrOne();
1864 return thisT()->getMemIntrinsicInstrCost(
1867 VarMask, Alignment,
nullptr),
1870 if (ICA.
getID() == Intrinsic::vp_gather) {
1880 Alignment = VPI->getPointerAlignment().valueOrOne();
1882 return thisT()->getMemIntrinsicInstrCost(
1885 VarMask, Alignment,
nullptr),
1889 if (ICA.
getID() == Intrinsic::vp_merge) {
1900 std::optional<Intrinsic::ID> FID =
1904 if (ICA.
getID() == Intrinsic::experimental_vp_reverse)
1905 FID = Intrinsic::vector_reverse;
1911 "Expected VPIntrinsic to have Mask and Vector Length args and "
1923 *FID != Intrinsic::vector_reduce_fadd &&
1924 *FID != Intrinsic::vector_reduce_fmul) {
1932 return thisT()->getIntrinsicInstrCost(NewICA,
CostKind);
1951 case Intrinsic::powi:
1953 bool ShouldOptForSize =
I->getParent()->getParent()->hasOptSize();
1954 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1955 ShouldOptForSize)) {
1959 unsigned ActiveBits =
Exponent.getActiveBits();
1960 unsigned PopCount =
Exponent.popcount();
1962 thisT()->getArithmeticInstrCost(
1963 Instruction::FMul, RetTy,
CostKind);
1964 if (RHSC->isNegative())
1965 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1971 case Intrinsic::cttz:
1973 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1977 case Intrinsic::ctlz:
1979 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1983 case Intrinsic::memcpy:
1984 return thisT()->getMemcpyCost(ICA.
getInst());
1986 case Intrinsic::masked_scatter: {
1987 const Value *Mask = Args[2];
1989 Align Alignment =
I->getParamAlign(1).valueOrOne();
1990 return thisT()->getMemIntrinsicInstrCost(
1996 case Intrinsic::masked_gather: {
1997 const Value *Mask = Args[1];
1999 Align Alignment =
I->getParamAlign(0).valueOrOne();
2000 return thisT()->getMemIntrinsicInstrCost(
2002 VarMask, Alignment,
I),
2005 case Intrinsic::masked_compressstore: {
2007 const Value *Mask = Args[2];
2008 Align Alignment =
I->getParamAlign(1).valueOrOne();
2009 return thisT()->getMemIntrinsicInstrCost(
2014 case Intrinsic::masked_expandload: {
2015 const Value *Mask = Args[1];
2016 Align Alignment =
I->getParamAlign(0).valueOrOne();
2017 return thisT()->getMemIntrinsicInstrCost(
2022 case Intrinsic::experimental_vp_strided_store: {
2024 const Value *Ptr = Args[1];
2025 const Value *Mask = Args[3];
2026 const Value *EVL = Args[4];
2030 I->getParamAlign(1).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2031 return thisT()->getMemIntrinsicInstrCost(
2036 case Intrinsic::experimental_vp_strided_load: {
2037 const Value *Ptr = Args[0];
2038 const Value *Mask = Args[2];
2039 const Value *EVL = Args[3];
2043 I->getParamAlign(0).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2044 return thisT()->getMemIntrinsicInstrCost(
2048 case Intrinsic::stepvector: {
2054 case Intrinsic::vector_extract: {
2060 return thisT()->getShuffleCost(
2065 case Intrinsic::vector_insert: {
2071 return thisT()->getShuffleCost(
2076 case Intrinsic::vector_splice_left:
2077 case Intrinsic::vector_splice_right: {
2081 unsigned Index = COffset->getZExtValue();
2082 return thisT()->getShuffleCost(
2085 IID == Intrinsic::vector_splice_left ? Index : -Index,
2088 case Intrinsic::vector_reduce_add:
2089 case Intrinsic::vector_reduce_mul:
2090 case Intrinsic::vector_reduce_and:
2091 case Intrinsic::vector_reduce_or:
2092 case Intrinsic::vector_reduce_xor:
2093 case Intrinsic::vector_reduce_smax:
2094 case Intrinsic::vector_reduce_smin:
2095 case Intrinsic::vector_reduce_fmax:
2096 case Intrinsic::vector_reduce_fmin:
2097 case Intrinsic::vector_reduce_fmaximum:
2098 case Intrinsic::vector_reduce_fminimum:
2099 case Intrinsic::vector_reduce_fmaximumnum:
2100 case Intrinsic::vector_reduce_fminimumnum:
2101 case Intrinsic::vector_reduce_umax:
2102 case Intrinsic::vector_reduce_umin: {
2106 case Intrinsic::vector_reduce_fadd:
2107 case Intrinsic::vector_reduce_fmul: {
2109 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF,
I, 1);
2112 case Intrinsic::fshl:
2113 case Intrinsic::fshr: {
2114 const Value *
X = Args[0];
2115 const Value *
Y = Args[1];
2116 const Value *Z = Args[2];
2125 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2126 Cost += thisT()->getArithmeticInstrCost(
2127 BinaryOperator::Shl, RetTy,
CostKind, OpInfoX,
2129 Cost += thisT()->getArithmeticInstrCost(
2130 BinaryOperator::LShr, RetTy,
CostKind, OpInfoY,
2134 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2139 Cost += thisT()->getArithmeticInstrCost(
2141 : BinaryOperator::URem,
2143 {TTI::OK_UniformConstantValue, TTI::OP_None});
2147 Cost += thisT()->getCmpSelInstrCost(
2150 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2156 case Intrinsic::experimental_cttz_elts: {
2169 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2171 ZeroIsPoison, &VScaleRange);
2181 thisT()->getIntrinsicInstrCost(StepVecAttrs,
CostKind);
2184 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy,
CostKind);
2185 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2189 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy,
CostKind);
2192 NewEltTy, NewVecTy, FMF,
I, 1);
2193 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs,
CostKind);
2195 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy,
CostKind);
2199 case Intrinsic::get_active_lane_mask:
2200 case Intrinsic::experimental_vector_match:
2201 case Intrinsic::experimental_vector_histogram_add:
2202 case Intrinsic::experimental_vector_histogram_uadd_sat:
2203 case Intrinsic::experimental_vector_histogram_umax:
2204 case Intrinsic::experimental_vector_histogram_umin:
2205 case Intrinsic::masked_udiv:
2206 case Intrinsic::masked_sdiv:
2207 case Intrinsic::masked_urem:
2208 case Intrinsic::masked_srem:
2209 return thisT()->getTypeBasedIntrinsicInstrCost(ICA,
CostKind);
2210 case Intrinsic::modf:
2211 case Intrinsic::sincos:
2212 case Intrinsic::sincospi: {
2213 std::optional<unsigned> CallRetElementIndex;
2216 if (ICA.
getID() == Intrinsic::modf)
2217 CallRetElementIndex = 0;
2219 if (
auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2220 ICA,
CostKind, CallRetElementIndex))
2225 case Intrinsic::loop_dependence_war_mask:
2226 case Intrinsic::loop_dependence_raw_mask: {
2244 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2247 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy,
CostKind);
2248 if (IsReadAfterWrite) {
2250 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs,
CostKind);
2255 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2261 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2263 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2267 {AddrTy, AddrTy}, FMF);
2268 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2278 ScalarizationCost = 0;
2287 filterConstantAndDuplicatedOperands(Args, ICA.
getArgTypes()),
2293 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2314 unsigned VecTyIndex = 0;
2315 if (IID == Intrinsic::vector_reduce_fadd ||
2316 IID == Intrinsic::vector_reduce_fmul)
2318 assert(Tys.
size() > VecTyIndex &&
"Unexpected IntrinsicCostAttributes");
2335 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2336 unsigned ScalarCalls = 1;
2337 Type *ScalarRetTy = RetTy;
2339 if (!SkipScalarizationCost)
2342 ScalarCalls = std::max(ScalarCalls,
2347 for (
Type *Ty : Tys) {
2349 if (!SkipScalarizationCost)
2352 ScalarCalls = std::max(ScalarCalls,
2354 Ty = Ty->getScalarType();
2358 if (ScalarCalls == 1)
2363 thisT()->getIntrinsicInstrCost(ScalarAttrs,
CostKind);
2365 return ScalarCalls * ScalarCost + ScalarizationCost;
2369 case Intrinsic::sqrt:
2372 case Intrinsic::sin:
2375 case Intrinsic::cos:
2378 case Intrinsic::sincos:
2381 case Intrinsic::sincospi:
2384 case Intrinsic::modf:
2387 case Intrinsic::tan:
2390 case Intrinsic::asin:
2393 case Intrinsic::acos:
2396 case Intrinsic::atan:
2399 case Intrinsic::atan2:
2402 case Intrinsic::sinh:
2405 case Intrinsic::cosh:
2408 case Intrinsic::tanh:
2411 case Intrinsic::exp:
2414 case Intrinsic::exp2:
2417 case Intrinsic::exp10:
2420 case Intrinsic::log:
2423 case Intrinsic::log10:
2426 case Intrinsic::log2:
2429 case Intrinsic::ldexp:
2432 case Intrinsic::fabs:
2435 case Intrinsic::canonicalize:
2438 case Intrinsic::minnum:
2441 case Intrinsic::maxnum:
2444 case Intrinsic::minimum:
2447 case Intrinsic::maximum:
2450 case Intrinsic::minimumnum:
2453 case Intrinsic::maximumnum:
2456 case Intrinsic::copysign:
2459 case Intrinsic::floor:
2462 case Intrinsic::ceil:
2465 case Intrinsic::trunc:
2468 case Intrinsic::nearbyint:
2471 case Intrinsic::rint:
2474 case Intrinsic::lrint:
2477 case Intrinsic::llrint:
2480 case Intrinsic::round:
2483 case Intrinsic::roundeven:
2486 case Intrinsic::lround:
2489 case Intrinsic::llround:
2492 case Intrinsic::pow:
2495 case Intrinsic::fma:
2498 case Intrinsic::fmuladd:
2501 case Intrinsic::experimental_constrained_fmuladd:
2505 case Intrinsic::lifetime_start:
2506 case Intrinsic::lifetime_end:
2507 case Intrinsic::sideeffect:
2508 case Intrinsic::pseudoprobe:
2509 case Intrinsic::arithmetic_fence:
2511 case Intrinsic::masked_store: {
2513 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2514 return thisT()->getMemIntrinsicInstrCost(
2517 case Intrinsic::masked_load: {
2519 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2520 return thisT()->getMemIntrinsicInstrCost(
2523 case Intrinsic::experimental_vp_strided_store: {
2525 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2526 return thisT()->getMemIntrinsicInstrCost(
2532 case Intrinsic::experimental_vp_strided_load: {
2534 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2535 return thisT()->getMemIntrinsicInstrCost(
2541 case Intrinsic::vector_reduce_add:
2542 case Intrinsic::vector_reduce_mul:
2543 case Intrinsic::vector_reduce_and:
2544 case Intrinsic::vector_reduce_or:
2545 case Intrinsic::vector_reduce_xor:
2546 return thisT()->getArithmeticReductionCost(
2549 case Intrinsic::vector_reduce_fadd:
2550 case Intrinsic::vector_reduce_fmul:
2551 return thisT()->getArithmeticReductionCost(
2553 case Intrinsic::vector_reduce_smax:
2554 case Intrinsic::vector_reduce_smin:
2555 case Intrinsic::vector_reduce_umax:
2556 case Intrinsic::vector_reduce_umin:
2557 case Intrinsic::vector_reduce_fmax:
2558 case Intrinsic::vector_reduce_fmin:
2559 case Intrinsic::vector_reduce_fmaximum:
2560 case Intrinsic::vector_reduce_fminimum:
2561 case Intrinsic::vector_reduce_fmaximumnum:
2562 case Intrinsic::vector_reduce_fminimumnum:
2565 case Intrinsic::experimental_vector_match: {
2568 unsigned SearchSize = NeedleTy->getNumElements();
2573 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2575 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2579 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2582 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2585 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy,
CostKind);
2588 case Intrinsic::vector_reverse:
2592 case Intrinsic::experimental_vector_histogram_add:
2593 case Intrinsic::experimental_vector_histogram_uadd_sat:
2594 case Intrinsic::experimental_vector_histogram_umax:
2595 case Intrinsic::experimental_vector_histogram_umin: {
2603 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2605 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2607 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2612 case Intrinsic::experimental_vector_histogram_add:
2614 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy,
CostKind);
2616 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2618 Cost += thisT()->getIntrinsicInstrCost(UAddSat,
CostKind);
2621 case Intrinsic::experimental_vector_histogram_umax: {
2626 case Intrinsic::experimental_vector_histogram_umin: {
2632 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2637 case Intrinsic::get_active_lane_mask: {
2639 EVT ResVT = getTLI()->getValueType(
DL, RetTy,
true);
2640 EVT ArgVT = getTLI()->getValueType(
DL, ArgTy,
true);
2644 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2653 thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2654 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2658 case Intrinsic::experimental_memset_pattern:
2663 case Intrinsic::abs:
2666 case Intrinsic::fshl:
2669 case Intrinsic::fshr:
2672 case Intrinsic::smax:
2675 case Intrinsic::smin:
2678 case Intrinsic::umax:
2681 case Intrinsic::umin:
2684 case Intrinsic::sadd_sat:
2687 case Intrinsic::ssub_sat:
2690 case Intrinsic::uadd_sat:
2693 case Intrinsic::usub_sat:
2696 case Intrinsic::smul_fix:
2699 case Intrinsic::umul_fix:
2702 case Intrinsic::sadd_with_overflow:
2705 case Intrinsic::ssub_with_overflow:
2708 case Intrinsic::uadd_with_overflow:
2711 case Intrinsic::usub_with_overflow:
2714 case Intrinsic::smul_with_overflow:
2717 case Intrinsic::umul_with_overflow:
2720 case Intrinsic::fptosi_sat:
2721 case Intrinsic::fptoui_sat: {
2727 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2733 case Intrinsic::ctpop:
2739 case Intrinsic::ctlz:
2742 case Intrinsic::cttz:
2745 case Intrinsic::bswap:
2748 case Intrinsic::bitreverse:
2751 case Intrinsic::ucmp:
2754 case Intrinsic::scmp:
2757 case Intrinsic::clmul:
2760 case Intrinsic::smulh:
2763 case Intrinsic::umulh:
2766 case Intrinsic::masked_udiv:
2767 case Intrinsic::masked_sdiv:
2768 case Intrinsic::masked_urem:
2769 case Intrinsic::masked_srem: {
2770 unsigned UnmaskedOpc;
2772 case Intrinsic::masked_udiv:
2774 UnmaskedOpc = Instruction::UDiv;
2776 case Intrinsic::masked_sdiv:
2778 UnmaskedOpc = Instruction::SDiv;
2780 case Intrinsic::masked_urem:
2782 UnmaskedOpc = Instruction::URem;
2784 case Intrinsic::masked_srem:
2786 UnmaskedOpc = Instruction::SRem;
2792 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy,
CostKind);
2796 if (!getTLI()->isOperationLegalOrCustom(
ISD, LT)) {
2799 Cost += thisT()->getCmpSelInstrCost(
2809 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2815 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2825 return (LT.first * 2);
2827 return (LT.first * 1);
2831 return (LT.first * 2);
2835 case Intrinsic::fmuladd: {
2839 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2841 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2844 case Intrinsic::experimental_constrained_fmuladd: {
2846 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2848 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2849 return thisT()->getIntrinsicInstrCost(FMulAttrs,
CostKind) +
2850 thisT()->getIntrinsicInstrCost(FAddAttrs,
CostKind);
2852 case Intrinsic::smin:
2853 case Intrinsic::smax:
2854 case Intrinsic::umin:
2855 case Intrinsic::umax: {
2858 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2862 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2864 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2868 case Intrinsic::sadd_with_overflow:
2869 case Intrinsic::ssub_with_overflow: {
2872 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2873 ? BinaryOperator::Add
2874 : BinaryOperator::Sub;
2881 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2883 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2885 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2889 case Intrinsic::uadd_with_overflow:
2890 case Intrinsic::usub_with_overflow: {
2893 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2894 ? BinaryOperator::Add
2895 : BinaryOperator::Sub;
2901 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2902 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2906 case Intrinsic::smul_with_overflow:
2907 case Intrinsic::umul_with_overflow: {
2912 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2914 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2918 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH,
CostKind);
2920 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2921 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2923 Cost += thisT()->getArithmeticInstrCost(
2928 Cost += thisT()->getArithmeticInstrCost(
2929 Instruction::AShr, MulTy,
CostKind,
2933 Cost += thisT()->getCmpSelInstrCost(
2937 case Intrinsic::sadd_sat:
2938 case Intrinsic::ssub_sat: {
2944 ? Intrinsic::sadd_with_overflow
2945 : Intrinsic::ssub_with_overflow;
2952 nullptr, ScalarizationCostPassed);
2953 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2954 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2956 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
2960 case Intrinsic::uadd_sat:
2961 case Intrinsic::usub_sat: {
2966 ? Intrinsic::uadd_with_overflow
2967 : Intrinsic::usub_with_overflow;
2971 nullptr, ScalarizationCostPassed);
2972 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2974 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2978 case Intrinsic::smul_fix:
2979 case Intrinsic::umul_fix: {
2984 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
2988 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH,
CostKind);
2990 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2991 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
2993 Cost += thisT()->getArithmeticInstrCost(
2996 Cost += thisT()->getArithmeticInstrCost(
2999 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3002 case Intrinsic::abs: {
3007 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3009 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3012 Cost += thisT()->getArithmeticInstrCost(
3013 BinaryOperator::Sub, RetTy,
CostKind,
3017 case Intrinsic::fshl:
3018 case Intrinsic::fshr: {
3024 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
3026 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
CostKind);
3028 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy,
CostKind);
3029 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3034 Cost += thisT()->getArithmeticInstrCost(
3036 : BinaryOperator::URem,
3037 RetTy,
CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3038 {TTI::OK_UniformConstantValue, TTI::OP_None});
3040 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3042 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3046 case Intrinsic::fptosi_sat:
3047 case Intrinsic::fptoui_sat: {
3050 Type *FromTy = Tys[0];
3051 bool IsSigned = IID == Intrinsic::fptosi_sat;
3056 Cost += thisT()->getIntrinsicInstrCost(Attrs1,
CostKind);
3059 Cost += thisT()->getIntrinsicInstrCost(Attrs2,
CostKind);
3060 Cost += thisT()->getCastInstrCost(
3061 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3065 Cost += thisT()->getCmpSelInstrCost(
3067 Cost += thisT()->getCmpSelInstrCost(
3072 case Intrinsic::ucmp:
3073 case Intrinsic::scmp: {
3074 Type *CmpTy = Tys[0];
3077 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3080 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3087 Cost += 2 * thisT()->getCmpSelInstrCost(
3088 BinaryOperator::Select, RetTy, CondTy,
3093 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3095 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3100 case Intrinsic::maximumnum:
3101 case Intrinsic::minimumnum: {
3116 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs,
CostKind);
3117 return LT.first + FCanonicalizeCost * 2;
3121 case Intrinsic::clmul: {
3126 thisT()->getArithmeticInstrCost(Instruction::And, RetTy,
CostKind);
3128 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3130 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy,
CostKind);
3132 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy,
CostKind);
3136 if (BW >= 32 && BW <= 64 &&
3139 return 16 * MulCost + 12 * AndCost + 12 * XorCost + 3 * OrCost;
3145 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3147 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3149 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3150 return BW * PerBitCost;
3152 case Intrinsic::smulh:
3153 case Intrinsic::umulh: {
3156 bool IsSigned = IID == Intrinsic::smulh;
3157 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
3160 2 * thisT()->getCastInstrCost(ExtOp, WideTy, RetTy,
3163 thisT()->getArithmeticInstrCost(Instruction::Mul, WideTy,
CostKind);
3164 Cost += thisT()->getArithmeticInstrCost(
3167 Cost += thisT()->getCastInstrCost(Instruction::Trunc, RetTy, WideTy,
3187 if (!SkipScalarizationCost) {
3188 ScalarizationCost = 0;
3189 for (
Type *RetVTy : RetVTys) {
3198 for (
Type *Ty : Tys) {
3199 if (Ty->isVectorTy())
3200 Ty = Ty->getScalarType();
3205 thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3206 for (
Type *Ty : Tys) {
3211 ScalarCalls = std::max(ScalarCalls,
3215 return ScalarCalls * ScalarCost + ScalarizationCost;
3219 return SingleCallCost;
3226 unsigned Id = MICA.
getID();
3232 case Intrinsic::experimental_vp_strided_load:
3233 case Intrinsic::experimental_vp_strided_store: {
3234 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3236 : Instruction::Store;
3240 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3243 case Intrinsic::masked_scatter:
3244 case Intrinsic::masked_gather:
3245 case Intrinsic::vp_scatter:
3246 case Intrinsic::vp_gather: {
3247 unsigned Opcode = (MICA.
getID() == Intrinsic::masked_gather ||
3248 MICA.
getID() == Intrinsic::vp_gather)
3250 : Instruction::Store;
3252 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3255 case Intrinsic::vp_load:
3256 case Intrinsic::vp_store:
3258 case Intrinsic::masked_load:
3259 case Intrinsic::masked_store: {
3261 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3263 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
true,
false,
3266 case Intrinsic::masked_compressstore:
3267 case Intrinsic::masked_expandload: {
3268 unsigned Opcode = MICA.
getID() == Intrinsic::masked_expandload
3270 : Instruction::Store;
3273 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3277 case Intrinsic::vp_load_ff:
3303 if (!LT.first.isValid())
3308 FTp && LT.second.isFixedLengthVector() &&
3313 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3315 return LT.first.getValue();
3352 Type *ScalarTy = Ty->getElementType();
3354 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3364 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3366 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3370 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3373 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3374 unsigned LongVectorCount = 0;
3376 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3377 while (NumVecElts > MVTLen) {
3380 ShuffleCost += thisT()->getShuffleCost(
3382 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy,
CostKind);
3387 NumReduxLevels -= LongVectorCount;
3399 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty,
CostKind);
3400 return ShuffleCost + ArithCost +
3401 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3435 return ExtractCost + ArithCost;
3440 std::optional<FastMathFlags> FMF,
3442 assert(Ty &&
"Unknown reduction vector type");
3458 Type *ScalarTy = Ty->getElementType();
3460 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3463 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3464 unsigned LongVectorCount = 0;
3466 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3467 while (NumVecElts > MVTLen) {
3471 ShuffleCost += thisT()->getShuffleCost(
3480 NumReduxLevels -= LongVectorCount;
3493 return ShuffleCost + MinMaxCost +
3494 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3500 VectorType *Ty, std::optional<FastMathFlags> FMF,
3503 FTy && IsUnsigned && Opcode == Instruction::Add &&
3511 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3513 thisT()->getIntrinsicInstrCost(ICA,
CostKind);
3519 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF,
CostKind);
3521 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3524 return RedCost + ExtCost;
3534 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3535 "The reduction opcode is expected to be Add or Sub.");
3538 RedOpcode, ExtTy, std::nullopt,
CostKind);
3540 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3544 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
3546 return RedCost + MulCost + 2 * ExtCost;
3550 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
3554 std::optional<FastMathFlags> FMF)
const override {
3557 unsigned Ratio = EltSizeAcc / EltSizeInA;
3559 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3564 Type *AccumVectorType =
3580 return ExtendCostA + ReductionOpCost;
3588 return ExtendCostA + ExtendCostB + ReductionOpCost +
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
This file implements the BitVector class.
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
This file contains the declarations for the subclasses of Constant, which represent the different fla...
static cl::opt< OutputCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(OutputCostKind::RecipThroughput), cl::values(clEnumValN(OutputCostKind::RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(OutputCostKind::Latency, "latency", "Instruction latency"), clEnumValN(OutputCostKind::CodeSize, "code-size", "Code size"), clEnumValN(OutputCostKind::SizeAndLatency, "size-latency", "Code size and latency"), clEnumValN(OutputCostKind::All, "all", "Print all cost kinds")))
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
static const Function * getCalledFunction(const Value *V)
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
uint64_t IntrinsicInst * II
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static SymbolRef::Type getType(const Symbol *Sym)
This file describes how to lower LLVM code to machine code.
Class for arbitrary precision integers.
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
void setBit(unsigned BitPosition)
Set the given bit to 1 whose position is given as "bitPosition".
bool sgt(const APInt &RHS) const
Signed greater than comparison.
unsigned getBitWidth() const
Return the number of bits in the APInt.
bool slt(const APInt &RHS) const
Signed less than comparison.
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
an instruction to allocate memory on the stack
Represent a constant reference to an array (0 or more elements consecutively in memory),...
ArrayRef< T > drop_front(size_t N=1) const
Drop the first N elements of the array.
size_t size() const
Get the array size.
ArrayRef< T > drop_back(size_t N=1) const
Drop the last N elements of the array.
A cache of @llvm.assume calls within a function.
LLVM Basic Block Representation.
InstructionCost getFPOpCost(Type *Ty) const override
bool preferToKeepConstantsAttached(const Instruction &Inst, const Function &Fn) const override
InstructionCost getInterleavedMemoryOpCost(unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef< unsigned > Indices, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, bool UseMaskForCond=false, bool UseMaskForGaps=false) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Opd2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
InstructionCost getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
Try to calculate op costs for min/max reduction operations.
bool isIndexedLoadLegal(TTI::MemIndexedMode M, Type *Ty) const override
unsigned getCallerAllocaCost(const CallBase *CB, const AllocaInst *AI) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
TypeSize getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const override
bool shouldBuildLookupTables() const override
bool isNoopAddrSpaceCast(unsigned FromAS, unsigned ToAS) const override
bool isProfitableToHoist(Instruction *I) const override
unsigned getNumberOfParts(Type *Tp) const override
unsigned getMinPrefetchStride(unsigned NumMemAccesses, unsigned NumStridedMemAccesses, unsigned NumPrefetches, bool HasCall) const override
bool useAA() const override
unsigned getPrefetchDistance() const override
TTI::ShuffleKind improveShuffleKindFromMask(TTI::ShuffleKind Kind, ArrayRef< int > Mask, VectorType *SrcTy, int &Index, VectorType *&SubTy) const
InstructionCost getOperandsScalarizationOverhead(ArrayRef< Type * > Tys, TTI::TargetCostKind CostKind, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
Estimate the overhead of scalarizing an instruction's operands.
bool isLegalAddScalableImmediate(int64_t Imm) const override
bool haveFastClmul(IntegerType *Ty) const override
unsigned getAssumedAddrSpace(const Value *V) const override
std::optional< Value * > simplifyDemandedUseBitsIntrinsic(InstCombiner &IC, IntrinsicInst &II, APInt DemandedMask, KnownBits &Known, bool &KnownBitsComputed) const override
bool isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace, Instruction *I=nullptr, int64_t ScalableOffset=0) const override
bool addrspacesMayAlias(unsigned AS0, unsigned AS1) const override
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
bool isIndexedStoreLegal(TTI::MemIndexedMode M, Type *Ty) const override
bool haveFastSqrt(Type *Ty) const override
bool collectFlatAddressOperands(SmallVectorImpl< int > &OpIndexes, Intrinsic::ID IID) const override
unsigned getEstimatedNumberOfCaseClusters(const SwitchInst &SI, unsigned &JumpTableSize, ProfileSummaryInfo *PSI, BlockFrequencyInfo *BFI) const override
unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy, Align Alignment, unsigned AddrSpace) const override
Value * rewriteIntrinsicWithAddressSpace(IntrinsicInst *II, Value *OldV, Value *NewV) const override
unsigned adjustInliningThreshold(const CallBase *CB) const override
unsigned getInliningThresholdMultiplier() const override
InstructionCost getScalarizationOverhead(VectorType *InTy, const APInt &DemandedElts, bool Insert, bool Extract, TTI::TargetCostKind CostKind, bool ForPoisonSrc=true, ArrayRef< Value * > VL={}, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
Estimate the overhead of scalarizing an instruction.
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, Value *Scalar, ArrayRef< std::tuple< Value *, User *, int > > ScalarUserAndIdx, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
int64_t getPreferredLargeGEPBaseOffset(int64_t MinOffset, int64_t MaxOffset)
bool shouldBuildRelLookupTables() const override
bool isTargetIntrinsicWithStructReturnOverloadAtField(Intrinsic::ID ID, int RetIdx) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
InstructionCost getVectorInstrCost(const Instruction &I, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, StackOffset BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace) const override
unsigned getEpilogueVectorizationMinVF() const override
InstructionCost getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy, unsigned Index, TTI::TargetCostKind CostKind) const override
InstructionCost getVectorSplitCost() const
bool isTruncateFree(Type *Ty1, Type *Ty2) const override
unsigned getFlatAddressSpace() const override
InstructionCost getCallInstrCost(Function *F, Type *RetTy, ArrayRef< Type * > Tys, TTI::TargetCostKind CostKind) const override
Compute a cost of the given call instruction.
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
InstructionCost getTreeReductionCost(unsigned Opcode, VectorType *Ty, TTI::TargetCostKind CostKind) const
Try to calculate arithmetic and shuffle op costs for reduction intrinsics.
~BasicTTIImplBase() override=default
std::pair< const Value *, unsigned > getPredicatedAddrSpace(const Value *V) const override
unsigned getMaxPrefetchIterationsAhead() const override
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
InstructionCost getTypeBasedIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const
Get intrinsic cost based on argument types.
bool hasBranchDivergence(const Function *F=nullptr) const override
InstructionCost getOrderedReductionCost(unsigned Opcode, VectorType *Ty, TTI::TargetCostKind CostKind) const
Try to calculate the cost of performing strict (in-order) reductions, which involves doing a sequence...
std::optional< unsigned > getCacheAssociativity(TargetTransformInfo::CacheLevel Level) const override
bool shouldPrefetchAddressSpace(unsigned AS) const override
bool allowsMisalignedMemoryAccesses(LLVMContext &Context, unsigned BitWidth, unsigned AddressSpace, Align Alignment, unsigned *Fast) const override
unsigned getCacheLineSize() const override
std::optional< Instruction * > instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) const override
bool shouldDropLSRSolutionIfLessProfitable() const override
int getInlinerVectorBonusPercent() const override
InstructionCost getMulAccReductionCost(bool IsUnsigned, unsigned RedOpcode, Type *ResTy, VectorType *Ty, TTI::TargetCostKind CostKind) const override
InstructionCost getIndexedVectorInstrCostFromEnd(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index) const override
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
std::pair< InstructionCost, MVT > getTypeLegalizationCost(Type *Ty) const
Estimate the cost of type-legalization and the legalized type.
InstructionCost getPartialReductionCost(unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType, ElementCount VF, TTI::PartialReductionExtendKind OpAExtend, TTI::PartialReductionExtendKind OpBExtend, std::optional< unsigned > BinOp, TTI::TargetCostKind CostKind, std::optional< FastMathFlags > FMF) const override
bool isLegalAddImmediate(int64_t imm) const override
InstructionCost getReplicationShuffleCost(Type *EltTy, int ReplicationFactor, int VF, const APInt &DemandedDstElts, TTI::TargetCostKind CostKind) const override
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
bool isProfitableLSRChainElement(Instruction *I) const override
bool isValidAddrSpaceCast(unsigned FromAS, unsigned ToAS) const override
bool isTargetIntrinsicWithOverloadTypeAtArg(Intrinsic::ID ID, int OpdIdx) const override
bool isTargetIntrinsicWithScalarOpAtArg(Intrinsic::ID ID, unsigned ScalarOpdIdx) const override
std::optional< unsigned > getVScaleForTuning() const override
InstructionCost getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
Get intrinsic cost based on arguments.
bool preferTailFoldingOverEpilogue(TailFoldingInfo *TFI) const override
std::optional< Value * > simplifyDemandedVectorEltsIntrinsic(InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts, APInt &UndefElts2, APInt &UndefElts3, std::function< void(Instruction *, unsigned, APInt, APInt &)> SimplifyAndSetOp) const override
InstructionCost getAddressComputationCost(Type *PtrTy, ScalarEvolution *, const SCEV *, TTI::TargetCostKind) const override
bool isFCmpOrdCheaperThanFCmpZero(Type *Ty) const override
InstructionCost getScalarizationOverhead(VectorType *RetTy, ArrayRef< const Value * > Args, ArrayRef< Type * > Tys, TTI::TargetCostKind CostKind) const
Estimate the overhead of scalarizing the inputs and outputs of an instruction, with return type RetTy...
TailFoldingStyle getPreferredTailFoldingStyle() const override
std::optional< unsigned > getCacheSize(TargetTransformInfo::CacheLevel Level) const override
bool isLegalICmpImmediate(int64_t imm) const override
InstructionCost getGEPCost(Type *PointeeType, const Value *Ptr, ArrayRef< const Value * > Operands, TTI::TargetCostKind CostKind, Type *AccessType) const override
bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE, AssumptionCache &AC, TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const override
unsigned getRegUsageForType(Type *Ty) const override
InstructionCost getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const override
Get memory intrinsic cost based on arguments.
BasicTTIImplBase(const TargetMachine *TM, const DataLayout &DL)
InstructionCost getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, TTI::OperandValueInfo OpInfo={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
bool isTypeLegal(Type *Ty) const override
bool enableWritePrefetching() const override
bool isLSRCostLess(const TTI::LSRCost &C1, const TTI::LSRCost &C2) const override
InstructionCost getScalarizationOverhead(VectorType *InTy, bool Insert, bool Extract, TTI::TargetCostKind CostKind, bool ForPoisonSrc=true, ArrayRef< Value * > VL={}, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const
Helper wrapper for the DemandedElts variant of getScalarizationOverhead.
InstructionCost getBranchMispredictPenalty() const override
bool isNumRegsMajorCostOfLSR() const override
LLVM_ABI BasicTTIImpl(const TargetMachine *TM, const Function &F)
size_type count() const
Returns the number of bits which are set.
BitVector & set()
Set all bits in the bitvector.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ ICMP_SLE
signed less or equal
@ ICMP_UGT
unsigned greater than
@ ICMP_SGT
signed greater than
@ ICMP_ULT
unsigned less than
@ FCMP_UNO
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
static CmpInst::Predicate getGTPredicate(Intrinsic::ID ID)
static CmpInst::Predicate getLTPredicate(Intrinsic::ID ID)
This class represents a range of values.
A parsed version of the target data layout string in and methods for querying it.
constexpr bool isVector() const
One or more elements.
static constexpr ElementCount getFixed(ScalarTy MinVal)
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
Container class for subtarget features.
Class to represent fixed width SIMD vectors.
unsigned getNumElements() const
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
AttributeList getAttributes() const
Return the attribute list for this Function.
The core instruction combiner logic.
static InstructionCost getInvalid(CostType Val=0)
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
unsigned getBitWidth() const
Get the number of bits in this IntegerType.
FastMathFlags getFlags() const
const SmallVectorImpl< Type * > & getArgTypes() const
Type * getReturnType() const
bool skipScalarizationCost() const
const SmallVectorImpl< const Value * > & getArgs() const
InstructionCost getScalarizationCost() const
const IntrinsicInst * getInst() const
Intrinsic::ID getID() const
bool isTypeBasedOnly() const
A wrapper class for inspecting calls to intrinsic functions.
This is an important class for using LLVM in a threaded context.
Represents a single loop in the control flow graph.
const FeatureBitset & getFeatureBits() const
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Information for memory intrinsic cost model.
Align getAlignment() const
Type * getDataType() const
bool getVariableMask() const
Intrinsic::ID getID() const
static LLVM_ABI PointerType * get(LLVMContext &C, unsigned AddressSpace)
This constructs an opaque pointer to an object in a numbered address space.
Analysis providing profile information.
This class represents an analyzed expression in the program.
The main scalar evolution driver.
static LLVM_ABI bool isZeroEltSplatMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask chooses all elements with the same value as the first element of exa...
static LLVM_ABI bool isSpliceMask(ArrayRef< int > Mask, int NumSrcElts, int &Index)
Return true if this shuffle mask is a splice mask, concatenating the two inputs together and then ext...
static LLVM_ABI bool isSelectMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask chooses elements from its source vectors without lane crossings.
static LLVM_ABI bool isExtractSubvectorMask(ArrayRef< int > Mask, int NumSrcElts, int &Index)
Return true if this shuffle mask is an extract subvector mask.
static LLVM_ABI bool isReverseMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask swaps the order of elements from exactly one source vector.
static LLVM_ABI bool isTransposeMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask is a transpose mask.
static LLVM_ABI bool isInsertSubvectorMask(ArrayRef< int > Mask, int NumSrcElts, int &NumSubElts, int &Index)
Return true if this shuffle mask is an insert subvector mask.
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.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackOffset holds a fixed and a scalable offset in bytes.
static StackOffset getScalable(int64_t Scalable)
static StackOffset getFixed(int64_t Fixed)
static LLVM_ABI StructType * create(LLVMContext &Context, StringRef Name)
This creates an identified struct.
Provides information about what library functions are available for the current target.
This base class for TargetLowering contains the SelectionDAG-independent parts that can be used from ...
bool isOperationExpand(unsigned Op, EVT VT) const
Return true if the specified operation is illegal on this target or unlikely to be made legal with cu...
int InstructionOpcodeToISD(unsigned Opcode) const
Get the ISD node that corresponds to the Instruction class opcode.
EVT getValueType(const DataLayout &DL, Type *Ty, bool AllowUnknown=false) const
Return the EVT corresponding to this LLVM type.
LegalizeAction
This enum indicates whether operations are valid for a target, and if not, what action should be used...
virtual bool preferSelectsOverBooleanArithmetic(EVT VT) const
Should we prefer selects to doing arithmetic on boolean types.
virtual bool isZExtFree(Type *FromTy, Type *ToTy) const
Return true if any actual instruction that defines a value of type FromTy implicitly zero-extends the...
@ TypeScalarizeScalableVector
virtual bool isSuitableForJumpTable(const SwitchInst *SI, uint64_t NumCases, uint64_t Range, ProfileSummaryInfo *PSI, BlockFrequencyInfo *BFI) const
Return true if lowering to a jump table is suitable for a set of case clusters which may contain NumC...
virtual bool areJTsAllowed(const Function *Fn) const
Return true if lowering to a jump table is allowed.
bool isOperationLegalOrPromote(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal using promotion.
LegalizeAction getTruncStoreAction(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace) const
Return how this store with truncation should be treated: either it is legal, needs to be promoted to ...
bool isOperationCustom(unsigned Op, EVT VT) const
Return true if the operation uses custom lowering, regardless of whether the type is legal or not.
bool isSuitableForBitTests(const DenseMap< const BasicBlock *, unsigned int > &DestCmps, const APInt &Low, const APInt &High, const DataLayout &DL) const
Return true if lowering to a bit test is suitable for a set of case clusters which contains NumDests ...
virtual bool isTruncateFree(Type *FromTy, Type *ToTy) const
Return true if it's free to truncate a value of type FromTy to type ToTy.
bool isTypeLegal(EVT VT) const
Return true if the target has native support for the specified value type.
virtual bool isFreeAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const
Returns true if a cast from SrcAS to DestAS is "cheap", such that e.g.
bool isOperationLegal(unsigned Op, EVT VT) const
Return true if the specified operation is legal on this target.
bool isOperationLegalOrCustom(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal with custom lower...
LegalizeAction getLoadAction(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return how this load with extension should be treated: either it is legal, needs to be promoted to a ...
LegalizeKind getTypeConversion(LLVMContext &Context, EVT VT) const
Return pair that represents the legalization kind (first) that needs to happen to EVT (second) in ord...
LegalizeTypeAction getTypeAction(LLVMContext &Context, EVT VT) const
Return how we should legalize values of this type, either it is already legal (return 'Legal') or we ...
bool isLoadLegal(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return true if the specified load with extension is legal on this target.
virtual bool isFAbsFree(EVT VT) const
Return true if an fabs operation is free to the point where it is never worthwhile to replace it with...
bool isOperationLegalOrCustomOrPromote(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal with custom lower...
std::pair< LegalizeTypeAction, EVT > LegalizeKind
LegalizeKind holds the legalization kind that needs to happen to EVT in order to type-legalize it.
Primary interface to the complete machine description for the target machine.
bool isPositionIndependent() const
const Triple & getTargetTriple() const
virtual const TargetSubtargetInfo * getSubtargetImpl(const Function &) const
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
CodeModel::Model getCodeModel() const
Returns the code model.
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const FeatureBitset & getInlineMustMatchFeatures() const =0
Target features where all mismatches prevent inlining.
virtual const FeatureBitset & getInlineInverseFeatures() const =0
Target features where the callee may have an additional feature, instead of the caller.
virtual const FeatureBitset & getInlineIgnoreFeatures() const =0
Target features to ignore for inline compatibility check.
Triple - Helper class for working with autoconf configuration names.
ArchType getArch() const
Get the parsed architecture type of this triple.
LLVM_ABI bool isArch64Bit() const
Test whether the architecture is 64-bit.
bool isOSDarwin() const
Is this a "Darwin" OS (macOS, iOS, tvOS, watchOS, DriverKit, XROS, or bridgeOS).
static constexpr TypeSize getFixed(ScalarTy ExactSize)
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
bool isPointerTy() const
True if this is an instance of PointerType.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
LLVM_ABI Type * getWithNewBitWidth(unsigned NewBitWidth) const
Given an integer or vector type, change the lane bitwidth to NewBitwidth, whilst keeping the old numb...
LLVM_ABI Type * getWithNewType(Type *EltTy) const
Given vector type, change the element type, whilst keeping the old number of elements.
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)
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
Type * getContainedType(unsigned i) const
This method is used to implement the type iterator (defined at the end of the file).
bool isVoidTy() const
Return true if this is 'void'.
Value * getOperand(unsigned i) const
static LLVM_ABI std::optional< unsigned > getFunctionalOpcodeForVP(Intrinsic::ID ID)
static LLVM_ABI std::optional< Intrinsic::ID > getFunctionalIntrinsicIDForVP(Intrinsic::ID ID)
static LLVM_ABI bool isVPIntrinsic(Intrinsic::ID)
static LLVM_ABI bool isVPReduction(Intrinsic::ID ID)
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
Base class of all SIMD vector types.
static VectorType * getHalfElementsVectorType(VectorType *VTy)
This static method returns a VectorType with half as many elements as the input type and the same ele...
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
static constexpr bool isKnownLT(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
constexpr LeafTy divideCoefficientBy(ScalarTy RHS) const
We do not provide the '/' operator here because division for polynomial types does not work in the sa...
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
LLVM_ABI APInt ScaleBitMask(const APInt &A, unsigned NewBitWidth, bool MatchAllBits=false)
Splat/Merge neighboring bits to widen/narrow the bitmask represented by.
ISD namespace - This namespace contains an enum which represents all of the SelectionDAG node types a...
@ BSWAP
Byte Swap and Counting operators.
@ SMULFIX
RESULT = [US]MULFIX(LHS, RHS, SCALE) - Perform fixed point multiplication on 2 integers with the same...
@ FMA
FMA - Perform a * b + c with no intermediate rounding step.
@ FMODF
FMODF - Decomposes the operand into integral and fractional parts, each having the same type and sign...
@ FATAN2
FATAN2 - atan2, inspired by libm.
@ FSINCOSPI
FSINCOSPI - Compute both the sine and cosine times pi more accurately than FSINCOS(pi*x),...
@ FADD
Simple binary floating point operators.
@ ABS
ABS - Determine the unsigned absolute value of a signed integer value of the same bitwidth.
@ SDIVREM
SDIVREM/UDIVREM - Divide two integers and produce both a quotient and remainder result.
@ CLMUL
Carry-less multiplication operations.
@ FLDEXP
FLDEXP - ldexp, inspired by libm (op0 * 2**op1).
@ FSINCOS
FSINCOS - Compute both fsin and fcos as a single operation.
@ SSUBO
Same for subtraction.
@ BRIND
BRIND - Indirect branch.
@ BR_JT
BR_JT - Jumptable branch.
@ FCANONICALIZE
Returns platform specific canonical encoding of a floating point number.
@ SSUBSAT
RESULT = [US]SUBSAT(LHS, RHS) - Perform saturation subtraction on 2 integers with the same bit width ...
@ SELECT
Select(COND, TRUEVAL, FALSEVAL).
@ SADDO
RESULT, BOOL = [SU]ADDO(LHS, RHS) - Overflow-aware nodes for addition.
@ MULHU
MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing an unsigned/signed value of...
@ FMINNUM_IEEE
FMINNUM_IEEE/FMAXNUM_IEEE - Perform floating-point minimumNumber or maximumNumber on two values,...
@ FMINNUM
FMINNUM/FMAXNUM - Perform floating-point minimum maximum on two values, following IEEE-754 definition...
@ SMULO
Same for multiplication.
@ SMIN
[US]{MIN/MAX} - Binary minimum or maximum of signed or unsigned integers.
@ MASKED_UDIV
Masked vector arithmetic that returns poison on disabled lanes.
@ VSELECT
Select with a vector condition (op #0) and two vector operands (ops #1 and #2), returning a vector re...
@ FMINIMUM
FMINIMUM/FMAXIMUM - NaN-propagating minimum/maximum that also treat -0.0 as less than 0....
@ SCMP
[US]CMP - 3-way comparison of signed or unsigned integers.
@ FP_TO_SINT_SAT
FP_TO_[US]INT_SAT - Convert floating point value in operand 0 to a signed or unsigned scalar integer ...
@ FCOPYSIGN
FCOPYSIGN(X, Y) - Return the value of X with the sign of Y.
@ SADDSAT
RESULT = [US]ADDSAT(LHS, RHS) - Perform saturation addition on 2 integers with the same bit width (W)...
@ FMINIMUMNUM
FMINIMUMNUM/FMAXIMUMNUM - minimumnum/maximumnum that is same with FMINNUM_IEEE and FMAXNUM_IEEE besid...
MemIndexedMode
MemIndexedMode enum - This enum defines the load / store indexed addressing modes.
LLVM_ABI bool isTargetIntrinsic(ID IID)
isTargetIntrinsic - Returns true if IID is an intrinsic specific to a certain target.
DiagnosticInfoOptimizationBase::Argument NV
friend class Instruction
Iterator for Instructions in a `BasicBlock.
This is an optimization pass for GlobalISel generic memory operations.
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.
detail::zippy< detail::zip_first, T, U, Args... > zip_equal(T &&t, U &&u, Args &&...args)
zip iterator that assumes that all iteratees have the same length.
@ Known
Known to have no common set bits.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
Type * toScalarizedTy(Type *Ty)
A helper for converting vectorized types to scalarized (non-vector) types.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
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 ...
LLVM_ABI unsigned getArithmeticReductionInstruction(Intrinsic::ID RdxID)
Returns the arithmetic instruction opcode used when expanding a reduction.
bool isVectorizedTy(Type *Ty)
Returns true if Ty is a vector type or a struct of vector types where all vector types share the same...
detail::concat_range< ValueT, RangeTs... > concat(RangeTs &&...Ranges)
Returns a concatenated range across two or more ranges.
auto dyn_cast_or_null(const Y &Val)
constexpr bool has_single_bit(T Value) noexcept
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
ElementCount getVectorizedTypeVF(Type *Ty)
Returns the number of vector elements for a vectorized type.
LLVM_ABI ConstantRange getVScaleRange(const Function *F, unsigned BitWidth)
Determine the possible constant range of vscale with the given bit width, based on the vscale_range f...
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
constexpr int PoisonMaskElem
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
@ UMin
Unsigned integer min implemented in terms of select(cmp()).
@ UMax
Unsigned integer max implemented in terms of select(cmp()).
@ Fast
Assign the register banks as fast as possible (default).
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
constexpr unsigned BitWidth
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
LLVM_ABI cl::opt< unsigned > PartialUnrollingThreshold
LLVM_ABI bool isVectorizedStructTy(StructType *StructTy)
Returns true if StructTy is an unpacked literal struct where all elements are vectors of matching ele...
This struct is a compact representation of a valid (non-zero power of two) alignment.
bool isSimple() const
Test if the given EVT is simple (as opposed to being extended).
ElementCount getVectorElementCount() const
static LLVM_ABI EVT getEVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Returns the EVT that represents an integer with the given number of bits.
LLVM_ABI Type * getTypeForEVT(LLVMContext &Context) const
This method returns an LLVM type corresponding to the specified EVT.
Attributes of a target dependent hardware loop.
static LLVM_ABI bool hasVectorMaskArgument(RTLIB::LibcallImpl Impl)
Returns true if the function has a vector mask argument, which is assumed to be the last argument.
This represents an addressing mode of: BaseGV + BaseOffs + BaseReg + Scale*ScaleReg + ScalableOffset*...