29#include "llvm/IR/IntrinsicsAMDGPU.h"
36#define DEBUG_TYPE "AMDGPUtti"
46 for (
const Value *
V :
I->operand_values()) {
49 return SubLoop->contains(PHI); }))
59 TargetTriple(
F.
getParent()->getTargetTriple()),
61 TLI(ST->getTargetLowering()) {}
66 const Function &
F = *L->getHeader()->getParent();
68 F.getFnAttributeAsParsedInteger(
"amdgpu-unroll-threshold", 300));
70 F.getFnAttributeAsParsedInteger(
"amdgpu-partial-unroll-threshold", 150));
71 UP.
MaxCount = std::numeric_limits<unsigned>::max();
86 const unsigned MaxAlloca = (256 - 16) * 4;
87 unsigned ThresholdPrivate = CLOpts.unroll_threshold_private;
88 unsigned ThresholdLocal = CLOpts.unroll_threshold_local;
92 if (
MDNode *LoopUnrollThreshold =
94 if (LoopUnrollThreshold->getNumOperands() == 2) {
96 LoopUnrollThreshold->getOperand(1));
97 if (MetaThresholdValue) {
102 static_cast<unsigned>(MetaThresholdValue->
getSExtValue());
104 ThresholdPrivate = std::min(ThresholdPrivate, UP.
Threshold);
105 ThresholdLocal = std::min(ThresholdLocal, UP.
Threshold);
110 unsigned MaxBoost = std::max(ThresholdPrivate, ThresholdLocal);
113 unsigned LocalGEPsSeen = 0;
116 return SubLoop->contains(BB); }))
129 if ((L->contains(Succ0) && L->isLoopExiting(Succ0)) ||
130 (L->contains(Succ1) && L->isLoopExiting(Succ1)))
133 UP.
Threshold += CLOpts.unroll_threshold_if;
136 << *L <<
" due to " << *Br <<
'\n');
148 unsigned AS =
GEP->getAddressSpace();
149 unsigned Threshold = 0;
151 Threshold = ThresholdPrivate;
153 Threshold = ThresholdLocal;
161 const Value *Ptr =
GEP->getPointerOperand();
167 if (!AllocaSize || AllocaSize->getFixedValue() > MaxAlloca)
176 if (LocalGEPsSeen > 1 || L->getLoopDepth() > 2 ||
181 << *L <<
" due to LDS use.\n");
182 UP.
Runtime = CLOpts.unroll_runtime_local;
186 bool HasLoopDef =
false;
189 if (!Inst || L->isLoopInvariant(
Op))
193 return SubLoop->contains(Inst); }))
217 << *L <<
" due to " << *
GEP <<
'\n');
224 if (L->isInnermost() && BB->size() < CLOpts.unroll_max_block_to_analyze)
241 TLI(ST->getTargetLowering()), CommonTTI(TM,
F),
242 IsGraphics(
AMDGPU::isGraphics(
F.getCallingConv())) {
248 return !
F || !ST->isSingleLaneExecution(*
F);
269 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()) ? 128
270 : ST->hasAnyPackedFP32Ops() ? 64
283 if (Opcode == Instruction::Load || Opcode == Instruction::Store)
284 return 32 * 4 / ElemWidth;
287 return (ElemWidth == 8 && ST->has16BitInsts()) ? 4
288 : (ElemWidth == 16 && ST->has16BitInsts()) ? 2
289 : (ElemWidth == 32 && ST->hasAnyPackedFP32Ops()) ? 2
290 : (ElemWidth == 64 &&
291 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()))
302 return !ST->hasGFX940Insts() && !ST->hasGFX950Insts();
306 unsigned ChainSizeInBytes,
308 unsigned VecRegBitWidth = VF * LoadSize;
311 return 128 / LoadSize;
317 unsigned ChainSizeInBytes,
319 unsigned VecRegBitWidth = VF * StoreSize;
320 if (VecRegBitWidth > 128)
321 return 128 / StoreSize;
337 return 8 * ST->getMaxPrivateElementSize();
345 unsigned AddrSpace)
const {
350 return (Alignment >= 4 || ST->hasUnalignedScratchAccessEnabled()) &&
351 ChainSizeInBytes <= ST->getMaxPrivateElementSize();
358 unsigned AddrSpace)
const {
364 unsigned AddrSpace)
const {
374 unsigned DestAddrSpace,
Align SrcAlign,
Align DestAlign,
375 std::optional<uint32_t> AtomicElementSize)
const {
377 if (AtomicElementSize)
391 unsigned I32EltsInVector = 4;
394 CLOpts.memcpy_loop_unroll * I32EltsInVector);
401 unsigned RemainingBytes,
unsigned SrcAddrSpace,
unsigned DestAddrSpace,
403 std::optional<uint32_t> AtomicCpySize)
const {
407 OpsOut, Context, RemainingBytes, SrcAddrSpace, DestAddrSpace, SrcAlign,
408 DestAlign, AtomicCpySize);
411 while (RemainingBytes >= 16) {
413 RemainingBytes -= 16;
417 while (RemainingBytes >= 8) {
423 while (RemainingBytes >= 4) {
429 while (RemainingBytes >= 2) {
435 while (RemainingBytes) {
442 bool HasUnorderedReductions)
const {
454 case Intrinsic::amdgcn_ds_ordered_add:
455 case Intrinsic::amdgcn_ds_ordered_swap: {
458 if (!Ordering || !Volatile)
461 uint64_t OrderingVal = Ordering->getZExtValue();
468 Info.WriteMem =
true;
469 Info.IsVolatile = !Volatile->isZero();
484 FAddSub->
getOpcode() == Instruction::FSub) &&
485 "Expected an fadd or an fsub");
490 const bool HasFMAD =
TLI.isFMADLegal(
F, Ty);
491 const bool HasFMA =
TLI.isFMAFasterThanFMulAndFAdd(
F, Ty);
492 if (!HasFMAD && !HasFMA)
504 if (
FMul &&
FMul->getOpcode() == Instruction::FMul &&
FMul->hasOneUse() &&
518 if (!Fused || FAddSub->
getOpcode() != Instruction::FAdd ||
522 return Outer && Outer->getOpcode() == Instruction::FAdd &&
523 Outer->hasAllowReassoc() &&
533 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
534 int ISD = TLI->InstructionOpcodeToISD(Opcode);
538 unsigned NElts = LT.second.isVector() ?
539 LT.second.getVectorNumElements() : 1;
548 return get64BitInstrCost(CostKind) * LT.first * NElts;
550 if (ST->has16BitInsts() && SLT == MVT::i16)
551 NElts = (NElts + 1) / 2;
554 return getFullRateInstrCost() * LT.first * NElts;
557 if (SLT == MVT::i64 && ST->hasAnyPackedU64Ops())
558 NElts = (NElts + 1) / 2;
563 if (SLT == MVT::i64) {
565 return 2 * getFullRateInstrCost() * LT.first * NElts;
568 if (ST->has16BitInsts() && SLT == MVT::i16)
569 NElts = (NElts + 1) / 2;
571 return LT.first * NElts * getFullRateInstrCost();
573 const int QuarterRateCost = getQuarterRateInstrCost(CostKind);
574 if (SLT == MVT::i64) {
575 const int FullRateCost = getFullRateInstrCost();
576 return (4 * QuarterRateCost + (2 * 2) * FullRateCost) * LT.first * NElts;
579 if (ST->has16BitInsts() && SLT == MVT::i16)
580 NElts = (NElts + 1) / 2;
583 return QuarterRateCost * NElts * LT.first;
592 getMaximumVF(Ty->getScalarSizeInBits(), Opcode) == 1)) {
595 (FAddSub->getOpcode() == Instruction::FAdd ||
596 FAddSub->getOpcode() == Instruction::FSub) &&
603 if (ST->hasAnyPackedFP32Ops() && SLT == MVT::f32)
604 NElts = (NElts + 1) / 2;
605 if (ST->hasBF16PackedInsts() && SLT == MVT::bf16)
606 NElts = (NElts + 1) / 2;
607 if (SLT == MVT::f64) {
608 if (ST->hasAnyPackedFP64Ops())
609 NElts = (NElts + 1) / 2;
610 return LT.first * NElts * get64BitInstrCost(CostKind);
613 if (ST->has16BitInsts() && SLT == MVT::f16)
614 NElts = (NElts + 1) / 2;
616 if (SLT == MVT::f32 || SLT == MVT::f16 || SLT == MVT::bf16)
617 return LT.first * NElts * getFullRateInstrCost();
623 if (SLT == MVT::f64) {
624 int Cost = 7 * get64BitInstrCost(CostKind) +
625 getQuarterRateInstrCost(CostKind) +
626 3 * getHalfRateInstrCost(CostKind);
628 if (!ST->hasUsableDivScaleConditionOutput())
629 Cost += 3 * getFullRateInstrCost();
631 return LT.first *
Cost * NElts;
636 if ((SLT == MVT::f32 && !HasFP32Denormals) ||
637 (SLT == MVT::f16 && ST->has16BitInsts())) {
638 return LT.first * getTransInstrCost(CostKind) * NElts;
642 if (SLT == MVT::f16 && ST->has16BitInsts()) {
648 int Cost = 4 * getFullRateInstrCost() + 2 * getTransInstrCost(CostKind);
649 return LT.first *
Cost * NElts;
656 int Cost = getTransInstrCost(CostKind) + getFullRateInstrCost();
657 return LT.first *
Cost * NElts;
660 if (SLT == MVT::f32 || SLT == MVT::f16) {
662 int Cost = (SLT == MVT::f16 ? 14 : 10) * getFullRateInstrCost() +
663 1 * getTransInstrCost(CostKind);
665 if (!HasFP32Denormals) {
667 Cost += 2 * getFullRateInstrCost();
670 return LT.first * NElts *
Cost;
676 return TLI->isFNegFree(SLT) ? 0 : NElts;
690 case Intrinsic::fmuladd:
691 case Intrinsic::copysign:
692 case Intrinsic::minimumnum:
693 case Intrinsic::maximumnum:
694 case Intrinsic::canonicalize:
696 case Intrinsic::round:
697 case Intrinsic::uadd_sat:
698 case Intrinsic::usub_sat:
699 case Intrinsic::sadd_sat:
700 case Intrinsic::ssub_sat:
711 switch (ICA.
getID()) {
712 case Intrinsic::fabs:
715 case Intrinsic::amdgcn_workitem_id_x:
716 case Intrinsic::amdgcn_workitem_id_y:
717 case Intrinsic::amdgcn_workitem_id_z:
721 case Intrinsic::amdgcn_workgroup_id_x:
722 case Intrinsic::amdgcn_workgroup_id_y:
723 case Intrinsic::amdgcn_workgroup_id_z:
724 case Intrinsic::amdgcn_lds_kernel_id:
725 case Intrinsic::amdgcn_dispatch_ptr:
726 case Intrinsic::amdgcn_dispatch_id:
727 case Intrinsic::amdgcn_implicitarg_ptr:
728 case Intrinsic::amdgcn_queue_ptr:
740 case Intrinsic::exp2:
741 case Intrinsic::exp10: {
743 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
746 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
748 if (SLT == MVT::f64) {
750 if (IID == Intrinsic::exp)
752 else if (IID == Intrinsic::exp10)
755 return LT.first * NElts *
NumOps * get64BitInstrCost(CostKind);
758 if (SLT == MVT::f32) {
759 unsigned NumFullRateOps = 0;
761 unsigned NumTransOps = 1;
767 NumFullRateOps = ST->hasFastFMAF32() ? 13 : 17;
769 if (IID == Intrinsic::exp) {
772 }
else if (IID == Intrinsic::exp10) {
778 if (HasFP32Denormals)
783 NumTransOps * getTransInstrCost(CostKind);
784 return LT.first * NElts *
Cost;
790 case Intrinsic::log2:
791 case Intrinsic::log10: {
792 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
795 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
797 if (SLT == MVT::f32) {
798 unsigned NumFullRateOps = 0;
800 if (IID == Intrinsic::log2) {
808 NumFullRateOps = ST->hasFastFMAF32() ? 8 : 11;
811 if (HasFP32Denormals)
815 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
816 return LT.first * NElts *
Cost;
822 case Intrinsic::cos: {
823 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
826 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
828 if (SLT == MVT::f32) {
830 unsigned NumFullRateOps = ST->hasTrigReducedRange() ? 2 : 1;
833 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
834 return LT.first * NElts *
Cost;
839 case Intrinsic::sqrt: {
840 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
843 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
845 if (SLT == MVT::f32) {
846 unsigned NumFullRateOps = 0;
850 NumFullRateOps = HasFP32Denormals ? 17 : 16;
854 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
855 return LT.first * NElts *
Cost;
867 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
869 unsigned NElts = LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
871 if ((ST->hasVOP3PInsts() &&
872 (SLT == MVT::f16 || SLT == MVT::i16 ||
873 (SLT == MVT::bf16 && ST->hasBF16PackedInsts()))) ||
874 (ST->hasAnyPackedFP64Ops() && SLT == MVT::f64) ||
875 (ST->hasAnyPackedU64Ops() && SLT == MVT::i64)) {
876 NElts = (NElts + 1) / 2;
877 }
else if (SLT == MVT::f32) {
878 bool HasPk2FP32Op = ST->hasAnyPackedFP32Ops() &&
879 IID != Intrinsic::minimumnum &&
880 IID != Intrinsic::maximumnum;
881 NElts = HasPk2FP32Op ? (NElts + 1) / 2 : NElts;
885 unsigned InstRate = getQuarterRateInstrCost(CostKind);
887 switch (ICA.
getID()) {
889 case Intrinsic::fmuladd:
890 if (SLT == MVT::f64) {
891 InstRate = get64BitInstrCost(CostKind);
895 if ((SLT == MVT::f32 && ST->hasFastFMAF32()) || SLT == MVT::f16)
896 InstRate = getFullRateInstrCost();
898 InstRate = ST->hasFastFMAF32() ? getHalfRateInstrCost(CostKind)
899 : getQuarterRateInstrCost(CostKind);
902 case Intrinsic::copysign:
903 return NElts * getFullRateInstrCost();
904 case Intrinsic::minimumnum:
905 case Intrinsic::maximumnum: {
917 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
918 InstRate = BaseRate *
NumOps;
921 case Intrinsic::canonicalize: {
923 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
926 case Intrinsic::uadd_sat:
927 case Intrinsic::usub_sat:
928 case Intrinsic::sadd_sat:
929 case Intrinsic::ssub_sat: {
930 if (SLT == MVT::i16 || SLT == MVT::i32)
931 InstRate = getFullRateInstrCost();
933 static const auto ValidSatTys = {MVT::v2i16, MVT::v4i16};
940 if (SLT == MVT::i16 || SLT == MVT::i32)
941 InstRate = 2 * getFullRateInstrCost();
947 return LT.first * NElts * InstRate;
953 assert((
I ==
nullptr ||
I->getOpcode() == Opcode) &&
954 "Opcode should reflect passed instruction.");
957 const int CBrCost = SCost ? 5 : 7;
959 case Instruction::UncondBr:
961 return SCost ? 1 : 4;
962 case Instruction::CondBr:
966 case Instruction::Switch: {
970 return (
SI ? (
SI->getNumCases() + 1) : 4) * (CBrCost + 1);
972 case Instruction::Ret:
973 return SCost ? 1 : 10;
988 Op1Info, Op2Info,
I);
998 if (FVT && FVT->getElementType()->isIntegerTy(1) && FVT->getNumElements() > 1)
999 return FVT->getNumElements();
1000 return std::nullopt;
1009 if (Opcode == Instruction::BitCast) {
1011 Elts && Dst->isIntegerTy(*Elts))
1013 getFullRateInstrCost();
1015 Elts && Src->isIntegerTy(*Elts))
1017 getFullRateInstrCost();
1023 SrcVTy && Opcode == Instruction::FPTrunc && ST->has16BitInsts() &&
1024 SrcVTy->getElementType()->isFloatTy() &&
1025 Dst->getScalarType()->isHalfTy()) {
1026 const unsigned NElts = SrcVTy->getNumElements();
1027 const unsigned Ops = ST->hasCvtPkF16F32Inst() ?
divideCeil(NElts, 2)
1028 : ST->useRealTrue16Insts() ? NElts
1029 : NElts + NElts / 2;
1033 const int ISD = TLI->InstructionOpcodeToISD(Opcode);
1045 Type *FPTy = (IsIntToFP ? Dst : Src)->getScalarType();
1052 NElts = VT->getNumElements();
1054 const unsigned SrcBits = Src->getScalarSizeInBits();
1055 const unsigned DstBits = Dst->getScalarSizeInBits();
1057 const unsigned IntBits = IsIntToFP ? SrcBits : DstBits;
1058 const bool UsesInt64 = IntBits > 32 && IntBits <= 64;
1060 auto Scale = [&](
unsigned FullRateOps,
1062 return NElts * (
InstructionCost(FullRateOps) * getFullRateInstrCost() +
1072 I && Src->isIntegerTy() &&
I->getOperand(0)->getType() == Src
1075 const unsigned AS =
Load ?
Load->getPointerAddressSpace() : 0;
1076 const bool LoadMayWiden =
1081 Load->hasMetadata(LLVMContext::MD_invariant_load)));
1082 const bool LoadExtends =
Load &&
Load->isSimple() &&
Load->hasOneUse() &&
1087 const unsigned ExtOps =
1088 UsesInt64 && SrcBits < 64 && !LoadExtends ? (IsSigned ? 2 : 1) : 0;
1090 if (SrcBits < 8 || (SrcBits > 32 && !UsesInt64))
1095 Scale(UsesInt64 ? ExtOps + (IsSigned ? 12 : 8) : 1);
1099 Src, CCH, CostKind,
I);
1106 ST->hasBF16ConversionInsts()
1108 : Scale(!ST->has16BitInsts() ? 1
1109 : ST->hasGFX9Insts() ? 6
1111 return FloatCost + RoundCost;
1118 return Scale(ExtOps, 4);
1121 return Scale(ExtOps + (IsSigned ? 12 : 8));
1122 return Scale(ExtOps + (IsSigned ? 13 : 9));
1128 return Scale(1 + (SrcBits < 16 && IsSigned && ST->has16BitInsts()), 1);
1136 if (!ST->has16BitInsts() || SrcBits > 16) {
1141 if (ST->has16BitInsts() && ST->hasCvtPkF16F32Inst())
1143 getFullRateInstrCost();
1144 const unsigned PackOps =
1145 !ST->has16BitInsts() ? 2 : !ST->useRealTrue16Insts();
1146 return FloatCost + Scale(1) + PackOps * PairCost;
1154 const unsigned PerElt =
1155 1 + (SrcBits == 8 ? !ST->hasSDWA() : SrcBits < 16);
1156 const bool RealTrue16 = ST->useRealTrue16Insts();
1157 const unsigned PerPair =
1158 !RealTrue16 + (SrcBits == 8 || RealTrue16 ? SrcBits < 16 && IsSigned
1160 return Scale(PerElt) + PerPair * PairCost;
1163 if (SrcBits == 8 && !IsSigned)
1165 if (SrcBits < 16 && !IsSigned)
1167 unsigned PerElt = ST->hasSDWA() && SrcBits <= 16 ? 1 : 2;
1168 if (SrcBits < 16 && ST->has16BitInsts())
1170 return Scale(PerElt);
1178 if (SrcBits >= 8 && SrcBits < 32) {
1182 return Scale(FPTy->
isHalfTy() ? 2 : 1);
1184 const bool Narrow = SrcBits > 8 && SrcBits < 16;
1185 const bool SignExtend16 = IsSigned && Narrow && ST->has16BitInsts();
1187 return Scale(1 + 2 * SignExtend16, 1);
1189 return Scale(FPTy->
isHalfTy() ? 3 : 2);
1190 if (FPTy->
isHalfTy() && ST->has16BitInsts())
1191 return Scale(Narrow ? (IsSigned ? 3 : 2)
1192 : SrcBits == 8 && !ST->hasSDWA() ? 2
1195 SignExtend16 ? Scale(ST->hasSDWA() ? 3 : 4)
1197 : SrcBits == 8 && !IsSigned ? Scale(1)
1198 : Scale(ST->hasSDWA() ? 1 : 2);
1199 return FPTy->
isHalfTy() ? FloatCost + Scale(1) : FloatCost;
1207 const bool IsSigned64 = IsSigned || (DstBits < 64 && NElts == 1);
1211 return ST->haveRoundOpsF64() ? Scale(1, 6) : Scale(22, 7);
1215 ST->hasFastFMAF32() ? 0
1216 : NElts * (getQuarterRateInstrCost(CostKind) -
1217 getFullRateInstrCost());
1219 return Scale(IsSigned64 ? 13 : 6) + SlowFMACost;
1223 return Scale(1 + (IsSigned64 ? 13 : 6)) + SlowFMACost;
1233 std::optional<FastMathFlags> FMF,
1240 if (Opcode == Instruction::Add || Opcode == Instruction::Xor) {
1243 getFullRateInstrCost();
1246 EVT OrigTy = TLI->getValueType(
DL, Ty);
1253 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1254 return LT.first * getFullRateInstrCost();
1261 EVT OrigTy = TLI->getValueType(
DL, Ty);
1268 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1269 return LT.first * getHalfRateInstrCost(CostKind);
1276 case Instruction::ExtractElement:
1277 case Instruction::InsertElement: {
1284 if (EltSize == 16 && Index == 0 && ST->has16BitInsts())
1288 if (EltSize == 1 && Opcode == Instruction::InsertElement)
1294 if (Opcode == Instruction::ExtractElement && EltSize == 8) {
1296 unsigned NumElts = FVTy->getNumElements();
1314 if (Opcode == Instruction::InsertElement && EltSize == 32 &&
1316 InsertedInst && VecTy && VecTy->getElementType()->isFloatTy() &&
1318 return getFullRateInstrCost();
1338 if (Indices.
size() > 1)
1344 TLI->ParseConstraints(
DL, ST->getRegisterInfo(), *CB);
1346 const int TargetOutputIdx = Indices.
empty() ? -1 : Indices[0];
1349 for (
auto &TC : TargetConstraints) {
1354 if (TargetOutputIdx != -1 && TargetOutputIdx != OutputIdx++)
1357 TLI->ComputeConstraintToUse(TC,
SDValue());
1360 TRI, TC.ConstraintCode, TC.ConstraintVT).second;
1364 if (!RC || !
TRI->isSGPRClass(RC))
1394bool GCNTTIImpl::isSourceOfDivergence(
const Value *V)
const {
1418 case Intrinsic::read_register:
1420 case Intrinsic::amdgcn_workitem_id_y:
1421 case Intrinsic::amdgcn_workitem_id_z: {
1426 *
F, IID == Intrinsic::amdgcn_workitem_id_y ? 1 : 2);
1427 return !HasUniformYZ && (!ThisDimSize || *ThisDimSize != 1);
1436 if (CB->isInlineAsm())
1451 ST->hasGloballyAddressableScratch();
1457bool GCNTTIImpl::isAlwaysUniform(
const Value *
V)
const {
1462 if (CB->isInlineAsm())
1480 bool XDimDoesntResetWithinWaves =
false;
1483 XDimDoesntResetWithinWaves = ST->hasWavefrontsEvenlySplittingXDim(*
F);
1485 using namespace llvm::PatternMatch;
1488 auto MaybeMaskedTidX =
1491 auto MaybeMaskedCastTidX =
1494 return C >= ST->getWavefrontSizeLog2() && XDimDoesntResetWithinWaves;
1501 ST->getWavefrontSizeLog2() &&
1502 XDimDoesntResetWithinWaves;
1517 case Intrinsic::amdgcn_if:
1518 case Intrinsic::amdgcn_else: {
1519 ArrayRef<unsigned> Indices = ExtValue->
getIndices();
1520 return Indices.
size() == 1 && Indices[0] == 1;
1537 case Intrinsic::amdgcn_is_shared:
1538 case Intrinsic::amdgcn_is_private:
1539 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1540 case Intrinsic::amdgcn_flat_atomic_fmin_num:
1541 case Intrinsic::amdgcn_load_to_lds:
1542 case Intrinsic::amdgcn_make_buffer_rsrc:
1543 case Intrinsic::amdgcn_flat_prefetch:
1553 Value *NewV)
const {
1554 auto IntrID =
II->getIntrinsicID();
1556 case Intrinsic::amdgcn_is_shared:
1557 case Intrinsic::amdgcn_is_private: {
1558 unsigned TrueAS = IntrID == Intrinsic::amdgcn_is_shared ?
1566 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1567 case Intrinsic::amdgcn_flat_atomic_fmin_num: {
1568 Type *DestTy =
II->getType();
1575 M,
II->getIntrinsicID(), {DestTy, SrcTy, DestTy});
1576 II->setArgOperand(0, NewV);
1577 II->setCalledFunction(NewDecl);
1580 case Intrinsic::amdgcn_load_to_lds: {
1585 II->setArgOperand(0, NewV);
1586 II->setCalledFunction(NewDecl);
1589 case Intrinsic::amdgcn_make_buffer_rsrc: {
1591 Type *DstTy =
II->getType();
1592 Type *NumRecordsTy =
II->getArgOperand(2)->getType();
1595 M,
II->getIntrinsicID(), {DstTy, SrcTy, NumRecordsTy});
1596 II->setArgOperand(0, NewV);
1597 II->setCalledFunction(NewDecl);
1600 case Intrinsic::amdgcn_flat_prefetch: {
1609 II->getModule(), Intrinsic::amdgcn_global_prefetch);
1610 II->setArgOperand(0, NewV);
1611 II->setCalledFunction(NewDecl);
1630 TypeSize ScalarSize =
DL.getTypeSizeInBits(SrcTy->getElementType());
1636 ST->hasAnyPackedFP32Ops() && SrcTy->getElementType()->isFloatTy() &&
1640 auto GetPair = [&](
int Idx) {
1641 return Idx < NumSrcElts ? Idx / 2 : NumSrcElts + (Idx - NumSrcElts) / 2;
1643 auto GetHalf = [&](
int Idx) {
1644 return Idx < NumSrcElts ? Idx % 2 : (Idx - NumSrcElts) % 2;
1647 for (
unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += 2) {
1648 const int Lo = Mask[DstIdx];
1655 if (LoInPlace && HiInPlace)
1656 Cost += GetPair(
Lo) != GetPair(
Hi);
1665 (ScalarSize == 16 || ScalarSize == 8)) {
1678 unsigned NumSrcElts = SrcVecTy->getNumElements();
1679 if (ST->hasVOP3PInsts() && ScalarSize == 16 && NumSrcElts == 2 &&
1685 unsigned EltsPerReg = 32 /
static_cast<unsigned>(ScalarSize);
1693 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1696 if (Index % EltsPerReg == 0)
1699 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1705 unsigned NumDstElts = DstVecTy->getNumElements();
1707 unsigned EndIndex = Index + NumInsertElts;
1708 unsigned BeginSubIdx = Index % EltsPerReg;
1709 unsigned EndSubIdx = EndIndex % EltsPerReg;
1712 if (BeginSubIdx != 0) {
1720 if (EndIndex < NumDstElts && BeginSubIdx < EndSubIdx)
1729 unsigned NumElts = DstVecTy->getNumElements();
1733 unsigned EltsFromLHS = NumElts - Index;
1734 bool LHSIsAligned = (Index % EltsPerReg) == 0;
1735 bool RHSIsAligned = (EltsFromLHS % EltsPerReg) == 0;
1736 if (LHSIsAligned && RHSIsAligned)
1738 if (LHSIsAligned && !RHSIsAligned)
1739 return divideCeil(NumElts, EltsPerReg) - (EltsFromLHS / EltsPerReg);
1740 if (!LHSIsAligned && RHSIsAligned)
1748 if (!Mask.empty()) {
1758 for (
unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += EltsPerReg) {
1761 for (
unsigned I = 0;
I < EltsPerReg && DstIdx +
I < Mask.size(); ++
I) {
1762 int SrcIdx = Mask[DstIdx +
I];
1766 if (SrcIdx < (
int)NumSrcElts) {
1767 Reg = SrcIdx / EltsPerReg;
1768 if (SrcIdx % EltsPerReg !=
I)
1771 Reg = NumSrcElts + (SrcIdx - NumSrcElts) / EltsPerReg;
1772 if ((SrcIdx - NumSrcElts) % EltsPerReg !=
I)
1778 if (Regs.
size() >= 2)
1802 if (
I->getOpcode() == Instruction::FAdd ||
1803 I->getOpcode() == Instruction::FSub) {
1805 if (
FMul &&
FMul->getParent() !=
I->getParent())
1806 Ops.push_back(&
I->getOperandUse(
I->getOperand(0) ==
FMul ? 0 : 1));
1809 for (
auto &
Op :
I->operands()) {
1824 if (OpInst->getType()->isVectorTy() && OpInst->getNumOperands() > 1) {
1826 if (VecOpInst && VecOpInst->
hasOneUse())
1831 OpInst->getOperand(0),
1832 OpInst->getOperand(1)) == 0) {
1846 if (EltSize < 16 || !ST->has16BitInsts())
1849 int NumSubElts, SubIndex;
1850 if (Shuffle->changesLength()) {
1851 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding()) {
1856 if ((Shuffle->isExtractSubvectorMask(SubIndex) ||
1857 Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex)) &&
1858 !(SubIndex & 0x1)) {
1864 if (Shuffle->isReverse() || Shuffle->isZeroEltSplat() ||
1865 Shuffle->isSingleSource()) {
1872 return !
Ops.empty();
1893 if (Callee->hasFnAttribute(Attribute::AlwaysInline) ||
1894 Callee->hasFnAttribute(Attribute::InlineHint))
1898 if (CLOpts.inline_max_bb) {
1900 if (Callee->size() == 1)
1902 size_t BBSize = Caller->size() + Callee->size() - 1;
1903 if (BBSize > CLOpts.inline_max_bb) {
1905 << Callee->getName() <<
" into " << Caller->getName()
1906 <<
": caller BBs=" << Caller->size() <<
", callee BBs="
1907 << Callee->size() <<
", combined BBs=" << BBSize
1908 <<
", max BBs=" << CLOpts.inline_max_bb <<
'\n');
1919 const int NrOfSGPRUntilSpill = 26;
1920 const int NrOfVGPRUntilSpill = 32;
1924 unsigned adjustThreshold = 0;
1930 for (
auto ArgVT : ValueVTs) {
1931 unsigned CCRegNum =
TLI->getNumRegistersForCallingConv(
1934 SGPRsInUse += CCRegNum;
1936 VGPRsInUse += CCRegNum;
1946 ArgStackCost +=
const_cast<GCNTTIImpl *
>(TTIImpl)->getMemoryOpCost(
1949 ArgStackCost +=
const_cast<GCNTTIImpl *
>(TTIImpl)->getMemoryOpCost(
1957 static_cast<unsigned>(std::max(0, SGPRsInUse - NrOfSGPRUntilSpill) *
1958 ArgStackCost.
getValue() * InstrCost);
1960 static_cast<unsigned>(std::max(0, VGPRsInUse - NrOfVGPRUntilSpill) *
1961 ArgStackCost.
getValue() * InstrCost);
1962 return adjustThreshold;
1978 unsigned AddrSpace = Ty->getAddressSpace();
1988 AllocaSize += *
Size;
2005 Threshold += CLOpts.inline_arg_alloca_cost;
2015 if (AllocaSize <= CLOpts.inline_arg_alloca_cutoff)
2032 static_assert(InlinerVectorBonusPercent == 0,
"vector bonus assumed to be 0");
2033 unsigned Threshold =
2037 return BB.getTerminator()->getNumSuccessors() > 1;
2040 Threshold += Threshold / 2;
2048 unsigned AllocaThresholdBonus =
static_cast<unsigned>(
2049 (Threshold * ArgAllocaSize->getFixedValue()) / AllocaSize);
2051 return AllocaThresholdBonus;
2057 CommonTTI.getUnrollingPreferences(L, SE, UP, ORE);
2062 CommonTTI.getPeelingPreferences(L, SE, PP);
2066 return getQuarterRateInstrCost(CostKind);
2070 return ST->hasFullRate64Ops()
2071 ? getFullRateInstrCost()
2072 : ST->hasHalfRate64Ops() ? getHalfRateInstrCost(CostKind)
2073 : getQuarterRateInstrCost(CostKind);
2076std::pair<InstructionCost, MVT>
2077GCNTTIImpl::getTypeLegalizationCost(
Type *Ty)
const {
2079 auto Size =
DL.getTypeSizeInBits(Ty);
2091 if (ST->hasVmemPrefInsts() || ST->hasSmemPrefetchInsts())
2092 return ST->getDataCacheLineSize();
2097 return ST->hasPrefetch() ? 128 : 0;
2108 LB.push_back({
"amdgpu-max-num-workgroups[0]", MaxNumWorkgroups[0]});
2109 LB.push_back({
"amdgpu-max-num-workgroups[1]", MaxNumWorkgroups[1]});
2110 LB.push_back({
"amdgpu-max-num-workgroups[2]", MaxNumWorkgroups[2]});
2111 std::pair<unsigned, unsigned> FlatWorkGroupSize =
2112 ST->getFlatWorkGroupSizes(
F);
2113 LB.push_back({
"amdgpu-flat-work-group-size[0]", FlatWorkGroupSize.first});
2114 LB.push_back({
"amdgpu-flat-work-group-size[1]", FlatWorkGroupSize.second});
2115 std::pair<unsigned, unsigned> WavesPerEU = ST->getWavesPerEU(
F);
2116 LB.push_back({
"amdgpu-waves-per-eu[0]", WavesPerEU.first});
2117 LB.push_back({
"amdgpu-waves-per-eu[1]", WavesPerEU.second});
2122 if (!ST->hasFeature(AMDGPU::FeatureDX10ClampAndIEEEMode))
2129 Attribute IEEEAttr =
F->getFnAttribute(
"amdgpu-ieee");
2139 unsigned NumInsts = Bytes / MaxBytes;
2140 unsigned Rem = Bytes % MaxBytes;
2141 if (HasDwordx3 && Rem % 16 >= 12) {
2149 unsigned EltBytes,
unsigned MaxBytes,
2151 unsigned MaxPiece = EltBytes == 1 ? 8 : MaxBytes;
2153 unsigned NumWide = 0, SmallBytes = 0;
2154 for (
unsigned Off = 0;
Off < Bytes;) {
2155 unsigned Rem = Bytes -
Off;
2156 unsigned Span = Rem;
2157 if (Rem <= Alignment)
2158 Span = std::min<uint64_t>(Alignment, WideBytes -
Off);
2160 if (Rem <= EltBytes)
2162 if (Piece >= MaxBytes)
2165 SmallBytes += std::max(Piece, 4u);
2175 const Value *Ptr = LI->getPointerOperand();
2190 return {
false,
false};
2192 bool KnownOffset =
true;
2194 KnownOffset = KnownOffset &&
GEP->accumulateConstantOffset(
DL,
Offset);
2195 Ptr =
GEP->getPointerOperand();
2200 return {
false,
false};
2201 Ptr = Cast->getPointerOperand();
2204 if (Rsrc && Rsrc->getIntrinsicID() != Intrinsic::amdgcn_make_buffer_rsrc)
2207 return {
false,
false};
2209 bool NoWrapFromMax =
2212 const auto *NumRecords =
2214 std::optional<unsigned> NumRecordsWidth =
2215 ST.getBufferResourceNumRecordsWidth();
2216 if (!NumRecords || !NumRecordsWidth)
2217 return {NoWrapFromMax,
false};
2220 return {NoWrapFromMax,
true};
2222 return {
false,
false};
2224 return {NoWrapFromMax, BoundsDiff.
sge(Bytes) || BoundsDiff.
isNonPositive()};
2234 if ((Opcode != Instruction::Load && Opcode != Instruction::Store) ||
2238 CostKind, OpInfo,
I);
2240 unsigned EltBits = std::max<unsigned>(8,
DL.getTypeSizeInBits(EltTy));
2245 !TLI->shouldCombineMemoryType(TLI->getValueType(
DL, Src))) {
2247 return VecTy->getNumElements() *
getMemoryOpCost(Opcode, EltTy, EltAlign,
2252 unsigned Bytes =
DL.getTypeStoreSize(Src);
2253 if (Opcode == Instruction::Load &&
2256 Alignment >= std::min(Bytes, 4u) &&
2261 bool HasDwordx3 = ST->hasScalarDwordx3Loads();
2263 if (!VecTy && Bytes % 4)
2266 MVT::i32, Dwords))) {
2267 unsigned EltBytes = Bytes % 4 ? EltBits / 8 : 4;
2269 MaxBytes, HasDwordx3);
2271 if (!HasDwordx3 && Alignment >= 8 && Dwords % 4 == 3)
2279 !ST->hasMultiDwordFlatScratchAddressing())
2282 ST->hasLDSMisalignedBugInWGPMode())
2283 MaxBytes = std::clamp<uint64_t>(Alignment.value(), 4, MaxBytes);
2286 bool HasDwordx3 = ST->hasDwordx3LoadStores();
2287 bool HasUnalignedAccess = ST->hasUnalignedBufferAccessEnabled();
2290 HasUnalignedAccess = ST->hasUnalignedScratchAccessEnabled();
2292 HasUnalignedAccess = ST->hasUnalignedDSAccessEnabled();
2293 if ((Alignment >= 4 || ST->hasLDSMisalignedBugInWGPMode()) && Alignment < 8)
2295 HasDwordx3 = HasDwordx3 &&
2296 (Alignment >= 16 || (Alignment < 4 && HasUnalignedAccess));
2299 auto [NoWrapFromMax, NoPartialOOB] =
2301 MaxBytes = ST->getMaxBufferIntrinsicWidth(
DL, Src, Alignment, NoWrapFromMax,
2305 if (Alignment < 4 && !HasUnalignedAccess)
2306 MaxBytes = std::min<unsigned>(MaxBytes, Alignment.value());
2308 (ST->hasFlatInstOffsets() &&
2311 !ST->hasFlatSegmentOffsetBug())));
2313 if (Opcode == Instruction::Load &&
2317 if (EltBits <= 16 && Alignment >= 4 && Bytes % 4) {
2318 unsigned Piece = std::min(EltBits == 8 ? 8u : 16u, MaxBytes);
2319 unsigned Granule = std::min<unsigned>(Alignment.value(), Piece);
2320 if (!IsDS && !MergesDwords)
2322 (Bytes % Granule != 0);
2323 unsigned Tail = Bytes % Granule;
2324 if (Tail > EltBits / 8) {
2325 Bytes += std::max<unsigned>(4,
PowerOf2Ceil(Tail)) - Tail;
2331 if (!MergesDwords && Bytes % MaxBytes > 12)
2338 if (VecTy->getElementType()->isIntegerTy(8)) {
2349 case Intrinsic::amdgcn_wave_shuffle:
2356 if (isAlwaysUniform(V))
2359 if (isSourceOfDivergence(V))
2367 bool HasBaseReg, int64_t Scale,
2368 unsigned AddrSpace)
const {
2369 if (HasBaseReg && Scale != 0) {
2373 if (getST()->hasScaleOffset() && Ty && Ty->isSized() &&
2393 unsigned EffInsnsA =
A.Insns +
A.ScaleCost;
2394 unsigned EffInsnsB =
B.Insns +
B.ScaleCost;
2396 return std::tie(EffInsnsA,
A.NumIVMuls,
A.AddRecCost,
A.NumBaseAdds,
2397 A.SetupCost,
A.ImmCost,
A.NumRegs) <
2398 std::tie(EffInsnsB,
B.NumIVMuls,
B.AddRecCost,
B.NumBaseAdds,
2399 B.SetupCost,
B.ImmCost,
B.NumRegs);
2416 case Intrinsic::amdgcn_wave_shuffle:
2419 return UniformArgs[0] || UniformArgs[1];
const TargetLowering & TLI
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")
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Register const TargetRegisterInfo * TRI
uint64_t IntrinsicInst * II
SmallVector< MachineOperand, 4 > 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
Class for arbitrary precision integers.
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
LLVM_ABI APInt zextOrTrunc(unsigned width) const
Zero extend or truncate to width.
bool isAllOnes() const
Determine if all bits are set. This is true for zero-width values.
bool isNonPositive() const
Determine if this APInt Value is non-positive (<= 0).
bool sge(const APInt &RHS) const
Signed greater or equal comparison.
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.
static LLVM_ABI PointerType * get(LLVMContext &C, unsigned AddressSpace)
This constructs an opaque pointer to an object in a numbered address space.
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)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
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.
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
bool isIntOrPtrTy() const
Return true if this is an integer type or a pointer 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.
LLVM_ABI const Value * stripAndAccumulateConstantOffsets(const DataLayout &DL, APInt &Offset, bool AllowNonInbounds, bool AllowInvariantGroup=false, function_ref< bool(Value &Value, APInt &Offset)> ExternalAnalysis=nullptr, bool LookThroughIntToPtr=false) const
Accumulate the constant offset this value has compared to a base pointer.
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 isTriviallyUniform(const Value *V, const Instruction *CtxI)
Return true if we can easily prove that V is uniform at CtxI.
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(const LLVMContext &C)
Return -inline-instr-cost.
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))
FNeg_match< OpTy, true > m_FNegOrFSubNegZero(const OpTy &X)
Match fneg X or fsub -0.0, X.
auto m_FAbs(const Opnd0 &Op0)
BinaryOp_match< LHS, RHS, Instruction::LShr > m_LShr(const LHS &L, const RHS &R)
auto m_ConstantInt()
Match an arbitrary ConstantInt and ignore it.
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...
bool isValidAtomicOrdering(Int I)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
const Value * getLoadStorePointerOperand(const Value *V)
A helper function that returns the pointer operand of a load or store instruction.
@ 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...
constexpr int popcount(T Value) noexcept
Count the number of set bits in a value.
uint64_t PowerOf2Ceil(uint64_t A)
Returns the power of two which is greater than or equal to the given value.
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.
IRBuilder(LLVMContext &, FolderTy, InserterTy) -> IRBuilder< FolderTy, InserterTy >
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...
constexpr int PoisonMaskElem
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.
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
T bit_floor(T Value)
Returns the largest integral power of two no greater than Value if Value is nonzero.
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()
static EVT getVectorVT(LLVMContext &Context, EVT VT, unsigned NumElements, bool IsScalable=false)
Returns the EVT that represents a vector NumElements in length, where each element is of type VT.
uint64_t getScalarSizeInBits() const
Information about a load/store intrinsic defined by the target.
bool isInlineCompatible(SIModeRegisterDefaults CalleeMode) const