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:
322 case Intrinsic::sincospi:
325 case Intrinsic::sincos:
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);
598 unsigned N =
SI.getNumCases();
606 if (
N < 1 || (!IsJTAllowed &&
DL.getIndexSizeInBits(0u) <
N))
609 APInt MaxCaseVal =
SI.case_begin()->getCaseValue()->getValue();
610 APInt MinCaseVal = MaxCaseVal;
611 for (
auto CI :
SI.cases()) {
612 const APInt &CaseVal = CI.getCaseValue()->getValue();
613 if (CaseVal.
sgt(MaxCaseVal))
614 MaxCaseVal = CaseVal;
615 if (CaseVal.
slt(MinCaseVal))
616 MinCaseVal = CaseVal;
620 if (
N <=
DL.getIndexSizeInBits(0u)) {
622 for (
auto I :
SI.cases()) {
633 if (
N < 2 ||
N < TLI->getMinimumJumpTableEntries())
636 (MaxCaseVal - MinCaseVal)
637 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
640 JumpTableSize =
Range;
691 DL.getIndexType(Ty->getContext(),
DL.getAllocaAddrSpace());
713 const Function &Fn)
const override {
717 case Instruction::SDiv:
718 case Instruction::SRem:
719 case Instruction::UDiv:
720 case Instruction::URem: {
772 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
773 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
790 <<
"advising against unrolling the loop because it "
840 std::optional<Instruction *>
845 std::optional<Value *>
848 bool &KnownBitsComputed)
const override {
857 SimplifyAndSetOp)
const override {
859 IC,
II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
864 return getST()->getMispredictionPenalty();
867 std::optional<unsigned>
869 return std::optional<unsigned>(
873 std::optional<unsigned>
875 std::optional<unsigned> TargetResult =
876 getST()->getCacheAssociativity(
static_cast<unsigned>(Level));
885 return getST()->getCacheLineSize();
889 return getST()->getPrefetchDistance();
893 unsigned NumStridedMemAccesses,
894 unsigned NumPrefetches,
895 bool HasCall)
const override {
896 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
897 NumPrefetches, HasCall);
901 return getST()->getMaxPrefetchIterationsAhead();
905 return getST()->enableWritePrefetching();
909 return getST()->shouldPrefetchAddressSpace(AS);
922 std::optional<unsigned>
getMaxVScale()
const override {
return std::nullopt; }
932 bool Insert,
bool Extract,
944 (VL.empty() || VL.size() == Ty->getNumElements()) &&
945 "Vector size mismatch");
949 for (
int i = 0, e = Ty->getNumElements(); i < e; ++i) {
950 if (!DemandedElts[i])
953 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
955 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
956 CostKind, i,
nullptr, InsertedVal, VIC);
959 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
960 CostKind, i,
nullptr,
nullptr, VIC);
968 unsigned ScalarOpdIdx)
const override {
973 int OpdIdx)
const override {
979 int RetIdx)
const override {
994 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
1006 for (
Type *Ty : Tys) {
1008 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
1009 !Ty->isPtrOrPtrVectorTy())
1033 filterConstantAndDuplicatedOperands(Args, Tys),
CostKind);
1046 EVT MTy = getTLI()->getValueType(
DL, Ty);
1070 if (MTy == LK.second)
1079 bool HasUnorderedReductions)
const override {
1088 const Instruction *CxtI =
nullptr)
const override {
1090 const TargetLoweringBase *TLI = getTLI();
1091 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1092 assert(ISD &&
"Invalid opcode");
1107 if (TLI->isOperationLegalOrPromote(ISD,
LT.second)) {
1110 return LT.first * OpCost;
1113 if (!TLI->isOperationExpand(ISD,
LT.second)) {
1116 return LT.first * 2 * OpCost;
1128 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1130 DivOpc, Ty,
CostKind, Opd1Info, Opd2Info);
1132 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty,
CostKind);
1134 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty,
CostKind);
1135 return DivCost + MulCost + SubCost;
1167 int NumDstElts = Mask.size();
1168 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1175 if (isSplatMask(Mask, NumSrcElts, Index))
1178 (Index + NumDstElts) <= NumSrcElts) {
1185 if (
all_of(Mask, [NumSrcElts](
int M) {
return M < NumSrcElts; }))
1190 Mask, NumSrcElts, NumSubElts, Index)) {
1191 if (Index + NumSubElts > NumSrcElts)
1220 const Instruction *CxtI =
nullptr)
const override {
1224 return getBroadcastShuffleOverhead(FVT,
CostKind);
1233 return getPermuteShuffleOverhead(FVT,
CostKind);
1236 return getExtractSubvectorOverhead(SrcTy,
CostKind, Index,
1239 return getInsertSubvectorOverhead(DstTy,
CostKind, Index,
1258 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1259 TypeSize DstSize = DstLT.second.getSizeInBits();
1260 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1261 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1266 case Instruction::Trunc:
1271 case Instruction::BitCast:
1274 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1278 case Instruction::FPExt:
1279 if (
I && getTLI()->isExtFree(
I))
1282 case Instruction::ZExt:
1283 if (TLI->
isZExtFree(SrcLT.second, DstLT.second))
1286 case Instruction::SExt:
1287 if (
I && getTLI()->isExtFree(
I))
1299 if (DstLT.first == SrcLT.first &&
1301 LI->getPointerAddressSpace(), LType,
false))
1304 switch (
II->getIntrinsicID()) {
1305 case Intrinsic::masked_load: {
1306 Type *PtrType =
II->getArgOperand(0)->getType();
1309 if (DstLT.first == SrcLT.first &&
1311 ExtVT, LoadVT,
II->getParamAlign(0).valueOrOne(),
1324 case Instruction::AddrSpaceCast:
1326 Dst->getPointerAddressSpace()))
1335 if (SrcLT.first == DstLT.first &&
1340 if (!SrcVTy && !DstVTy) {
1351 if (DstVTy && SrcVTy) {
1353 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1356 if (Opcode == Instruction::ZExt)
1360 if (Opcode == Instruction::SExt)
1361 return SrcLT.first * 2;
1367 return SrcLT.first * 1;
1380 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1381 DstVTy->getElementCount().isKnownEven()) {
1384 const T *TTI = thisT();
1387 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1389 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1401 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH,
CostKind,
I);
1414 if (Opcode == Instruction::BitCast) {
1431 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1432 CostKind, Index,
nullptr,
nullptr) +
1448 const Instruction *
I =
nullptr)
const override {
1449 const TargetLoweringBase *TLI = getTLI();
1450 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1451 assert(ISD &&
"Invalid opcode");
1455 Op1Info, Op2Info,
I);
1459 assert(CondTy &&
"CondTy must exist");
1460 if (CondTy->isVectorTy())
1466 !TLI->isOperationExpand(ISD,
LT.second)) {
1469 return LT.first * 1;
1481 Opcode, ValVTy->getScalarType(), CondTy->
getScalarType(), VecPred,
1497 unsigned Index,
const Value *Op0,
const Value *Op1,
1510 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1522 Value *Op0 =
nullptr;
1523 Value *Op1 =
nullptr;
1525 Op0 = IE->getOperand(0);
1526 Op1 = IE->getOperand(1);
1531 return thisT()->getVectorInstrCost(
I.getOpcode(), Val,
CostKind, Index, Op0,
1538 unsigned Index)
const override {
1539 unsigned NewIndex = -1;
1541 assert(Index < FVTy->getNumElements() &&
1542 "Unexpected index from end of vector");
1543 NewIndex = FVTy->getNumElements() - 1 - Index;
1545 return thisT()->getVectorInstrCost(Opcode, Val,
CostKind, NewIndex,
nullptr,
1551 const APInt &DemandedDstElts,
1554 "Unexpected size of DemandedDstElts.");
1572 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1575 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1587 assert(!Src->isVoidTy() &&
"Invalid type");
1608 LT.second.getSizeInBits())) {
1614 if (Opcode == Instruction::Store)
1626 Opcode == Instruction::Store,
CostKind);
1636 bool UseMaskForCond =
false,
bool UseMaskForGaps =
false)
const override {
1644 unsigned NumElts = VT->getNumElements();
1645 assert(Factor > 1 && NumElts % Factor == 0 &&
"Invalid interleave factor");
1647 unsigned NumSubElts = NumElts / Factor;
1652 if (UseMaskForCond || UseMaskForGaps) {
1653 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1654 : Intrinsic::masked_store;
1655 Cost = thisT()->getMemIntrinsicInstrCost(
1665 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1682 if (
Cost.isValid() && VecTySize > VecTyLTSize) {
1685 unsigned NumLegalInsts =
divideCeil(VecTySize, VecTyLTSize);
1689 unsigned NumEltsPerLegalInst =
divideCeil(NumElts, NumLegalInsts);
1692 BitVector UsedInsts(NumLegalInsts,
false);
1693 for (
unsigned Index : Indices)
1694 for (
unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1695 UsedInsts.
set((Index + Elt * Factor) / NumEltsPerLegalInst);
1704 "Interleaved memory op has too many members");
1710 for (
unsigned Index : Indices) {
1711 assert(Index < Factor &&
"Invalid index for interleaved memory op");
1712 for (
unsigned Elm = 0; Elm < NumSubElts; Elm++)
1713 DemandedLoadStoreElts.
setBit(Index + Elm * Factor);
1716 if (Opcode == Instruction::Load) {
1726 SubVT, DemandedAllSubElts,
1728 Cost += Indices.
size() * InsSubCost;
1729 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1747 SubVT, DemandedAllSubElts,
1749 Cost += ExtSubCost * Indices.
size();
1750 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1755 if (!UseMaskForCond)
1760 Cost += thisT()->getReplicationShuffleCost(
1761 I8Type, Factor, NumSubElts,
1762 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1770 if (UseMaskForGaps) {
1772 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1798 std::optional<unsigned> FOp =
1801 if (ICA.
getID() == Intrinsic::vp_load) {
1804 Alignment = VPI->getPointerAlignment().valueOrOne();
1808 AS = PtrTy->getAddressSpace();
1809 return thisT()->getMemoryOpCost(*FOp, ICA.
getReturnType(), Alignment,
1812 if (ICA.
getID() == Intrinsic::vp_store) {
1815 Alignment = VPI->getPointerAlignment().valueOrOne();
1819 AS = PtrTy->getAddressSpace();
1820 return thisT()->getMemoryOpCost(*FOp, ICA.
getArgTypes()[0], Alignment,
1824 ICA.
getID() == Intrinsic::vp_fneg) {
1825 return thisT()->getArithmeticInstrCost(*FOp, ICA.
getReturnType(),
1829 return thisT()->getCastInstrCost(
1838 return thisT()->getCmpSelInstrCost(*FOp, ICA.
getArgTypes()[0],
1844 if (ICA.
getID() == Intrinsic::vp_load_ff) {
1849 Alignment = VPI->getPointerAlignment().valueOrOne();
1850 return thisT()->getMemIntrinsicInstrCost(
1854 if (ICA.
getID() == Intrinsic::vp_scatter) {
1864 Alignment = VPI->getPointerAlignment().valueOrOne();
1866 return thisT()->getMemIntrinsicInstrCost(
1869 VarMask, Alignment,
nullptr),
1872 if (ICA.
getID() == Intrinsic::vp_gather) {
1882 Alignment = VPI->getPointerAlignment().valueOrOne();
1884 return thisT()->getMemIntrinsicInstrCost(
1887 VarMask, Alignment,
nullptr),
1891 if (ICA.
getID() == Intrinsic::vp_select ||
1892 ICA.
getID() == Intrinsic::vp_merge) {
1903 std::optional<Intrinsic::ID> FID =
1907 if (ICA.
getID() == Intrinsic::experimental_vp_reverse)
1908 FID = Intrinsic::vector_reverse;
1914 "Expected VPIntrinsic to have Mask and Vector Length args and "
1926 *FID != Intrinsic::vector_reduce_fadd &&
1927 *FID != Intrinsic::vector_reduce_fmul) {
1935 return thisT()->getIntrinsicInstrCost(NewICA,
CostKind);
1954 case Intrinsic::powi:
1956 bool ShouldOptForSize =
I->getParent()->getParent()->hasOptSize();
1957 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1958 ShouldOptForSize)) {
1962 unsigned ActiveBits =
Exponent.getActiveBits();
1963 unsigned PopCount =
Exponent.popcount();
1965 thisT()->getArithmeticInstrCost(
1966 Instruction::FMul, RetTy,
CostKind);
1967 if (RHSC->isNegative())
1968 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1974 case Intrinsic::cttz:
1976 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1980 case Intrinsic::ctlz:
1982 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1986 case Intrinsic::memcpy:
1987 return thisT()->getMemcpyCost(ICA.
getInst());
1989 case Intrinsic::masked_scatter: {
1990 const Value *Mask = Args[2];
1992 Align Alignment =
I->getParamAlign(1).valueOrOne();
1993 return thisT()->getMemIntrinsicInstrCost(
1999 case Intrinsic::masked_gather: {
2000 const Value *Mask = Args[1];
2002 Align Alignment =
I->getParamAlign(0).valueOrOne();
2003 return thisT()->getMemIntrinsicInstrCost(
2005 VarMask, Alignment,
I),
2008 case Intrinsic::masked_compressstore: {
2010 const Value *Mask = Args[2];
2011 Align Alignment =
I->getParamAlign(1).valueOrOne();
2012 return thisT()->getMemIntrinsicInstrCost(
2017 case Intrinsic::masked_expandload: {
2018 const Value *Mask = Args[1];
2019 Align Alignment =
I->getParamAlign(0).valueOrOne();
2020 return thisT()->getMemIntrinsicInstrCost(
2025 case Intrinsic::experimental_vp_strided_store: {
2027 const Value *Ptr = Args[1];
2028 const Value *Mask = Args[3];
2029 const Value *EVL = Args[4];
2033 I->getParamAlign(1).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2034 return thisT()->getMemIntrinsicInstrCost(
2039 case Intrinsic::experimental_vp_strided_load: {
2040 const Value *Ptr = Args[0];
2041 const Value *Mask = Args[2];
2042 const Value *EVL = Args[3];
2046 I->getParamAlign(0).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2047 return thisT()->getMemIntrinsicInstrCost(
2051 case Intrinsic::stepvector: {
2057 case Intrinsic::vector_extract: {
2068 case Intrinsic::vector_insert: {
2074 return thisT()->getShuffleCost(
2079 case Intrinsic::vector_splice_left:
2080 case Intrinsic::vector_splice_right: {
2084 unsigned Index = COffset->getZExtValue();
2085 return thisT()->getShuffleCost(
2088 IID == Intrinsic::vector_splice_left ? Index : -Index,
2091 case Intrinsic::vector_reduce_add:
2092 case Intrinsic::vector_reduce_mul:
2093 case Intrinsic::vector_reduce_and:
2094 case Intrinsic::vector_reduce_or:
2095 case Intrinsic::vector_reduce_xor:
2096 case Intrinsic::vector_reduce_smax:
2097 case Intrinsic::vector_reduce_smin:
2098 case Intrinsic::vector_reduce_fmax:
2099 case Intrinsic::vector_reduce_fmin:
2100 case Intrinsic::vector_reduce_fmaximum:
2101 case Intrinsic::vector_reduce_fminimum:
2102 case Intrinsic::vector_reduce_umax:
2103 case Intrinsic::vector_reduce_umin: {
2107 case Intrinsic::vector_reduce_fadd:
2108 case Intrinsic::vector_reduce_fmul: {
2110 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF,
I, 1);
2113 case Intrinsic::fshl:
2114 case Intrinsic::fshr: {
2115 const Value *
X = Args[0];
2116 const Value *
Y = Args[1];
2117 const Value *Z = Args[2];
2126 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2127 Cost += thisT()->getArithmeticInstrCost(
2128 BinaryOperator::Shl, RetTy,
CostKind, OpInfoX,
2130 Cost += thisT()->getArithmeticInstrCost(
2131 BinaryOperator::LShr, RetTy,
CostKind, OpInfoY,
2135 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2140 Cost += thisT()->getArithmeticInstrCost(
2142 : BinaryOperator::URem,
2144 {TTI::OK_UniformConstantValue, TTI::OP_None});
2148 Cost += thisT()->getCmpSelInstrCost(
2151 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2157 case Intrinsic::experimental_cttz_elts: {
2162 if (!getTLI()->shouldExpandCttzElements(ArgType))
2175 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2177 ZeroIsPoison, &VScaleRange);
2187 thisT()->getIntrinsicInstrCost(StepVecAttrs,
CostKind);
2190 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy,
CostKind);
2191 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2195 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy,
CostKind);
2198 NewEltTy, NewVecTy, FMF,
I, 1);
2199 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs,
CostKind);
2201 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy,
CostKind);
2205 case Intrinsic::get_active_lane_mask:
2206 case Intrinsic::experimental_vector_match:
2207 case Intrinsic::experimental_vector_histogram_add:
2208 case Intrinsic::experimental_vector_histogram_uadd_sat:
2209 case Intrinsic::experimental_vector_histogram_umax:
2210 case Intrinsic::experimental_vector_histogram_umin:
2211 case Intrinsic::masked_udiv:
2212 case Intrinsic::masked_sdiv:
2213 case Intrinsic::masked_urem:
2214 case Intrinsic::masked_srem:
2215 return thisT()->getTypeBasedIntrinsicInstrCost(ICA,
CostKind);
2216 case Intrinsic::modf:
2217 case Intrinsic::sincos:
2218 case Intrinsic::sincospi: {
2219 std::optional<unsigned> CallRetElementIndex;
2222 if (ICA.
getID() == Intrinsic::modf)
2223 CallRetElementIndex = 0;
2225 if (
auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2226 ICA,
CostKind, CallRetElementIndex))
2231 case Intrinsic::loop_dependence_war_mask:
2232 case Intrinsic::loop_dependence_raw_mask: {
2250 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2253 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy,
CostKind);
2254 if (IsReadAfterWrite) {
2256 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs,
CostKind);
2261 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2267 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2269 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2273 {AddrTy, AddrTy}, FMF);
2274 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2284 ScalarizationCost = 0;
2293 filterConstantAndDuplicatedOperands(Args, ICA.
getArgTypes()),
2299 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2320 unsigned VecTyIndex = 0;
2321 if (IID == Intrinsic::vector_reduce_fadd ||
2322 IID == Intrinsic::vector_reduce_fmul)
2324 assert(Tys.
size() > VecTyIndex &&
"Unexpected IntrinsicCostAttributes");
2341 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2342 unsigned ScalarCalls = 1;
2343 Type *ScalarRetTy = RetTy;
2345 if (!SkipScalarizationCost)
2348 ScalarCalls = std::max(ScalarCalls,
2353 for (
Type *Ty : Tys) {
2355 if (!SkipScalarizationCost)
2358 ScalarCalls = std::max(ScalarCalls,
2360 Ty = Ty->getScalarType();
2364 if (ScalarCalls == 1)
2369 thisT()->getIntrinsicInstrCost(ScalarAttrs,
CostKind);
2371 return ScalarCalls * ScalarCost + ScalarizationCost;
2375 case Intrinsic::sqrt:
2378 case Intrinsic::sin:
2381 case Intrinsic::cos:
2384 case Intrinsic::sincos:
2387 case Intrinsic::sincospi:
2390 case Intrinsic::modf:
2393 case Intrinsic::tan:
2396 case Intrinsic::asin:
2399 case Intrinsic::acos:
2402 case Intrinsic::atan:
2405 case Intrinsic::atan2:
2408 case Intrinsic::sinh:
2411 case Intrinsic::cosh:
2414 case Intrinsic::tanh:
2417 case Intrinsic::exp:
2420 case Intrinsic::exp2:
2423 case Intrinsic::exp10:
2426 case Intrinsic::log:
2429 case Intrinsic::log10:
2432 case Intrinsic::log2:
2435 case Intrinsic::ldexp:
2438 case Intrinsic::fabs:
2441 case Intrinsic::canonicalize:
2444 case Intrinsic::minnum:
2447 case Intrinsic::maxnum:
2450 case Intrinsic::minimum:
2453 case Intrinsic::maximum:
2456 case Intrinsic::minimumnum:
2459 case Intrinsic::maximumnum:
2462 case Intrinsic::copysign:
2465 case Intrinsic::floor:
2468 case Intrinsic::ceil:
2471 case Intrinsic::trunc:
2474 case Intrinsic::nearbyint:
2477 case Intrinsic::rint:
2480 case Intrinsic::lrint:
2483 case Intrinsic::llrint:
2486 case Intrinsic::round:
2489 case Intrinsic::roundeven:
2492 case Intrinsic::lround:
2495 case Intrinsic::llround:
2498 case Intrinsic::pow:
2501 case Intrinsic::fma:
2504 case Intrinsic::fmuladd:
2507 case Intrinsic::experimental_constrained_fmuladd:
2511 case Intrinsic::lifetime_start:
2512 case Intrinsic::lifetime_end:
2513 case Intrinsic::sideeffect:
2514 case Intrinsic::pseudoprobe:
2515 case Intrinsic::arithmetic_fence:
2517 case Intrinsic::masked_store: {
2519 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2520 return thisT()->getMemIntrinsicInstrCost(
2523 case Intrinsic::masked_load: {
2525 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2526 return thisT()->getMemIntrinsicInstrCost(
2529 case Intrinsic::experimental_vp_strided_store: {
2531 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2532 return thisT()->getMemIntrinsicInstrCost(
2538 case Intrinsic::experimental_vp_strided_load: {
2540 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2541 return thisT()->getMemIntrinsicInstrCost(
2547 case Intrinsic::vector_reduce_add:
2548 case Intrinsic::vector_reduce_mul:
2549 case Intrinsic::vector_reduce_and:
2550 case Intrinsic::vector_reduce_or:
2551 case Intrinsic::vector_reduce_xor:
2552 return thisT()->getArithmeticReductionCost(
2555 case Intrinsic::vector_reduce_fadd:
2556 case Intrinsic::vector_reduce_fmul:
2557 return thisT()->getArithmeticReductionCost(
2559 case Intrinsic::vector_reduce_smax:
2560 case Intrinsic::vector_reduce_smin:
2561 case Intrinsic::vector_reduce_umax:
2562 case Intrinsic::vector_reduce_umin:
2563 case Intrinsic::vector_reduce_fmax:
2564 case Intrinsic::vector_reduce_fmin:
2565 case Intrinsic::vector_reduce_fmaximum:
2566 case Intrinsic::vector_reduce_fminimum:
2569 case Intrinsic::experimental_vector_match: {
2572 unsigned SearchSize = NeedleTy->getNumElements();
2576 EVT SearchVT = getTLI()->getValueType(
DL, SearchTy);
2577 if (!getTLI()->shouldExpandVectorMatch(SearchVT, SearchSize))
2583 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2585 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2589 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2592 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2595 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy,
CostKind);
2598 case Intrinsic::vector_reverse:
2602 case Intrinsic::experimental_vector_histogram_add:
2603 case Intrinsic::experimental_vector_histogram_uadd_sat:
2604 case Intrinsic::experimental_vector_histogram_umax:
2605 case Intrinsic::experimental_vector_histogram_umin: {
2613 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2615 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2617 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2622 case Intrinsic::experimental_vector_histogram_add:
2624 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy,
CostKind);
2626 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2628 Cost += thisT()->getIntrinsicInstrCost(UAddSat,
CostKind);
2631 case Intrinsic::experimental_vector_histogram_umax: {
2636 case Intrinsic::experimental_vector_histogram_umin: {
2642 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2647 case Intrinsic::get_active_lane_mask: {
2649 EVT ResVT = getTLI()->getValueType(
DL, RetTy,
true);
2650 EVT ArgVT = getTLI()->getValueType(
DL, ArgTy,
true);
2654 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2663 thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2664 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2668 case Intrinsic::experimental_memset_pattern:
2673 case Intrinsic::abs:
2676 case Intrinsic::fshl:
2679 case Intrinsic::fshr:
2682 case Intrinsic::smax:
2685 case Intrinsic::smin:
2688 case Intrinsic::umax:
2691 case Intrinsic::umin:
2694 case Intrinsic::sadd_sat:
2697 case Intrinsic::ssub_sat:
2700 case Intrinsic::uadd_sat:
2703 case Intrinsic::usub_sat:
2706 case Intrinsic::smul_fix:
2709 case Intrinsic::umul_fix:
2712 case Intrinsic::sadd_with_overflow:
2715 case Intrinsic::ssub_with_overflow:
2718 case Intrinsic::uadd_with_overflow:
2721 case Intrinsic::usub_with_overflow:
2724 case Intrinsic::smul_with_overflow:
2727 case Intrinsic::umul_with_overflow:
2730 case Intrinsic::fptosi_sat:
2731 case Intrinsic::fptoui_sat: {
2737 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2743 case Intrinsic::ctpop:
2749 case Intrinsic::ctlz:
2752 case Intrinsic::cttz:
2755 case Intrinsic::bswap:
2758 case Intrinsic::bitreverse:
2761 case Intrinsic::ucmp:
2764 case Intrinsic::scmp:
2767 case Intrinsic::clmul:
2770 case Intrinsic::masked_udiv:
2771 case Intrinsic::masked_sdiv:
2772 case Intrinsic::masked_urem:
2773 case Intrinsic::masked_srem: {
2774 unsigned UnmaskedOpc;
2776 case Intrinsic::masked_udiv:
2778 UnmaskedOpc = Instruction::UDiv;
2780 case Intrinsic::masked_sdiv:
2782 UnmaskedOpc = Instruction::SDiv;
2784 case Intrinsic::masked_urem:
2786 UnmaskedOpc = Instruction::URem;
2788 case Intrinsic::masked_srem:
2790 UnmaskedOpc = Instruction::SRem;
2796 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy,
CostKind);
2800 if (!getTLI()->isOperationLegalOrCustom(
ISD, LT)) {
2803 Cost += thisT()->getCmpSelInstrCost(
2813 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2819 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2829 return (LT.first * 2);
2831 return (LT.first * 1);
2835 return (LT.first * 2);
2839 case Intrinsic::fmuladd: {
2843 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2845 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2848 case Intrinsic::experimental_constrained_fmuladd: {
2850 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2852 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2853 return thisT()->getIntrinsicInstrCost(FMulAttrs,
CostKind) +
2854 thisT()->getIntrinsicInstrCost(FAddAttrs,
CostKind);
2856 case Intrinsic::smin:
2857 case Intrinsic::smax:
2858 case Intrinsic::umin:
2859 case Intrinsic::umax: {
2862 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2866 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2868 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2872 case Intrinsic::sadd_with_overflow:
2873 case Intrinsic::ssub_with_overflow: {
2876 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2877 ? BinaryOperator::Add
2878 : BinaryOperator::Sub;
2885 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2887 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2889 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2893 case Intrinsic::uadd_with_overflow:
2894 case Intrinsic::usub_with_overflow: {
2897 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2898 ? BinaryOperator::Add
2899 : BinaryOperator::Sub;
2905 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2906 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2910 case Intrinsic::smul_with_overflow:
2911 case Intrinsic::umul_with_overflow: {
2916 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2918 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2922 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH,
CostKind);
2924 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2925 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2927 Cost += thisT()->getArithmeticInstrCost(
2932 Cost += thisT()->getArithmeticInstrCost(
2933 Instruction::AShr, MulTy,
CostKind,
2937 Cost += thisT()->getCmpSelInstrCost(
2941 case Intrinsic::sadd_sat:
2942 case Intrinsic::ssub_sat: {
2948 ? Intrinsic::sadd_with_overflow
2949 : Intrinsic::ssub_with_overflow;
2956 nullptr, ScalarizationCostPassed);
2957 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2958 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2960 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
2964 case Intrinsic::uadd_sat:
2965 case Intrinsic::usub_sat: {
2970 ? Intrinsic::uadd_with_overflow
2971 : Intrinsic::usub_with_overflow;
2975 nullptr, ScalarizationCostPassed);
2976 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2978 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2982 case Intrinsic::smul_fix:
2983 case Intrinsic::umul_fix: {
2988 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
2992 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH,
CostKind);
2994 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2995 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
2997 Cost += thisT()->getArithmeticInstrCost(
3000 Cost += thisT()->getArithmeticInstrCost(
3003 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3006 case Intrinsic::abs: {
3011 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3013 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3016 Cost += thisT()->getArithmeticInstrCost(
3017 BinaryOperator::Sub, RetTy,
CostKind,
3021 case Intrinsic::fshl:
3022 case Intrinsic::fshr: {
3028 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
3030 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
CostKind);
3032 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy,
CostKind);
3033 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3038 Cost += thisT()->getArithmeticInstrCost(
3040 : BinaryOperator::URem,
3041 RetTy,
CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3042 {TTI::OK_UniformConstantValue, TTI::OP_None});
3044 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3046 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3050 case Intrinsic::fptosi_sat:
3051 case Intrinsic::fptoui_sat: {
3054 Type *FromTy = Tys[0];
3055 bool IsSigned = IID == Intrinsic::fptosi_sat;
3060 Cost += thisT()->getIntrinsicInstrCost(Attrs1,
CostKind);
3063 Cost += thisT()->getIntrinsicInstrCost(Attrs2,
CostKind);
3064 Cost += thisT()->getCastInstrCost(
3065 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3069 Cost += thisT()->getCmpSelInstrCost(
3071 Cost += thisT()->getCmpSelInstrCost(
3076 case Intrinsic::ucmp:
3077 case Intrinsic::scmp: {
3078 Type *CmpTy = Tys[0];
3081 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3084 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3091 Cost += 2 * thisT()->getCmpSelInstrCost(
3092 BinaryOperator::Select, RetTy, CondTy,
3097 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3099 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3104 case Intrinsic::maximumnum:
3105 case Intrinsic::minimumnum: {
3120 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs,
CostKind);
3121 return LT.first + FCanonicalizeCost * 2;
3125 case Intrinsic::clmul: {
3130 thisT()->getArithmeticInstrCost(Instruction::And, RetTy,
CostKind);
3132 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3134 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy,
CostKind);
3136 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy,
CostKind);
3140 if (BW >= 32 && BW <= 64 &&
3143 return 16 * MulCost + 12 * AndCost + 12 * XorCost + 3 * OrCost;
3149 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3151 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3153 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3154 return BW * PerBitCost;
3172 if (!SkipScalarizationCost) {
3173 ScalarizationCost = 0;
3174 for (
Type *RetVTy : RetVTys) {
3183 for (
Type *Ty : Tys) {
3184 if (Ty->isVectorTy())
3185 Ty = Ty->getScalarType();
3190 thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3191 for (
Type *Ty : Tys) {
3196 ScalarCalls = std::max(ScalarCalls,
3200 return ScalarCalls * ScalarCost + ScalarizationCost;
3204 return SingleCallCost;
3211 unsigned Id = MICA.
getID();
3217 case Intrinsic::experimental_vp_strided_load:
3218 case Intrinsic::experimental_vp_strided_store: {
3219 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3221 : Instruction::Store;
3225 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3228 case Intrinsic::masked_scatter:
3229 case Intrinsic::masked_gather:
3230 case Intrinsic::vp_scatter:
3231 case Intrinsic::vp_gather: {
3232 unsigned Opcode = (MICA.
getID() == Intrinsic::masked_gather ||
3233 MICA.
getID() == Intrinsic::vp_gather)
3235 : Instruction::Store;
3237 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3240 case Intrinsic::vp_load:
3241 case Intrinsic::vp_store:
3243 case Intrinsic::masked_load:
3244 case Intrinsic::masked_store: {
3246 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3248 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
true,
false,
3251 case Intrinsic::masked_compressstore:
3252 case Intrinsic::masked_expandload: {
3253 unsigned Opcode = MICA.
getID() == Intrinsic::masked_expandload
3255 : Instruction::Store;
3258 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3262 case Intrinsic::vp_load_ff:
3288 if (!LT.first.isValid())
3293 Tp && LT.second.isFixedLengthVector() &&
3298 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3300 return LT.first.getValue();
3337 Type *ScalarTy = Ty->getElementType();
3339 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3349 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3351 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3355 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3358 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3359 unsigned LongVectorCount = 0;
3361 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3362 while (NumVecElts > MVTLen) {
3365 ShuffleCost += thisT()->getShuffleCost(
3367 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy,
CostKind);
3372 NumReduxLevels -= LongVectorCount;
3384 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty,
CostKind);
3385 return ShuffleCost + ArithCost +
3386 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3420 return ExtractCost + ArithCost;
3425 std::optional<FastMathFlags> FMF,
3427 assert(Ty &&
"Unknown reduction vector type");
3443 Type *ScalarTy = Ty->getElementType();
3445 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3448 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3449 unsigned LongVectorCount = 0;
3451 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3452 while (NumVecElts > MVTLen) {
3456 ShuffleCost += thisT()->getShuffleCost(
3465 NumReduxLevels -= LongVectorCount;
3478 return ShuffleCost + MinMaxCost +
3479 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3485 VectorType *Ty, std::optional<FastMathFlags> FMF,
3488 FTy && IsUnsigned && Opcode == Instruction::Add &&
3496 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3498 thisT()->getIntrinsicInstrCost(ICA,
CostKind);
3504 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF,
CostKind);
3506 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3509 return RedCost + ExtCost;
3519 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3520 "The reduction opcode is expected to be Add or Sub.");
3523 RedOpcode, ExtTy, std::nullopt,
CostKind);
3525 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3529 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
3531 return RedCost + MulCost + 2 * ExtCost;
3535 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
3539 std::optional<FastMathFlags> FMF)
const override {
3542 unsigned Ratio = EltSizeAcc / EltSizeInA;
3544 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3549 Type *AccumVectorType =
3565 return ExtendCostA + ReductionOpCost;
3573 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.
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
static Type * getValueType(Value *V, bool LookThroughCmp=false)
Returns the "element type" of the given value/instruction V.
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
InstructionCost getGEPCost(Type *PointeeType, const Value *Ptr, ArrayRef< const Value * > Operands, Type *AccessType, TTI::TargetCostKind CostKind) 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
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, ArrayRef< int > Mask, TTI::TargetCostKind CostKind, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) 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
bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE, AssumptionCache &AC, TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const override
unsigned getRegUsageForType(Type *Ty) const override
InstructionCost getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const override
Get memory intrinsic cost based on arguments.
BasicTTIImplBase(const TargetMachine *TM, const DataLayout &DL)
InstructionCost getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, TTI::OperandValueInfo OpInfo={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
bool isTypeLegal(Type *Ty) const override
bool enableWritePrefetching() const override
bool isLSRCostLess(const TTI::LSRCost &C1, const TTI::LSRCost &C2) const override
InstructionCost getScalarizationOverhead(VectorType *InTy, bool Insert, bool Extract, TTI::TargetCostKind CostKind, bool ForPoisonSrc=true, ArrayRef< Value * > VL={}, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const
Helper wrapper for the DemandedElts variant of getScalarizationOverhead.
InstructionCost getBranchMispredictPenalty() const override
bool isNumRegsMajorCostOfLSR() const override
LLVM_ABI BasicTTIImpl(const TargetMachine *TM, const Function &F)
size_type count() const
Returns the number of bits which are set.
BitVector & set()
Set all bits in the bitvector.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ ICMP_SLE
signed less or equal
@ ICMP_UGT
unsigned greater than
@ ICMP_SGT
signed greater than
@ ICMP_ULT
unsigned less than
@ FCMP_UNO
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
static CmpInst::Predicate getGTPredicate(Intrinsic::ID ID)
static CmpInst::Predicate getLTPredicate(Intrinsic::ID ID)
This class represents a range of values.
A parsed version of the target data layout string in and methods for querying it.
constexpr bool isVector() const
One or more elements.
static constexpr ElementCount getFixed(ScalarTy MinVal)
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
Container class for subtarget features.
Class to represent fixed width SIMD vectors.
unsigned getNumElements() const
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
AttributeList getAttributes() const
Return the attribute list for this Function.
The core instruction combiner logic.
static InstructionCost getInvalid(CostType Val=0)
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
unsigned getBitWidth() const
Get the number of bits in this IntegerType.
FastMathFlags getFlags() const
const SmallVectorImpl< Type * > & getArgTypes() const
Type * getReturnType() const
bool skipScalarizationCost() const
const SmallVectorImpl< const Value * > & getArgs() const
InstructionCost getScalarizationCost() const
const IntrinsicInst * getInst() const
Intrinsic::ID getID() const
bool isTypeBasedOnly() const
A wrapper class for inspecting calls to intrinsic functions.
This is an important class for using LLVM in a threaded context.
Represents a single loop in the control flow graph.
const FeatureBitset & getFeatureBits() const
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Information for memory intrinsic cost model.
Align getAlignment() const
Type * getDataType() const
bool getVariableMask() const
Intrinsic::ID getID() const
static LLVM_ABI PointerType * get(Type *ElementType, unsigned AddressSpace)
This constructs a pointer to an object of the specified type 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 ...
LegalizeTypeAction getTypeAction(LLVMContext &Context, EVT VT) const
Return how we should legalize values of this type, either it is already legal (return 'Legal') or we ...
bool isLoadLegal(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return true if the specified load with extension is legal on this target.
virtual bool isFAbsFree(EVT VT) const
Return true if an fabs operation is free to the point where it is never worthwhile to replace it with...
bool isOperationLegalOrCustomOrPromote(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal with custom lower...
std::pair< LegalizeTypeAction, EVT > LegalizeKind
LegalizeKind holds the legalization kind that needs to happen to EVT in order to type-legalize it.
Primary interface to the complete machine description for the target machine.
bool isPositionIndependent() const
const Triple & getTargetTriple() const
virtual const TargetSubtargetInfo * getSubtargetImpl(const Function &) const
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
CodeModel::Model getCodeModel() const
Returns the code model.
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const FeatureBitset & getInlineMustMatchFeatures() const =0
Target features where all mismatches prevent inlining.
virtual const FeatureBitset & getInlineInverseFeatures() const =0
Target features where the callee may have an additional feature, instead of the caller.
virtual const FeatureBitset & getInlineIgnoreFeatures() const =0
Target features to ignore for inline compatibility check.
Triple - Helper class for working with autoconf configuration names.
ArchType getArch() const
Get the parsed architecture type of this triple.
LLVM_ABI bool isArch64Bit() const
Test whether the architecture is 64-bit.
bool isOSDarwin() const
Is this a "Darwin" OS (macOS, iOS, tvOS, watchOS, DriverKit, XROS, or bridgeOS).
static constexpr TypeSize getFixed(ScalarTy ExactSize)
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
bool isPointerTy() const
True if this is an instance of PointerType.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
LLVM_ABI Type * getWithNewBitWidth(unsigned NewBitWidth) const
Given an integer or vector type, change the lane bitwidth to NewBitwidth, whilst keeping the old numb...
LLVM_ABI Type * getWithNewType(Type *EltTy) const
Given vector type, change the element type, whilst keeping the old number of elements.
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
Type * getContainedType(unsigned i) const
This method is used to implement the type iterator (defined at the end of the file).
bool isVoidTy() const
Return true if this is 'void'.
Value * getOperand(unsigned i) const
static LLVM_ABI bool isVPBinOp(Intrinsic::ID ID)
static LLVM_ABI bool isVPCast(Intrinsic::ID ID)
static LLVM_ABI bool isVPCmp(Intrinsic::ID ID)
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.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ Fast
Attempts to make calls as fast as possible (e.g.
@ C
The default llvm calling convention, compatible with C.
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.
LLVM_ABI Libcall getSINCOSPI(EVT RetVT)
getSINCOSPI - Return the SINCOSPI_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getMODF(EVT VT)
getMODF - Return the MODF_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getSINCOS(EVT RetVT)
getSINCOS - Return the SINCOS_* value for the given types, or UNKNOWN_LIBCALL if there is none.
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()).
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*...