LLVM 24.0.0git
AMDGPUTargetTransformInfo.cpp
Go to the documentation of this file.
1//===- AMDGPUTargetTransformInfo.cpp - AMDGPU specific TTI pass -----------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// \file
10// This file implements a TargetTransformInfo analysis pass specific to the
11// AMDGPU target machine. It uses the target's detailed information to provide
12// more precise answers to certain TTI queries, while letting the target
13// independent and default TTI implementations handle the rest.
14//
15//===----------------------------------------------------------------------===//
16
18#include "AMDGPUSubtarget.h"
19#include "AMDGPUTargetMachine.h"
27#include "llvm/IR/Function.h"
28#include "llvm/IR/IRBuilder.h"
29#include "llvm/IR/IntrinsicsAMDGPU.h"
32#include <optional>
33
34using namespace llvm;
35
36#define DEBUG_TYPE "AMDGPUtti"
37
39 "amdgpu-unroll-threshold-private",
40 cl::desc("Unroll threshold for AMDGPU if private memory used in a loop"),
41 cl::init(2700), cl::Hidden);
42
44 "amdgpu-unroll-threshold-local",
45 cl::desc("Unroll threshold for AMDGPU if local memory used in a loop"),
46 cl::init(1000), cl::Hidden);
47
49 "amdgpu-unroll-threshold-if",
50 cl::desc("Unroll threshold increment for AMDGPU for each if statement inside loop"),
51 cl::init(200), cl::Hidden);
52
54 "amdgpu-unroll-runtime-local",
55 cl::desc("Allow runtime unroll for AMDGPU if local memory used in a loop"),
56 cl::init(true), cl::Hidden);
57
59 "amdgpu-unroll-max-block-to-analyze",
60 cl::desc("Inner loop block size threshold to analyze in unroll for AMDGPU"),
61 cl::init(32), cl::Hidden);
62
63static cl::opt<unsigned> ArgAllocaCost("amdgpu-inline-arg-alloca-cost",
64 cl::Hidden, cl::init(4000),
65 cl::desc("Cost of alloca argument"));
66
67// If the amount of scratch memory to eliminate exceeds our ability to allocate
68// it into registers we gain nothing by aggressively inlining functions for that
69// heuristic.
71 ArgAllocaCutoff("amdgpu-inline-arg-alloca-cutoff", cl::Hidden,
72 cl::init(256),
73 cl::desc("Maximum alloca size to use for inline cost"));
74
75// Inliner constraint to achieve reasonable compilation time.
77 "amdgpu-inline-max-bb", cl::Hidden, cl::init(1100),
78 cl::desc("Maximum number of BBs allowed in a function after inlining"
79 " (compile time constraint)"));
80
81// This default unroll factor is based on microbenchmarks on gfx1030.
83 "amdgpu-memcpy-loop-unroll",
84 cl::desc("Unroll factor (affecting 4x32-bit operations) to use for memory "
85 "operations when lowering statically-sized memcpy, memmove, or"
86 "memset as a loop"),
87 cl::init(16), cl::Hidden);
88
89static bool dependsOnLocalPhi(const Loop *L, const Value *Cond,
90 unsigned Depth = 0) {
92 if (!I)
93 return false;
94
95 if (!L->contains(I))
96 return false;
97 for (const Value *V : I->operand_values()) {
98 if (const PHINode *PHI = dyn_cast<PHINode>(V)) {
99 if (llvm::none_of(L->getSubLoops(), [PHI](const Loop* SubLoop) {
100 return SubLoop->contains(PHI); }))
101 return true;
102 } else if (Depth < 10 && dependsOnLocalPhi(L, V, Depth+1))
103 return true;
104 }
105 return false;
106}
107
109 : BaseT(TM, F.getDataLayout()),
110 TargetTriple(TM->getTargetTriple()),
111 ST(static_cast<const GCNSubtarget *>(TM->getSubtargetImpl(F))),
112 TLI(ST->getTargetLowering()) {}
113
116 OptimizationRemarkEmitter *ORE) const {
117 const Function &F = *L->getHeader()->getParent();
118 UP.Threshold =
119 F.getFnAttributeAsParsedInteger("amdgpu-unroll-threshold", 300);
121 F.getFnAttributeAsParsedInteger("amdgpu-partial-unroll-threshold", 150);
122 UP.MaxCount = std::numeric_limits<unsigned>::max();
123 UP.Partial = true;
124
125 // Conditional branch in a loop back edge needs 3 additional exec
126 // manipulations in average.
127 UP.BEInsns += 3;
128
129 // We want to run unroll even for the loops which have been vectorized.
130 UP.UnrollVectorizedLoop = true;
131
132 // Enable runtime unrolling for loops whose trip count is not known at
133 // compile time.
134 UP.Runtime = true;
135
136 // Maximum alloca size than can fit registers. Reserve 16 registers.
137 const unsigned MaxAlloca = (256 - 16) * 4;
138 unsigned ThresholdPrivate = UnrollThresholdPrivate;
139 unsigned ThresholdLocal = UnrollThresholdLocal;
140
141 // If this loop has the amdgpu.loop.unroll.threshold metadata we will use the
142 // provided threshold value as the default for Threshold
143 if (MDNode *LoopUnrollThreshold =
144 findOptionMDForLoop(L, "amdgpu.loop.unroll.threshold")) {
145 if (LoopUnrollThreshold->getNumOperands() == 2) {
147 LoopUnrollThreshold->getOperand(1));
148 if (MetaThresholdValue) {
149 // We will also use the supplied value for PartialThreshold for now.
150 // We may introduce additional metadata if it becomes necessary in the
151 // future.
152 UP.Threshold = MetaThresholdValue->getSExtValue();
154 ThresholdPrivate = std::min(ThresholdPrivate, UP.Threshold);
155 ThresholdLocal = std::min(ThresholdLocal, UP.Threshold);
156 }
157 }
158 }
159
160 unsigned MaxBoost = std::max(ThresholdPrivate, ThresholdLocal);
161 for (const BasicBlock *BB : L->getBlocks()) {
162 const DataLayout &DL = BB->getDataLayout();
163 unsigned LocalGEPsSeen = 0;
164
165 if (llvm::any_of(L->getSubLoops(), [BB](const Loop* SubLoop) {
166 return SubLoop->contains(BB); }))
167 continue; // Block belongs to an inner loop.
168
169 for (const Instruction &I : *BB) {
170 // Unroll a loop which contains an "if" statement whose condition
171 // defined by a PHI belonging to the loop. This may help to eliminate
172 // if region and potentially even PHI itself, saving on both divergence
173 // and registers used for the PHI.
174 // Add a small bonus for each of such "if" statements.
175 if (const CondBrInst *Br = dyn_cast<CondBrInst>(&I)) {
176 if (UP.Threshold < MaxBoost) {
177 BasicBlock *Succ0 = Br->getSuccessor(0);
178 BasicBlock *Succ1 = Br->getSuccessor(1);
179 if ((L->contains(Succ0) && L->isLoopExiting(Succ0)) ||
180 (L->contains(Succ1) && L->isLoopExiting(Succ1)))
181 continue;
182 if (dependsOnLocalPhi(L, Br->getCondition())) {
184 LLVM_DEBUG(dbgs() << "Set unroll threshold " << UP.Threshold
185 << " for loop:\n"
186 << *L << " due to " << *Br << '\n');
187 if (UP.Threshold >= MaxBoost)
188 return;
189 }
190 }
191 continue;
192 }
193
195 if (!GEP)
196 continue;
197
198 unsigned AS = GEP->getAddressSpace();
199 unsigned Threshold = 0;
201 Threshold = ThresholdPrivate;
203 Threshold = ThresholdLocal;
204 else
205 continue;
206
207 if (UP.Threshold >= Threshold)
208 continue;
209
210 if (AS == AMDGPUAS::PRIVATE_ADDRESS) {
211 const Value *Ptr = GEP->getPointerOperand();
212 const AllocaInst *Alloca =
214 if (!Alloca || !Alloca->isStaticAlloca())
215 continue;
216 auto AllocaSize = Alloca->getAllocationSize(DL);
217 if (!AllocaSize || AllocaSize->getFixedValue() > MaxAlloca)
218 continue;
219 } else if (AS == AMDGPUAS::LOCAL_ADDRESS ||
221 LocalGEPsSeen++;
222 // Inhibit unroll for local memory if we have seen addressing not to
223 // a variable, most likely we will be unable to combine it.
224 // Do not unroll too deep inner loops for local memory to give a chance
225 // to unroll an outer loop for a more important reason.
226 if (LocalGEPsSeen > 1 || L->getLoopDepth() > 2 ||
227 (!isa<GlobalVariable>(GEP->getPointerOperand()) &&
228 !isa<Argument>(GEP->getPointerOperand())))
229 continue;
230 LLVM_DEBUG(dbgs() << "Allow unroll runtime for loop:\n"
231 << *L << " due to LDS use.\n");
233 }
234
235 // Check if GEP depends on a value defined by this loop itself.
236 bool HasLoopDef = false;
237 for (const Value *Op : GEP->operands()) {
238 const Instruction *Inst = dyn_cast<Instruction>(Op);
239 if (!Inst || L->isLoopInvariant(Op))
240 continue;
241
242 if (llvm::any_of(L->getSubLoops(), [Inst](const Loop* SubLoop) {
243 return SubLoop->contains(Inst); }))
244 continue;
245 HasLoopDef = true;
246 break;
247 }
248 if (!HasLoopDef)
249 continue;
250
251 // We want to do whatever we can to limit the number of alloca
252 // instructions that make it through to the code generator. allocas
253 // require us to use indirect addressing, which is slow and prone to
254 // compiler bugs. If this loop does an address calculation on an
255 // alloca ptr, then we want to use a higher than normal loop unroll
256 // threshold. This will give SROA a better chance to eliminate these
257 // allocas.
258 //
259 // We also want to have more unrolling for local memory to let ds
260 // instructions with different offsets combine.
261 //
262 // Don't use the maximum allowed value here as it will make some
263 // programs way too big.
264 UP.Threshold = Threshold;
265 LLVM_DEBUG(dbgs() << "Set unroll threshold " << Threshold
266 << " for loop:\n"
267 << *L << " due to " << *GEP << '\n');
268 if (UP.Threshold >= MaxBoost)
269 return;
270 }
271
272 // If we got a GEP in a small BB from inner loop then increase max trip
273 // count to analyze for better estimation cost in unroll
274 if (L->isInnermost() && BB->size() < UnrollMaxBlockToAnalyze)
276 }
277}
278
283
285 return 1024;
286}
287
289 : BaseT(TM, F.getDataLayout()),
290 ST(static_cast<const GCNSubtarget *>(TM->getSubtargetImpl(F))),
291 TLI(ST->getTargetLowering()), CommonTTI(TM, F),
292 IsGraphics(AMDGPU::isGraphics(F.getCallingConv())) {
294 HasFP32Denormals = Mode.FP32Denormals != DenormalMode::getPreserveSign();
295}
296
298 return !F || !ST->isSingleLaneExecution(*F);
299}
300
301unsigned GCNTTIImpl::getNumberOfRegisters(unsigned RCID) const {
302 // NB: RCID is not an RCID. In fact it is 0 or 1 for scalar or vector
303 // registers. See getRegisterClassForType for the implementation.
304 // In this case vector registers are not vector in terms of
305 // VGPRs, but those which can hold multiple values.
306
307 // This is really the number of registers to fill when vectorizing /
308 // interleaving loops, so we lie to avoid trying to use all registers.
309 return 4;
310}
311
314 switch (K) {
316 return TypeSize::getFixed(32);
318 return TypeSize::getFixed(
319 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()) ? 128
320 : ST->hasAnyPackedFP32Ops() ? 64
321 : 32);
323 return TypeSize::getScalable(0);
324 }
325 llvm_unreachable("Unsupported register kind");
326}
327
329 return 32;
330}
331
332unsigned GCNTTIImpl::getMaximumVF(unsigned ElemWidth, unsigned Opcode) const {
333 if (Opcode == Instruction::Load || Opcode == Instruction::Store)
334 return 32 * 4 / ElemWidth;
335 // For a given width return the max 0number of elements that can be combined
336 // into a wider bit value:
337 return (ElemWidth == 8 && ST->has16BitInsts()) ? 4
338 : (ElemWidth == 16 && ST->has16BitInsts()) ? 2
339 : (ElemWidth == 32 && ST->hasAnyPackedFP32Ops()) ? 2
340 : (ElemWidth == 64 &&
341 (ST->hasAnyPackedFP64Ops() || ST->hasAnyPackedU64Ops()))
342 ? 2
343 : 1;
344}
345
347 // The integer inst-count heuristic causes regressions on gfx94x and gfx950
348 // because 2-element vector trees that pass the scalar/vector instruction
349 // count comparison still widen scalar moves (e.g. v_mov_b32 to v_mov_b64)
350 // after codegen, increasing register pressure and throughput cost without
351 // reducing the total instruction count.
352 return !ST->hasGFX940Insts() && !ST->hasGFX950Insts();
353}
354
355unsigned GCNTTIImpl::getLoadVectorFactor(unsigned VF, unsigned LoadSize,
356 unsigned ChainSizeInBytes,
357 VectorType *VecTy) const {
358 unsigned VecRegBitWidth = VF * LoadSize;
359 if (VecRegBitWidth > 128 && VecTy->getScalarSizeInBits() < 32)
360 // TODO: Support element-size less than 32bit?
361 return 128 / LoadSize;
362
363 return VF;
364}
365
366unsigned GCNTTIImpl::getStoreVectorFactor(unsigned VF, unsigned StoreSize,
367 unsigned ChainSizeInBytes,
368 VectorType *VecTy) const {
369 unsigned VecRegBitWidth = VF * StoreSize;
370 if (VecRegBitWidth > 128)
371 return 128 / StoreSize;
372
373 return VF;
374}
375
376unsigned GCNTTIImpl::getLoadStoreVecRegBitWidth(unsigned AddrSpace) const {
377 if (AddrSpace == AMDGPUAS::GLOBAL_ADDRESS ||
378 AddrSpace == AMDGPUAS::CONSTANT_ADDRESS ||
380 AddrSpace == AMDGPUAS::BUFFER_FAT_POINTER ||
381 AddrSpace == AMDGPUAS::BUFFER_RESOURCE ||
383 return 512;
384 }
385
386 if (AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)
387 return 8 * ST->getMaxPrivateElementSize();
388
389 // Common to flat, global, local and region. Assume for unknown addrspace.
390 return 128;
391}
392
393bool GCNTTIImpl::isLegalToVectorizeMemChain(unsigned ChainSizeInBytes,
394 Align Alignment,
395 unsigned AddrSpace) const {
396 // We allow vectorization of flat stores, even though we may need to decompose
397 // them later if they may access private memory. We don't have enough context
398 // here, and legalization can handle it.
399 if (AddrSpace == AMDGPUAS::PRIVATE_ADDRESS) {
400 return (Alignment >= 4 || ST->hasUnalignedScratchAccessEnabled()) &&
401 ChainSizeInBytes <= ST->getMaxPrivateElementSize();
402 }
403 return true;
404}
405
406bool GCNTTIImpl::isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes,
407 Align Alignment,
408 unsigned AddrSpace) const {
409 return isLegalToVectorizeMemChain(ChainSizeInBytes, Alignment, AddrSpace);
410}
411
412bool GCNTTIImpl::isLegalToVectorizeStoreChain(unsigned ChainSizeInBytes,
413 Align Alignment,
414 unsigned AddrSpace) const {
415 return isLegalToVectorizeMemChain(ChainSizeInBytes, Alignment, AddrSpace);
416}
417
419 return 1024;
420}
421
423 LLVMContext &Context, Value *Length, unsigned SrcAddrSpace,
424 unsigned DestAddrSpace, Align SrcAlign, Align DestAlign,
425 std::optional<uint32_t> AtomicElementSize) const {
426
427 if (AtomicElementSize)
428 return Type::getIntNTy(Context, *AtomicElementSize * 8);
429
430 // 16-byte accesses achieve the highest copy throughput.
431 // If the operation has a fixed known length that is large enough, it is
432 // worthwhile to return an even wider type and let legalization lower it into
433 // multiple accesses, effectively unrolling the memcpy loop.
434 // We also rely on legalization to decompose into smaller accesses for
435 // subtargets and address spaces where it is necessary.
436 //
437 // Don't unroll if Length is not a constant, since unrolling leads to worse
438 // performance for length values that are smaller or slightly larger than the
439 // total size of the type returned here. Mitigating that would require a more
440 // complex lowering for variable-length memcpy and memmove.
441 unsigned I32EltsInVector = 4;
444 MemcpyLoopUnroll * I32EltsInVector);
445
446 return FixedVectorType::get(Type::getInt32Ty(Context), I32EltsInVector);
447}
448
450 SmallVectorImpl<Type *> &OpsOut, LLVMContext &Context,
451 unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace,
452 Align SrcAlign, Align DestAlign,
453 std::optional<uint32_t> AtomicCpySize) const {
454
455 if (AtomicCpySize)
457 OpsOut, Context, RemainingBytes, SrcAddrSpace, DestAddrSpace, SrcAlign,
458 DestAlign, AtomicCpySize);
459
460 Type *I32x4Ty = FixedVectorType::get(Type::getInt32Ty(Context), 4);
461 while (RemainingBytes >= 16) {
462 OpsOut.push_back(I32x4Ty);
463 RemainingBytes -= 16;
464 }
465
466 Type *I64Ty = Type::getInt64Ty(Context);
467 while (RemainingBytes >= 8) {
468 OpsOut.push_back(I64Ty);
469 RemainingBytes -= 8;
470 }
471
472 Type *I32Ty = Type::getInt32Ty(Context);
473 while (RemainingBytes >= 4) {
474 OpsOut.push_back(I32Ty);
475 RemainingBytes -= 4;
476 }
477
478 Type *I16Ty = Type::getInt16Ty(Context);
479 while (RemainingBytes >= 2) {
480 OpsOut.push_back(I16Ty);
481 RemainingBytes -= 2;
482 }
483
484 Type *I8Ty = Type::getInt8Ty(Context);
485 while (RemainingBytes) {
486 OpsOut.push_back(I8Ty);
487 --RemainingBytes;
488 }
489}
490
492 bool HasUnorderedReductions) const {
493 // Disable unrolling if the loop is not vectorized.
494 // TODO: Enable this again.
495 if (VF.isScalar())
496 return 1;
497
498 return 8;
499}
500
502 MemIntrinsicInfo &Info) const {
503 switch (Inst->getIntrinsicID()) {
504 case Intrinsic::amdgcn_ds_ordered_add:
505 case Intrinsic::amdgcn_ds_ordered_swap: {
506 auto *Ordering = dyn_cast<ConstantInt>(Inst->getArgOperand(2));
507 auto *Volatile = dyn_cast<ConstantInt>(Inst->getArgOperand(4));
508 if (!Ordering || !Volatile)
509 return false; // Invalid.
510
511 unsigned OrderingVal = Ordering->getZExtValue();
512 if (OrderingVal > static_cast<unsigned>(AtomicOrdering::SequentiallyConsistent))
513 return false;
514
515 Info.PtrVal = Inst->getArgOperand(0);
516 Info.Ordering = static_cast<AtomicOrdering>(OrderingVal);
517 Info.ReadMem = true;
518 Info.WriteMem = true;
519 Info.IsVolatile = !Volatile->isZero();
520 return true;
521 }
522 default:
523 return false;
524 }
525}
526
527/// \returns true if \p FMul and its single fadd/fsub user \p FAddSub are
528/// expected to fuse during instruction selection. \p Ty is the type the fused
529/// operation runs on.
530static bool canFuseFMulWithFAddSub(const SITargetLowering &TLI, Type *Ty,
531 const Instruction *FMul,
532 const Instruction *FAddSub) {
533 assert((FAddSub->getOpcode() == Instruction::FAdd ||
534 FAddSub->getOpcode() == Instruction::FSub) &&
535 "Expected an fadd or an fsub");
536
537 // The mad forms fuse exactly without fast-math flags but flush denormals.
538 // An fma forms only when it is not slower than the separate operations.
539 const Function &F = *FAddSub->getFunction();
540 const bool HasFMAD = TLI.isFMADLegal(F, Ty);
541 const bool HasFMA = TLI.isFMAFasterThanFMulAndFAdd(F, Ty);
542 if (!HasFMAD && !HasFMA)
543 return false;
544
545 // Without a mad the pair fuses only when both carry contract.
546 return HasFMAD || (FAddSub->hasAllowContract() && FMul->hasAllowContract());
547}
548
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.
639 if (CtxI && CtxI->hasOneUse()) {
640 const auto *FAddSub = dyn_cast<BinaryOperator>(*CtxI->user_begin());
641 if (FAddSub &&
642 (FAddSub->getOpcode() == Instruction::FAdd ||
643 FAddSub->getOpcode() == Instruction::FSub) &&
644 isFusedFMul(*TLI, Ty, CtxI, FAddSub))
646 }
647 [[fallthrough]];
648 case ISD::FADD:
649 case ISD::FSUB:
650 if (ST->hasAnyPackedFP32Ops() && SLT == MVT::f32)
651 NElts = (NElts + 1) / 2;
652 if (ST->hasBF16PackedInsts() && SLT == MVT::bf16)
653 NElts = (NElts + 1) / 2;
654 if (SLT == MVT::f64) {
655 if (ST->hasAnyPackedFP64Ops())
656 NElts = (NElts + 1) / 2;
657 return LT.first * NElts * get64BitInstrCost(CostKind);
658 }
659
660 if (ST->has16BitInsts() && SLT == MVT::f16)
661 NElts = (NElts + 1) / 2;
662
663 if (SLT == MVT::f32 || SLT == MVT::f16 || SLT == MVT::bf16)
664 return LT.first * NElts * getFullRateInstrCost();
665 break;
666 case ISD::FDIV:
667 case ISD::FREM:
668 // FIXME: frem should be handled separately. The fdiv in it is most of it,
669 // but the current lowering is also not entirely correct.
670 if (SLT == MVT::f64) {
671 int Cost = 7 * get64BitInstrCost(CostKind) +
672 getQuarterRateInstrCost(CostKind) +
673 3 * getHalfRateInstrCost(CostKind);
674 // Add cost of workaround.
675 if (!ST->hasUsableDivScaleConditionOutput())
676 Cost += 3 * getFullRateInstrCost();
677
678 return LT.first * Cost * NElts;
679 }
680
681 if (!Args.empty() && match(Args[0], PatternMatch::m_FPOne())) {
682 // TODO: This is more complicated, unsafe flags etc.
683 if ((SLT == MVT::f32 && !HasFP32Denormals) ||
684 (SLT == MVT::f16 && ST->has16BitInsts())) {
685 return LT.first * getTransInstrCost(CostKind) * NElts;
686 }
687 }
688
689 if (SLT == MVT::f16 && ST->has16BitInsts()) {
690 // 2 x v_cvt_f32_f16
691 // f32 rcp
692 // f32 fmul
693 // v_cvt_f16_f32
694 // f16 div_fixup
695 int Cost = 4 * getFullRateInstrCost() + 2 * getTransInstrCost(CostKind);
696 return LT.first * Cost * NElts;
697 }
698
699 if (SLT == MVT::f32 && (CtxI && CtxI->hasApproxFunc())) {
700 // Fast unsafe fdiv lowering:
701 // f32 rcp
702 // f32 fmul
703 int Cost = getTransInstrCost(CostKind) + getFullRateInstrCost();
704 return LT.first * Cost * NElts;
705 }
706
707 if (SLT == MVT::f32 || SLT == MVT::f16) {
708 // 4 more v_cvt_* insts without f16 insts support
709 int Cost = (SLT == MVT::f16 ? 14 : 10) * getFullRateInstrCost() +
710 1 * getTransInstrCost(CostKind);
711
712 if (!HasFP32Denormals) {
713 // FP mode switches.
714 Cost += 2 * getFullRateInstrCost();
715 }
716
717 return LT.first * NElts * Cost;
718 }
719 break;
720 case ISD::FNEG:
721 // Use the backend' estimation. If fneg is not free each element will cost
722 // one additional instruction.
723 return TLI->isFNegFree(SLT) ? 0 : NElts;
724 default:
725 break;
726 }
727
728 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind, Op1Info, Op2Info,
729 Args, CtxI);
730}
731
732// Return true if there's a potential benefit from using v2f16/v2i16
733// instructions for an intrinsic, even if it requires nontrivial legalization.
735 switch (ID) {
736 case Intrinsic::fma:
737 case Intrinsic::fmuladd:
738 case Intrinsic::copysign:
739 case Intrinsic::minimumnum:
740 case Intrinsic::maximumnum:
741 case Intrinsic::canonicalize:
742 // There's a small benefit to using vector ops in the legalized code.
743 case Intrinsic::round:
744 case Intrinsic::uadd_sat:
745 case Intrinsic::usub_sat:
746 case Intrinsic::sadd_sat:
747 case Intrinsic::ssub_sat:
748 case Intrinsic::abs:
749 return true;
750 default:
751 return false;
752 }
753}
754
758 switch (ICA.getID()) {
759 case Intrinsic::fabs:
760 // Free source modifier in the common case.
761 return 0;
762 case Intrinsic::amdgcn_workitem_id_x:
763 case Intrinsic::amdgcn_workitem_id_y:
764 case Intrinsic::amdgcn_workitem_id_z:
765 // TODO: If hasPackedTID, or if the calling context is not an entry point
766 // there may be a bit instruction.
767 return 0;
768 case Intrinsic::amdgcn_workgroup_id_x:
769 case Intrinsic::amdgcn_workgroup_id_y:
770 case Intrinsic::amdgcn_workgroup_id_z:
771 case Intrinsic::amdgcn_lds_kernel_id:
772 case Intrinsic::amdgcn_dispatch_ptr:
773 case Intrinsic::amdgcn_dispatch_id:
774 case Intrinsic::amdgcn_implicitarg_ptr:
775 case Intrinsic::amdgcn_queue_ptr:
776 // Read from an argument register.
777 return 0;
778 default:
779 break;
780 }
781
782 Type *RetTy = ICA.getReturnType();
783
784 Intrinsic::ID IID = ICA.getID();
785 switch (IID) {
786 case Intrinsic::exp:
787 case Intrinsic::exp2:
788 case Intrinsic::exp10: {
789 // Legalize the type.
790 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
791 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
792 unsigned NElts =
793 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
794
795 if (SLT == MVT::f64) {
796 unsigned NumOps = 20;
797 if (IID == Intrinsic::exp)
798 ++NumOps;
799 else if (IID == Intrinsic::exp10)
800 NumOps += 3;
801
802 return LT.first * NElts * NumOps * get64BitInstrCost(CostKind);
803 }
804
805 if (SLT == MVT::f32) {
806 unsigned NumFullRateOps = 0;
807 // v_exp_f32 (transcendental).
808 unsigned NumTransOps = 1;
809
810 if (!ICA.getFlags().approxFunc() && IID != Intrinsic::exp2) {
811 // Non-AFN exp/exp10: range reduction + v_exp_f32 + ldexp +
812 // overflow/underflow checks (lowerFEXP). Denorm is also handled.
813 // FMA preamble: ~13 full-rate ops; non-FMA: ~17.
814 NumFullRateOps = ST->hasFastFMAF32() ? 13 : 17;
815 } else {
816 if (IID == Intrinsic::exp) {
817 // lowerFEXPUnsafe: fmul (base conversion) + v_exp_f32.
818 NumFullRateOps = 1;
819 } else if (IID == Intrinsic::exp10) {
820 // lowerFEXP10Unsafe: 3 fmul + 2 v_exp_f32 (double-exp2).
821 NumFullRateOps = 3;
822 NumTransOps = 2;
823 }
824 // Denorm scaling adds setcc + select + fadd + select + fmul.
825 if (HasFP32Denormals)
826 NumFullRateOps += 5;
827 }
828
829 InstructionCost Cost = NumFullRateOps * getFullRateInstrCost() +
830 NumTransOps * getTransInstrCost(CostKind);
831 return LT.first * NElts * Cost;
832 }
833
834 break;
835 }
836 case Intrinsic::log:
837 case Intrinsic::log2:
838 case Intrinsic::log10: {
839 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
840 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
841 unsigned NElts =
842 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
843
844 if (SLT == MVT::f32) {
845 unsigned NumFullRateOps = 0;
846
847 if (IID == Intrinsic::log2) {
848 // LowerFLOG2: just v_log_f32.
849 } else if (ICA.getFlags().approxFunc()) {
850 // LowerFLOGUnsafe: v_log_f32 + fmul (base conversion).
851 NumFullRateOps = 1;
852 } else {
853 // LowerFLOGCommon non-AFN: v_log_f32 + extended-precision
854 // multiply + finite check.
855 NumFullRateOps = ST->hasFastFMAF32() ? 8 : 11;
856 }
857
858 if (HasFP32Denormals)
859 NumFullRateOps += 5;
860
862 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
863 return LT.first * NElts * Cost;
864 }
865
866 break;
867 }
868 case Intrinsic::sin:
869 case Intrinsic::cos: {
870 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
871 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
872 unsigned NElts =
873 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
874
875 if (SLT == MVT::f32) {
876 // LowerTrig: fmul(1/2pi) + v_sin/v_cos.
877 unsigned NumFullRateOps = ST->hasTrigReducedRange() ? 2 : 1;
878
880 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
881 return LT.first * NElts * Cost;
882 }
883
884 break;
885 }
886 case Intrinsic::sqrt: {
887 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
888 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
889 unsigned NElts =
890 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
891
892 if (SLT == MVT::f32) {
893 unsigned NumFullRateOps = 0;
894
895 if (!ICA.getFlags().approxFunc()) {
896 // lowerFSQRTF32 non-AFN: v_sqrt_f32 + refinement + scale fixup.
897 NumFullRateOps = HasFP32Denormals ? 17 : 16;
898 }
899
901 NumFullRateOps * getFullRateInstrCost() + getTransInstrCost(CostKind);
902 return LT.first * NElts * Cost;
903 }
904
905 break;
906 }
907 default:
908 break;
909 }
910
913
914 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(RetTy);
915 MVT::SimpleValueType SLT = LT.second.getScalarType().SimpleTy;
916 unsigned NElts = LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
917
918 if ((ST->hasVOP3PInsts() &&
919 (SLT == MVT::f16 || SLT == MVT::i16 ||
920 (SLT == MVT::bf16 && ST->hasBF16PackedInsts()))) ||
921 (ST->hasAnyPackedFP64Ops() && SLT == MVT::f64) ||
922 (ST->hasAnyPackedU64Ops() && SLT == MVT::i64)) {
923 NElts = (NElts + 1) / 2;
924 } else if (SLT == MVT::f32) {
925 bool HasPk2FP32Op = ST->hasAnyPackedFP32Ops() &&
926 IID != Intrinsic::minimumnum &&
927 IID != Intrinsic::maximumnum;
928 NElts = HasPk2FP32Op ? (NElts + 1) / 2 : NElts;
929 }
930
931 // TODO: Get more refined intrinsic costs?
932 unsigned InstRate = getQuarterRateInstrCost(CostKind);
933
934 switch (ICA.getID()) {
935 case Intrinsic::fma:
936 case Intrinsic::fmuladd:
937 if (SLT == MVT::f64) {
938 InstRate = get64BitInstrCost(CostKind);
939 break;
940 }
941
942 if ((SLT == MVT::f32 && ST->hasFastFMAF32()) || SLT == MVT::f16)
943 InstRate = getFullRateInstrCost();
944 else {
945 InstRate = ST->hasFastFMAF32() ? getHalfRateInstrCost(CostKind)
946 : getQuarterRateInstrCost(CostKind);
947 }
948 break;
949 case Intrinsic::copysign:
950 return NElts * getFullRateInstrCost();
951 case Intrinsic::minimumnum:
952 case Intrinsic::maximumnum: {
953 // Instruction + 2 canonicalizes. For cases that need type promotion, we the
954 // promotion takes the place of the canonicalize.
955 unsigned NumOps = 3;
956 if (const IntrinsicInst *II = ICA.getInst()) {
957 // Directly legal with ieee=0
958 // TODO: Not directly legal with strictfp
960 NumOps = 1;
961 }
962
963 unsigned BaseRate =
964 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
965 InstRate = BaseRate * NumOps;
966 break;
967 }
968 case Intrinsic::canonicalize: {
969 InstRate =
970 SLT == MVT::f64 ? get64BitInstrCost(CostKind) : getFullRateInstrCost();
971 break;
972 }
973 case Intrinsic::uadd_sat:
974 case Intrinsic::usub_sat:
975 case Intrinsic::sadd_sat:
976 case Intrinsic::ssub_sat: {
977 if (SLT == MVT::i16 || SLT == MVT::i32)
978 InstRate = getFullRateInstrCost();
979
980 static const auto ValidSatTys = {MVT::v2i16, MVT::v4i16};
981 if (any_of(ValidSatTys, equal_to(LT.second)))
982 NElts = 1;
983 break;
984 }
985 case Intrinsic::abs:
986 // Expansion takes 2 instructions for VALU
987 if (SLT == MVT::i16 || SLT == MVT::i32)
988 InstRate = 2 * getFullRateInstrCost();
989 break;
990 default:
991 break;
992 }
993
994 return LT.first * NElts * InstRate;
995}
996
999 const Instruction *I) const {
1000 assert((I == nullptr || I->getOpcode() == Opcode) &&
1001 "Opcode should reflect passed instruction.");
1002 const bool SCost =
1004 const int CBrCost = SCost ? 5 : 7;
1005 switch (Opcode) {
1006 case Instruction::UncondBr:
1007 // Branch instruction takes about 4 slots on gfx900.
1008 return SCost ? 1 : 4;
1009 case Instruction::CondBr:
1010 // Suppose conditional branch takes additional 3 exec manipulations
1011 // instructions in average.
1012 return CBrCost;
1013 case Instruction::Switch: {
1014 const auto *SI = dyn_cast_or_null<SwitchInst>(I);
1015 // Each case (including default) takes 1 cmp + 1 cbr instructions in
1016 // average.
1017 return (SI ? (SI->getNumCases() + 1) : 4) * (CBrCost + 1);
1018 }
1019 case Instruction::Ret:
1020 return SCost ? 1 : 10;
1021 }
1022 return BaseT::getCFInstrCost(Opcode, CostKind, I);
1023}
1024
1026 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
1028 TTI::OperandValueInfo Op2Info, const Instruction *I) const {
1029 // For size and latency cost kinds, return a low cost independent of vector
1030 // width to enable SimplifyCFG's speculativelyExecuteBB optimization.
1032 return 1;
1033
1034 return BaseT::getCmpSelInstrCost(Opcode, ValTy, CondTy, VecPred, CostKind,
1035 Op1Info, Op2Info, I);
1036}
1037
1038// Measured packing cost of i1 for gfx9-12 is 4.0 to 4.8, up to 5.4 with
1039// true16; unpacking is 2.6 to 2.9.
1040static constexpr unsigned MaskPackCostPerElt = 4;
1041static constexpr unsigned MaskUnpackCostPerElt = 3;
1042
1043static std::optional<unsigned> getNumberOfPackedMaskElts(Type *Ty) {
1044 auto *FVT = dyn_cast<FixedVectorType>(Ty);
1045 if (FVT && FVT->getElementType()->isIntegerTy(1) && FVT->getNumElements() > 1)
1046 return FVT->getNumElements();
1047 return std::nullopt;
1048}
1049
1051 Type *Src,
1054 const Instruction *I) const {
1055 // A bitcast between a vector of i1 and an integer packs or unpacks a mask.
1056 if (Opcode == Instruction::BitCast) {
1057 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Src);
1058 Elts && Dst->isIntegerTy(*Elts))
1059 return InstructionCost(MaskPackCostPerElt) * *Elts *
1060 getFullRateInstrCost();
1061 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Dst);
1062 Elts && Src->isIntegerTy(*Elts))
1063 return InstructionCost(MaskUnpackCostPerElt) * *Elts *
1064 getFullRateInstrCost();
1065 }
1066
1067 const int ISD = TLI->InstructionOpcodeToISD(Opcode);
1068 switch (ISD) {
1069 case ISD::SINT_TO_FP:
1070 case ISD::UINT_TO_FP:
1071 case ISD::FP_TO_SINT:
1072 case ISD::FP_TO_UINT:
1073 break;
1074 default:
1075 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1076 }
1077
1078 const bool IsIntToFP = ISD == ISD::SINT_TO_FP || ISD == ISD::UINT_TO_FP;
1079 Type *FPTy = (IsIntToFP ? Dst : Src)->getScalarType();
1080 if (!FPTy->isHalfTy() && !FPTy->isBFloatTy() && !FPTy->isFloatTy() &&
1081 !FPTy->isDoubleTy())
1082 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1083
1084 unsigned NElts = 1;
1085 if (auto *VT = dyn_cast<FixedVectorType>(Src))
1086 NElts = VT->getNumElements();
1087
1088 const unsigned SrcBits = Src->getScalarSizeInBits();
1089 const unsigned DstBits = Dst->getScalarSizeInBits();
1090 const bool IsSigned = ISD == ISD::SINT_TO_FP || ISD == ISD::FP_TO_SINT;
1091 const unsigned IntBits = IsIntToFP ? SrcBits : DstBits;
1092 const bool UsesInt64 = IntBits > 32 && IntBits <= 64;
1093
1094 auto Scale = [&](unsigned FullRateOps,
1095 unsigned FP64Ops = 0) -> InstructionCost {
1096 return NElts * (InstructionCost(FullRateOps) * getFullRateInstrCost() +
1097 InstructionCost(FP64Ops) * get64BitInstrCost(CostKind));
1098 };
1099
1100 if (IsIntToFP) {
1101 const unsigned ExtOps = UsesInt64 && SrcBits < 64 ? (IsSigned ? 2 : 1) : 0;
1102 if (FPTy->isBFloatTy()) {
1103 const bool NarrowLanes =
1104 SrcBits >= 8 && SrcBits < 32 && isa<FixedVectorType>(Src);
1105 if (!NarrowLanes && SrcBits != 8 && SrcBits != 16 && SrcBits != 32 &&
1106 !UsesInt64)
1107 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1108
1109 // Each integer is converted to f32 first.
1110 InstructionCost FloatCost =
1111 Scale(UsesInt64 ? ExtOps + (IsSigned ? 12 : 8) : 1);
1112 if (NarrowLanes) {
1113 auto *FloatTy =
1114 FixedVectorType::get(Type::getFloatTy(Dst->getContext()), NElts);
1115 FloatCost = getCastInstrCost(Opcode, FloatTy, Src, CCH, CostKind);
1116 }
1117
1118 // Native rounding can convert a pair. With 16 bit instructions the
1119 // expansion extracts the low significand bit, adds the rounding bias,
1120 // preserves NaNs and shifts the result. Without gfx9 instructions the two
1121 // additions cannot use v_add3_u32.
1122 InstructionCost RoundCost =
1123 ST->hasBF16ConversionInsts()
1124 ? InstructionCost(divideCeil(NElts, 2)) * getFullRateInstrCost()
1125 : Scale(!ST->has16BitInsts() ? 1
1126 : ST->hasGFX9Insts() ? 6
1127 : 7);
1128 return FloatCost + RoundCost;
1129 }
1130
1131 // No instruction converts from a 64 bit integer.
1132 if (UsesInt64) {
1133 if (FPTy->isDoubleTy()) {
1134 // Two conversions, ldexp and add, all using the FP64 rate.
1135 return Scale(ExtOps, 4);
1136 }
1137 if (FPTy->isFloatTy())
1138 return Scale(ExtOps + (IsSigned ? 12 : 8));
1139 return Scale(ExtOps + (IsSigned ? 13 : 9));
1140 }
1141
1142 // A narrow vector source is converted lane by lane.
1143 if (SrcBits >= 8 && SrcBits < 32 && isa<FixedVectorType>(Src)) {
1144 if (FPTy->isDoubleTy())
1145 return Scale(1 + (SrcBits < 16 && IsSigned && ST->has16BitInsts()), 1);
1146 if (FPTy->isHalfTy()) {
1147 const InstructionCost PairCost =
1148 InstructionCost(NElts / 2) * getFullRateInstrCost();
1149 // Lanes wider than 16 bits, and every lane without 16 bit instructions,
1150 // are converted to f32 first. With the packed conversion each pair is
1151 // then converted at once. Otherwise each lane is converted, and without
1152 // real true16 each pair of halves is packed.
1153 if (!ST->has16BitInsts() || SrcBits > 16) {
1154 auto *FloatTy =
1155 FixedVectorType::get(Type::getFloatTy(Dst->getContext()), NElts);
1156 const InstructionCost FloatCost =
1157 getCastInstrCost(Opcode, FloatTy, Src, CCH, CostKind);
1158 if (ST->has16BitInsts() && ST->hasCvtPkF16F32Inst())
1159 return FloatCost + InstructionCost(divideCeil(NElts, 2)) *
1160 getFullRateInstrCost();
1161 const unsigned PackOps =
1162 !ST->has16BitInsts() ? 2 : !ST->useRealTrue16Insts();
1163 return FloatCost + Scale(1) + PackOps * PairCost;
1164 }
1165 // Each lane is converted from a 16 bit subword. Lanes narrower than 16
1166 // bits are extended lane by lane, except bytes with SDWA. Signed bytes
1167 // are sign extended a pair at a time. Real true16 reads the high
1168 // subword in place, so only signed lanes narrower than 16 bits pay per
1169 // pair. Otherwise wider lanes shift the high subword of each pair down
1170 // without SDWA, and each pair of halves is packed.
1171 const unsigned PerElt =
1172 1 + (SrcBits == 8 ? !ST->hasSDWA() : SrcBits < 16);
1173 const bool RealTrue16 = ST->useRealTrue16Insts();
1174 const unsigned PerPair =
1175 !RealTrue16 + (SrcBits == 8 || RealTrue16 ? SrcBits < 16 && IsSigned
1176 : !ST->hasSDWA());
1177 return Scale(PerElt) + PerPair * PairCost;
1178 }
1179 // An unsigned byte is converted straight out of its register.
1180 if (SrcBits == 8 && !IsSigned)
1181 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1182 if (SrcBits < 16 && !IsSigned)
1183 return Scale(2);
1184 unsigned PerElt = ST->hasSDWA() && SrcBits <= 16 ? 1 : 2;
1185 if (SrcBits < 16 && ST->has16BitInsts())
1186 ++PerElt;
1187 return Scale(PerElt);
1188 }
1189
1190 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1191 }
1192
1193 // No instruction converts to a 64 bit integer.
1194 if (UsesInt64) {
1195 const bool IsSigned64 = IsSigned || (DstBits < 64 && NElts == 1);
1196 if (FPTy->isDoubleTy()) {
1197 // With native trunc/floor there are six FP64 operations. The expanded
1198 // rounding sequence has seven, plus integer operations and constants.
1199 return ST->haveRoundOpsF64() ? Scale(1, 6) : Scale(22, 7);
1200 }
1201 // The f32 expansion has one fma, which is quarter rate without fast FMA.
1202 const InstructionCost SlowFMACost =
1203 ST->hasFastFMAF32() ? 0
1204 : NElts * (getQuarterRateInstrCost(CostKind) -
1205 getFullRateInstrCost());
1206 if (FPTy->isFloatTy())
1207 return Scale(IsSigned64 ? 13 : 6) + SlowFMACost;
1208 if (FPTy->isBFloatTy()) {
1209 // Unlike half, bf16 does not fit in i32. Extend to f32 and use the full
1210 // i64 expansion.
1211 return Scale(1 + (IsSigned64 ? 13 : 6)) + SlowFMACost;
1212 }
1213 return Scale(3);
1214 }
1215
1216 return BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I);
1217}
1218
1221 std::optional<FastMathFlags> FMF,
1224 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
1225
1226 // An add or xor reduction over a vector of i1 becomes a bit count over the
1227 // packed mask; the generic model prices a shuffle tree and misses that.
1228 if (Opcode == Instruction::Add || Opcode == Instruction::Xor) {
1229 if (std::optional<unsigned> Elts = getNumberOfPackedMaskElts(Ty))
1230 return InstructionCost(MaskPackCostPerElt) * *Elts *
1231 getFullRateInstrCost();
1232 }
1233
1234 EVT OrigTy = TLI->getValueType(DL, Ty);
1235
1236 // Computes cost on targets that have packed math instructions(which support
1237 // 16-bit types only).
1238 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1239 return BaseT::getArithmeticReductionCost(Opcode, Ty, FMF, CostKind);
1240
1241 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1242 return LT.first * getFullRateInstrCost();
1243}
1244
1247 FastMathFlags FMF,
1249 EVT OrigTy = TLI->getValueType(DL, Ty);
1250
1251 // Computes cost on targets that have packed math instructions(which support
1252 // 16-bit types only).
1253 if (!ST->hasVOP3PInsts() || OrigTy.getScalarSizeInBits() != 16)
1254 return BaseT::getMinMaxReductionCost(IID, Ty, FMF, CostKind);
1255
1256 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1257 return LT.first * getHalfRateInstrCost(CostKind);
1258}
1259
1261 unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index,
1262 const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC) const {
1263 switch (Opcode) {
1264 case Instruction::ExtractElement:
1265 case Instruction::InsertElement: {
1266 unsigned EltSize
1267 = DL.getTypeSizeInBits(cast<VectorType>(ValTy)->getElementType());
1268 // Dynamic indexing isn't free and is best avoided.
1269 if (Index == ~0u)
1270 return 2;
1271 if (EltSize < 32) {
1272 if (EltSize == 16 && Index == 0 && ST->has16BitInsts())
1273 return 0;
1274 // Inserts of booleans are free.
1275 // TODO: Extracts are free too.
1276 if (EltSize == 1 && Opcode == Instruction::InsertElement)
1278 // Extract element sequences of consecutive i8 values that match a
1279 // register size are free most likely. It is not possible to know
1280 // if this extract is part of a consecutive sequence so this may
1281 // apply more generally.
1282 if (Opcode == Instruction::ExtractElement && EltSize == 8) {
1283 if (auto *FVTy = dyn_cast<FixedVectorType>(ValTy)) {
1284 unsigned NumElts = FVTy->getNumElements();
1285 if (NumElts >= 4 && isPowerOf2_32(NumElts))
1286 return 0;
1287 }
1288 }
1289 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1290 VIC);
1291 }
1292
1293 // Extracts are just reads of a subregister, so are free. Inserts are
1294 // considered free because we don't want to have any cost for scalarizing
1295 // operations, and we don't have to copy into a different register class.
1296 return 0;
1297 }
1298 default:
1299 return BaseT::getVectorInstrCost(Opcode, ValTy, CostKind, Index, Op0, Op1,
1300 VIC);
1301 }
1302}
1303
1304/// Analyze if the results of inline asm are divergent. If \p Indices is empty,
1305/// this is analyzing the collective result of all output registers. Otherwise,
1306/// this is only querying a specific result index if this returns multiple
1307/// registers in a struct.
1309 const CallInst *CI, ArrayRef<unsigned> Indices) const {
1310 // TODO: Handle complex extract indices
1311 if (Indices.size() > 1)
1312 return true;
1313
1314 const DataLayout &DL = CI->getDataLayout();
1315 const SIRegisterInfo *TRI = ST->getRegisterInfo();
1316 TargetLowering::AsmOperandInfoVector TargetConstraints =
1317 TLI->ParseConstraints(DL, ST->getRegisterInfo(), *CI);
1318
1319 const int TargetOutputIdx = Indices.empty() ? -1 : Indices[0];
1320
1321 int OutputIdx = 0;
1322 for (auto &TC : TargetConstraints) {
1323 if (TC.Type != InlineAsm::isOutput)
1324 continue;
1325
1326 // Skip outputs we don't care about.
1327 if (TargetOutputIdx != -1 && TargetOutputIdx != OutputIdx++)
1328 continue;
1329
1330 TLI->ComputeConstraintToUse(TC, SDValue());
1331
1332 const TargetRegisterClass *RC = TLI->getRegForInlineAsmConstraint(
1333 TRI, TC.ConstraintCode, TC.ConstraintVT).second;
1334
1335 // For AGPR constraints null is returned on subtargets without AGPRs, so
1336 // assume divergent for null.
1337 if (!RC || !TRI->isSGPRClass(RC))
1338 return true;
1339 }
1340
1341 return false;
1342}
1343
1345 const IntrinsicInst *ReadReg) const {
1346 Metadata *MD =
1347 cast<MetadataAsValue>(ReadReg->getArgOperand(0))->getMetadata();
1349 cast<MDString>(cast<MDNode>(MD)->getOperand(0))->getString();
1350
1351 // Special case registers that look like VCC.
1352 MVT VT = MVT::getVT(ReadReg->getType());
1353 if (VT == MVT::i1)
1354 return true;
1355
1356 // Special case scalar registers that start with 'v'.
1357 if (RegName.starts_with("vcc") || RegName.empty())
1358 return false;
1359
1360 // VGPR or AGPR is divergent. There aren't any specially named vector
1361 // registers.
1362 return RegName[0] == 'v' || RegName[0] == 'a';
1363}
1364
1365/// \returns true if the result of the value could potentially be
1366/// different across workitems in a wavefront.
1367bool GCNTTIImpl::isSourceOfDivergence(const Value *V) const {
1368 if (const Argument *A = dyn_cast<Argument>(V))
1370
1371 // Loads from the private and flat address spaces are divergent, because
1372 // threads can execute the load instruction with the same inputs and get
1373 // different results.
1374 //
1375 // All other loads are not divergent, because if threads issue loads with the
1376 // same arguments, they will always get the same result.
1377 if (const LoadInst *Load = dyn_cast<LoadInst>(V))
1378 return Load->getPointerAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS ||
1379 Load->getPointerAddressSpace() == AMDGPUAS::FLAT_ADDRESS;
1380
1381 // Atomics are divergent because they are executed sequentially: when an
1382 // atomic operation refers to the same address in each thread, then each
1383 // thread after the first sees the value written by the previous thread as
1384 // original value.
1386 return true;
1387
1389 Intrinsic::ID IID = Intrinsic->getIntrinsicID();
1390 switch (IID) {
1391 case Intrinsic::read_register:
1393 case Intrinsic::amdgcn_workitem_id_y:
1394 case Intrinsic::amdgcn_workitem_id_z: {
1395 const Function *F = Intrinsic->getFunction();
1396 bool HasUniformYZ =
1397 ST->hasWavefrontsEvenlySplittingXDim(*F, /*RequitezUniformYZ=*/true);
1398 std::optional<unsigned> ThisDimSize = ST->getReqdWorkGroupSize(
1399 *F, IID == Intrinsic::amdgcn_workitem_id_y ? 1 : 2);
1400 return !HasUniformYZ && (!ThisDimSize || *ThisDimSize != 1);
1401 }
1402 default:
1404 }
1405 }
1406
1407 // Assume all function calls are a source of divergence.
1408 if (const CallInst *CI = dyn_cast<CallInst>(V)) {
1409 if (CI->isInlineAsm())
1411 return true;
1412 }
1413
1414 // Assume all function calls are a source of divergence.
1415 if (isa<InvokeInst>(V))
1416 return true;
1417
1418 // If the target supports globally addressable scratch, the mapping from
1419 // scratch memory to the flat aperture changes therefore an address space cast
1420 // is no longer uniform.
1421 if (auto *CastI = dyn_cast<AddrSpaceCastInst>(V)) {
1422 return CastI->getSrcAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS &&
1423 CastI->getDestAddressSpace() == AMDGPUAS::FLAT_ADDRESS &&
1424 ST->hasGloballyAddressableScratch();
1425 }
1426
1427 return false;
1428}
1429
1430bool GCNTTIImpl::isAlwaysUniform(const Value *V) const {
1431 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(V))
1432 return AMDGPU::isIntrinsicAlwaysUniform(Intrinsic->getIntrinsicID());
1433
1434 if (const CallInst *CI = dyn_cast<CallInst>(V)) {
1435 if (CI->isInlineAsm())
1437 return false;
1438 }
1439
1440 // In most cases TID / wavefrontsize is uniform.
1441 //
1442 // However, if a kernel has uneven dimesions we can have a value of
1443 // workitem-id-x divided by the wavefrontsize non-uniform. For example
1444 // dimensions (65, 2) will have workitems with address (64, 0) and (0, 1)
1445 // packed into a same wave which gives 1 and 0 after the division by 64
1446 // respectively.
1447 //
1448 // The X dimension doesn't reset within a wave if either both the Y
1449 // and Z dimensions are of length 1, or if the X dimension's required
1450 // size is a power of 2. Note, however, if the X dimension's maximum
1451 // size is a power of 2 < the wavefront size, division by the wavefront
1452 // size is guaranteed to yield 0, so this is also a no-reset case.
1453 bool XDimDoesntResetWithinWaves = false;
1454 if (auto *I = dyn_cast<Instruction>(V)) {
1455 const Function *F = I->getFunction();
1456 XDimDoesntResetWithinWaves = ST->hasWavefrontsEvenlySplittingXDim(*F);
1457 }
1458 using namespace llvm::PatternMatch;
1459 uint64_t C;
1461 m_ConstantInt(C))) ||
1463 m_ConstantInt(C)))) {
1464 return C >= ST->getWavefrontSizeLog2() && XDimDoesntResetWithinWaves;
1465 }
1466
1467 Value *Mask;
1469 m_Value(Mask)))) {
1470 return computeKnownBits(Mask, DL).countMinTrailingZeros() >=
1471 ST->getWavefrontSizeLog2() &&
1472 XDimDoesntResetWithinWaves;
1473 }
1474
1475 const ExtractValueInst *ExtValue = dyn_cast<ExtractValueInst>(V);
1476 if (!ExtValue)
1477 return false;
1478
1479 const CallInst *CI = dyn_cast<CallInst>(ExtValue->getOperand(0));
1480 if (!CI)
1481 return false;
1482
1483 if (const IntrinsicInst *Intrinsic = dyn_cast<IntrinsicInst>(CI)) {
1484 switch (Intrinsic->getIntrinsicID()) {
1485 default:
1486 return false;
1487 case Intrinsic::amdgcn_if:
1488 case Intrinsic::amdgcn_else: {
1489 ArrayRef<unsigned> Indices = ExtValue->getIndices();
1490 return Indices.size() == 1 && Indices[0] == 1;
1491 }
1492 }
1493 }
1494
1495 // If we have inline asm returning mixed SGPR and VGPR results, we inferred
1496 // divergent for the overall struct return. We need to override it in the
1497 // case we're extracting an SGPR component here.
1498 if (CI->isInlineAsm())
1499 return !isInlineAsmSourceOfDivergence(CI, ExtValue->getIndices());
1500
1501 return false;
1502}
1503
1505 Intrinsic::ID IID) const {
1506 switch (IID) {
1507 case Intrinsic::amdgcn_is_shared:
1508 case Intrinsic::amdgcn_is_private:
1509 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1510 case Intrinsic::amdgcn_flat_atomic_fmin_num:
1511 case Intrinsic::amdgcn_load_to_lds:
1512 case Intrinsic::amdgcn_make_buffer_rsrc:
1513 OpIndexes.push_back(0);
1514 return true;
1515 default:
1516 return false;
1517 }
1518}
1519
1521 Value *OldV,
1522 Value *NewV) const {
1523 auto IntrID = II->getIntrinsicID();
1524 switch (IntrID) {
1525 case Intrinsic::amdgcn_is_shared:
1526 case Intrinsic::amdgcn_is_private: {
1527 unsigned TrueAS = IntrID == Intrinsic::amdgcn_is_shared ?
1529 unsigned NewAS = NewV->getType()->getPointerAddressSpace();
1530 LLVMContext &Ctx = NewV->getType()->getContext();
1531 ConstantInt *NewVal = (TrueAS == NewAS) ?
1533 return NewVal;
1534 }
1535 case Intrinsic::amdgcn_flat_atomic_fmax_num:
1536 case Intrinsic::amdgcn_flat_atomic_fmin_num: {
1537 Type *DestTy = II->getType();
1538 Type *SrcTy = NewV->getType();
1539 unsigned NewAS = SrcTy->getPointerAddressSpace();
1541 return nullptr;
1542 Module *M = II->getModule();
1544 M, II->getIntrinsicID(), {DestTy, SrcTy, DestTy});
1545 II->setArgOperand(0, NewV);
1546 II->setCalledFunction(NewDecl);
1547 return II;
1548 }
1549 case Intrinsic::amdgcn_load_to_lds: {
1550 Type *SrcTy = NewV->getType();
1551 Module *M = II->getModule();
1552 Function *NewDecl =
1553 Intrinsic::getOrInsertDeclaration(M, II->getIntrinsicID(), {SrcTy});
1554 II->setArgOperand(0, NewV);
1555 II->setCalledFunction(NewDecl);
1556 return II;
1557 }
1558 case Intrinsic::amdgcn_make_buffer_rsrc: {
1559 Type *SrcTy = NewV->getType();
1560 Type *DstTy = II->getType();
1561 Type *NumRecordsTy = II->getArgOperand(2)->getType();
1562 Module *M = II->getModule();
1564 M, II->getIntrinsicID(), {DstTy, SrcTy, NumRecordsTy});
1565 II->setArgOperand(0, NewV);
1566 II->setCalledFunction(NewDecl);
1567 return II;
1568 }
1569 default:
1570 return nullptr;
1571 }
1572}
1573
1575 TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy,
1577 VectorType *SubTp, ArrayRef<const Value *> Args, const Instruction *CtxI,
1578 TTI::VectorInstrContext VIC) const {
1579 if (!isa<FixedVectorType>(SrcTy))
1580 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, CostKind, Mask, Index,
1581 SubTp);
1582
1583 Kind = improveShuffleKindFromMask(Kind, Mask, SrcTy, Index, SubTp);
1584
1585 unsigned ScalarSize = DL.getTypeSizeInBits(SrcTy->getElementType());
1586 if (ST->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS &&
1587 (ScalarSize == 16 || ScalarSize == 8)) {
1588 // Larger vector widths may require additional instructions, but are
1589 // typically cheaper than scalarized versions.
1590 //
1591 // We assume that shuffling at a register granularity can be done for free.
1592 // This is not true for vectors fed into memory instructions, but it is
1593 // effectively true for all other shuffling. The emphasis of the logic here
1594 // is to assist generic transform in cleaning up / canonicalizing those
1595 // shuffles.
1596
1597 // With op_sel VOP3P instructions freely can access the low half or high
1598 // half of a register, so any swizzle of two elements is free.
1599 if (auto *SrcVecTy = dyn_cast<FixedVectorType>(SrcTy)) {
1600 unsigned NumSrcElts = SrcVecTy->getNumElements();
1601 if (ST->hasVOP3PInsts() && ScalarSize == 16 && NumSrcElts == 2 &&
1602 (Kind == TTI::SK_Broadcast || Kind == TTI::SK_Reverse ||
1603 Kind == TTI::SK_PermuteSingleSrc))
1604 return 0;
1605 }
1606
1607 unsigned EltsPerReg = 32 / ScalarSize;
1608 switch (Kind) {
1609 case TTI::SK_Broadcast:
1610 // A single v_perm_b32 can be re-used for all destination registers.
1611 return 1;
1612 case TTI::SK_Reverse:
1613 // One instruction per register.
1614 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1615 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1618 if (Index % EltsPerReg == 0)
1619 return 0; // Shuffling at register granularity
1620 if (auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy))
1621 return divideCeil(DstVecTy->getNumElements(), EltsPerReg);
1624 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1625 if (!DstVecTy)
1627 unsigned NumDstElts = DstVecTy->getNumElements();
1628 unsigned NumInsertElts = cast<FixedVectorType>(SubTp)->getNumElements();
1629 unsigned EndIndex = Index + NumInsertElts;
1630 unsigned BeginSubIdx = Index % EltsPerReg;
1631 unsigned EndSubIdx = EndIndex % EltsPerReg;
1632 unsigned Cost = 0;
1633
1634 if (BeginSubIdx != 0) {
1635 // Need to shift the inserted vector into place. The cost is the number
1636 // of destination registers overlapped by the inserted vector.
1637 Cost = divideCeil(EndIndex, EltsPerReg) - (Index / EltsPerReg);
1638 }
1639
1640 // If the last register overlap is partial, there may be three source
1641 // registers feeding into it; that takes an extra instruction.
1642 if (EndIndex < NumDstElts && BeginSubIdx < EndSubIdx)
1643 Cost += 1;
1644
1645 return Cost;
1646 }
1647 case TTI::SK_Splice: {
1648 auto *DstVecTy = dyn_cast<FixedVectorType>(DstTy);
1649 if (!DstVecTy)
1651 unsigned NumElts = DstVecTy->getNumElements();
1652 assert(NumElts == cast<FixedVectorType>(SrcTy)->getNumElements());
1653 // Determine the sub-region of the result vector that requires
1654 // sub-register shuffles / mixing.
1655 unsigned EltsFromLHS = NumElts - Index;
1656 bool LHSIsAligned = (Index % EltsPerReg) == 0;
1657 bool RHSIsAligned = (EltsFromLHS % EltsPerReg) == 0;
1658 if (LHSIsAligned && RHSIsAligned)
1659 return 0;
1660 if (LHSIsAligned && !RHSIsAligned)
1661 return divideCeil(NumElts, EltsPerReg) - (EltsFromLHS / EltsPerReg);
1662 if (!LHSIsAligned && RHSIsAligned)
1663 return divideCeil(EltsFromLHS, EltsPerReg);
1664 return divideCeil(NumElts, EltsPerReg);
1665 }
1666 default:
1667 break;
1668 }
1669
1670 if (!Mask.empty()) {
1671 unsigned NumSrcElts = cast<FixedVectorType>(SrcTy)->getNumElements();
1672
1673 // Generically estimate the cost by assuming that each destination
1674 // register is derived from sources via v_perm_b32 instructions if it
1675 // can't be copied as-is.
1676 //
1677 // For each destination register, derive the cost of obtaining it based
1678 // on the number of source registers that feed into it.
1679 unsigned Cost = 0;
1680 for (unsigned DstIdx = 0; DstIdx < Mask.size(); DstIdx += EltsPerReg) {
1682 bool Aligned = true;
1683 for (unsigned I = 0; I < EltsPerReg && DstIdx + I < Mask.size(); ++I) {
1684 int SrcIdx = Mask[DstIdx + I];
1685 if (SrcIdx == -1)
1686 continue;
1687 int Reg;
1688 if (SrcIdx < (int)NumSrcElts) {
1689 Reg = SrcIdx / EltsPerReg;
1690 if (SrcIdx % EltsPerReg != I)
1691 Aligned = false;
1692 } else {
1693 Reg = NumSrcElts + (SrcIdx - NumSrcElts) / EltsPerReg;
1694 if ((SrcIdx - NumSrcElts) % EltsPerReg != I)
1695 Aligned = false;
1696 }
1697 if (!llvm::is_contained(Regs, Reg))
1698 Regs.push_back(Reg);
1699 }
1700 if (Regs.size() >= 2)
1701 Cost += Regs.size() - 1;
1702 else if (!Aligned)
1703 Cost += 1;
1704 }
1705 return Cost;
1706 }
1707 }
1708
1709 return BaseT::getShuffleCost(Kind, DstTy, SrcTy, CostKind, Mask, Index,
1710 SubTp);
1711}
1712
1713/// Whether it is profitable to sink the operands of an
1714/// Instruction I to the basic block of I.
1715/// This helps using several modifiers (like abs and neg) more often.
1717 SmallVectorImpl<Use *> &Ops) const {
1718 using namespace PatternMatch;
1719
1720 // The cost model prices this fmul as free assuming it fuses with its
1721 // fadd/fsub user, which needs them in one block. Sink a stranded
1722 // loop-invariant fmul back to the user when they would fuse. Single use only,
1723 // so this stays a move.
1724 if (I->getOpcode() == Instruction::FAdd ||
1725 I->getOpcode() == Instruction::FSub) {
1726 const Instruction *FMul = getFusedFMul(*TLI, I->getType(), I);
1727 if (FMul && FMul->getParent() != I->getParent())
1728 Ops.push_back(&I->getOperandUse(I->getOperand(0) == FMul ? 0 : 1));
1729 }
1730
1731 for (auto &Op : I->operands()) {
1732 // Ensure we are not already sinking this operand.
1733 if (any_of(Ops, [&](Use *U) { return U->get() == Op.get(); }))
1734 continue;
1735
1736 if (match(&Op, m_FAbs(m_Value())) || match(&Op, m_FNeg(m_Value()))) {
1737 Ops.push_back(&Op);
1738 continue;
1739 }
1740
1741 // Check for zero-cost multiple use InsertElement/ExtractElement
1742 // instructions
1743 if (Instruction *OpInst = dyn_cast<Instruction>(Op.get())) {
1744 if (OpInst->getType()->isVectorTy() && OpInst->getNumOperands() > 1) {
1745 Instruction *VecOpInst = dyn_cast<Instruction>(OpInst->getOperand(0));
1746 if (VecOpInst && VecOpInst->hasOneUse())
1747 continue;
1748
1749 if (getVectorInstrCost(OpInst->getOpcode(), OpInst->getType(),
1751 OpInst->getOperand(0),
1752 OpInst->getOperand(1)) == 0) {
1753 Ops.push_back(&Op);
1754 continue;
1755 }
1756 }
1757 }
1758
1759 if (auto *Shuffle = dyn_cast<ShuffleVectorInst>(Op.get())) {
1760
1761 unsigned EltSize = DL.getTypeSizeInBits(
1762 cast<VectorType>(Shuffle->getType())->getElementType());
1763
1764 // For i32 (or greater) shufflevectors, these will be lowered into a
1765 // series of insert / extract elements, which will be coalesced away.
1766 if (EltSize < 16 || !ST->has16BitInsts())
1767 continue;
1768
1769 int NumSubElts, SubIndex;
1770 if (Shuffle->changesLength()) {
1771 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding()) {
1772 Ops.push_back(&Op);
1773 continue;
1774 }
1775
1776 if ((Shuffle->isExtractSubvectorMask(SubIndex) ||
1777 Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex)) &&
1778 !(SubIndex & 0x1)) {
1779 Ops.push_back(&Op);
1780 continue;
1781 }
1782 }
1783
1784 if (Shuffle->isReverse() || Shuffle->isZeroEltSplat() ||
1785 Shuffle->isSingleSource()) {
1786 Ops.push_back(&Op);
1787 continue;
1788 }
1789 }
1790 }
1791
1792 return !Ops.empty();
1793}
1794
1796 const Function *Callee) const {
1797 const TargetMachine &TM = getTLI()->getTargetMachine();
1798 const GCNSubtarget *CallerST
1799 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Caller));
1800 const GCNSubtarget *CalleeST
1801 = static_cast<const GCNSubtarget *>(TM.getSubtargetImpl(*Callee));
1802
1803 if (!BaseT::areInlineCompatible(Caller, Callee))
1804 return false;
1805
1806 // FIXME: dx10_clamp can just take the caller setting, but there seems to be
1807 // no way to support merge for backend defined attributes.
1808 SIModeRegisterDefaults CallerMode(*Caller, *CallerST);
1809 SIModeRegisterDefaults CalleeMode(*Callee, *CalleeST);
1810 if (!CallerMode.isInlineCompatible(CalleeMode))
1811 return false;
1812
1813 if (Callee->hasFnAttribute(Attribute::AlwaysInline) ||
1814 Callee->hasFnAttribute(Attribute::InlineHint))
1815 return true;
1816
1817 // Hack to make compile times reasonable.
1818 if (InlineMaxBB) {
1819 // Single BB does not increase total BB amount.
1820 if (Callee->size() == 1)
1821 return true;
1822 size_t BBSize = Caller->size() + Callee->size() - 1;
1823 if (BBSize > InlineMaxBB) {
1824 LLVM_DEBUG(dbgs() << "AMDGPU inline max-BB rejected inlining "
1825 << Callee->getName() << " into " << Caller->getName()
1826 << ": caller BBs=" << Caller->size() << ", callee BBs="
1827 << Callee->size() << ", combined BBs=" << BBSize
1828 << ", max BBs=" << InlineMaxBB << '\n');
1829 return false;
1830 }
1831 }
1832
1833 return true;
1834}
1835
1837 const SITargetLowering *TLI,
1838 const GCNTTIImpl *TTIImpl) {
1839 const int NrOfSGPRUntilSpill = 26;
1840 const int NrOfVGPRUntilSpill = 32;
1841
1842 const DataLayout &DL = TTIImpl->getDataLayout();
1843
1844 unsigned adjustThreshold = 0;
1845 int SGPRsInUse = 0;
1846 int VGPRsInUse = 0;
1847 for (const Use &A : CB->args()) {
1848 SmallVector<EVT, 4> ValueVTs;
1849 ComputeValueVTs(*TLI, DL, A.get()->getType(), ValueVTs);
1850 for (auto ArgVT : ValueVTs) {
1851 unsigned CCRegNum = TLI->getNumRegistersForCallingConv(
1852 CB->getContext(), CB->getCallingConv(), ArgVT);
1854 SGPRsInUse += CCRegNum;
1855 else
1856 VGPRsInUse += CCRegNum;
1857 }
1858 }
1859
1860 // The cost of passing function arguments through the stack:
1861 // 1 instruction to put a function argument on the stack in the caller.
1862 // 1 instruction to take a function argument from the stack in callee.
1863 // 1 instruction is explicitly take care of data dependencies in callee
1864 // function.
1865 InstructionCost ArgStackCost(1);
1866 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1867 Instruction::Store, Type::getInt32Ty(CB->getContext()), Align(4),
1869 ArgStackCost += const_cast<GCNTTIImpl *>(TTIImpl)->getMemoryOpCost(
1870 Instruction::Load, Type::getInt32Ty(CB->getContext()), Align(4),
1872
1873 // The penalty cost is computed relative to the cost of instructions and does
1874 // not model any storage costs.
1875 adjustThreshold += std::max(0, SGPRsInUse - NrOfSGPRUntilSpill) *
1876 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1877 adjustThreshold += std::max(0, VGPRsInUse - NrOfVGPRUntilSpill) *
1878 ArgStackCost.getValue() * InlineConstants::getInstrCost();
1879 return adjustThreshold;
1880}
1881
1882static unsigned getCallArgsTotalAllocaSize(const CallBase *CB,
1883 const DataLayout &DL) {
1884 // If we have a pointer to a private array passed into a function
1885 // it will not be optimized out, leaving scratch usage.
1886 // This function calculates the total size in bytes of the memory that would
1887 // end in scratch if the call was not inlined.
1888 unsigned AllocaSize = 0;
1890 for (Value *PtrArg : CB->args()) {
1891 PointerType *Ty = dyn_cast<PointerType>(PtrArg->getType());
1892 if (!Ty)
1893 continue;
1894
1895 unsigned AddrSpace = Ty->getAddressSpace();
1896 if (AddrSpace != AMDGPUAS::FLAT_ADDRESS &&
1897 AddrSpace != AMDGPUAS::PRIVATE_ADDRESS)
1898 continue;
1899
1901 if (!AI || !AI->isStaticAlloca() || !AIVisited.insert(AI).second)
1902 continue;
1903
1904 if (auto Size = AI->getAllocationSize(DL))
1905 AllocaSize += Size->getFixedValue();
1906 }
1907 return AllocaSize;
1908}
1909
1914
1916 unsigned Threshold = adjustInliningThresholdUsingCallee(CB, TLI, this);
1917
1918 // Private object passed as arguments may end up in scratch usage if the call
1919 // is not inlined. Increase the inline threshold to promote inlining.
1920 unsigned AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1921 if (AllocaSize > 0)
1922 Threshold += ArgAllocaCost;
1923 return Threshold;
1924}
1925
1927 const AllocaInst *AI) const {
1928
1929 // Below the cutoff, assume that the private memory objects would be
1930 // optimized
1931 auto AllocaSize = getCallArgsTotalAllocaSize(CB, DL);
1932 if (AllocaSize <= ArgAllocaCutoff)
1933 return 0;
1934
1935 // Above the cutoff, we give a cost to each private memory object
1936 // depending its size. If the array can be optimized by SROA this cost is not
1937 // added to the total-cost in the inliner cost analysis.
1938 //
1939 // We choose the total cost of the alloca such that their sum cancels the
1940 // bonus given in the threshold (ArgAllocaCost).
1941 //
1942 // Cost_Alloca_0 + ... + Cost_Alloca_N == ArgAllocaCost
1943 //
1944 // Awkwardly, the ArgAllocaCost bonus is multiplied by threshold-multiplier,
1945 // the single-bb bonus and the vector-bonus.
1946 //
1947 // We compensate the first two multipliers, by repeating logic from the
1948 // inliner-cost in here. The vector-bonus is 0 on AMDGPU.
1949 static_assert(InlinerVectorBonusPercent == 0, "vector bonus assumed to be 0");
1950 unsigned Threshold = ArgAllocaCost * getInliningThresholdMultiplier();
1951
1952 bool SingleBB = none_of(*CB->getCalledFunction(), [](const BasicBlock &BB) {
1953 return BB.getTerminator()->getNumSuccessors() > 1;
1954 });
1955 if (SingleBB) {
1956 Threshold += Threshold / 2;
1957 }
1958
1959 auto ArgAllocaSize = AI->getAllocationSize(DL);
1960 if (!ArgAllocaSize)
1961 return 0;
1962
1963 // Attribute the bonus proportionally to the alloca size
1964 unsigned AllocaThresholdBonus =
1965 (Threshold * ArgAllocaSize->getFixedValue()) / AllocaSize;
1966
1967 return AllocaThresholdBonus;
1968}
1969
1972 OptimizationRemarkEmitter *ORE) const {
1973 CommonTTI.getUnrollingPreferences(L, SE, UP, ORE);
1974}
1975
1977 TTI::PeelingPreferences &PP) const {
1978 CommonTTI.getPeelingPreferences(L, SE, PP);
1979}
1980
1981int GCNTTIImpl::getTransInstrCost(TTI::TargetCostKind CostKind) const {
1982 return getQuarterRateInstrCost(CostKind);
1983}
1984
1985int GCNTTIImpl::get64BitInstrCost(TTI::TargetCostKind CostKind) const {
1986 return ST->hasFullRate64Ops()
1987 ? getFullRateInstrCost()
1988 : ST->hasHalfRate64Ops() ? getHalfRateInstrCost(CostKind)
1989 : getQuarterRateInstrCost(CostKind);
1990}
1991
1992std::pair<InstructionCost, MVT>
1993GCNTTIImpl::getTypeLegalizationCost(Type *Ty) const {
1994 std::pair<InstructionCost, MVT> Cost = BaseT::getTypeLegalizationCost(Ty);
1995 auto Size = DL.getTypeSizeInBits(Ty);
1996 // Maximum load or store can handle 8 dwords for scalar and 4 for
1997 // vector ALU. Let's assume anything above 8 dwords is expensive
1998 // even if legal.
1999 if (Size <= 256)
2000 return Cost;
2001
2002 Cost.first += (Size + 255) / 256;
2003 return Cost;
2004}
2005
2007 if (ST->hasVmemPrefInsts() || ST->hasSmemPrefetchInsts())
2008 return ST->getDataCacheLineSize();
2009 return 0;
2010}
2011
2013 return ST->hasPrefetch() ? 128 : 0;
2014}
2015
2018}
2019
2021 const Function &F,
2022 SmallVectorImpl<std::pair<StringRef, int64_t>> &LB) const {
2024 LB.push_back({"amdgpu-max-num-workgroups[0]", MaxNumWorkgroups[0]});
2025 LB.push_back({"amdgpu-max-num-workgroups[1]", MaxNumWorkgroups[1]});
2026 LB.push_back({"amdgpu-max-num-workgroups[2]", MaxNumWorkgroups[2]});
2027 std::pair<unsigned, unsigned> FlatWorkGroupSize =
2028 ST->getFlatWorkGroupSizes(F);
2029 LB.push_back({"amdgpu-flat-work-group-size[0]", FlatWorkGroupSize.first});
2030 LB.push_back({"amdgpu-flat-work-group-size[1]", FlatWorkGroupSize.second});
2031 std::pair<unsigned, unsigned> WavesPerEU = ST->getWavesPerEU(F);
2032 LB.push_back({"amdgpu-waves-per-eu[0]", WavesPerEU.first});
2033 LB.push_back({"amdgpu-waves-per-eu[1]", WavesPerEU.second});
2034}
2035
2038 if (!ST->hasFeature(AMDGPU::FeatureDX10ClampAndIEEEMode))
2039 return KnownIEEEMode::On; // Only mode on gfx1170+
2040
2041 const Function *F = I.getFunction();
2042 if (!F)
2044
2045 Attribute IEEEAttr = F->getFnAttribute("amdgpu-ieee");
2046 if (IEEEAttr.isValid())
2048
2049 return AMDGPU::isShader(F->getCallingConv()) ? KnownIEEEMode::Off
2051}
2052
2054 Align Alignment,
2055 unsigned AddressSpace,
2057 TTI::OperandValueInfo OpInfo,
2058 const Instruction *I) const {
2059 if (VectorType *VecTy = dyn_cast<VectorType>(Src)) {
2060 if ((Opcode == Instruction::Load || Opcode == Instruction::Store) &&
2062 VecTy->getElementType()->isIntegerTy(8)) {
2063 return divideCeil(DL.getTypeSizeInBits(VecTy) - 1,
2065 }
2066 }
2067 return BaseT::getMemoryOpCost(Opcode, Src, Alignment, AddressSpace, CostKind,
2068 OpInfo, I);
2069}
2070
2072 if (VectorType *VecTy = dyn_cast<VectorType>(Tp)) {
2073 if (VecTy->getElementType()->isIntegerTy(8)) {
2074 unsigned ElementCount = VecTy->getElementCount().getFixedValue();
2075 return divideCeil(ElementCount - 1, 4);
2076 }
2077 }
2078 return BaseT::getNumberOfParts(Tp);
2079}
2080
2083 switch (Intrinsic->getIntrinsicID()) {
2084 case Intrinsic::amdgcn_wave_shuffle:
2086 default:
2087 break;
2088 }
2089 }
2090
2091 if (isAlwaysUniform(V))
2093
2094 if (isSourceOfDivergence(V))
2096
2098}
2099
2101 StackOffset BaseOffset,
2102 bool HasBaseReg, int64_t Scale,
2103 unsigned AddrSpace) const {
2104 if (HasBaseReg && Scale != 0) {
2105 // gfx1250+ can fold base+scale*index when scale matches the memory access
2106 // size (scale_offset bit). Supported for flat/global/constant/scratch
2107 // (VMEM, max 128 bits) and constant_32bit (SMRD, capped to 128 bits here).
2108 if (getST()->hasScaleOffset() && Ty && Ty->isSized() &&
2110 AddrSpace == AMDGPUAS::FLAT_ADDRESS ||
2111 AddrSpace == AMDGPUAS::PRIVATE_ADDRESS)) {
2112 TypeSize StoreSize = getDataLayout().getTypeStoreSize(Ty);
2113 if (TypeSize::isKnownLE(StoreSize, TypeSize::getFixed(16)) &&
2114 static_cast<int64_t>(StoreSize.getFixedValue()) == Scale)
2115 return 0;
2116 }
2117 return 1;
2118 }
2119 return BaseT::getScalingFactorCost(Ty, BaseGV, BaseOffset, HasBaseReg, Scale,
2120 AddrSpace);
2121}
2122
2124 const TTI::LSRCost &B) const {
2125 // Favor lower per-iteration work over preheader/setup costs.
2126 // AMDGPU lacks rich addressing modes, so ScaleCost is folded into the
2127 // effective instruction count (base+scale*index requires a separate ADD).
2128 unsigned EffInsnsA = A.Insns + A.ScaleCost;
2129 unsigned EffInsnsB = B.Insns + B.ScaleCost;
2130
2131 return std::tie(EffInsnsA, A.NumIVMuls, A.AddRecCost, A.NumBaseAdds,
2132 A.SetupCost, A.ImmCost, A.NumRegs) <
2133 std::tie(EffInsnsB, B.NumIVMuls, B.AddRecCost, B.NumBaseAdds,
2134 B.SetupCost, B.ImmCost, B.NumRegs);
2135}
2136
2138 // isLSRCostLess de-prioritizes register count; keep consistent.
2139 return false;
2140}
2141
2143 // Prefer the baseline when LSR cannot clearly reduce per-iteration work.
2144 return true;
2145}
2146
2148 const SmallBitVector &UniformArgs) const {
2150 switch (Intrinsic->getIntrinsicID()) {
2151 case Intrinsic::amdgcn_wave_shuffle:
2152 // wave_shuffle(Value, Index): result is uniform when either Value or Index
2153 // is uniform.
2154 return UniformArgs[0] || UniformArgs[1];
2155 default:
2156 llvm_unreachable("unexpected intrinsic in isUniform");
2157 }
2158}
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 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.
This class represents a function call, abstracting a target machine's calling convention.
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 isInlineAsmSourceOfDivergence(const CallInst *CI, ArrayRef< unsigned > Indices={}) const
Analyze if the results of inline asm are divergent.
bool isReadRegisterSourceOfDivergence(const IntrinsicInst *ReadReg) const
unsigned getMaximumVF(unsigned ElemWidth, unsigned Opcode) const override
unsigned getNumberOfRegisters(unsigned RCID) const override
bool isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const override
unsigned getCacheLineSize() const override
Data cache line size for LoopDataPrefetch pass. Has no use before GFX12.
unsigned getStoreVectorFactor(unsigned VF, unsigned StoreSize, unsigned ChainSizeInBytes, VectorType *VecTy) const override
bool isLegalToVectorizeMemChain(unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const
bool isLSRCostLess(const TTI::LSRCost &A, const TTI::LSRCost &B) const override
bool shouldPrefetchAddressSpace(unsigned AS) const override
InstructionCost getVectorInstrCost(unsigned Opcode, Type *ValTy, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
bool hasBranchDivergence(const Function *F=nullptr) const override
Value * rewriteIntrinsicWithAddressSpace(IntrinsicInst *II, Value *OldV, Value *NewV) const override
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 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:1092
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:24
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:264
@ SINT_TO_FP
[SU]INT_TO_FP - These operators convert integers (whose interpreted sign depends on the first letter)...
Definition ISDOpcodes.h:896
@ FADD
Simple binary floating point operators.
Definition ISDOpcodes.h:418
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ SHL
Shift and rotation operations.
Definition ISDOpcodes.h:777
@ FP_TO_SINT
FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
Definition ISDOpcodes.h:942
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition ISDOpcodes.h:747
LLVM_ABI int getInstrCost()
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
LLVM_ABI Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > OverloadTys={})
Look up the Function declaration of the intrinsic id in the Module M.
BinaryOp_match< LHS, RHS, Instruction::AShr > m_AShr(const LHS &L, const RHS &R)
BinaryOp_match< LHS, RHS, Instruction::And, true > m_c_And(const LHS &L, const RHS &R)
Matches an And with LHS and RHS in either order.
bool match(Val *V, const Pattern &P)
auto m_Value()
Match an arbitrary value and ignore it.
specific_fpval m_FPOne()
Match a float 1.0 or vector with all elements equal to 1.0.
auto m_Intrinsic(const Ts &...Ops)
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
auto m_FAbs(const Opnd0 &Op0)
BinaryOp_match< LHS, RHS, Instruction::LShr > m_LShr(const LHS &L, const RHS &R)
FNeg_match< OpTy > m_FNeg(const OpTy &X)
Match 'fneg X' as 'fsub -0.0, X'.
auto m_ConstantInt()
Match an arbitrary ConstantInt and ignore it.
initializer< Ty > init(const Ty &Val)
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract_or_null(Y &&MD)
Extract a Value from Metadata, allowing null.
Definition Metadata.h:705
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
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
Definition InstrProf.h:143
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1762
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition MathExtras.h:280
LLVM_ABI 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...