29#include "llvm/IR/IntrinsicsAMDGPU.h"
36#define DEBUG_TYPE "AMDGPUtti"
39 "amdgpu-unroll-threshold-private",
40 cl::desc(
"Unroll threshold for AMDGPU if private memory used in a loop"),
44 "amdgpu-unroll-threshold-local",
45 cl::desc(
"Unroll threshold for AMDGPU if local memory used in a loop"),
49 "amdgpu-unroll-threshold-if",
50 cl::desc(
"Unroll threshold increment for AMDGPU for each if statement inside loop"),
54 "amdgpu-unroll-runtime-local",
55 cl::desc(
"Allow runtime unroll for AMDGPU if local memory used in a loop"),
59 "amdgpu-unroll-max-block-to-analyze",
60 cl::desc(
"Inner loop block size threshold to analyze in unroll for AMDGPU"),
65 cl::desc(
"Cost of alloca argument"));
73 cl::desc(
"Maximum alloca size to use for inline cost"));
78 cl::desc(
"Maximum number of BBs allowed in a function after inlining"
79 " (compile time constraint)"));
83 "amdgpu-memcpy-loop-unroll",
84 cl::desc(
"Unroll factor (affecting 4x32-bit operations) to use for memory "
85 "operations when lowering statically-sized memcpy, memmove, or"
97 for (
const Value *V :
I->operand_values()) {
100 return SubLoop->contains(PHI); }))
110 TargetTriple(
F.
getParent()->getTargetTriple()),
112 TLI(ST->getTargetLowering()) {}
117 const Function &
F = *L->getHeader()->getParent();
119 F.getFnAttributeAsParsedInteger(
"amdgpu-unroll-threshold", 300);
121 F.getFnAttributeAsParsedInteger(
"amdgpu-partial-unroll-threshold", 150);
122 UP.
MaxCount = std::numeric_limits<unsigned>::max();
137 const unsigned MaxAlloca = (256 - 16) * 4;
143 if (
MDNode *LoopUnrollThreshold =
145 if (LoopUnrollThreshold->getNumOperands() == 2) {
147 LoopUnrollThreshold->getOperand(1));
148 if (MetaThresholdValue) {
154 ThresholdPrivate = std::min(ThresholdPrivate, UP.
Threshold);
155 ThresholdLocal = std::min(ThresholdLocal, UP.
Threshold);
160 unsigned MaxBoost = std::max(ThresholdPrivate, ThresholdLocal);
163 unsigned LocalGEPsSeen = 0;
166 return SubLoop->contains(BB); }))
179 if ((L->contains(Succ0) && L->isLoopExiting(Succ0)) ||
180 (L->contains(Succ1) && L->isLoopExiting(Succ1)))
186 << *L <<
" due to " << *Br <<
'\n');
198 unsigned AS =
GEP->getAddressSpace();
199 unsigned Threshold = 0;
201 Threshold = ThresholdPrivate;
203 Threshold = ThresholdLocal;
211 const Value *Ptr =
GEP->getPointerOperand();
217 if (!AllocaSize || AllocaSize->getFixedValue() > MaxAlloca)
226 if (LocalGEPsSeen > 1 || L->getLoopDepth() > 2 ||
231 << *L <<
" due to LDS use.\n");
236 bool HasLoopDef =
false;
239 if (!Inst || L->isLoopInvariant(
Op))
243 return SubLoop->contains(Inst); }))
267 << *L <<
" due to " << *
GEP <<
'\n');
291 TLI(ST->getTargetLowering()), CommonTTI(TM,
F),
292 IsGraphics(
AMDGPU::isGraphics(
F.getCallingConv())) {
298 return !
F || !ST->isSingleLaneExecution(*
F);
319 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()) ? 128
320 : ST->hasAnyPackedFP32Ops() ? 64
333 if (Opcode == Instruction::Load || Opcode == Instruction::Store)
334 return 32 * 4 / ElemWidth;
337 return (ElemWidth == 8 && ST->has16BitInsts()) ? 4
338 : (ElemWidth == 16 && ST->has16BitInsts()) ? 2
339 : (ElemWidth == 32 && ST->hasAnyPackedFP32Ops()) ? 2
340 : (ElemWidth == 64 &&
341 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()))
352 return !ST->hasGFX940Insts() && !ST->hasGFX950Insts();
356 unsigned ChainSizeInBytes,
358 unsigned VecRegBitWidth = VF * LoadSize;
361 return 128 / LoadSize;
367 unsigned ChainSizeInBytes,
369 unsigned VecRegBitWidth = VF * StoreSize;
370 if (VecRegBitWidth > 128)
371 return 128 / StoreSize;
387 return 8 * ST->getMaxPrivateElementSize();
395 unsigned AddrSpace)
const {
400 return (Alignment >= 4 || ST->hasUnalignedScratchAccessEnabled()) &&
401 ChainSizeInBytes <= ST->getMaxPrivateElementSize();
408 unsigned AddrSpace)
const {
414 unsigned AddrSpace)
const {
424 unsigned DestAddrSpace,
Align SrcAlign,
Align DestAlign,
425 std::optional<uint32_t> AtomicElementSize)
const {
427 if (AtomicElementSize)
441 unsigned I32EltsInVector = 4;
451 unsigned RemainingBytes,
unsigned SrcAddrSpace,
unsigned DestAddrSpace,
453 std::optional<uint32_t> AtomicCpySize)
const {
457 OpsOut, Context, RemainingBytes, SrcAddrSpace, DestAddrSpace, SrcAlign,
458 DestAlign, AtomicCpySize);
461 while (RemainingBytes >= 16) {
463 RemainingBytes -= 16;
467 while (RemainingBytes >= 8) {
473 while (RemainingBytes >= 4) {
479 while (RemainingBytes >= 2) {
485 while (RemainingBytes) {
492 bool HasUnorderedReductions)
const {
504 case Intrinsic::amdgcn_ds_ordered_add:
505 case Intrinsic::amdgcn_ds_ordered_swap: {
508 if (!Ordering || !Volatile)
511 unsigned OrderingVal = Ordering->getZExtValue();
518 Info.WriteMem =
true;
519 Info.IsVolatile = !Volatile->isZero();
534 FAddSub->
getOpcode() == Instruction::FSub) &&
535 "Expected an fadd or an fsub");
542 if (!HasFMAD && !HasFMA)
554 if (
FMul &&
FMul->getOpcode() == Instruction::FMul &&
FMul->hasOneUse() &&
568 if (!Fused || FAddSub->
getOpcode() != Instruction::FAdd ||
572 return Outer && Outer->getOpcode() == Instruction::FAdd &&
573 Outer->hasAllowReassoc() &&
583 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
584 int ISD = TLI->InstructionOpcodeToISD(Opcode);
588 unsigned NElts = LT.second.isVector() ?
589 LT.second.getVectorNumElements() : 1;
598 return get64BitInstrCost(
CostKind) * LT.first * NElts;
600 if (ST->has16BitInsts() && SLT == MVT::i16)
601 NElts = (NElts + 1) / 2;
604 return getFullRateInstrCost() * LT.first * NElts;
607 if (SLT == MVT::i64 && ST->hasAnyPackedU64Ops())
608 NElts = (NElts + 1) / 2;
613 if (SLT == MVT::i64) {
615 return 2 * getFullRateInstrCost() * LT.first * NElts;
618 if (ST->has16BitInsts() && SLT == MVT::i16)
619 NElts = (NElts + 1) / 2;
621 return LT.first * NElts * getFullRateInstrCost();
623 const int QuarterRateCost = getQuarterRateInstrCost(
CostKind);
624 if (SLT == MVT::i64) {
625 const int FullRateCost = getFullRateInstrCost();
626 return (4 * QuarterRateCost + (2 * 2) * FullRateCost) * LT.first * NElts;
629 if (ST->has16BitInsts() && SLT == MVT::i16)
630 NElts = (NElts + 1) / 2;
633 return QuarterRateCost * NElts * LT.first;
642 getMaximumVF(Ty->getScalarSizeInBits(), Opcode) == 1)) {
645 (FAddSub->getOpcode() == Instruction::FAdd ||
646 FAddSub->getOpcode() == Instruction::FSub) &&
653 if (ST->hasAnyPackedFP32Ops() && SLT == MVT::f32)
654 NElts = (NElts + 1) / 2;
655 if (ST->hasBF16PackedInsts() && SLT == MVT::bf16)
656 NElts = (NElts + 1) / 2;
657 if (SLT == MVT::f64) {
658 if (ST->hasAnyPackedFP64Ops())
659 NElts = (NElts + 1) / 2;
660 return LT.first * NElts * get64BitInstrCost(
CostKind);
663 if (ST->has16BitInsts() && SLT == MVT::f16)
664 NElts = (NElts + 1) / 2;
666 if (SLT == MVT::f32 || SLT == MVT::f16 || SLT == MVT::bf16)
667 return LT.first * NElts * getFullRateInstrCost();
673 if (SLT == MVT::f64) {
678 if (!ST->hasUsableDivScaleConditionOutput())
679 Cost += 3 * getFullRateInstrCost();
681 return LT.first *
Cost * NElts;
686 if ((SLT == MVT::f32 && !HasFP32Denormals) ||
687 (SLT == MVT::f16 && ST->has16BitInsts())) {
688 return LT.first * getTransInstrCost(
CostKind) * NElts;
692 if (SLT == MVT::f16 && ST->has16BitInsts()) {
698 int Cost = 4 * getFullRateInstrCost() + 2 * getTransInstrCost(
CostKind);
699 return LT.first *
Cost * NElts;
706 int Cost = getTransInstrCost(
CostKind) + getFullRateInstrCost();
707 return LT.first *
Cost * NElts;
710 if (SLT == MVT::f32 || SLT == MVT::f16) {
712 int Cost = (SLT == MVT::f16 ? 14 : 10) * getFullRateInstrCost() +
715 if (!HasFP32Denormals) {
717 Cost += 2 * getFullRateInstrCost();
720 return LT.first * NElts *
Cost;
726 return TLI->isFNegFree(SLT) ? 0 : NElts;
740 case Intrinsic::fmuladd:
741 case Intrinsic::copysign:
742 case Intrinsic::minimumnum:
743 case Intrinsic::maximumnum:
744 case Intrinsic::canonicalize:
746 case Intrinsic::round:
747 case Intrinsic::uadd_sat:
748 case Intrinsic::usub_sat:
749 case Intrinsic::sadd_sat:
750 case Intrinsic::ssub_sat:
761 switch (ICA.
getID()) {
762 case Intrinsic::fabs:
765 case Intrinsic::amdgcn_workitem_id_x:
766 case Intrinsic::amdgcn_workitem_id_y:
767 case Intrinsic::amdgcn_workitem_id_z:
771 case Intrinsic::amdgcn_workgroup_id_x:
772 case Intrinsic::amdgcn_workgroup_id_y:
773 case Intrinsic::amdgcn_workgroup_id_z:
774 case Intrinsic::amdgcn_lds_kernel_id:
775 case Intrinsic::amdgcn_dispatch_ptr:
776 case Intrinsic::amdgcn_dispatch_id:
777 case Intrinsic::amdgcn_implicitarg_ptr:
778 case Intrinsic::amdgcn_queue_ptr:
790 case Intrinsic::exp2:
791 case Intrinsic::exp10: {
793 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
796 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
798 if (SLT == MVT::f64) {
800 if (IID == Intrinsic::exp)
802 else if (IID == Intrinsic::exp10)
808 if (SLT == MVT::f32) {
809 unsigned NumFullRateOps = 0;
811 unsigned NumTransOps = 1;
817 NumFullRateOps = ST->hasFastFMAF32() ? 13 : 17;
819 if (IID == Intrinsic::exp) {
822 }
else if (IID == Intrinsic::exp10) {
828 if (HasFP32Denormals)
833 NumTransOps * getTransInstrCost(
CostKind);
834 return LT.first * NElts *
Cost;
840 case Intrinsic::log2:
841 case Intrinsic::log10: {
842 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
845 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
847 if (SLT == MVT::f32) {
848 unsigned NumFullRateOps = 0;
850 if (IID == Intrinsic::log2) {
858 NumFullRateOps = ST->hasFastFMAF32() ? 8 : 11;
861 if (HasFP32Denormals)
865 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(
CostKind);
866 return LT.first * NElts *
Cost;
872 case Intrinsic::cos: {
873 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
876 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
878 if (SLT == MVT::f32) {
880 unsigned NumFullRateOps = ST->hasTrigReducedRange() ? 2 : 1;
883 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(
CostKind);
884 return LT.first * NElts *
Cost;
889 case Intrinsic::sqrt: {
890 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
893 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
895 if (SLT == MVT::f32) {
896 unsigned NumFullRateOps = 0;
900 NumFullRateOps = HasFP32Denormals ? 17 : 16;
904 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(
CostKind);
905 return LT.first * NElts *
Cost;
917 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
919 unsigned NElts = LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
921 if ((ST->hasVOP3PInsts() &&
922 (SLT == MVT::f16 || SLT == MVT::i16 ||
923 (SLT == MVT::bf16 && ST->hasBF16PackedInsts()))) ||
924 (ST->hasAnyPackedFP64Ops() && SLT == MVT::f64) ||
925 (ST->hasAnyPackedU64Ops() && SLT == MVT::i64)) {
926 NElts = (NElts + 1) / 2;
927 }
else if (SLT == MVT::f32) {
928 bool HasPk2FP32Op = ST->hasAnyPackedFP32Ops() &&
929 IID != Intrinsic::minimumnum &&
930 IID != Intrinsic::maximumnum;
931 NElts = HasPk2FP32Op ? (NElts + 1) / 2 : NElts;
935 unsigned InstRate = getQuarterRateInstrCost(
CostKind);
937 switch (ICA.
getID()) {
939 case Intrinsic::fmuladd:
940 if (SLT == MVT::f64) {
941 InstRate = get64BitInstrCost(
CostKind);
945 if ((SLT == MVT::f32 && ST->hasFastFMAF32()) || SLT == MVT::f16)
946 InstRate = getFullRateInstrCost();
948 InstRate = ST->hasFastFMAF32() ? getHalfRateInstrCost(
CostKind)
949 : getQuarterRateInstrCost(
CostKind);
952 case Intrinsic::copysign:
953 return NElts * getFullRateInstrCost();
954 case Intrinsic::minimumnum:
955 case Intrinsic::maximumnum: {
967 SLT == MVT::f64 ? get64BitInstrCost(
CostKind) : getFullRateInstrCost();
968 InstRate = BaseRate *
NumOps;
971 case Intrinsic::canonicalize: {
973 SLT == MVT::f64 ? get64BitInstrCost(
CostKind) : getFullRateInstrCost();
976 case Intrinsic::uadd_sat:
977 case Intrinsic::usub_sat:
978 case Intrinsic::sadd_sat:
979 case Intrinsic::ssub_sat: {
980 if (SLT == MVT::i16 || SLT == MVT::i32)
981 InstRate = getFullRateInstrCost();
983 static const auto ValidSatTys = {MVT::v2i16, MVT::v4i16};
990 if (SLT == MVT::i16 || SLT == MVT::i32)
991 InstRate = 2 * getFullRateInstrCost();
997 return LT.first * NElts * InstRate;
1003 assert((
I ==
nullptr ||
I->getOpcode() == Opcode) &&
1004 "Opcode should reflect passed instruction.");
1007 const int CBrCost = SCost ? 5 : 7;
1009 case Instruction::UncondBr:
1011 return SCost ? 1 : 4;
1012 case Instruction::CondBr:
1016 case Instruction::Switch: {
1020 return (
SI ? (
SI->getNumCases() + 1) : 4) * (CBrCost + 1);
1022 case Instruction::Ret:
1023 return SCost ? 1 : 10;
1038 Op1Info, Op2Info,
I);
1048 if (FVT && FVT->getElementType()->isIntegerTy(1) && FVT->getNumElements() > 1)
1049 return FVT->getNumElements();
1050 return std::nullopt;
1059 if (Opcode == Instruction::BitCast) {
1061 Elts && Dst->isIntegerTy(*Elts))
1063 getFullRateInstrCost();
1065 Elts && Src->isIntegerTy(*Elts))
1067 getFullRateInstrCost();
1073 SrcVTy && Opcode == Instruction::FPTrunc && ST->has16BitInsts() &&
1074 SrcVTy->getElementType()->isFloatTy() &&
1075 Dst->getScalarType()->isHalfTy()) {
1076 const unsigned NElts = SrcVTy->getNumElements();
1077 const unsigned Ops = ST->hasCvtPkF16F32Inst() ?
divideCeil(NElts, 2)
1078 : ST->useRealTrue16Insts() ? NElts
1079 : NElts + NElts / 2;
1083 const int ISD = TLI->InstructionOpcodeToISD(Opcode);
1095 Type *FPTy = (IsIntToFP ? Dst : Src)->getScalarType();
1102 NElts = VT->getNumElements();
1104 const unsigned SrcBits = Src->getScalarSizeInBits();
1105 const unsigned DstBits = Dst->getScalarSizeInBits();
1107 const unsigned IntBits = IsIntToFP ? SrcBits : DstBits;
1108 const bool UsesInt64 = IntBits > 32 && IntBits <= 64;
1110 auto Scale = [&](
unsigned FullRateOps,
1112 return NElts * (
InstructionCost(FullRateOps) * getFullRateInstrCost() +
1122 I && Src->isIntegerTy() &&
I->getOperand(0)->getType() == Src
1125 const unsigned AS =
Load ?
Load->getPointerAddressSpace() : 0;
1126 const bool LoadMayWiden =
1131 Load->hasMetadata(LLVMContext::MD_invariant_load)));
1132 const bool LoadExtends =
Load &&
Load->isSimple() &&
Load->hasOneUse() &&
1137 const unsigned ExtOps =
1138 UsesInt64 && SrcBits < 64 && !LoadExtends ? (IsSigned ? 2 : 1) : 0;
1140 if (SrcBits < 8 || (SrcBits > 32 && !UsesInt64))
1145 Scale(UsesInt64 ? ExtOps + (IsSigned ? 12 : 8) : 1);
1156 ST->hasBF16ConversionInsts()
1158 : Scale(!ST->has16BitInsts() ? 1
1159 : ST->hasGFX9Insts() ? 6
1161 return FloatCost + RoundCost;
1168 return Scale(ExtOps, 4);
1171 return Scale(ExtOps + (IsSigned ? 12 : 8));
1172 return Scale(ExtOps + (IsSigned ? 13 : 9));
1178 return Scale(1 + (SrcBits < 16 && IsSigned && ST->has16BitInsts()), 1);
1186 if (!ST->has16BitInsts() || SrcBits > 16) {
1191 if (ST->has16BitInsts() && ST->hasCvtPkF16F32Inst())
1193 getFullRateInstrCost();
1194 const unsigned PackOps =
1195 !ST->has16BitInsts() ? 2 : !ST->useRealTrue16Insts();
1196 return FloatCost + Scale(1) + PackOps * PairCost;
1204 const unsigned PerElt =
1205 1 + (SrcBits == 8 ? !ST->hasSDWA() : SrcBits < 16);
1206 const bool RealTrue16 = ST->useRealTrue16Insts();
1207 const unsigned PerPair =
1208 !RealTrue16 + (SrcBits == 8 || RealTrue16 ? SrcBits < 16 && IsSigned
1210 return Scale(PerElt) + PerPair * PairCost;
1213 if (SrcBits == 8 && !IsSigned)
1215 if (SrcBits < 16 && !IsSigned)
1217 unsigned PerElt = ST->hasSDWA() && SrcBits <= 16 ? 1 : 2;
1218 if (SrcBits < 16 && ST->has16BitInsts())
1220 return Scale(PerElt);
1228 if (SrcBits >= 8 && SrcBits < 32) {
1232 return Scale(FPTy->
isHalfTy() ? 2 : 1);
1234 const bool Narrow = SrcBits > 8 && SrcBits < 16;
1235 const bool SignExtend16 = IsSigned && Narrow && ST->has16BitInsts();
1237 return Scale(1 + 2 * SignExtend16, 1);
1239 return Scale(FPTy->
isHalfTy() ? 3 : 2);
1240 if (FPTy->
isHalfTy() && ST->has16BitInsts())
1241 return Scale(Narrow ? (IsSigned ? 3 : 2)
1242 : SrcBits == 8 && !ST->hasSDWA() ? 2
1245 SignExtend16 ? Scale(ST->hasSDWA() ? 3 : 4)
1247 : SrcBits == 8 && !IsSigned ? Scale(1)
1248 : Scale(ST->hasSDWA() ? 1 : 2);
1249 return FPTy->
isHalfTy() ? FloatCost + Scale(1) : FloatCost;
1257 const bool IsSigned64 = IsSigned || (DstBits < 64 && NElts == 1);
1261 return ST->haveRoundOpsF64() ? Scale(1, 6) : Scale(22, 7);
1265 ST->hasFastFMAF32() ? 0
1266 : NElts * (getQuarterRateInstrCost(
CostKind) -
1267 getFullRateInstrCost());
1269 return Scale(IsSigned64 ? 13 : 6) + SlowFMACost;
1273 return Scale(1 + (IsSigned64 ? 13 : 6)) + SlowFMACost;
1283 std::optional<FastMathFlags> FMF,
1290 if (Opcode == Instruction::Add || Opcode == Instruction::Xor) {
1293 getFullRateInstrCost();
1296 EVT OrigTy = TLI->getValueType(
DL, Ty);
1303 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1304 return LT.first * getFullRateInstrCost();
1311 EVT OrigTy = TLI->getValueType(
DL, Ty);
1318 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1319 return LT.first * getHalfRateInstrCost(
CostKind);
1326 case Instruction::ExtractElement:
1327 case Instruction::InsertElement: {
1334 if (EltSize == 16 && Index == 0 && ST->has16BitInsts())
1338 if (EltSize == 1 && Opcode == Instruction::InsertElement)
1344 if (Opcode == Instruction::ExtractElement && EltSize == 8) {
1346 unsigned NumElts = FVTy->getNumElements();
1373 if (Indices.
size() > 1)
1379 TLI->ParseConstraints(
DL, ST->getRegisterInfo(), *CB);
1381 const int TargetOutputIdx = Indices.
empty() ? -1 : Indices[0];
1384 for (
auto &TC : TargetConstraints) {
1389 if (TargetOutputIdx != -1 && TargetOutputIdx != OutputIdx++)
1392 TLI->ComputeConstraintToUse(TC,
SDValue());
1395 TRI, TC.ConstraintCode, TC.ConstraintVT).second;
1399 if (!RC || !
TRI->isSGPRClass(RC))
1429bool GCNTTIImpl::isSourceOfDivergence(
const Value *V)
const {
1453 case Intrinsic::read_register:
1455 case Intrinsic::amdgcn_workitem_id_y:
1456 case Intrinsic::amdgcn_workitem_id_z: {
1461 *
F, IID == Intrinsic::amdgcn_workitem_id_y ? 1 : 2);
1462 return !HasUniformYZ && (!ThisDimSize || *ThisDimSize != 1);
1471 if (CB->isInlineAsm())
1486 ST->hasGloballyAddressableScratch();
1492bool GCNTTIImpl::isAlwaysUniform(
const Value *V)
const {
1497 if (CB->isInlineAsm())
1515 bool XDimDoesntResetWithinWaves =
false;
1518 XDimDoesntResetWithinWaves = ST->hasWavefrontsEvenlySplittingXDim(*
F);
1520 using namespace llvm::PatternMatch;
1523 auto MaybeMaskedTidX =
1526 auto MaybeMaskedCastTidX =
1529 return C >= ST->getWavefrontSizeLog2() && XDimDoesntResetWithinWaves;
1536 ST->getWavefrontSizeLog2() &&
1537 XDimDoesntResetWithinWaves;
1552 case Intrinsic::amdgcn_if:
1553 case Intrinsic::amdgcn_else: {
1554 ArrayRef<unsigned> Indices = ExtValue->
getIndices();
1555 return Indices.
size() == 1 && Indices[0] == 1;
1572 case Intrinsic::amdgcn_is_shared:
1573 case Intrinsic::amdgcn_is_private:
1574 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1575 case Intrinsic::amdgcn_flat_atomic_fmin_num:
1576 case Intrinsic::amdgcn_load_to_lds:
1577 case Intrinsic::amdgcn_make_buffer_rsrc:
1587 Value *NewV)
const {
1588 auto IntrID =
II->getIntrinsicID();
1590 case Intrinsic::amdgcn_is_shared:
1591 case Intrinsic::amdgcn_is_private: {
1592 unsigned TrueAS = IntrID == Intrinsic::amdgcn_is_shared ?
1600 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1601 case Intrinsic::amdgcn_flat_atomic_fmin_num: {
1602 Type *DestTy =
II->getType();
1609 M,
II->getIntrinsicID(), {DestTy, SrcTy, DestTy});
1610 II->setArgOperand(0, NewV);
1611 II->setCalledFunction(NewDecl);
1614 case Intrinsic::amdgcn_load_to_lds: {
1619 II->setArgOperand(0, NewV);
1620 II->setCalledFunction(NewDecl);
1623 case Intrinsic::amdgcn_make_buffer_rsrc: {
1625 Type *DstTy =
II->getType();
1626 Type *NumRecordsTy =
II->getArgOperand(2)->getType();
1629 M,
II->getIntrinsicID(), {DstTy, SrcTy, NumRecordsTy});
1630 II->setArgOperand(0, NewV);
1631 II->setCalledFunction(NewDecl);
1650 unsigned ScalarSize =
DL.getTypeSizeInBits(SrcTy->getElementType());
1652 (ScalarSize == 16 || ScalarSize == 8)) {
1665 unsigned NumSrcElts = SrcVecTy->getNumElements();
1666 if (ST->hasVOP3PInsts() && ScalarSize == 16 && NumSrcElts == 2 &&
1672 unsigned EltsPerReg = 32 / ScalarSize;
1680 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1683 if (Index % EltsPerReg == 0)
1686 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1692 unsigned NumDstElts = DstVecTy->getNumElements();
1694 unsigned EndIndex = Index + NumInsertElts;
1695 unsigned BeginSubIdx = Index % EltsPerReg;
1696 unsigned EndSubIdx = EndIndex % EltsPerReg;
1699 if (BeginSubIdx != 0) {
1707 if (EndIndex < NumDstElts && BeginSubIdx < EndSubIdx)
1716 unsigned NumElts = DstVecTy->getNumElements();
1720 unsigned EltsFromLHS = NumElts - Index;
1721 bool LHSIsAligned = (Index % EltsPerReg) == 0;
1722 bool RHSIsAligned = (EltsFromLHS % EltsPerReg) == 0;
1723 if (LHSIsAligned && RHSIsAligned)
1725 if (LHSIsAligned && !RHSIsAligned)
1726 return divideCeil(NumElts, EltsPerReg) - (EltsFromLHS / EltsPerReg);
1727 if (!LHSIsAligned && RHSIsAligned)
1735 if (!Mask.empty()) {
1745 for (
unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += EltsPerReg) {
1748 for (
unsigned I = 0;
I < EltsPerReg && DstIdx +
I < Mask.size(); ++
I) {
1749 int SrcIdx = Mask[DstIdx +
I];
1753 if (SrcIdx < (
int)NumSrcElts) {
1754 Reg = SrcIdx / EltsPerReg;
1755 if (SrcIdx % EltsPerReg !=
I)
1758 Reg = NumSrcElts + (SrcIdx - NumSrcElts) / EltsPerReg;
1759 if ((SrcIdx - NumSrcElts) % EltsPerReg !=
I)
1765 if (Regs.
size() >= 2)
1789 if (
I->getOpcode() == Instruction::FAdd ||
1790 I->getOpcode() == Instruction::FSub) {
1792 if (
FMul &&
FMul->getParent() !=
I->getParent())
1793 Ops.push_back(&
I->getOperandUse(
I->getOperand(0) ==
FMul ? 0 : 1));
1796 for (
auto &
Op :
I->operands()) {
1809 if (OpInst->getType()->isVectorTy() && OpInst->getNumOperands() > 1) {
1811 if (VecOpInst && VecOpInst->
hasOneUse())
1816 OpInst->getOperand(0),
1817 OpInst->getOperand(1)) == 0) {
1826 unsigned EltSize =
DL.getTypeSizeInBits(
1831 if (EltSize < 16 || !ST->has16BitInsts())
1834 int NumSubElts, SubIndex;
1835 if (Shuffle->changesLength()) {
1836 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding()) {
1841 if ((Shuffle->isExtractSubvectorMask(SubIndex) ||
1842 Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex)) &&
1843 !(SubIndex & 0x1)) {
1849 if (Shuffle->isReverse() || Shuffle->isZeroEltSplat() ||
1850 Shuffle->isSingleSource()) {
1857 return !
Ops.empty();
1878 if (Callee->hasFnAttribute(Attribute::AlwaysInline) ||
1879 Callee->hasFnAttribute(Attribute::InlineHint))
1885 if (Callee->size() == 1)
1887 size_t BBSize = Caller->size() + Callee->size() - 1;
1890 << Callee->getName() <<
" into " << Caller->getName()
1891 <<
": caller BBs=" << Caller->size() <<
", callee BBs="
1892 << Callee->size() <<
", combined BBs=" << BBSize
1904 const int NrOfSGPRUntilSpill = 26;
1905 const int NrOfVGPRUntilSpill = 32;
1909 unsigned adjustThreshold = 0;
1915 for (
auto ArgVT : ValueVTs) {
1919 SGPRsInUse += CCRegNum;
1921 VGPRsInUse += CCRegNum;
1931 ArgStackCost +=
const_cast<GCNTTIImpl *
>(TTIImpl)->getMemoryOpCost(
1934 ArgStackCost +=
const_cast<GCNTTIImpl *
>(TTIImpl)->getMemoryOpCost(
1940 adjustThreshold += std::max(0, SGPRsInUse - NrOfSGPRUntilSpill) *
1942 adjustThreshold += std::max(0, VGPRsInUse - NrOfVGPRUntilSpill) *
1944 return adjustThreshold;
1953 unsigned AllocaSize = 0;
1960 unsigned AddrSpace = Ty->getAddressSpace();
1970 AllocaSize +=
Size->getFixedValue();
2014 static_assert(InlinerVectorBonusPercent == 0,
"vector bonus assumed to be 0");
2018 return BB.getTerminator()->getNumSuccessors() > 1;
2021 Threshold += Threshold / 2;
2029 unsigned AllocaThresholdBonus =
2030 (Threshold * ArgAllocaSize->getFixedValue()) / AllocaSize;
2032 return AllocaThresholdBonus;
2038 CommonTTI.getUnrollingPreferences(L, SE, UP, ORE);
2043 CommonTTI.getPeelingPreferences(L, SE, PP);
2047 return getQuarterRateInstrCost(
CostKind);
2051 return ST->hasFullRate64Ops()
2052 ? getFullRateInstrCost()
2053 : ST->hasHalfRate64Ops() ? getHalfRateInstrCost(
CostKind)
2054 : getQuarterRateInstrCost(
CostKind);
2057std::pair<InstructionCost, MVT>
2058GCNTTIImpl::getTypeLegalizationCost(
Type *Ty)
const {
2060 auto Size =
DL.getTypeSizeInBits(Ty);
2072 if (ST->hasVmemPrefInsts() || ST->hasSmemPrefetchInsts())
2073 return ST->getDataCacheLineSize();
2078 return ST->hasPrefetch() ? 128 : 0;
2089 LB.push_back({
"amdgpu-max-num-workgroups[0]", MaxNumWorkgroups[0]});
2090 LB.push_back({
"amdgpu-max-num-workgroups[1]", MaxNumWorkgroups[1]});
2091 LB.push_back({
"amdgpu-max-num-workgroups[2]", MaxNumWorkgroups[2]});
2092 std::pair<unsigned, unsigned> FlatWorkGroupSize =
2093 ST->getFlatWorkGroupSizes(
F);
2094 LB.push_back({
"amdgpu-flat-work-group-size[0]", FlatWorkGroupSize.first});
2095 LB.push_back({
"amdgpu-flat-work-group-size[1]", FlatWorkGroupSize.second});
2096 std::pair<unsigned, unsigned> WavesPerEU = ST->getWavesPerEU(
F);
2097 LB.push_back({
"amdgpu-waves-per-eu[0]", WavesPerEU.first});
2098 LB.push_back({
"amdgpu-waves-per-eu[1]", WavesPerEU.second});
2103 if (!ST->hasFeature(AMDGPU::FeatureDX10ClampAndIEEEMode))
2110 Attribute IEEEAttr =
F->getFnAttribute(
"amdgpu-ieee");
2125 if ((Opcode == Instruction::Load || Opcode == Instruction::Store) &&
2127 VecTy->getElementType()->isIntegerTy(8)) {
2138 if (VecTy->getElementType()->isIntegerTy(8)) {
2149 case Intrinsic::amdgcn_wave_shuffle:
2156 if (isAlwaysUniform(V))
2159 if (isSourceOfDivergence(V))
2167 bool HasBaseReg, int64_t Scale,
2168 unsigned AddrSpace)
const {
2169 if (HasBaseReg && Scale != 0) {
2173 if (getST()->hasScaleOffset() && Ty && Ty->isSized() &&
2193 unsigned EffInsnsA =
A.Insns +
A.ScaleCost;
2194 unsigned EffInsnsB =
B.Insns +
B.ScaleCost;
2196 return std::tie(EffInsnsA,
A.NumIVMuls,
A.AddRecCost,
A.NumBaseAdds,
2197 A.SetupCost,
A.ImmCost,
A.NumRegs) <
2198 std::tie(EffInsnsB,
B.NumIVMuls,
B.AddRecCost,
B.NumBaseAdds,
2199 B.SetupCost,
B.ImmCost,
B.NumRegs);
2216 case Intrinsic::amdgcn_wave_shuffle:
2219 return UniformArgs[0] || UniformArgs[1];
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Provides AMDGPU specific target descriptions.
Base class for AMDGPU specific classes of TargetSubtarget.
The AMDGPU TargetMachine interface definition for hw codegen targets.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static const Function * getParent(const Value *V)
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
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 size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Register const TargetRegisterInfo * TRI
uint64_t IntrinsicInst * II
const SmallVectorImpl< MachineOperand > & Cond
static cl::opt< RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode > Mode("regalloc-enable-advisor", cl::Hidden, cl::init(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default), cl::desc("Enable regalloc advisor mode"), cl::values(clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default, "default", "Default"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Release, "release", "precompiled"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Development, "development", "for training")))
This file implements the SmallBitVector class.
std::optional< unsigned > getReqdWorkGroupSize(const Function &F, unsigned Dim) const
bool hasWavefrontsEvenlySplittingXDim(const Function &F, bool RequiresUniformYZ=false) const
uint64_t getMaxMemIntrinsicInlineSizeThreshold() const override
AMDGPUTTIImpl(const AMDGPUTargetMachine *TM, const Function &F)
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
an instruction to allocate memory on the stack
LLVM_ABI bool isStaticAlloca() const
Return true if this alloca is in the entry block of the function and is a constant size.
LLVM_ABI std::optional< TypeSize > getAllocationSize(const DataLayout &DL) const
Get allocation size in bytes.
This class represents an incoming formal argument to a Function.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
bool empty() const
Check if the array is empty.
Functions, function parameters, and return types can have attributes to indicate how they should be t...
LLVM_ABI bool getValueAsBool() const
Return the attribute's value as a boolean.
bool isValid() const
Return true if the attribute is any kind of attribute.
LLVM Basic Block Representation.
InstructionCost getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
unsigned getNumberOfParts(Type *Tp) const override
TTI::ShuffleKind improveShuffleKindFromMask(TTI::ShuffleKind Kind, ArrayRef< int > Mask, VectorType *SrcTy, int &Index, VectorType *&SubTy) const
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Opd2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr) const override
InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, StackOffset BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace) const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost 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
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
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
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
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
bool isInlineAsm() const
Check if this call is an inline asm statement.
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
CallingConv::ID getCallingConv() const
Value * getArgOperand(unsigned i) const
iterator_range< User::op_iterator > args()
Iteration adapter for range-for loops.
unsigned getArgOperandNo(const Use *U) const
Given a use for a arg operand, get the arg operand number that corresponds to it.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Conditional Branch instruction.
This is the shared class of boolean and integer constants.
static LLVM_ABI ConstantInt * getTrue(LLVMContext &Context)
static LLVM_ABI ConstantInt * getFalse(LLVMContext &Context)
int64_t getSExtValue() const
Return the constant as a 64-bit integer value after it has been sign extended as appropriate for the ...
A parsed version of the target data layout string in and methods for querying it.
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
constexpr bool isScalar() const
Exactly one element.
Convenience struct for specifying and reasoning about fast-math flags.
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
GCNTTIImpl(const AMDGPUTargetMachine *TM, const Function &F)
unsigned getLoadStoreVecRegBitWidth(unsigned AddrSpace) const override
InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, StackOffset BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace) const override
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
Account for loads of i8 vector types to have reduced cost.
void collectKernelLaunchBounds(const Function &F, SmallVectorImpl< std::pair< StringRef, int64_t > > &LB) const override
bool isUniform(const Instruction *I, const SmallBitVector &UniformArgs) const override
bool isLegalToVectorizeStoreChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const override
bool isReadRegisterSourceOfDivergence(const IntrinsicInst *ReadReg) const
unsigned getMaximumVF(unsigned ElemWidth, unsigned Opcode) const override
unsigned getNumberOfRegisters(unsigned RCID) const override
bool isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const override
unsigned getCacheLineSize() const override
Data cache line size for LoopDataPrefetch pass. Has no use before GFX12.
unsigned getStoreVectorFactor(unsigned VF, unsigned StoreSize, unsigned ChainSizeInBytes, VectorType *VecTy) const override
bool isLegalToVectorizeMemChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const
bool isLSRCostLess(const TTI::LSRCost &A, const TTI::LSRCost &B) const override
bool shouldPrefetchAddressSpace(unsigned AS) const override
InstructionCost getVectorInstrCost(unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
bool hasBranchDivergence(const Function *F=nullptr) const override
Value * rewriteIntrinsicWithAddressSpace(IntrinsicInst *II, Value *OldV, Value *NewV) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
unsigned getCallerAllocaCost(const CallBase *CB, const AllocaInst *AI) 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
void getMemcpyLoopResidualLoweringType(SmallVectorImpl< Type * > &OpsOut, LLVMContext &Context, unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace, Align SrcAlign, Align DestAlign, std::optional< uint32_t > AtomicCpySize) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, 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.
unsigned getInliningThresholdMultiplier() const override
unsigned getLoadVectorFactor(unsigned VF, unsigned LoadSize, unsigned ChainSizeInBytes, VectorType *VecTy) const override
unsigned getPrefetchDistance() const override
How much before a load we should place the prefetch instruction.
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
KnownIEEEMode fpenvIEEEMode(const Instruction &I) const
Return KnownIEEEMode::On if we know if the use context can assume "amdgpu-ieee"="true" and KnownIEEEM...
unsigned adjustInliningThreshold(const CallBase *CB) const override
bool isProfitableToSinkOperands(Instruction *I, SmallVectorImpl< Use * > &Ops) const override
Whether it is profitable to sink the operands of an Instruction I to the basic block of I.
bool getTgtMemIntrinsic(IntrinsicInst *Inst, MemIntrinsicInfo &Info) const override
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CtxI=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.
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
bool shouldDropLSRSolutionIfLessProfitable() const override
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
int getInliningLastCallToStaticBonus() const override
bool isInlineAsmSourceOfDivergence(const CallBase *CB, ArrayRef< unsigned > Indices={}) const
Analyze if the results of inline asm are divergent.
bool collectFlatAddressOperands(SmallVectorImpl< int > &OpIndexes, Intrinsic::ID IID) const override
ValueUniformity getValueUniformity(const Value *V) const override
unsigned getNumberOfParts(Type *Tp) const override
When counting parts on AMD GPUs, account for i8s being grouped together under a single i32 value.
bool preferSLPInstCountCheck() const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
unsigned getMinVectorRegisterBitWidth() const override
TypeSize getRegisterBitWidth(TargetTransformInfo::RegisterKind Vector) const override
bool isNumRegsMajorCostOfLSR() const override
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
Type * getMemcpyLoopLoweringType(LLVMContext &Context, Value *Length, unsigned SrcAddrSpace, unsigned DestAddrSpace, Align SrcAlign, Align DestAlign, std::optional< uint32_t > AtomicElementSize) const override
uint64_t getMaxMemIntrinsicInlineSizeThreshold() const override
an instruction for type-safe pointer arithmetic to access elements of arrays and structs
static InstructionCost getInvalid(CostType Val=0)
CostType getValue() const
This function is intended to be used as sparingly as possible, since the class provides the full rang...
LLVM_ABI const Function * getFunction() const
Return the function this instruction belongs to.
LLVM_ABI bool hasApproxFunc() const LLVM_READONLY
Determine whether the approximate-math-functions flag is set.
user_iterator user_begin()
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
LLVM_ABI bool hasAllowContract() const LLVM_READONLY
Determine whether the allow-contract flag is set.
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this instruction belongs to.
FastMathFlags getFlags() const
Type * getReturnType() const
const IntrinsicInst * getInst() const
Intrinsic::ID getID() const
A wrapper class for inspecting calls to intrinsic functions.
Intrinsic::ID getIntrinsicID() const
Return the intrinsic ID of this intrinsic.
This is an important class for using LLVM in a threaded context.
An instruction for reading from memory.
Represents a single loop in the control flow graph.
static LLVM_ABI MVT getVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
A Module instance is used to store all the information related to an LLVM module.
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF, EVT VT) const override
Return true if an FMA operation is faster than a pair of fmul and fadd instructions.
bool isFMADLegal(const SelectionDAG &DAG, const SDNode *N) const override
Returns true if be combined with to form an ISD::FMAD.
unsigned getNumRegistersForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Certain targets require unusual breakdowns of certain types.
The main scalar evolution driver.
This is a 'bitvector' (really, a variable-sized bit array), optimized for the case when the array is ...
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.
Represent a constant reference to a string, i.e.
std::vector< AsmOperandInfo > AsmOperandInfoVector
Primary interface to the complete machine description for the target machine.
virtual const TargetSubtargetInfo * getSubtargetImpl(const Function &) const
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
static constexpr TypeSize getFixed(ScalarTy ExactSize)
static constexpr TypeSize getScalable(ScalarTy MinimumSize)
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
bool isBFloatTy() const
Return true if this is 'bfloat', a 16-bit bfloat type.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
static LLVM_ABI IntegerType * getInt16Ty(LLVMContext &C)
bool isHalfTy() const
Return true if this is 'half', a 16-bit IEEE fp type.
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.
bool isDoubleTy() const
Return true if this is 'double', a 64-bit IEEE fp type.
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
static LLVM_ABI Type * getFloatTy(LLVMContext &C)
A Use represents the edge between a Value definition and its users.
Value * getOperand(unsigned i) const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
bool hasOneUse() const
Return true if there is exactly one use of this value.
LLVMContext & getContext() const
All values hold a context through their type.
Base class of all SIMD vector types.
constexpr ScalarTy getFixedValue() const
static constexpr bool isKnownLE(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ CONSTANT_ADDRESS_32BIT
Address space for 32-bit constant memory.
@ BUFFER_STRIDED_POINTER
Address space for 192-bit fat buffer pointers with an additional index.
@ REGION_ADDRESS
Address space for region memory. (GDS)
@ LOCAL_ADDRESS
Address space for local memory.
@ CONSTANT_ADDRESS
Address space for constant memory (VTX2).
@ FLAT_ADDRESS
Address space for flat memory.
@ GLOBAL_ADDRESS
Address space for global memory (RAT0, VTX0).
@ BUFFER_FAT_POINTER
Address space for 160-bit buffer fat pointers.
@ PRIVATE_ADDRESS
Address space for private memory.
@ BUFFER_RESOURCE
Address space for 128-bit buffer resources.
LLVM_READNONE constexpr bool isShader(CallingConv::ID CC)
bool isFlatGlobalAddrSpace(unsigned AS)
bool isArgPassedInSGPR(const Argument *A)
bool isIntrinsicAlwaysUniform(unsigned IntrID)
bool isIntrinsicSourceOfDivergence(unsigned IntrID)
SmallVector< unsigned > getMaxNumWorkGroups(const Function &F)
bool isExtendedGlobalAddrSpace(unsigned AS)
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
ISD namespace - This namespace contains an enum which represents all of the SelectionDAG node types a...
@ ADD
Simple integer binary arithmetic operators.
@ SINT_TO_FP
[SU]INT_TO_FP - These operators convert integers (whose interpreted sign depends on the first letter)...
@ FADD
Simple binary floating point operators.
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ SHL
Shift and rotation operations.
@ FP_TO_SINT
FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
@ AND
Bitwise operators - logical and, logical or, logical xor.
LLVM_ABI int getInstrCost()
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
LLVM_ABI Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > OverloadTys={})
Look up the Function declaration of the intrinsic id in the Module M.
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
match_combine_or< CastInst_match< OpTy, CastInst >, OpTy > m_CastOrSelf(const OpTy &Op)
Matches any cast or self. Used to ignore casts.
BinaryOp_match< LHS, RHS, Instruction::And, true > m_c_And(const LHS &L, const RHS &R)
Matches an And with LHS and RHS in either order.
bool match(Val *V, const Pattern &P)
auto m_Value()
Match an arbitrary value and ignore it.
auto m_Constant()
Match an arbitrary Constant and ignore it.
specific_fpval m_FPOne()
Match a float 1.0 or vector with all elements equal to 1.0.
auto m_Intrinsic(const Ts &...Ops)
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
auto m_FAbs(const Opnd0 &Op0)
BinaryOp_match< LHS, RHS, Instruction::LShr > m_LShr(const LHS &L, const RHS &R)
FNeg_match< OpTy > m_FNeg(const OpTy &X)
Match 'fneg X' as 'fsub -0.0, X'.
auto m_ConstantInt()
Match an arbitrary ConstantInt and ignore it.
initializer< Ty > init(const Ty &Val)
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract_or_null(Y &&MD)
Extract a Value from Metadata, allowing null.
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI void ComputeValueVTs(const TargetLowering &TLI, const DataLayout &DL, Type *Ty, SmallVectorImpl< EVT > &ValueVTs, SmallVectorImpl< EVT > *MemVTs=nullptr, SmallVectorImpl< TypeSize > *Offsets=nullptr, TypeSize StartingOffset=TypeSize::getZero())
ComputeValueVTs - Given an LLVM IR type, compute a sequence of EVTs that represent all the individual...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
@ Load
The value being inserted comes from a load (InsertElement only).
LLVM_ABI void computeKnownBits(const Value *V, KnownBits &Known, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Determine which bits of V are known to be either zero or one and return them in the KnownZero/KnownOn...
LLVM_ABI MDNode * findOptionMDForLoop(const Loop *TheLoop, StringRef Name)
Find string metadata for a loop.
constexpr auto equal_to(T &&Arg)
Functor variant of std::equal_to that can be used as a UnaryPredicate in functional algorithms like a...
auto dyn_cast_or_null(const Y &Val)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI const Value * getUnderlyingObject(const Value *V, unsigned MaxLookup=MaxLookupSearchDepth, bool MustPreserveProvenance=false)
This method strips off any GEP address adjustments, pointer casts or llvm.threadlocal....
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...
AtomicOrdering
Atomic ordering for LLVM's memory model.
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
ValueUniformity
Enum describing how values behave with respect to uniformity and divergence, to answer the question: ...
@ AlwaysUniform
The result value is always uniform.
@ NeverUniform
The result value can never be assumed to be uniform.
@ Default
The result value is uniform if and only if all operands are uniform.
@ Custom
The result value requires a custom uniformity check.
MCRegisterClass TargetRegisterClass
This struct is a compact representation of a valid (non-zero power of two) alignment.
static constexpr DenormalMode getPreserveSign()
uint64_t getScalarSizeInBits() const
Information about a load/store intrinsic defined by the target.
bool isInlineCompatible(SIModeRegisterDefaults CalleeMode) const