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);
454 return getTLI()->getTargetMachine().Options.ThreadModel ==
458 std::pair<const Value *, unsigned>
460 return getTLI()->getTargetMachine().getPredicatedAddrSpace(V);
464 Value *NewV)
const override {
469 return getTLI()->isLegalAddImmediate(imm);
473 return getTLI()->isLegalAddScalableImmediate(
Imm);
477 return getTLI()->isLegalICmpImmediate(imm);
481 bool HasBaseReg, int64_t Scale,
unsigned AddrSpace,
483 int64_t ScalableOffset = 0)
const override {
490 return getTLI()->isLegalAddressingMode(
DL, AM, Ty, AddrSpace,
I);
494 return getTLI()->getPreferredLargeGEPBaseOffset(MinOffset, MaxOffset);
499 unsigned AddrSpace)
const override {
500 auto &&IsSupportedByTarget = [
this, ScalarMemTy, ScalarValTy, Alignment,
501 AddrSpace](
unsigned VF) {
503 EVT VT = getTLI()->getValueType(
DL, SrcTy);
504 if (getTLI()->isOperationLegal(
ISD::STORE, VT) ||
511 getTLI()->getTypeToTransformTo(ScalarMemTy->
getContext(), VT);
512 return getTLI()->isTruncStoreLegal(LegalizedVT, ValVT, Alignment,
515 while (VF > 2 && IsSupportedByTarget(VF))
521 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
522 return getTLI()->isIndexedLoadLegal(getISDIndexedMode(M), VT);
526 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
527 return getTLI()->isIndexedStoreLegal(getISDIndexedMode(M), VT);
550 unsigned AddrSpace)
const override {
563 return getTLI()->isTruncateFree(Ty1, Ty2);
567 return getTLI()->isProfitableToHoist(
I);
570 bool useAA()
const override {
return getST()->useAA(); }
573 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
574 return getTLI()->isTypeLegal(VT);
578 EVT ETy = getTLI()->getValueType(
DL, Ty);
579 return getTLI()->getNumRegisters(Ty->getContext(), ETy);
585 Type *AccessType)
const override {
599 unsigned N =
SI.getNumCases();
607 if (
N < 1 || (!IsJTAllowed &&
DL.getIndexSizeInBits(0u) <
N))
610 APInt MaxCaseVal =
SI.case_begin()->getCaseValue()->getValue();
611 APInt MinCaseVal = MaxCaseVal;
612 for (
auto CI :
SI.cases()) {
613 const APInt &CaseVal = CI.getCaseValue()->getValue();
614 if (CaseVal.
sgt(MaxCaseVal))
615 MaxCaseVal = CaseVal;
616 if (CaseVal.
slt(MinCaseVal))
617 MinCaseVal = CaseVal;
621 if (
N <=
DL.getIndexSizeInBits(0u)) {
623 for (
auto I :
SI.cases()) {
634 if (
N < 2 ||
N < TLI->getMinimumJumpTableEntries())
637 (MaxCaseVal - MinCaseVal)
638 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
641 JumpTableSize =
Range;
693 DL.getIndexType(Ty->getContext(),
DL.getAllocaAddrSpace());
715 const Function &Fn)
const override {
719 case Instruction::SDiv:
720 case Instruction::SRem:
721 case Instruction::UDiv:
722 case Instruction::URem: {
774 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
775 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
792 <<
"advising against unrolling the loop because it "
842 std::optional<Instruction *>
847 std::optional<Value *>
850 bool &KnownBitsComputed)
const override {
859 SimplifyAndSetOp)
const override {
861 IC,
II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
866 return getST()->getMispredictionPenalty();
869 std::optional<unsigned>
871 return std::optional<unsigned>(
875 std::optional<unsigned>
877 std::optional<unsigned> TargetResult =
878 getST()->getCacheAssociativity(
static_cast<unsigned>(Level));
887 return getST()->getCacheLineSize();
891 return getST()->getPrefetchDistance();
895 unsigned NumStridedMemAccesses,
896 unsigned NumPrefetches,
897 bool HasCall)
const override {
898 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
899 NumPrefetches, HasCall);
903 return getST()->getMaxPrefetchIterationsAhead();
907 return getST()->enableWritePrefetching();
911 return getST()->shouldPrefetchAddressSpace(AS);
924 std::optional<unsigned>
getMaxVScale()
const override {
return std::nullopt; }
934 bool Insert,
bool Extract,
946 (VL.empty() || VL.size() == Ty->getNumElements()) &&
947 "Vector size mismatch");
951 for (
int i = 0, e = Ty->getNumElements(); i < e; ++i) {
952 if (!DemandedElts[i])
955 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
957 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
958 CostKind, i,
nullptr, InsertedVal, VIC);
961 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
962 CostKind, i,
nullptr,
nullptr, VIC);
970 unsigned ScalarOpdIdx)
const override {
975 int OpdIdx)
const override {
981 int RetIdx)
const override {
996 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
1008 for (
Type *Ty : Tys) {
1010 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
1011 !Ty->isPtrOrPtrVectorTy())
1035 filterConstantAndDuplicatedOperands(Args, Tys),
CostKind);
1047 auto [It, Inserted] = TypeLegalizationCostCache.try_emplace(Ty);
1049 It->second = computeTypeLegalizationCost(Ty);
1054 std::pair<InstructionCost, MVT> computeTypeLegalizationCost(
Type *Ty)
const {
1080 if (MTy == LK.second)
1090 mutable DenseMap<Type *, std::pair<InstructionCost, MVT>>
1091 TypeLegalizationCostCache;
1095 bool HasUnorderedReductions)
const override {
1104 const Instruction *CxtI =
nullptr)
const override {
1106 const TargetLoweringBase *TLI = getTLI();
1107 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1108 assert(ISD &&
"Invalid opcode");
1123 if (TLI->isOperationLegalOrPromote(ISD,
LT.second)) {
1126 return LT.first * OpCost;
1129 if (!TLI->isOperationExpand(ISD,
LT.second)) {
1132 return LT.first * 2 * OpCost;
1144 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1146 DivOpc, Ty,
CostKind, Opd1Info, Opd2Info);
1148 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty,
CostKind);
1150 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty,
CostKind);
1151 return DivCost + MulCost + SubCost;
1183 int NumDstElts = Mask.size();
1184 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1191 if (isSplatMask(Mask, NumSrcElts, Index))
1194 (Index + NumDstElts) <= NumSrcElts) {
1201 if (
all_of(Mask, [NumSrcElts](
int M) {
return M < NumSrcElts; }))
1206 Mask, NumSrcElts, NumSubElts, Index)) {
1207 if (Index + NumSubElts > NumSrcElts)
1236 const Instruction *CxtI =
nullptr)
const override {
1240 return getBroadcastShuffleOverhead(FVT,
CostKind);
1249 return getPermuteShuffleOverhead(FVT,
CostKind);
1252 return getExtractSubvectorOverhead(SrcTy,
CostKind, Index,
1255 return getInsertSubvectorOverhead(DstTy,
CostKind, Index,
1274 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1275 TypeSize DstSize = DstLT.second.getSizeInBits();
1276 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1277 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1282 case Instruction::Trunc:
1287 case Instruction::BitCast:
1290 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1294 case Instruction::FPExt:
1295 if (
I && getTLI()->isExtFree(
I))
1298 case Instruction::ZExt:
1299 if (TLI->
isZExtFree(SrcLT.second, DstLT.second))
1302 case Instruction::SExt:
1303 if (
I && getTLI()->isExtFree(
I))
1315 if (DstLT.first == SrcLT.first &&
1317 LI->getPointerAddressSpace(), LType,
false))
1320 switch (
II->getIntrinsicID()) {
1321 case Intrinsic::masked_load: {
1322 Type *PtrType =
II->getArgOperand(0)->getType();
1325 if (DstLT.first == SrcLT.first &&
1327 ExtVT, LoadVT,
II->getParamAlign(0).valueOrOne(),
1340 case Instruction::AddrSpaceCast:
1342 Dst->getPointerAddressSpace()))
1351 if (SrcLT.first == DstLT.first &&
1356 if (!SrcVTy && !DstVTy) {
1367 if (DstVTy && SrcVTy) {
1369 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1372 if (Opcode == Instruction::ZExt)
1376 if (Opcode == Instruction::SExt)
1377 return SrcLT.first * 2;
1383 return SrcLT.first * 1;
1396 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1397 DstVTy->getElementCount().isKnownEven()) {
1400 const T *TTI = thisT();
1403 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1405 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1417 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH,
CostKind,
I);
1430 if (Opcode == Instruction::BitCast) {
1447 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1448 CostKind, Index,
nullptr,
nullptr) +
1464 const Instruction *
I =
nullptr)
const override {
1465 const TargetLoweringBase *TLI = getTLI();
1466 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1467 assert(ISD &&
"Invalid opcode");
1469 if (getTLI()->getValueType(
DL, ValTy,
true) == MVT::Other)
1471 Op1Info, Op2Info,
I);
1475 assert(CondTy &&
"CondTy must exist");
1476 if (CondTy->isVectorTy())
1482 !TLI->isOperationExpand(ISD,
LT.second)) {
1485 return LT.first * 1;
1497 Opcode, ValVTy->getScalarType(), CondTy->
getScalarType(), VecPred,
1513 unsigned Index,
const Value *Op0,
const Value *Op1,
1526 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1538 Value *Op0 =
nullptr;
1539 Value *Op1 =
nullptr;
1541 Op0 = IE->getOperand(0);
1542 Op1 = IE->getOperand(1);
1547 return thisT()->getVectorInstrCost(
I.getOpcode(), Val,
CostKind, Index, Op0,
1554 unsigned Index)
const override {
1555 unsigned NewIndex = -1;
1557 assert(Index < FVTy->getNumElements() &&
1558 "Unexpected index from end of vector");
1559 NewIndex = FVTy->getNumElements() - 1 - Index;
1561 return thisT()->getVectorInstrCost(Opcode, Val,
CostKind, NewIndex,
nullptr,
1567 const APInt &DemandedDstElts,
1570 "Unexpected size of DemandedDstElts.");
1588 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1591 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1603 assert(!Src->isVoidTy() &&
"Invalid type");
1605 if (getTLI()->getValueType(
DL, Src,
true) == MVT::Other)
1624 LT.second.getSizeInBits())) {
1630 if (Opcode == Instruction::Store)
1642 Opcode == Instruction::Store,
CostKind);
1652 bool UseMaskForCond =
false,
bool UseMaskForGaps =
false)
const override {
1660 unsigned NumElts = VT->getNumElements();
1661 assert(Factor > 1 && NumElts % Factor == 0 &&
"Invalid interleave factor");
1663 unsigned NumSubElts = NumElts / Factor;
1668 if (UseMaskForCond || UseMaskForGaps) {
1669 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1670 : Intrinsic::masked_store;
1671 Cost = thisT()->getMemIntrinsicInstrCost(
1681 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1698 if (
Cost.isValid() && VecTySize > VecTyLTSize) {
1701 unsigned NumLegalInsts =
divideCeil(VecTySize, VecTyLTSize);
1705 unsigned NumEltsPerLegalInst =
divideCeil(NumElts, NumLegalInsts);
1708 BitVector UsedInsts(NumLegalInsts,
false);
1709 for (
unsigned Index : Indices)
1710 for (
unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1711 UsedInsts.
set((Index + Elt * Factor) / NumEltsPerLegalInst);
1720 "Interleaved memory op has too many members");
1726 for (
unsigned Index : Indices) {
1727 assert(Index < Factor &&
"Invalid index for interleaved memory op");
1728 for (
unsigned Elm = 0; Elm < NumSubElts; Elm++)
1729 DemandedLoadStoreElts.
setBit(Index + Elm * Factor);
1732 if (Opcode == Instruction::Load) {
1742 SubVT, DemandedAllSubElts,
1744 Cost += Indices.
size() * InsSubCost;
1745 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1763 SubVT, DemandedAllSubElts,
1765 Cost += ExtSubCost * Indices.
size();
1766 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1771 if (!UseMaskForCond)
1776 Cost += thisT()->getReplicationShuffleCost(
1777 I8Type, Factor, NumSubElts,
1778 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1786 if (UseMaskForGaps) {
1788 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1814 std::optional<unsigned> FOp =
1817 if (ICA.
getID() == Intrinsic::vp_load) {
1820 Alignment = VPI->getPointerAlignment().valueOrOne();
1824 AS = PtrTy->getAddressSpace();
1825 return thisT()->getMemoryOpCost(*FOp, ICA.
getReturnType(), Alignment,
1828 if (ICA.
getID() == Intrinsic::vp_store) {
1831 Alignment = VPI->getPointerAlignment().valueOrOne();
1835 AS = PtrTy->getAddressSpace();
1836 return thisT()->getMemoryOpCost(*FOp, ICA.
getArgTypes()[0], Alignment,
1839 if (ICA.
getID() == Intrinsic::vp_udiv ||
1840 ICA.
getID() == Intrinsic::vp_sdiv ||
1841 ICA.
getID() == Intrinsic::vp_urem ||
1842 ICA.
getID() == Intrinsic::vp_srem) {
1843 return thisT()->getArithmeticInstrCost(*FOp, ICA.
getReturnType(),
1847 if (ICA.
getID() == Intrinsic::vp_load_ff) {
1852 Alignment = VPI->getPointerAlignment().valueOrOne();
1853 return thisT()->getMemIntrinsicInstrCost(
1857 if (ICA.
getID() == Intrinsic::vp_scatter) {
1867 Alignment = VPI->getPointerAlignment().valueOrOne();
1869 return thisT()->getMemIntrinsicInstrCost(
1872 VarMask, Alignment,
nullptr),
1875 if (ICA.
getID() == Intrinsic::vp_gather) {
1885 Alignment = VPI->getPointerAlignment().valueOrOne();
1887 return thisT()->getMemIntrinsicInstrCost(
1890 VarMask, Alignment,
nullptr),
1894 if (ICA.
getID() == Intrinsic::vp_merge) {
1905 std::optional<Intrinsic::ID> FID =
1909 if (ICA.
getID() == Intrinsic::experimental_vp_reverse)
1910 FID = Intrinsic::vector_reverse;
1916 "Expected VPIntrinsic to have Mask and Vector Length args and "
1928 *FID != Intrinsic::vector_reduce_fadd &&
1929 *FID != Intrinsic::vector_reduce_fmul) {
1937 return thisT()->getIntrinsicInstrCost(NewICA,
CostKind);
1956 case Intrinsic::powi:
1958 bool ShouldOptForSize =
I->getParent()->getParent()->hasOptSize();
1959 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1960 ShouldOptForSize)) {
1964 unsigned ActiveBits =
Exponent.getActiveBits();
1965 unsigned PopCount =
Exponent.popcount();
1967 thisT()->getArithmeticInstrCost(
1968 Instruction::FMul, RetTy,
CostKind);
1969 if (RHSC->isNegative())
1970 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1976 case Intrinsic::cttz:
1978 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1982 case Intrinsic::ctlz:
1984 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1988 case Intrinsic::memcpy:
1989 return thisT()->getMemcpyCost(ICA.
getInst());
1991 case Intrinsic::masked_scatter: {
1992 const Value *Mask = Args[2];
1994 Align Alignment =
I->getParamAlign(1).valueOrOne();
1995 return thisT()->getMemIntrinsicInstrCost(
2001 case Intrinsic::masked_gather: {
2002 const Value *Mask = Args[1];
2004 Align Alignment =
I->getParamAlign(0).valueOrOne();
2005 return thisT()->getMemIntrinsicInstrCost(
2007 VarMask, Alignment,
I),
2010 case Intrinsic::masked_compressstore: {
2012 const Value *Mask = Args[2];
2013 Align Alignment =
I->getParamAlign(1).valueOrOne();
2014 return thisT()->getMemIntrinsicInstrCost(
2019 case Intrinsic::masked_expandload: {
2020 const Value *Mask = Args[1];
2021 Align Alignment =
I->getParamAlign(0).valueOrOne();
2022 return thisT()->getMemIntrinsicInstrCost(
2027 case Intrinsic::experimental_vp_strided_store: {
2029 const Value *Ptr = Args[1];
2030 const Value *Mask = Args[3];
2031 const Value *EVL = Args[4];
2035 I->getParamAlign(1).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2036 return thisT()->getMemIntrinsicInstrCost(
2041 case Intrinsic::experimental_vp_strided_load: {
2042 const Value *Ptr = Args[0];
2043 const Value *Mask = Args[2];
2044 const Value *EVL = Args[3];
2048 I->getParamAlign(0).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2049 return thisT()->getMemIntrinsicInstrCost(
2053 case Intrinsic::stepvector: {
2059 case Intrinsic::vector_extract: {
2065 return thisT()->getShuffleCost(
2070 case Intrinsic::vector_insert: {
2076 return thisT()->getShuffleCost(
2081 case Intrinsic::vector_splice_left:
2082 case Intrinsic::vector_splice_right: {
2086 unsigned Index = COffset->getZExtValue();
2087 return thisT()->getShuffleCost(
2090 IID == Intrinsic::vector_splice_left ? Index : -Index,
2093 case Intrinsic::vector_reduce_add:
2094 case Intrinsic::vector_reduce_mul:
2095 case Intrinsic::vector_reduce_and:
2096 case Intrinsic::vector_reduce_or:
2097 case Intrinsic::vector_reduce_xor:
2098 case Intrinsic::vector_reduce_smax:
2099 case Intrinsic::vector_reduce_smin:
2100 case Intrinsic::vector_reduce_fmax:
2101 case Intrinsic::vector_reduce_fmin:
2102 case Intrinsic::vector_reduce_fmaximum:
2103 case Intrinsic::vector_reduce_fminimum:
2104 case Intrinsic::vector_reduce_fmaximumnum:
2105 case Intrinsic::vector_reduce_fminimumnum:
2106 case Intrinsic::vector_reduce_umax:
2107 case Intrinsic::vector_reduce_umin: {
2111 case Intrinsic::vector_reduce_fadd:
2112 case Intrinsic::vector_reduce_fmul: {
2114 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF,
I, 1);
2117 case Intrinsic::fshl:
2118 case Intrinsic::fshr: {
2119 const Value *
X = Args[0];
2120 const Value *
Y = Args[1];
2121 const Value *Z = Args[2];
2130 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2131 Cost += thisT()->getArithmeticInstrCost(
2132 BinaryOperator::Shl, RetTy,
CostKind, OpInfoX,
2134 Cost += thisT()->getArithmeticInstrCost(
2135 BinaryOperator::LShr, RetTy,
CostKind, OpInfoY,
2139 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2144 Cost += thisT()->getArithmeticInstrCost(
2146 : BinaryOperator::URem,
2148 {TTI::OK_UniformConstantValue, TTI::OP_None});
2152 Cost += thisT()->getCmpSelInstrCost(
2155 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2161 case Intrinsic::experimental_cttz_elts: {
2174 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2176 ZeroIsPoison, &VScaleRange);
2186 thisT()->getIntrinsicInstrCost(StepVecAttrs,
CostKind);
2189 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy,
CostKind);
2190 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2194 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy,
CostKind);
2197 NewEltTy, NewVecTy, FMF,
I, 1);
2198 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs,
CostKind);
2200 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy,
CostKind);
2204 case Intrinsic::get_active_lane_mask:
2205 case Intrinsic::experimental_vector_match:
2206 case Intrinsic::experimental_vector_histogram_add:
2207 case Intrinsic::experimental_vector_histogram_uadd_sat:
2208 case Intrinsic::experimental_vector_histogram_umax:
2209 case Intrinsic::experimental_vector_histogram_umin:
2210 case Intrinsic::masked_udiv:
2211 case Intrinsic::masked_sdiv:
2212 case Intrinsic::masked_urem:
2213 case Intrinsic::masked_srem:
2214 return thisT()->getTypeBasedIntrinsicInstrCost(ICA,
CostKind);
2215 case Intrinsic::modf:
2216 case Intrinsic::sincos:
2217 case Intrinsic::sincospi: {
2218 std::optional<unsigned> CallRetElementIndex;
2221 if (ICA.
getID() == Intrinsic::modf)
2222 CallRetElementIndex = 0;
2224 if (
auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2225 ICA,
CostKind, CallRetElementIndex))
2230 case Intrinsic::loop_dependence_war_mask:
2231 case Intrinsic::loop_dependence_raw_mask: {
2249 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2252 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy,
CostKind);
2253 if (IsReadAfterWrite) {
2255 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs,
CostKind);
2260 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2266 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2268 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2272 {AddrTy, AddrTy}, FMF);
2273 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2283 ScalarizationCost = 0;
2292 filterConstantAndDuplicatedOperands(Args, ICA.
getArgTypes()),
2298 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2319 unsigned VecTyIndex = 0;
2320 if (IID == Intrinsic::vector_reduce_fadd ||
2321 IID == Intrinsic::vector_reduce_fmul)
2323 assert(Tys.
size() > VecTyIndex &&
"Unexpected IntrinsicCostAttributes");
2340 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2341 unsigned ScalarCalls = 1;
2342 Type *ScalarRetTy = RetTy;
2344 if (!SkipScalarizationCost)
2347 ScalarCalls = std::max(ScalarCalls,
2352 for (
Type *Ty : Tys) {
2354 if (!SkipScalarizationCost)
2357 ScalarCalls = std::max(ScalarCalls,
2359 Ty = Ty->getScalarType();
2363 if (ScalarCalls == 1)
2368 thisT()->getIntrinsicInstrCost(ScalarAttrs,
CostKind);
2370 return ScalarCalls * ScalarCost + ScalarizationCost;
2374 case Intrinsic::sqrt:
2377 case Intrinsic::sin:
2380 case Intrinsic::cos:
2383 case Intrinsic::sincos:
2386 case Intrinsic::sincospi:
2389 case Intrinsic::modf:
2392 case Intrinsic::tan:
2395 case Intrinsic::asin:
2398 case Intrinsic::acos:
2401 case Intrinsic::atan:
2404 case Intrinsic::atan2:
2407 case Intrinsic::sinh:
2410 case Intrinsic::cosh:
2413 case Intrinsic::tanh:
2416 case Intrinsic::exp:
2419 case Intrinsic::exp2:
2422 case Intrinsic::exp10:
2425 case Intrinsic::log:
2428 case Intrinsic::log10:
2431 case Intrinsic::log2:
2434 case Intrinsic::ldexp:
2437 case Intrinsic::fabs:
2440 case Intrinsic::canonicalize:
2443 case Intrinsic::minnum:
2446 case Intrinsic::maxnum:
2449 case Intrinsic::minimum:
2452 case Intrinsic::maximum:
2455 case Intrinsic::minimumnum:
2458 case Intrinsic::maximumnum:
2461 case Intrinsic::copysign:
2464 case Intrinsic::floor:
2467 case Intrinsic::ceil:
2470 case Intrinsic::trunc:
2473 case Intrinsic::nearbyint:
2476 case Intrinsic::rint:
2479 case Intrinsic::lrint:
2482 case Intrinsic::llrint:
2485 case Intrinsic::round:
2488 case Intrinsic::roundeven:
2491 case Intrinsic::lround:
2494 case Intrinsic::llround:
2497 case Intrinsic::pow:
2500 case Intrinsic::fma:
2503 case Intrinsic::fmuladd:
2506 case Intrinsic::experimental_constrained_fmuladd:
2510 case Intrinsic::lifetime_start:
2511 case Intrinsic::lifetime_end:
2512 case Intrinsic::sideeffect:
2513 case Intrinsic::pseudoprobe:
2514 case Intrinsic::arithmetic_fence:
2516 case Intrinsic::masked_store: {
2518 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2519 return thisT()->getMemIntrinsicInstrCost(
2522 case Intrinsic::masked_load: {
2524 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2525 return thisT()->getMemIntrinsicInstrCost(
2528 case Intrinsic::experimental_vp_strided_store: {
2530 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2531 return thisT()->getMemIntrinsicInstrCost(
2537 case Intrinsic::experimental_vp_strided_load: {
2539 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2540 return thisT()->getMemIntrinsicInstrCost(
2546 case Intrinsic::vector_reduce_add:
2547 case Intrinsic::vector_reduce_mul:
2548 case Intrinsic::vector_reduce_and:
2549 case Intrinsic::vector_reduce_or:
2550 case Intrinsic::vector_reduce_xor:
2551 return thisT()->getArithmeticReductionCost(
2554 case Intrinsic::vector_reduce_fadd:
2555 case Intrinsic::vector_reduce_fmul:
2556 return thisT()->getArithmeticReductionCost(
2558 case Intrinsic::vector_reduce_smax:
2559 case Intrinsic::vector_reduce_smin:
2560 case Intrinsic::vector_reduce_umax:
2561 case Intrinsic::vector_reduce_umin:
2562 case Intrinsic::vector_reduce_fmax:
2563 case Intrinsic::vector_reduce_fmin:
2564 case Intrinsic::vector_reduce_fmaximum:
2565 case Intrinsic::vector_reduce_fminimum:
2566 case Intrinsic::vector_reduce_fmaximumnum:
2567 case Intrinsic::vector_reduce_fminimumnum:
2570 case Intrinsic::experimental_vector_match: {
2573 unsigned SearchSize = NeedleTy->getNumElements();
2578 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2580 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2584 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2587 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2590 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy,
CostKind);
2593 case Intrinsic::vector_reverse:
2597 case Intrinsic::experimental_vector_histogram_add:
2598 case Intrinsic::experimental_vector_histogram_uadd_sat:
2599 case Intrinsic::experimental_vector_histogram_umax:
2600 case Intrinsic::experimental_vector_histogram_umin: {
2608 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2610 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2612 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2617 case Intrinsic::experimental_vector_histogram_add:
2619 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy,
CostKind);
2621 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2623 Cost += thisT()->getIntrinsicInstrCost(UAddSat,
CostKind);
2626 case Intrinsic::experimental_vector_histogram_umax: {
2631 case Intrinsic::experimental_vector_histogram_umin: {
2637 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2642 case Intrinsic::get_active_lane_mask: {
2644 EVT ResVT = getTLI()->getValueType(
DL, RetTy,
true);
2645 EVT ArgVT = getTLI()->getValueType(
DL, ArgTy,
true);
2649 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2658 thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2659 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2663 case Intrinsic::experimental_memset_pattern:
2668 case Intrinsic::abs:
2671 case Intrinsic::fshl:
2674 case Intrinsic::fshr:
2677 case Intrinsic::smax:
2680 case Intrinsic::smin:
2683 case Intrinsic::umax:
2686 case Intrinsic::umin:
2689 case Intrinsic::sadd_sat:
2692 case Intrinsic::ssub_sat:
2695 case Intrinsic::uadd_sat:
2698 case Intrinsic::usub_sat:
2701 case Intrinsic::smul_fix:
2704 case Intrinsic::umul_fix:
2707 case Intrinsic::sadd_with_overflow:
2710 case Intrinsic::ssub_with_overflow:
2713 case Intrinsic::uadd_with_overflow:
2716 case Intrinsic::usub_with_overflow:
2719 case Intrinsic::smul_with_overflow:
2722 case Intrinsic::umul_with_overflow:
2725 case Intrinsic::fptosi_sat:
2726 case Intrinsic::fptoui_sat: {
2732 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2738 case Intrinsic::ctpop:
2744 case Intrinsic::ctlz:
2747 case Intrinsic::cttz:
2750 case Intrinsic::bswap:
2753 case Intrinsic::bitreverse:
2756 case Intrinsic::ucmp:
2759 case Intrinsic::scmp:
2762 case Intrinsic::clmul:
2765 case Intrinsic::masked_udiv:
2766 case Intrinsic::masked_sdiv:
2767 case Intrinsic::masked_urem:
2768 case Intrinsic::masked_srem: {
2769 unsigned UnmaskedOpc;
2771 case Intrinsic::masked_udiv:
2773 UnmaskedOpc = Instruction::UDiv;
2775 case Intrinsic::masked_sdiv:
2777 UnmaskedOpc = Instruction::SDiv;
2779 case Intrinsic::masked_urem:
2781 UnmaskedOpc = Instruction::URem;
2783 case Intrinsic::masked_srem:
2785 UnmaskedOpc = Instruction::SRem;
2791 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy,
CostKind);
2795 if (!getTLI()->isOperationLegalOrCustom(
ISD, LT)) {
2798 Cost += thisT()->getCmpSelInstrCost(
2808 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2814 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2824 return (LT.first * 2);
2826 return (LT.first * 1);
2830 return (LT.first * 2);
2834 case Intrinsic::fmuladd: {
2838 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2840 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2843 case Intrinsic::experimental_constrained_fmuladd: {
2845 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2847 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2848 return thisT()->getIntrinsicInstrCost(FMulAttrs,
CostKind) +
2849 thisT()->getIntrinsicInstrCost(FAddAttrs,
CostKind);
2851 case Intrinsic::smin:
2852 case Intrinsic::smax:
2853 case Intrinsic::umin:
2854 case Intrinsic::umax: {
2857 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2861 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2863 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2867 case Intrinsic::sadd_with_overflow:
2868 case Intrinsic::ssub_with_overflow: {
2871 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2872 ? BinaryOperator::Add
2873 : BinaryOperator::Sub;
2880 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2882 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2884 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2888 case Intrinsic::uadd_with_overflow:
2889 case Intrinsic::usub_with_overflow: {
2892 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2893 ? BinaryOperator::Add
2894 : BinaryOperator::Sub;
2900 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2901 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2905 case Intrinsic::smul_with_overflow:
2906 case Intrinsic::umul_with_overflow: {
2911 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2913 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2917 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH,
CostKind);
2919 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2920 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2922 Cost += thisT()->getArithmeticInstrCost(
2927 Cost += thisT()->getArithmeticInstrCost(
2928 Instruction::AShr, MulTy,
CostKind,
2932 Cost += thisT()->getCmpSelInstrCost(
2936 case Intrinsic::sadd_sat:
2937 case Intrinsic::ssub_sat: {
2943 ? Intrinsic::sadd_with_overflow
2944 : Intrinsic::ssub_with_overflow;
2951 nullptr, ScalarizationCostPassed);
2952 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2953 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2955 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
2959 case Intrinsic::uadd_sat:
2960 case Intrinsic::usub_sat: {
2965 ? Intrinsic::uadd_with_overflow
2966 : Intrinsic::usub_with_overflow;
2970 nullptr, ScalarizationCostPassed);
2971 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2973 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2977 case Intrinsic::smul_fix:
2978 case Intrinsic::umul_fix: {
2983 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
2987 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH,
CostKind);
2989 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2990 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
2992 Cost += thisT()->getArithmeticInstrCost(
2995 Cost += thisT()->getArithmeticInstrCost(
2998 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3001 case Intrinsic::abs: {
3006 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3008 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3011 Cost += thisT()->getArithmeticInstrCost(
3012 BinaryOperator::Sub, RetTy,
CostKind,
3016 case Intrinsic::fshl:
3017 case Intrinsic::fshr: {
3023 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
3025 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
CostKind);
3027 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy,
CostKind);
3028 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3033 Cost += thisT()->getArithmeticInstrCost(
3035 : BinaryOperator::URem,
3036 RetTy,
CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3037 {TTI::OK_UniformConstantValue, TTI::OP_None});
3039 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3041 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3045 case Intrinsic::fptosi_sat:
3046 case Intrinsic::fptoui_sat: {
3049 Type *FromTy = Tys[0];
3050 bool IsSigned = IID == Intrinsic::fptosi_sat;
3055 Cost += thisT()->getIntrinsicInstrCost(Attrs1,
CostKind);
3058 Cost += thisT()->getIntrinsicInstrCost(Attrs2,
CostKind);
3059 Cost += thisT()->getCastInstrCost(
3060 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3064 Cost += thisT()->getCmpSelInstrCost(
3066 Cost += thisT()->getCmpSelInstrCost(
3071 case Intrinsic::ucmp:
3072 case Intrinsic::scmp: {
3073 Type *CmpTy = Tys[0];
3076 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3079 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3086 Cost += 2 * thisT()->getCmpSelInstrCost(
3087 BinaryOperator::Select, RetTy, CondTy,
3092 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3094 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3099 case Intrinsic::maximumnum:
3100 case Intrinsic::minimumnum: {
3115 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs,
CostKind);
3116 return LT.first + FCanonicalizeCost * 2;
3120 case Intrinsic::clmul: {
3125 thisT()->getArithmeticInstrCost(Instruction::And, RetTy,
CostKind);
3127 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3129 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy,
CostKind);
3131 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy,
CostKind);
3135 if (BW >= 32 && BW <= 64 &&
3138 return 16 * MulCost + 12 * AndCost + 12 * XorCost + 3 * OrCost;
3144 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3146 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3148 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3149 return BW * PerBitCost;
3167 if (!SkipScalarizationCost) {
3168 ScalarizationCost = 0;
3169 for (
Type *RetVTy : RetVTys) {
3178 for (
Type *Ty : Tys) {
3179 if (Ty->isVectorTy())
3180 Ty = Ty->getScalarType();
3185 thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3186 for (
Type *Ty : Tys) {
3191 ScalarCalls = std::max(ScalarCalls,
3195 return ScalarCalls * ScalarCost + ScalarizationCost;
3199 return SingleCallCost;
3206 unsigned Id = MICA.
getID();
3212 case Intrinsic::experimental_vp_strided_load:
3213 case Intrinsic::experimental_vp_strided_store: {
3214 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3216 : Instruction::Store;
3220 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3223 case Intrinsic::masked_scatter:
3224 case Intrinsic::masked_gather:
3225 case Intrinsic::vp_scatter:
3226 case Intrinsic::vp_gather: {
3227 unsigned Opcode = (MICA.
getID() == Intrinsic::masked_gather ||
3228 MICA.
getID() == Intrinsic::vp_gather)
3230 : Instruction::Store;
3232 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3235 case Intrinsic::vp_load:
3236 case Intrinsic::vp_store:
3238 case Intrinsic::masked_load:
3239 case Intrinsic::masked_store: {
3241 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3243 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
true,
false,
3246 case Intrinsic::masked_compressstore:
3247 case Intrinsic::masked_expandload: {
3248 unsigned Opcode = MICA.
getID() == Intrinsic::masked_expandload
3250 : Instruction::Store;
3253 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3257 case Intrinsic::vp_load_ff:
3283 if (!LT.first.isValid())
3288 FTp && LT.second.isFixedLengthVector() &&
3293 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3295 return LT.first.getValue();
3332 Type *ScalarTy = Ty->getElementType();
3334 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3344 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3346 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3350 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3353 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3354 unsigned LongVectorCount = 0;
3356 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3357 while (NumVecElts > MVTLen) {
3360 ShuffleCost += thisT()->getShuffleCost(
3362 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy,
CostKind);
3367 NumReduxLevels -= LongVectorCount;
3379 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty,
CostKind);
3380 return ShuffleCost + ArithCost +
3381 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3415 return ExtractCost + ArithCost;
3420 std::optional<FastMathFlags> FMF,
3422 assert(Ty &&
"Unknown reduction vector type");
3438 Type *ScalarTy = Ty->getElementType();
3440 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3443 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3444 unsigned LongVectorCount = 0;
3446 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3447 while (NumVecElts > MVTLen) {
3451 ShuffleCost += thisT()->getShuffleCost(
3460 NumReduxLevels -= LongVectorCount;
3473 return ShuffleCost + MinMaxCost +
3474 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3480 VectorType *Ty, std::optional<FastMathFlags> FMF,
3483 FTy && IsUnsigned && Opcode == Instruction::Add &&
3491 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3493 thisT()->getIntrinsicInstrCost(ICA,
CostKind);
3499 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF,
CostKind);
3501 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3504 return RedCost + ExtCost;
3514 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3515 "The reduction opcode is expected to be Add or Sub.");
3518 RedOpcode, ExtTy, std::nullopt,
CostKind);
3520 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3524 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
3526 return RedCost + MulCost + 2 * ExtCost;
3530 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
3534 std::optional<FastMathFlags> FMF)
const override {
3537 unsigned Ratio = EltSizeAcc / EltSizeInA;
3539 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3544 Type *AccumVectorType =
3560 return ExtendCostA + ReductionOpCost;
3568 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 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
std::optional< unsigned > getMaxVScale() 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
bool isSingleThreaded() 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 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) 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.
LLVM_ABI bool isArch64Bit() const
Test whether the architecture is 64-bit.
bool isAArch64() const
Tests whether the target is AArch64 (little and big endian).
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.
@ 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*...