LLVM 24.0.0git
AMDGPUTargetTransformInfo.cpp
Go to the documentation of this file.
1//===- AMDGPUTargetTransformInfo.cpp - AMDGPU specific TTI pass -----------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// \file
10// This file implements a TargetTransformInfo analysis pass specific to the
11// AMDGPU target machine. It uses the target's detailed information to provide
12// more precise answers to certain TTI queries, while letting the target
13// independent and default TTI implementations handle the rest.
14//
15//===----------------------------------------------------------------------===//
16
18#include "AMDGPUSubtarget.h"
19#include "AMDGPUTargetMachine.h"
27#include "llvm/IR/Function.h"
28#include "llvm/IR/IRBuilder.h"
29#include "llvm/IR/IntrinsicsAMDGPU.h"
32#include <optional>
33
34using namespace llvm;
35
36#define DEBUG_TYPE "AMDGPUtti"
37
39 "amdgpu-unroll-threshold-private",
40 cl::desc("Unroll threshold for AMDGPU if private memory used in a loop"),
41 cl::init(2700), cl::Hidden);
42
44 "amdgpu-unroll-threshold-local",
45 cl::desc("Unroll threshold for AMDGPU if local memory used in a loop"),
46 cl::init(1000), cl::Hidden);
47
49 "amdgpu-unroll-threshold-if",
50 cl::desc("Unroll threshold increment for AMDGPU for each if statement inside loop"),
51 cl::init(200), cl::Hidden);
52
54 "amdgpu-unroll-runtime-local",
55 cl::desc("Allow runtime unroll for AMDGPU if local memory used in a loop"),
56 cl::init(true), cl::Hidden);
57
59 "amdgpu-unroll-max-block-to-analyze",
60 cl::desc("Inner loop block size threshold to analyze in unroll for AMDGPU"),
61 cl::init(32), cl::Hidden);
62
63static cl::opt<unsigned> ArgAllocaCost("amdgpu-inline-arg-alloca-cost",
64 cl::Hidden, cl::init(4000),
65 cl::desc("Cost of alloca argument"));
66
67// If the amount of scratch memory to eliminate exceeds our ability to allocate
68// it into registers we gain nothing by aggressively inlining functions for that
69// heuristic.
71 ArgAllocaCutoff("amdgpu-inline-arg-alloca-cutoff", cl::Hidden,
72 cl::init(256),
73 cl::desc("Maximum alloca size to use for inline cost"));
74
75// Inliner constraint to achieve reasonable compilation time.
77 "amdgpu-inline-max-bb", cl::Hidden, cl::init(1100),
78 cl::desc("Maximum number of BBs allowed in a function after inlining"
79 " (compile time constraint)"));
80
81// This default unroll factor is based on microbenchmarks on gfx1030.
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"
86 "memset as a loop"),
87 cl::init(16), cl::Hidden);
88
89static bool dependsOnLocalPhi(const Loop *L, const Value *Cond,
90 unsigned Depth = 0) {
92 if (!I)
93 return false;
94
95 if (!L->contains(I))
96 return false;
97 for (const Value *V : I->operand_values()) {
98 if (const PHINode *PHI = dyn_cast<PHINode>(V)) {
99 if (llvm::none_of(L->getSubLoops(), [PHI](const Loop* SubLoop) {
100 return SubLoop->contains(PHI); }))
101 return true;
102 } else if (Depth < 10 && dependsOnLocalPhi(L, V, Depth+1))
103 return true;
104 }
105 return false;
106}
107
109 : BaseT(TM, F.getDataLayout()),
110 TargetTriple(TM->getTargetTriple()),
111 ST(static_cast<const GCNSubtarget *>(TM->getSubtargetImpl(F))),
112 TLI(ST->getTargetLowering()) {}
113
116 OptimizationRemarkEmitter *ORE) const {
117 const Function &F = *L->getHeader()->getParent();
118 UP.Threshold =
119 F.getFnAttributeAsParsedInteger("amdgpu-unroll-threshold", 300);
120 UP.MaxCount = std::numeric_limits<unsigned>::max();
121 UP.Partial = true;
122
123 // Conditional branch in a loop back edge needs 3 additional exec
124 // manipulations in average.
125 UP.BEInsns += 3;
126
127 // We want to run unroll even for the loops which have been vectorized.
128 UP.UnrollVectorizedLoop = true;
129
130 // Enable runtime unrolling for loops whose trip count is not known at
131 // compile time.
132 UP.Runtime = true;
133
134 // Maximum alloca size than can fit registers. Reserve 16 registers.
135 const unsigned MaxAlloca = (256 - 16) * 4;
136 unsigned ThresholdPrivate = UnrollThresholdPrivate;
137 unsigned ThresholdLocal = UnrollThresholdLocal;
138
139 // If this loop has the amdgpu.loop.unroll.threshold metadata we will use the
140 // provided threshold value as the default for Threshold
141 if (MDNode *LoopUnrollThreshold =
142 findOptionMDForLoop(L, "amdgpu.loop.unroll.threshold")) {
143 if (LoopUnrollThreshold->getNumOperands() == 2) {
145 LoopUnrollThreshold->getOperand(1));
146 if (MetaThresholdValue) {
147 // We will also use the supplied value for PartialThreshold for now.
148 // We may introduce additional metadata if it becomes necessary in the
149 // future.
150 UP.Threshold = MetaThresholdValue->getSExtValue();
152 ThresholdPrivate = std::min(ThresholdPrivate, UP.Threshold);
153 ThresholdLocal = std::min(ThresholdLocal, UP.Threshold);
154 }
155 }
156 }
157
158 unsigned MaxBoost = std::max(ThresholdPrivate, ThresholdLocal);
159 for (const BasicBlock *BB : L->getBlocks()) {
160 const DataLayout &DL = BB->getDataLayout();
161 unsigned LocalGEPsSeen = 0;
162
163 if (llvm::any_of(L->getSubLoops(), [BB](const Loop* SubLoop) {
164 return SubLoop->contains(BB); }))
165 continue; // Block belongs to an inner loop.
166
167 for (const Instruction &I : *BB) {
168 // Unroll a loop which contains an "if" statement whose condition
169 // defined by a PHI belonging to the loop. This may help to eliminate
170 // if region and potentially even PHI itself, saving on both divergence
171 // and registers used for the PHI.
172 // Add a small bonus for each of such "if" statements.
173 if (const CondBrInst *Br = dyn_cast<CondBrInst>(&I)) {
174 if (UP.Threshold < MaxBoost) {
175 BasicBlock *Succ0 = Br->getSuccessor(0);
176 BasicBlock *Succ1 = Br->getSuccessor(1);
177 if ((L->contains(Succ0) && L->isLoopExiting(Succ0)) ||
178 (L->contains(Succ1) && L->isLoopExiting(Succ1)))
179 continue;
180 if (dependsOnLocalPhi(L, Br->getCondition())) {
182 LLVM_DEBUG(dbgs() << "Set unroll threshold " << UP.Threshold
183 << " for loop:\n"
184 << *L << " due to " << *Br << '\n');
185 if (UP.Threshold >= MaxBoost)
186 return;
187 }
188 }
189 continue;
190 }
191
193 if (!GEP)
194 continue;
195
196 unsigned AS = GEP->getAddressSpace();
197 unsigned Threshold = 0;
199 Threshold = ThresholdPrivate;
201 Threshold = ThresholdLocal;
202 else
203 continue;
204
205 if (UP.Threshold >= Threshold)
206 continue;
207
208 if (AS == AMDGPUAS::PRIVATE_ADDRESS) {
209 const Value *Ptr = GEP->getPointerOperand();
210 const AllocaInst *Alloca =
212 if (!Alloca || !Alloca->isStaticAlloca())
213 continue;
214 auto AllocaSize = Alloca->getAllocationSize(DL);
215 if (!AllocaSize || AllocaSize->getFixedValue() > MaxAlloca)
216 continue;
217 } else if (AS == AMDGPUAS::LOCAL_ADDRESS ||
219 LocalGEPsSeen++;
220 // Inhibit unroll for local memory if we have seen addressing not to
221 // a variable, most likely we will be unable to combine it.
222 // Do not unroll too deep inner loops for local memory to give a chance
223 // to unroll an outer loop for a more important reason.
224 if (LocalGEPsSeen > 1 || L->getLoopDepth() > 2 ||
225 (!isa<GlobalVariable>(GEP->getPointerOperand()) &&
226 !isa<Argument>(GEP->getPointerOperand())))
227 continue;
228 LLVM_DEBUG(dbgs() << "Allow unroll runtime for loop:\n"
229 << *L << " due to LDS use.\n");
231 }
232
233 // Check if GEP depends on a value defined by this loop itself.
234 bool HasLoopDef = false;
235 for (const Value *Op : GEP->operands()) {
236 const Instruction *Inst = dyn_cast<Instruction>(Op);
237 if (!Inst || L->isLoopInvariant(Op))
238 continue;
239
240 if (llvm::any_of(L->getSubLoops(), [Inst](const Loop* SubLoop) {
241 return SubLoop->contains(Inst); }))
242 continue;
243 HasLoopDef = true;
244 break;
245 }
246 if (!HasLoopDef)
247 continue;
248
249 // We want to do whatever we can to limit the number of alloca
250 // instructions that make it through to the code generator. allocas
251 // require us to use indirect addressing, which is slow and prone to
252 // compiler bugs. If this loop does an address calculation on an
253 // alloca ptr, then we want to use a higher than normal loop unroll
254 // threshold. This will give SROA a better chance to eliminate these
255 // allocas.
256 //
257 // We also want to have more unrolling for local memory to let ds
258 // instructions with different offsets combine.
259 //
260 // Don't use the maximum allowed value here as it will make some
261 // programs way too big.
262 UP.Threshold = Threshold;
263 LLVM_DEBUG(dbgs() << "Set unroll threshold " << Threshold
264 << " for loop:\n"
265 << *L << " due to " << *GEP << '\n');
266 if (UP.Threshold >= MaxBoost)
267 return;
268 }
269
270 // If we got a GEP in a small BB from inner loop then increase max trip
271 // count to analyze for better estimation cost in unroll
272 if (L->isInnermost() && BB->size() < UnrollMaxBlockToAnalyze)
274 }
275}
276
281
285
287 : BaseT(TM, F.getDataLayout()),
288 ST(static_cast<const GCNSubtarget *>(TM->getSubtargetImpl(F))),
289 TLI(ST->getTargetLowering()), CommonTTI(TM, F),
290 IsGraphics(AMDGPU::isGraphics(F.getCallingConv())) {
292 HasFP32Denormals = Mode.FP32Denormals != DenormalMode::getPreserveSign();
293 HasFP64FP16Denormals =
294 Mode.FP64FP16Denormals != DenormalMode::getPreserveSign();
295}
296
298 return !F || !ST->isSingleLaneExecution(*F);
299}
300
301unsigned GCNTTIImpl::getNumberOfRegisters(unsigned RCID) const {
302 // NB: RCID is not an RCID. In fact it is 0 or 1 for scalar or vector
303 // registers. See getRegisterClassForType for the implementation.
304 // In this case vector registers are not vector in terms of
305 // VGPRs, but those which can hold multiple values.
306
307 // This is really the number of registers to fill when vectorizing /
308 // interleaving loops, so we lie to avoid trying to use all registers.
309 return 4;
310}
311
314 switch (K) {
316 return TypeSize::getFixed(32);
318 return TypeSize::getFixed((ST->hasPackedFP64Ops() || ST->hasPackedU64Ops())
319 ? 128
320 : ST->hasPackedFP32Ops() ? 64
321 : 32);
323 return TypeSize::getScalable(0);
324 }
325 llvm_unreachable("Unsupported register kind");
326}
327
329 return 32;
330}
331
332unsigned GCNTTIImpl::getMaximumVF(unsigned ElemWidth, unsigned Opcode) const {
333 if (Opcode == Instruction::Load || Opcode == Instruction::Store)
334 return 32 * 4 / ElemWidth;
335 // For a given width return the max 0number of elements that can be combined
336 // into a wider bit value:
337 return (ElemWidth == 8 && ST->has16BitInsts()) ? 4
338 : (ElemWidth == 16 && ST->has16BitInsts()) ? 2
339 : (ElemWidth == 32 && ST->hasPackedFP32Ops()) ? 2
340 : (ElemWidth == 64 &&
341 (ST->hasPackedFP64Ops() || ST->hasPackedU64Ops()))
342 ? 2
343 : 1;
344}
345
347 // The integer inst-count heuristic causes regressions on gfx94x and gfx950
348 // because 2-element vector trees that pass the scalar/vector instruction
349 // count comparison still widen scalar moves (e.g. v_mov_b32 to v_mov_b64)
350 // after codegen, increasing register pressure and throughput cost without
351 // reducing the total instruction count.
352 return !ST->hasGFX940Insts() && !ST->hasGFX950Insts();
353}
354
355unsigned GCNTTIImpl::getLoadVectorFactor(unsigned VF, unsigned LoadSize,
356 unsigned ChainSizeInBytes,
357 VectorType *VecTy) const {
358 unsigned VecRegBitWidth = VF * LoadSize;
359 if (VecRegBitWidth > 128 && VecTy->getScalarSizeInBits() < 32)
360 // TODO: Support element-size less than 32bit?
361 return 128 / LoadSize;
362
363 return VF;
364}
365
366unsigned GCNTTIImpl::getStoreVectorFactor(unsigned VF, unsigned StoreSize,
367 unsigned ChainSizeInBytes,
368 VectorType *VecTy) const {
369 unsigned VecRegBitWidth = VF * StoreSize;
370 if (VecRegBitWidth > 128)
371 return 128 / StoreSize;
372
373 return VF;
374}
375
376unsigned GCNTTIImpl::getLoadStoreVecRegBitWidth(unsigned AddrSpace) const {
377 if (AddrSpace == AMDGPUAS::GLOBAL_ADDRESS ||
378 AddrSpace == AMDGPUAS::CONSTANT_ADDRESS ||
380 AddrSpace == AMDGPUAS::BUFFER_FAT_POINTER ||
381 AddrSpace == AMDGPUAS::BUFFER_RESOURCE ||
383 return 512;
384 }
385
386 if (AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)
387 return 8 * ST->getMaxPrivateElementSize();
388
389 // Common to flat, global, local and region. Assume for unknown addrspace.
390 return 128;
391}
392
393bool GCNTTIImpl::isLegalToVectorizeMemChain(unsigned ChainSizeInBytes,
394 Align Alignment,
395 unsigned AddrSpace) const {
396 // We allow vectorization of flat stores, even though we may need to decompose
397 // them later if they may access private memory. We don't have enough context
398 // here, and legalization can handle it.
399 if (AddrSpace == AMDGPUAS::PRIVATE_ADDRESS) {
400 return (Alignment >= 4 || ST->hasUnalignedScratchAccessEnabled()) &&
401 ChainSizeInBytes <= ST->getMaxPrivateElementSize();
402 }
403 return true;
404}
405
406bool GCNTTIImpl::isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes,
407 Align Alignment,
408 unsigned AddrSpace) const {
409 return isLegalToVectorizeMemChain(ChainSizeInBytes, Alignment, AddrSpace);
410}
411
412bool GCNTTIImpl::isLegalToVectorizeStoreChain(unsigned ChainSizeInBytes,
413 Align Alignment,
414 unsigned AddrSpace) const {
415 return isLegalToVectorizeMemChain(ChainSizeInBytes, Alignment, AddrSpace);
416}
417
421
423 LLVMContext &Context, Value *Length, unsigned SrcAddrSpace,
424 unsigned DestAddrSpace, Align SrcAlign, Align DestAlign,
425 std::optional<uint32_t> AtomicElementSize) const {
426
427 if (AtomicElementSize)
428 return Type::getIntNTy(Context, *AtomicElementSize * 8);
429
430 // 16-byte accesses achieve the highest copy throughput.
431 // If the operation has a fixed known length that is large enough, it is
432 // worthwhile to return an even wider type and let legalization lower it into
433 // multiple accesses, effectively unrolling the memcpy loop.
434 // We also rely on legalization to decompose into smaller accesses for
435 // subtargets and address spaces where it is necessary.
436 //
437 // Don't unroll if Length is not a constant, since unrolling leads to worse
438 // performance for length values that are smaller or slightly larger than the
439 // total size of the type returned here. Mitigating that would require a more
440 // complex lowering for variable-length memcpy and memmove.
441 unsigned I32EltsInVector = 4;
444 MemcpyLoopUnroll * I32EltsInVector);
445
446 return FixedVectorType::get(Type::getInt32Ty(Context), I32EltsInVector);
447}
448
450 SmallVectorImpl<Type *> &OpsOut, LLVMContext &Context,
451 unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace,
452 Align SrcAlign, Align DestAlign,
453 std::optional<uint32_t> AtomicCpySize) const {
454
455 if (AtomicCpySize)
457 OpsOut, Context, RemainingBytes, SrcAddrSpace, DestAddrSpace, SrcAlign,
458 DestAlign, AtomicCpySize);
459
460 Type *I32x4Ty = FixedVectorType::get(Type::getInt32Ty(Context), 4);
461 while (RemainingBytes >= 16) {
462 OpsOut.push_back(I32x4Ty);
463 RemainingBytes -= 16;
464 }
465
466 Type *I64Ty = Type::getInt64Ty(Context);
467 while (RemainingBytes >= 8) {
468 OpsOut.push_back(I64Ty);
469 RemainingBytes -= 8;
470 }
471
472 Type *I32Ty = Type::getInt32Ty(Context);
473 while (RemainingBytes >= 4) {
474 OpsOut.push_back(I32Ty);
475 RemainingBytes -= 4;
476 }
477
478 Type *I16Ty = Type::getInt16Ty(Context);
479 while (RemainingBytes >= 2) {
480 OpsOut.push_back(I16Ty);
481 RemainingBytes -= 2;
482 }
483
484 Type *I8Ty = Type::getInt8Ty(Context);
485 while (RemainingBytes) {
486 OpsOut.push_back(I8Ty);
487 --RemainingBytes;
488 }
489}
490
492 bool HasUnorderedReductions) const {
493 // Disable unrolling if the loop is not vectorized.
494 // TODO: Enable this again.
495 if (VF.isScalar())
496 return 1;
497
498 return 8;
499}
500
502 MemIntrinsicInfo &Info) const {
503 switch (Inst->getIntrinsicID()) {
504 case Intrinsic::amdgcn_ds_ordered_add:
505 case Intrinsic::amdgcn_ds_ordered_swap: {
506 auto *Ordering = dyn_cast<ConstantInt>(Inst->getArgOperand(2));
507 auto *Volatile = dyn_cast<ConstantInt>(Inst->getArgOperand(4));
508 if (!Ordering || !Volatile)
509 return false; // Invalid.
510
511 unsigned OrderingVal = Ordering->getZExtValue();
512 if (OrderingVal > static_cast<unsigned>(AtomicOrdering::SequentiallyConsistent))
513 return false;
514
515 Info.PtrVal = Inst->getArgOperand(0);
516 Info.Ordering = static_cast<AtomicOrdering>(OrderingVal);
517 Info.ReadMem = true;
518 Info.WriteMem = true;
519 Info.IsVolatile = !Volatile->isZero();
520 return true;
521 }
522 default:
523 return false;
524 }
525}
526
528 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
530 ArrayRef<const Value *> Args, const Instruction *CxtI) const {
531
532 // Legalize the type.
533 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
534 int ISD = TLI->InstructionOpcodeToISD(Opcode);
535
536 // Because we don't have any legal vector operations, but the legal types, we
537 // need to account for split vectors.
538 unsigned NElts = LT.second.isVector() ?
539 LT.second.getVectorNumElements() : 1;
540
541 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
542
543 switch (ISD) {
544 case ISD::SHL:
545 case ISD::SRL:
546 case ISD::SRA:
547 if (SLT == MVT::i64)
548 return get64BitInstrCost(CostKind) * LT.first * NElts;
549
550 if (ST->has16BitInsts() && SLT == MVT::i16)
551 NElts = (NElts + 1) / 2;
552
553 // i32
554 return getFullRateInstrCost() * LT.first * NElts;
555 case ISD::ADD:
556 case ISD::SUB:
557 if (SLT == MVT::i64 && ST->hasPackedU64Ops())
558 NElts = (NElts + 1) / 2;
559 [[fallthrough]];
560 case ISD::AND:
561 case ISD::OR:
562 case ISD::XOR:
563 if (SLT == MVT::i64) {
564 // and, or and xor are typically split into 2 VALU instructions.
565 return 2 * getFullRateInstrCost() * LT.first * NElts;
566 }
567
568 if (ST->has16BitInsts() && SLT == MVT::i16)
569 NElts = (NElts + 1) / 2;
570
571 return LT.first * NElts * getFullRateInstrCost();
572 case ISD::MUL: {
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;
577 }
578
579 if (ST->has16BitInsts() && SLT == MVT::i16)
580 NElts = (NElts + 1) / 2;
581
582 // i32
583 return QuarterRateCost * NElts * LT.first;
584 }
585 case ISD::FMUL:
586 // Check possible fuse {fadd|fsub}(a,fmul(b,c)) and return zero cost for
587 // fmul(b,c) supposing the fadd|fsub will get estimated cost for the whole
588 // fused operation.
589 if (CxtI && CxtI->hasOneUse())
590 if (const auto *FAdd = dyn_cast<BinaryOperator>(*CxtI->user_begin())) {
591 const int OPC = TLI->InstructionOpcodeToISD(FAdd->getOpcode());
592 if (OPC == ISD::FADD || OPC == ISD::FSUB) {
593 if (ST->hasMadMacF32Insts() && SLT == MVT::f32 && !HasFP32Denormals)
595 if (ST->has16BitInsts() && SLT == MVT::f16 && !HasFP64FP16Denormals)
597
598 // Estimate all types may be fused with contract/unsafe flags
599 const TargetOptions &Options = TLI->getTargetMachine().Options;
600 if (Options.AllowFPOpFusion == FPOpFusion::Fast ||
601 (FAdd->hasAllowContract() && CxtI->hasAllowContract()))
603 }
604 }
605 [[fallthrough]];
606 case ISD::FADD:
607 case ISD::FSUB:
608 if (ST->hasPackedFP32Ops() && SLT == MVT::f32)
609 NElts = (NElts + 1) / 2;
610 if (ST->hasBF16PackedInsts() && SLT == MVT::bf16)
611 NElts = (NElts + 1) / 2;
612 if (SLT == MVT::f64) {
613 if (ST->hasPackedFP64Ops())
614 NElts = (NElts + 1) / 2;
615 return LT.first * NElts * get64BitInstrCost(CostKind);
616 }
617
618 if (ST->has16BitInsts() && SLT == MVT::f16)
619 NElts = (NElts + 1) / 2;
620
621 if (SLT == MVT::f32 || SLT == MVT::f16 || SLT == MVT::bf16)
622 return LT.first * NElts * getFullRateInstrCost();
623 break;
624 case ISD::FDIV:
625 case ISD::FREM:
626 // FIXME: frem should be handled separately. The fdiv in it is most of it,
627 // but the current lowering is also not entirely correct.
628 if (SLT == MVT::f64) {
629 int Cost = 7 * get64BitInstrCost(CostKind) +
630 getQuarterRateInstrCost(CostKind) +
631 3 * getHalfRateInstrCost(CostKind);
632 // Add cost of workaround.
633 if (!ST->hasUsableDivScaleConditionOutput())
634 Cost += 3 * getFullRateInstrCost();
635
636 return LT.first * Cost * NElts;
637 }
638
639 if (!Args.empty() && match(Args[0], PatternMatch::m_FPOne())) {
640 // TODO: This is more complicated, unsafe flags etc.
641 if ((SLT == MVT::f32 && !HasFP32Denormals) ||
642 (SLT == MVT::f16 && ST->has16BitInsts())) {
643 return LT.first * getTransInstrCost(CostKind) * NElts;
644 }
645 }
646
647 if (SLT == MVT::f16 && ST->has16BitInsts()) {
648 // 2 x v_cvt_f32_f16
649 // f32 rcp
650 // f32 fmul
651 // v_cvt_f16_f32
652 // f16 div_fixup
653 int Cost = 4 * getFullRateInstrCost() + 2 * getTransInstrCost(CostKind);
654 return LT.first * Cost * NElts;
655 }
656
657 if (SLT == MVT::f32 && (CxtI && CxtI->hasApproxFunc())) {
658 // Fast unsafe fdiv lowering:
659 // f32 rcp
660 // f32 fmul
661 int Cost = getTransInstrCost(CostKind) + getFullRateInstrCost();
662 return LT.first * Cost * NElts;
663 }
664
665 if (SLT == MVT::f32 || SLT == MVT::f16) {
666 // 4 more v_cvt_* insts without f16 insts support
667 int Cost = (SLT == MVT::f16 ? 14 : 10) * getFullRateInstrCost() +
668 1 * getTransInstrCost(CostKind);
669
670 if (!HasFP32Denormals) {
671 // FP mode switches.
672 Cost += 2 * getFullRateInstrCost();
673 }
674
675 return LT.first * NElts * Cost;
676 }
677 break;
678 case ISD::FNEG:
679 // Use the backend' estimation. If fneg is not free each element will cost
680 // one additional instruction.
681 return TLI->isFNegFree(SLT) ? 0 : NElts;
682 default:
683 break;
684 }
685
686 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind, Op1Info, Op2Info,
687 Args, CxtI);
688}
689
690// Return true if there's a potential benefit from using v2f16/v2i16
691// instructions for an intrinsic, even if it requires nontrivial legalization.
693 switch (ID) {
694 case Intrinsic::fma:
695 case Intrinsic::fmuladd:
696 case Intrinsic::copysign:
697 case Intrinsic::minimumnum:
698 case Intrinsic::maximumnum:
699 case Intrinsic::canonicalize:
700 // There's a small benefit to using vector ops in the legalized code.
701 case Intrinsic::round:
702 case Intrinsic::uadd_sat:
703 case Intrinsic::usub_sat:
704 case Intrinsic::sadd_sat:
705 case Intrinsic::ssub_sat:
706 case Intrinsic::abs:
707 return true;
708 default:
709 return false;
710 }
711}
712
716 switch (ICA.getID()) {
717 case Intrinsic::fabs:
718 // Free source modifier in the common case.
719 return 0;
720 case Intrinsic::amdgcn_workitem_id_x:
721 case Intrinsic::amdgcn_workitem_id_y:
722 case Intrinsic::amdgcn_workitem_id_z:
723 // TODO: If hasPackedTID, or if the calling context is not an entry point
724 // there may be a bit instruction.
725 return 0;
726 case Intrinsic::amdgcn_workgroup_id_x:
727 case Intrinsic::amdgcn_workgroup_id_y:
728 case Intrinsic::amdgcn_workgroup_id_z:
729 case Intrinsic::amdgcn_lds_kernel_id:
730 case Intrinsic::amdgcn_dispatch_ptr:
731 case Intrinsic::amdgcn_dispatch_id:
732 case Intrinsic::amdgcn_implicitarg_ptr:
733 case Intrinsic::amdgcn_queue_ptr:
734 // Read from an argument register.
735 return 0;
736 default:
737 break;
738 }
739
740 Type *RetTy = ICA.getReturnType();
741
742 Intrinsic::ID IID = ICA.getID();
743 switch (IID) {
744 case Intrinsic::exp:
745 case Intrinsic::exp2:
746 case Intrinsic::exp10: {
747 // Legalize the type.
748 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
749 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
750 unsigned NElts =
751 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
752
753 if (SLT == MVT::f64) {
754 unsigned NumOps = 20;
755 if (IID == Intrinsic::exp)
756 ++NumOps;
757 else if (IID == Intrinsic::exp10)
758 NumOps += 3;
759
760 return LT.first * NElts * NumOps * get64BitInstrCost(CostKind);
761 }
762
763 if (SLT == MVT::f32) {
764 unsigned NumFullRateOps = 0;
765 // v_exp_f32 (transcendental).
766 unsigned NumTransOps = 1;
767
768 if (!ICA.getFlags().approxFunc() && IID != Intrinsic::exp2) {
769 // Non-AFN exp/exp10: range reduction + v_exp_f32 + ldexp +
770 // overflow/underflow checks (lowerFEXP). Denorm is also handled.
771 // FMA preamble: ~13 full-rate ops; non-FMA: ~17.
772 NumFullRateOps = ST->hasFastFMAF32() ? 13 : 17;
773 } else {
774 if (IID == Intrinsic::exp) {
775 // lowerFEXPUnsafe: fmul (base conversion) + v_exp_f32.
776 NumFullRateOps = 1;
777 } else if (IID == Intrinsic::exp10) {
778 // lowerFEXP10Unsafe: 3 fmul + 2 v_exp_f32 (double-exp2).
779 NumFullRateOps = 3;
780 NumTransOps = 2;
781 }
782 // Denorm scaling adds setcc + select + fadd + select + fmul.
783 if (HasFP32Denormals)
784 NumFullRateOps += 5;
785 }
786
787 InstructionCost Cost = NumFullRateOps * getFullRateInstrCost() +
788 NumTransOps * getTransInstrCost(CostKind);
789 return LT.first * NElts * Cost;
790 }
791
792 break;
793 }
794 case Intrinsic::log:
795 case Intrinsic::log2:
796 case Intrinsic::log10: {
797 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
798 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
799 unsigned NElts =
800 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
801
802 if (SLT == MVT::f32) {
803 unsigned NumFullRateOps = 0;
804
805 if (IID == Intrinsic::log2) {
806 // LowerFLOG2: just v_log_f32.
807 } else if (ICA.getFlags().approxFunc()) {
808 // LowerFLOGUnsafe: v_log_f32 + fmul (base conversion).
809 NumFullRateOps = 1;
810 } else {
811 // LowerFLOGCommon non-AFN: v_log_f32 + extended-precision
812 // multiply + finite check.
813 NumFullRateOps = ST->hasFastFMAF32() ? 8 : 11;
814 }
815
816 if (HasFP32Denormals)
817 NumFullRateOps += 5;
818
820 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
821 return LT.first * NElts * Cost;
822 }
823
824 break;
825 }
826 case Intrinsic::sin:
827 case Intrinsic::cos: {
828 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
829 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
830 unsigned NElts =
831 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
832
833 if (SLT == MVT::f32) {
834 // LowerTrig: fmul(1/2pi) + v_sin/v_cos.
835 unsigned NumFullRateOps = ST->hasTrigReducedRange() ? 2 : 1;
836
838 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
839 return LT.first * NElts * Cost;
840 }
841
842 break;
843 }
844 case Intrinsic::sqrt: {
845 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
846 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
847 unsigned NElts =
848 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
849
850 if (SLT == MVT::f32) {
851 unsigned NumFullRateOps = 0;
852
853 if (!ICA.getFlags().approxFunc()) {
854 // lowerFSQRTF32 non-AFN: v_sqrt_f32 + refinement + scale fixup.
855 NumFullRateOps = HasFP32Denormals ? 17 : 16;
856 }
857
859 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
860 return LT.first * NElts * Cost;
861 }
862
863 break;
864 }
865 default:
866 break;
867 }
868
871
872 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
873 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
874 unsigned NElts = LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
875
876 if ((ST->hasVOP3PInsts() &&
877 (SLT == MVT::f16 || SLT == MVT::i16 ||
878 (SLT == MVT::bf16 && ST->hasBF16PackedInsts()))) ||
879 (ST->hasPackedFP64Ops() && SLT == MVT::f64) ||
880 (ST->hasPackedU64Ops() && SLT == MVT::i64)) {
881 NElts = (NElts + 1) / 2;
882 } else if (SLT == MVT::f32) {
883 bool HasPk2FP32Op = ST->hasPackedFP32Ops() &&
884 IID != Intrinsic::minimumnum &&
885 IID != Intrinsic::maximumnum;
886 NElts = HasPk2FP32Op ? (NElts + 1) / 2 : NElts;
887 }
888
889 // TODO: Get more refined intrinsic costs?
890 unsigned InstRate = getQuarterRateInstrCost(CostKind);
891
892 switch (ICA.getID()) {
893 case Intrinsic::fma:
894 case Intrinsic::fmuladd:
895 if (SLT == MVT::f64) {
896 InstRate = get64BitInstrCost(CostKind);
897 break;
898 }
899
900 if ((SLT == MVT::f32 && ST->hasFastFMAF32()) || SLT == MVT::f16)
901 InstRate = getFullRateInstrCost();
902 else {
903 InstRate = ST->hasFastFMAF32() ? getHalfRateInstrCost(CostKind)
904 : getQuarterRateInstrCost(CostKind);
905 }
906 break;
907 case Intrinsic::copysign:
908 return NElts * getFullRateInstrCost();
909 case Intrinsic::minimumnum:
910 case Intrinsic::maximumnum: {
911 // Instruction + 2 canonicalizes. For cases that need type promotion, we the
912 // promotion takes the place of the canonicalize.
913 unsigned NumOps = 3;
914 if (const IntrinsicInst *II = ICA.getInst()) {
915 // Directly legal with ieee=0
916 // TODO: Not directly legal with strictfp
918 NumOps = 1;
919 }
920
921 unsigned BaseRate =
922 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
923 InstRate = BaseRate * NumOps;
924 break;
925 }
926 case Intrinsic::canonicalize: {
927 InstRate =
928 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
929 break;
930 }
931 case Intrinsic::uadd_sat:
932 case Intrinsic::usub_sat:
933 case Intrinsic::sadd_sat:
934 case Intrinsic::ssub_sat: {
935 if (SLT == MVT::i16 || SLT == MVT::i32)
936 InstRate = getFullRateInstrCost();
937
938 static const auto ValidSatTys = {MVT::v2i16, MVT::v4i16};
939 if (any_of(ValidSatTys, equal_to(LT.second)))
940 NElts = 1;
941 break;
942 }
943 case Intrinsic::abs:
944 // Expansion takes 2 instructions for VALU
945 if (SLT == MVT::i16 || SLT == MVT::i32)
946 InstRate = 2 * getFullRateInstrCost();
947 break;
948 default:
949 break;
950 }
951
952 return LT.first * NElts * InstRate;
953}
954
957 const Instruction *I) const {
958 assert((I == nullptr || I->getOpcode() == Opcode) &&
959 "Opcode should reflect passed instruction.");
960 const bool SCost =
962 const int CBrCost = SCost ? 5 : 7;
963 switch (Opcode) {
964 case Instruction::UncondBr:
965 // Branch instruction takes about 4 slots on gfx900.
966 return SCost ? 1 : 4;
967 case Instruction::CondBr:
968 // Suppose conditional branch takes additional 3 exec manipulations
969 // instructions in average.
970 return CBrCost;
971 case Instruction::Switch: {
972 const auto *SI = dyn_cast_or_null<SwitchInst>(I);
973 // Each case (including default) takes 1 cmp + 1 cbr instructions in
974 // average.
975 return (SI ? (SI->getNumCases() + 1) : 4) * (CBrCost + 1);
976 }
977 case Instruction::Ret:
978 return SCost ? 1 : 10;
979 }
980 return BaseT::getCFInstrCost(Opcode, CostKind, I);
981}
982
985 std::optional<FastMathFlags> FMF,
988 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
989
990 EVT OrigTy = TLI->getValueType(DL, Ty);
991
992 // Computes cost on targets that have packed math instructions(which support
993 // 16-bit types only).
994 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
995 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
996
997 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
998 return LT.first * getFullRateInstrCost();
999}
1000
1003 FastMathFlags FMF,
1005 EVT OrigTy = TLI->getValueType(DL, Ty);
1006
1007 // Computes cost on targets that have packed math instructions(which support
1008 // 16-bit types only).
1009 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1010 return BaseT::getMinMaxReductionCost(IID, Ty, FMF, CostKind);
1011
1012 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1013 return LT.first * getHalfRateInstrCost(CostKind);
1014}
1015
1017 unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index,
1018 const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC) const {
1019 switch (Opcode) {
1020 case Instruction::ExtractElement:
1021 case Instruction::InsertElement: {
1022 unsigned EltSize
1023 = DL.getTypeSizeInBits(cast<VectorType>(ValTy)->getElementType());
1024 // Dynamic indexing isn't free and is best avoided.
1025 if (Index == ~0u)
1026 return 2;
1027 if (EltSize < 32) {
1028 if (EltSize == 16 && Index == 0 && ST->has16BitInsts())
1029 return 0;
1030 // Inserts of booleans are free.
1031 // TODO: Extracts are free too.
1032 if (EltSize == 1 && Opcode == Instruction::InsertElement)
1034 // Extract element sequences of consecutive i8 values that match a
1035 // register size are free most likely. It is not possible to know
1036 // if this extract is part of a consecutive sequence so this may
1037 // apply more generally.
1038 if (Opcode == Instruction::ExtractElement && EltSize == 8) {
1039 if (auto *FVTy = dyn_cast<FixedVectorType>(ValTy)) {
1040 unsigned NumElts = FVTy->getNumElements();
1041 if (NumElts >= 4 && isPowerOf2_32(NumElts))
1042 return 0;
1043 }
1044 }
1045 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1046 VIC);
1047 }
1048
1049 // Extracts are just reads of a subregister, so are free. Inserts are
1050 // considered free because we don't want to have any cost for scalarizing
1051 // operations, and we don't have to copy into a different register class.
1052 return 0;
1053 }
1054 default:
1055 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1056 VIC);
1057 }
1058}
1059
1060/// Analyze if the results of inline asm are divergent. If \p Indices is empty,
1061/// this is analyzing the collective result of all output registers. Otherwise,
1062/// this is only querying a specific result index if this returns multiple
1063/// registers in a struct.
1065 const CallInst *CI, ArrayRef<unsigned> Indices) const {
1066 // TODO: Handle complex extract indices
1067 if (Indices.size() > 1)
1068 return true;
1069
1070 const DataLayout &DL = CI->getDataLayout();
1071 const SIRegisterInfo *TRI = ST->getRegisterInfo();
1072 TargetLowering::AsmOperandInfoVector TargetConstraints =
1073 TLI->ParseConstraints(DL, ST->getRegisterInfo(), *CI);
1074
1075 const int TargetOutputIdx = Indices.empty() ? -1 : Indices[0];
1076
1077 int OutputIdx = 0;
1078 for (auto &TC : TargetConstraints) {
1079 if (TC.Type != InlineAsm::isOutput)
1080 continue;
1081
1082 // Skip outputs we don't care about.
1083 if (TargetOutputIdx != -1 && TargetOutputIdx != OutputIdx++)
1084 continue;
1085
1086 TLI->ComputeConstraintToUse(TC, SDValue());
1087
1088 const TargetRegisterClass *RC = TLI->getRegForInlineAsmConstraint(
1089 TRI, TC.ConstraintCode, TC.ConstraintVT).second;
1090
1091 // For AGPR constraints null is returned on subtargets without AGPRs, so
1092 // assume divergent for null.
1093 if (!RC || !TRI->isSGPRClass(RC))
1094 return true;
1095 }
1096
1097 return false;
1098}
1099
1101 const IntrinsicInst *ReadReg) const {
1102 Metadata *MD =
1103 cast<MetadataAsValue>(ReadReg->getArgOperand(0))->getMetadata();
1105 cast<MDString>(cast<MDNode>(MD)->getOperand(0))->getString();
1106
1107 // Special case registers that look like VCC.
1108 MVT VT = MVT::getVT(ReadReg->getType());
1109 if (VT == MVT::i1)
1110 return true;
1111
1112 // Special case scalar registers that start with 'v'.
1113 if (RegName.starts_with("vcc") || RegName.empty())
1114 return false;
1115
1116 // VGPR or AGPR is divergent. There aren't any specially named vector
1117 // registers.
1118 return RegName[0] == 'v' || RegName[0] == 'a';
1119}
1120
1121/// \returns true if the result of the value could potentially be
1122/// different across workitems in a wavefront.
1123bool GCNTTIImpl::isSourceOfDivergence(const Value *V) const {
1124 if (const Argument *A = dyn_cast<Argument>(V))
1126
1127 // Loads from the private and flat address spaces are divergent, because
1128 // threads can execute the load instruction with the same inputs and get
1129 // different results.
1130 //
1131 // All other loads are not divergent, because if threads issue loads with the
1132 // same arguments, they will always get the same result.
1133 if (const LoadInst *Load = dyn_cast<LoadInst>(V))
1134 return Load->getPointerAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS ||
1135 Load->getPointerAddressSpace() == AMDGPUAS::FLAT_ADDRESS;
1136
1137 // Atomics are divergent because they are executed sequentially: when an
1138 // atomic operation refers to the same address in each thread, then each
1139 // thread after the first sees the value written by the previous thread as
1140 // original value.
1142 return true;
1143
1145 Intrinsic::ID IID = Intrinsic->getIntrinsicID();
1146 switch (IID) {
1147 case Intrinsic::read_register:
1149 case Intrinsic::amdgcn_addrspacecast_nonnull: {
1150 unsigned SrcAS =
1151 Intrinsic->getOperand(0)->getType()->getPointerAddressSpace();
1152 unsigned DstAS = Intrinsic->getType()->getPointerAddressSpace();
1153 return SrcAS == AMDGPUAS::PRIVATE_ADDRESS &&
1154 DstAS == AMDGPUAS::FLAT_ADDRESS &&
1155 ST->hasGloballyAddressableScratch();
1156 }
1157 case Intrinsic::amdgcn_workitem_id_y:
1158 case Intrinsic::amdgcn_workitem_id_z: {
1159 const Function *F = Intrinsic->getFunction();
1160 bool HasUniformYZ =
1161 ST->hasWavefrontsEvenlySplittingXDim(*F, /*RequitezUniformYZ=*/true);
1162 std::optional<unsigned> ThisDimSize = ST->getReqdWorkGroupSize(
1163 *F, IID == Intrinsic::amdgcn_workitem_id_y ? 1 : 2);
1164 return !HasUniformYZ && (!ThisDimSize || *ThisDimSize != 1);
1165 }
1166 default:
1168 }
1169 }
1170
1171 // Assume all function calls are a source of divergence.
1172 if (const CallInst *CI = dyn_cast<CallInst>(V)) {
1173 if (CI->isInlineAsm())
1175 return true;
1176 }
1177
1178 // Assume all function calls are a source of divergence.
1179 if (isa<InvokeInst>(V))
1180 return true;
1181
1182 // If the target supports globally addressable scratch, the mapping from
1183 // scratch memory to the flat aperture changes therefore an address space cast
1184 // is no longer uniform.
1185 if (auto *CastI = dyn_cast<AddrSpaceCastInst>(V)) {
1186 return CastI->getSrcAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS &&
1187 CastI->getDestAddressSpace() == AMDGPUAS::FLAT_ADDRESS &&
1188 ST->hasGloballyAddressableScratch();
1189 }
1190
1191 return false;
1192}
1193
1194bool GCNTTIImpl::isAlwaysUniform(const Value *V) const {
1195 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(V))
1196 return AMDGPU::isIntrinsicAlwaysUniform(Intrinsic->getIntrinsicID());
1197
1198 if (const CallInst *CI = dyn_cast<CallInst>(V)) {
1199 if (CI->isInlineAsm())
1201 return false;
1202 }
1203
1204 // In most cases TID / wavefrontsize is uniform.
1205 //
1206 // However, if a kernel has uneven dimesions we can have a value of
1207 // workitem-id-x divided by the wavefrontsize non-uniform. For example
1208 // dimensions (65, 2) will have workitems with address (64, 0) and (0, 1)
1209 // packed into a same wave which gives 1 and 0 after the division by 64
1210 // respectively.
1211 //
1212 // The X dimension doesn't reset within a wave if either both the Y
1213 // and Z dimensions are of length 1, or if the X dimension's required
1214 // size is a power of 2. Note, however, if the X dimension's maximum
1215 // size is a power of 2 < the wavefront size, division by the wavefront
1216 // size is guaranteed to yield 0, so this is also a no-reset case.
1217 bool XDimDoesntResetWithinWaves = false;
1218 if (auto *I = dyn_cast<Instruction>(V)) {
1219 const Function *F = I->getFunction();
1220 XDimDoesntResetWithinWaves = ST->hasWavefrontsEvenlySplittingXDim(*F);
1221 }
1222 using namespace llvm::PatternMatch;
1223 uint64_t C;
1225 m_ConstantInt(C))) ||
1227 m_ConstantInt(C)))) {
1228 return C >= ST->getWavefrontSizeLog2() && XDimDoesntResetWithinWaves;
1229 }
1230
1231 Value *Mask;
1233 m_Value(Mask)))) {
1234 return computeKnownBits(Mask, DL).countMinTrailingZeros() >=
1235 ST->getWavefrontSizeLog2() &&
1236 XDimDoesntResetWithinWaves;
1237 }
1238
1239 const ExtractValueInst *ExtValue = dyn_cast<ExtractValueInst>(V);
1240 if (!ExtValue)
1241 return false;
1242
1243 const CallInst *CI = dyn_cast<CallInst>(ExtValue->getOperand(0));
1244 if (!CI)
1245 return false;
1246
1247 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(CI)) {
1248 switch (Intrinsic->getIntrinsicID()) {
1249 default:
1250 return false;
1251 case Intrinsic::amdgcn_if:
1252 case Intrinsic::amdgcn_else: {
1253 ArrayRef<unsigned> Indices = ExtValue->getIndices();
1254 return Indices.size() == 1 && Indices[0] == 1;
1255 }
1256 }
1257 }
1258
1259 // If we have inline asm returning mixed SGPR and VGPR results, we inferred
1260 // divergent for the overall struct return. We need to override it in the
1261 // case we're extracting an SGPR component here.
1262 if (CI->isInlineAsm())
1263 return !isInlineAsmSourceOfDivergence(CI, ExtValue->getIndices());
1264
1265 return false;
1266}
1267
1269 Intrinsic::ID IID) const {
1270 switch (IID) {
1271 case Intrinsic::amdgcn_is_shared:
1272 case Intrinsic::amdgcn_is_private:
1273 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1274 case Intrinsic::amdgcn_flat_atomic_fmin_num:
1275 case Intrinsic::amdgcn_load_to_lds:
1276 case Intrinsic::amdgcn_make_buffer_rsrc:
1277 OpIndexes.push_back(0);
1278 return true;
1279 default:
1280 return false;
1281 }
1282}
1283
1285 Value *OldV,
1286 Value *NewV) const {
1287 auto IntrID = II->getIntrinsicID();
1288 switch (IntrID) {
1289 case Intrinsic::amdgcn_is_shared:
1290 case Intrinsic::amdgcn_is_private: {
1291 unsigned TrueAS = IntrID == Intrinsic::amdgcn_is_shared ?
1293 unsigned NewAS = NewV->getType()->getPointerAddressSpace();
1294 LLVMContext &Ctx = NewV->getType()->getContext();
1295 ConstantInt *NewVal = (TrueAS == NewAS) ?
1297 return NewVal;
1298 }
1299 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1300 case Intrinsic::amdgcn_flat_atomic_fmin_num: {
1301 Type *DestTy = II->getType();
1302 Type *SrcTy = NewV->getType();
1303 unsigned NewAS = SrcTy->getPointerAddressSpace();
1305 return nullptr;
1306 Module *M = II->getModule();
1308 M, II->getIntrinsicID(), {DestTy, SrcTy, DestTy});
1309 II->setArgOperand(0, NewV);
1310 II->setCalledFunction(NewDecl);
1311 return II;
1312 }
1313 case Intrinsic::amdgcn_load_to_lds: {
1314 Type *SrcTy = NewV->getType();
1315 Module *M = II->getModule();
1316 Function *NewDecl =
1317 Intrinsic::getOrInsertDeclaration(M, II->getIntrinsicID(), {SrcTy});
1318 II->setArgOperand(0, NewV);
1319 II->setCalledFunction(NewDecl);
1320 return II;
1321 }
1322 case Intrinsic::amdgcn_make_buffer_rsrc: {
1323 Type *SrcTy = NewV->getType();
1324 Type *DstTy = II->getType();
1325 Module *M = II->getModule();
1327 M, II->getIntrinsicID(), {DstTy, SrcTy});
1328 II->setArgOperand(0, NewV);
1329 II->setCalledFunction(NewDecl);
1330 return II;
1331 }
1332 default:
1333 return nullptr;
1334 }
1335}
1336
1338 VectorType *DstTy, VectorType *SrcTy,
1339 ArrayRef<int> Mask,
1341 int Index, VectorType *SubTp,
1343 const Instruction *CxtI) const {
1344 if (!isa<FixedVectorType>(SrcTy))
1345 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, Mask, CostKind, Index,
1346 SubTp);
1347
1348 Kind = improveShuffleKindFromMask(Kind, Mask, SrcTy, Index, SubTp);
1349
1350 unsigned ScalarSize = DL.getTypeSizeInBits(SrcTy->getElementType());
1351 if (ST->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS &&
1352 (ScalarSize == 16 || ScalarSize == 8)) {
1353 // Larger vector widths may require additional instructions, but are
1354 // typically cheaper than scalarized versions.
1355 //
1356 // We assume that shuffling at a register granularity can be done for free.
1357 // This is not true for vectors fed into memory instructions, but it is
1358 // effectively true for all other shuffling. The emphasis of the logic here
1359 // is to assist generic transform in cleaning up / canonicalizing those
1360 // shuffles.
1361
1362 // With op_sel VOP3P instructions freely can access the low half or high
1363 // half of a register, so any swizzle of two elements is free.
1364 if (auto *SrcVecTy = dyn_cast<FixedVectorType>(SrcTy)) {
1365 unsigned NumSrcElts = SrcVecTy->getNumElements();
1366 if (ST->hasVOP3PInsts() && ScalarSize == 16 && NumSrcElts == 2 &&
1367 (Kind == TTI::SK_Broadcast || Kind == TTI::SK_Reverse ||
1368 Kind == TTI::SK_PermuteSingleSrc))
1369 return 0;
1370 }
1371
1372 unsigned EltsPerReg = 32 / ScalarSize;
1373 switch (Kind) {
1374 case TTI::SK_Broadcast:
1375 // A single v_perm_b32 can be re-used for all destination registers.
1376 return 1;
1377 case TTI::SK_Reverse:
1378 // One instruction per register.
1379 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1380 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1383 if (Index % EltsPerReg == 0)
1384 return 0; // Shuffling at register granularity
1385 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1386 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1389 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1390 if (!DstVecTy)
1392 unsigned NumDstElts = DstVecTy->getNumElements();
1393 unsigned NumInsertElts = cast<FixedVectorType>(SubTp)->getNumElements();
1394 unsigned EndIndex = Index + NumInsertElts;
1395 unsigned BeginSubIdx = Index % EltsPerReg;
1396 unsigned EndSubIdx = EndIndex % EltsPerReg;
1397 unsigned Cost = 0;
1398
1399 if (BeginSubIdx != 0) {
1400 // Need to shift the inserted vector into place. The cost is the number
1401 // of destination registers overlapped by the inserted vector.
1402 Cost = divideCeil(EndIndex, EltsPerReg) - (Index / EltsPerReg);
1403 }
1404
1405 // If the last register overlap is partial, there may be three source
1406 // registers feeding into it; that takes an extra instruction.
1407 if (EndIndex < NumDstElts && BeginSubIdx < EndSubIdx)
1408 Cost += 1;
1409
1410 return Cost;
1411 }
1412 case TTI::SK_Splice: {
1413 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1414 if (!DstVecTy)
1416 unsigned NumElts = DstVecTy->getNumElements();
1417 assert(NumElts == cast<FixedVectorType>(SrcTy)->getNumElements());
1418 // Determine the sub-region of the result vector that requires
1419 // sub-register shuffles / mixing.
1420 unsigned EltsFromLHS = NumElts - Index;
1421 bool LHSIsAligned = (Index % EltsPerReg) == 0;
1422 bool RHSIsAligned = (EltsFromLHS % EltsPerReg) == 0;
1423 if (LHSIsAligned && RHSIsAligned)
1424 return 0;
1425 if (LHSIsAligned && !RHSIsAligned)
1426 return divideCeil(NumElts, EltsPerReg) - (EltsFromLHS / EltsPerReg);
1427 if (!LHSIsAligned && RHSIsAligned)
1428 return divideCeil(EltsFromLHS, EltsPerReg);
1429 return divideCeil(NumElts, EltsPerReg);
1430 }
1431 default:
1432 break;
1433 }
1434
1435 if (!Mask.empty()) {
1436 unsigned NumSrcElts = cast<FixedVectorType>(SrcTy)->getNumElements();
1437
1438 // Generically estimate the cost by assuming that each destination
1439 // register is derived from sources via v_perm_b32 instructions if it
1440 // can't be copied as-is.
1441 //
1442 // For each destination register, derive the cost of obtaining it based
1443 // on the number of source registers that feed into it.
1444 unsigned Cost = 0;
1445 for (unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += EltsPerReg) {
1447 bool Aligned = true;
1448 for (unsigned I = 0; I < EltsPerReg && DstIdx + I < Mask.size(); ++I) {
1449 int SrcIdx = Mask[DstIdx + I];
1450 if (SrcIdx == -1)
1451 continue;
1452 int Reg;
1453 if (SrcIdx < (int)NumSrcElts) {
1454 Reg = SrcIdx / EltsPerReg;
1455 if (SrcIdx % EltsPerReg != I)
1456 Aligned = false;
1457 } else {
1458 Reg = NumSrcElts + (SrcIdx - NumSrcElts) / EltsPerReg;
1459 if ((SrcIdx - NumSrcElts) % EltsPerReg != I)
1460 Aligned = false;
1461 }
1462 if (!llvm::is_contained(Regs, Reg))
1463 Regs.push_back(Reg);
1464 }
1465 if (Regs.size() >= 2)
1466 Cost += Regs.size() - 1;
1467 else if (!Aligned)
1468 Cost += 1;
1469 }
1470 return Cost;
1471 }
1472 }
1473
1474 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, Mask, CostKind, Index,
1475 SubTp);
1476}
1477
1478/// Whether it is profitable to sink the operands of an
1479/// Instruction I to the basic block of I.
1480/// This helps using several modifiers (like abs and neg) more often.
1482 SmallVectorImpl<Use *> &Ops) const {
1483 using namespace PatternMatch;
1484
1485 for (auto &Op : I->operands()) {
1486 // Ensure we are not already sinking this operand.
1487 if (any_of(Ops, [&](Use *U) { return U->get() == Op.get(); }))
1488 continue;
1489
1490 if (match(&Op, m_FAbs(m_Value())) || match(&Op, m_FNeg(m_Value()))) {
1491 Ops.push_back(&Op);
1492 continue;
1493 }
1494
1495 // Check for zero-cost multiple use InsertElement/ExtractElement
1496 // instructions
1497 if (Instruction *OpInst = dyn_cast<Instruction>(Op.get())) {
1498 if (OpInst->getType()->isVectorTy() && OpInst->getNumOperands() > 1) {
1499 Instruction *VecOpInst = dyn_cast<Instruction>(OpInst->getOperand(0));
1500 if (VecOpInst && VecOpInst->hasOneUse())
1501 continue;
1502
1503 if (getVectorInstrCost(OpInst->getOpcode(), OpInst->getType(),
1505 OpInst->getOperand(0),
1506 OpInst->getOperand(1)) == 0) {
1507 Ops.push_back(&Op);
1508 continue;
1509 }
1510 }
1511 }
1512
1513 if (auto *Shuffle = dyn_cast<ShuffleVectorInst>(Op.get())) {
1514
1515 unsigned EltSize = DL.getTypeSizeInBits(
1516 cast<VectorType>(Shuffle->getType())->getElementType());
1517
1518 // For i32 (or greater) shufflevectors, these will be lowered into a
1519 // series of insert / extract elements, which will be coalesced away.
1520 if (EltSize < 16 || !ST->has16BitInsts())
1521 continue;
1522
1523 int NumSubElts, SubIndex;
1524 if (Shuffle->changesLength()) {
1525 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding()) {
1526 Ops.push_back(&Op);
1527 continue;
1528 }
1529
1530 if ((Shuffle->isExtractSubvectorMask(SubIndex) ||
1531 Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex)) &&
1532 !(SubIndex & 0x1)) {
1533 Ops.push_back(&Op);
1534 continue;
1535 }
1536 }
1537
1538 if (Shuffle->isReverse() || Shuffle->isZeroEltSplat() ||
1539 Shuffle->isSingleSource()) {
1540 Ops.push_back(&Op);
1541 continue;
1542 }
1543 }
1544 }
1545
1546 return !Ops.empty();
1547}
1548
1550 const Function *Callee) const {
1551 const TargetMachine &TM = getTLI()->getTargetMachine();
1552 const GCNSubtarget *CallerST
1553 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Caller));
1554 const GCNSubtarget *CalleeST
1555 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Callee));
1556
1557 if (!BaseT::areInlineCompatible(Caller, Callee))
1558 return false;
1559
1560 // FIXME: dx10_clamp can just take the caller setting, but there seems to be
1561 // no way to support merge for backend defined attributes.
1562 SIModeRegisterDefaults CallerMode(*Caller, *CallerST);
1563 SIModeRegisterDefaults CalleeMode(*Callee, *CalleeST);
1564 if (!CallerMode.isInlineCompatible(CalleeMode))
1565 return false;
1566
1567 if (Callee->hasFnAttribute(Attribute::AlwaysInline) ||
1568 Callee->hasFnAttribute(Attribute::InlineHint))
1569 return true;
1570
1571 // Hack to make compile times reasonable.
1572 if (InlineMaxBB) {
1573 // Single BB does not increase total BB amount.
1574 if (Callee->size() == 1)
1575 return true;
1576 size_t BBSize = Caller->size() + Callee->size() - 1;
1577 if (BBSize > InlineMaxBB) {
1578 LLVM_DEBUG(dbgs() << "AMDGPU inline max-BB rejected inlining "
1579 << Callee->getName() << " into " << Caller->getName()
1580 << ": caller BBs=" << Caller->size() << ", callee BBs="
1581 << Callee->size() << ", combined BBs=" << BBSize
1582 << ", max BBs=" << InlineMaxBB << '\n');
1583 return false;
1584 }
1585 }
1586
1587 return true;
1588}
1589
1591 const SITargetLowering *TLI,
1592 const GCNTTIImpl *TTIImpl) {
1593 const int NrOfSGPRUntilSpill = 26;
1594 const int NrOfVGPRUntilSpill = 32;
1595
1596 const DataLayout &DL = TTIImpl->getDataLayout();
1597
1598 unsigned adjustThreshold = 0;
1599 int SGPRsInUse = 0;
1600 int VGPRsInUse = 0;
1601 for (const Use &A : CB->args()) {
1602 SmallVector<EVT, 4> ValueVTs;
1603 ComputeValueVTs(*TLI, DL, A.get()->getType(), ValueVTs);
1604 for (auto ArgVT : ValueVTs) {
1605 unsigned CCRegNum = TLI->getNumRegistersForCallingConv(
1606 CB->getContext(), CB->getCallingConv(), ArgVT);
1608 SGPRsInUse += CCRegNum;
1609 else
1610 VGPRsInUse += CCRegNum;
1611 }
1612 }
1613
1614 // The cost of passing function arguments through the stack:
1615 // 1 instruction to put a function argument on the stack in the caller.
1616 // 1 instruction to take a function argument from the stack in callee.
1617 // 1 instruction is explicitly take care of data dependencies in callee
1618 // function.
1619 InstructionCost ArgStackCost(1);
1620 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1621 Instruction::Store, Type::getInt32Ty(CB->getContext()), Align(4),
1623 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1624 Instruction::Load, Type::getInt32Ty(CB->getContext()), Align(4),
1626
1627 // The penalty cost is computed relative to the cost of instructions and does
1628 // not model any storage costs.
1629 adjustThreshold += std::max(0, SGPRsInUse - NrOfSGPRUntilSpill) *
1630 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1631 adjustThreshold += std::max(0, VGPRsInUse - NrOfVGPRUntilSpill) *
1632 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1633 return adjustThreshold;
1634}
1635
1636static unsigned getCallArgsTotalAllocaSize(const CallBase *CB,
1637 const DataLayout &DL) {
1638 // If we have a pointer to a private array passed into a function
1639 // it will not be optimized out, leaving scratch usage.
1640 // This function calculates the total size in bytes of the memory that would
1641 // end in scratch if the call was not inlined.
1642 unsigned AllocaSize = 0;
1644 for (Value *PtrArg : CB->args()) {
1645 PointerType *Ty = dyn_cast<PointerType>(PtrArg->getType());
1646 if (!Ty)
1647 continue;
1648
1649 unsigned AddrSpace = Ty->getAddressSpace();
1650 if (AddrSpace != AMDGPUAS::FLAT_ADDRESS &&
1651 AddrSpace != AMDGPUAS::PRIVATE_ADDRESS)
1652 continue;
1653
1655 if (!AI || !AI->isStaticAlloca() || !AIVisited.insert(AI).second)
1656 continue;
1657
1658 if (auto Size = AI->getAllocationSize(DL))
1659 AllocaSize += Size->getFixedValue();
1660 }
1661 return AllocaSize;
1662}
1663
1668
1670 unsigned Threshold = adjustInliningThresholdUsingCallee(CB, TLI, this);
1671
1672 // Private object passed as arguments may end up in scratch usage if the call
1673 // is not inlined. Increase the inline threshold to promote inlining.
1674 unsigned AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1675 if (AllocaSize > 0)
1676 Threshold += ArgAllocaCost;
1677 return Threshold;
1678}
1679
1681 const AllocaInst *AI) const {
1682
1683 // Below the cutoff, assume that the private memory objects would be
1684 // optimized
1685 auto AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1686 if (AllocaSize <= ArgAllocaCutoff)
1687 return 0;
1688
1689 // Above the cutoff, we give a cost to each private memory object
1690 // depending its size. If the array can be optimized by SROA this cost is not
1691 // added to the total-cost in the inliner cost analysis.
1692 //
1693 // We choose the total cost of the alloca such that their sum cancels the
1694 // bonus given in the threshold (ArgAllocaCost).
1695 //
1696 // Cost_Alloca_0 + ... + Cost_Alloca_N == ArgAllocaCost
1697 //
1698 // Awkwardly, the ArgAllocaCost bonus is multiplied by threshold-multiplier,
1699 // the single-bb bonus and the vector-bonus.
1700 //
1701 // We compensate the first two multipliers, by repeating logic from the
1702 // inliner-cost in here. The vector-bonus is 0 on AMDGPU.
1703 static_assert(InlinerVectorBonusPercent == 0, "vector bonus assumed to be 0");
1704 unsigned Threshold = ArgAllocaCost * getInliningThresholdMultiplier();
1705
1706 bool SingleBB = none_of(*CB->getCalledFunction(), [](const BasicBlock &BB) {
1707 return BB.getTerminator()->getNumSuccessors() > 1;
1708 });
1709 if (SingleBB) {
1710 Threshold += Threshold / 2;
1711 }
1712
1713 auto ArgAllocaSize = AI->getAllocationSize(DL);
1714 if (!ArgAllocaSize)
1715 return 0;
1716
1717 // Attribute the bonus proportionally to the alloca size
1718 unsigned AllocaThresholdBonus =
1719 (Threshold * ArgAllocaSize->getFixedValue()) / AllocaSize;
1720
1721 return AllocaThresholdBonus;
1722}
1723
1726 OptimizationRemarkEmitter *ORE) const {
1727 CommonTTI.getUnrollingPreferences(L, SE, UP, ORE);
1728}
1729
1731 TTI::PeelingPreferences &PP) const {
1732 CommonTTI.getPeelingPreferences(L, SE, PP);
1733}
1734
1735int GCNTTIImpl::getTransInstrCost(TTI::TargetCostKind CostKind) const {
1736 return getQuarterRateInstrCost(CostKind);
1737}
1738
1739int GCNTTIImpl::get64BitInstrCost(TTI::TargetCostKind CostKind) const {
1740 return ST->hasFullRate64Ops()
1741 ? getFullRateInstrCost()
1742 : ST->hasHalfRate64Ops() ? getHalfRateInstrCost(CostKind)
1743 : getQuarterRateInstrCost(CostKind);
1744}
1745
1746std::pair<InstructionCost, MVT>
1747GCNTTIImpl::getTypeLegalizationCost(Type *Ty) const {
1748 std::pair<InstructionCost, MVT> Cost = BaseT::getTypeLegalizationCost(Ty);
1749 auto Size = DL.getTypeSizeInBits(Ty);
1750 // Maximum load or store can handle 8 dwords for scalar and 4 for
1751 // vector ALU. Let's assume anything above 8 dwords is expensive
1752 // even if legal.
1753 if (Size <= 256)
1754 return Cost;
1755
1756 Cost.first += (Size + 255) / 256;
1757 return Cost;
1758}
1759
1761 if (ST->hasVmemPrefInsts() || ST->hasSmemPrefetchInsts())
1762 return ST->getDataCacheLineSize();
1763 return 0;
1764}
1765
1767 return ST->hasPrefetch() ? 128 : 0;
1768}
1769
1772}
1773
1775 const Function &F,
1776 SmallVectorImpl<std::pair<StringRef, int64_t>> &LB) const {
1778 LB.push_back({"amdgpu-max-num-workgroups[0]", MaxNumWorkgroups[0]});
1779 LB.push_back({"amdgpu-max-num-workgroups[1]", MaxNumWorkgroups[1]});
1780 LB.push_back({"amdgpu-max-num-workgroups[2]", MaxNumWorkgroups[2]});
1781 std::pair<unsigned, unsigned> FlatWorkGroupSize =
1782 ST->getFlatWorkGroupSizes(F);
1783 LB.push_back({"amdgpu-flat-work-group-size[0]", FlatWorkGroupSize.first});
1784 LB.push_back({"amdgpu-flat-work-group-size[1]", FlatWorkGroupSize.second});
1785 std::pair<unsigned, unsigned> WavesPerEU = ST->getWavesPerEU(F);
1786 LB.push_back({"amdgpu-waves-per-eu[0]", WavesPerEU.first});
1787 LB.push_back({"amdgpu-waves-per-eu[1]", WavesPerEU.second});
1788}
1789
1792 if (!ST->hasFeature(AMDGPU::FeatureDX10ClampAndIEEEMode))
1793 return KnownIEEEMode::On; // Only mode on gfx1170+
1794
1795 const Function *F = I.getFunction();
1796 if (!F)
1798
1799 Attribute IEEEAttr = F->getFnAttribute("amdgpu-ieee");
1800 if (IEEEAttr.isValid())
1802
1803 return AMDGPU::isShader(F->getCallingConv()) ? KnownIEEEMode::Off
1805}
1806
1808 Align Alignment,
1809 unsigned AddressSpace,
1811 TTI::OperandValueInfo OpInfo,
1812 const Instruction *I) const {
1813 if (VectorType *VecTy = dyn_cast<VectorType>(Src)) {
1814 if ((Opcode == Instruction::Load || Opcode == Instruction::Store) &&
1816 VecTy->getElementType()->isIntegerTy(8)) {
1817 return divideCeil(DL.getTypeSizeInBits(VecTy) - 1,
1819 }
1820 }
1821 return BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind,
1822 OpInfo, I);
1823}
1824
1826 if (VectorType *VecTy = dyn_cast<VectorType>(Tp)) {
1827 if (VecTy->getElementType()->isIntegerTy(8)) {
1828 unsigned ElementCount = VecTy->getElementCount().getFixedValue();
1829 return divideCeil(ElementCount - 1, 4);
1830 }
1831 }
1832 return BaseT::getNumberOfParts(Tp);
1833}
1834
1837 switch (Intrinsic->getIntrinsicID()) {
1838 case Intrinsic::amdgcn_wave_shuffle:
1840 default:
1841 break;
1842 }
1843 }
1844
1845 if (isAlwaysUniform(V))
1847
1848 if (isSourceOfDivergence(V))
1850
1852}
1853
1855 StackOffset BaseOffset,
1856 bool HasBaseReg, int64_t Scale,
1857 unsigned AddrSpace) const {
1858 if (HasBaseReg && Scale != 0) {
1859 // gfx1250+ can fold base+scale*index when scale matches the memory access
1860 // size (scale_offset bit). Supported for flat/global/constant/scratch
1861 // (VMEM, max 128 bits) and constant_32bit (SMRD, capped to 128 bits here).
1862 if (getST()->hasScaleOffset() && Ty && Ty->isSized() &&
1864 AddrSpace == AMDGPUAS::FLAT_ADDRESS ||
1865 AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)) {
1866 TypeSize StoreSize = getDataLayout().getTypeStoreSize(Ty);
1867 if (TypeSize::isKnownLE(StoreSize, TypeSize::getFixed(16)) &&
1868 static_cast<int64_t>(StoreSize.getFixedValue()) == Scale)
1869 return 0;
1870 }
1871 return 1;
1872 }
1873 return BaseT::getScalingFactorCost(Ty, BaseGV, BaseOffset, HasBaseReg, Scale,
1874 AddrSpace);
1875}
1876
1878 const TTI::LSRCost &B) const {
1879 // Favor lower per-iteration work over preheader/setup costs.
1880 // AMDGPU lacks rich addressing modes, so ScaleCost is folded into the
1881 // effective instruction count (base+scale*index requires a separate ADD).
1882 unsigned EffInsnsA = A.Insns + A.ScaleCost;
1883 unsigned EffInsnsB = B.Insns + B.ScaleCost;
1884
1885 return std::tie(EffInsnsA, A.NumIVMuls, A.AddRecCost, A.NumBaseAdds,
1886 A.SetupCost, A.ImmCost, A.NumRegs) <
1887 std::tie(EffInsnsB, B.NumIVMuls, B.AddRecCost, B.NumBaseAdds,
1888 B.SetupCost, B.ImmCost, B.NumRegs);
1889}
1890
1892 // isLSRCostLess de-prioritizes register count; keep consistent.
1893 return false;
1894}
1895
1897 // Prefer the baseline when LSR cannot clearly reduce per-iteration work.
1898 return true;
1899}
1900
1902 const SmallBitVector &UniformArgs) const {
1904 switch (Intrinsic->getIntrinsicID()) {
1905 case Intrinsic::amdgcn_wave_shuffle:
1906 // wave_shuffle(Value, Index): result is uniform when either Value or Index
1907 // is uniform.
1908 return UniformArgs[0] || UniformArgs[1];
1909 default:
1910 llvm_unreachable("unexpected intrinsic in isUniform");
1911 }
1912}
return SDValue()
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
aarch64 promote const
Provides AMDGPU specific target descriptions.
Rewrite undef for PHI
Base class for AMDGPU specific classes of TargetSubtarget.
The AMDGPU TargetMachine interface definition for hw codegen targets.
static cl::opt< unsigned > MemcpyLoopUnroll("amdgpu-memcpy-loop-unroll", cl::desc("Unroll factor (affecting 4x32-bit operations) to use for memory " "operations when lowering statically-sized memcpy, memmove, or" "memset as a loop"), cl::init(16), cl::Hidden)
static cl::opt< unsigned > UnrollThresholdIf("amdgpu-unroll-threshold-if", cl::desc("Unroll threshold increment for AMDGPU for each if statement inside loop"), cl::init(200), cl::Hidden)
static cl::opt< unsigned > ArgAllocaCost("amdgpu-inline-arg-alloca-cost", cl::Hidden, cl::init(4000), cl::desc("Cost of alloca argument"))
static bool dependsOnLocalPhi(const Loop *L, const Value *Cond, unsigned Depth=0)
static cl::opt< bool > UnrollRuntimeLocal("amdgpu-unroll-runtime-local", cl::desc("Allow runtime unroll for AMDGPU if local memory used in a loop"), cl::init(true), cl::Hidden)
static unsigned adjustInliningThresholdUsingCallee(const CallBase *CB, const SITargetLowering *TLI, const GCNTTIImpl *TTIImpl)
static cl::opt< unsigned > ArgAllocaCutoff("amdgpu-inline-arg-alloca-cutoff", cl::Hidden, cl::init(256), cl::desc("Maximum alloca size to use for inline cost"))
static cl::opt< size_t > InlineMaxBB("amdgpu-inline-max-bb", cl::Hidden, cl::init(1100), cl::desc("Maximum number of BBs allowed in a function after inlining" " (compile time constraint)"))
static bool intrinsicHasPackedVectorBenefit(Intrinsic::ID ID)
static cl::opt< unsigned > UnrollMaxBlockToAnalyze("amdgpu-unroll-max-block-to-analyze", cl::desc("Inner loop block size threshold to analyze in unroll for AMDGPU"), cl::init(32), cl::Hidden)
static unsigned getCallArgsTotalAllocaSize(const CallBase *CB, const DataLayout &DL)
static cl::opt< unsigned > UnrollThresholdPrivate("amdgpu-unroll-threshold-private", cl::desc("Unroll threshold for AMDGPU if private memory used in a loop"), cl::init(2700), cl::Hidden)
static cl::opt< unsigned > UnrollThresholdLocal("amdgpu-unroll-threshold-local", cl::desc("Unroll threshold for AMDGPU if local memory used in a loop"), cl::init(1000), cl::Hidden)
This file a TargetTransformInfoImplBase conforming object specific to the AMDGPU target machine.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
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")))
Hexagon Common GEP
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define RegName(no)
static LVOptions Options
Definition LVOptions.cpp:25
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
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.
#define LLVM_DEBUG(...)
Definition Debug.h:119
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.
Definition Argument.h:32
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
size_t size() const
Get the array size.
Definition ArrayRef.h:141
bool empty() const
Check if the array is empty.
Definition ArrayRef.h:136
Functions, function parameters, and return types can have attributes to indicate how they should be t...
Definition Attributes.h:105
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.
Definition Attributes.h:261
LLVM Basic Block Representation.
Definition BasicBlock.h:62
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Opd2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
InstructionCost getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
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 getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, ArrayRef< int > Mask, TTI::TargetCostKind CostKind, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) 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
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.
This class represents a function call, abstracting a target machine's calling convention.
Conditional Branch instruction.
This is the shared class of boolean and integer constants.
Definition Constants.h:87
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 ...
Definition Constants.h:174
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
Definition DataLayout.h:579
constexpr bool isScalar() const
Exactly one element.
Definition TypeSize.h:320
ArrayRef< unsigned > getIndices() const
Convenience struct for specifying and reasoning about fast-math flags.
Definition FMF.h:23
bool approxFunc() const
Definition FMF.h:70
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
Definition Type.cpp:867
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 getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, ArrayRef< int > Mask, TTI::TargetCostKind CostKind, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) const override
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.
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 *CxtI=nullptr) const override
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 isInlineAsmSourceOfDivergence(const CallInst *CI, ArrayRef< unsigned > Indices={}) const
Analyze if the results of inline asm are divergent.
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
unsigned getCallerAllocaCost(const CallBase *CB, const AllocaInst *AI) 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 getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
Try to calculate op costs for min/max reduction operations.
bool shouldDropLSRSolutionIfLessProfitable() const override
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
int getInliningLastCallToStaticBonus() const override
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 bool hasApproxFunc() const LLVM_READONLY
Determine whether the approximate-math-functions flag is set.
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.
const IntrinsicInst * getInst() 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.
Definition LLVMContext.h:68
An instruction for reading from memory.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
Metadata node.
Definition Metadata.h:1069
Machine Value Type.
static LLVM_ABI MVT getVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
Root of the metadata hierarchy.
Definition Metadata.h:64
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
The optimization diagnostic interface.
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.
Definition TypeSize.h:30
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
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...
virtual const DataLayout & getDataLayout() const
virtual void getMemcpyLoopResidualLoweringType(SmallVectorImpl< Type * > &OpsOut, LLVMContext &Context, unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace, Align SrcAlign, Align DestAlign, std::optional< uint32_t > AtomicCpySize) const
TargetCostKind
The kind of cost model.
@ TCK_RecipThroughput
Reciprocal throughput.
@ TCK_CodeSize
Instruction code size.
@ TCK_SizeAndLatency
The weighted sum of size and latency.
@ TCK_Latency
The latency of instruction.
static bool requiresOrderedReduction(std::optional< FastMathFlags > FMF)
A helper function to determine the type of reduction algorithm used for a given Opcode and set of Fas...
llvm::VectorInstrContext VectorInstrContext
@ TCC_Free
Expected to fold away in lowering.
ShuffleKind
The various kinds of shuffle patterns for vector queries.
@ SK_InsertSubvector
InsertSubvector. Index indicates start offset.
@ SK_PermuteSingleSrc
Shuffle elements of single source vector with any shuffle mask.
@ SK_Splice
Concatenates elements from the first input vector with elements of the second input vector.
@ SK_Broadcast
Broadcast element 0 to all other elements.
@ SK_Reverse
Reverse the order of the vector.
@ SK_ExtractSubvector
ExtractSubvector Index indicates start offset.
static constexpr TypeSize getFixed(ScalarTy ExactSize)
Definition TypeSize.h:343
static constexpr TypeSize getScalable(ScalarTy MinimumSize)
Definition TypeSize.h:346
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
Definition Type.cpp:310
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
Definition Type.cpp:309
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Definition Type.cpp:307
static LLVM_ABI IntegerType * getInt16Ty(LLVMContext &C)
Definition Type.cpp:308
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Definition Type.h:130
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:232
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
Definition Type.cpp:313
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
Value * getOperand(unsigned i) const
Definition User.h:207
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:255
user_iterator user_begin()
Definition Value.h:402
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition Value.h:439
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:258
Base class of all SIMD vector types.
constexpr ScalarTy getFixedValue() const
Definition TypeSize.h:200
static constexpr bool isKnownLE(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
Definition TypeSize.h:230
#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.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
ISD namespace - This namespace contains an enum which represents all of the SelectionDAG node types a...
Definition ISDOpcodes.h:24
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:264
@ FADD
Simple binary floating point operators.
Definition ISDOpcodes.h:417
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ SHL
Shift and rotation operations.
Definition ISDOpcodes.h:771
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition ISDOpcodes.h:741
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.
BinaryOp_match< LHS, RHS, Instruction::AShr > m_AShr(const LHS &L, const RHS &R)
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.
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.
Definition Metadata.h:683
This is an optimization pass for GlobalISel generic memory operations.
@ Length
Definition DWP.cpp:578
InstructionCost Cost
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...
Definition Analysis.cpp:119
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
@ Load
The value being inserted comes from a load (InsertElement only).
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...
Definition STLExtras.h:2173
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
Definition InstrProf.h:143
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1746
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition MathExtras.h:280
LLVM_ABI void computeKnownBits(const Value *V, KnownBits &Known, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CxtI=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 raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1753
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...
Definition Casting.h:547
AtomicOrdering
Atomic ordering for LLVM's memory model.
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
Definition MathExtras.h:395
@ FAdd
Sum of floats.
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1947
LLVM_ABI const Value * getUnderlyingObject(const Value *V, unsigned MaxLookup=MaxLookupSearchDepth)
This method strips off any GEP address adjustments, pointer casts or llvm.threadlocal....
ValueUniformity
Enum describing how values behave with respect to uniformity and divergence, to answer the question: ...
Definition Uniformity.h:18
@ AlwaysUniform
The result value is always uniform.
Definition Uniformity.h:23
@ NeverUniform
The result value can never be assumed to be uniform.
Definition Uniformity.h:26
@ Default
The result value is uniform if and only if all operands are uniform.
Definition Uniformity.h:20
@ Custom
The result value requires a custom uniformity check.
Definition Uniformity.h:31
MCRegisterClass TargetRegisterClass
Definition FastISel.h:58
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
static constexpr DenormalMode getPreserveSign()
Extended Value Type.
Definition ValueTypes.h:35
uint64_t getScalarSizeInBits() const
Definition ValueTypes.h:408
Information about a load/store intrinsic defined by the target.
bool isInlineCompatible(SIModeRegisterDefaults CalleeMode) const
Parameters that control the generic loop unrolling transformation.
unsigned Threshold
The cost threshold for the unrolled loop.
bool UnrollVectorizedLoop
Disable runtime unrolling by default for vectorized loops.
unsigned MaxIterationsCountToAnalyze
Don't allow loop unrolling to simulate more than this number of iterations when checking full unroll ...
unsigned PartialThreshold
The cost threshold for the unrolled loop, like Threshold, but used for partial/runtime unrolling (set...
bool Runtime
Allow runtime unrolling (unrolling of loops to expand the size of the loop body even when the number ...
bool Partial
Allow partial unrolling (unrolling of loops to expand the size of the loop body, not only to eliminat...