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