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