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
283 return 1024;
284}
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}
294
296 return !F || !ST->isSingleLaneExecution(*F);
297}
298
299unsigned GCNTTIImpl::getNumberOfRegisters(unsigned RCID) const {
300 // NB: RCID is not an RCID. In fact it is 0 or 1 for scalar or vector
301 // registers. See getRegisterClassForType for the implementation.
302 // In this case vector registers are not vector in terms of
303 // VGPRs, but those which can hold multiple values.
304
305 // This is really the number of registers to fill when vectorizing /
306 // interleaving loops, so we lie to avoid trying to use all registers.
307 return 4;
308}
309
312 switch (K) {
314 return TypeSize::getFixed(32);
316 return TypeSize::getFixed(
317 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()) ? 128
318 : ST->hasAnyPackedFP32Ops() ? 64
319 : 32);
321 return TypeSize::getScalable(0);
322 }
323 llvm_unreachable("Unsupported register kind");
324}
325
327 return 32;
328}
329
330unsigned GCNTTIImpl::getMaximumVF(unsigned ElemWidth, unsigned Opcode) const {
331 if (Opcode == Instruction::Load || Opcode == Instruction::Store)
332 return 32 * 4 / ElemWidth;
333 // For a given width return the max 0number of elements that can be combined
334 // into a wider bit value:
335 return (ElemWidth == 8 && ST->has16BitInsts()) ? 4
336 : (ElemWidth == 16 && ST->has16BitInsts()) ? 2
337 : (ElemWidth == 32 && ST->hasAnyPackedFP32Ops()) ? 2
338 : (ElemWidth == 64 &&
339 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()))
340 ? 2
341 : 1;
342}
343
345 // The integer inst-count heuristic causes regressions on gfx94x and gfx950
346 // because 2-element vector trees that pass the scalar/vector instruction
347 // count comparison still widen scalar moves (e.g. v_mov_b32 to v_mov_b64)
348 // after codegen, increasing register pressure and throughput cost without
349 // reducing the total instruction count.
350 return !ST->hasGFX940Insts() && !ST->hasGFX950Insts();
351}
352
353unsigned GCNTTIImpl::getLoadVectorFactor(unsigned VF, unsigned LoadSize,
354 unsigned ChainSizeInBytes,
355 VectorType *VecTy) const {
356 unsigned VecRegBitWidth = VF * LoadSize;
357 if (VecRegBitWidth > 128 && VecTy->getScalarSizeInBits() < 32)
358 // TODO: Support element-size less than 32bit?
359 return 128 / LoadSize;
360
361 return VF;
362}
363
364unsigned GCNTTIImpl::getStoreVectorFactor(unsigned VF, unsigned StoreSize,
365 unsigned ChainSizeInBytes,
366 VectorType *VecTy) const {
367 unsigned VecRegBitWidth = VF * StoreSize;
368 if (VecRegBitWidth > 128)
369 return 128 / StoreSize;
370
371 return VF;
372}
373
374unsigned GCNTTIImpl::getLoadStoreVecRegBitWidth(unsigned AddrSpace) const {
375 if (AddrSpace == AMDGPUAS::GLOBAL_ADDRESS ||
376 AddrSpace == AMDGPUAS::CONSTANT_ADDRESS ||
378 AddrSpace == AMDGPUAS::BUFFER_FAT_POINTER ||
379 AddrSpace == AMDGPUAS::BUFFER_RESOURCE ||
381 return 512;
382 }
383
384 if (AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)
385 return 8 * ST->getMaxPrivateElementSize();
386
387 // Common to flat, global, local and region. Assume for unknown addrspace.
388 return 128;
389}
390
391bool GCNTTIImpl::isLegalToVectorizeMemChain(unsigned ChainSizeInBytes,
392 Align Alignment,
393 unsigned AddrSpace) const {
394 // We allow vectorization of flat stores, even though we may need to decompose
395 // them later if they may access private memory. We don't have enough context
396 // here, and legalization can handle it.
397 if (AddrSpace == AMDGPUAS::PRIVATE_ADDRESS) {
398 return (Alignment >= 4 || ST->hasUnalignedScratchAccessEnabled()) &&
399 ChainSizeInBytes <= ST->getMaxPrivateElementSize();
400 }
401 return true;
402}
403
404bool GCNTTIImpl::isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes,
405 Align Alignment,
406 unsigned AddrSpace) const {
407 return isLegalToVectorizeMemChain(ChainSizeInBytes, Alignment, AddrSpace);
408}
409
410bool GCNTTIImpl::isLegalToVectorizeStoreChain(unsigned ChainSizeInBytes,
411 Align Alignment,
412 unsigned AddrSpace) const {
413 return isLegalToVectorizeMemChain(ChainSizeInBytes, Alignment, AddrSpace);
414}
415
417 return 1024;
418}
419
421 LLVMContext &Context, Value *Length, unsigned SrcAddrSpace,
422 unsigned DestAddrSpace, Align SrcAlign, Align DestAlign,
423 std::optional<uint32_t> AtomicElementSize) const {
424
425 if (AtomicElementSize)
426 return Type::getIntNTy(Context, *AtomicElementSize * 8);
427
428 // 16-byte accesses achieve the highest copy throughput.
429 // If the operation has a fixed known length that is large enough, it is
430 // worthwhile to return an even wider type and let legalization lower it into
431 // multiple accesses, effectively unrolling the memcpy loop.
432 // We also rely on legalization to decompose into smaller accesses for
433 // subtargets and address spaces where it is necessary.
434 //
435 // Don't unroll if Length is not a constant, since unrolling leads to worse
436 // performance for length values that are smaller or slightly larger than the
437 // total size of the type returned here. Mitigating that would require a more
438 // complex lowering for variable-length memcpy and memmove.
439 unsigned I32EltsInVector = 4;
442 MemcpyLoopUnroll * I32EltsInVector);
443
444 return FixedVectorType::get(Type::getInt32Ty(Context), I32EltsInVector);
445}
446
448 SmallVectorImpl<Type *> &OpsOut, LLVMContext &Context,
449 unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace,
450 Align SrcAlign, Align DestAlign,
451 std::optional<uint32_t> AtomicCpySize) const {
452
453 if (AtomicCpySize)
455 OpsOut, Context, RemainingBytes, SrcAddrSpace, DestAddrSpace, SrcAlign,
456 DestAlign, AtomicCpySize);
457
458 Type *I32x4Ty = FixedVectorType::get(Type::getInt32Ty(Context), 4);
459 while (RemainingBytes >= 16) {
460 OpsOut.push_back(I32x4Ty);
461 RemainingBytes -= 16;
462 }
463
464 Type *I64Ty = Type::getInt64Ty(Context);
465 while (RemainingBytes >= 8) {
466 OpsOut.push_back(I64Ty);
467 RemainingBytes -= 8;
468 }
469
470 Type *I32Ty = Type::getInt32Ty(Context);
471 while (RemainingBytes >= 4) {
472 OpsOut.push_back(I32Ty);
473 RemainingBytes -= 4;
474 }
475
476 Type *I16Ty = Type::getInt16Ty(Context);
477 while (RemainingBytes >= 2) {
478 OpsOut.push_back(I16Ty);
479 RemainingBytes -= 2;
480 }
481
482 Type *I8Ty = Type::getInt8Ty(Context);
483 while (RemainingBytes) {
484 OpsOut.push_back(I8Ty);
485 --RemainingBytes;
486 }
487}
488
490 bool HasUnorderedReductions) const {
491 // Disable unrolling if the loop is not vectorized.
492 // TODO: Enable this again.
493 if (VF.isScalar())
494 return 1;
495
496 return 8;
497}
498
500 MemIntrinsicInfo &Info) const {
501 switch (Inst->getIntrinsicID()) {
502 case Intrinsic::amdgcn_ds_ordered_add:
503 case Intrinsic::amdgcn_ds_ordered_swap: {
504 auto *Ordering = dyn_cast<ConstantInt>(Inst->getArgOperand(2));
505 auto *Volatile = dyn_cast<ConstantInt>(Inst->getArgOperand(4));
506 if (!Ordering || !Volatile)
507 return false; // Invalid.
508
509 unsigned OrderingVal = Ordering->getZExtValue();
510 if (OrderingVal > static_cast<unsigned>(AtomicOrdering::SequentiallyConsistent))
511 return false;
512
513 Info.PtrVal = Inst->getArgOperand(0);
514 Info.Ordering = static_cast<AtomicOrdering>(OrderingVal);
515 Info.ReadMem = true;
516 Info.WriteMem = true;
517 Info.IsVolatile = !Volatile->isZero();
518 return true;
519 }
520 default:
521 return false;
522 }
523}
524
525/// \returns true if \p FMul and its single fadd/fsub user \p FAddSub are
526/// expected to fuse during instruction selection. \p Ty is the type the fused
527/// operation runs on.
528static bool canFuseFMulWithFAddSub(const SITargetLowering &TLI, Type *Ty,
529 const Instruction *FMul,
530 const Instruction *FAddSub) {
531 assert((FAddSub->getOpcode() == Instruction::FAdd ||
532 FAddSub->getOpcode() == Instruction::FSub) &&
533 "Expected an fadd or an fsub");
534
535 // The mad forms fuse exactly without fast-math flags but flush denormals.
536 // An fma forms only when it is not slower than the separate operations.
537 const Function &F = *FAddSub->getFunction();
538 const bool HasFMAD = TLI.isFMADLegal(F, Ty);
539 const bool HasFMA = TLI.isFMAFasterThanFMulAndFAdd(F, Ty);
540 if (!HasFMAD && !HasFMA)
541 return false;
542
543 // Without a mad the pair fuses only when both carry contract.
544 return HasFMAD || (FAddSub->hasAllowContract() && FMul->hasAllowContract());
545}
546
548 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
550 ArrayRef<const Value *> Args, const Instruction *CxtI) const {
551
552 // Legalize the type.
553 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
554 int ISD = TLI->InstructionOpcodeToISD(Opcode);
555
556 // Because we don't have any legal vector operations, but the legal types, we
557 // need to account for split vectors.
558 unsigned NElts = LT.second.isVector() ?
559 LT.second.getVectorNumElements() : 1;
560
561 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
562
563 switch (ISD) {
564 case ISD::SHL:
565 case ISD::SRL:
566 case ISD::SRA:
567 if (SLT == MVT::i64)
568 return get64BitInstrCost(CostKind) * LT.first * NElts;
569
570 if (ST->has16BitInsts() && SLT == MVT::i16)
571 NElts = (NElts + 1) / 2;
572
573 // i32
574 return getFullRateInstrCost() * LT.first * NElts;
575 case ISD::ADD:
576 case ISD::SUB:
577 if (SLT == MVT::i64 && ST->hasAnyPackedU64Ops())
578 NElts = (NElts + 1) / 2;
579 [[fallthrough]];
580 case ISD::AND:
581 case ISD::OR:
582 case ISD::XOR:
583 if (SLT == MVT::i64) {
584 // and, or and xor are typically split into 2 VALU instructions.
585 return 2 * getFullRateInstrCost() * LT.first * NElts;
586 }
587
588 if (ST->has16BitInsts() && SLT == MVT::i16)
589 NElts = (NElts + 1) / 2;
590
591 return LT.first * NElts * getFullRateInstrCost();
592 case ISD::MUL: {
593 const int QuarterRateCost = getQuarterRateInstrCost(CostKind);
594 if (SLT == MVT::i64) {
595 const int FullRateCost = getFullRateInstrCost();
596 return (4 * QuarterRateCost + (2 * 2) * FullRateCost) * LT.first * NElts;
597 }
598
599 if (ST->has16BitInsts() && SLT == MVT::i16)
600 NElts = (NElts + 1) / 2;
601
602 // i32
603 return QuarterRateCost * NElts * LT.first;
604 }
605 case ISD::FMUL:
606 // Check possible fuse {fadd|fsub}(a,fmul(b,c)) and return zero cost for
607 // fmul(b,c) supposing the fadd|fsub will get estimated cost for the whole
608 // fused operation.
609 if (CxtI && CxtI->hasOneUse()) {
610 const auto *FAddSub = dyn_cast<BinaryOperator>(*CxtI->user_begin());
611 if (FAddSub &&
612 (FAddSub->getOpcode() == Instruction::FAdd ||
613 FAddSub->getOpcode() == Instruction::FSub) &&
614 canFuseFMulWithFAddSub(*TLI, Ty, CxtI, FAddSub))
616 }
617 [[fallthrough]];
618 case ISD::FADD:
619 case ISD::FSUB:
620 if (ST->hasAnyPackedFP32Ops() && SLT == MVT::f32)
621 NElts = (NElts + 1) / 2;
622 if (ST->hasBF16PackedInsts() && SLT == MVT::bf16)
623 NElts = (NElts + 1) / 2;
624 if (SLT == MVT::f64) {
625 if (ST->hasAnyPackedFP64Ops())
626 NElts = (NElts + 1) / 2;
627 return LT.first * NElts * get64BitInstrCost(CostKind);
628 }
629
630 if (ST->has16BitInsts() && SLT == MVT::f16)
631 NElts = (NElts + 1) / 2;
632
633 if (SLT == MVT::f32 || SLT == MVT::f16 || SLT == MVT::bf16)
634 return LT.first * NElts * getFullRateInstrCost();
635 break;
636 case ISD::FDIV:
637 case ISD::FREM:
638 // FIXME: frem should be handled separately. The fdiv in it is most of it,
639 // but the current lowering is also not entirely correct.
640 if (SLT == MVT::f64) {
641 int Cost = 7 * get64BitInstrCost(CostKind) +
642 getQuarterRateInstrCost(CostKind) +
643 3 * getHalfRateInstrCost(CostKind);
644 // Add cost of workaround.
645 if (!ST->hasUsableDivScaleConditionOutput())
646 Cost += 3 * getFullRateInstrCost();
647
648 return LT.first * Cost * NElts;
649 }
650
651 if (!Args.empty() && match(Args[0], PatternMatch::m_FPOne())) {
652 // TODO: This is more complicated, unsafe flags etc.
653 if ((SLT == MVT::f32 && !HasFP32Denormals) ||
654 (SLT == MVT::f16 && ST->has16BitInsts())) {
655 return LT.first * getTransInstrCost(CostKind) * NElts;
656 }
657 }
658
659 if (SLT == MVT::f16 && ST->has16BitInsts()) {
660 // 2 x v_cvt_f32_f16
661 // f32 rcp
662 // f32 fmul
663 // v_cvt_f16_f32
664 // f16 div_fixup
665 int Cost = 4 * getFullRateInstrCost() + 2 * getTransInstrCost(CostKind);
666 return LT.first * Cost * NElts;
667 }
668
669 if (SLT == MVT::f32 && (CxtI && CxtI->hasApproxFunc())) {
670 // Fast unsafe fdiv lowering:
671 // f32 rcp
672 // f32 fmul
673 int Cost = getTransInstrCost(CostKind) + getFullRateInstrCost();
674 return LT.first * Cost * NElts;
675 }
676
677 if (SLT == MVT::f32 || SLT == MVT::f16) {
678 // 4 more v_cvt_* insts without f16 insts support
679 int Cost = (SLT == MVT::f16 ? 14 : 10) * getFullRateInstrCost() +
680 1 * getTransInstrCost(CostKind);
681
682 if (!HasFP32Denormals) {
683 // FP mode switches.
684 Cost += 2 * getFullRateInstrCost();
685 }
686
687 return LT.first * NElts * Cost;
688 }
689 break;
690 case ISD::FNEG:
691 // Use the backend' estimation. If fneg is not free each element will cost
692 // one additional instruction.
693 return TLI->isFNegFree(SLT) ? 0 : NElts;
694 default:
695 break;
696 }
697
698 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind, Op1Info, Op2Info,
699 Args, CxtI);
700}
701
702// Return true if there's a potential benefit from using v2f16/v2i16
703// instructions for an intrinsic, even if it requires nontrivial legalization.
705 switch (ID) {
706 case Intrinsic::fma:
707 case Intrinsic::fmuladd:
708 case Intrinsic::copysign:
709 case Intrinsic::minimumnum:
710 case Intrinsic::maximumnum:
711 case Intrinsic::canonicalize:
712 // There's a small benefit to using vector ops in the legalized code.
713 case Intrinsic::round:
714 case Intrinsic::uadd_sat:
715 case Intrinsic::usub_sat:
716 case Intrinsic::sadd_sat:
717 case Intrinsic::ssub_sat:
718 case Intrinsic::abs:
719 return true;
720 default:
721 return false;
722 }
723}
724
728 switch (ICA.getID()) {
729 case Intrinsic::fabs:
730 // Free source modifier in the common case.
731 return 0;
732 case Intrinsic::amdgcn_workitem_id_x:
733 case Intrinsic::amdgcn_workitem_id_y:
734 case Intrinsic::amdgcn_workitem_id_z:
735 // TODO: If hasPackedTID, or if the calling context is not an entry point
736 // there may be a bit instruction.
737 return 0;
738 case Intrinsic::amdgcn_workgroup_id_x:
739 case Intrinsic::amdgcn_workgroup_id_y:
740 case Intrinsic::amdgcn_workgroup_id_z:
741 case Intrinsic::amdgcn_lds_kernel_id:
742 case Intrinsic::amdgcn_dispatch_ptr:
743 case Intrinsic::amdgcn_dispatch_id:
744 case Intrinsic::amdgcn_implicitarg_ptr:
745 case Intrinsic::amdgcn_queue_ptr:
746 // Read from an argument register.
747 return 0;
748 default:
749 break;
750 }
751
752 Type *RetTy = ICA.getReturnType();
753
754 Intrinsic::ID IID = ICA.getID();
755 switch (IID) {
756 case Intrinsic::exp:
757 case Intrinsic::exp2:
758 case Intrinsic::exp10: {
759 // Legalize the type.
760 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
761 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
762 unsigned NElts =
763 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
764
765 if (SLT == MVT::f64) {
766 unsigned NumOps = 20;
767 if (IID == Intrinsic::exp)
768 ++NumOps;
769 else if (IID == Intrinsic::exp10)
770 NumOps += 3;
771
772 return LT.first * NElts * NumOps * get64BitInstrCost(CostKind);
773 }
774
775 if (SLT == MVT::f32) {
776 unsigned NumFullRateOps = 0;
777 // v_exp_f32 (transcendental).
778 unsigned NumTransOps = 1;
779
780 if (!ICA.getFlags().approxFunc() && IID != Intrinsic::exp2) {
781 // Non-AFN exp/exp10: range reduction + v_exp_f32 + ldexp +
782 // overflow/underflow checks (lowerFEXP). Denorm is also handled.
783 // FMA preamble: ~13 full-rate ops; non-FMA: ~17.
784 NumFullRateOps = ST->hasFastFMAF32() ? 13 : 17;
785 } else {
786 if (IID == Intrinsic::exp) {
787 // lowerFEXPUnsafe: fmul (base conversion) + v_exp_f32.
788 NumFullRateOps = 1;
789 } else if (IID == Intrinsic::exp10) {
790 // lowerFEXP10Unsafe: 3 fmul + 2 v_exp_f32 (double-exp2).
791 NumFullRateOps = 3;
792 NumTransOps = 2;
793 }
794 // Denorm scaling adds setcc + select + fadd + select + fmul.
795 if (HasFP32Denormals)
796 NumFullRateOps += 5;
797 }
798
799 InstructionCost Cost = NumFullRateOps * getFullRateInstrCost() +
800 NumTransOps * getTransInstrCost(CostKind);
801 return LT.first * NElts * Cost;
802 }
803
804 break;
805 }
806 case Intrinsic::log:
807 case Intrinsic::log2:
808 case Intrinsic::log10: {
809 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
810 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
811 unsigned NElts =
812 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
813
814 if (SLT == MVT::f32) {
815 unsigned NumFullRateOps = 0;
816
817 if (IID == Intrinsic::log2) {
818 // LowerFLOG2: just v_log_f32.
819 } else if (ICA.getFlags().approxFunc()) {
820 // LowerFLOGUnsafe: v_log_f32 + fmul (base conversion).
821 NumFullRateOps = 1;
822 } else {
823 // LowerFLOGCommon non-AFN: v_log_f32 + extended-precision
824 // multiply + finite check.
825 NumFullRateOps = ST->hasFastFMAF32() ? 8 : 11;
826 }
827
828 if (HasFP32Denormals)
829 NumFullRateOps += 5;
830
832 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
833 return LT.first * NElts * Cost;
834 }
835
836 break;
837 }
838 case Intrinsic::sin:
839 case Intrinsic::cos: {
840 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
841 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
842 unsigned NElts =
843 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
844
845 if (SLT == MVT::f32) {
846 // LowerTrig: fmul(1/2pi) + v_sin/v_cos.
847 unsigned NumFullRateOps = ST->hasTrigReducedRange() ? 2 : 1;
848
850 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
851 return LT.first * NElts * Cost;
852 }
853
854 break;
855 }
856 case Intrinsic::sqrt: {
857 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
858 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
859 unsigned NElts =
860 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
861
862 if (SLT == MVT::f32) {
863 unsigned NumFullRateOps = 0;
864
865 if (!ICA.getFlags().approxFunc()) {
866 // lowerFSQRTF32 non-AFN: v_sqrt_f32 + refinement + scale fixup.
867 NumFullRateOps = HasFP32Denormals ? 17 : 16;
868 }
869
871 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
872 return LT.first * NElts * Cost;
873 }
874
875 break;
876 }
877 default:
878 break;
879 }
880
883
884 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
885 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
886 unsigned NElts = LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
887
888 if ((ST->hasVOP3PInsts() &&
889 (SLT == MVT::f16 || SLT == MVT::i16 ||
890 (SLT == MVT::bf16 && ST->hasBF16PackedInsts()))) ||
891 (ST->hasAnyPackedFP64Ops() && SLT == MVT::f64) ||
892 (ST->hasAnyPackedU64Ops() && SLT == MVT::i64)) {
893 NElts = (NElts + 1) / 2;
894 } else if (SLT == MVT::f32) {
895 bool HasPk2FP32Op = ST->hasAnyPackedFP32Ops() &&
896 IID != Intrinsic::minimumnum &&
897 IID != Intrinsic::maximumnum;
898 NElts = HasPk2FP32Op ? (NElts + 1) / 2 : NElts;
899 }
900
901 // TODO: Get more refined intrinsic costs?
902 unsigned InstRate = getQuarterRateInstrCost(CostKind);
903
904 switch (ICA.getID()) {
905 case Intrinsic::fma:
906 case Intrinsic::fmuladd:
907 if (SLT == MVT::f64) {
908 InstRate = get64BitInstrCost(CostKind);
909 break;
910 }
911
912 if ((SLT == MVT::f32 && ST->hasFastFMAF32()) || SLT == MVT::f16)
913 InstRate = getFullRateInstrCost();
914 else {
915 InstRate = ST->hasFastFMAF32() ? getHalfRateInstrCost(CostKind)
916 : getQuarterRateInstrCost(CostKind);
917 }
918 break;
919 case Intrinsic::copysign:
920 return NElts * getFullRateInstrCost();
921 case Intrinsic::minimumnum:
922 case Intrinsic::maximumnum: {
923 // Instruction + 2 canonicalizes. For cases that need type promotion, we the
924 // promotion takes the place of the canonicalize.
925 unsigned NumOps = 3;
926 if (const IntrinsicInst *II = ICA.getInst()) {
927 // Directly legal with ieee=0
928 // TODO: Not directly legal with strictfp
930 NumOps = 1;
931 }
932
933 unsigned BaseRate =
934 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
935 InstRate = BaseRate * NumOps;
936 break;
937 }
938 case Intrinsic::canonicalize: {
939 InstRate =
940 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
941 break;
942 }
943 case Intrinsic::uadd_sat:
944 case Intrinsic::usub_sat:
945 case Intrinsic::sadd_sat:
946 case Intrinsic::ssub_sat: {
947 if (SLT == MVT::i16 || SLT == MVT::i32)
948 InstRate = getFullRateInstrCost();
949
950 static const auto ValidSatTys = {MVT::v2i16, MVT::v4i16};
951 if (any_of(ValidSatTys, equal_to(LT.second)))
952 NElts = 1;
953 break;
954 }
955 case Intrinsic::abs:
956 // Expansion takes 2 instructions for VALU
957 if (SLT == MVT::i16 || SLT == MVT::i32)
958 InstRate = 2 * getFullRateInstrCost();
959 break;
960 default:
961 break;
962 }
963
964 return LT.first * NElts * InstRate;
965}
966
969 const Instruction *I) const {
970 assert((I == nullptr || I->getOpcode() == Opcode) &&
971 "Opcode should reflect passed instruction.");
972 const bool SCost =
974 const int CBrCost = SCost ? 5 : 7;
975 switch (Opcode) {
976 case Instruction::UncondBr:
977 // Branch instruction takes about 4 slots on gfx900.
978 return SCost ? 1 : 4;
979 case Instruction::CondBr:
980 // Suppose conditional branch takes additional 3 exec manipulations
981 // instructions in average.
982 return CBrCost;
983 case Instruction::Switch: {
984 const auto *SI = dyn_cast_or_null<SwitchInst>(I);
985 // Each case (including default) takes 1 cmp + 1 cbr instructions in
986 // average.
987 return (SI ? (SI->getNumCases() + 1) : 4) * (CBrCost + 1);
988 }
989 case Instruction::Ret:
990 return SCost ? 1 : 10;
991 }
992 return BaseT::getCFInstrCost(Opcode, CostKind, I);
993}
994
995// Measured packing cost of i1 for gfx9-12 is 4.0 to 4.8, up to 5.4 with
996// true16; unpacking is 2.6 to 2.9.
997static constexpr unsigned MaskPackCostPerElt = 4;
998static constexpr unsigned MaskUnpackCostPerElt = 3;
999
1000static std::optional<unsigned> getNumberOfPackedMaskElts(Type *Ty) {
1001 auto *FVT = dyn_cast<FixedVectorType>(Ty);
1002 if (FVT && FVT->getElementType()->isIntegerTy(1) && FVT->getNumElements() > 1)
1003 return FVT->getNumElements();
1004 return std::nullopt;
1005}
1006
1008 Type *Src,
1011 const Instruction *I) const {
1012 // A bitcast between a vector of i1 and an integer packs or unpacks a mask.
1013 if (Opcode == Instruction::BitCast) {
1014 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Src);
1015 Elts && Dst->isIntegerTy(*Elts))
1016 return InstructionCost(MaskPackCostPerElt) * *Elts *
1017 getFullRateInstrCost();
1018 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Dst);
1019 Elts && Src->isIntegerTy(*Elts))
1020 return InstructionCost(MaskUnpackCostPerElt) * *Elts *
1021 getFullRateInstrCost();
1022 }
1023
1024 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1025}
1026
1029 std::optional<FastMathFlags> FMF,
1032 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
1033
1034 // An add or xor reduction over a vector of i1 becomes a bit count over the
1035 // packed mask; the generic model prices a shuffle tree and misses that.
1036 if (Opcode == Instruction::Add || Opcode == Instruction::Xor) {
1037 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Ty))
1038 return InstructionCost(MaskPackCostPerElt) * *Elts *
1039 getFullRateInstrCost();
1040 }
1041
1042 EVT OrigTy = TLI->getValueType(DL, Ty);
1043
1044 // Computes cost on targets that have packed math instructions(which support
1045 // 16-bit types only).
1046 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1047 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
1048
1049 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1050 return LT.first * getFullRateInstrCost();
1051}
1052
1055 FastMathFlags FMF,
1057 EVT OrigTy = TLI->getValueType(DL, Ty);
1058
1059 // Computes cost on targets that have packed math instructions(which support
1060 // 16-bit types only).
1061 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1062 return BaseT::getMinMaxReductionCost(IID, Ty, FMF, CostKind);
1063
1064 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1065 return LT.first * getHalfRateInstrCost(CostKind);
1066}
1067
1069 unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index,
1070 const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC) const {
1071 switch (Opcode) {
1072 case Instruction::ExtractElement:
1073 case Instruction::InsertElement: {
1074 unsigned EltSize
1075 = DL.getTypeSizeInBits(cast<VectorType>(ValTy)->getElementType());
1076 // Dynamic indexing isn't free and is best avoided.
1077 if (Index == ~0u)
1078 return 2;
1079 if (EltSize < 32) {
1080 if (EltSize == 16 && Index == 0 && ST->has16BitInsts())
1081 return 0;
1082 // Inserts of booleans are free.
1083 // TODO: Extracts are free too.
1084 if (EltSize == 1 && Opcode == Instruction::InsertElement)
1086 // Extract element sequences of consecutive i8 values that match a
1087 // register size are free most likely. It is not possible to know
1088 // if this extract is part of a consecutive sequence so this may
1089 // apply more generally.
1090 if (Opcode == Instruction::ExtractElement && EltSize == 8) {
1091 if (auto *FVTy = dyn_cast<FixedVectorType>(ValTy)) {
1092 unsigned NumElts = FVTy->getNumElements();
1093 if (NumElts >= 4 && isPowerOf2_32(NumElts))
1094 return 0;
1095 }
1096 }
1097 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1098 VIC);
1099 }
1100
1101 // Extracts are just reads of a subregister, so are free. Inserts are
1102 // considered free because we don't want to have any cost for scalarizing
1103 // operations, and we don't have to copy into a different register class.
1104 return 0;
1105 }
1106 default:
1107 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1108 VIC);
1109 }
1110}
1111
1112/// Analyze if the results of inline asm are divergent. If \p Indices is empty,
1113/// this is analyzing the collective result of all output registers. Otherwise,
1114/// this is only querying a specific result index if this returns multiple
1115/// registers in a struct.
1117 const CallInst *CI, ArrayRef<unsigned> Indices) const {
1118 // TODO: Handle complex extract indices
1119 if (Indices.size() > 1)
1120 return true;
1121
1122 const DataLayout &DL = CI->getDataLayout();
1123 const SIRegisterInfo *TRI = ST->getRegisterInfo();
1124 TargetLowering::AsmOperandInfoVector TargetConstraints =
1125 TLI->ParseConstraints(DL, ST->getRegisterInfo(), *CI);
1126
1127 const int TargetOutputIdx = Indices.empty() ? -1 : Indices[0];
1128
1129 int OutputIdx = 0;
1130 for (auto &TC : TargetConstraints) {
1131 if (TC.Type != InlineAsm::isOutput)
1132 continue;
1133
1134 // Skip outputs we don't care about.
1135 if (TargetOutputIdx != -1 && TargetOutputIdx != OutputIdx++)
1136 continue;
1137
1138 TLI->ComputeConstraintToUse(TC, SDValue());
1139
1140 const TargetRegisterClass *RC = TLI->getRegForInlineAsmConstraint(
1141 TRI, TC.ConstraintCode, TC.ConstraintVT).second;
1142
1143 // For AGPR constraints null is returned on subtargets without AGPRs, so
1144 // assume divergent for null.
1145 if (!RC || !TRI->isSGPRClass(RC))
1146 return true;
1147 }
1148
1149 return false;
1150}
1151
1153 const IntrinsicInst *ReadReg) const {
1154 Metadata *MD =
1155 cast<MetadataAsValue>(ReadReg->getArgOperand(0))->getMetadata();
1157 cast<MDString>(cast<MDNode>(MD)->getOperand(0))->getString();
1158
1159 // Special case registers that look like VCC.
1160 MVT VT = MVT::getVT(ReadReg->getType());
1161 if (VT == MVT::i1)
1162 return true;
1163
1164 // Special case scalar registers that start with 'v'.
1165 if (RegName.starts_with("vcc") || RegName.empty())
1166 return false;
1167
1168 // VGPR or AGPR is divergent. There aren't any specially named vector
1169 // registers.
1170 return RegName[0] == 'v' || RegName[0] == 'a';
1171}
1172
1173/// \returns true if the result of the value could potentially be
1174/// different across workitems in a wavefront.
1175bool GCNTTIImpl::isSourceOfDivergence(const Value *V) const {
1176 if (const Argument *A = dyn_cast<Argument>(V))
1178
1179 // Loads from the private and flat address spaces are divergent, because
1180 // threads can execute the load instruction with the same inputs and get
1181 // different results.
1182 //
1183 // All other loads are not divergent, because if threads issue loads with the
1184 // same arguments, they will always get the same result.
1185 if (const LoadInst *Load = dyn_cast<LoadInst>(V))
1186 return Load->getPointerAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS ||
1187 Load->getPointerAddressSpace() == AMDGPUAS::FLAT_ADDRESS;
1188
1189 // Atomics are divergent because they are executed sequentially: when an
1190 // atomic operation refers to the same address in each thread, then each
1191 // thread after the first sees the value written by the previous thread as
1192 // original value.
1194 return true;
1195
1197 Intrinsic::ID IID = Intrinsic->getIntrinsicID();
1198 switch (IID) {
1199 case Intrinsic::read_register:
1201 case Intrinsic::amdgcn_addrspacecast_nonnull: {
1202 unsigned SrcAS =
1203 Intrinsic->getOperand(0)->getType()->getPointerAddressSpace();
1204 unsigned DstAS = Intrinsic->getType()->getPointerAddressSpace();
1205 return SrcAS == AMDGPUAS::PRIVATE_ADDRESS &&
1206 DstAS == AMDGPUAS::FLAT_ADDRESS &&
1207 ST->hasGloballyAddressableScratch();
1208 }
1209 case Intrinsic::amdgcn_workitem_id_y:
1210 case Intrinsic::amdgcn_workitem_id_z: {
1211 const Function *F = Intrinsic->getFunction();
1212 bool HasUniformYZ =
1213 ST->hasWavefrontsEvenlySplittingXDim(*F, /*RequitezUniformYZ=*/true);
1214 std::optional<unsigned> ThisDimSize = ST->getReqdWorkGroupSize(
1215 *F, IID == Intrinsic::amdgcn_workitem_id_y ? 1 : 2);
1216 return !HasUniformYZ && (!ThisDimSize || *ThisDimSize != 1);
1217 }
1218 default:
1220 }
1221 }
1222
1223 // Assume all function calls are a source of divergence.
1224 if (const CallInst *CI = dyn_cast<CallInst>(V)) {
1225 if (CI->isInlineAsm())
1227 return true;
1228 }
1229
1230 // Assume all function calls are a source of divergence.
1231 if (isa<InvokeInst>(V))
1232 return true;
1233
1234 // If the target supports globally addressable scratch, the mapping from
1235 // scratch memory to the flat aperture changes therefore an address space cast
1236 // is no longer uniform.
1237 if (auto *CastI = dyn_cast<AddrSpaceCastInst>(V)) {
1238 return CastI->getSrcAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS &&
1239 CastI->getDestAddressSpace() == AMDGPUAS::FLAT_ADDRESS &&
1240 ST->hasGloballyAddressableScratch();
1241 }
1242
1243 return false;
1244}
1245
1246bool GCNTTIImpl::isAlwaysUniform(const Value *V) const {
1247 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(V))
1248 return AMDGPU::isIntrinsicAlwaysUniform(Intrinsic->getIntrinsicID());
1249
1250 if (const CallInst *CI = dyn_cast<CallInst>(V)) {
1251 if (CI->isInlineAsm())
1253 return false;
1254 }
1255
1256 // In most cases TID / wavefrontsize is uniform.
1257 //
1258 // However, if a kernel has uneven dimesions we can have a value of
1259 // workitem-id-x divided by the wavefrontsize non-uniform. For example
1260 // dimensions (65, 2) will have workitems with address (64, 0) and (0, 1)
1261 // packed into a same wave which gives 1 and 0 after the division by 64
1262 // respectively.
1263 //
1264 // The X dimension doesn't reset within a wave if either both the Y
1265 // and Z dimensions are of length 1, or if the X dimension's required
1266 // size is a power of 2. Note, however, if the X dimension's maximum
1267 // size is a power of 2 < the wavefront size, division by the wavefront
1268 // size is guaranteed to yield 0, so this is also a no-reset case.
1269 bool XDimDoesntResetWithinWaves = false;
1270 if (auto *I = dyn_cast<Instruction>(V)) {
1271 const Function *F = I->getFunction();
1272 XDimDoesntResetWithinWaves = ST->hasWavefrontsEvenlySplittingXDim(*F);
1273 }
1274 using namespace llvm::PatternMatch;
1275 uint64_t C;
1277 m_ConstantInt(C))) ||
1279 m_ConstantInt(C)))) {
1280 return C >= ST->getWavefrontSizeLog2() && XDimDoesntResetWithinWaves;
1281 }
1282
1283 Value *Mask;
1285 m_Value(Mask)))) {
1286 return computeKnownBits(Mask, DL).countMinTrailingZeros() >=
1287 ST->getWavefrontSizeLog2() &&
1288 XDimDoesntResetWithinWaves;
1289 }
1290
1291 const ExtractValueInst *ExtValue = dyn_cast<ExtractValueInst>(V);
1292 if (!ExtValue)
1293 return false;
1294
1295 const CallInst *CI = dyn_cast<CallInst>(ExtValue->getOperand(0));
1296 if (!CI)
1297 return false;
1298
1299 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(CI)) {
1300 switch (Intrinsic->getIntrinsicID()) {
1301 default:
1302 return false;
1303 case Intrinsic::amdgcn_if:
1304 case Intrinsic::amdgcn_else: {
1305 ArrayRef<unsigned> Indices = ExtValue->getIndices();
1306 return Indices.size() == 1 && Indices[0] == 1;
1307 }
1308 }
1309 }
1310
1311 // If we have inline asm returning mixed SGPR and VGPR results, we inferred
1312 // divergent for the overall struct return. We need to override it in the
1313 // case we're extracting an SGPR component here.
1314 if (CI->isInlineAsm())
1315 return !isInlineAsmSourceOfDivergence(CI, ExtValue->getIndices());
1316
1317 return false;
1318}
1319
1321 Intrinsic::ID IID) const {
1322 switch (IID) {
1323 case Intrinsic::amdgcn_is_shared:
1324 case Intrinsic::amdgcn_is_private:
1325 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1326 case Intrinsic::amdgcn_flat_atomic_fmin_num:
1327 case Intrinsic::amdgcn_load_to_lds:
1328 case Intrinsic::amdgcn_make_buffer_rsrc:
1329 OpIndexes.push_back(0);
1330 return true;
1331 default:
1332 return false;
1333 }
1334}
1335
1337 Value *OldV,
1338 Value *NewV) const {
1339 auto IntrID = II->getIntrinsicID();
1340 switch (IntrID) {
1341 case Intrinsic::amdgcn_is_shared:
1342 case Intrinsic::amdgcn_is_private: {
1343 unsigned TrueAS = IntrID == Intrinsic::amdgcn_is_shared ?
1345 unsigned NewAS = NewV->getType()->getPointerAddressSpace();
1346 LLVMContext &Ctx = NewV->getType()->getContext();
1347 ConstantInt *NewVal = (TrueAS == NewAS) ?
1349 return NewVal;
1350 }
1351 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1352 case Intrinsic::amdgcn_flat_atomic_fmin_num: {
1353 Type *DestTy = II->getType();
1354 Type *SrcTy = NewV->getType();
1355 unsigned NewAS = SrcTy->getPointerAddressSpace();
1357 return nullptr;
1358 Module *M = II->getModule();
1360 M, II->getIntrinsicID(), {DestTy, SrcTy, DestTy});
1361 II->setArgOperand(0, NewV);
1362 II->setCalledFunction(NewDecl);
1363 return II;
1364 }
1365 case Intrinsic::amdgcn_load_to_lds: {
1366 Type *SrcTy = NewV->getType();
1367 Module *M = II->getModule();
1368 Function *NewDecl =
1369 Intrinsic::getOrInsertDeclaration(M, II->getIntrinsicID(), {SrcTy});
1370 II->setArgOperand(0, NewV);
1371 II->setCalledFunction(NewDecl);
1372 return II;
1373 }
1374 case Intrinsic::amdgcn_make_buffer_rsrc: {
1375 Type *SrcTy = NewV->getType();
1376 Type *DstTy = II->getType();
1377 Type *NumRecordsTy = II->getArgOperand(2)->getType();
1378 Module *M = II->getModule();
1380 M, II->getIntrinsicID(), {DstTy, SrcTy, NumRecordsTy});
1381 II->setArgOperand(0, NewV);
1382 II->setCalledFunction(NewDecl);
1383 return II;
1384 }
1385 default:
1386 return nullptr;
1387 }
1388}
1389
1391 VectorType *DstTy, VectorType *SrcTy,
1393 ArrayRef<int> Mask, int Index,
1394 VectorType *SubTp,
1396 const Instruction *CxtI) const {
1397 if (!isa<FixedVectorType>(SrcTy))
1398 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, CostKind, Mask, Index,
1399 SubTp);
1400
1401 Kind = improveShuffleKindFromMask(Kind, Mask, SrcTy, Index, SubTp);
1402
1403 unsigned ScalarSize = DL.getTypeSizeInBits(SrcTy->getElementType());
1404 if (ST->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS &&
1405 (ScalarSize == 16 || ScalarSize == 8)) {
1406 // Larger vector widths may require additional instructions, but are
1407 // typically cheaper than scalarized versions.
1408 //
1409 // We assume that shuffling at a register granularity can be done for free.
1410 // This is not true for vectors fed into memory instructions, but it is
1411 // effectively true for all other shuffling. The emphasis of the logic here
1412 // is to assist generic transform in cleaning up / canonicalizing those
1413 // shuffles.
1414
1415 // With op_sel VOP3P instructions freely can access the low half or high
1416 // half of a register, so any swizzle of two elements is free.
1417 if (auto *SrcVecTy = dyn_cast<FixedVectorType>(SrcTy)) {
1418 unsigned NumSrcElts = SrcVecTy->getNumElements();
1419 if (ST->hasVOP3PInsts() && ScalarSize == 16 && NumSrcElts == 2 &&
1420 (Kind == TTI::SK_Broadcast || Kind == TTI::SK_Reverse ||
1421 Kind == TTI::SK_PermuteSingleSrc))
1422 return 0;
1423 }
1424
1425 unsigned EltsPerReg = 32 / ScalarSize;
1426 switch (Kind) {
1427 case TTI::SK_Broadcast:
1428 // A single v_perm_b32 can be re-used for all destination registers.
1429 return 1;
1430 case TTI::SK_Reverse:
1431 // One instruction per register.
1432 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1433 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1436 if (Index % EltsPerReg == 0)
1437 return 0; // Shuffling at register granularity
1438 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1439 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1442 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1443 if (!DstVecTy)
1445 unsigned NumDstElts = DstVecTy->getNumElements();
1446 unsigned NumInsertElts = cast<FixedVectorType>(SubTp)->getNumElements();
1447 unsigned EndIndex = Index + NumInsertElts;
1448 unsigned BeginSubIdx = Index % EltsPerReg;
1449 unsigned EndSubIdx = EndIndex % EltsPerReg;
1450 unsigned Cost = 0;
1451
1452 if (BeginSubIdx != 0) {
1453 // Need to shift the inserted vector into place. The cost is the number
1454 // of destination registers overlapped by the inserted vector.
1455 Cost = divideCeil(EndIndex, EltsPerReg) - (Index / EltsPerReg);
1456 }
1457
1458 // If the last register overlap is partial, there may be three source
1459 // registers feeding into it; that takes an extra instruction.
1460 if (EndIndex < NumDstElts && BeginSubIdx < EndSubIdx)
1461 Cost += 1;
1462
1463 return Cost;
1464 }
1465 case TTI::SK_Splice: {
1466 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1467 if (!DstVecTy)
1469 unsigned NumElts = DstVecTy->getNumElements();
1470 assert(NumElts == cast<FixedVectorType>(SrcTy)->getNumElements());
1471 // Determine the sub-region of the result vector that requires
1472 // sub-register shuffles / mixing.
1473 unsigned EltsFromLHS = NumElts - Index;
1474 bool LHSIsAligned = (Index % EltsPerReg) == 0;
1475 bool RHSIsAligned = (EltsFromLHS % EltsPerReg) == 0;
1476 if (LHSIsAligned && RHSIsAligned)
1477 return 0;
1478 if (LHSIsAligned && !RHSIsAligned)
1479 return divideCeil(NumElts, EltsPerReg) - (EltsFromLHS / EltsPerReg);
1480 if (!LHSIsAligned && RHSIsAligned)
1481 return divideCeil(EltsFromLHS, EltsPerReg);
1482 return divideCeil(NumElts, EltsPerReg);
1483 }
1484 default:
1485 break;
1486 }
1487
1488 if (!Mask.empty()) {
1489 unsigned NumSrcElts = cast<FixedVectorType>(SrcTy)->getNumElements();
1490
1491 // Generically estimate the cost by assuming that each destination
1492 // register is derived from sources via v_perm_b32 instructions if it
1493 // can't be copied as-is.
1494 //
1495 // For each destination register, derive the cost of obtaining it based
1496 // on the number of source registers that feed into it.
1497 unsigned Cost = 0;
1498 for (unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += EltsPerReg) {
1500 bool Aligned = true;
1501 for (unsigned I = 0; I < EltsPerReg && DstIdx + I < Mask.size(); ++I) {
1502 int SrcIdx = Mask[DstIdx + I];
1503 if (SrcIdx == -1)
1504 continue;
1505 int Reg;
1506 if (SrcIdx < (int)NumSrcElts) {
1507 Reg = SrcIdx / EltsPerReg;
1508 if (SrcIdx % EltsPerReg != I)
1509 Aligned = false;
1510 } else {
1511 Reg = NumSrcElts + (SrcIdx - NumSrcElts) / EltsPerReg;
1512 if ((SrcIdx - NumSrcElts) % EltsPerReg != I)
1513 Aligned = false;
1514 }
1515 if (!llvm::is_contained(Regs, Reg))
1516 Regs.push_back(Reg);
1517 }
1518 if (Regs.size() >= 2)
1519 Cost += Regs.size() - 1;
1520 else if (!Aligned)
1521 Cost += 1;
1522 }
1523 return Cost;
1524 }
1525 }
1526
1527 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, CostKind, Mask, Index,
1528 SubTp);
1529}
1530
1531/// Whether it is profitable to sink the operands of an
1532/// Instruction I to the basic block of I.
1533/// This helps using several modifiers (like abs and neg) more often.
1535 SmallVectorImpl<Use *> &Ops) const {
1536 using namespace PatternMatch;
1537
1538 // The cost model prices this fmul as free assuming it fuses with its
1539 // fadd/fsub user, which needs them in one block. Sink a stranded
1540 // loop-invariant fmul back to the user when they would fuse. Single use only,
1541 // so this stays a move.
1542 if (I->getOpcode() == Instruction::FAdd ||
1543 I->getOpcode() == Instruction::FSub) {
1544 for (Use &Op : I->operands()) {
1545 auto *FMul = dyn_cast<Instruction>(Op.get());
1546 if (!FMul || FMul->getOpcode() != Instruction::FMul ||
1547 !FMul->hasOneUse() ||
1548 !canFuseFMulWithFAddSub(*TLI, I->getType(), FMul, I))
1549 continue;
1550 // The fused operand. Sink it when it sits in another block, then stop.
1551 if (FMul->getParent() != I->getParent())
1552 Ops.push_back(&Op);
1553 break;
1554 }
1555 }
1556
1557 for (auto &Op : I->operands()) {
1558 // Ensure we are not already sinking this operand.
1559 if (any_of(Ops, [&](Use *U) { return U->get() == Op.get(); }))
1560 continue;
1561
1562 if (match(&Op, m_FAbs(m_Value())) || match(&Op, m_FNeg(m_Value()))) {
1563 Ops.push_back(&Op);
1564 continue;
1565 }
1566
1567 // Check for zero-cost multiple use InsertElement/ExtractElement
1568 // instructions
1569 if (Instruction *OpInst = dyn_cast<Instruction>(Op.get())) {
1570 if (OpInst->getType()->isVectorTy() && OpInst->getNumOperands() > 1) {
1571 Instruction *VecOpInst = dyn_cast<Instruction>(OpInst->getOperand(0));
1572 if (VecOpInst && VecOpInst->hasOneUse())
1573 continue;
1574
1575 if (getVectorInstrCost(OpInst->getOpcode(), OpInst->getType(),
1577 OpInst->getOperand(0),
1578 OpInst->getOperand(1)) == 0) {
1579 Ops.push_back(&Op);
1580 continue;
1581 }
1582 }
1583 }
1584
1585 if (auto *Shuffle = dyn_cast<ShuffleVectorInst>(Op.get())) {
1586
1587 unsigned EltSize = DL.getTypeSizeInBits(
1588 cast<VectorType>(Shuffle->getType())->getElementType());
1589
1590 // For i32 (or greater) shufflevectors, these will be lowered into a
1591 // series of insert / extract elements, which will be coalesced away.
1592 if (EltSize < 16 || !ST->has16BitInsts())
1593 continue;
1594
1595 int NumSubElts, SubIndex;
1596 if (Shuffle->changesLength()) {
1597 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding()) {
1598 Ops.push_back(&Op);
1599 continue;
1600 }
1601
1602 if ((Shuffle->isExtractSubvectorMask(SubIndex) ||
1603 Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex)) &&
1604 !(SubIndex & 0x1)) {
1605 Ops.push_back(&Op);
1606 continue;
1607 }
1608 }
1609
1610 if (Shuffle->isReverse() || Shuffle->isZeroEltSplat() ||
1611 Shuffle->isSingleSource()) {
1612 Ops.push_back(&Op);
1613 continue;
1614 }
1615 }
1616 }
1617
1618 return !Ops.empty();
1619}
1620
1622 const Function *Callee) const {
1623 const TargetMachine &TM = getTLI()->getTargetMachine();
1624 const GCNSubtarget *CallerST
1625 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Caller));
1626 const GCNSubtarget *CalleeST
1627 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Callee));
1628
1629 if (!BaseT::areInlineCompatible(Caller, Callee))
1630 return false;
1631
1632 // FIXME: dx10_clamp can just take the caller setting, but there seems to be
1633 // no way to support merge for backend defined attributes.
1634 SIModeRegisterDefaults CallerMode(*Caller, *CallerST);
1635 SIModeRegisterDefaults CalleeMode(*Callee, *CalleeST);
1636 if (!CallerMode.isInlineCompatible(CalleeMode))
1637 return false;
1638
1639 if (Callee->hasFnAttribute(Attribute::AlwaysInline) ||
1640 Callee->hasFnAttribute(Attribute::InlineHint))
1641 return true;
1642
1643 // Hack to make compile times reasonable.
1644 if (InlineMaxBB) {
1645 // Single BB does not increase total BB amount.
1646 if (Callee->size() == 1)
1647 return true;
1648 size_t BBSize = Caller->size() + Callee->size() - 1;
1649 if (BBSize > InlineMaxBB) {
1650 LLVM_DEBUG(dbgs() << "AMDGPU inline max-BB rejected inlining "
1651 << Callee->getName() << " into " << Caller->getName()
1652 << ": caller BBs=" << Caller->size() << ", callee BBs="
1653 << Callee->size() << ", combined BBs=" << BBSize
1654 << ", max BBs=" << InlineMaxBB << '\n');
1655 return false;
1656 }
1657 }
1658
1659 return true;
1660}
1661
1663 const SITargetLowering *TLI,
1664 const GCNTTIImpl *TTIImpl) {
1665 const int NrOfSGPRUntilSpill = 26;
1666 const int NrOfVGPRUntilSpill = 32;
1667
1668 const DataLayout &DL = TTIImpl->getDataLayout();
1669
1670 unsigned adjustThreshold = 0;
1671 int SGPRsInUse = 0;
1672 int VGPRsInUse = 0;
1673 for (const Use &A : CB->args()) {
1674 SmallVector<EVT, 4> ValueVTs;
1675 ComputeValueVTs(*TLI, DL, A.get()->getType(), ValueVTs);
1676 for (auto ArgVT : ValueVTs) {
1677 unsigned CCRegNum = TLI->getNumRegistersForCallingConv(
1678 CB->getContext(), CB->getCallingConv(), ArgVT);
1680 SGPRsInUse += CCRegNum;
1681 else
1682 VGPRsInUse += CCRegNum;
1683 }
1684 }
1685
1686 // The cost of passing function arguments through the stack:
1687 // 1 instruction to put a function argument on the stack in the caller.
1688 // 1 instruction to take a function argument from the stack in callee.
1689 // 1 instruction is explicitly take care of data dependencies in callee
1690 // function.
1691 InstructionCost ArgStackCost(1);
1692 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1693 Instruction::Store, Type::getInt32Ty(CB->getContext()), Align(4),
1695 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1696 Instruction::Load, Type::getInt32Ty(CB->getContext()), Align(4),
1698
1699 // The penalty cost is computed relative to the cost of instructions and does
1700 // not model any storage costs.
1701 adjustThreshold += std::max(0, SGPRsInUse - NrOfSGPRUntilSpill) *
1702 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1703 adjustThreshold += std::max(0, VGPRsInUse - NrOfVGPRUntilSpill) *
1704 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1705 return adjustThreshold;
1706}
1707
1708static unsigned getCallArgsTotalAllocaSize(const CallBase *CB,
1709 const DataLayout &DL) {
1710 // If we have a pointer to a private array passed into a function
1711 // it will not be optimized out, leaving scratch usage.
1712 // This function calculates the total size in bytes of the memory that would
1713 // end in scratch if the call was not inlined.
1714 unsigned AllocaSize = 0;
1716 for (Value *PtrArg : CB->args()) {
1717 PointerType *Ty = dyn_cast<PointerType>(PtrArg->getType());
1718 if (!Ty)
1719 continue;
1720
1721 unsigned AddrSpace = Ty->getAddressSpace();
1722 if (AddrSpace != AMDGPUAS::FLAT_ADDRESS &&
1723 AddrSpace != AMDGPUAS::PRIVATE_ADDRESS)
1724 continue;
1725
1727 if (!AI || !AI->isStaticAlloca() || !AIVisited.insert(AI).second)
1728 continue;
1729
1730 if (auto Size = AI->getAllocationSize(DL))
1731 AllocaSize += Size->getFixedValue();
1732 }
1733 return AllocaSize;
1734}
1735
1740
1742 unsigned Threshold = adjustInliningThresholdUsingCallee(CB, TLI, this);
1743
1744 // Private object passed as arguments may end up in scratch usage if the call
1745 // is not inlined. Increase the inline threshold to promote inlining.
1746 unsigned AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1747 if (AllocaSize > 0)
1748 Threshold += ArgAllocaCost;
1749 return Threshold;
1750}
1751
1753 const AllocaInst *AI) const {
1754
1755 // Below the cutoff, assume that the private memory objects would be
1756 // optimized
1757 auto AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1758 if (AllocaSize <= ArgAllocaCutoff)
1759 return 0;
1760
1761 // Above the cutoff, we give a cost to each private memory object
1762 // depending its size. If the array can be optimized by SROA this cost is not
1763 // added to the total-cost in the inliner cost analysis.
1764 //
1765 // We choose the total cost of the alloca such that their sum cancels the
1766 // bonus given in the threshold (ArgAllocaCost).
1767 //
1768 // Cost_Alloca_0 + ... + Cost_Alloca_N == ArgAllocaCost
1769 //
1770 // Awkwardly, the ArgAllocaCost bonus is multiplied by threshold-multiplier,
1771 // the single-bb bonus and the vector-bonus.
1772 //
1773 // We compensate the first two multipliers, by repeating logic from the
1774 // inliner-cost in here. The vector-bonus is 0 on AMDGPU.
1775 static_assert(InlinerVectorBonusPercent == 0, "vector bonus assumed to be 0");
1776 unsigned Threshold = ArgAllocaCost * getInliningThresholdMultiplier();
1777
1778 bool SingleBB = none_of(*CB->getCalledFunction(), [](const BasicBlock &BB) {
1779 return BB.getTerminator()->getNumSuccessors() > 1;
1780 });
1781 if (SingleBB) {
1782 Threshold += Threshold / 2;
1783 }
1784
1785 auto ArgAllocaSize = AI->getAllocationSize(DL);
1786 if (!ArgAllocaSize)
1787 return 0;
1788
1789 // Attribute the bonus proportionally to the alloca size
1790 unsigned AllocaThresholdBonus =
1791 (Threshold * ArgAllocaSize->getFixedValue()) / AllocaSize;
1792
1793 return AllocaThresholdBonus;
1794}
1795
1798 OptimizationRemarkEmitter *ORE) const {
1799 CommonTTI.getUnrollingPreferences(L, SE, UP, ORE);
1800}
1801
1803 TTI::PeelingPreferences &PP) const {
1804 CommonTTI.getPeelingPreferences(L, SE, PP);
1805}
1806
1807int GCNTTIImpl::getTransInstrCost(TTI::TargetCostKind CostKind) const {
1808 return getQuarterRateInstrCost(CostKind);
1809}
1810
1811int GCNTTIImpl::get64BitInstrCost(TTI::TargetCostKind CostKind) const {
1812 return ST->hasFullRate64Ops()
1813 ? getFullRateInstrCost()
1814 : ST->hasHalfRate64Ops() ? getHalfRateInstrCost(CostKind)
1815 : getQuarterRateInstrCost(CostKind);
1816}
1817
1818std::pair<InstructionCost, MVT>
1819GCNTTIImpl::getTypeLegalizationCost(Type *Ty) const {
1820 std::pair<InstructionCost, MVT> Cost = BaseT::getTypeLegalizationCost(Ty);
1821 auto Size = DL.getTypeSizeInBits(Ty);
1822 // Maximum load or store can handle 8 dwords for scalar and 4 for
1823 // vector ALU. Let's assume anything above 8 dwords is expensive
1824 // even if legal.
1825 if (Size <= 256)
1826 return Cost;
1827
1828 Cost.first += (Size + 255) / 256;
1829 return Cost;
1830}
1831
1833 if (ST->hasVmemPrefInsts() || ST->hasSmemPrefetchInsts())
1834 return ST->getDataCacheLineSize();
1835 return 0;
1836}
1837
1839 return ST->hasPrefetch() ? 128 : 0;
1840}
1841
1844}
1845
1847 const Function &F,
1848 SmallVectorImpl<std::pair<StringRef, int64_t>> &LB) const {
1850 LB.push_back({"amdgpu-max-num-workgroups[0]", MaxNumWorkgroups[0]});
1851 LB.push_back({"amdgpu-max-num-workgroups[1]", MaxNumWorkgroups[1]});
1852 LB.push_back({"amdgpu-max-num-workgroups[2]", MaxNumWorkgroups[2]});
1853 std::pair<unsigned, unsigned> FlatWorkGroupSize =
1854 ST->getFlatWorkGroupSizes(F);
1855 LB.push_back({"amdgpu-flat-work-group-size[0]", FlatWorkGroupSize.first});
1856 LB.push_back({"amdgpu-flat-work-group-size[1]", FlatWorkGroupSize.second});
1857 std::pair<unsigned, unsigned> WavesPerEU = ST->getWavesPerEU(F);
1858 LB.push_back({"amdgpu-waves-per-eu[0]", WavesPerEU.first});
1859 LB.push_back({"amdgpu-waves-per-eu[1]", WavesPerEU.second});
1860}
1861
1864 if (!ST->hasFeature(AMDGPU::FeatureDX10ClampAndIEEEMode))
1865 return KnownIEEEMode::On; // Only mode on gfx1170+
1866
1867 const Function *F = I.getFunction();
1868 if (!F)
1870
1871 Attribute IEEEAttr = F->getFnAttribute("amdgpu-ieee");
1872 if (IEEEAttr.isValid())
1874
1875 return AMDGPU::isShader(F->getCallingConv()) ? KnownIEEEMode::Off
1877}
1878
1880 Align Alignment,
1881 unsigned AddressSpace,
1883 TTI::OperandValueInfo OpInfo,
1884 const Instruction *I) const {
1885 if (VectorType *VecTy = dyn_cast<VectorType>(Src)) {
1886 if ((Opcode == Instruction::Load || Opcode == Instruction::Store) &&
1888 VecTy->getElementType()->isIntegerTy(8)) {
1889 return divideCeil(DL.getTypeSizeInBits(VecTy) - 1,
1891 }
1892 }
1893 return BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind,
1894 OpInfo, I);
1895}
1896
1898 if (VectorType *VecTy = dyn_cast<VectorType>(Tp)) {
1899 if (VecTy->getElementType()->isIntegerTy(8)) {
1900 unsigned ElementCount = VecTy->getElementCount().getFixedValue();
1901 return divideCeil(ElementCount - 1, 4);
1902 }
1903 }
1904 return BaseT::getNumberOfParts(Tp);
1905}
1906
1909 switch (Intrinsic->getIntrinsicID()) {
1910 case Intrinsic::amdgcn_wave_shuffle:
1912 default:
1913 break;
1914 }
1915 }
1916
1917 if (isAlwaysUniform(V))
1919
1920 if (isSourceOfDivergence(V))
1922
1924}
1925
1927 StackOffset BaseOffset,
1928 bool HasBaseReg, int64_t Scale,
1929 unsigned AddrSpace) const {
1930 if (HasBaseReg && Scale != 0) {
1931 // gfx1250+ can fold base+scale*index when scale matches the memory access
1932 // size (scale_offset bit). Supported for flat/global/constant/scratch
1933 // (VMEM, max 128 bits) and constant_32bit (SMRD, capped to 128 bits here).
1934 if (getST()->hasScaleOffset() && Ty && Ty->isSized() &&
1936 AddrSpace == AMDGPUAS::FLAT_ADDRESS ||
1937 AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)) {
1938 TypeSize StoreSize = getDataLayout().getTypeStoreSize(Ty);
1939 if (TypeSize::isKnownLE(StoreSize, TypeSize::getFixed(16)) &&
1940 static_cast<int64_t>(StoreSize.getFixedValue()) == Scale)
1941 return 0;
1942 }
1943 return 1;
1944 }
1945 return BaseT::getScalingFactorCost(Ty, BaseGV, BaseOffset, HasBaseReg, Scale,
1946 AddrSpace);
1947}
1948
1950 const TTI::LSRCost &B) const {
1951 // Favor lower per-iteration work over preheader/setup costs.
1952 // AMDGPU lacks rich addressing modes, so ScaleCost is folded into the
1953 // effective instruction count (base+scale*index requires a separate ADD).
1954 unsigned EffInsnsA = A.Insns + A.ScaleCost;
1955 unsigned EffInsnsB = B.Insns + B.ScaleCost;
1956
1957 return std::tie(EffInsnsA, A.NumIVMuls, A.AddRecCost, A.NumBaseAdds,
1958 A.SetupCost, A.ImmCost, A.NumRegs) <
1959 std::tie(EffInsnsB, B.NumIVMuls, B.AddRecCost, B.NumBaseAdds,
1960 B.SetupCost, B.ImmCost, B.NumRegs);
1961}
1962
1964 // isLSRCostLess de-prioritizes register count; keep consistent.
1965 return false;
1966}
1967
1969 // Prefer the baseline when LSR cannot clearly reduce per-iteration work.
1970 return true;
1971}
1972
1974 const SmallBitVector &UniformArgs) const {
1976 switch (Intrinsic->getIntrinsicID()) {
1977 case Intrinsic::amdgcn_wave_shuffle:
1978 // wave_shuffle(Value, Index): result is uniform when either Value or Index
1979 // is uniform.
1980 return UniformArgs[0] || UniformArgs[1];
1981 default:
1982 llvm_unreachable("unexpected intrinsic in isUniform");
1983 }
1984}
return SDValue()
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
aarch64 promote const
unsigned uint64_t
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 constexpr unsigned MaskPackCostPerElt
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 canFuseFMulWithFAddSub(const SITargetLowering &TLI, Type *Ty, const Instruction *FMul, const Instruction *FAddSub)
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 std::optional< unsigned > getNumberOfPackedMaskElts(Type *Ty)
static constexpr unsigned MaskUnpackCostPerElt
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< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static cl::opt< OutputCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(OutputCostKind::RecipThroughput), cl::values(clEnumValN(OutputCostKind::RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(OutputCostKind::Latency, "latency", "Instruction latency"), clEnumValN(OutputCostKind::CodeSize, "code-size", "Code size"), clEnumValN(OutputCostKind::SizeAndLatency, "size-latency", "Code size and latency"), clEnumValN(OutputCostKind::All, "all", "Print all cost kinds")))
Hexagon Common GEP
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define RegName(no)
#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 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
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 getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, 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
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 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.
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 collectFlatAddressOperands(SmallVectorImpl< int > &OpIndexes, Intrinsic::ID IID) const override
ValueUniformity getValueUniformity(const Value *V) 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 *CxtI=nullptr) 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.
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.
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:68
The optimization diagnostic interface.
bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF, EVT VT) const override
Return true if an FMA operation is faster than a pair of fmul and fadd instructions.
bool isFMADLegal(const SelectionDAG &DAG, const SDNode *N) const override
Returns true if be combined with to form an ISD::FMAD.
unsigned getNumRegistersForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Certain targets require unusual breakdowns of certain types.
The main scalar evolution driver.
This is a 'bitvector' (really, a variable-sized bit array), optimized for the case when the array is ...
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackOffset holds a fixed and a scalable offset in bytes.
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.
CastContextHint
Represents a hint about the context in which a cast is used.
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.
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:577
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:389
@ FMul
Product 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...