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(F.getParent()->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
549/// An fma holds one multiply, so only one fmul operand fuses with \p FAddSub.
550static const Instruction *getFusedFMul(const SITargetLowering &TLI, Type *Ty,
551 const Instruction *FAddSub) {
552 for (const Value *Op : FAddSub->operands()) {
553 const auto *FMul = dyn_cast<Instruction>(Op);
554 if (FMul && FMul->getOpcode() == Instruction::FMul && FMul->hasOneUse() &&
555 canFuseFMulWithFAddSub(TLI, Ty, FMul, FAddSub))
556 return FMul;
557 }
558 return nullptr;
559}
560
561static bool isFusedFMul(const SITargetLowering &TLI, Type *Ty,
562 const Instruction *FMul, const Instruction *FAddSub) {
563 const Instruction *Fused = getFusedFMul(TLI, Ty, FAddSub);
564 if (Fused == FMul)
565 return true;
566 // (a * b + c * d) + e becomes fma(a, b, fma(c, d, e)) if the outer fadd has
567 // reassoc.
568 if (!Fused || FAddSub->getOpcode() != Instruction::FAdd ||
569 !FAddSub->hasOneUse())
570 return false;
571 const auto *Outer = dyn_cast<BinaryOperator>(*FAddSub->user_begin());
572 return Outer && Outer->getOpcode() == Instruction::FAdd &&
573 Outer->hasAllowReassoc() &&
574 canFuseFMulWithFAddSub(TLI, Ty, FMul, Outer);
575}
576
578 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
580 ArrayRef<const Value *> Args, const Instruction *CtxI) const {
581
582 // Legalize the type.
583 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
584 int ISD = TLI->InstructionOpcodeToISD(Opcode);
585
586 // Because we don't have any legal vector operations, but the legal types, we
587 // need to account for split vectors.
588 unsigned NElts = LT.second.isVector() ?
589 LT.second.getVectorNumElements() : 1;
590
591 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
592
593 switch (ISD) {
594 case ISD::SHL:
595 case ISD::SRL:
596 case ISD::SRA:
597 if (SLT == MVT::i64)
598 return get64BitInstrCost(CostKind) * LT.first * NElts;
599
600 if (ST->has16BitInsts() && SLT == MVT::i16)
601 NElts = (NElts + 1) / 2;
602
603 // i32
604 return getFullRateInstrCost() * LT.first * NElts;
605 case ISD::ADD:
606 case ISD::SUB:
607 if (SLT == MVT::i64 && ST->hasAnyPackedU64Ops())
608 NElts = (NElts + 1) / 2;
609 [[fallthrough]];
610 case ISD::AND:
611 case ISD::OR:
612 case ISD::XOR:
613 if (SLT == MVT::i64) {
614 // and, or and xor are typically split into 2 VALU instructions.
615 return 2 * getFullRateInstrCost() * LT.first * NElts;
616 }
617
618 if (ST->has16BitInsts() && SLT == MVT::i16)
619 NElts = (NElts + 1) / 2;
620
621 return LT.first * NElts * getFullRateInstrCost();
622 case ISD::MUL: {
623 const int QuarterRateCost = getQuarterRateInstrCost(CostKind);
624 if (SLT == MVT::i64) {
625 const int FullRateCost = getFullRateInstrCost();
626 return (4 * QuarterRateCost + (2 * 2) * FullRateCost) * LT.first * NElts;
627 }
628
629 if (ST->has16BitInsts() && SLT == MVT::i16)
630 NElts = (NElts + 1) / 2;
631
632 // i32
633 return QuarterRateCost * NElts * LT.first;
634 }
635 case ISD::FMUL:
636 // Check possible fuse {fadd|fsub}(a,fmul(b,c)) and return zero cost for
637 // fmul(b,c) supposing the fadd|fsub will get estimated cost for the whole
638 // fused operation. A vector fmul priced with a scalar context fuses with
639 // the scalar fadd|fsub only when it is emitted lane by lane.
640 if (CtxI && CtxI->hasOneUse() &&
641 (CtxI->getType() == Ty ||
642 getMaximumVF(Ty->getScalarSizeInBits(), Opcode) == 1)) {
643 const auto *FAddSub = dyn_cast<BinaryOperator>(*CtxI->user_begin());
644 if (FAddSub &&
645 (FAddSub->getOpcode() == Instruction::FAdd ||
646 FAddSub->getOpcode() == Instruction::FSub) &&
647 isFusedFMul(*TLI, Ty, CtxI, FAddSub))
649 }
650 [[fallthrough]];
651 case ISD::FADD:
652 case ISD::FSUB:
653 if (ST->hasAnyPackedFP32Ops() && SLT == MVT::f32)
654 NElts = (NElts + 1) / 2;
655 if (ST->hasBF16PackedInsts() && SLT == MVT::bf16)
656 NElts = (NElts + 1) / 2;
657 if (SLT == MVT::f64) {
658 if (ST->hasAnyPackedFP64Ops())
659 NElts = (NElts + 1) / 2;
660 return LT.first * NElts * get64BitInstrCost(CostKind);
661 }
662
663 if (ST->has16BitInsts() && SLT == MVT::f16)
664 NElts = (NElts + 1) / 2;
665
666 if (SLT == MVT::f32 || SLT == MVT::f16 || SLT == MVT::bf16)
667 return LT.first * NElts * getFullRateInstrCost();
668 break;
669 case ISD::FDIV:
670 case ISD::FREM:
671 // FIXME: frem should be handled separately. The fdiv in it is most of it,
672 // but the current lowering is also not entirely correct.
673 if (SLT == MVT::f64) {
674 int Cost = 7 * get64BitInstrCost(CostKind) +
675 getQuarterRateInstrCost(CostKind) +
676 3 * getHalfRateInstrCost(CostKind);
677 // Add cost of workaround.
678 if (!ST->hasUsableDivScaleConditionOutput())
679 Cost += 3 * getFullRateInstrCost();
680
681 return LT.first * Cost * NElts;
682 }
683
684 if (!Args.empty() && match(Args[0], PatternMatch::m_FPOne())) {
685 // TODO: This is more complicated, unsafe flags etc.
686 if ((SLT == MVT::f32 && !HasFP32Denormals) ||
687 (SLT == MVT::f16 && ST->has16BitInsts())) {
688 return LT.first * getTransInstrCost(CostKind) * NElts;
689 }
690 }
691
692 if (SLT == MVT::f16 && ST->has16BitInsts()) {
693 // 2 x v_cvt_f32_f16
694 // f32 rcp
695 // f32 fmul
696 // v_cvt_f16_f32
697 // f16 div_fixup
698 int Cost = 4 * getFullRateInstrCost() + 2 * getTransInstrCost(CostKind);
699 return LT.first * Cost * NElts;
700 }
701
702 if (SLT == MVT::f32 && (CtxI && CtxI->hasApproxFunc())) {
703 // Fast unsafe fdiv lowering:
704 // f32 rcp
705 // f32 fmul
706 int Cost = getTransInstrCost(CostKind) + getFullRateInstrCost();
707 return LT.first * Cost * NElts;
708 }
709
710 if (SLT == MVT::f32 || SLT == MVT::f16) {
711 // 4 more v_cvt_* insts without f16 insts support
712 int Cost = (SLT == MVT::f16 ? 14 : 10) * getFullRateInstrCost() +
713 1 * getTransInstrCost(CostKind);
714
715 if (!HasFP32Denormals) {
716 // FP mode switches.
717 Cost += 2 * getFullRateInstrCost();
718 }
719
720 return LT.first * NElts * Cost;
721 }
722 break;
723 case ISD::FNEG:
724 // Use the backend' estimation. If fneg is not free each element will cost
725 // one additional instruction.
726 return TLI->isFNegFree(SLT) ? 0 : NElts;
727 default:
728 break;
729 }
730
731 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind, Op1Info, Op2Info,
732 Args, CtxI);
733}
734
735// Return true if there's a potential benefit from using v2f16/v2i16
736// instructions for an intrinsic, even if it requires nontrivial legalization.
738 switch (ID) {
739 case Intrinsic::fma:
740 case Intrinsic::fmuladd:
741 case Intrinsic::copysign:
742 case Intrinsic::minimumnum:
743 case Intrinsic::maximumnum:
744 case Intrinsic::canonicalize:
745 // There's a small benefit to using vector ops in the legalized code.
746 case Intrinsic::round:
747 case Intrinsic::uadd_sat:
748 case Intrinsic::usub_sat:
749 case Intrinsic::sadd_sat:
750 case Intrinsic::ssub_sat:
751 case Intrinsic::abs:
752 return true;
753 default:
754 return false;
755 }
756}
757
761 switch (ICA.getID()) {
762 case Intrinsic::fabs:
763 // Free source modifier in the common case.
764 return 0;
765 case Intrinsic::amdgcn_workitem_id_x:
766 case Intrinsic::amdgcn_workitem_id_y:
767 case Intrinsic::amdgcn_workitem_id_z:
768 // TODO: If hasPackedTID, or if the calling context is not an entry point
769 // there may be a bit instruction.
770 return 0;
771 case Intrinsic::amdgcn_workgroup_id_x:
772 case Intrinsic::amdgcn_workgroup_id_y:
773 case Intrinsic::amdgcn_workgroup_id_z:
774 case Intrinsic::amdgcn_lds_kernel_id:
775 case Intrinsic::amdgcn_dispatch_ptr:
776 case Intrinsic::amdgcn_dispatch_id:
777 case Intrinsic::amdgcn_implicitarg_ptr:
778 case Intrinsic::amdgcn_queue_ptr:
779 // Read from an argument register.
780 return 0;
781 default:
782 break;
783 }
784
785 Type *RetTy = ICA.getReturnType();
786
787 Intrinsic::ID IID = ICA.getID();
788 switch (IID) {
789 case Intrinsic::exp:
790 case Intrinsic::exp2:
791 case Intrinsic::exp10: {
792 // Legalize the type.
793 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
794 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
795 unsigned NElts =
796 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
797
798 if (SLT == MVT::f64) {
799 unsigned NumOps = 20;
800 if (IID == Intrinsic::exp)
801 ++NumOps;
802 else if (IID == Intrinsic::exp10)
803 NumOps += 3;
804
805 return LT.first * NElts * NumOps * get64BitInstrCost(CostKind);
806 }
807
808 if (SLT == MVT::f32) {
809 unsigned NumFullRateOps = 0;
810 // v_exp_f32 (transcendental).
811 unsigned NumTransOps = 1;
812
813 if (!ICA.getFlags().approxFunc() && IID != Intrinsic::exp2) {
814 // Non-AFN exp/exp10: range reduction + v_exp_f32 + ldexp +
815 // overflow/underflow checks (lowerFEXP). Denorm is also handled.
816 // FMA preamble: ~13 full-rate ops; non-FMA: ~17.
817 NumFullRateOps = ST->hasFastFMAF32() ? 13 : 17;
818 } else {
819 if (IID == Intrinsic::exp) {
820 // lowerFEXPUnsafe: fmul (base conversion) + v_exp_f32.
821 NumFullRateOps = 1;
822 } else if (IID == Intrinsic::exp10) {
823 // lowerFEXP10Unsafe: 3 fmul + 2 v_exp_f32 (double-exp2).
824 NumFullRateOps = 3;
825 NumTransOps = 2;
826 }
827 // Denorm scaling adds setcc + select + fadd + select + fmul.
828 if (HasFP32Denormals)
829 NumFullRateOps += 5;
830 }
831
832 InstructionCost Cost = NumFullRateOps * getFullRateInstrCost() +
833 NumTransOps * getTransInstrCost(CostKind);
834 return LT.first * NElts * Cost;
835 }
836
837 break;
838 }
839 case Intrinsic::log:
840 case Intrinsic::log2:
841 case Intrinsic::log10: {
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 unsigned NumFullRateOps = 0;
849
850 if (IID == Intrinsic::log2) {
851 // LowerFLOG2: just v_log_f32.
852 } else if (ICA.getFlags().approxFunc()) {
853 // LowerFLOGUnsafe: v_log_f32 + fmul (base conversion).
854 NumFullRateOps = 1;
855 } else {
856 // LowerFLOGCommon non-AFN: v_log_f32 + extended-precision
857 // multiply + finite check.
858 NumFullRateOps = ST->hasFastFMAF32() ? 8 : 11;
859 }
860
861 if (HasFP32Denormals)
862 NumFullRateOps += 5;
863
865 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
866 return LT.first * NElts * Cost;
867 }
868
869 break;
870 }
871 case Intrinsic::sin:
872 case Intrinsic::cos: {
873 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
874 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
875 unsigned NElts =
876 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
877
878 if (SLT == MVT::f32) {
879 // LowerTrig: fmul(1/2pi) + v_sin/v_cos.
880 unsigned NumFullRateOps = ST->hasTrigReducedRange() ? 2 : 1;
881
883 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
884 return LT.first * NElts * Cost;
885 }
886
887 break;
888 }
889 case Intrinsic::sqrt: {
890 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
891 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
892 unsigned NElts =
893 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
894
895 if (SLT == MVT::f32) {
896 unsigned NumFullRateOps = 0;
897
898 if (!ICA.getFlags().approxFunc()) {
899 // lowerFSQRTF32 non-AFN: v_sqrt_f32 + refinement + scale fixup.
900 NumFullRateOps = HasFP32Denormals ? 17 : 16;
901 }
902
904 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
905 return LT.first * NElts * Cost;
906 }
907
908 break;
909 }
910 default:
911 break;
912 }
913
916
917 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
918 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
919 unsigned NElts = LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
920
921 if ((ST->hasVOP3PInsts() &&
922 (SLT == MVT::f16 || SLT == MVT::i16 ||
923 (SLT == MVT::bf16 && ST->hasBF16PackedInsts()))) ||
924 (ST->hasAnyPackedFP64Ops() && SLT == MVT::f64) ||
925 (ST->hasAnyPackedU64Ops() && SLT == MVT::i64)) {
926 NElts = (NElts + 1) / 2;
927 } else if (SLT == MVT::f32) {
928 bool HasPk2FP32Op = ST->hasAnyPackedFP32Ops() &&
929 IID != Intrinsic::minimumnum &&
930 IID != Intrinsic::maximumnum;
931 NElts = HasPk2FP32Op ? (NElts + 1) / 2 : NElts;
932 }
933
934 // TODO: Get more refined intrinsic costs?
935 unsigned InstRate = getQuarterRateInstrCost(CostKind);
936
937 switch (ICA.getID()) {
938 case Intrinsic::fma:
939 case Intrinsic::fmuladd:
940 if (SLT == MVT::f64) {
941 InstRate = get64BitInstrCost(CostKind);
942 break;
943 }
944
945 if ((SLT == MVT::f32 && ST->hasFastFMAF32()) || SLT == MVT::f16)
946 InstRate = getFullRateInstrCost();
947 else {
948 InstRate = ST->hasFastFMAF32() ? getHalfRateInstrCost(CostKind)
949 : getQuarterRateInstrCost(CostKind);
950 }
951 break;
952 case Intrinsic::copysign:
953 return NElts * getFullRateInstrCost();
954 case Intrinsic::minimumnum:
955 case Intrinsic::maximumnum: {
956 // Instruction + 2 canonicalizes. For cases that need type promotion, we the
957 // promotion takes the place of the canonicalize.
958 unsigned NumOps = 3;
959 if (const IntrinsicInst *II = ICA.getInst()) {
960 // Directly legal with ieee=0
961 // TODO: Not directly legal with strictfp
963 NumOps = 1;
964 }
965
966 unsigned BaseRate =
967 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
968 InstRate = BaseRate * NumOps;
969 break;
970 }
971 case Intrinsic::canonicalize: {
972 InstRate =
973 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
974 break;
975 }
976 case Intrinsic::uadd_sat:
977 case Intrinsic::usub_sat:
978 case Intrinsic::sadd_sat:
979 case Intrinsic::ssub_sat: {
980 if (SLT == MVT::i16 || SLT == MVT::i32)
981 InstRate = getFullRateInstrCost();
982
983 static const auto ValidSatTys = {MVT::v2i16, MVT::v4i16};
984 if (any_of(ValidSatTys, equal_to(LT.second)))
985 NElts = 1;
986 break;
987 }
988 case Intrinsic::abs:
989 // Expansion takes 2 instructions for VALU
990 if (SLT == MVT::i16 || SLT == MVT::i32)
991 InstRate = 2 * getFullRateInstrCost();
992 break;
993 default:
994 break;
995 }
996
997 return LT.first * NElts * InstRate;
998}
999
1002 const Instruction *I) const {
1003 assert((I == nullptr || I->getOpcode() == Opcode) &&
1004 "Opcode should reflect passed instruction.");
1005 const bool SCost =
1007 const int CBrCost = SCost ? 5 : 7;
1008 switch (Opcode) {
1009 case Instruction::UncondBr:
1010 // Branch instruction takes about 4 slots on gfx900.
1011 return SCost ? 1 : 4;
1012 case Instruction::CondBr:
1013 // Suppose conditional branch takes additional 3 exec manipulations
1014 // instructions in average.
1015 return CBrCost;
1016 case Instruction::Switch: {
1017 const auto *SI = dyn_cast_or_null<SwitchInst>(I);
1018 // Each case (including default) takes 1 cmp + 1 cbr instructions in
1019 // average.
1020 return (SI ? (SI->getNumCases() + 1) : 4) * (CBrCost + 1);
1021 }
1022 case Instruction::Ret:
1023 return SCost ? 1 : 10;
1024 }
1025 return BaseT::getCFInstrCost(Opcode, CostKind, I);
1026}
1027
1029 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
1031 TTI::OperandValueInfo Op2Info, const Instruction *I) const {
1032 // For size and latency cost kinds, return a low cost independent of vector
1033 // width to enable SimplifyCFG's speculativelyExecuteBB optimization.
1035 return 1;
1036
1037 return BaseT::getCmpSelInstrCost(Opcode, ValTy, CondTy, VecPred, CostKind,
1038 Op1Info, Op2Info, I);
1039}
1040
1041// Measured packing cost of i1 for gfx9-12 is 4.0 to 4.8, up to 5.4 with
1042// true16; unpacking is 2.6 to 2.9.
1043static constexpr unsigned MaskPackCostPerElt = 4;
1044static constexpr unsigned MaskUnpackCostPerElt = 3;
1045
1046static std::optional<unsigned> getNumberOfPackedMaskElts(Type *Ty) {
1047 auto *FVT = dyn_cast<FixedVectorType>(Ty);
1048 if (FVT && FVT->getElementType()->isIntegerTy(1) && FVT->getNumElements() > 1)
1049 return FVT->getNumElements();
1050 return std::nullopt;
1051}
1052
1054 Type *Src,
1057 const Instruction *I) const {
1058 // A bitcast between a vector of i1 and an integer packs or unpacks a mask.
1059 if (Opcode == Instruction::BitCast) {
1060 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Src);
1061 Elts && Dst->isIntegerTy(*Elts))
1062 return InstructionCost(MaskPackCostPerElt) * *Elts *
1063 getFullRateInstrCost();
1064 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Dst);
1065 Elts && Src->isIntegerTy(*Elts))
1066 return InstructionCost(MaskUnpackCostPerElt) * *Elts *
1067 getFullRateInstrCost();
1068 }
1069
1070 // Each f32 lane is rounded and the halves are packed in pairs. A packed
1071 // conversion rounds a pair at once and true16 writes either half.
1072 if (auto *SrcVTy = dyn_cast<FixedVectorType>(Src);
1073 SrcVTy && Opcode == Instruction::FPTrunc && ST->has16BitInsts() &&
1074 SrcVTy->getElementType()->isFloatTy() &&
1075 Dst->getScalarType()->isHalfTy()) {
1076 const unsigned NElts = SrcVTy->getNumElements();
1077 const unsigned Ops = ST->hasCvtPkF16F32Inst() ? divideCeil(NElts, 2)
1078 : ST->useRealTrue16Insts() ? NElts
1079 : NElts + NElts / 2;
1080 return InstructionCost(Ops) * getFullRateInstrCost();
1081 }
1082
1083 const int ISD = TLI->InstructionOpcodeToISD(Opcode);
1084 switch (ISD) {
1085 case ISD::SINT_TO_FP:
1086 case ISD::UINT_TO_FP:
1087 case ISD::FP_TO_SINT:
1088 case ISD::FP_TO_UINT:
1089 break;
1090 default:
1091 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1092 }
1093
1094 const bool IsIntToFP = ISD == ISD::SINT_TO_FP || ISD == ISD::UINT_TO_FP;
1095 Type *FPTy = (IsIntToFP ? Dst : Src)->getScalarType();
1096 if (!FPTy->isHalfTy() && !FPTy->isBFloatTy() && !FPTy->isFloatTy() &&
1097 !FPTy->isDoubleTy())
1098 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1099
1100 unsigned NElts = 1;
1101 if (auto *VT = dyn_cast<FixedVectorType>(Src))
1102 NElts = VT->getNumElements();
1103
1104 const unsigned SrcBits = Src->getScalarSizeInBits();
1105 const unsigned DstBits = Dst->getScalarSizeInBits();
1106 const bool IsSigned = ISD == ISD::SINT_TO_FP || ISD == ISD::FP_TO_SINT;
1107 const unsigned IntBits = IsIntToFP ? SrcBits : DstBits;
1108 const bool UsesInt64 = IntBits > 32 && IntBits <= 64;
1109
1110 auto Scale = [&](unsigned FullRateOps,
1111 unsigned FP64Ops = 0) -> InstructionCost {
1112 return NElts * (InstructionCost(FullRateOps) * getFullRateInstrCost() +
1113 InstructionCost(FP64Ops) * get64BitInstrCost(CostKind));
1114 };
1115
1116 if (IsIntToFP) {
1117 // A scalar load of a whole number of bytes that is not a power of two is
1118 // split and its high part load extends the source. A constant address
1119 // space or invariant global load aligned to 4 bytes may be widened instead
1120 // and then still needs the extension. So does a buffer fat pointer load.
1121 const auto *Load =
1122 I && Src->isIntegerTy() && I->getOperand(0)->getType() == Src
1123 ? dyn_cast<LoadInst>(I->getOperand(0))
1124 : nullptr;
1125 const unsigned AS = Load ? Load->getPointerAddressSpace() : 0;
1126 const bool LoadMayWiden =
1127 Load && Load->getAlign() >= Align(4) &&
1130 (AS == AMDGPUAS::GLOBAL_ADDRESS &&
1131 Load->hasMetadata(LLVMContext::MD_invariant_load)));
1132 const bool LoadExtends = Load && Load->isSimple() && Load->hasOneUse() &&
1133 !LoadMayWiden &&
1136 SrcBits % 8 == 0 && !isPowerOf2_32(SrcBits);
1137 const unsigned ExtOps =
1138 UsesInt64 && SrcBits < 64 && !LoadExtends ? (IsSigned ? 2 : 1) : 0;
1139 if (FPTy->isBFloatTy()) {
1140 if (SrcBits < 8 || (SrcBits > 32 && !UsesInt64))
1141 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1142
1143 // Each integer is converted to f32 first.
1144 InstructionCost FloatCost =
1145 Scale(UsesInt64 ? ExtOps + (IsSigned ? 12 : 8) : 1);
1146 if (SrcBits < 32)
1147 FloatCost = getCastInstrCost(
1148 Opcode, Dst->getWithNewType(Type::getFloatTy(Dst->getContext())),
1149 Src, CCH, CostKind, I);
1150
1151 // Native rounding can convert a pair. With 16 bit instructions the
1152 // expansion extracts the low significand bit, adds the rounding bias,
1153 // preserves NaNs and shifts the result. Without gfx9 instructions the two
1154 // additions cannot use v_add3_u32.
1155 InstructionCost RoundCost =
1156 ST->hasBF16ConversionInsts()
1157 ? InstructionCost(divideCeil(NElts, 2)) * getFullRateInstrCost()
1158 : Scale(!ST->has16BitInsts() ? 1
1159 : ST->hasGFX9Insts() ? 6
1160 : 7);
1161 return FloatCost + RoundCost;
1162 }
1163
1164 // No instruction converts from a 64 bit integer.
1165 if (UsesInt64) {
1166 if (FPTy->isDoubleTy()) {
1167 // Two conversions, ldexp and add, all using the FP64 rate.
1168 return Scale(ExtOps, 4);
1169 }
1170 if (FPTy->isFloatTy())
1171 return Scale(ExtOps + (IsSigned ? 12 : 8));
1172 return Scale(ExtOps + (IsSigned ? 13 : 9));
1173 }
1174
1175 // A narrow vector source is converted lane by lane.
1176 if (SrcBits >= 8 && SrcBits < 32 && isa<FixedVectorType>(Src)) {
1177 if (FPTy->isDoubleTy())
1178 return Scale(1 + (SrcBits < 16 && IsSigned && ST->has16BitInsts()), 1);
1179 if (FPTy->isHalfTy()) {
1180 const InstructionCost PairCost =
1181 InstructionCost(NElts / 2) * getFullRateInstrCost();
1182 // Lanes wider than 16 bits, and every lane without 16 bit instructions,
1183 // are converted to f32 first. With the packed conversion each pair is
1184 // then converted at once. Otherwise each lane is converted, and without
1185 // real true16 each pair of halves is packed.
1186 if (!ST->has16BitInsts() || SrcBits > 16) {
1187 auto *FloatTy =
1188 FixedVectorType::get(Type::getFloatTy(Dst->getContext()), NElts);
1189 const InstructionCost FloatCost =
1190 getCastInstrCost(Opcode, FloatTy, Src, CCH, CostKind);
1191 if (ST->has16BitInsts() && ST->hasCvtPkF16F32Inst())
1192 return FloatCost + InstructionCost(divideCeil(NElts, 2)) *
1193 getFullRateInstrCost();
1194 const unsigned PackOps =
1195 !ST->has16BitInsts() ? 2 : !ST->useRealTrue16Insts();
1196 return FloatCost + Scale(1) + PackOps * PairCost;
1197 }
1198 // Each lane is converted from a 16 bit subword. Lanes narrower than 16
1199 // bits are extended lane by lane, except bytes with SDWA. Signed bytes
1200 // are sign extended a pair at a time. Real true16 reads the high
1201 // subword in place, so only signed lanes narrower than 16 bits pay per
1202 // pair. Otherwise wider lanes shift the high subword of each pair down
1203 // without SDWA, and each pair of halves is packed.
1204 const unsigned PerElt =
1205 1 + (SrcBits == 8 ? !ST->hasSDWA() : SrcBits < 16);
1206 const bool RealTrue16 = ST->useRealTrue16Insts();
1207 const unsigned PerPair =
1208 !RealTrue16 + (SrcBits == 8 || RealTrue16 ? SrcBits < 16 && IsSigned
1209 : !ST->hasSDWA());
1210 return Scale(PerElt) + PerPair * PairCost;
1211 }
1212 // An unsigned byte is converted straight out of its register.
1213 if (SrcBits == 8 && !IsSigned)
1214 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1215 if (SrcBits < 16 && !IsSigned)
1216 return Scale(2);
1217 unsigned PerElt = ST->hasSDWA() && SrcBits <= 16 ? 1 : 2;
1218 if (SrcBits < 16 && ST->has16BitInsts())
1219 ++PerElt;
1220 return Scale(PerElt);
1221 }
1222
1223 // A narrow scalar source is extended before the conversion. An unsigned
1224 // byte is converted straight out of its register, and a signed one with
1225 // SDWA. A source wider than a byte but narrower than 16 bits is masked
1226 // or sign extended first. Without 16 bit instructions a half result is
1227 // rounded from f32.
1228 if (SrcBits >= 8 && SrcBits < 32) {
1229 if (LoadExtends) {
1230 if (FPTy->isDoubleTy())
1231 return Scale(0, 1);
1232 return Scale(FPTy->isHalfTy() ? 2 : 1);
1233 }
1234 const bool Narrow = SrcBits > 8 && SrcBits < 16;
1235 const bool SignExtend16 = IsSigned && Narrow && ST->has16BitInsts();
1236 if (FPTy->isDoubleTy())
1237 return Scale(1 + 2 * SignExtend16, 1);
1238 if (SrcBits > 16)
1239 return Scale(FPTy->isHalfTy() ? 3 : 2);
1240 if (FPTy->isHalfTy() && ST->has16BitInsts())
1241 return Scale(Narrow ? (IsSigned ? 3 : 2)
1242 : SrcBits == 8 && !ST->hasSDWA() ? 2
1243 : 1);
1244 const InstructionCost FloatCost =
1245 SignExtend16 ? Scale(ST->hasSDWA() ? 3 : 4)
1246 : Narrow ? Scale(2)
1247 : SrcBits == 8 && !IsSigned ? Scale(1)
1248 : Scale(ST->hasSDWA() ? 1 : 2);
1249 return FPTy->isHalfTy() ? FloatCost + Scale(1) : FloatCost;
1250 }
1251
1252 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1253 }
1254
1255 // No instruction converts to a 64 bit integer.
1256 if (UsesInt64) {
1257 const bool IsSigned64 = IsSigned || (DstBits < 64 && NElts == 1);
1258 if (FPTy->isDoubleTy()) {
1259 // With native trunc/floor there are six FP64 operations. The expanded
1260 // rounding sequence has seven, plus integer operations and constants.
1261 return ST->haveRoundOpsF64() ? Scale(1, 6) : Scale(22, 7);
1262 }
1263 // The f32 expansion has one fma, which is quarter rate without fast FMA.
1264 const InstructionCost SlowFMACost =
1265 ST->hasFastFMAF32() ? 0
1266 : NElts * (getQuarterRateInstrCost(CostKind) -
1267 getFullRateInstrCost());
1268 if (FPTy->isFloatTy())
1269 return Scale(IsSigned64 ? 13 : 6) + SlowFMACost;
1270 if (FPTy->isBFloatTy()) {
1271 // Unlike half, bf16 does not fit in i32. Extend to f32 and use the full
1272 // i64 expansion.
1273 return Scale(1 + (IsSigned64 ? 13 : 6)) + SlowFMACost;
1274 }
1275 return Scale(3);
1276 }
1277
1278 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1279}
1280
1283 std::optional<FastMathFlags> FMF,
1286 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
1287
1288 // An add or xor reduction over a vector of i1 becomes a bit count over the
1289 // packed mask; the generic model prices a shuffle tree and misses that.
1290 if (Opcode == Instruction::Add || Opcode == Instruction::Xor) {
1291 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Ty))
1292 return InstructionCost(MaskPackCostPerElt) * *Elts *
1293 getFullRateInstrCost();
1294 }
1295
1296 EVT OrigTy = TLI->getValueType(DL, Ty);
1297
1298 // Computes cost on targets that have packed math instructions(which support
1299 // 16-bit types only).
1300 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1301 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
1302
1303 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1304 return LT.first * getFullRateInstrCost();
1305}
1306
1309 FastMathFlags FMF,
1311 EVT OrigTy = TLI->getValueType(DL, Ty);
1312
1313 // Computes cost on targets that have packed math instructions(which support
1314 // 16-bit types only).
1315 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1316 return BaseT::getMinMaxReductionCost(IID, Ty, FMF, CostKind);
1317
1318 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1319 return LT.first * getHalfRateInstrCost(CostKind);
1320}
1321
1323 unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index,
1324 const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC) const {
1325 switch (Opcode) {
1326 case Instruction::ExtractElement:
1327 case Instruction::InsertElement: {
1328 unsigned EltSize
1329 = DL.getTypeSizeInBits(cast<VectorType>(ValTy)->getElementType());
1330 // Dynamic indexing isn't free and is best avoided.
1331 if (Index == ~0u)
1332 return 2;
1333 if (EltSize < 32) {
1334 if (EltSize == 16 && Index == 0 && ST->has16BitInsts())
1335 return 0;
1336 // Inserts of booleans are free.
1337 // TODO: Extracts are free too.
1338 if (EltSize == 1 && Opcode == Instruction::InsertElement)
1340 // Extract element sequences of consecutive i8 values that match a
1341 // register size are free most likely. It is not possible to know
1342 // if this extract is part of a consecutive sequence so this may
1343 // apply more generally.
1344 if (Opcode == Instruction::ExtractElement && EltSize == 8) {
1345 if (auto *FVTy = dyn_cast<FixedVectorType>(ValTy)) {
1346 unsigned NumElts = FVTy->getNumElements();
1347 if (NumElts >= 4 && isPowerOf2_32(NumElts))
1348 return 0;
1349 }
1350 }
1351 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1352 VIC);
1353 }
1354
1355 // Extracts are just reads of a subregister, so are free. Inserts are
1356 // considered free because we don't want to have any cost for scalarizing
1357 // operations, and we don't have to copy into a different register class.
1358 return 0;
1359 }
1360 default:
1361 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1362 VIC);
1363 }
1364}
1365
1366/// Analyze if the results of inline asm are divergent. If \p Indices is empty,
1367/// this is analyzing the collective result of all output registers. Otherwise,
1368/// this is only querying a specific result index if this returns multiple
1369/// registers in a struct.
1371 const CallBase *CB, ArrayRef<unsigned> Indices) const {
1372 // TODO: Handle complex extract indices
1373 if (Indices.size() > 1)
1374 return true;
1375
1376 const DataLayout &DL = CB->getDataLayout();
1377 const SIRegisterInfo *TRI = ST->getRegisterInfo();
1378 TargetLowering::AsmOperandInfoVector TargetConstraints =
1379 TLI->ParseConstraints(DL, ST->getRegisterInfo(), *CB);
1380
1381 const int TargetOutputIdx = Indices.empty() ? -1 : Indices[0];
1382
1383 int OutputIdx = 0;
1384 for (auto &TC : TargetConstraints) {
1385 if (TC.Type != InlineAsm::isOutput)
1386 continue;
1387
1388 // Skip outputs we don't care about.
1389 if (TargetOutputIdx != -1 && TargetOutputIdx != OutputIdx++)
1390 continue;
1391
1392 TLI->ComputeConstraintToUse(TC, SDValue());
1393
1394 const TargetRegisterClass *RC = TLI->getRegForInlineAsmConstraint(
1395 TRI, TC.ConstraintCode, TC.ConstraintVT).second;
1396
1397 // For AGPR constraints null is returned on subtargets without AGPRs, so
1398 // assume divergent for null.
1399 if (!RC || !TRI->isSGPRClass(RC))
1400 return true;
1401 }
1402
1403 return false;
1404}
1405
1407 const IntrinsicInst *ReadReg) const {
1408 Metadata *MD =
1409 cast<MetadataAsValue>(ReadReg->getArgOperand(0))->getMetadata();
1411 cast<MDString>(cast<MDNode>(MD)->getOperand(0))->getString();
1412
1413 // Special case registers that look like VCC.
1414 MVT VT = MVT::getVT(ReadReg->getType());
1415 if (VT == MVT::i1)
1416 return true;
1417
1418 // Special case scalar registers that start with 'v'.
1419 if (RegName.starts_with("vcc") || RegName.empty())
1420 return false;
1421
1422 // VGPR or AGPR is divergent. There aren't any specially named vector
1423 // registers.
1424 return RegName[0] == 'v' || RegName[0] == 'a';
1425}
1426
1427/// \returns true if the result of the value could potentially be
1428/// different across workitems in a wavefront.
1429bool GCNTTIImpl::isSourceOfDivergence(const Value *V) const {
1430 if (const Argument *A = dyn_cast<Argument>(V))
1432
1433 // Loads from the private and flat address spaces are divergent, because
1434 // threads can execute the load instruction with the same inputs and get
1435 // different results.
1436 //
1437 // All other loads are not divergent, because if threads issue loads with the
1438 // same arguments, they will always get the same result.
1439 if (const LoadInst *Load = dyn_cast<LoadInst>(V))
1440 return Load->getPointerAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS ||
1441 Load->getPointerAddressSpace() == AMDGPUAS::FLAT_ADDRESS;
1442
1443 // Atomics are divergent because they are executed sequentially: when an
1444 // atomic operation refers to the same address in each thread, then each
1445 // thread after the first sees the value written by the previous thread as
1446 // original value.
1448 return true;
1449
1451 Intrinsic::ID IID = Intrinsic->getIntrinsicID();
1452 switch (IID) {
1453 case Intrinsic::read_register:
1455 case Intrinsic::amdgcn_workitem_id_y:
1456 case Intrinsic::amdgcn_workitem_id_z: {
1457 const Function *F = Intrinsic->getFunction();
1458 bool HasUniformYZ =
1459 ST->hasWavefrontsEvenlySplittingXDim(*F, /*RequiresUniformYZ=*/true);
1460 std::optional<unsigned> ThisDimSize = ST->getReqdWorkGroupSize(
1461 *F, IID == Intrinsic::amdgcn_workitem_id_y ? 1 : 2);
1462 return !HasUniformYZ && (!ThisDimSize || *ThisDimSize != 1);
1463 }
1464 default:
1466 }
1467 }
1468
1469 // Assume all function calls are a source of divergence.
1470 if (const CallBase *CB = dyn_cast<CallBase>(V)) {
1471 if (CB->isInlineAsm())
1473 return true;
1474 }
1475
1476 // Assume all function calls are a source of divergence.
1477 if (isa<InvokeInst>(V))
1478 return true;
1479
1480 // If the target supports globally addressable scratch, the mapping from
1481 // scratch memory to the flat aperture changes therefore an address space cast
1482 // is no longer uniform.
1483 if (auto *CastI = dyn_cast<AddrSpaceCastInst>(V)) {
1484 return CastI->getSrcAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS &&
1485 CastI->getDestAddressSpace() == AMDGPUAS::FLAT_ADDRESS &&
1486 ST->hasGloballyAddressableScratch();
1487 }
1488
1489 return false;
1490}
1491
1492bool GCNTTIImpl::isAlwaysUniform(const Value *V) const {
1493 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(V))
1494 return AMDGPU::isIntrinsicAlwaysUniform(Intrinsic->getIntrinsicID());
1495
1496 if (const CallBase *CB = dyn_cast<CallBase>(V)) {
1497 if (CB->isInlineAsm())
1499 return false;
1500 }
1501
1502 // In most cases TID / wavefrontsize is uniform.
1503 //
1504 // However, if a kernel has uneven dimesions we can have a value of
1505 // workitem-id-x divided by the wavefrontsize non-uniform. For example
1506 // dimensions (65, 2) will have workitems with address (64, 0) and (0, 1)
1507 // packed into a same wave which gives 1 and 0 after the division by 64
1508 // respectively.
1509 //
1510 // The X dimension doesn't reset within a wave if either both the Y
1511 // and Z dimensions are of length 1, or if the X dimension's required
1512 // size is a power of 2. Note, however, if the X dimension's maximum
1513 // size is a power of 2 < the wavefront size, division by the wavefront
1514 // size is guaranteed to yield 0, so this is also a no-reset case.
1515 bool XDimDoesntResetWithinWaves = false;
1516 if (auto *I = dyn_cast<Instruction>(V)) {
1517 const Function *F = I->getFunction();
1518 XDimDoesntResetWithinWaves = ST->hasWavefrontsEvenlySplittingXDim(*F);
1519 }
1520 using namespace llvm::PatternMatch;
1521 uint64_t C;
1522 auto MatchTidXCall = m_Intrinsic<Intrinsic::amdgcn_workitem_id_x>();
1523 auto MaybeMaskedTidX =
1524 m_CombineOr(m_c_And(MatchTidXCall, m_Constant()), MatchTidXCall);
1525 auto MaybeCastTidX = m_CastOrSelf(MaybeMaskedTidX);
1526 auto MaybeMaskedCastTidX =
1527 m_CombineOr(m_c_And(MaybeCastTidX, m_Constant()), MaybeCastTidX);
1528 if (match(V, m_LShr(MaybeMaskedCastTidX, m_ConstantInt(C))))
1529 return C >= ST->getWavefrontSizeLog2() && XDimDoesntResetWithinWaves;
1530
1531 Constant *Mask;
1532 if (match(V, m_c_And(
1534 m_Constant(Mask)))) {
1535 return computeKnownBits(Mask, DL).countMinTrailingZeros() >=
1536 ST->getWavefrontSizeLog2() &&
1537 XDimDoesntResetWithinWaves;
1538 }
1539
1540 const ExtractValueInst *ExtValue = dyn_cast<ExtractValueInst>(V);
1541 if (!ExtValue)
1542 return false;
1543
1544 const CallBase *CB = dyn_cast<CallBase>(ExtValue->getOperand(0));
1545 if (!CB)
1546 return false;
1547
1548 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(CB)) {
1549 switch (Intrinsic->getIntrinsicID()) {
1550 default:
1551 return false;
1552 case Intrinsic::amdgcn_if:
1553 case Intrinsic::amdgcn_else: {
1554 ArrayRef<unsigned> Indices = ExtValue->getIndices();
1555 return Indices.size() == 1 && Indices[0] == 1;
1556 }
1557 }
1558 }
1559
1560 // If we have inline asm returning mixed SGPR and VGPR results, we inferred
1561 // divergent for the overall struct return. We need to override it in the
1562 // case we're extracting an SGPR component here.
1563 if (CB->isInlineAsm())
1564 return !isInlineAsmSourceOfDivergence(CB, ExtValue->getIndices());
1565
1566 return false;
1567}
1568
1570 Intrinsic::ID IID) const {
1571 switch (IID) {
1572 case Intrinsic::amdgcn_is_shared:
1573 case Intrinsic::amdgcn_is_private:
1574 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1575 case Intrinsic::amdgcn_flat_atomic_fmin_num:
1576 case Intrinsic::amdgcn_load_to_lds:
1577 case Intrinsic::amdgcn_make_buffer_rsrc:
1578 OpIndexes.push_back(0);
1579 return true;
1580 default:
1581 return false;
1582 }
1583}
1584
1586 Value *OldV,
1587 Value *NewV) const {
1588 auto IntrID = II->getIntrinsicID();
1589 switch (IntrID) {
1590 case Intrinsic::amdgcn_is_shared:
1591 case Intrinsic::amdgcn_is_private: {
1592 unsigned TrueAS = IntrID == Intrinsic::amdgcn_is_shared ?
1594 unsigned NewAS = NewV->getType()->getPointerAddressSpace();
1595 LLVMContext &Ctx = NewV->getType()->getContext();
1596 ConstantInt *NewVal = (TrueAS == NewAS) ?
1598 return NewVal;
1599 }
1600 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1601 case Intrinsic::amdgcn_flat_atomic_fmin_num: {
1602 Type *DestTy = II->getType();
1603 Type *SrcTy = NewV->getType();
1604 unsigned NewAS = SrcTy->getPointerAddressSpace();
1606 return nullptr;
1607 Module *M = II->getModule();
1609 M, II->getIntrinsicID(), {DestTy, SrcTy, DestTy});
1610 II->setArgOperand(0, NewV);
1611 II->setCalledFunction(NewDecl);
1612 return II;
1613 }
1614 case Intrinsic::amdgcn_load_to_lds: {
1615 Type *SrcTy = NewV->getType();
1616 Module *M = II->getModule();
1617 Function *NewDecl =
1618 Intrinsic::getOrInsertDeclaration(M, II->getIntrinsicID(), {SrcTy});
1619 II->setArgOperand(0, NewV);
1620 II->setCalledFunction(NewDecl);
1621 return II;
1622 }
1623 case Intrinsic::amdgcn_make_buffer_rsrc: {
1624 Type *SrcTy = NewV->getType();
1625 Type *DstTy = II->getType();
1626 Type *NumRecordsTy = II->getArgOperand(2)->getType();
1627 Module *M = II->getModule();
1629 M, II->getIntrinsicID(), {DstTy, SrcTy, NumRecordsTy});
1630 II->setArgOperand(0, NewV);
1631 II->setCalledFunction(NewDecl);
1632 return II;
1633 }
1634 default:
1635 return nullptr;
1636 }
1637}
1638
1640 TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy,
1642 VectorType *SubTp, ArrayRef<const Value *> Args, const Instruction *CtxI,
1643 TTI::VectorInstrContext VIC) const {
1644 if (!isa<FixedVectorType>(SrcTy))
1645 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, CostKind, Mask, Index,
1646 SubTp);
1647
1648 Kind = improveShuffleKindFromMask(Kind, Mask, SrcTy, Index, SubTp);
1649
1650 unsigned ScalarSize = DL.getTypeSizeInBits(SrcTy->getElementType());
1651 if (ST->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS &&
1652 (ScalarSize == 16 || ScalarSize == 8)) {
1653 // Larger vector widths may require additional instructions, but are
1654 // typically cheaper than scalarized versions.
1655 //
1656 // We assume that shuffling at a register granularity can be done for free.
1657 // This is not true for vectors fed into memory instructions, but it is
1658 // effectively true for all other shuffling. The emphasis of the logic here
1659 // is to assist generic transform in cleaning up / canonicalizing those
1660 // shuffles.
1661
1662 // With op_sel VOP3P instructions freely can access the low half or high
1663 // half of a register, so any swizzle of two elements is free.
1664 if (auto *SrcVecTy = dyn_cast<FixedVectorType>(SrcTy)) {
1665 unsigned NumSrcElts = SrcVecTy->getNumElements();
1666 if (ST->hasVOP3PInsts() && ScalarSize == 16 && NumSrcElts == 2 &&
1667 (Kind == TTI::SK_Broadcast || Kind == TTI::SK_Reverse ||
1668 Kind == TTI::SK_PermuteSingleSrc))
1669 return 0;
1670 }
1671
1672 unsigned EltsPerReg = 32 / ScalarSize;
1673 switch (Kind) {
1674 case TTI::SK_Broadcast:
1675 // A single v_perm_b32 can be re-used for all destination registers.
1676 return 1;
1677 case TTI::SK_Reverse:
1678 // One instruction per register.
1679 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1680 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1683 if (Index % EltsPerReg == 0)
1684 return 0; // Shuffling at register granularity
1685 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1686 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1689 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1690 if (!DstVecTy)
1692 unsigned NumDstElts = DstVecTy->getNumElements();
1693 unsigned NumInsertElts = cast<FixedVectorType>(SubTp)->getNumElements();
1694 unsigned EndIndex = Index + NumInsertElts;
1695 unsigned BeginSubIdx = Index % EltsPerReg;
1696 unsigned EndSubIdx = EndIndex % EltsPerReg;
1697 unsigned Cost = 0;
1698
1699 if (BeginSubIdx != 0) {
1700 // Need to shift the inserted vector into place. The cost is the number
1701 // of destination registers overlapped by the inserted vector.
1702 Cost = divideCeil(EndIndex, EltsPerReg) - (Index / EltsPerReg);
1703 }
1704
1705 // If the last register overlap is partial, there may be three source
1706 // registers feeding into it; that takes an extra instruction.
1707 if (EndIndex < NumDstElts && BeginSubIdx < EndSubIdx)
1708 Cost += 1;
1709
1710 return Cost;
1711 }
1712 case TTI::SK_Splice: {
1713 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1714 if (!DstVecTy)
1716 unsigned NumElts = DstVecTy->getNumElements();
1717 assert(NumElts == cast<FixedVectorType>(SrcTy)->getNumElements());
1718 // Determine the sub-region of the result vector that requires
1719 // sub-register shuffles / mixing.
1720 unsigned EltsFromLHS = NumElts - Index;
1721 bool LHSIsAligned = (Index % EltsPerReg) == 0;
1722 bool RHSIsAligned = (EltsFromLHS % EltsPerReg) == 0;
1723 if (LHSIsAligned && RHSIsAligned)
1724 return 0;
1725 if (LHSIsAligned && !RHSIsAligned)
1726 return divideCeil(NumElts, EltsPerReg) - (EltsFromLHS / EltsPerReg);
1727 if (!LHSIsAligned && RHSIsAligned)
1728 return divideCeil(EltsFromLHS, EltsPerReg);
1729 return divideCeil(NumElts, EltsPerReg);
1730 }
1731 default:
1732 break;
1733 }
1734
1735 if (!Mask.empty()) {
1736 unsigned NumSrcElts = cast<FixedVectorType>(SrcTy)->getNumElements();
1737
1738 // Generically estimate the cost by assuming that each destination
1739 // register is derived from sources via v_perm_b32 instructions if it
1740 // can't be copied as-is.
1741 //
1742 // For each destination register, derive the cost of obtaining it based
1743 // on the number of source registers that feed into it.
1744 unsigned Cost = 0;
1745 for (unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += EltsPerReg) {
1747 bool Aligned = true;
1748 for (unsigned I = 0; I < EltsPerReg && DstIdx + I < Mask.size(); ++I) {
1749 int SrcIdx = Mask[DstIdx + I];
1750 if (SrcIdx == -1)
1751 continue;
1752 int Reg;
1753 if (SrcIdx < (int)NumSrcElts) {
1754 Reg = SrcIdx / EltsPerReg;
1755 if (SrcIdx % EltsPerReg != I)
1756 Aligned = false;
1757 } else {
1758 Reg = NumSrcElts + (SrcIdx - NumSrcElts) / EltsPerReg;
1759 if ((SrcIdx - NumSrcElts) % EltsPerReg != I)
1760 Aligned = false;
1761 }
1762 if (!llvm::is_contained(Regs, Reg))
1763 Regs.push_back(Reg);
1764 }
1765 if (Regs.size() >= 2)
1766 Cost += Regs.size() - 1;
1767 else if (!Aligned)
1768 Cost += 1;
1769 }
1770 return Cost;
1771 }
1772 }
1773
1774 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, CostKind, Mask, Index,
1775 SubTp);
1776}
1777
1778/// Whether it is profitable to sink the operands of an
1779/// Instruction I to the basic block of I.
1780/// This helps using several modifiers (like abs and neg) more often.
1782 SmallVectorImpl<Use *> &Ops) const {
1783 using namespace PatternMatch;
1784
1785 // The cost model prices this fmul as free assuming it fuses with its
1786 // fadd/fsub user, which needs them in one block. Sink a stranded
1787 // loop-invariant fmul back to the user when they would fuse. Single use only,
1788 // so this stays a move.
1789 if (I->getOpcode() == Instruction::FAdd ||
1790 I->getOpcode() == Instruction::FSub) {
1791 const Instruction *FMul = getFusedFMul(*TLI, I->getType(), I);
1792 if (FMul && FMul->getParent() != I->getParent())
1793 Ops.push_back(&I->getOperandUse(I->getOperand(0) == FMul ? 0 : 1));
1794 }
1795
1796 for (auto &Op : I->operands()) {
1797 // Ensure we are not already sinking this operand.
1798 if (any_of(Ops, [&](Use *U) { return U->get() == Op.get(); }))
1799 continue;
1800
1801 if (match(&Op, m_FAbs(m_Value())) || match(&Op, m_FNeg(m_Value()))) {
1802 Ops.push_back(&Op);
1803 continue;
1804 }
1805
1806 // Check for zero-cost multiple use InsertElement/ExtractElement
1807 // instructions
1808 if (Instruction *OpInst = dyn_cast<Instruction>(Op.get())) {
1809 if (OpInst->getType()->isVectorTy() && OpInst->getNumOperands() > 1) {
1810 Instruction *VecOpInst = dyn_cast<Instruction>(OpInst->getOperand(0));
1811 if (VecOpInst && VecOpInst->hasOneUse())
1812 continue;
1813
1814 if (getVectorInstrCost(OpInst->getOpcode(), OpInst->getType(),
1816 OpInst->getOperand(0),
1817 OpInst->getOperand(1)) == 0) {
1818 Ops.push_back(&Op);
1819 continue;
1820 }
1821 }
1822 }
1823
1824 if (auto *Shuffle = dyn_cast<ShuffleVectorInst>(Op.get())) {
1825
1826 unsigned EltSize = DL.getTypeSizeInBits(
1827 cast<VectorType>(Shuffle->getType())->getElementType());
1828
1829 // For i32 (or greater) shufflevectors, these will be lowered into a
1830 // series of insert / extract elements, which will be coalesced away.
1831 if (EltSize < 16 || !ST->has16BitInsts())
1832 continue;
1833
1834 int NumSubElts, SubIndex;
1835 if (Shuffle->changesLength()) {
1836 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding()) {
1837 Ops.push_back(&Op);
1838 continue;
1839 }
1840
1841 if ((Shuffle->isExtractSubvectorMask(SubIndex) ||
1842 Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex)) &&
1843 !(SubIndex & 0x1)) {
1844 Ops.push_back(&Op);
1845 continue;
1846 }
1847 }
1848
1849 if (Shuffle->isReverse() || Shuffle->isZeroEltSplat() ||
1850 Shuffle->isSingleSource()) {
1851 Ops.push_back(&Op);
1852 continue;
1853 }
1854 }
1855 }
1856
1857 return !Ops.empty();
1858}
1859
1861 const Function *Callee) const {
1862 const TargetMachine &TM = getTLI()->getTargetMachine();
1863 const GCNSubtarget *CallerST
1864 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Caller));
1865 const GCNSubtarget *CalleeST
1866 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Callee));
1867
1868 if (!BaseT::areInlineCompatible(Caller, Callee))
1869 return false;
1870
1871 // FIXME: dx10_clamp can just take the caller setting, but there seems to be
1872 // no way to support merge for backend defined attributes.
1873 SIModeRegisterDefaults CallerMode(*Caller, *CallerST);
1874 SIModeRegisterDefaults CalleeMode(*Callee, *CalleeST);
1875 if (!CallerMode.isInlineCompatible(CalleeMode))
1876 return false;
1877
1878 if (Callee->hasFnAttribute(Attribute::AlwaysInline) ||
1879 Callee->hasFnAttribute(Attribute::InlineHint))
1880 return true;
1881
1882 // Hack to make compile times reasonable.
1883 if (InlineMaxBB) {
1884 // Single BB does not increase total BB amount.
1885 if (Callee->size() == 1)
1886 return true;
1887 size_t BBSize = Caller->size() + Callee->size() - 1;
1888 if (BBSize > InlineMaxBB) {
1889 LLVM_DEBUG(dbgs() << "AMDGPU inline max-BB rejected inlining "
1890 << Callee->getName() << " into " << Caller->getName()
1891 << ": caller BBs=" << Caller->size() << ", callee BBs="
1892 << Callee->size() << ", combined BBs=" << BBSize
1893 << ", max BBs=" << InlineMaxBB << '\n');
1894 return false;
1895 }
1896 }
1897
1898 return true;
1899}
1900
1902 const SITargetLowering *TLI,
1903 const GCNTTIImpl *TTIImpl) {
1904 const int NrOfSGPRUntilSpill = 26;
1905 const int NrOfVGPRUntilSpill = 32;
1906
1907 const DataLayout &DL = TTIImpl->getDataLayout();
1908
1909 unsigned adjustThreshold = 0;
1910 int SGPRsInUse = 0;
1911 int VGPRsInUse = 0;
1912 for (const Use &A : CB->args()) {
1913 SmallVector<EVT, 4> ValueVTs;
1914 ComputeValueVTs(*TLI, DL, A.get()->getType(), ValueVTs);
1915 for (auto ArgVT : ValueVTs) {
1916 unsigned CCRegNum = TLI->getNumRegistersForCallingConv(
1917 CB->getContext(), CB->getCallingConv(), ArgVT);
1919 SGPRsInUse += CCRegNum;
1920 else
1921 VGPRsInUse += CCRegNum;
1922 }
1923 }
1924
1925 // The cost of passing function arguments through the stack:
1926 // 1 instruction to put a function argument on the stack in the caller.
1927 // 1 instruction to take a function argument from the stack in callee.
1928 // 1 instruction is explicitly take care of data dependencies in callee
1929 // function.
1930 InstructionCost ArgStackCost(1);
1931 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1932 Instruction::Store, Type::getInt32Ty(CB->getContext()), Align(4),
1934 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1935 Instruction::Load, Type::getInt32Ty(CB->getContext()), Align(4),
1937
1938 // The penalty cost is computed relative to the cost of instructions and does
1939 // not model any storage costs.
1940 adjustThreshold += std::max(0, SGPRsInUse - NrOfSGPRUntilSpill) *
1941 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1942 adjustThreshold += std::max(0, VGPRsInUse - NrOfVGPRUntilSpill) *
1943 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1944 return adjustThreshold;
1945}
1946
1947static unsigned getCallArgsTotalAllocaSize(const CallBase *CB,
1948 const DataLayout &DL) {
1949 // If we have a pointer to a private array passed into a function
1950 // it will not be optimized out, leaving scratch usage.
1951 // This function calculates the total size in bytes of the memory that would
1952 // end in scratch if the call was not inlined.
1953 unsigned AllocaSize = 0;
1955 for (Value *PtrArg : CB->args()) {
1956 PointerType *Ty = dyn_cast<PointerType>(PtrArg->getType());
1957 if (!Ty)
1958 continue;
1959
1960 unsigned AddrSpace = Ty->getAddressSpace();
1961 if (AddrSpace != AMDGPUAS::FLAT_ADDRESS &&
1962 AddrSpace != AMDGPUAS::PRIVATE_ADDRESS)
1963 continue;
1964
1966 if (!AI || !AI->isStaticAlloca() || !AIVisited.insert(AI).second)
1967 continue;
1968
1969 if (auto Size = AI->getAllocationSize(DL))
1970 AllocaSize += Size->getFixedValue();
1971 }
1972 return AllocaSize;
1973}
1974
1979
1981 unsigned Threshold = adjustInliningThresholdUsingCallee(CB, TLI, this);
1982
1983 // Private object passed as arguments may end up in scratch usage if the call
1984 // is not inlined. Increase the inline threshold to promote inlining.
1985 unsigned AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1986 if (AllocaSize > 0)
1987 Threshold += ArgAllocaCost;
1988 return Threshold;
1989}
1990
1992 const AllocaInst *AI) const {
1993
1994 // Below the cutoff, assume that the private memory objects would be
1995 // optimized
1996 auto AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1997 if (AllocaSize <= ArgAllocaCutoff)
1998 return 0;
1999
2000 // Above the cutoff, we give a cost to each private memory object
2001 // depending its size. If the array can be optimized by SROA this cost is not
2002 // added to the total-cost in the inliner cost analysis.
2003 //
2004 // We choose the total cost of the alloca such that their sum cancels the
2005 // bonus given in the threshold (ArgAllocaCost).
2006 //
2007 // Cost_Alloca_0 + ... + Cost_Alloca_N == ArgAllocaCost
2008 //
2009 // Awkwardly, the ArgAllocaCost bonus is multiplied by threshold-multiplier,
2010 // the single-bb bonus and the vector-bonus.
2011 //
2012 // We compensate the first two multipliers, by repeating logic from the
2013 // inliner-cost in here. The vector-bonus is 0 on AMDGPU.
2014 static_assert(InlinerVectorBonusPercent == 0, "vector bonus assumed to be 0");
2015 unsigned Threshold = ArgAllocaCost * getInliningThresholdMultiplier();
2016
2017 bool SingleBB = none_of(*CB->getCalledFunction(), [](const BasicBlock &BB) {
2018 return BB.getTerminator()->getNumSuccessors() > 1;
2019 });
2020 if (SingleBB) {
2021 Threshold += Threshold / 2;
2022 }
2023
2024 auto ArgAllocaSize = AI->getAllocationSize(DL);
2025 if (!ArgAllocaSize)
2026 return 0;
2027
2028 // Attribute the bonus proportionally to the alloca size
2029 unsigned AllocaThresholdBonus =
2030 (Threshold * ArgAllocaSize->getFixedValue()) / AllocaSize;
2031
2032 return AllocaThresholdBonus;
2033}
2034
2037 OptimizationRemarkEmitter *ORE) const {
2038 CommonTTI.getUnrollingPreferences(L, SE, UP, ORE);
2039}
2040
2042 TTI::PeelingPreferences &PP) const {
2043 CommonTTI.getPeelingPreferences(L, SE, PP);
2044}
2045
2046int GCNTTIImpl::getTransInstrCost(TTI::TargetCostKind CostKind) const {
2047 return getQuarterRateInstrCost(CostKind);
2048}
2049
2050int GCNTTIImpl::get64BitInstrCost(TTI::TargetCostKind CostKind) const {
2051 return ST->hasFullRate64Ops()
2052 ? getFullRateInstrCost()
2053 : ST->hasHalfRate64Ops() ? getHalfRateInstrCost(CostKind)
2054 : getQuarterRateInstrCost(CostKind);
2055}
2056
2057std::pair<InstructionCost, MVT>
2058GCNTTIImpl::getTypeLegalizationCost(Type *Ty) const {
2059 std::pair<InstructionCost, MVT> Cost = BaseT::getTypeLegalizationCost(Ty);
2060 auto Size = DL.getTypeSizeInBits(Ty);
2061 // Maximum load or store can handle 8 dwords for scalar and 4 for
2062 // vector ALU. Let's assume anything above 8 dwords is expensive
2063 // even if legal.
2064 if (Size <= 256)
2065 return Cost;
2066
2067 Cost.first += (Size + 255) / 256;
2068 return Cost;
2069}
2070
2072 if (ST->hasVmemPrefInsts() || ST->hasSmemPrefetchInsts())
2073 return ST->getDataCacheLineSize();
2074 return 0;
2075}
2076
2078 return ST->hasPrefetch() ? 128 : 0;
2079}
2080
2083}
2084
2086 const Function &F,
2087 SmallVectorImpl<std::pair<StringRef, int64_t>> &LB) const {
2089 LB.push_back({"amdgpu-max-num-workgroups[0]", MaxNumWorkgroups[0]});
2090 LB.push_back({"amdgpu-max-num-workgroups[1]", MaxNumWorkgroups[1]});
2091 LB.push_back({"amdgpu-max-num-workgroups[2]", MaxNumWorkgroups[2]});
2092 std::pair<unsigned, unsigned> FlatWorkGroupSize =
2093 ST->getFlatWorkGroupSizes(F);
2094 LB.push_back({"amdgpu-flat-work-group-size[0]", FlatWorkGroupSize.first});
2095 LB.push_back({"amdgpu-flat-work-group-size[1]", FlatWorkGroupSize.second});
2096 std::pair<unsigned, unsigned> WavesPerEU = ST->getWavesPerEU(F);
2097 LB.push_back({"amdgpu-waves-per-eu[0]", WavesPerEU.first});
2098 LB.push_back({"amdgpu-waves-per-eu[1]", WavesPerEU.second});
2099}
2100
2103 if (!ST->hasFeature(AMDGPU::FeatureDX10ClampAndIEEEMode))
2104 return KnownIEEEMode::On; // Only mode on gfx1170+
2105
2106 const Function *F = I.getFunction();
2107 if (!F)
2109
2110 Attribute IEEEAttr = F->getFnAttribute("amdgpu-ieee");
2111 if (IEEEAttr.isValid())
2113
2114 return AMDGPU::isShader(F->getCallingConv()) ? KnownIEEEMode::Off
2116}
2117
2119 Align Alignment,
2120 unsigned AddressSpace,
2122 TTI::OperandValueInfo OpInfo,
2123 const Instruction *I) const {
2124 if (VectorType *VecTy = dyn_cast<VectorType>(Src)) {
2125 if ((Opcode == Instruction::Load || Opcode == Instruction::Store) &&
2127 VecTy->getElementType()->isIntegerTy(8)) {
2128 return divideCeil(DL.getTypeSizeInBits(VecTy) - 1,
2130 }
2131 }
2132 return BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind,
2133 OpInfo, I);
2134}
2135
2137 if (VectorType *VecTy = dyn_cast<VectorType>(Tp)) {
2138 if (VecTy->getElementType()->isIntegerTy(8)) {
2139 unsigned ElementCount = VecTy->getElementCount().getFixedValue();
2140 return divideCeil(ElementCount - 1, 4);
2141 }
2142 }
2143 return BaseT::getNumberOfParts(Tp);
2144}
2145
2148 switch (Intrinsic->getIntrinsicID()) {
2149 case Intrinsic::amdgcn_wave_shuffle:
2151 default:
2152 break;
2153 }
2154 }
2155
2156 if (isAlwaysUniform(V))
2158
2159 if (isSourceOfDivergence(V))
2161
2163}
2164
2166 StackOffset BaseOffset,
2167 bool HasBaseReg, int64_t Scale,
2168 unsigned AddrSpace) const {
2169 if (HasBaseReg && Scale != 0) {
2170 // gfx1250+ can fold base+scale*index when scale matches the memory access
2171 // size (scale_offset bit). Supported for flat/global/constant/scratch
2172 // (VMEM, max 128 bits) and constant_32bit (SMRD, capped to 128 bits here).
2173 if (getST()->hasScaleOffset() && Ty && Ty->isSized() &&
2175 AddrSpace == AMDGPUAS::FLAT_ADDRESS ||
2176 AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)) {
2177 TypeSize StoreSize = getDataLayout().getTypeStoreSize(Ty);
2178 if (TypeSize::isKnownLE(StoreSize, TypeSize::getFixed(16)) &&
2179 static_cast<int64_t>(StoreSize.getFixedValue()) == Scale)
2180 return 0;
2181 }
2182 return 1;
2183 }
2184 return BaseT::getScalingFactorCost(Ty, BaseGV, BaseOffset, HasBaseReg, Scale,
2185 AddrSpace);
2186}
2187
2189 const TTI::LSRCost &B) const {
2190 // Favor lower per-iteration work over preheader/setup costs.
2191 // AMDGPU lacks rich addressing modes, so ScaleCost is folded into the
2192 // effective instruction count (base+scale*index requires a separate ADD).
2193 unsigned EffInsnsA = A.Insns + A.ScaleCost;
2194 unsigned EffInsnsB = B.Insns + B.ScaleCost;
2195
2196 return std::tie(EffInsnsA, A.NumIVMuls, A.AddRecCost, A.NumBaseAdds,
2197 A.SetupCost, A.ImmCost, A.NumRegs) <
2198 std::tie(EffInsnsB, B.NumIVMuls, B.AddRecCost, B.NumBaseAdds,
2199 B.SetupCost, B.ImmCost, B.NumRegs);
2200}
2201
2203 // isLSRCostLess de-prioritizes register count; keep consistent.
2204 return false;
2205}
2206
2208 // Prefer the baseline when LSR cannot clearly reduce per-iteration work.
2209 return true;
2210}
2211
2213 const SmallBitVector &UniformArgs) const {
2215 switch (Intrinsic->getIntrinsicID()) {
2216 case Intrinsic::amdgcn_wave_shuffle:
2217 // wave_shuffle(Value, Index): result is uniform when either Value or Index
2218 // is uniform.
2219 return UniformArgs[0] || UniformArgs[1];
2220 default:
2221 llvm_unreachable("unexpected intrinsic in isUniform");
2222 }
2223}
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 bool isFusedFMul(const SITargetLowering &TLI, Type *Ty, const Instruction *FMul, const Instruction *FAddSub)
static std::optional< unsigned > getNumberOfPackedMaskElts(Type *Ty)
static constexpr unsigned MaskUnpackCostPerElt
static const Instruction * getFusedFMul(const SITargetLowering &TLI, Type *Ty, const Instruction *FAddSub)
An fma holds one multiply, so only one fmul operand fuses with FAddSub.
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 const Function * getParent(const Value *V)
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static cl::opt< OutputCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(OutputCostKind::RecipThroughput), cl::values(clEnumValN(OutputCostKind::RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(OutputCostKind::Latency, "latency", "Instruction latency"), clEnumValN(OutputCostKind::CodeSize, "code-size", "Code size"), clEnumValN(OutputCostKind::SizeAndLatency, "size-latency", "Code size and latency"), clEnumValN(OutputCostKind::All, "all", "Print all cost kinds")))
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 getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
unsigned getNumberOfParts(Type *Tp) const override
TTI::ShuffleKind improveShuffleKindFromMask(TTI::ShuffleKind Kind, ArrayRef< int > Mask, VectorType *SrcTy, int &Index, VectorType *&SubTy) const
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Opd2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr) const override
InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, StackOffset BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace) const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
std::pair< InstructionCost, MVT > getTypeLegalizationCost(Type *Ty) const
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
InstructionCost getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, TTI::OperandValueInfo OpInfo={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
bool isInlineAsm() const
Check if this call is an inline asm statement.
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
CallingConv::ID getCallingConv() const
Value * getArgOperand(unsigned i) const
iterator_range< User::op_iterator > args()
Iteration adapter for range-for loops.
unsigned getArgOperandNo(const Use *U) const
Given a use for a arg operand, get the arg operand number that corresponds to it.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Definition InstrTypes.h:740
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.
void collectKernelLaunchBounds(const Function &F, SmallVectorImpl< std::pair< StringRef, int64_t > > &LB) const override
bool isUniform(const Instruction *I, const SmallBitVector &UniformArgs) const override
bool isLegalToVectorizeStoreChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const override
bool isReadRegisterSourceOfDivergence(const IntrinsicInst *ReadReg) const
unsigned getMaximumVF(unsigned ElemWidth, unsigned Opcode) const override
unsigned getNumberOfRegisters(unsigned RCID) const override
bool isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const override
unsigned getCacheLineSize() const override
Data cache line size for LoopDataPrefetch pass. Has no use before GFX12.
unsigned getStoreVectorFactor(unsigned VF, unsigned StoreSize, unsigned ChainSizeInBytes, VectorType *VecTy) const override
bool isLegalToVectorizeMemChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const
bool isLSRCostLess(const TTI::LSRCost &A, const TTI::LSRCost &B) const override
bool shouldPrefetchAddressSpace(unsigned AS) const override
InstructionCost getVectorInstrCost(unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
bool hasBranchDivergence(const Function *F=nullptr) const override
Value * rewriteIntrinsicWithAddressSpace(IntrinsicInst *II, Value *OldV, Value *NewV) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
unsigned getCallerAllocaCost(const CallBase *CB, const AllocaInst *AI) const override
InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
void getMemcpyLoopResidualLoweringType(SmallVectorImpl< Type * > &OpsOut, LLVMContext &Context, unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace, Align SrcAlign, Align DestAlign, std::optional< uint32_t > AtomicCpySize) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
Get intrinsic cost based on arguments.
unsigned getInliningThresholdMultiplier() const override
unsigned getLoadVectorFactor(unsigned VF, unsigned LoadSize, unsigned ChainSizeInBytes, VectorType *VecTy) const override
unsigned getPrefetchDistance() const override
How much before a load we should place the prefetch instruction.
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
KnownIEEEMode fpenvIEEEMode(const Instruction &I) const
Return KnownIEEEMode::On if we know if the use context can assume "amdgpu-ieee"="true" and KnownIEEEM...
unsigned adjustInliningThreshold(const CallBase *CB) const override
bool isProfitableToSinkOperands(Instruction *I, SmallVectorImpl< Use * > &Ops) const override
Whether it is profitable to sink the operands of an Instruction I to the basic block of I.
bool getTgtMemIntrinsic(IntrinsicInst *Inst, MemIntrinsicInfo &Info) const override
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr) const override
InstructionCost getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
Try to calculate op costs for min/max reduction operations.
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
bool shouldDropLSRSolutionIfLessProfitable() const override
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
int getInliningLastCallToStaticBonus() const override
bool isInlineAsmSourceOfDivergence(const CallBase *CB, ArrayRef< unsigned > Indices={}) const
Analyze if the results of inline asm are divergent.
bool collectFlatAddressOperands(SmallVectorImpl< int > &OpIndexes, Intrinsic::ID IID) const override
ValueUniformity getValueUniformity(const Value *V) const override
unsigned getNumberOfParts(Type *Tp) const override
When counting parts on AMD GPUs, account for i8s being grouped together under a single i32 value.
bool preferSLPInstCountCheck() const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
unsigned getMinVectorRegisterBitWidth() const override
TypeSize getRegisterBitWidth(TargetTransformInfo::RegisterKind Vector) const override
bool isNumRegsMajorCostOfLSR() const override
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
Type * getMemcpyLoopLoweringType(LLVMContext &Context, Value *Length, unsigned SrcAddrSpace, unsigned DestAddrSpace, Align SrcAlign, Align DestAlign, std::optional< uint32_t > AtomicElementSize) const override
uint64_t getMaxMemIntrinsicInlineSizeThreshold() const override
an instruction for type-safe pointer arithmetic to access elements of arrays and structs
static InstructionCost getInvalid(CostType Val=0)
CostType getValue() const
This function is intended to be used as sparingly as possible, since the class provides the full rang...
LLVM_ABI const Function * getFunction() const
Return the function this instruction belongs to.
LLVM_ABI bool hasApproxFunc() const LLVM_READONLY
Determine whether the approximate-math-functions flag is set.
user_iterator user_begin()
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
LLVM_ABI bool hasAllowContract() const LLVM_READONLY
Determine whether the allow-contract flag is set.
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this instruction belongs to.
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
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
Definition Type.h:155
bool isBFloatTy() const
Return true if this is 'bfloat', a 16-bit bfloat type.
Definition Type.h:147
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
bool isHalfTy() const
Return true if this is 'half', a 16-bit IEEE fp type.
Definition Type.h:144
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
bool isDoubleTy() const
Return true if this is 'double', a 64-bit IEEE fp type.
Definition Type.h:158
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
Definition Type.cpp:303
static LLVM_ABI Type * getFloatTy(LLVMContext &C)
Definition Type.cpp:276
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
op_range operands()
Definition User.h:267
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:26
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:266
@ SINT_TO_FP
[SU]INT_TO_FP - These operators convert integers (whose interpreted sign depends on the first letter)...
Definition ISDOpcodes.h:898
@ FADD
Simple binary floating point operators.
Definition ISDOpcodes.h:420
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ SHL
Shift and rotation operations.
Definition ISDOpcodes.h:779
@ FP_TO_SINT
FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
Definition ISDOpcodes.h:944
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition ISDOpcodes.h:749
LLVM_ABI int getInstrCost()
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
LLVM_ABI Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > OverloadTys={})
Look up the Function declaration of the intrinsic id in the Module M.
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
match_combine_or< CastInst_match< OpTy, CastInst >, OpTy > m_CastOrSelf(const OpTy &Op)
Matches any cast or self. Used to ignore casts.
BinaryOp_match< LHS, RHS, Instruction::And, true > m_c_And(const LHS &L, const RHS &R)
Matches an And with LHS and RHS in either order.
bool match(Val *V, const Pattern &P)
auto m_Value()
Match an arbitrary value and ignore it.
auto m_Constant()
Match an arbitrary Constant and ignore it.
specific_fpval m_FPOne()
Match a float 1.0 or vector with all elements equal to 1.0.
auto m_Intrinsic(const Ts &...Ops)
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
auto m_FAbs(const Opnd0 &Op0)
BinaryOp_match< LHS, RHS, Instruction::LShr > m_LShr(const LHS &L, const RHS &R)
FNeg_match< OpTy > m_FNeg(const OpTy &X)
Match 'fneg X' as 'fsub -0.0, X'.
auto m_ConstantInt()
Match an arbitrary ConstantInt and ignore it.
initializer< Ty > init(const Ty &Val)
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract_or_null(Y &&MD)
Extract a Value from Metadata, allowing null.
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:121
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 void computeKnownBits(const Value *V, KnownBits &Known, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Determine which bits of V are known to be either zero or one and return them in the KnownZero/KnownOn...
LLVM_ABI MDNode * findOptionMDForLoop(const Loop *TheLoop, StringRef Name)
Find string metadata for a loop.
constexpr auto equal_to(T &&Arg)
Functor variant of std::equal_to that can be used as a UnaryPredicate in functional algorithms like a...
Definition STLExtras.h:2189
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 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...