16#ifndef LLVM_CODEGEN_BASICTTIIMPL_H
17#define LLVM_CODEGEN_BASICTTIIMPL_H
90 const T *thisT()
const {
return static_cast<const T *
>(
this); }
100 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
104 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
124 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
126 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
139 "Can only extract subvectors from vectors");
142 (Index + NumSubElts) <=
144 "SK_ExtractSubvector index out of range");
150 for (
int i = 0; i != NumSubElts; ++i) {
152 thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
153 CostKind, i + Index,
nullptr,
nullptr);
154 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SubVTy,
167 "Can only insert subvectors into vectors");
170 (Index + NumSubElts) <=
172 "SK_InsertSubvector index out of range");
178 for (
int i = 0; i != NumSubElts; ++i) {
179 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, SubVTy,
182 thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
CostKind,
183 i + Index,
nullptr,
nullptr);
190 return static_cast<const T *
>(
this)->getST();
195 return static_cast<const T *
>(
this)->getTLI();
217 bool IsGatherScatter,
225 unsigned VF = VT->getNumElements();
240 VF * thisT()->getMemoryOpCost(Opcode, VT->getElementType(), Alignment,
246 Opcode == Instruction::Store,
CostKind);
260 VF * (thisT()->getCFInstrCost(Instruction::CondBr,
CostKind) +
261 thisT()->getCFInstrCost(Instruction::PHI,
CostKind));
264 return AddrExtractCost + MemoryOpCost + PackingCost + ConditionalCost;
272 static bool isSplatMask(
ArrayRef<int> Mask,
unsigned NumSrcElts,
int &Index) {
274 bool IsCompared =
false;
278 return P.index() != Mask.size() - 1 || IsCompared;
279 if (
static_cast<unsigned>(
P.value()) >= NumSrcElts * 2)
282 SplatIdx =
P.value();
283 return P.index() != Mask.size() - 1;
286 return SplatIdx ==
P.value();
305 std::optional<InstructionCost> getMultipleResultIntrinsicVectorLibCallCost(
307 std::optional<unsigned> CallRetElementIndex = {})
const {
315 EVT VT = getTLI()->getValueType(
DL, Ty);
317 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
319 switch (ICA.
getID()) {
320 case Intrinsic::modf:
321 LC = RTLIB::getMODF(VT);
323 case Intrinsic::sincospi:
324 LC = RTLIB::getSINCOSPI(VT);
326 case Intrinsic::sincos:
327 LC = RTLIB::getSINCOS(VT);
334 RTLIB::LibcallImpl LibcallImpl =
335 getTLI()->getLibcallLoweringInfo().getVectorLibcallImplOrMasked(LC);
336 if (LibcallImpl == RTLIB::Unsupported)
349 VecTy,
CostKind, {}, 0,
nullptr, {});
355 if (Idx == CallRetElementIndex)
357 Cost += thisT()->getMemoryOpCost(
358 Instruction::Load, VectorTy,
392 unsigned *
Fast)
const override {
394 return getTLI()->allowsMisalignedMemoryAccesses(
399 const Function *Callee)
const override {
411 ~InlineIgnoreFeatures;
414 ~InlineIgnoreFeatures;
416 if ((CallerBits & InlineMustMatchFeatures) !=
417 (CalleeBits & InlineMustMatchFeatures))
422 return (CallerBits & CalleeBits) == CalleeBits;
448 return getTLI()->getTargetMachine().isNoopAddrSpaceCast(
DL, FromAS, ToAS);
452 return getTLI()->getTargetMachine().getAssumedAddrSpace(V);
455 std::pair<const Value *, unsigned>
457 return getTLI()->getTargetMachine().getPredicatedAddrSpace(V);
461 Value *NewV)
const override {
466 return getTLI()->isLegalAddImmediate(imm);
470 return getTLI()->isLegalAddScalableImmediate(
Imm);
474 return getTLI()->isLegalICmpImmediate(imm);
478 bool HasBaseReg, int64_t Scale,
unsigned AddrSpace,
480 int64_t ScalableOffset = 0)
const override {
487 return getTLI()->isLegalAddressingMode(
DL, AM, Ty, AddrSpace,
I);
491 return getTLI()->getPreferredLargeGEPBaseOffset(MinOffset, MaxOffset);
496 unsigned AddrSpace)
const override {
497 auto &&IsSupportedByTarget = [
this, ScalarMemTy, ScalarValTy, Alignment,
498 AddrSpace](
unsigned VF) {
500 EVT VT = getTLI()->getValueType(
DL, SrcTy);
501 if (getTLI()->isOperationLegal(
ISD::STORE, VT) ||
508 getTLI()->getTypeToTransformTo(ScalarMemTy->
getContext(), VT);
509 return getTLI()->isTruncStoreLegal(LegalizedVT, ValVT, Alignment,
512 while (VF > 2 && IsSupportedByTarget(VF))
518 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
519 return getTLI()->isIndexedLoadLegal(getISDIndexedMode(M), VT);
523 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
524 return getTLI()->isIndexedStoreLegal(getISDIndexedMode(M), VT);
547 unsigned AddrSpace)
const override {
560 return getTLI()->isTruncateFree(Ty1, Ty2);
564 return getTLI()->isProfitableToHoist(
I);
567 bool useAA()
const override {
return getST()->useAA(); }
570 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
571 return getTLI()->isTypeLegal(VT);
575 EVT ETy = getTLI()->getValueType(
DL, Ty);
576 return getTLI()->getNumRegisters(Ty->getContext(), ETy);
582 Type *AccessType)
const override {
596 unsigned N =
SI.getNumCases();
604 if (
N < 1 || (!IsJTAllowed &&
DL.getIndexSizeInBits(0u) <
N))
607 APInt MaxCaseVal =
SI.case_begin()->getCaseValue()->getValue();
608 APInt MinCaseVal = MaxCaseVal;
609 for (
auto CI :
SI.cases()) {
610 const APInt &CaseVal = CI.getCaseValue()->getValue();
611 if (CaseVal.
sgt(MaxCaseVal))
612 MaxCaseVal = CaseVal;
613 if (CaseVal.
slt(MinCaseVal))
614 MinCaseVal = CaseVal;
618 if (
N <=
DL.getIndexSizeInBits(0u)) {
620 for (
auto I :
SI.cases()) {
631 if (
N < 2 ||
N < TLI->getMinimumJumpTableEntries())
634 (MaxCaseVal - MinCaseVal)
635 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
638 JumpTableSize =
Range;
696 const Function &Fn)
const override {
700 case Instruction::SDiv:
701 case Instruction::SRem:
702 case Instruction::UDiv:
703 case Instruction::URem: {
755 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
756 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
773 <<
"advising against unrolling the loop because it "
823 std::optional<Instruction *>
828 std::optional<Value *>
831 bool &KnownBitsComputed)
const override {
840 SimplifyAndSetOp)
const override {
842 IC,
II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
847 return getST()->getMispredictionPenalty();
850 std::optional<unsigned>
852 return std::optional<unsigned>(
856 std::optional<unsigned>
858 std::optional<unsigned> TargetResult =
859 getST()->getCacheAssociativity(
static_cast<unsigned>(Level));
868 return getST()->getCacheLineSize();
872 return getST()->getPrefetchDistance();
876 unsigned NumStridedMemAccesses,
877 unsigned NumPrefetches,
878 bool HasCall)
const override {
879 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
880 NumPrefetches, HasCall);
884 return getST()->getMaxPrefetchIterationsAhead();
888 return getST()->enableWritePrefetching();
892 return getST()->shouldPrefetchAddressSpace(AS);
914 bool Insert,
bool Extract,
926 (VL.empty() || VL.size() == Ty->getNumElements()) &&
927 "Vector size mismatch");
931 for (
int i = 0, e = Ty->getNumElements(); i < e; ++i) {
932 if (!DemandedElts[i])
935 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
937 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
938 CostKind, i,
nullptr, InsertedVal, VIC);
941 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
942 CostKind, i,
nullptr,
nullptr, VIC);
950 unsigned ScalarOpdIdx)
const override {
955 int OpdIdx)
const override {
961 int RetIdx)
const override {
976 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
988 for (
Type *Ty : Tys) {
990 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
991 !Ty->isPtrOrPtrVectorTy())
1015 filterConstantAndDuplicatedOperands(Args, Tys),
CostKind);
1027 auto [It, Inserted] = TypeLegalizationCostCache.try_emplace(Ty);
1029 It->second = computeTypeLegalizationCost(Ty);
1034 std::pair<InstructionCost, MVT> computeTypeLegalizationCost(
Type *Ty)
const {
1060 if (MTy == LK.second)
1070 mutable DenseMap<Type *, std::pair<InstructionCost, MVT>>
1071 TypeLegalizationCostCache;
1075 bool HasUnorderedReductions)
const override {
1084 const Instruction *CtxI =
nullptr)
const override {
1086 const TargetLoweringBase *TLI = getTLI();
1087 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1088 assert(ISD &&
"Invalid opcode");
1103 if (TLI->isOperationLegalOrPromote(ISD,
LT.second)) {
1106 return LT.first * OpCost;
1109 if (!TLI->isOperationExpand(ISD,
LT.second)) {
1112 return LT.first * 2 * OpCost;
1124 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1126 DivOpc, Ty,
CostKind, Opd1Info, Opd2Info);
1128 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty,
CostKind);
1130 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty,
CostKind);
1131 return DivCost + MulCost + SubCost;
1163 int NumDstElts = Mask.size();
1164 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1171 if (isSplatMask(Mask, NumSrcElts, Index))
1174 (Index + NumDstElts) <= NumSrcElts) {
1181 if (
all_of(Mask, [NumSrcElts](
int M) {
return M < NumSrcElts; }))
1186 Mask, NumSrcElts, NumSubElts, Index)) {
1187 if (Index + NumSubElts > NumSrcElts)
1222 return getBroadcastShuffleOverhead(FVT,
CostKind);
1231 return getPermuteShuffleOverhead(FVT,
CostKind);
1234 return getExtractSubvectorOverhead(SrcTy,
CostKind, Index,
1237 return getInsertSubvectorOverhead(DstTy,
CostKind, Index,
1256 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1257 TypeSize DstSize = DstLT.second.getSizeInBits();
1258 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1259 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1264 case Instruction::Trunc:
1269 case Instruction::BitCast:
1272 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1276 case Instruction::FPExt:
1277 if (
I && getTLI()->isExtFree(
I))
1280 case Instruction::ZExt:
1281 if (TLI->
isZExtFree(SrcLT.second, DstLT.second))
1284 case Instruction::SExt:
1285 if (
I && getTLI()->isExtFree(
I))
1297 if (DstLT.first == SrcLT.first &&
1299 LI->getPointerAddressSpace(), LType,
false))
1302 switch (
II->getIntrinsicID()) {
1303 case Intrinsic::masked_load: {
1304 Type *PtrType =
II->getArgOperand(0)->getType();
1307 if (DstLT.first == SrcLT.first &&
1309 ExtVT, LoadVT,
II->getParamAlign(0).valueOrOne(),
1322 case Instruction::AddrSpaceCast:
1324 Dst->getPointerAddressSpace()))
1333 if (SrcLT.first == DstLT.first &&
1338 if (!SrcVTy && !DstVTy) {
1349 if (DstVTy && SrcVTy) {
1351 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1354 if (Opcode == Instruction::ZExt)
1358 if (Opcode == Instruction::SExt)
1359 return SrcLT.first * 2;
1365 return SrcLT.first * 1;
1378 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1379 DstVTy->getElementCount().isKnownEven()) {
1382 const T *TTI = thisT();
1385 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1387 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1399 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH,
CostKind,
I);
1412 if (Opcode == Instruction::BitCast) {
1429 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1430 CostKind, Index,
nullptr,
nullptr) +
1446 const Instruction *
I =
nullptr)
const override {
1447 const TargetLoweringBase *TLI = getTLI();
1448 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1449 assert(ISD &&
"Invalid opcode");
1451 if (getTLI()->getValueType(
DL, ValTy,
true) == MVT::Other)
1453 Op1Info, Op2Info,
I);
1457 assert(CondTy &&
"CondTy must exist");
1458 if (CondTy->isVectorTy())
1464 !TLI->isOperationExpand(ISD,
LT.second)) {
1467 return LT.first * 1;
1479 Opcode, ValVTy->getScalarType(), CondTy->
getScalarType(), VecPred,
1495 unsigned Index,
const Value *Op0,
const Value *Op1,
1508 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1520 Value *Op0 =
nullptr;
1521 Value *Op1 =
nullptr;
1523 Op0 = IE->getOperand(0);
1524 Op1 = IE->getOperand(1);
1529 return thisT()->getVectorInstrCost(
I.getOpcode(), Val,
CostKind, Index, Op0,
1536 unsigned Index)
const override {
1537 unsigned NewIndex = -1;
1539 assert(Index < FVTy->getNumElements() &&
1540 "Unexpected index from end of vector");
1541 NewIndex = FVTy->getNumElements() - 1 - Index;
1543 return thisT()->getVectorInstrCost(Opcode, Val,
CostKind, NewIndex,
nullptr,
1549 const APInt &DemandedDstElts,
1552 "Unexpected size of DemandedDstElts.");
1570 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1573 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1585 assert(!Src->isVoidTy() &&
"Invalid type");
1587 if (getTLI()->getValueType(
DL, Src,
true) == MVT::Other)
1606 LT.second.getSizeInBits())) {
1612 if (Opcode == Instruction::Store)
1624 Opcode == Instruction::Store,
CostKind);
1634 bool UseMaskForCond =
false,
bool UseMaskForGaps =
false)
const override {
1642 unsigned NumElts = VT->getNumElements();
1643 assert(Factor > 1 && NumElts % Factor == 0 &&
"Invalid interleave factor");
1645 unsigned NumSubElts = NumElts / Factor;
1650 if (UseMaskForCond || UseMaskForGaps) {
1651 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1652 : Intrinsic::masked_store;
1653 Cost = thisT()->getMemIntrinsicInstrCost(
1663 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1680 if (
Cost.isValid() && VecTySize > VecTyLTSize) {
1683 unsigned NumLegalInsts =
divideCeil(VecTySize, VecTyLTSize);
1687 unsigned NumEltsPerLegalInst =
divideCeil(NumElts, NumLegalInsts);
1690 BitVector UsedInsts(NumLegalInsts,
false);
1691 for (
unsigned Index : Indices)
1692 for (
unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1693 UsedInsts.
set((Index + Elt * Factor) / NumEltsPerLegalInst);
1702 "Interleaved memory op has too many members");
1708 for (
unsigned Index : Indices) {
1709 assert(Index < Factor &&
"Invalid index for interleaved memory op");
1710 for (
unsigned Elm = 0; Elm < NumSubElts; Elm++)
1711 DemandedLoadStoreElts.
setBit(Index + Elm * Factor);
1714 if (Opcode == Instruction::Load) {
1724 SubVT, DemandedAllSubElts,
1726 Cost += Indices.
size() * InsSubCost;
1727 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1745 SubVT, DemandedAllSubElts,
1747 Cost += ExtSubCost * Indices.
size();
1748 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1753 if (!UseMaskForCond)
1758 Cost += thisT()->getReplicationShuffleCost(
1759 I8Type, Factor, NumSubElts,
1760 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1768 if (UseMaskForGaps) {
1770 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1796 std::optional<unsigned> FOp =
1799 if (ICA.
getID() == Intrinsic::vp_load) {
1802 Alignment = VPI->getPointerAlignment().valueOrOne();
1806 AS = PtrTy->getAddressSpace();
1807 return thisT()->getMemoryOpCost(*FOp, ICA.
getReturnType(), Alignment,
1810 if (ICA.
getID() == Intrinsic::vp_store) {
1813 Alignment = VPI->getPointerAlignment().valueOrOne();
1817 AS = PtrTy->getAddressSpace();
1818 return thisT()->getMemoryOpCost(*FOp, ICA.
getArgTypes()[0], Alignment,
1821 if (ICA.
getID() == Intrinsic::vp_udiv ||
1822 ICA.
getID() == Intrinsic::vp_sdiv ||
1823 ICA.
getID() == Intrinsic::vp_urem ||
1824 ICA.
getID() == Intrinsic::vp_srem) {
1825 return thisT()->getArithmeticInstrCost(*FOp, ICA.
getReturnType(),
1829 if (ICA.
getID() == Intrinsic::vp_load_ff) {
1834 Alignment = VPI->getPointerAlignment().valueOrOne();
1835 return thisT()->getMemIntrinsicInstrCost(
1839 if (ICA.
getID() == Intrinsic::vp_scatter) {
1849 Alignment = VPI->getPointerAlignment().valueOrOne();
1851 return thisT()->getMemIntrinsicInstrCost(
1854 VarMask, Alignment,
nullptr),
1857 if (ICA.
getID() == Intrinsic::vp_gather) {
1867 Alignment = VPI->getPointerAlignment().valueOrOne();
1869 return thisT()->getMemIntrinsicInstrCost(
1872 VarMask, Alignment,
nullptr),
1876 if (ICA.
getID() == Intrinsic::vp_merge) {
1887 std::optional<Intrinsic::ID> FID =
1891 if (ICA.
getID() == Intrinsic::experimental_vp_reverse)
1892 FID = Intrinsic::vector_reverse;
1898 "Expected VPIntrinsic to have Mask and Vector Length args and "
1910 *FID != Intrinsic::vector_reduce_fadd &&
1911 *FID != Intrinsic::vector_reduce_fmul) {
1919 return thisT()->getIntrinsicInstrCost(NewICA,
CostKind);
1938 case Intrinsic::powi:
1940 bool ShouldOptForSize =
I->getParent()->getParent()->hasOptSize();
1941 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1942 ShouldOptForSize)) {
1946 unsigned ActiveBits =
Exponent.getActiveBits();
1947 unsigned PopCount =
Exponent.popcount();
1949 thisT()->getArithmeticInstrCost(
1950 Instruction::FMul, RetTy,
CostKind);
1951 if (RHSC->isNegative())
1952 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1958 case Intrinsic::cttz:
1960 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1964 case Intrinsic::ctlz:
1966 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1970 case Intrinsic::memcpy:
1971 return thisT()->getMemcpyCost(ICA.
getInst());
1973 case Intrinsic::masked_scatter: {
1974 const Value *Mask = Args[2];
1976 Align Alignment =
I->getParamAlign(1).valueOrOne();
1977 return thisT()->getMemIntrinsicInstrCost(
1983 case Intrinsic::masked_gather: {
1984 const Value *Mask = Args[1];
1986 Align Alignment =
I->getParamAlign(0).valueOrOne();
1987 return thisT()->getMemIntrinsicInstrCost(
1989 VarMask, Alignment,
I),
1992 case Intrinsic::masked_compressstore: {
1994 const Value *Mask = Args[2];
1995 Align Alignment =
I->getParamAlign(1).valueOrOne();
1996 return thisT()->getMemIntrinsicInstrCost(
2001 case Intrinsic::masked_expandload: {
2002 const Value *Mask = Args[1];
2003 Align Alignment =
I->getParamAlign(0).valueOrOne();
2004 return thisT()->getMemIntrinsicInstrCost(
2009 case Intrinsic::experimental_vp_strided_store: {
2011 const Value *Ptr = Args[1];
2012 const Value *Stride = Args[2];
2013 const Value *Mask = Args[3];
2014 const Value *EVL = Args[4];
2018 I->getParamAlign(1).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2019 return thisT()->getMemIntrinsicInstrCost(
2021 Alignment,
I, Stride),
2024 case Intrinsic::experimental_vp_strided_load: {
2025 const Value *Ptr = Args[0];
2026 const Value *Stride = Args[1];
2027 const Value *Mask = Args[2];
2028 const Value *EVL = Args[3];
2032 I->getParamAlign(0).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2033 return thisT()->getMemIntrinsicInstrCost(
2038 case Intrinsic::stepvector: {
2044 case Intrinsic::vector_extract: {
2050 return thisT()->getShuffleCost(
2055 case Intrinsic::vector_insert: {
2061 return thisT()->getShuffleCost(
2066 case Intrinsic::vector_splice_left:
2067 case Intrinsic::vector_splice_right: {
2071 unsigned Index = COffset->getZExtValue();
2072 return thisT()->getShuffleCost(
2075 IID == Intrinsic::vector_splice_left ? Index : -Index,
2078 case Intrinsic::vector_reduce_add:
2079 case Intrinsic::vector_reduce_mul:
2080 case Intrinsic::vector_reduce_and:
2081 case Intrinsic::vector_reduce_or:
2082 case Intrinsic::vector_reduce_xor:
2083 case Intrinsic::vector_reduce_smax:
2084 case Intrinsic::vector_reduce_smin:
2085 case Intrinsic::vector_reduce_fmax:
2086 case Intrinsic::vector_reduce_fmin:
2087 case Intrinsic::vector_reduce_fmaximum:
2088 case Intrinsic::vector_reduce_fminimum:
2089 case Intrinsic::vector_reduce_fmaximumnum:
2090 case Intrinsic::vector_reduce_fminimumnum:
2091 case Intrinsic::vector_reduce_umax:
2092 case Intrinsic::vector_reduce_umin: {
2096 case Intrinsic::vector_reduce_fadd:
2097 case Intrinsic::vector_reduce_fmul: {
2099 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF,
I, 1);
2102 case Intrinsic::fshl:
2103 case Intrinsic::fshr: {
2104 const Value *
X = Args[0];
2105 const Value *
Y = Args[1];
2106 const Value *Z = Args[2];
2115 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2116 Cost += thisT()->getArithmeticInstrCost(
2117 BinaryOperator::Shl, RetTy,
CostKind, OpInfoX,
2119 Cost += thisT()->getArithmeticInstrCost(
2120 BinaryOperator::LShr, RetTy,
CostKind, OpInfoY,
2124 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2129 Cost += thisT()->getArithmeticInstrCost(
2131 : BinaryOperator::URem,
2133 {TTI::OK_UniformConstantValue, TTI::OP_None});
2137 Cost += thisT()->getCmpSelInstrCost(
2140 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2146 case Intrinsic::experimental_cttz_elts: {
2159 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2161 ZeroIsPoison, &VScaleRange);
2171 thisT()->getIntrinsicInstrCost(StepVecAttrs,
CostKind);
2174 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy,
CostKind);
2175 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2179 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy,
CostKind);
2182 NewEltTy, NewVecTy, FMF,
I, 1);
2183 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs,
CostKind);
2185 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy,
CostKind);
2189 case Intrinsic::get_active_lane_mask:
2190 case Intrinsic::mask_beforefirst:
2191 case Intrinsic::experimental_vector_match:
2192 case Intrinsic::experimental_vector_histogram_add:
2193 case Intrinsic::experimental_vector_histogram_uadd_sat:
2194 case Intrinsic::experimental_vector_histogram_umax:
2195 case Intrinsic::experimental_vector_histogram_umin:
2196 case Intrinsic::masked_udiv:
2197 case Intrinsic::masked_sdiv:
2198 case Intrinsic::masked_urem:
2199 case Intrinsic::masked_srem:
2200 return thisT()->getTypeBasedIntrinsicInstrCost(ICA,
CostKind);
2201 case Intrinsic::modf:
2202 case Intrinsic::sincos:
2203 case Intrinsic::sincospi: {
2204 std::optional<unsigned> CallRetElementIndex;
2207 if (ICA.
getID() == Intrinsic::modf)
2208 CallRetElementIndex = 0;
2210 if (
auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2211 ICA,
CostKind, CallRetElementIndex))
2216 case Intrinsic::loop_dependence_war_mask:
2217 case Intrinsic::loop_dependence_raw_mask: {
2235 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2238 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy,
CostKind);
2239 if (IsReadAfterWrite) {
2241 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs,
CostKind);
2246 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2252 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2254 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2258 {AddrTy, AddrTy}, FMF);
2259 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2269 ScalarizationCost = 0;
2278 filterConstantAndDuplicatedOperands(Args, ICA.
getArgTypes()),
2284 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2305 unsigned VecTyIndex = 0;
2306 if (IID == Intrinsic::vector_reduce_fadd ||
2307 IID == Intrinsic::vector_reduce_fmul)
2309 assert(Tys.
size() > VecTyIndex &&
"Unexpected IntrinsicCostAttributes");
2326 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2327 unsigned ScalarCalls = 1;
2328 Type *ScalarRetTy = RetTy;
2330 if (!SkipScalarizationCost)
2333 ScalarCalls = std::max(ScalarCalls,
2338 for (
Type *Ty : Tys) {
2340 if (!SkipScalarizationCost)
2343 ScalarCalls = std::max(ScalarCalls,
2345 Ty = Ty->getScalarType();
2349 if (ScalarCalls == 1)
2354 thisT()->getIntrinsicInstrCost(ScalarAttrs,
CostKind);
2356 return ScalarCalls * ScalarCost + ScalarizationCost;
2360 case Intrinsic::sqrt:
2363 case Intrinsic::sin:
2366 case Intrinsic::cos:
2369 case Intrinsic::sincos:
2372 case Intrinsic::sincospi:
2375 case Intrinsic::modf:
2378 case Intrinsic::tan:
2381 case Intrinsic::asin:
2384 case Intrinsic::acos:
2387 case Intrinsic::atan:
2390 case Intrinsic::atan2:
2393 case Intrinsic::sinh:
2396 case Intrinsic::cosh:
2399 case Intrinsic::tanh:
2402 case Intrinsic::exp:
2405 case Intrinsic::exp2:
2408 case Intrinsic::exp10:
2411 case Intrinsic::log:
2414 case Intrinsic::log10:
2417 case Intrinsic::log2:
2420 case Intrinsic::ldexp:
2423 case Intrinsic::fabs:
2426 case Intrinsic::canonicalize:
2429 case Intrinsic::minnum:
2432 case Intrinsic::maxnum:
2435 case Intrinsic::minimum:
2438 case Intrinsic::maximum:
2441 case Intrinsic::minimumnum:
2444 case Intrinsic::maximumnum:
2447 case Intrinsic::copysign:
2450 case Intrinsic::floor:
2453 case Intrinsic::ceil:
2456 case Intrinsic::trunc:
2459 case Intrinsic::nearbyint:
2462 case Intrinsic::rint:
2465 case Intrinsic::lrint:
2468 case Intrinsic::llrint:
2471 case Intrinsic::round:
2474 case Intrinsic::roundeven:
2477 case Intrinsic::lround:
2480 case Intrinsic::llround:
2483 case Intrinsic::pow:
2486 case Intrinsic::fma:
2489 case Intrinsic::fmuladd:
2492 case Intrinsic::experimental_constrained_fmuladd:
2496 case Intrinsic::lifetime_start:
2497 case Intrinsic::lifetime_end:
2498 case Intrinsic::sideeffect:
2499 case Intrinsic::pseudoprobe:
2500 case Intrinsic::arithmetic_fence:
2502 case Intrinsic::masked_store: {
2504 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2505 return thisT()->getMemIntrinsicInstrCost(
2508 case Intrinsic::masked_load: {
2510 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2511 return thisT()->getMemIntrinsicInstrCost(
2514 case Intrinsic::speculative_load: {
2516 Align Alignment =
I ?
I->getParamAlign(0).valueOrOne() :
Align(1);
2517 unsigned AS = Tys[0]->getPointerAddressSpace();
2518 return thisT()->getMemIntrinsicInstrCost(
2521 case Intrinsic::experimental_vp_strided_store: {
2523 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2524 return thisT()->getMemIntrinsicInstrCost(
2530 case Intrinsic::experimental_vp_strided_load: {
2532 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2533 return thisT()->getMemIntrinsicInstrCost(
2539 case Intrinsic::vector_reduce_add:
2540 case Intrinsic::vector_reduce_mul:
2541 case Intrinsic::vector_reduce_and:
2542 case Intrinsic::vector_reduce_or:
2543 case Intrinsic::vector_reduce_xor:
2544 return thisT()->getArithmeticReductionCost(
2547 case Intrinsic::vector_reduce_fadd:
2548 case Intrinsic::vector_reduce_fmul:
2549 return thisT()->getArithmeticReductionCost(
2551 case Intrinsic::vector_reduce_smax:
2552 case Intrinsic::vector_reduce_smin:
2553 case Intrinsic::vector_reduce_umax:
2554 case Intrinsic::vector_reduce_umin:
2555 case Intrinsic::vector_reduce_fmax:
2556 case Intrinsic::vector_reduce_fmin:
2557 case Intrinsic::vector_reduce_fmaximum:
2558 case Intrinsic::vector_reduce_fminimum:
2559 case Intrinsic::vector_reduce_fmaximumnum:
2560 case Intrinsic::vector_reduce_fminimumnum:
2563 case Intrinsic::vector_partial_reduce_add:
2564 case Intrinsic::vector_partial_reduce_fadd: {
2572 unsigned Opcode = 0;
2577 case Intrinsic::vector_partial_reduce_add:
2578 Opcode = Instruction::Add;
2580 case Intrinsic::vector_partial_reduce_fadd:
2581 Opcode = Instruction::FAdd;
2592 thisT()->getArithmeticInstrCost(Opcode, AccTy,
CostKind);
2594 case Intrinsic::experimental_vector_match: {
2597 unsigned SearchSize = NeedleTy->getNumElements();
2602 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2604 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2608 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2611 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2614 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy,
CostKind);
2617 case Intrinsic::vector_reverse:
2621 case Intrinsic::experimental_vector_histogram_add:
2622 case Intrinsic::experimental_vector_histogram_uadd_sat:
2623 case Intrinsic::experimental_vector_histogram_umax:
2624 case Intrinsic::experimental_vector_histogram_umin: {
2632 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2634 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2636 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2641 case Intrinsic::experimental_vector_histogram_add:
2643 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy,
CostKind);
2645 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2650 case Intrinsic::experimental_vector_histogram_umax: {
2655 case Intrinsic::experimental_vector_histogram_umin: {
2661 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2666 case Intrinsic::get_active_lane_mask: {
2668 EVT ResVT = getTLI()->getValueType(
DL, RetTy,
true);
2669 EVT ArgVT = getTLI()->getValueType(
DL, ArgTy,
true);
2673 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2682 thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2683 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2687 case Intrinsic::mask_beforefirst: {
2690 if (!getTLI()->isOperationExpand(
ISD, LT.second))
2694 if (!LT.second.isVector())
2696 thisT()->getArithmeticInstrCost(
2701 LT.second.getVectorElementCount());
2704 getTLI()->getVectorIdxTy(
DL).getFixedSizeInBits());
2708 thisT()->getIntrinsicInstrCost(CttzEltsAttrs,
CostKind);
2711 Intrinsic::get_active_lane_mask, RetTy, {IdxTy, IdxTy}, FMF);
2712 Cost += thisT()->getIntrinsicInstrCost(ActiveLaneMaskAttrs,
CostKind);
2713 return Cost * LT.first;
2715 case Intrinsic::experimental_memset_pattern:
2720 case Intrinsic::abs:
2723 case Intrinsic::fshl:
2726 case Intrinsic::fshr:
2729 case Intrinsic::smax:
2732 case Intrinsic::smin:
2735 case Intrinsic::umax:
2738 case Intrinsic::umin:
2741 case Intrinsic::sadd_sat:
2744 case Intrinsic::ssub_sat:
2747 case Intrinsic::uadd_sat:
2750 case Intrinsic::usub_sat:
2753 case Intrinsic::smul_fix:
2756 case Intrinsic::umul_fix:
2759 case Intrinsic::sadd_with_overflow:
2762 case Intrinsic::ssub_with_overflow:
2765 case Intrinsic::uadd_with_overflow:
2768 case Intrinsic::usub_with_overflow:
2771 case Intrinsic::smul_with_overflow:
2774 case Intrinsic::umul_with_overflow:
2777 case Intrinsic::fptosi_sat:
2778 case Intrinsic::fptoui_sat: {
2784 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2790 case Intrinsic::ctpop:
2796 case Intrinsic::ctlz:
2799 case Intrinsic::cttz:
2802 case Intrinsic::bswap:
2805 case Intrinsic::bitreverse:
2808 case Intrinsic::ucmp:
2811 case Intrinsic::scmp:
2814 case Intrinsic::clmul:
2817 case Intrinsic::smulh:
2820 case Intrinsic::umulh:
2823 case Intrinsic::masked_udiv:
2824 case Intrinsic::masked_sdiv:
2825 case Intrinsic::masked_urem:
2826 case Intrinsic::masked_srem: {
2827 unsigned UnmaskedOpc;
2829 case Intrinsic::masked_udiv:
2831 UnmaskedOpc = Instruction::UDiv;
2833 case Intrinsic::masked_sdiv:
2835 UnmaskedOpc = Instruction::SDiv;
2837 case Intrinsic::masked_urem:
2839 UnmaskedOpc = Instruction::URem;
2841 case Intrinsic::masked_srem:
2843 UnmaskedOpc = Instruction::SRem;
2849 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy,
CostKind);
2853 if (!getTLI()->isOperationLegalOrCustom(
ISD, LT)) {
2856 Cost += thisT()->getCmpSelInstrCost(
2866 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2872 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2882 return (LT.first * 2);
2884 return (LT.first * 1);
2888 return (LT.first * 2);
2892 case Intrinsic::fmuladd: {
2896 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2898 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2901 case Intrinsic::experimental_constrained_fmuladd: {
2903 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2905 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2906 return thisT()->getIntrinsicInstrCost(FMulAttrs,
CostKind) +
2907 thisT()->getIntrinsicInstrCost(FAddAttrs,
CostKind);
2909 case Intrinsic::smin:
2910 case Intrinsic::smax:
2911 case Intrinsic::umin:
2912 case Intrinsic::umax: {
2915 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2919 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2921 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2925 case Intrinsic::sadd_with_overflow:
2926 case Intrinsic::ssub_with_overflow: {
2929 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2930 ? BinaryOperator::Add
2931 : BinaryOperator::Sub;
2938 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2940 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2942 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2946 case Intrinsic::uadd_with_overflow:
2947 case Intrinsic::usub_with_overflow: {
2950 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2951 ? BinaryOperator::Add
2952 : BinaryOperator::Sub;
2958 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2959 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2963 case Intrinsic::smul_with_overflow:
2964 case Intrinsic::umul_with_overflow: {
2969 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2971 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2975 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH,
CostKind);
2977 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2978 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2980 Cost += thisT()->getArithmeticInstrCost(
2985 Cost += thisT()->getArithmeticInstrCost(
2986 Instruction::AShr, MulTy,
CostKind,
2990 Cost += thisT()->getCmpSelInstrCost(
2994 case Intrinsic::sadd_sat:
2995 case Intrinsic::ssub_sat: {
3001 ? Intrinsic::sadd_with_overflow
3002 : Intrinsic::ssub_with_overflow;
3009 nullptr, ScalarizationCostPassed);
3010 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3011 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3013 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
3017 case Intrinsic::uadd_sat:
3018 case Intrinsic::usub_sat: {
3023 ? Intrinsic::uadd_with_overflow
3024 : Intrinsic::usub_with_overflow;
3028 nullptr, ScalarizationCostPassed);
3029 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3031 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3035 case Intrinsic::smul_fix:
3036 case Intrinsic::umul_fix: {
3041 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
3045 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH,
CostKind);
3047 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
3048 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
3050 Cost += thisT()->getArithmeticInstrCost(
3053 Cost += thisT()->getArithmeticInstrCost(
3056 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3059 case Intrinsic::abs: {
3064 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3066 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3069 Cost += thisT()->getArithmeticInstrCost(
3070 BinaryOperator::Sub, RetTy,
CostKind,
3074 case Intrinsic::fshl:
3075 case Intrinsic::fshr: {
3081 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
3083 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
CostKind);
3085 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy,
CostKind);
3086 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3091 Cost += thisT()->getArithmeticInstrCost(
3093 : BinaryOperator::URem,
3094 RetTy,
CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3095 {TTI::OK_UniformConstantValue, TTI::OP_None});
3097 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3099 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3103 case Intrinsic::fptosi_sat:
3104 case Intrinsic::fptoui_sat: {
3107 Type *FromTy = Tys[0];
3108 bool IsSigned = IID == Intrinsic::fptosi_sat;
3113 Cost += thisT()->getIntrinsicInstrCost(Attrs1,
CostKind);
3116 Cost += thisT()->getIntrinsicInstrCost(Attrs2,
CostKind);
3117 Cost += thisT()->getCastInstrCost(
3118 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3122 Cost += thisT()->getCmpSelInstrCost(
3124 Cost += thisT()->getCmpSelInstrCost(
3129 case Intrinsic::ucmp:
3130 case Intrinsic::scmp: {
3131 Type *CmpTy = Tys[0];
3134 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3137 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3144 Cost += 2 * thisT()->getCmpSelInstrCost(
3145 BinaryOperator::Select, RetTy, CondTy,
3150 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3152 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3157 case Intrinsic::maximumnum:
3158 case Intrinsic::minimumnum: {
3173 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs,
CostKind);
3174 return LT.first + FCanonicalizeCost * 2;
3178 case Intrinsic::clmul: {
3183 thisT()->getArithmeticInstrCost(Instruction::And, RetTy,
CostKind);
3185 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3187 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy,
CostKind);
3189 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy,
CostKind);
3201 while (S < 32 &&
divideCeil(BW, S) > (1u << S))
3205 unsigned NaiveCost = 3 * BW;
3206 unsigned HolesCost = S * S + 3 * S + S * (S - 1) + (S - 1);
3208 if (HolesCost < NaiveCost &&
3211 return S * S * MulCost + 3 * S * AndCost + S * (S - 1) * XorCost +
3218 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3220 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3222 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3223 return BW * PerBitCost;
3225 case Intrinsic::smulh:
3226 case Intrinsic::umulh: {
3229 bool IsSigned = IID == Intrinsic::smulh;
3230 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
3233 2 * thisT()->getCastInstrCost(ExtOp, WideTy, RetTy,
3236 thisT()->getArithmeticInstrCost(Instruction::Mul, WideTy,
CostKind);
3237 Cost += thisT()->getArithmeticInstrCost(
3240 Cost += thisT()->getCastInstrCost(Instruction::Trunc, RetTy, WideTy,
3260 if (!SkipScalarizationCost) {
3261 ScalarizationCost = 0;
3262 for (
Type *RetVTy : RetVTys) {
3271 for (
Type *Ty : Tys) {
3272 if (Ty->isVectorTy())
3273 Ty = Ty->getScalarType();
3278 thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3279 for (
Type *Ty : Tys) {
3284 ScalarCalls = std::max(ScalarCalls,
3288 return ScalarCalls * ScalarCost + ScalarizationCost;
3292 return SingleCallCost;
3299 unsigned Id = MICA.
getID();
3305 case Intrinsic::experimental_vp_strided_load:
3306 case Intrinsic::experimental_vp_strided_store: {
3307 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3309 : Instruction::Store;
3313 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3316 case Intrinsic::masked_scatter:
3317 case Intrinsic::masked_gather:
3318 case Intrinsic::vp_scatter:
3319 case Intrinsic::vp_gather: {
3320 unsigned Opcode = (MICA.
getID() == Intrinsic::masked_gather ||
3321 MICA.
getID() == Intrinsic::vp_gather)
3323 : Instruction::Store;
3325 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3328 case Intrinsic::vp_load:
3329 case Intrinsic::vp_store:
3331 case Intrinsic::masked_load:
3332 case Intrinsic::masked_store: {
3334 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3336 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
true,
false,
3339 case Intrinsic::masked_compressstore:
3340 case Intrinsic::masked_expandload: {
3341 unsigned Opcode = MICA.
getID() == Intrinsic::masked_expandload
3343 : Instruction::Store;
3346 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3350 case Intrinsic::vp_load_ff:
3352 case Intrinsic::speculative_load:
3354 return thisT()->getMemoryOpCost(Instruction::Load, DataTy, Alignment,
3380 if (!LT.first.isValid())
3385 FTp && LT.second.isFixedLengthVector() &&
3390 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3392 return LT.first.getValue();
3429 Type *ScalarTy = Ty->getElementType();
3431 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3441 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3443 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3447 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3450 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3451 unsigned LongVectorCount = 0;
3453 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3454 while (NumVecElts > MVTLen) {
3457 ShuffleCost += thisT()->getShuffleCost(
3459 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy,
CostKind);
3464 NumReduxLevels -= LongVectorCount;
3476 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty,
CostKind);
3477 return ShuffleCost + ArithCost +
3478 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3512 return ExtractCost + ArithCost;
3517 std::optional<FastMathFlags> FMF,
3519 assert(Ty &&
"Unknown reduction vector type");
3535 Type *ScalarTy = Ty->getElementType();
3537 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3540 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3541 unsigned LongVectorCount = 0;
3543 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3544 while (NumVecElts > MVTLen) {
3548 ShuffleCost += thisT()->getShuffleCost(
3557 NumReduxLevels -= LongVectorCount;
3570 return ShuffleCost + MinMaxCost +
3571 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3577 VectorType *Ty, std::optional<FastMathFlags> FMF,
3580 FTy && IsUnsigned && Opcode == Instruction::Add &&
3588 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3590 thisT()->getIntrinsicInstrCost(ICA,
CostKind);
3596 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF,
CostKind);
3598 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3601 return RedCost + ExtCost;
3611 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3612 "The reduction opcode is expected to be Add or Sub.");
3615 RedOpcode, ExtTy, std::nullopt,
CostKind);
3617 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3621 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
3623 return RedCost + MulCost + 2 * ExtCost;
3627 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
3631 std::optional<FastMathFlags> FMF)
const override {
3634 unsigned Ratio = EltSizeAcc / EltSizeInA;
3636 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3641 Type *AccumVectorType =
3657 return ExtendCostA + ReductionOpCost;
3665 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 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 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
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 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 *CtxI=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 getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) 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.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an 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
unsigned getAddressSpace() 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 isFreeAddrSpaceCast(const DataLayout &DL, unsigned SrcAS, unsigned DestAS) const
Returns true if a cast from SrcAS to DestAS is "cheap", such that e.g.
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.
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)
LLVM_ABI bool isScalableTy() const
Return true if this is a type whose size is a known multiple of vscale.
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...
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 ScalarTy getKnownScalarFactor(const FixedOrScalableQuantity &RHS) const
Returns a value X where RHS*X will result in a value whose quantity matches our own.
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...
@ MASK_BEFOREFIRST
Has one mask vector operand.
@ 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 - Same as FMINNUM/FMAXNUM, except that a signaling NaN operand deterministi...
@ FMINNUM
FMINNUM/FMAXNUM - Same semantics as the llvm.minnum/maxnum intrinsics.
@ 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 - Same semantics as the llvm.minimum/maximum intrinsics.
@ 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 - Same semantics as the llvm.minimumnum/maximumnum intrinsics.
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)
LLVM_ABI std::optional< unsigned > getPartialUnrollingThreshold()
Returns -partial-unrolling-threshold if specified.
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 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 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*...