xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/AMDGPUPerfHintAnalysis.cpp (revision fe6060f10f634930ff71b7c50291ddc610da2475)
10b57cec5SDimitry Andric //===- AMDGPUPerfHintAnalysis.cpp - analysis of functions memory traffic --===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric /// \file
100b57cec5SDimitry Andric /// \brief Analyzes if a function potentially memory bound and if a kernel
110b57cec5SDimitry Andric /// kernel may benefit from limiting number of waves to reduce cache thrashing.
120b57cec5SDimitry Andric ///
130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric #include "AMDGPU.h"
160b57cec5SDimitry Andric #include "AMDGPUPerfHintAnalysis.h"
170b57cec5SDimitry Andric #include "Utils/AMDGPUBaseInfo.h"
180b57cec5SDimitry Andric #include "llvm/ADT/SmallSet.h"
190b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h"
200b57cec5SDimitry Andric #include "llvm/Analysis/CallGraph.h"
210b57cec5SDimitry Andric #include "llvm/Analysis/ValueTracking.h"
220b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/TargetPassConfig.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
250b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
26*fe6060f1SDimitry Andric #include "llvm/IR/IntrinsicInst.h"
270b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
285ffd83dbSDimitry Andric #include "llvm/Target/TargetMachine.h"
290b57cec5SDimitry Andric 
300b57cec5SDimitry Andric using namespace llvm;
310b57cec5SDimitry Andric 
320b57cec5SDimitry Andric #define DEBUG_TYPE "amdgpu-perf-hint"
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric static cl::opt<unsigned>
350b57cec5SDimitry Andric     MemBoundThresh("amdgpu-membound-threshold", cl::init(50), cl::Hidden,
360b57cec5SDimitry Andric                    cl::desc("Function mem bound threshold in %"));
370b57cec5SDimitry Andric 
380b57cec5SDimitry Andric static cl::opt<unsigned>
390b57cec5SDimitry Andric     LimitWaveThresh("amdgpu-limit-wave-threshold", cl::init(50), cl::Hidden,
400b57cec5SDimitry Andric                     cl::desc("Kernel limit wave threshold in %"));
410b57cec5SDimitry Andric 
420b57cec5SDimitry Andric static cl::opt<unsigned>
430b57cec5SDimitry Andric     IAWeight("amdgpu-indirect-access-weight", cl::init(1000), cl::Hidden,
440b57cec5SDimitry Andric              cl::desc("Indirect access memory instruction weight"));
450b57cec5SDimitry Andric 
460b57cec5SDimitry Andric static cl::opt<unsigned>
470b57cec5SDimitry Andric     LSWeight("amdgpu-large-stride-weight", cl::init(1000), cl::Hidden,
480b57cec5SDimitry Andric              cl::desc("Large stride memory access weight"));
490b57cec5SDimitry Andric 
500b57cec5SDimitry Andric static cl::opt<unsigned>
510b57cec5SDimitry Andric     LargeStrideThresh("amdgpu-large-stride-threshold", cl::init(64), cl::Hidden,
520b57cec5SDimitry Andric                       cl::desc("Large stride memory access threshold"));
530b57cec5SDimitry Andric 
540b57cec5SDimitry Andric STATISTIC(NumMemBound, "Number of functions marked as memory bound");
550b57cec5SDimitry Andric STATISTIC(NumLimitWave, "Number of functions marked as needing limit wave");
560b57cec5SDimitry Andric 
570b57cec5SDimitry Andric char llvm::AMDGPUPerfHintAnalysis::ID = 0;
580b57cec5SDimitry Andric char &llvm::AMDGPUPerfHintAnalysisID = AMDGPUPerfHintAnalysis::ID;
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric INITIALIZE_PASS(AMDGPUPerfHintAnalysis, DEBUG_TYPE,
610b57cec5SDimitry Andric                 "Analysis if a function is memory bound", true, true)
620b57cec5SDimitry Andric 
630b57cec5SDimitry Andric namespace {
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric struct AMDGPUPerfHint {
660b57cec5SDimitry Andric   friend AMDGPUPerfHintAnalysis;
670b57cec5SDimitry Andric 
680b57cec5SDimitry Andric public:
690b57cec5SDimitry Andric   AMDGPUPerfHint(AMDGPUPerfHintAnalysis::FuncInfoMap &FIM_,
700b57cec5SDimitry Andric                  const TargetLowering *TLI_)
710b57cec5SDimitry Andric       : FIM(FIM_), DL(nullptr), TLI(TLI_) {}
720b57cec5SDimitry Andric 
730b57cec5SDimitry Andric   bool runOnFunction(Function &F);
740b57cec5SDimitry Andric 
750b57cec5SDimitry Andric private:
760b57cec5SDimitry Andric   struct MemAccessInfo {
770b57cec5SDimitry Andric     const Value *V;
780b57cec5SDimitry Andric     const Value *Base;
790b57cec5SDimitry Andric     int64_t Offset;
800b57cec5SDimitry Andric     MemAccessInfo() : V(nullptr), Base(nullptr), Offset(0) {}
810b57cec5SDimitry Andric     bool isLargeStride(MemAccessInfo &Reference) const;
820b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
830b57cec5SDimitry Andric     Printable print() const {
840b57cec5SDimitry Andric       return Printable([this](raw_ostream &OS) {
850b57cec5SDimitry Andric         OS << "Value: " << *V << '\n'
860b57cec5SDimitry Andric            << "Base: " << *Base << " Offset: " << Offset << '\n';
870b57cec5SDimitry Andric       });
880b57cec5SDimitry Andric     }
890b57cec5SDimitry Andric #endif
900b57cec5SDimitry Andric   };
910b57cec5SDimitry Andric 
920b57cec5SDimitry Andric   MemAccessInfo makeMemAccessInfo(Instruction *) const;
930b57cec5SDimitry Andric 
940b57cec5SDimitry Andric   MemAccessInfo LastAccess; // Last memory access info
950b57cec5SDimitry Andric 
960b57cec5SDimitry Andric   AMDGPUPerfHintAnalysis::FuncInfoMap &FIM;
970b57cec5SDimitry Andric 
980b57cec5SDimitry Andric   const DataLayout *DL;
990b57cec5SDimitry Andric 
1000b57cec5SDimitry Andric   const TargetLowering *TLI;
1010b57cec5SDimitry Andric 
1020b57cec5SDimitry Andric   AMDGPUPerfHintAnalysis::FuncInfo *visit(const Function &F);
1030b57cec5SDimitry Andric   static bool isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo &F);
1040b57cec5SDimitry Andric   static bool needLimitWave(const AMDGPUPerfHintAnalysis::FuncInfo &F);
1050b57cec5SDimitry Andric 
1060b57cec5SDimitry Andric   bool isIndirectAccess(const Instruction *Inst) const;
1070b57cec5SDimitry Andric 
1080b57cec5SDimitry Andric   /// Check if the instruction is large stride.
1090b57cec5SDimitry Andric   /// The purpose is to identify memory access pattern like:
1100b57cec5SDimitry Andric   /// x = a[i];
1110b57cec5SDimitry Andric   /// y = a[i+1000];
1120b57cec5SDimitry Andric   /// z = a[i+2000];
1130b57cec5SDimitry Andric   /// In the above example, the second and third memory access will be marked
1140b57cec5SDimitry Andric   /// large stride memory access.
1150b57cec5SDimitry Andric   bool isLargeStride(const Instruction *Inst);
1160b57cec5SDimitry Andric 
1170b57cec5SDimitry Andric   bool isGlobalAddr(const Value *V) const;
1180b57cec5SDimitry Andric   bool isLocalAddr(const Value *V) const;
1190b57cec5SDimitry Andric   bool isConstantAddr(const Value *V) const;
1200b57cec5SDimitry Andric };
1210b57cec5SDimitry Andric 
1220b57cec5SDimitry Andric static const Value *getMemoryInstrPtr(const Instruction *Inst) {
1230b57cec5SDimitry Andric   if (auto LI = dyn_cast<LoadInst>(Inst)) {
1240b57cec5SDimitry Andric     return LI->getPointerOperand();
1250b57cec5SDimitry Andric   }
1260b57cec5SDimitry Andric   if (auto SI = dyn_cast<StoreInst>(Inst)) {
1270b57cec5SDimitry Andric     return SI->getPointerOperand();
1280b57cec5SDimitry Andric   }
1290b57cec5SDimitry Andric   if (auto AI = dyn_cast<AtomicCmpXchgInst>(Inst)) {
1300b57cec5SDimitry Andric     return AI->getPointerOperand();
1310b57cec5SDimitry Andric   }
1320b57cec5SDimitry Andric   if (auto AI = dyn_cast<AtomicRMWInst>(Inst)) {
1330b57cec5SDimitry Andric     return AI->getPointerOperand();
1340b57cec5SDimitry Andric   }
1350b57cec5SDimitry Andric   if (auto MI = dyn_cast<AnyMemIntrinsic>(Inst)) {
1360b57cec5SDimitry Andric     return MI->getRawDest();
1370b57cec5SDimitry Andric   }
1380b57cec5SDimitry Andric 
1390b57cec5SDimitry Andric   return nullptr;
1400b57cec5SDimitry Andric }
1410b57cec5SDimitry Andric 
1420b57cec5SDimitry Andric bool AMDGPUPerfHint::isIndirectAccess(const Instruction *Inst) const {
1430b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isIndirectAccess] " << *Inst << '\n');
1440b57cec5SDimitry Andric   SmallSet<const Value *, 32> WorkSet;
1450b57cec5SDimitry Andric   SmallSet<const Value *, 32> Visited;
1460b57cec5SDimitry Andric   if (const Value *MO = getMemoryInstrPtr(Inst)) {
1470b57cec5SDimitry Andric     if (isGlobalAddr(MO))
1480b57cec5SDimitry Andric       WorkSet.insert(MO);
1490b57cec5SDimitry Andric   }
1500b57cec5SDimitry Andric 
1510b57cec5SDimitry Andric   while (!WorkSet.empty()) {
1520b57cec5SDimitry Andric     const Value *V = *WorkSet.begin();
1530b57cec5SDimitry Andric     WorkSet.erase(*WorkSet.begin());
1540b57cec5SDimitry Andric     if (!Visited.insert(V).second)
1550b57cec5SDimitry Andric       continue;
1560b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "  check: " << *V << '\n');
1570b57cec5SDimitry Andric 
1580b57cec5SDimitry Andric     if (auto LD = dyn_cast<LoadInst>(V)) {
1590b57cec5SDimitry Andric       auto M = LD->getPointerOperand();
1600b57cec5SDimitry Andric       if (isGlobalAddr(M) || isLocalAddr(M) || isConstantAddr(M)) {
1610b57cec5SDimitry Andric         LLVM_DEBUG(dbgs() << "    is IA\n");
1620b57cec5SDimitry Andric         return true;
1630b57cec5SDimitry Andric       }
1640b57cec5SDimitry Andric       continue;
1650b57cec5SDimitry Andric     }
1660b57cec5SDimitry Andric 
1670b57cec5SDimitry Andric     if (auto GEP = dyn_cast<GetElementPtrInst>(V)) {
1680b57cec5SDimitry Andric       auto P = GEP->getPointerOperand();
1690b57cec5SDimitry Andric       WorkSet.insert(P);
1700b57cec5SDimitry Andric       for (unsigned I = 1, E = GEP->getNumIndices() + 1; I != E; ++I)
1710b57cec5SDimitry Andric         WorkSet.insert(GEP->getOperand(I));
1720b57cec5SDimitry Andric       continue;
1730b57cec5SDimitry Andric     }
1740b57cec5SDimitry Andric 
1750b57cec5SDimitry Andric     if (auto U = dyn_cast<UnaryInstruction>(V)) {
1760b57cec5SDimitry Andric       WorkSet.insert(U->getOperand(0));
1770b57cec5SDimitry Andric       continue;
1780b57cec5SDimitry Andric     }
1790b57cec5SDimitry Andric 
1800b57cec5SDimitry Andric     if (auto BO = dyn_cast<BinaryOperator>(V)) {
1810b57cec5SDimitry Andric       WorkSet.insert(BO->getOperand(0));
1820b57cec5SDimitry Andric       WorkSet.insert(BO->getOperand(1));
1830b57cec5SDimitry Andric       continue;
1840b57cec5SDimitry Andric     }
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric     if (auto S = dyn_cast<SelectInst>(V)) {
1870b57cec5SDimitry Andric       WorkSet.insert(S->getFalseValue());
1880b57cec5SDimitry Andric       WorkSet.insert(S->getTrueValue());
1890b57cec5SDimitry Andric       continue;
1900b57cec5SDimitry Andric     }
1910b57cec5SDimitry Andric 
1920b57cec5SDimitry Andric     if (auto E = dyn_cast<ExtractElementInst>(V)) {
1930b57cec5SDimitry Andric       WorkSet.insert(E->getVectorOperand());
1940b57cec5SDimitry Andric       continue;
1950b57cec5SDimitry Andric     }
1960b57cec5SDimitry Andric 
1970b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "    dropped\n");
1980b57cec5SDimitry Andric   }
1990b57cec5SDimitry Andric 
2000b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "  is not IA\n");
2010b57cec5SDimitry Andric   return false;
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric AMDGPUPerfHintAnalysis::FuncInfo *AMDGPUPerfHint::visit(const Function &F) {
2050b57cec5SDimitry Andric   AMDGPUPerfHintAnalysis::FuncInfo &FI = FIM[&F];
2060b57cec5SDimitry Andric 
2070b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[AMDGPUPerfHint] process " << F.getName() << '\n');
2080b57cec5SDimitry Andric 
2090b57cec5SDimitry Andric   for (auto &B : F) {
2100b57cec5SDimitry Andric     LastAccess = MemAccessInfo();
2110b57cec5SDimitry Andric     for (auto &I : B) {
212*fe6060f1SDimitry Andric       if (const Value *Ptr = getMemoryInstrPtr(&I)) {
213*fe6060f1SDimitry Andric         unsigned Size = divideCeil(
214*fe6060f1SDimitry Andric             Ptr->getType()->getPointerElementType()->getPrimitiveSizeInBits(),
215*fe6060f1SDimitry Andric             32);
2160b57cec5SDimitry Andric         if (isIndirectAccess(&I))
217*fe6060f1SDimitry Andric           FI.IAMInstCost += Size;
2180b57cec5SDimitry Andric         if (isLargeStride(&I))
219*fe6060f1SDimitry Andric           FI.LSMInstCost += Size;
220*fe6060f1SDimitry Andric         FI.MemInstCost += Size;
221*fe6060f1SDimitry Andric         FI.InstCost += Size;
2220b57cec5SDimitry Andric         continue;
2230b57cec5SDimitry Andric       }
2245ffd83dbSDimitry Andric       if (auto *CB = dyn_cast<CallBase>(&I)) {
2255ffd83dbSDimitry Andric         Function *Callee = CB->getCalledFunction();
2260b57cec5SDimitry Andric         if (!Callee || Callee->isDeclaration()) {
227*fe6060f1SDimitry Andric           ++FI.InstCost;
2280b57cec5SDimitry Andric           continue;
2290b57cec5SDimitry Andric         }
2300b57cec5SDimitry Andric         if (&F == Callee) // Handle immediate recursion
2310b57cec5SDimitry Andric           continue;
2320b57cec5SDimitry Andric 
2330b57cec5SDimitry Andric         auto Loc = FIM.find(Callee);
2340b57cec5SDimitry Andric         if (Loc == FIM.end())
2350b57cec5SDimitry Andric           continue;
2360b57cec5SDimitry Andric 
237*fe6060f1SDimitry Andric         FI.MemInstCost += Loc->second.MemInstCost;
238*fe6060f1SDimitry Andric         FI.InstCost += Loc->second.InstCost;
239*fe6060f1SDimitry Andric         FI.IAMInstCost += Loc->second.IAMInstCost;
240*fe6060f1SDimitry Andric         FI.LSMInstCost += Loc->second.LSMInstCost;
2410b57cec5SDimitry Andric       } else if (auto *GEP = dyn_cast<GetElementPtrInst>(&I)) {
2420b57cec5SDimitry Andric         TargetLoweringBase::AddrMode AM;
2430b57cec5SDimitry Andric         auto *Ptr = GetPointerBaseWithConstantOffset(GEP, AM.BaseOffs, *DL);
2440b57cec5SDimitry Andric         AM.BaseGV = dyn_cast_or_null<GlobalValue>(const_cast<Value *>(Ptr));
2450b57cec5SDimitry Andric         AM.HasBaseReg = !AM.BaseGV;
2460b57cec5SDimitry Andric         if (TLI->isLegalAddressingMode(*DL, AM, GEP->getResultElementType(),
2470b57cec5SDimitry Andric                                        GEP->getPointerAddressSpace()))
2480b57cec5SDimitry Andric           // Offset will likely be folded into load or store
2490b57cec5SDimitry Andric           continue;
250*fe6060f1SDimitry Andric         ++FI.InstCost;
2510b57cec5SDimitry Andric       } else {
252*fe6060f1SDimitry Andric         ++FI.InstCost;
2530b57cec5SDimitry Andric       }
2540b57cec5SDimitry Andric     }
2550b57cec5SDimitry Andric   }
2560b57cec5SDimitry Andric 
2570b57cec5SDimitry Andric   return &FI;
2580b57cec5SDimitry Andric }
2590b57cec5SDimitry Andric 
2600b57cec5SDimitry Andric bool AMDGPUPerfHint::runOnFunction(Function &F) {
2610b57cec5SDimitry Andric   const Module &M = *F.getParent();
2620b57cec5SDimitry Andric   DL = &M.getDataLayout();
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric   if (F.hasFnAttribute("amdgpu-wave-limiter") &&
2650b57cec5SDimitry Andric       F.hasFnAttribute("amdgpu-memory-bound"))
2660b57cec5SDimitry Andric     return false;
2670b57cec5SDimitry Andric 
2680b57cec5SDimitry Andric   const AMDGPUPerfHintAnalysis::FuncInfo *Info = visit(F);
2690b57cec5SDimitry Andric 
270*fe6060f1SDimitry Andric   LLVM_DEBUG(dbgs() << F.getName() << " MemInst cost: " << Info->MemInstCost
2710b57cec5SDimitry Andric                     << '\n'
272*fe6060f1SDimitry Andric                     << " IAMInst cost: " << Info->IAMInstCost << '\n'
273*fe6060f1SDimitry Andric                     << " LSMInst cost: " << Info->LSMInstCost << '\n'
274*fe6060f1SDimitry Andric                     << " TotalInst cost: " << Info->InstCost << '\n');
2750b57cec5SDimitry Andric 
2760b57cec5SDimitry Andric   if (isMemBound(*Info)) {
2770b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << F.getName() << " is memory bound\n");
2780b57cec5SDimitry Andric     NumMemBound++;
2790b57cec5SDimitry Andric     F.addFnAttr("amdgpu-memory-bound", "true");
2800b57cec5SDimitry Andric   }
2810b57cec5SDimitry Andric 
2820b57cec5SDimitry Andric   if (AMDGPU::isEntryFunctionCC(F.getCallingConv()) && needLimitWave(*Info)) {
2830b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << F.getName() << " needs limit wave\n");
2840b57cec5SDimitry Andric     NumLimitWave++;
2850b57cec5SDimitry Andric     F.addFnAttr("amdgpu-wave-limiter", "true");
2860b57cec5SDimitry Andric   }
2870b57cec5SDimitry Andric 
2880b57cec5SDimitry Andric   return true;
2890b57cec5SDimitry Andric }
2900b57cec5SDimitry Andric 
2910b57cec5SDimitry Andric bool AMDGPUPerfHint::isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo &FI) {
292*fe6060f1SDimitry Andric   return FI.MemInstCost * 100 / FI.InstCost > MemBoundThresh;
2930b57cec5SDimitry Andric }
2940b57cec5SDimitry Andric 
2950b57cec5SDimitry Andric bool AMDGPUPerfHint::needLimitWave(const AMDGPUPerfHintAnalysis::FuncInfo &FI) {
296*fe6060f1SDimitry Andric   return ((FI.MemInstCost + FI.IAMInstCost * IAWeight +
297*fe6060f1SDimitry Andric            FI.LSMInstCost * LSWeight) * 100 / FI.InstCost) > LimitWaveThresh;
2980b57cec5SDimitry Andric }
2990b57cec5SDimitry Andric 
3000b57cec5SDimitry Andric bool AMDGPUPerfHint::isGlobalAddr(const Value *V) const {
3010b57cec5SDimitry Andric   if (auto PT = dyn_cast<PointerType>(V->getType())) {
3020b57cec5SDimitry Andric     unsigned As = PT->getAddressSpace();
3030b57cec5SDimitry Andric     // Flat likely points to global too.
3040b57cec5SDimitry Andric     return As == AMDGPUAS::GLOBAL_ADDRESS || As == AMDGPUAS::FLAT_ADDRESS;
3050b57cec5SDimitry Andric   }
3060b57cec5SDimitry Andric   return false;
3070b57cec5SDimitry Andric }
3080b57cec5SDimitry Andric 
3090b57cec5SDimitry Andric bool AMDGPUPerfHint::isLocalAddr(const Value *V) const {
3100b57cec5SDimitry Andric   if (auto PT = dyn_cast<PointerType>(V->getType()))
3110b57cec5SDimitry Andric     return PT->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS;
3120b57cec5SDimitry Andric   return false;
3130b57cec5SDimitry Andric }
3140b57cec5SDimitry Andric 
3150b57cec5SDimitry Andric bool AMDGPUPerfHint::isLargeStride(const Instruction *Inst) {
3160b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isLargeStride] " << *Inst << '\n');
3170b57cec5SDimitry Andric 
3180b57cec5SDimitry Andric   MemAccessInfo MAI = makeMemAccessInfo(const_cast<Instruction *>(Inst));
3190b57cec5SDimitry Andric   bool IsLargeStride = MAI.isLargeStride(LastAccess);
3200b57cec5SDimitry Andric   if (MAI.Base)
3210b57cec5SDimitry Andric     LastAccess = std::move(MAI);
3220b57cec5SDimitry Andric 
3230b57cec5SDimitry Andric   return IsLargeStride;
3240b57cec5SDimitry Andric }
3250b57cec5SDimitry Andric 
3260b57cec5SDimitry Andric AMDGPUPerfHint::MemAccessInfo
3270b57cec5SDimitry Andric AMDGPUPerfHint::makeMemAccessInfo(Instruction *Inst) const {
3280b57cec5SDimitry Andric   MemAccessInfo MAI;
3290b57cec5SDimitry Andric   const Value *MO = getMemoryInstrPtr(Inst);
3300b57cec5SDimitry Andric 
3310b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isLargeStride] MO: " << *MO << '\n');
3320b57cec5SDimitry Andric   // Do not treat local-addr memory access as large stride.
3330b57cec5SDimitry Andric   if (isLocalAddr(MO))
3340b57cec5SDimitry Andric     return MAI;
3350b57cec5SDimitry Andric 
3360b57cec5SDimitry Andric   MAI.V = MO;
3370b57cec5SDimitry Andric   MAI.Base = GetPointerBaseWithConstantOffset(MO, MAI.Offset, *DL);
3380b57cec5SDimitry Andric   return MAI;
3390b57cec5SDimitry Andric }
3400b57cec5SDimitry Andric 
3410b57cec5SDimitry Andric bool AMDGPUPerfHint::isConstantAddr(const Value *V) const {
3420b57cec5SDimitry Andric   if (auto PT = dyn_cast<PointerType>(V->getType())) {
3430b57cec5SDimitry Andric     unsigned As = PT->getAddressSpace();
3440b57cec5SDimitry Andric     return As == AMDGPUAS::CONSTANT_ADDRESS ||
3450b57cec5SDimitry Andric            As == AMDGPUAS::CONSTANT_ADDRESS_32BIT;
3460b57cec5SDimitry Andric   }
3470b57cec5SDimitry Andric   return false;
3480b57cec5SDimitry Andric }
3490b57cec5SDimitry Andric 
3500b57cec5SDimitry Andric bool AMDGPUPerfHint::MemAccessInfo::isLargeStride(
3510b57cec5SDimitry Andric     MemAccessInfo &Reference) const {
3520b57cec5SDimitry Andric 
3530b57cec5SDimitry Andric   if (!Base || !Reference.Base || Base != Reference.Base)
3540b57cec5SDimitry Andric     return false;
3550b57cec5SDimitry Andric 
3560b57cec5SDimitry Andric   uint64_t Diff = Offset > Reference.Offset ? Offset - Reference.Offset
3570b57cec5SDimitry Andric                                             : Reference.Offset - Offset;
3580b57cec5SDimitry Andric   bool Result = Diff > LargeStrideThresh;
3590b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isLargeStride compare]\n"
3600b57cec5SDimitry Andric                << print() << "<=>\n"
3610b57cec5SDimitry Andric                << Reference.print() << "Result:" << Result << '\n');
3620b57cec5SDimitry Andric   return Result;
3630b57cec5SDimitry Andric }
3640b57cec5SDimitry Andric } // namespace
3650b57cec5SDimitry Andric 
3660b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::runOnSCC(CallGraphSCC &SCC) {
3670b57cec5SDimitry Andric   auto *TPC = getAnalysisIfAvailable<TargetPassConfig>();
3680b57cec5SDimitry Andric   if (!TPC)
3690b57cec5SDimitry Andric     return false;
3700b57cec5SDimitry Andric 
3710b57cec5SDimitry Andric   const TargetMachine &TM = TPC->getTM<TargetMachine>();
3720b57cec5SDimitry Andric 
3730b57cec5SDimitry Andric   bool Changed = false;
3740b57cec5SDimitry Andric   for (CallGraphNode *I : SCC) {
3750b57cec5SDimitry Andric     Function *F = I->getFunction();
3760b57cec5SDimitry Andric     if (!F || F->isDeclaration())
3770b57cec5SDimitry Andric       continue;
3780b57cec5SDimitry Andric 
3790b57cec5SDimitry Andric     const TargetSubtargetInfo *ST = TM.getSubtargetImpl(*F);
3800b57cec5SDimitry Andric     AMDGPUPerfHint Analyzer(FIM, ST->getTargetLowering());
3810b57cec5SDimitry Andric 
3820b57cec5SDimitry Andric     if (Analyzer.runOnFunction(*F))
3830b57cec5SDimitry Andric       Changed = true;
3840b57cec5SDimitry Andric   }
3850b57cec5SDimitry Andric 
3860b57cec5SDimitry Andric   return Changed;
3870b57cec5SDimitry Andric }
3880b57cec5SDimitry Andric 
3890b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::isMemoryBound(const Function *F) const {
3900b57cec5SDimitry Andric   auto FI = FIM.find(F);
3910b57cec5SDimitry Andric   if (FI == FIM.end())
3920b57cec5SDimitry Andric     return false;
3930b57cec5SDimitry Andric 
3940b57cec5SDimitry Andric   return AMDGPUPerfHint::isMemBound(FI->second);
3950b57cec5SDimitry Andric }
3960b57cec5SDimitry Andric 
3970b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::needsWaveLimiter(const Function *F) const {
3980b57cec5SDimitry Andric   auto FI = FIM.find(F);
3990b57cec5SDimitry Andric   if (FI == FIM.end())
4000b57cec5SDimitry Andric     return false;
4010b57cec5SDimitry Andric 
4020b57cec5SDimitry Andric   return AMDGPUPerfHint::needLimitWave(FI->second);
4030b57cec5SDimitry Andric }
404