xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/AMDGPUPerfHintAnalysis.cpp (revision 0b57cec536236d46e3dba9bd041533462f33dbb7)
1*0b57cec5SDimitry Andric //===- AMDGPUPerfHintAnalysis.cpp - analysis of functions memory traffic --===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric /// \file
10*0b57cec5SDimitry Andric /// \brief Analyzes if a function potentially memory bound and if a kernel
11*0b57cec5SDimitry Andric /// kernel may benefit from limiting number of waves to reduce cache thrashing.
12*0b57cec5SDimitry Andric ///
13*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
14*0b57cec5SDimitry Andric 
15*0b57cec5SDimitry Andric #include "AMDGPU.h"
16*0b57cec5SDimitry Andric #include "AMDGPUPerfHintAnalysis.h"
17*0b57cec5SDimitry Andric #include "Utils/AMDGPUBaseInfo.h"
18*0b57cec5SDimitry Andric #include "llvm/ADT/SmallSet.h"
19*0b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h"
20*0b57cec5SDimitry Andric #include "llvm/Analysis/CallGraph.h"
21*0b57cec5SDimitry Andric #include "llvm/Analysis/ValueTracking.h"
22*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
23*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetPassConfig.h"
24*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
25*0b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
26*0b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
27*0b57cec5SDimitry Andric #include "llvm/IR/IntrinsicInst.h"
28*0b57cec5SDimitry Andric #include "llvm/IR/Module.h"
29*0b57cec5SDimitry Andric #include "llvm/IR/ValueMap.h"
30*0b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
31*0b57cec5SDimitry Andric 
32*0b57cec5SDimitry Andric using namespace llvm;
33*0b57cec5SDimitry Andric 
34*0b57cec5SDimitry Andric #define DEBUG_TYPE "amdgpu-perf-hint"
35*0b57cec5SDimitry Andric 
36*0b57cec5SDimitry Andric static cl::opt<unsigned>
37*0b57cec5SDimitry Andric     MemBoundThresh("amdgpu-membound-threshold", cl::init(50), cl::Hidden,
38*0b57cec5SDimitry Andric                    cl::desc("Function mem bound threshold in %"));
39*0b57cec5SDimitry Andric 
40*0b57cec5SDimitry Andric static cl::opt<unsigned>
41*0b57cec5SDimitry Andric     LimitWaveThresh("amdgpu-limit-wave-threshold", cl::init(50), cl::Hidden,
42*0b57cec5SDimitry Andric                     cl::desc("Kernel limit wave threshold in %"));
43*0b57cec5SDimitry Andric 
44*0b57cec5SDimitry Andric static cl::opt<unsigned>
45*0b57cec5SDimitry Andric     IAWeight("amdgpu-indirect-access-weight", cl::init(1000), cl::Hidden,
46*0b57cec5SDimitry Andric              cl::desc("Indirect access memory instruction weight"));
47*0b57cec5SDimitry Andric 
48*0b57cec5SDimitry Andric static cl::opt<unsigned>
49*0b57cec5SDimitry Andric     LSWeight("amdgpu-large-stride-weight", cl::init(1000), cl::Hidden,
50*0b57cec5SDimitry Andric              cl::desc("Large stride memory access weight"));
51*0b57cec5SDimitry Andric 
52*0b57cec5SDimitry Andric static cl::opt<unsigned>
53*0b57cec5SDimitry Andric     LargeStrideThresh("amdgpu-large-stride-threshold", cl::init(64), cl::Hidden,
54*0b57cec5SDimitry Andric                       cl::desc("Large stride memory access threshold"));
55*0b57cec5SDimitry Andric 
56*0b57cec5SDimitry Andric STATISTIC(NumMemBound, "Number of functions marked as memory bound");
57*0b57cec5SDimitry Andric STATISTIC(NumLimitWave, "Number of functions marked as needing limit wave");
58*0b57cec5SDimitry Andric 
59*0b57cec5SDimitry Andric char llvm::AMDGPUPerfHintAnalysis::ID = 0;
60*0b57cec5SDimitry Andric char &llvm::AMDGPUPerfHintAnalysisID = AMDGPUPerfHintAnalysis::ID;
61*0b57cec5SDimitry Andric 
62*0b57cec5SDimitry Andric INITIALIZE_PASS(AMDGPUPerfHintAnalysis, DEBUG_TYPE,
63*0b57cec5SDimitry Andric                 "Analysis if a function is memory bound", true, true)
64*0b57cec5SDimitry Andric 
65*0b57cec5SDimitry Andric namespace {
66*0b57cec5SDimitry Andric 
67*0b57cec5SDimitry Andric struct AMDGPUPerfHint {
68*0b57cec5SDimitry Andric   friend AMDGPUPerfHintAnalysis;
69*0b57cec5SDimitry Andric 
70*0b57cec5SDimitry Andric public:
71*0b57cec5SDimitry Andric   AMDGPUPerfHint(AMDGPUPerfHintAnalysis::FuncInfoMap &FIM_,
72*0b57cec5SDimitry Andric                  const TargetLowering *TLI_)
73*0b57cec5SDimitry Andric       : FIM(FIM_), DL(nullptr), TLI(TLI_) {}
74*0b57cec5SDimitry Andric 
75*0b57cec5SDimitry Andric   bool runOnFunction(Function &F);
76*0b57cec5SDimitry Andric 
77*0b57cec5SDimitry Andric private:
78*0b57cec5SDimitry Andric   struct MemAccessInfo {
79*0b57cec5SDimitry Andric     const Value *V;
80*0b57cec5SDimitry Andric     const Value *Base;
81*0b57cec5SDimitry Andric     int64_t Offset;
82*0b57cec5SDimitry Andric     MemAccessInfo() : V(nullptr), Base(nullptr), Offset(0) {}
83*0b57cec5SDimitry Andric     bool isLargeStride(MemAccessInfo &Reference) const;
84*0b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
85*0b57cec5SDimitry Andric     Printable print() const {
86*0b57cec5SDimitry Andric       return Printable([this](raw_ostream &OS) {
87*0b57cec5SDimitry Andric         OS << "Value: " << *V << '\n'
88*0b57cec5SDimitry Andric            << "Base: " << *Base << " Offset: " << Offset << '\n';
89*0b57cec5SDimitry Andric       });
90*0b57cec5SDimitry Andric     }
91*0b57cec5SDimitry Andric #endif
92*0b57cec5SDimitry Andric   };
93*0b57cec5SDimitry Andric 
94*0b57cec5SDimitry Andric   MemAccessInfo makeMemAccessInfo(Instruction *) const;
95*0b57cec5SDimitry Andric 
96*0b57cec5SDimitry Andric   MemAccessInfo LastAccess; // Last memory access info
97*0b57cec5SDimitry Andric 
98*0b57cec5SDimitry Andric   AMDGPUPerfHintAnalysis::FuncInfoMap &FIM;
99*0b57cec5SDimitry Andric 
100*0b57cec5SDimitry Andric   const DataLayout *DL;
101*0b57cec5SDimitry Andric 
102*0b57cec5SDimitry Andric   const TargetLowering *TLI;
103*0b57cec5SDimitry Andric 
104*0b57cec5SDimitry Andric   AMDGPUPerfHintAnalysis::FuncInfo *visit(const Function &F);
105*0b57cec5SDimitry Andric   static bool isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo &F);
106*0b57cec5SDimitry Andric   static bool needLimitWave(const AMDGPUPerfHintAnalysis::FuncInfo &F);
107*0b57cec5SDimitry Andric 
108*0b57cec5SDimitry Andric   bool isIndirectAccess(const Instruction *Inst) const;
109*0b57cec5SDimitry Andric 
110*0b57cec5SDimitry Andric   /// Check if the instruction is large stride.
111*0b57cec5SDimitry Andric   /// The purpose is to identify memory access pattern like:
112*0b57cec5SDimitry Andric   /// x = a[i];
113*0b57cec5SDimitry Andric   /// y = a[i+1000];
114*0b57cec5SDimitry Andric   /// z = a[i+2000];
115*0b57cec5SDimitry Andric   /// In the above example, the second and third memory access will be marked
116*0b57cec5SDimitry Andric   /// large stride memory access.
117*0b57cec5SDimitry Andric   bool isLargeStride(const Instruction *Inst);
118*0b57cec5SDimitry Andric 
119*0b57cec5SDimitry Andric   bool isGlobalAddr(const Value *V) const;
120*0b57cec5SDimitry Andric   bool isLocalAddr(const Value *V) const;
121*0b57cec5SDimitry Andric   bool isConstantAddr(const Value *V) const;
122*0b57cec5SDimitry Andric };
123*0b57cec5SDimitry Andric 
124*0b57cec5SDimitry Andric static const Value *getMemoryInstrPtr(const Instruction *Inst) {
125*0b57cec5SDimitry Andric   if (auto LI = dyn_cast<LoadInst>(Inst)) {
126*0b57cec5SDimitry Andric     return LI->getPointerOperand();
127*0b57cec5SDimitry Andric   }
128*0b57cec5SDimitry Andric   if (auto SI = dyn_cast<StoreInst>(Inst)) {
129*0b57cec5SDimitry Andric     return SI->getPointerOperand();
130*0b57cec5SDimitry Andric   }
131*0b57cec5SDimitry Andric   if (auto AI = dyn_cast<AtomicCmpXchgInst>(Inst)) {
132*0b57cec5SDimitry Andric     return AI->getPointerOperand();
133*0b57cec5SDimitry Andric   }
134*0b57cec5SDimitry Andric   if (auto AI = dyn_cast<AtomicRMWInst>(Inst)) {
135*0b57cec5SDimitry Andric     return AI->getPointerOperand();
136*0b57cec5SDimitry Andric   }
137*0b57cec5SDimitry Andric   if (auto MI = dyn_cast<AnyMemIntrinsic>(Inst)) {
138*0b57cec5SDimitry Andric     return MI->getRawDest();
139*0b57cec5SDimitry Andric   }
140*0b57cec5SDimitry Andric 
141*0b57cec5SDimitry Andric   return nullptr;
142*0b57cec5SDimitry Andric }
143*0b57cec5SDimitry Andric 
144*0b57cec5SDimitry Andric bool AMDGPUPerfHint::isIndirectAccess(const Instruction *Inst) const {
145*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isIndirectAccess] " << *Inst << '\n');
146*0b57cec5SDimitry Andric   SmallSet<const Value *, 32> WorkSet;
147*0b57cec5SDimitry Andric   SmallSet<const Value *, 32> Visited;
148*0b57cec5SDimitry Andric   if (const Value *MO = getMemoryInstrPtr(Inst)) {
149*0b57cec5SDimitry Andric     if (isGlobalAddr(MO))
150*0b57cec5SDimitry Andric       WorkSet.insert(MO);
151*0b57cec5SDimitry Andric   }
152*0b57cec5SDimitry Andric 
153*0b57cec5SDimitry Andric   while (!WorkSet.empty()) {
154*0b57cec5SDimitry Andric     const Value *V = *WorkSet.begin();
155*0b57cec5SDimitry Andric     WorkSet.erase(*WorkSet.begin());
156*0b57cec5SDimitry Andric     if (!Visited.insert(V).second)
157*0b57cec5SDimitry Andric       continue;
158*0b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "  check: " << *V << '\n');
159*0b57cec5SDimitry Andric 
160*0b57cec5SDimitry Andric     if (auto LD = dyn_cast<LoadInst>(V)) {
161*0b57cec5SDimitry Andric       auto M = LD->getPointerOperand();
162*0b57cec5SDimitry Andric       if (isGlobalAddr(M) || isLocalAddr(M) || isConstantAddr(M)) {
163*0b57cec5SDimitry Andric         LLVM_DEBUG(dbgs() << "    is IA\n");
164*0b57cec5SDimitry Andric         return true;
165*0b57cec5SDimitry Andric       }
166*0b57cec5SDimitry Andric       continue;
167*0b57cec5SDimitry Andric     }
168*0b57cec5SDimitry Andric 
169*0b57cec5SDimitry Andric     if (auto GEP = dyn_cast<GetElementPtrInst>(V)) {
170*0b57cec5SDimitry Andric       auto P = GEP->getPointerOperand();
171*0b57cec5SDimitry Andric       WorkSet.insert(P);
172*0b57cec5SDimitry Andric       for (unsigned I = 1, E = GEP->getNumIndices() + 1; I != E; ++I)
173*0b57cec5SDimitry Andric         WorkSet.insert(GEP->getOperand(I));
174*0b57cec5SDimitry Andric       continue;
175*0b57cec5SDimitry Andric     }
176*0b57cec5SDimitry Andric 
177*0b57cec5SDimitry Andric     if (auto U = dyn_cast<UnaryInstruction>(V)) {
178*0b57cec5SDimitry Andric       WorkSet.insert(U->getOperand(0));
179*0b57cec5SDimitry Andric       continue;
180*0b57cec5SDimitry Andric     }
181*0b57cec5SDimitry Andric 
182*0b57cec5SDimitry Andric     if (auto BO = dyn_cast<BinaryOperator>(V)) {
183*0b57cec5SDimitry Andric       WorkSet.insert(BO->getOperand(0));
184*0b57cec5SDimitry Andric       WorkSet.insert(BO->getOperand(1));
185*0b57cec5SDimitry Andric       continue;
186*0b57cec5SDimitry Andric     }
187*0b57cec5SDimitry Andric 
188*0b57cec5SDimitry Andric     if (auto S = dyn_cast<SelectInst>(V)) {
189*0b57cec5SDimitry Andric       WorkSet.insert(S->getFalseValue());
190*0b57cec5SDimitry Andric       WorkSet.insert(S->getTrueValue());
191*0b57cec5SDimitry Andric       continue;
192*0b57cec5SDimitry Andric     }
193*0b57cec5SDimitry Andric 
194*0b57cec5SDimitry Andric     if (auto E = dyn_cast<ExtractElementInst>(V)) {
195*0b57cec5SDimitry Andric       WorkSet.insert(E->getVectorOperand());
196*0b57cec5SDimitry Andric       continue;
197*0b57cec5SDimitry Andric     }
198*0b57cec5SDimitry Andric 
199*0b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "    dropped\n");
200*0b57cec5SDimitry Andric   }
201*0b57cec5SDimitry Andric 
202*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "  is not IA\n");
203*0b57cec5SDimitry Andric   return false;
204*0b57cec5SDimitry Andric }
205*0b57cec5SDimitry Andric 
206*0b57cec5SDimitry Andric AMDGPUPerfHintAnalysis::FuncInfo *AMDGPUPerfHint::visit(const Function &F) {
207*0b57cec5SDimitry Andric   AMDGPUPerfHintAnalysis::FuncInfo &FI = FIM[&F];
208*0b57cec5SDimitry Andric 
209*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[AMDGPUPerfHint] process " << F.getName() << '\n');
210*0b57cec5SDimitry Andric 
211*0b57cec5SDimitry Andric   for (auto &B : F) {
212*0b57cec5SDimitry Andric     LastAccess = MemAccessInfo();
213*0b57cec5SDimitry Andric     for (auto &I : B) {
214*0b57cec5SDimitry Andric       if (getMemoryInstrPtr(&I)) {
215*0b57cec5SDimitry Andric         if (isIndirectAccess(&I))
216*0b57cec5SDimitry Andric           ++FI.IAMInstCount;
217*0b57cec5SDimitry Andric         if (isLargeStride(&I))
218*0b57cec5SDimitry Andric           ++FI.LSMInstCount;
219*0b57cec5SDimitry Andric         ++FI.MemInstCount;
220*0b57cec5SDimitry Andric         ++FI.InstCount;
221*0b57cec5SDimitry Andric         continue;
222*0b57cec5SDimitry Andric       }
223*0b57cec5SDimitry Andric       CallSite CS(const_cast<Instruction *>(&I));
224*0b57cec5SDimitry Andric       if (CS) {
225*0b57cec5SDimitry Andric         Function *Callee = CS.getCalledFunction();
226*0b57cec5SDimitry Andric         if (!Callee || Callee->isDeclaration()) {
227*0b57cec5SDimitry Andric           ++FI.InstCount;
228*0b57cec5SDimitry Andric           continue;
229*0b57cec5SDimitry Andric         }
230*0b57cec5SDimitry Andric         if (&F == Callee) // Handle immediate recursion
231*0b57cec5SDimitry Andric           continue;
232*0b57cec5SDimitry Andric 
233*0b57cec5SDimitry Andric         auto Loc = FIM.find(Callee);
234*0b57cec5SDimitry Andric         if (Loc == FIM.end())
235*0b57cec5SDimitry Andric           continue;
236*0b57cec5SDimitry Andric 
237*0b57cec5SDimitry Andric         FI.MemInstCount += Loc->second.MemInstCount;
238*0b57cec5SDimitry Andric         FI.InstCount += Loc->second.InstCount;
239*0b57cec5SDimitry Andric         FI.IAMInstCount += Loc->second.IAMInstCount;
240*0b57cec5SDimitry Andric         FI.LSMInstCount += Loc->second.LSMInstCount;
241*0b57cec5SDimitry Andric       } else if (auto *GEP = dyn_cast<GetElementPtrInst>(&I)) {
242*0b57cec5SDimitry Andric         TargetLoweringBase::AddrMode AM;
243*0b57cec5SDimitry Andric         auto *Ptr = GetPointerBaseWithConstantOffset(GEP, AM.BaseOffs, *DL);
244*0b57cec5SDimitry Andric         AM.BaseGV = dyn_cast_or_null<GlobalValue>(const_cast<Value *>(Ptr));
245*0b57cec5SDimitry Andric         AM.HasBaseReg = !AM.BaseGV;
246*0b57cec5SDimitry Andric         if (TLI->isLegalAddressingMode(*DL, AM, GEP->getResultElementType(),
247*0b57cec5SDimitry Andric                                        GEP->getPointerAddressSpace()))
248*0b57cec5SDimitry Andric           // Offset will likely be folded into load or store
249*0b57cec5SDimitry Andric           continue;
250*0b57cec5SDimitry Andric         ++FI.InstCount;
251*0b57cec5SDimitry Andric       } else {
252*0b57cec5SDimitry Andric         ++FI.InstCount;
253*0b57cec5SDimitry Andric       }
254*0b57cec5SDimitry Andric     }
255*0b57cec5SDimitry Andric   }
256*0b57cec5SDimitry Andric 
257*0b57cec5SDimitry Andric   return &FI;
258*0b57cec5SDimitry Andric }
259*0b57cec5SDimitry Andric 
260*0b57cec5SDimitry Andric bool AMDGPUPerfHint::runOnFunction(Function &F) {
261*0b57cec5SDimitry Andric   const Module &M = *F.getParent();
262*0b57cec5SDimitry Andric   DL = &M.getDataLayout();
263*0b57cec5SDimitry Andric 
264*0b57cec5SDimitry Andric   if (F.hasFnAttribute("amdgpu-wave-limiter") &&
265*0b57cec5SDimitry Andric       F.hasFnAttribute("amdgpu-memory-bound"))
266*0b57cec5SDimitry Andric     return false;
267*0b57cec5SDimitry Andric 
268*0b57cec5SDimitry Andric   const AMDGPUPerfHintAnalysis::FuncInfo *Info = visit(F);
269*0b57cec5SDimitry Andric 
270*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << F.getName() << " MemInst: " << Info->MemInstCount
271*0b57cec5SDimitry Andric                     << '\n'
272*0b57cec5SDimitry Andric                     << " IAMInst: " << Info->IAMInstCount << '\n'
273*0b57cec5SDimitry Andric                     << " LSMInst: " << Info->LSMInstCount << '\n'
274*0b57cec5SDimitry Andric                     << " TotalInst: " << Info->InstCount << '\n');
275*0b57cec5SDimitry Andric 
276*0b57cec5SDimitry Andric   if (isMemBound(*Info)) {
277*0b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << F.getName() << " is memory bound\n");
278*0b57cec5SDimitry Andric     NumMemBound++;
279*0b57cec5SDimitry Andric     F.addFnAttr("amdgpu-memory-bound", "true");
280*0b57cec5SDimitry Andric   }
281*0b57cec5SDimitry Andric 
282*0b57cec5SDimitry Andric   if (AMDGPU::isEntryFunctionCC(F.getCallingConv()) && needLimitWave(*Info)) {
283*0b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << F.getName() << " needs limit wave\n");
284*0b57cec5SDimitry Andric     NumLimitWave++;
285*0b57cec5SDimitry Andric     F.addFnAttr("amdgpu-wave-limiter", "true");
286*0b57cec5SDimitry Andric   }
287*0b57cec5SDimitry Andric 
288*0b57cec5SDimitry Andric   return true;
289*0b57cec5SDimitry Andric }
290*0b57cec5SDimitry Andric 
291*0b57cec5SDimitry Andric bool AMDGPUPerfHint::isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo &FI) {
292*0b57cec5SDimitry Andric   return FI.MemInstCount * 100 / FI.InstCount > MemBoundThresh;
293*0b57cec5SDimitry Andric }
294*0b57cec5SDimitry Andric 
295*0b57cec5SDimitry Andric bool AMDGPUPerfHint::needLimitWave(const AMDGPUPerfHintAnalysis::FuncInfo &FI) {
296*0b57cec5SDimitry Andric   return ((FI.MemInstCount + FI.IAMInstCount * IAWeight +
297*0b57cec5SDimitry Andric            FI.LSMInstCount * LSWeight) *
298*0b57cec5SDimitry Andric           100 / FI.InstCount) > LimitWaveThresh;
299*0b57cec5SDimitry Andric }
300*0b57cec5SDimitry Andric 
301*0b57cec5SDimitry Andric bool AMDGPUPerfHint::isGlobalAddr(const Value *V) const {
302*0b57cec5SDimitry Andric   if (auto PT = dyn_cast<PointerType>(V->getType())) {
303*0b57cec5SDimitry Andric     unsigned As = PT->getAddressSpace();
304*0b57cec5SDimitry Andric     // Flat likely points to global too.
305*0b57cec5SDimitry Andric     return As == AMDGPUAS::GLOBAL_ADDRESS || As == AMDGPUAS::FLAT_ADDRESS;
306*0b57cec5SDimitry Andric   }
307*0b57cec5SDimitry Andric   return false;
308*0b57cec5SDimitry Andric }
309*0b57cec5SDimitry Andric 
310*0b57cec5SDimitry Andric bool AMDGPUPerfHint::isLocalAddr(const Value *V) const {
311*0b57cec5SDimitry Andric   if (auto PT = dyn_cast<PointerType>(V->getType()))
312*0b57cec5SDimitry Andric     return PT->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS;
313*0b57cec5SDimitry Andric   return false;
314*0b57cec5SDimitry Andric }
315*0b57cec5SDimitry Andric 
316*0b57cec5SDimitry Andric bool AMDGPUPerfHint::isLargeStride(const Instruction *Inst) {
317*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isLargeStride] " << *Inst << '\n');
318*0b57cec5SDimitry Andric 
319*0b57cec5SDimitry Andric   MemAccessInfo MAI = makeMemAccessInfo(const_cast<Instruction *>(Inst));
320*0b57cec5SDimitry Andric   bool IsLargeStride = MAI.isLargeStride(LastAccess);
321*0b57cec5SDimitry Andric   if (MAI.Base)
322*0b57cec5SDimitry Andric     LastAccess = std::move(MAI);
323*0b57cec5SDimitry Andric 
324*0b57cec5SDimitry Andric   return IsLargeStride;
325*0b57cec5SDimitry Andric }
326*0b57cec5SDimitry Andric 
327*0b57cec5SDimitry Andric AMDGPUPerfHint::MemAccessInfo
328*0b57cec5SDimitry Andric AMDGPUPerfHint::makeMemAccessInfo(Instruction *Inst) const {
329*0b57cec5SDimitry Andric   MemAccessInfo MAI;
330*0b57cec5SDimitry Andric   const Value *MO = getMemoryInstrPtr(Inst);
331*0b57cec5SDimitry Andric 
332*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isLargeStride] MO: " << *MO << '\n');
333*0b57cec5SDimitry Andric   // Do not treat local-addr memory access as large stride.
334*0b57cec5SDimitry Andric   if (isLocalAddr(MO))
335*0b57cec5SDimitry Andric     return MAI;
336*0b57cec5SDimitry Andric 
337*0b57cec5SDimitry Andric   MAI.V = MO;
338*0b57cec5SDimitry Andric   MAI.Base = GetPointerBaseWithConstantOffset(MO, MAI.Offset, *DL);
339*0b57cec5SDimitry Andric   return MAI;
340*0b57cec5SDimitry Andric }
341*0b57cec5SDimitry Andric 
342*0b57cec5SDimitry Andric bool AMDGPUPerfHint::isConstantAddr(const Value *V) const {
343*0b57cec5SDimitry Andric   if (auto PT = dyn_cast<PointerType>(V->getType())) {
344*0b57cec5SDimitry Andric     unsigned As = PT->getAddressSpace();
345*0b57cec5SDimitry Andric     return As == AMDGPUAS::CONSTANT_ADDRESS ||
346*0b57cec5SDimitry Andric            As == AMDGPUAS::CONSTANT_ADDRESS_32BIT;
347*0b57cec5SDimitry Andric   }
348*0b57cec5SDimitry Andric   return false;
349*0b57cec5SDimitry Andric }
350*0b57cec5SDimitry Andric 
351*0b57cec5SDimitry Andric bool AMDGPUPerfHint::MemAccessInfo::isLargeStride(
352*0b57cec5SDimitry Andric     MemAccessInfo &Reference) const {
353*0b57cec5SDimitry Andric 
354*0b57cec5SDimitry Andric   if (!Base || !Reference.Base || Base != Reference.Base)
355*0b57cec5SDimitry Andric     return false;
356*0b57cec5SDimitry Andric 
357*0b57cec5SDimitry Andric   uint64_t Diff = Offset > Reference.Offset ? Offset - Reference.Offset
358*0b57cec5SDimitry Andric                                             : Reference.Offset - Offset;
359*0b57cec5SDimitry Andric   bool Result = Diff > LargeStrideThresh;
360*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "[isLargeStride compare]\n"
361*0b57cec5SDimitry Andric                << print() << "<=>\n"
362*0b57cec5SDimitry Andric                << Reference.print() << "Result:" << Result << '\n');
363*0b57cec5SDimitry Andric   return Result;
364*0b57cec5SDimitry Andric }
365*0b57cec5SDimitry Andric } // namespace
366*0b57cec5SDimitry Andric 
367*0b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::runOnSCC(CallGraphSCC &SCC) {
368*0b57cec5SDimitry Andric   auto *TPC = getAnalysisIfAvailable<TargetPassConfig>();
369*0b57cec5SDimitry Andric   if (!TPC)
370*0b57cec5SDimitry Andric     return false;
371*0b57cec5SDimitry Andric 
372*0b57cec5SDimitry Andric   const TargetMachine &TM = TPC->getTM<TargetMachine>();
373*0b57cec5SDimitry Andric 
374*0b57cec5SDimitry Andric   bool Changed = false;
375*0b57cec5SDimitry Andric   for (CallGraphNode *I : SCC) {
376*0b57cec5SDimitry Andric     Function *F = I->getFunction();
377*0b57cec5SDimitry Andric     if (!F || F->isDeclaration())
378*0b57cec5SDimitry Andric       continue;
379*0b57cec5SDimitry Andric 
380*0b57cec5SDimitry Andric     const TargetSubtargetInfo *ST = TM.getSubtargetImpl(*F);
381*0b57cec5SDimitry Andric     AMDGPUPerfHint Analyzer(FIM, ST->getTargetLowering());
382*0b57cec5SDimitry Andric 
383*0b57cec5SDimitry Andric     if (Analyzer.runOnFunction(*F))
384*0b57cec5SDimitry Andric       Changed = true;
385*0b57cec5SDimitry Andric   }
386*0b57cec5SDimitry Andric 
387*0b57cec5SDimitry Andric   return Changed;
388*0b57cec5SDimitry Andric }
389*0b57cec5SDimitry Andric 
390*0b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::isMemoryBound(const Function *F) const {
391*0b57cec5SDimitry Andric   auto FI = FIM.find(F);
392*0b57cec5SDimitry Andric   if (FI == FIM.end())
393*0b57cec5SDimitry Andric     return false;
394*0b57cec5SDimitry Andric 
395*0b57cec5SDimitry Andric   return AMDGPUPerfHint::isMemBound(FI->second);
396*0b57cec5SDimitry Andric }
397*0b57cec5SDimitry Andric 
398*0b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::needsWaveLimiter(const Function *F) const {
399*0b57cec5SDimitry Andric   auto FI = FIM.find(F);
400*0b57cec5SDimitry Andric   if (FI == FIM.end())
401*0b57cec5SDimitry Andric     return false;
402*0b57cec5SDimitry Andric 
403*0b57cec5SDimitry Andric   return AMDGPUPerfHint::needLimitWave(FI->second);
404*0b57cec5SDimitry Andric }
405