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 {
407 return (CallerBits & CalleeBits) == CalleeBits;
433 return getTLI()->getTargetMachine().isNoopAddrSpaceCast(FromAS, ToAS);
437 return getTLI()->getTargetMachine().getAssumedAddrSpace(V);
441 return getTLI()->getTargetMachine().Options.ThreadModel ==
445 std::pair<const Value *, unsigned>
447 return getTLI()->getTargetMachine().getPredicatedAddrSpace(V);
451 Value *NewV)
const override {
456 return getTLI()->isLegalAddImmediate(imm);
460 return getTLI()->isLegalAddScalableImmediate(Imm);
464 return getTLI()->isLegalICmpImmediate(imm);
468 bool HasBaseReg, int64_t Scale,
unsigned AddrSpace,
470 int64_t ScalableOffset = 0)
const override {
477 return getTLI()->isLegalAddressingMode(
DL, AM, Ty, AddrSpace,
I);
481 return getTLI()->getPreferredLargeGEPBaseOffset(MinOffset, MaxOffset);
486 unsigned AddrSpace)
const override {
487 auto &&IsSupportedByTarget = [
this, ScalarMemTy, ScalarValTy, Alignment,
488 AddrSpace](
unsigned VF) {
490 EVT VT = getTLI()->getValueType(
DL, SrcTy);
491 if (getTLI()->isOperationLegal(
ISD::STORE, VT) ||
498 getTLI()->getTypeToTransformTo(ScalarMemTy->
getContext(), VT);
499 return getTLI()->isTruncStoreLegal(LegalizedVT, ValVT, Alignment,
502 while (VF > 2 && IsSupportedByTarget(VF))
508 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
509 return getTLI()->isIndexedLoadLegal(getISDIndexedMode(M), VT);
513 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
514 return getTLI()->isIndexedStoreLegal(getISDIndexedMode(M), VT);
537 unsigned AddrSpace)
const override {
550 return getTLI()->isTruncateFree(Ty1, Ty2);
554 return getTLI()->isProfitableToHoist(
I);
557 bool useAA()
const override {
return getST()->useAA(); }
560 EVT VT = getTLI()->getValueType(
DL, Ty,
true);
561 return getTLI()->isTypeLegal(VT);
565 EVT ETy = getTLI()->getValueType(
DL, Ty);
566 return getTLI()->getNumRegisters(Ty->getContext(), ETy);
585 unsigned N =
SI.getNumCases();
593 if (
N < 1 || (!IsJTAllowed &&
DL.getIndexSizeInBits(0u) <
N))
596 APInt MaxCaseVal =
SI.case_begin()->getCaseValue()->getValue();
597 APInt MinCaseVal = MaxCaseVal;
598 for (
auto CI :
SI.cases()) {
599 const APInt &CaseVal = CI.getCaseValue()->getValue();
600 if (CaseVal.
sgt(MaxCaseVal))
601 MaxCaseVal = CaseVal;
602 if (CaseVal.
slt(MinCaseVal))
603 MinCaseVal = CaseVal;
607 if (
N <=
DL.getIndexSizeInBits(0u)) {
609 for (
auto I :
SI.cases()) {
620 if (
N < 2 ||
N < TLI->getMinimumJumpTableEntries())
623 (MaxCaseVal - MinCaseVal)
624 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
627 JumpTableSize =
Range;
686 const Function &Fn)
const override {
690 case Instruction::SDiv:
691 case Instruction::SRem:
692 case Instruction::UDiv:
693 case Instruction::URem: {
745 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
746 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
763 <<
"advising against unrolling the loop because it "
813 std::optional<Instruction *>
818 std::optional<Value *>
821 bool &KnownBitsComputed)
const override {
830 SimplifyAndSetOp)
const override {
832 IC,
II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
836 std::optional<unsigned>
838 return std::optional<unsigned>(
842 std::optional<unsigned>
844 std::optional<unsigned> TargetResult =
845 getST()->getCacheAssociativity(
static_cast<unsigned>(Level));
854 return getST()->getCacheLineSize();
858 return getST()->getPrefetchDistance();
862 unsigned NumStridedMemAccesses,
863 unsigned NumPrefetches,
864 bool HasCall)
const override {
865 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
866 NumPrefetches, HasCall);
870 return getST()->getMaxPrefetchIterationsAhead();
874 return getST()->enableWritePrefetching();
878 return getST()->shouldPrefetchAddressSpace(AS);
891 std::optional<unsigned>
getMaxVScale()
const override {
return std::nullopt; }
901 bool Insert,
bool Extract,
913 (VL.empty() || VL.size() == Ty->getNumElements()) &&
914 "Vector size mismatch");
918 for (
int i = 0, e = Ty->getNumElements(); i < e; ++i) {
919 if (!DemandedElts[i])
922 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
924 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
925 CostKind, i,
nullptr, InsertedVal, VIC);
928 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
929 CostKind, i,
nullptr,
nullptr, VIC);
937 unsigned ScalarOpdIdx)
const override {
942 int OpdIdx)
const override {
948 int RetIdx)
const override {
963 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
975 for (
Type *Ty : Tys) {
977 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
978 !Ty->isPtrOrPtrVectorTy())
1002 filterConstantAndDuplicatedOperands(Args, Tys),
CostKind);
1015 EVT MTy = getTLI()->getValueType(
DL, Ty);
1039 if (MTy == LK.second)
1054 const Instruction *CxtI =
nullptr)
const override {
1056 const TargetLoweringBase *TLI = getTLI();
1057 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1058 assert(ISD &&
"Invalid opcode");
1073 if (TLI->isOperationLegalOrPromote(ISD,
LT.second)) {
1076 return LT.first * OpCost;
1079 if (!TLI->isOperationExpand(ISD,
LT.second)) {
1082 return LT.first * 2 * OpCost;
1094 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1096 DivOpc, Ty,
CostKind, Opd1Info, Opd2Info);
1098 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty,
CostKind);
1100 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty,
CostKind);
1101 return DivCost + MulCost + SubCost;
1133 int NumDstElts = Mask.size();
1134 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1141 if (isSplatMask(Mask, NumSrcElts, Index))
1144 (Index + NumDstElts) <= NumSrcElts) {
1151 if (
all_of(Mask, [NumSrcElts](
int M) {
return M < NumSrcElts; }))
1156 Mask, NumSrcElts, NumSubElts, Index)) {
1157 if (Index + NumSubElts > NumSrcElts)
1186 const Instruction *CxtI =
nullptr)
const override {
1190 return getBroadcastShuffleOverhead(FVT,
CostKind);
1199 return getPermuteShuffleOverhead(FVT,
CostKind);
1202 return getExtractSubvectorOverhead(SrcTy,
CostKind, Index,
1205 return getInsertSubvectorOverhead(DstTy,
CostKind, Index,
1224 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1225 TypeSize DstSize = DstLT.second.getSizeInBits();
1226 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1227 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1232 case Instruction::Trunc:
1237 case Instruction::BitCast:
1240 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1244 case Instruction::FPExt:
1245 if (
I && getTLI()->isExtFree(
I))
1248 case Instruction::ZExt:
1249 if (TLI->
isZExtFree(SrcLT.second, DstLT.second))
1252 case Instruction::SExt:
1253 if (
I && getTLI()->isExtFree(
I))
1265 if (DstLT.first == SrcLT.first &&
1267 LI->getPointerAddressSpace(), LType,
false))
1270 switch (
II->getIntrinsicID()) {
1271 case Intrinsic::masked_load: {
1272 Type *PtrType =
II->getArgOperand(0)->getType();
1275 if (DstLT.first == SrcLT.first &&
1277 ExtVT, LoadVT,
II->getParamAlign(0).valueOrOne(),
1290 case Instruction::AddrSpaceCast:
1292 Dst->getPointerAddressSpace()))
1301 if (SrcLT.first == DstLT.first &&
1306 if (!SrcVTy && !DstVTy) {
1317 if (DstVTy && SrcVTy) {
1319 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1322 if (Opcode == Instruction::ZExt)
1326 if (Opcode == Instruction::SExt)
1327 return SrcLT.first * 2;
1333 return SrcLT.first * 1;
1346 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1347 DstVTy->getElementCount().isKnownEven()) {
1350 const T *TTI = thisT();
1353 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1355 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1367 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH,
CostKind,
I);
1380 if (Opcode == Instruction::BitCast) {
1397 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1398 CostKind, Index,
nullptr,
nullptr) +
1414 const Instruction *
I =
nullptr)
const override {
1415 const TargetLoweringBase *TLI = getTLI();
1416 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1417 assert(ISD &&
"Invalid opcode");
1421 Op1Info, Op2Info,
I);
1425 assert(CondTy &&
"CondTy must exist");
1426 if (CondTy->isVectorTy())
1432 !TLI->isOperationExpand(ISD,
LT.second)) {
1435 return LT.first * 1;
1447 Opcode, ValVTy->getScalarType(), CondTy->
getScalarType(), VecPred,
1463 unsigned Index,
const Value *Op0,
const Value *Op1,
1476 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1488 Value *Op0 =
nullptr;
1489 Value *Op1 =
nullptr;
1491 Op0 = IE->getOperand(0);
1492 Op1 = IE->getOperand(1);
1497 return thisT()->getVectorInstrCost(
I.getOpcode(), Val,
CostKind, Index, Op0,
1504 unsigned Index)
const override {
1505 unsigned NewIndex = -1;
1508 "Unexpected index from end of vector");
1509 NewIndex = FVTy->getNumElements() - 1 - Index;
1511 return thisT()->getVectorInstrCost(Opcode, Val,
CostKind, NewIndex,
nullptr,
1517 const APInt &DemandedDstElts,
1520 "Unexpected size of DemandedDstElts.");
1538 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1541 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1553 assert(!Src->isVoidTy() &&
"Invalid type");
1574 LT.second.getSizeInBits())) {
1580 if (Opcode == Instruction::Store)
1592 Opcode == Instruction::Store,
CostKind);
1602 bool UseMaskForCond =
false,
bool UseMaskForGaps =
false)
const override {
1610 unsigned NumElts = VT->getNumElements();
1611 assert(Factor > 1 && NumElts % Factor == 0 &&
"Invalid interleave factor");
1613 unsigned NumSubElts = NumElts / Factor;
1618 if (UseMaskForCond || UseMaskForGaps) {
1619 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1620 : Intrinsic::masked_store;
1621 Cost = thisT()->getMemIntrinsicInstrCost(
1631 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1648 if (
Cost.isValid() && VecTySize > VecTyLTSize) {
1651 unsigned NumLegalInsts =
divideCeil(VecTySize, VecTyLTSize);
1655 unsigned NumEltsPerLegalInst =
divideCeil(NumElts, NumLegalInsts);
1658 BitVector UsedInsts(NumLegalInsts,
false);
1659 for (
unsigned Index : Indices)
1660 for (
unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1661 UsedInsts.
set((Index + Elt * Factor) / NumEltsPerLegalInst);
1670 "Interleaved memory op has too many members");
1676 for (
unsigned Index : Indices) {
1677 assert(Index < Factor &&
"Invalid index for interleaved memory op");
1678 for (
unsigned Elm = 0; Elm < NumSubElts; Elm++)
1679 DemandedLoadStoreElts.
setBit(Index + Elm * Factor);
1682 if (Opcode == Instruction::Load) {
1692 SubVT, DemandedAllSubElts,
1694 Cost += Indices.
size() * InsSubCost;
1695 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1713 SubVT, DemandedAllSubElts,
1715 Cost += ExtSubCost * Indices.
size();
1716 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1721 if (!UseMaskForCond)
1726 Cost += thisT()->getReplicationShuffleCost(
1727 I8Type, Factor, NumSubElts,
1728 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1736 if (UseMaskForGaps) {
1738 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1764 std::optional<unsigned> FOp =
1767 if (ICA.
getID() == Intrinsic::vp_load) {
1770 Alignment = VPI->getPointerAlignment().valueOrOne();
1774 AS = PtrTy->getAddressSpace();
1775 return thisT()->getMemoryOpCost(*FOp, ICA.
getReturnType(), Alignment,
1778 if (ICA.
getID() == Intrinsic::vp_store) {
1781 Alignment = VPI->getPointerAlignment().valueOrOne();
1785 AS = PtrTy->getAddressSpace();
1786 return thisT()->getMemoryOpCost(*FOp, ICA.
getArgTypes()[0], Alignment,
1790 ICA.
getID() == Intrinsic::vp_fneg) {
1791 return thisT()->getArithmeticInstrCost(*FOp, ICA.
getReturnType(),
1795 return thisT()->getCastInstrCost(
1804 return thisT()->getCmpSelInstrCost(*FOp, ICA.
getArgTypes()[0],
1810 if (ICA.
getID() == Intrinsic::vp_load_ff) {
1815 Alignment = VPI->getPointerAlignment().valueOrOne();
1816 return thisT()->getMemIntrinsicInstrCost(
1820 if (ICA.
getID() == Intrinsic::vp_scatter) {
1830 Alignment = VPI->getPointerAlignment().valueOrOne();
1832 return thisT()->getMemIntrinsicInstrCost(
1835 VarMask, Alignment,
nullptr),
1838 if (ICA.
getID() == Intrinsic::vp_gather) {
1848 Alignment = VPI->getPointerAlignment().valueOrOne();
1850 return thisT()->getMemIntrinsicInstrCost(
1853 VarMask, Alignment,
nullptr),
1857 if (ICA.
getID() == Intrinsic::vp_select ||
1858 ICA.
getID() == Intrinsic::vp_merge) {
1869 std::optional<Intrinsic::ID> FID =
1873 if (ICA.
getID() == Intrinsic::experimental_vp_reverse)
1874 FID = Intrinsic::vector_reverse;
1880 "Expected VPIntrinsic to have Mask and Vector Length args and "
1892 *FID != Intrinsic::vector_reduce_fadd &&
1893 *FID != Intrinsic::vector_reduce_fmul) {
1901 return thisT()->getIntrinsicInstrCost(NewICA,
CostKind);
1920 case Intrinsic::powi:
1922 bool ShouldOptForSize =
I->getParent()->getParent()->hasOptSize();
1923 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1924 ShouldOptForSize)) {
1928 unsigned ActiveBits =
Exponent.getActiveBits();
1929 unsigned PopCount =
Exponent.popcount();
1931 thisT()->getArithmeticInstrCost(
1932 Instruction::FMul, RetTy,
CostKind);
1933 if (RHSC->isNegative())
1934 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1940 case Intrinsic::cttz:
1942 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1946 case Intrinsic::ctlz:
1948 if (RetVF.
isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1952 case Intrinsic::memcpy:
1953 return thisT()->getMemcpyCost(ICA.
getInst());
1955 case Intrinsic::masked_scatter: {
1956 const Value *Mask = Args[2];
1958 Align Alignment =
I->getParamAlign(1).valueOrOne();
1959 return thisT()->getMemIntrinsicInstrCost(
1965 case Intrinsic::masked_gather: {
1966 const Value *Mask = Args[1];
1968 Align Alignment =
I->getParamAlign(0).valueOrOne();
1969 return thisT()->getMemIntrinsicInstrCost(
1971 VarMask, Alignment,
I),
1974 case Intrinsic::masked_compressstore: {
1976 const Value *Mask = Args[2];
1977 Align Alignment =
I->getParamAlign(1).valueOrOne();
1978 return thisT()->getMemIntrinsicInstrCost(
1983 case Intrinsic::masked_expandload: {
1984 const Value *Mask = Args[1];
1985 Align Alignment =
I->getParamAlign(0).valueOrOne();
1986 return thisT()->getMemIntrinsicInstrCost(
1991 case Intrinsic::experimental_vp_strided_store: {
1993 const Value *Ptr = Args[1];
1994 const Value *Mask = Args[3];
1995 const Value *EVL = Args[4];
1999 I->getParamAlign(1).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2000 return thisT()->getMemIntrinsicInstrCost(
2005 case Intrinsic::experimental_vp_strided_load: {
2006 const Value *Ptr = Args[0];
2007 const Value *Mask = Args[2];
2008 const Value *EVL = Args[3];
2012 I->getParamAlign(0).value_or(thisT()->
DL.getABITypeAlign(EltTy));
2013 return thisT()->getMemIntrinsicInstrCost(
2017 case Intrinsic::stepvector: {
2023 case Intrinsic::vector_extract: {
2034 case Intrinsic::vector_insert: {
2040 return thisT()->getShuffleCost(
2045 case Intrinsic::vector_splice_left:
2046 case Intrinsic::vector_splice_right: {
2050 unsigned Index = COffset->getZExtValue();
2051 return thisT()->getShuffleCost(
2054 IID == Intrinsic::vector_splice_left ? Index : -Index,
2057 case Intrinsic::vector_reduce_add:
2058 case Intrinsic::vector_reduce_mul:
2059 case Intrinsic::vector_reduce_and:
2060 case Intrinsic::vector_reduce_or:
2061 case Intrinsic::vector_reduce_xor:
2062 case Intrinsic::vector_reduce_smax:
2063 case Intrinsic::vector_reduce_smin:
2064 case Intrinsic::vector_reduce_fmax:
2065 case Intrinsic::vector_reduce_fmin:
2066 case Intrinsic::vector_reduce_fmaximum:
2067 case Intrinsic::vector_reduce_fminimum:
2068 case Intrinsic::vector_reduce_umax:
2069 case Intrinsic::vector_reduce_umin: {
2073 case Intrinsic::vector_reduce_fadd:
2074 case Intrinsic::vector_reduce_fmul: {
2076 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF,
I, 1);
2079 case Intrinsic::fshl:
2080 case Intrinsic::fshr: {
2081 const Value *
X = Args[0];
2082 const Value *
Y = Args[1];
2083 const Value *Z = Args[2];
2092 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2093 Cost += thisT()->getArithmeticInstrCost(
2094 BinaryOperator::Shl, RetTy,
CostKind, OpInfoX,
2096 Cost += thisT()->getArithmeticInstrCost(
2097 BinaryOperator::LShr, RetTy,
CostKind, OpInfoY,
2101 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2106 Cost += thisT()->getArithmeticInstrCost(
2108 : BinaryOperator::URem,
2110 {TTI::OK_UniformConstantValue, TTI::OP_None});
2114 Cost += thisT()->getCmpSelInstrCost(
2117 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2123 case Intrinsic::experimental_cttz_elts: {
2128 if (!getTLI()->shouldExpandCttzElements(ArgType))
2141 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2143 ZeroIsPoison, &VScaleRange);
2153 thisT()->getIntrinsicInstrCost(StepVecAttrs,
CostKind);
2156 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy,
CostKind);
2157 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2161 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy,
CostKind);
2164 NewEltTy, NewVecTy, FMF,
I, 1);
2165 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs,
CostKind);
2167 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy,
CostKind);
2171 case Intrinsic::get_active_lane_mask:
2172 case Intrinsic::experimental_vector_match:
2173 case Intrinsic::experimental_vector_histogram_add:
2174 case Intrinsic::experimental_vector_histogram_uadd_sat:
2175 case Intrinsic::experimental_vector_histogram_umax:
2176 case Intrinsic::experimental_vector_histogram_umin:
2177 case Intrinsic::masked_udiv:
2178 case Intrinsic::masked_sdiv:
2179 case Intrinsic::masked_urem:
2180 case Intrinsic::masked_srem:
2181 return thisT()->getTypeBasedIntrinsicInstrCost(ICA,
CostKind);
2182 case Intrinsic::modf:
2183 case Intrinsic::sincos:
2184 case Intrinsic::sincospi: {
2185 std::optional<unsigned> CallRetElementIndex;
2188 if (ICA.
getID() == Intrinsic::modf)
2189 CallRetElementIndex = 0;
2191 if (
auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2192 ICA,
CostKind, CallRetElementIndex))
2197 case Intrinsic::loop_dependence_war_mask:
2198 case Intrinsic::loop_dependence_raw_mask: {
2216 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2219 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy,
CostKind);
2220 if (IsReadAfterWrite) {
2222 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs,
CostKind);
2227 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2233 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2235 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2239 {AddrTy, AddrTy}, FMF);
2240 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2250 ScalarizationCost = 0;
2259 filterConstantAndDuplicatedOperands(Args, ICA.
getArgTypes()),
2265 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2286 unsigned VecTyIndex = 0;
2287 if (IID == Intrinsic::vector_reduce_fadd ||
2288 IID == Intrinsic::vector_reduce_fmul)
2290 assert(Tys.
size() > VecTyIndex &&
"Unexpected IntrinsicCostAttributes");
2307 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2308 unsigned ScalarCalls = 1;
2309 Type *ScalarRetTy = RetTy;
2311 if (!SkipScalarizationCost)
2314 ScalarCalls = std::max(ScalarCalls,
2319 for (
Type *Ty : Tys) {
2321 if (!SkipScalarizationCost)
2324 ScalarCalls = std::max(ScalarCalls,
2326 Ty = Ty->getScalarType();
2330 if (ScalarCalls == 1)
2335 thisT()->getIntrinsicInstrCost(ScalarAttrs,
CostKind);
2337 return ScalarCalls * ScalarCost + ScalarizationCost;
2341 case Intrinsic::sqrt:
2344 case Intrinsic::sin:
2347 case Intrinsic::cos:
2350 case Intrinsic::sincos:
2353 case Intrinsic::sincospi:
2356 case Intrinsic::modf:
2359 case Intrinsic::tan:
2362 case Intrinsic::asin:
2365 case Intrinsic::acos:
2368 case Intrinsic::atan:
2371 case Intrinsic::atan2:
2374 case Intrinsic::sinh:
2377 case Intrinsic::cosh:
2380 case Intrinsic::tanh:
2383 case Intrinsic::exp:
2386 case Intrinsic::exp2:
2389 case Intrinsic::exp10:
2392 case Intrinsic::log:
2395 case Intrinsic::log10:
2398 case Intrinsic::log2:
2401 case Intrinsic::ldexp:
2404 case Intrinsic::fabs:
2407 case Intrinsic::canonicalize:
2410 case Intrinsic::minnum:
2413 case Intrinsic::maxnum:
2416 case Intrinsic::minimum:
2419 case Intrinsic::maximum:
2422 case Intrinsic::minimumnum:
2425 case Intrinsic::maximumnum:
2428 case Intrinsic::copysign:
2431 case Intrinsic::floor:
2434 case Intrinsic::ceil:
2437 case Intrinsic::trunc:
2440 case Intrinsic::nearbyint:
2443 case Intrinsic::rint:
2446 case Intrinsic::lrint:
2449 case Intrinsic::llrint:
2452 case Intrinsic::round:
2455 case Intrinsic::roundeven:
2458 case Intrinsic::lround:
2461 case Intrinsic::llround:
2464 case Intrinsic::pow:
2467 case Intrinsic::fma:
2470 case Intrinsic::fmuladd:
2473 case Intrinsic::experimental_constrained_fmuladd:
2477 case Intrinsic::lifetime_start:
2478 case Intrinsic::lifetime_end:
2479 case Intrinsic::sideeffect:
2480 case Intrinsic::pseudoprobe:
2481 case Intrinsic::arithmetic_fence:
2483 case Intrinsic::masked_store: {
2485 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2486 return thisT()->getMemIntrinsicInstrCost(
2489 case Intrinsic::masked_load: {
2491 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2492 return thisT()->getMemIntrinsicInstrCost(
2495 case Intrinsic::experimental_vp_strided_store: {
2497 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2498 return thisT()->getMemIntrinsicInstrCost(
2504 case Intrinsic::experimental_vp_strided_load: {
2506 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2507 return thisT()->getMemIntrinsicInstrCost(
2513 case Intrinsic::vector_reduce_add:
2514 case Intrinsic::vector_reduce_mul:
2515 case Intrinsic::vector_reduce_and:
2516 case Intrinsic::vector_reduce_or:
2517 case Intrinsic::vector_reduce_xor:
2518 return thisT()->getArithmeticReductionCost(
2521 case Intrinsic::vector_reduce_fadd:
2522 case Intrinsic::vector_reduce_fmul:
2523 return thisT()->getArithmeticReductionCost(
2525 case Intrinsic::vector_reduce_smax:
2526 case Intrinsic::vector_reduce_smin:
2527 case Intrinsic::vector_reduce_umax:
2528 case Intrinsic::vector_reduce_umin:
2529 case Intrinsic::vector_reduce_fmax:
2530 case Intrinsic::vector_reduce_fmin:
2531 case Intrinsic::vector_reduce_fmaximum:
2532 case Intrinsic::vector_reduce_fminimum:
2535 case Intrinsic::experimental_vector_match: {
2538 unsigned SearchSize = NeedleTy->getNumElements();
2542 EVT SearchVT = getTLI()->getValueType(
DL, SearchTy);
2543 if (!getTLI()->shouldExpandVectorMatch(SearchVT, SearchSize))
2549 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2551 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2555 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2558 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2561 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy,
CostKind);
2564 case Intrinsic::vector_reverse:
2568 case Intrinsic::experimental_vector_histogram_add:
2569 case Intrinsic::experimental_vector_histogram_uadd_sat:
2570 case Intrinsic::experimental_vector_histogram_umax:
2571 case Intrinsic::experimental_vector_histogram_umin: {
2579 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2581 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2583 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2588 case Intrinsic::experimental_vector_histogram_add:
2590 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy,
CostKind);
2592 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2594 Cost += thisT()->getIntrinsicInstrCost(UAddSat,
CostKind);
2597 case Intrinsic::experimental_vector_histogram_umax: {
2602 case Intrinsic::experimental_vector_histogram_umin: {
2608 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2613 case Intrinsic::get_active_lane_mask: {
2615 EVT ResVT = getTLI()->getValueType(
DL, RetTy,
true);
2616 EVT ArgVT = getTLI()->getValueType(
DL, ArgTy,
true);
2620 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2629 thisT()->getTypeBasedIntrinsicInstrCost(Attrs,
CostKind);
2630 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2634 case Intrinsic::experimental_memset_pattern:
2639 case Intrinsic::abs:
2642 case Intrinsic::fshl:
2645 case Intrinsic::fshr:
2648 case Intrinsic::smax:
2651 case Intrinsic::smin:
2654 case Intrinsic::umax:
2657 case Intrinsic::umin:
2660 case Intrinsic::sadd_sat:
2663 case Intrinsic::ssub_sat:
2666 case Intrinsic::uadd_sat:
2669 case Intrinsic::usub_sat:
2672 case Intrinsic::smul_fix:
2675 case Intrinsic::umul_fix:
2678 case Intrinsic::sadd_with_overflow:
2681 case Intrinsic::ssub_with_overflow:
2684 case Intrinsic::uadd_with_overflow:
2687 case Intrinsic::usub_with_overflow:
2690 case Intrinsic::smul_with_overflow:
2693 case Intrinsic::umul_with_overflow:
2696 case Intrinsic::fptosi_sat:
2697 case Intrinsic::fptoui_sat: {
2703 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2709 case Intrinsic::ctpop:
2715 case Intrinsic::ctlz:
2718 case Intrinsic::cttz:
2721 case Intrinsic::bswap:
2724 case Intrinsic::bitreverse:
2727 case Intrinsic::ucmp:
2730 case Intrinsic::scmp:
2733 case Intrinsic::clmul:
2736 case Intrinsic::masked_udiv:
2737 case Intrinsic::masked_sdiv:
2738 case Intrinsic::masked_urem:
2739 case Intrinsic::masked_srem: {
2740 unsigned UnmaskedOpc;
2742 case Intrinsic::masked_udiv:
2744 UnmaskedOpc = Instruction::UDiv;
2746 case Intrinsic::masked_sdiv:
2748 UnmaskedOpc = Instruction::SDiv;
2750 case Intrinsic::masked_urem:
2752 UnmaskedOpc = Instruction::URem;
2754 case Intrinsic::masked_srem:
2756 UnmaskedOpc = Instruction::SRem;
2762 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy,
CostKind);
2766 if (!getTLI()->isOperationLegalOrCustom(
ISD, LT)) {
2769 Cost += thisT()->getCmpSelInstrCost(
2779 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2785 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2795 return (LT.first * 2);
2797 return (LT.first * 1);
2801 return (LT.first * 2);
2805 case Intrinsic::fmuladd: {
2809 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2811 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2814 case Intrinsic::experimental_constrained_fmuladd: {
2816 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2818 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2819 return thisT()->getIntrinsicInstrCost(FMulAttrs,
CostKind) +
2820 thisT()->getIntrinsicInstrCost(FAddAttrs,
CostKind);
2822 case Intrinsic::smin:
2823 case Intrinsic::smax:
2824 case Intrinsic::umin:
2825 case Intrinsic::umax: {
2828 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2832 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2834 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2838 case Intrinsic::sadd_with_overflow:
2839 case Intrinsic::ssub_with_overflow: {
2842 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2843 ? BinaryOperator::Add
2844 : BinaryOperator::Sub;
2851 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2853 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2855 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2859 case Intrinsic::uadd_with_overflow:
2860 case Intrinsic::usub_with_overflow: {
2863 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2864 ? BinaryOperator::Add
2865 : BinaryOperator::Sub;
2871 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy,
CostKind);
2872 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2876 case Intrinsic::smul_with_overflow:
2877 case Intrinsic::umul_with_overflow: {
2882 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2884 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2888 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH,
CostKind);
2890 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2891 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2893 Cost += thisT()->getArithmeticInstrCost(
2898 Cost += thisT()->getArithmeticInstrCost(
2899 Instruction::AShr, MulTy,
CostKind,
2903 Cost += thisT()->getCmpSelInstrCost(
2907 case Intrinsic::sadd_sat:
2908 case Intrinsic::ssub_sat: {
2914 ? Intrinsic::sadd_with_overflow
2915 : Intrinsic::ssub_with_overflow;
2922 nullptr, ScalarizationCostPassed);
2923 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2924 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2926 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
2930 case Intrinsic::uadd_sat:
2931 case Intrinsic::usub_sat: {
2936 ? Intrinsic::uadd_with_overflow
2937 : Intrinsic::usub_with_overflow;
2941 nullptr, ScalarizationCostPassed);
2942 Cost += thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
2944 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2948 case Intrinsic::smul_fix:
2949 case Intrinsic::umul_fix: {
2954 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
2958 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH,
CostKind);
2960 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
2961 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
2963 Cost += thisT()->getArithmeticInstrCost(
2966 Cost += thisT()->getArithmeticInstrCost(
2969 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
2972 case Intrinsic::abs: {
2977 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2979 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2982 Cost += thisT()->getArithmeticInstrCost(
2983 BinaryOperator::Sub, RetTy,
CostKind,
2987 case Intrinsic::fshl:
2988 case Intrinsic::fshr: {
2994 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy,
CostKind);
2996 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
CostKind);
2998 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy,
CostKind);
2999 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3004 Cost += thisT()->getArithmeticInstrCost(
3006 : BinaryOperator::URem,
3007 RetTy,
CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3008 {TTI::OK_UniformConstantValue, TTI::OP_None});
3010 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3012 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3016 case Intrinsic::fptosi_sat:
3017 case Intrinsic::fptoui_sat: {
3020 Type *FromTy = Tys[0];
3021 bool IsSigned = IID == Intrinsic::fptosi_sat;
3026 Cost += thisT()->getIntrinsicInstrCost(Attrs1,
CostKind);
3029 Cost += thisT()->getIntrinsicInstrCost(Attrs2,
CostKind);
3030 Cost += thisT()->getCastInstrCost(
3031 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3035 Cost += thisT()->getCmpSelInstrCost(
3037 Cost += thisT()->getCmpSelInstrCost(
3042 case Intrinsic::ucmp:
3043 case Intrinsic::scmp: {
3044 Type *CmpTy = Tys[0];
3047 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3050 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3057 Cost += 2 * thisT()->getCmpSelInstrCost(
3058 BinaryOperator::Select, RetTy, CondTy,
3063 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3065 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3070 case Intrinsic::maximumnum:
3071 case Intrinsic::minimumnum: {
3086 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs,
CostKind);
3087 return LT.first + FCanonicalizeCost * 2;
3091 case Intrinsic::clmul: {
3096 thisT()->getArithmeticInstrCost(Instruction::And, RetTy,
CostKind);
3098 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy,
CostKind);
3100 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy,
CostKind);
3102 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy,
CostKind);
3106 if (BW >= 32 && BW <= 64 &&
3109 return 16 * MulCost + 12 * AndCost + 12 * XorCost + 3 * OrCost;
3115 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3117 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3119 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3120 return BW * PerBitCost;
3138 if (!SkipScalarizationCost) {
3139 ScalarizationCost = 0;
3140 for (
Type *RetVTy : RetVTys) {
3149 for (
Type *Ty : Tys) {
3150 if (Ty->isVectorTy())
3151 Ty = Ty->getScalarType();
3156 thisT()->getIntrinsicInstrCost(Attrs,
CostKind);
3157 for (
Type *Ty : Tys) {
3162 ScalarCalls = std::max(ScalarCalls,
3166 return ScalarCalls * ScalarCost + ScalarizationCost;
3170 return SingleCallCost;
3177 unsigned Id = MICA.
getID();
3183 case Intrinsic::experimental_vp_strided_load:
3184 case Intrinsic::experimental_vp_strided_store: {
3185 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3187 : Instruction::Store;
3191 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3194 case Intrinsic::masked_scatter:
3195 case Intrinsic::masked_gather:
3196 case Intrinsic::vp_scatter:
3197 case Intrinsic::vp_gather: {
3198 unsigned Opcode = (MICA.
getID() == Intrinsic::masked_gather ||
3199 MICA.
getID() == Intrinsic::vp_gather)
3201 : Instruction::Store;
3203 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3206 case Intrinsic::vp_load:
3207 case Intrinsic::vp_store:
3209 case Intrinsic::masked_load:
3210 case Intrinsic::masked_store: {
3212 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3214 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
true,
false,
3217 case Intrinsic::masked_compressstore:
3218 case Intrinsic::masked_expandload: {
3219 unsigned Opcode = MICA.
getID() == Intrinsic::masked_expandload
3221 : Instruction::Store;
3224 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3228 case Intrinsic::vp_load_ff:
3254 if (!LT.first.isValid())
3259 Tp && LT.second.isFixedLengthVector() &&
3264 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3266 return LT.first.getValue();
3303 Type *ScalarTy = Ty->getElementType();
3305 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3315 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3317 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3321 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3324 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3325 unsigned LongVectorCount = 0;
3327 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3328 while (NumVecElts > MVTLen) {
3331 ShuffleCost += thisT()->getShuffleCost(
3333 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy,
CostKind);
3338 NumReduxLevels -= LongVectorCount;
3350 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty,
CostKind);
3351 return ShuffleCost + ArithCost +
3352 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3386 return ExtractCost + ArithCost;
3391 std::optional<FastMathFlags> FMF,
3393 assert(Ty &&
"Unknown reduction vector type");
3409 Type *ScalarTy = Ty->getElementType();
3411 unsigned NumReduxLevels =
Log2_32(NumVecElts);
3414 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3415 unsigned LongVectorCount = 0;
3417 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3418 while (NumVecElts > MVTLen) {
3422 ShuffleCost += thisT()->getShuffleCost(
3431 NumReduxLevels -= LongVectorCount;
3444 return ShuffleCost + MinMaxCost +
3445 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3451 VectorType *Ty, std::optional<FastMathFlags> FMF,
3454 FTy && IsUnsigned && Opcode == Instruction::Add &&
3462 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3464 thisT()->getIntrinsicInstrCost(ICA,
CostKind);
3470 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF,
CostKind);
3472 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3475 return RedCost + ExtCost;
3485 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3486 "The reduction opcode is expected to be Add or Sub.");
3489 RedOpcode, ExtTy, std::nullopt,
CostKind);
3491 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3495 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy,
CostKind);
3497 return RedCost + MulCost + 2 * ExtCost;
3501 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
3505 std::optional<FastMathFlags> FMF)
const override {
3508 unsigned Ratio = EltSizeAcc / EltSizeInA;
3510 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3515 Type *AccumVectorType =
3531 return ExtendCostA + ReductionOpCost;
3539 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 unsigned getNumElements(Type *Ty)
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
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
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
unsigned getMaxInterleaveFactor(ElementCount VF) 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.
bool isNumRegsMajorCostOfLSR() const override
LLVM_ABI BasicTTIImpl(const TargetMachine *TM, const Function &F)
size_type count() const
Returns the number of bits which are set.
BitVector & set()
Set all bits in the bitvector.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ ICMP_SLE
signed less or equal
@ ICMP_UGT
unsigned greater than
@ ICMP_SGT
signed greater than
@ ICMP_ULT
unsigned less than
@ FCMP_UNO
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
static CmpInst::Predicate getGTPredicate(Intrinsic::ID ID)
static CmpInst::Predicate getLTPredicate(Intrinsic::ID ID)
This class represents a range of values.
A parsed version of the target data layout string in and methods for querying it.
constexpr bool isVector() const
One or more elements.
static constexpr ElementCount getFixed(ScalarTy MinVal)
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
Container class for subtarget features.
Class to represent fixed width SIMD vectors.
unsigned getNumElements() const
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
AttributeList getAttributes() const
Return the attribute list for this Function.
The core instruction combiner logic.
static InstructionCost getInvalid(CostType Val=0)
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
FastMathFlags getFlags() const
const SmallVectorImpl< Type * > & getArgTypes() const
Type * getReturnType() const
bool skipScalarizationCost() const
const SmallVectorImpl< const Value * > & getArgs() const
InstructionCost getScalarizationCost() const
const IntrinsicInst * getInst() const
Intrinsic::ID getID() const
bool isTypeBasedOnly() const
A wrapper class for inspecting calls to intrinsic functions.
This is an important class for using LLVM in a threaded context.
Represents a single loop in the control flow graph.
const FeatureBitset & getFeatureBits() const
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Information for memory intrinsic cost model.
Align getAlignment() const
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.
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 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.
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).
FunctionAddr VTableAddr uintptr_t uintptr_t Data
@ 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*...