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" 26fe6060f1SDimitry 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 { 77*fcaf7f86SDimitry Andric const Value *V = nullptr; 78*fcaf7f86SDimitry Andric const Value *Base = nullptr; 79*fcaf7f86SDimitry Andric int64_t Offset = 0; 80*fcaf7f86SDimitry Andric MemAccessInfo() = default; 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; 119*fcaf7f86SDimitry Andric bool isGlobalLoadUsedInBB(const Instruction &) const; 1200b57cec5SDimitry Andric }; 1210b57cec5SDimitry Andric 1220eae32dcSDimitry Andric static std::pair<const Value *, const Type *> getMemoryInstrPtrAndType( 1230eae32dcSDimitry Andric const Instruction *Inst) { 1240eae32dcSDimitry Andric if (auto LI = dyn_cast<LoadInst>(Inst)) 1250eae32dcSDimitry Andric return {LI->getPointerOperand(), LI->getType()}; 1260eae32dcSDimitry Andric if (auto SI = dyn_cast<StoreInst>(Inst)) 1270eae32dcSDimitry Andric return {SI->getPointerOperand(), SI->getValueOperand()->getType()}; 1280eae32dcSDimitry Andric if (auto AI = dyn_cast<AtomicCmpXchgInst>(Inst)) 1290eae32dcSDimitry Andric return {AI->getPointerOperand(), AI->getCompareOperand()->getType()}; 1300eae32dcSDimitry Andric if (auto AI = dyn_cast<AtomicRMWInst>(Inst)) 1310eae32dcSDimitry Andric return {AI->getPointerOperand(), AI->getValOperand()->getType()}; 1320eae32dcSDimitry Andric if (auto MI = dyn_cast<AnyMemIntrinsic>(Inst)) 1330eae32dcSDimitry Andric return {MI->getRawDest(), Type::getInt8Ty(MI->getContext())}; 1340b57cec5SDimitry Andric 1350eae32dcSDimitry Andric return {nullptr, nullptr}; 1360b57cec5SDimitry Andric } 1370b57cec5SDimitry Andric 1380b57cec5SDimitry Andric bool AMDGPUPerfHint::isIndirectAccess(const Instruction *Inst) const { 1390b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "[isIndirectAccess] " << *Inst << '\n'); 1400b57cec5SDimitry Andric SmallSet<const Value *, 32> WorkSet; 1410b57cec5SDimitry Andric SmallSet<const Value *, 32> Visited; 1420eae32dcSDimitry Andric if (const Value *MO = getMemoryInstrPtrAndType(Inst).first) { 1430b57cec5SDimitry Andric if (isGlobalAddr(MO)) 1440b57cec5SDimitry Andric WorkSet.insert(MO); 1450b57cec5SDimitry Andric } 1460b57cec5SDimitry Andric 1470b57cec5SDimitry Andric while (!WorkSet.empty()) { 1480b57cec5SDimitry Andric const Value *V = *WorkSet.begin(); 1490b57cec5SDimitry Andric WorkSet.erase(*WorkSet.begin()); 1500b57cec5SDimitry Andric if (!Visited.insert(V).second) 1510b57cec5SDimitry Andric continue; 1520b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " check: " << *V << '\n'); 1530b57cec5SDimitry Andric 1540b57cec5SDimitry Andric if (auto LD = dyn_cast<LoadInst>(V)) { 1550b57cec5SDimitry Andric auto M = LD->getPointerOperand(); 15681ad6265SDimitry Andric if (isGlobalAddr(M)) { 1570b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " is IA\n"); 1580b57cec5SDimitry Andric return true; 1590b57cec5SDimitry Andric } 1600b57cec5SDimitry Andric continue; 1610b57cec5SDimitry Andric } 1620b57cec5SDimitry Andric 1630b57cec5SDimitry Andric if (auto GEP = dyn_cast<GetElementPtrInst>(V)) { 1640b57cec5SDimitry Andric auto P = GEP->getPointerOperand(); 1650b57cec5SDimitry Andric WorkSet.insert(P); 1660b57cec5SDimitry Andric for (unsigned I = 1, E = GEP->getNumIndices() + 1; I != E; ++I) 1670b57cec5SDimitry Andric WorkSet.insert(GEP->getOperand(I)); 1680b57cec5SDimitry Andric continue; 1690b57cec5SDimitry Andric } 1700b57cec5SDimitry Andric 1710b57cec5SDimitry Andric if (auto U = dyn_cast<UnaryInstruction>(V)) { 1720b57cec5SDimitry Andric WorkSet.insert(U->getOperand(0)); 1730b57cec5SDimitry Andric continue; 1740b57cec5SDimitry Andric } 1750b57cec5SDimitry Andric 1760b57cec5SDimitry Andric if (auto BO = dyn_cast<BinaryOperator>(V)) { 1770b57cec5SDimitry Andric WorkSet.insert(BO->getOperand(0)); 1780b57cec5SDimitry Andric WorkSet.insert(BO->getOperand(1)); 1790b57cec5SDimitry Andric continue; 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric 1820b57cec5SDimitry Andric if (auto S = dyn_cast<SelectInst>(V)) { 1830b57cec5SDimitry Andric WorkSet.insert(S->getFalseValue()); 1840b57cec5SDimitry Andric WorkSet.insert(S->getTrueValue()); 1850b57cec5SDimitry Andric continue; 1860b57cec5SDimitry Andric } 1870b57cec5SDimitry Andric 1880b57cec5SDimitry Andric if (auto E = dyn_cast<ExtractElementInst>(V)) { 1890b57cec5SDimitry Andric WorkSet.insert(E->getVectorOperand()); 1900b57cec5SDimitry Andric continue; 1910b57cec5SDimitry Andric } 1920b57cec5SDimitry Andric 1930b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " dropped\n"); 1940b57cec5SDimitry Andric } 1950b57cec5SDimitry Andric 1960b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " is not IA\n"); 1970b57cec5SDimitry Andric return false; 1980b57cec5SDimitry Andric } 1990b57cec5SDimitry Andric 200*fcaf7f86SDimitry Andric // Returns true if the global load `I` is used in its own basic block. 201*fcaf7f86SDimitry Andric bool AMDGPUPerfHint::isGlobalLoadUsedInBB(const Instruction &I) const { 202*fcaf7f86SDimitry Andric const auto *Ld = dyn_cast<LoadInst>(&I); 203*fcaf7f86SDimitry Andric if (!Ld) 204*fcaf7f86SDimitry Andric return false; 205*fcaf7f86SDimitry Andric if (!isGlobalAddr(Ld->getPointerOperand())) 206*fcaf7f86SDimitry Andric return false; 207*fcaf7f86SDimitry Andric 208*fcaf7f86SDimitry Andric for (const User *Usr : Ld->users()) { 209*fcaf7f86SDimitry Andric if (const Instruction *UsrInst = dyn_cast<Instruction>(Usr)) { 210*fcaf7f86SDimitry Andric if (UsrInst->getParent() == I.getParent()) 211*fcaf7f86SDimitry Andric return true; 212*fcaf7f86SDimitry Andric } 213*fcaf7f86SDimitry Andric } 214*fcaf7f86SDimitry Andric 215*fcaf7f86SDimitry Andric return false; 216*fcaf7f86SDimitry Andric } 217*fcaf7f86SDimitry Andric 2180b57cec5SDimitry Andric AMDGPUPerfHintAnalysis::FuncInfo *AMDGPUPerfHint::visit(const Function &F) { 2190b57cec5SDimitry Andric AMDGPUPerfHintAnalysis::FuncInfo &FI = FIM[&F]; 2200b57cec5SDimitry Andric 2210b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "[AMDGPUPerfHint] process " << F.getName() << '\n'); 2220b57cec5SDimitry Andric 2230b57cec5SDimitry Andric for (auto &B : F) { 2240b57cec5SDimitry Andric LastAccess = MemAccessInfo(); 225*fcaf7f86SDimitry Andric unsigned UsedGlobalLoadsInBB = 0; 2260b57cec5SDimitry Andric for (auto &I : B) { 2270eae32dcSDimitry Andric if (const Type *Ty = getMemoryInstrPtrAndType(&I).second) { 2280eae32dcSDimitry Andric unsigned Size = divideCeil(Ty->getPrimitiveSizeInBits(), 32); 229*fcaf7f86SDimitry Andric // TODO: Check if the global load and its user are close to each other 230*fcaf7f86SDimitry Andric // instead (Or do this analysis in GCNSchedStrategy?). 231*fcaf7f86SDimitry Andric if (isGlobalLoadUsedInBB(I)) 232*fcaf7f86SDimitry Andric UsedGlobalLoadsInBB += Size; 2330b57cec5SDimitry Andric if (isIndirectAccess(&I)) 234fe6060f1SDimitry Andric FI.IAMInstCost += Size; 2350b57cec5SDimitry Andric if (isLargeStride(&I)) 236fe6060f1SDimitry Andric FI.LSMInstCost += Size; 237fe6060f1SDimitry Andric FI.MemInstCost += Size; 238fe6060f1SDimitry Andric FI.InstCost += Size; 2390b57cec5SDimitry Andric continue; 2400b57cec5SDimitry Andric } 2415ffd83dbSDimitry Andric if (auto *CB = dyn_cast<CallBase>(&I)) { 2425ffd83dbSDimitry Andric Function *Callee = CB->getCalledFunction(); 2430b57cec5SDimitry Andric if (!Callee || Callee->isDeclaration()) { 244fe6060f1SDimitry Andric ++FI.InstCost; 2450b57cec5SDimitry Andric continue; 2460b57cec5SDimitry Andric } 2470b57cec5SDimitry Andric if (&F == Callee) // Handle immediate recursion 2480b57cec5SDimitry Andric continue; 2490b57cec5SDimitry Andric 2500b57cec5SDimitry Andric auto Loc = FIM.find(Callee); 2510b57cec5SDimitry Andric if (Loc == FIM.end()) 2520b57cec5SDimitry Andric continue; 2530b57cec5SDimitry Andric 254fe6060f1SDimitry Andric FI.MemInstCost += Loc->second.MemInstCost; 255fe6060f1SDimitry Andric FI.InstCost += Loc->second.InstCost; 256fe6060f1SDimitry Andric FI.IAMInstCost += Loc->second.IAMInstCost; 257fe6060f1SDimitry Andric FI.LSMInstCost += Loc->second.LSMInstCost; 2580b57cec5SDimitry Andric } else if (auto *GEP = dyn_cast<GetElementPtrInst>(&I)) { 2590b57cec5SDimitry Andric TargetLoweringBase::AddrMode AM; 2600b57cec5SDimitry Andric auto *Ptr = GetPointerBaseWithConstantOffset(GEP, AM.BaseOffs, *DL); 2610b57cec5SDimitry Andric AM.BaseGV = dyn_cast_or_null<GlobalValue>(const_cast<Value *>(Ptr)); 2620b57cec5SDimitry Andric AM.HasBaseReg = !AM.BaseGV; 2630b57cec5SDimitry Andric if (TLI->isLegalAddressingMode(*DL, AM, GEP->getResultElementType(), 2640b57cec5SDimitry Andric GEP->getPointerAddressSpace())) 2650b57cec5SDimitry Andric // Offset will likely be folded into load or store 2660b57cec5SDimitry Andric continue; 267fe6060f1SDimitry Andric ++FI.InstCost; 2680b57cec5SDimitry Andric } else { 269fe6060f1SDimitry Andric ++FI.InstCost; 2700b57cec5SDimitry Andric } 2710b57cec5SDimitry Andric } 272*fcaf7f86SDimitry Andric 273*fcaf7f86SDimitry Andric if (!FI.HasDenseGlobalMemAcc) { 274*fcaf7f86SDimitry Andric unsigned GlobalMemAccPercentage = UsedGlobalLoadsInBB * 100 / B.size(); 275*fcaf7f86SDimitry Andric if (GlobalMemAccPercentage > 50) { 276*fcaf7f86SDimitry Andric LLVM_DEBUG(dbgs() << "[HasDenseGlobalMemAcc] Set to true since " 277*fcaf7f86SDimitry Andric << B.getName() << " has " << GlobalMemAccPercentage 278*fcaf7f86SDimitry Andric << "% global memory access\n"); 279*fcaf7f86SDimitry Andric FI.HasDenseGlobalMemAcc = true; 280*fcaf7f86SDimitry Andric } 281*fcaf7f86SDimitry Andric } 2820b57cec5SDimitry Andric } 2830b57cec5SDimitry Andric 2840b57cec5SDimitry Andric return &FI; 2850b57cec5SDimitry Andric } 2860b57cec5SDimitry Andric 2870b57cec5SDimitry Andric bool AMDGPUPerfHint::runOnFunction(Function &F) { 2880b57cec5SDimitry Andric const Module &M = *F.getParent(); 2890b57cec5SDimitry Andric DL = &M.getDataLayout(); 2900b57cec5SDimitry Andric 2910b57cec5SDimitry Andric if (F.hasFnAttribute("amdgpu-wave-limiter") && 2920b57cec5SDimitry Andric F.hasFnAttribute("amdgpu-memory-bound")) 2930b57cec5SDimitry Andric return false; 2940b57cec5SDimitry Andric 2950b57cec5SDimitry Andric const AMDGPUPerfHintAnalysis::FuncInfo *Info = visit(F); 2960b57cec5SDimitry Andric 297fe6060f1SDimitry Andric LLVM_DEBUG(dbgs() << F.getName() << " MemInst cost: " << Info->MemInstCost 2980b57cec5SDimitry Andric << '\n' 299fe6060f1SDimitry Andric << " IAMInst cost: " << Info->IAMInstCost << '\n' 300fe6060f1SDimitry Andric << " LSMInst cost: " << Info->LSMInstCost << '\n' 301fe6060f1SDimitry Andric << " TotalInst cost: " << Info->InstCost << '\n'); 3020b57cec5SDimitry Andric 30381ad6265SDimitry Andric bool Changed = false; 30481ad6265SDimitry Andric 3050b57cec5SDimitry Andric if (isMemBound(*Info)) { 3060b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << F.getName() << " is memory bound\n"); 3070b57cec5SDimitry Andric NumMemBound++; 3080b57cec5SDimitry Andric F.addFnAttr("amdgpu-memory-bound", "true"); 30981ad6265SDimitry Andric Changed = true; 3100b57cec5SDimitry Andric } 3110b57cec5SDimitry Andric 3120b57cec5SDimitry Andric if (AMDGPU::isEntryFunctionCC(F.getCallingConv()) && needLimitWave(*Info)) { 3130b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << F.getName() << " needs limit wave\n"); 3140b57cec5SDimitry Andric NumLimitWave++; 3150b57cec5SDimitry Andric F.addFnAttr("amdgpu-wave-limiter", "true"); 31681ad6265SDimitry Andric Changed = true; 3170b57cec5SDimitry Andric } 3180b57cec5SDimitry Andric 31981ad6265SDimitry Andric return Changed; 3200b57cec5SDimitry Andric } 3210b57cec5SDimitry Andric 3220b57cec5SDimitry Andric bool AMDGPUPerfHint::isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo &FI) { 323*fcaf7f86SDimitry Andric // Reverting optimal scheduling in favour of occupancy with basic block(s) 324*fcaf7f86SDimitry Andric // having dense global memory access can potentially hurt performance. 325*fcaf7f86SDimitry Andric if (FI.HasDenseGlobalMemAcc) 326*fcaf7f86SDimitry Andric return true; 327*fcaf7f86SDimitry Andric 328fe6060f1SDimitry Andric return FI.MemInstCost * 100 / FI.InstCost > MemBoundThresh; 3290b57cec5SDimitry Andric } 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric bool AMDGPUPerfHint::needLimitWave(const AMDGPUPerfHintAnalysis::FuncInfo &FI) { 332fe6060f1SDimitry Andric return ((FI.MemInstCost + FI.IAMInstCost * IAWeight + 333fe6060f1SDimitry Andric FI.LSMInstCost * LSWeight) * 100 / FI.InstCost) > LimitWaveThresh; 3340b57cec5SDimitry Andric } 3350b57cec5SDimitry Andric 3360b57cec5SDimitry Andric bool AMDGPUPerfHint::isGlobalAddr(const Value *V) const { 3370b57cec5SDimitry Andric if (auto PT = dyn_cast<PointerType>(V->getType())) { 3380b57cec5SDimitry Andric unsigned As = PT->getAddressSpace(); 3390b57cec5SDimitry Andric // Flat likely points to global too. 3400b57cec5SDimitry Andric return As == AMDGPUAS::GLOBAL_ADDRESS || As == AMDGPUAS::FLAT_ADDRESS; 3410b57cec5SDimitry Andric } 3420b57cec5SDimitry Andric return false; 3430b57cec5SDimitry Andric } 3440b57cec5SDimitry Andric 3450b57cec5SDimitry Andric bool AMDGPUPerfHint::isLocalAddr(const Value *V) const { 3460b57cec5SDimitry Andric if (auto PT = dyn_cast<PointerType>(V->getType())) 3470b57cec5SDimitry Andric return PT->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS; 3480b57cec5SDimitry Andric return false; 3490b57cec5SDimitry Andric } 3500b57cec5SDimitry Andric 3510b57cec5SDimitry Andric bool AMDGPUPerfHint::isLargeStride(const Instruction *Inst) { 3520b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "[isLargeStride] " << *Inst << '\n'); 3530b57cec5SDimitry Andric 3540b57cec5SDimitry Andric MemAccessInfo MAI = makeMemAccessInfo(const_cast<Instruction *>(Inst)); 3550b57cec5SDimitry Andric bool IsLargeStride = MAI.isLargeStride(LastAccess); 3560b57cec5SDimitry Andric if (MAI.Base) 3570b57cec5SDimitry Andric LastAccess = std::move(MAI); 3580b57cec5SDimitry Andric 3590b57cec5SDimitry Andric return IsLargeStride; 3600b57cec5SDimitry Andric } 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric AMDGPUPerfHint::MemAccessInfo 3630b57cec5SDimitry Andric AMDGPUPerfHint::makeMemAccessInfo(Instruction *Inst) const { 3640b57cec5SDimitry Andric MemAccessInfo MAI; 3650eae32dcSDimitry Andric const Value *MO = getMemoryInstrPtrAndType(Inst).first; 3660b57cec5SDimitry Andric 3670b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "[isLargeStride] MO: " << *MO << '\n'); 3680b57cec5SDimitry Andric // Do not treat local-addr memory access as large stride. 3690b57cec5SDimitry Andric if (isLocalAddr(MO)) 3700b57cec5SDimitry Andric return MAI; 3710b57cec5SDimitry Andric 3720b57cec5SDimitry Andric MAI.V = MO; 3730b57cec5SDimitry Andric MAI.Base = GetPointerBaseWithConstantOffset(MO, MAI.Offset, *DL); 3740b57cec5SDimitry Andric return MAI; 3750b57cec5SDimitry Andric } 3760b57cec5SDimitry Andric 3770b57cec5SDimitry Andric bool AMDGPUPerfHint::MemAccessInfo::isLargeStride( 3780b57cec5SDimitry Andric MemAccessInfo &Reference) const { 3790b57cec5SDimitry Andric 3800b57cec5SDimitry Andric if (!Base || !Reference.Base || Base != Reference.Base) 3810b57cec5SDimitry Andric return false; 3820b57cec5SDimitry Andric 3830b57cec5SDimitry Andric uint64_t Diff = Offset > Reference.Offset ? Offset - Reference.Offset 3840b57cec5SDimitry Andric : Reference.Offset - Offset; 3850b57cec5SDimitry Andric bool Result = Diff > LargeStrideThresh; 3860b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "[isLargeStride compare]\n" 3870b57cec5SDimitry Andric << print() << "<=>\n" 3880b57cec5SDimitry Andric << Reference.print() << "Result:" << Result << '\n'); 3890b57cec5SDimitry Andric return Result; 3900b57cec5SDimitry Andric } 3910b57cec5SDimitry Andric } // namespace 3920b57cec5SDimitry Andric 3930b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::runOnSCC(CallGraphSCC &SCC) { 3940b57cec5SDimitry Andric auto *TPC = getAnalysisIfAvailable<TargetPassConfig>(); 3950b57cec5SDimitry Andric if (!TPC) 3960b57cec5SDimitry Andric return false; 3970b57cec5SDimitry Andric 3980b57cec5SDimitry Andric const TargetMachine &TM = TPC->getTM<TargetMachine>(); 3990b57cec5SDimitry Andric 4000b57cec5SDimitry Andric bool Changed = false; 4010b57cec5SDimitry Andric for (CallGraphNode *I : SCC) { 4020b57cec5SDimitry Andric Function *F = I->getFunction(); 4030b57cec5SDimitry Andric if (!F || F->isDeclaration()) 4040b57cec5SDimitry Andric continue; 4050b57cec5SDimitry Andric 4060b57cec5SDimitry Andric const TargetSubtargetInfo *ST = TM.getSubtargetImpl(*F); 4070b57cec5SDimitry Andric AMDGPUPerfHint Analyzer(FIM, ST->getTargetLowering()); 4080b57cec5SDimitry Andric 4090b57cec5SDimitry Andric if (Analyzer.runOnFunction(*F)) 4100b57cec5SDimitry Andric Changed = true; 4110b57cec5SDimitry Andric } 4120b57cec5SDimitry Andric 4130b57cec5SDimitry Andric return Changed; 4140b57cec5SDimitry Andric } 4150b57cec5SDimitry Andric 4160b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::isMemoryBound(const Function *F) const { 4170b57cec5SDimitry Andric auto FI = FIM.find(F); 4180b57cec5SDimitry Andric if (FI == FIM.end()) 4190b57cec5SDimitry Andric return false; 4200b57cec5SDimitry Andric 4210b57cec5SDimitry Andric return AMDGPUPerfHint::isMemBound(FI->second); 4220b57cec5SDimitry Andric } 4230b57cec5SDimitry Andric 4240b57cec5SDimitry Andric bool AMDGPUPerfHintAnalysis::needsWaveLimiter(const Function *F) const { 4250b57cec5SDimitry Andric auto FI = FIM.find(F); 4260b57cec5SDimitry Andric if (FI == FIM.end()) 4270b57cec5SDimitry Andric return false; 4280b57cec5SDimitry Andric 4290b57cec5SDimitry Andric return AMDGPUPerfHint::needLimitWave(FI->second); 4300b57cec5SDimitry Andric } 431