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:
AMDGPUPerfHint__anonb2f9b9d50111::AMDGPUPerfHint690b57cec5SDimitry Andric AMDGPUPerfHint(AMDGPUPerfHintAnalysis::FuncInfoMap &FIM_,
700b57cec5SDimitry Andric const TargetLowering *TLI_)
71*0fca6ea1SDimitry Andric : FIM(FIM_), TLI(TLI_) {}
720b57cec5SDimitry Andric
730b57cec5SDimitry Andric bool runOnFunction(Function &F);
740b57cec5SDimitry Andric
750b57cec5SDimitry Andric private:
760b57cec5SDimitry Andric struct MemAccessInfo {
77fcaf7f86SDimitry Andric const Value *V = nullptr;
78fcaf7f86SDimitry Andric const Value *Base = nullptr;
79fcaf7f86SDimitry Andric int64_t Offset = 0;
80fcaf7f86SDimitry Andric MemAccessInfo() = default;
810b57cec5SDimitry Andric bool isLargeStride(MemAccessInfo &Reference) const;
820b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
print__anonb2f9b9d50111::AMDGPUPerfHint::MemAccessInfo830b57cec5SDimitry 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
98*0fca6ea1SDimitry Andric const DataLayout *DL = nullptr;
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;
119fcaf7f86SDimitry Andric bool isGlobalLoadUsedInBB(const Instruction &) const;
1200b57cec5SDimitry Andric };
1210b57cec5SDimitry Andric
getMemoryInstrPtrAndType(const Instruction * Inst)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
isIndirectAccess(const Instruction * Inst) const1380b57cec5SDimitry 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
200fcaf7f86SDimitry Andric // Returns true if the global load `I` is used in its own basic block.
isGlobalLoadUsedInBB(const Instruction & I) const201fcaf7f86SDimitry Andric bool AMDGPUPerfHint::isGlobalLoadUsedInBB(const Instruction &I) const {
202fcaf7f86SDimitry Andric const auto *Ld = dyn_cast<LoadInst>(&I);
203fcaf7f86SDimitry Andric if (!Ld)
204fcaf7f86SDimitry Andric return false;
205fcaf7f86SDimitry Andric if (!isGlobalAddr(Ld->getPointerOperand()))
206fcaf7f86SDimitry Andric return false;
207fcaf7f86SDimitry Andric
208fcaf7f86SDimitry Andric for (const User *Usr : Ld->users()) {
209fcaf7f86SDimitry Andric if (const Instruction *UsrInst = dyn_cast<Instruction>(Usr)) {
210fcaf7f86SDimitry Andric if (UsrInst->getParent() == I.getParent())
211fcaf7f86SDimitry Andric return true;
212fcaf7f86SDimitry Andric }
213fcaf7f86SDimitry Andric }
214fcaf7f86SDimitry Andric
215fcaf7f86SDimitry Andric return false;
216fcaf7f86SDimitry Andric }
217fcaf7f86SDimitry Andric
visit(const Function & F)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();
225fcaf7f86SDimitry 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);
229fcaf7f86SDimitry Andric // TODO: Check if the global load and its user are close to each other
230fcaf7f86SDimitry Andric // instead (Or do this analysis in GCNSchedStrategy?).
231fcaf7f86SDimitry Andric if (isGlobalLoadUsedInBB(I))
232fcaf7f86SDimitry 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 }
272fcaf7f86SDimitry Andric
273fcaf7f86SDimitry Andric if (!FI.HasDenseGlobalMemAcc) {
274fcaf7f86SDimitry Andric unsigned GlobalMemAccPercentage = UsedGlobalLoadsInBB * 100 / B.size();
275fcaf7f86SDimitry Andric if (GlobalMemAccPercentage > 50) {
276fcaf7f86SDimitry Andric LLVM_DEBUG(dbgs() << "[HasDenseGlobalMemAcc] Set to true since "
277fcaf7f86SDimitry Andric << B.getName() << " has " << GlobalMemAccPercentage
278fcaf7f86SDimitry Andric << "% global memory access\n");
279fcaf7f86SDimitry Andric FI.HasDenseGlobalMemAcc = true;
280fcaf7f86SDimitry Andric }
281fcaf7f86SDimitry Andric }
2820b57cec5SDimitry Andric }
2830b57cec5SDimitry Andric
2840b57cec5SDimitry Andric return &FI;
2850b57cec5SDimitry Andric }
2860b57cec5SDimitry Andric
runOnFunction(Function & F)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
isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo & FI)3220b57cec5SDimitry Andric bool AMDGPUPerfHint::isMemBound(const AMDGPUPerfHintAnalysis::FuncInfo &FI) {
323fcaf7f86SDimitry Andric // Reverting optimal scheduling in favour of occupancy with basic block(s)
324fcaf7f86SDimitry Andric // having dense global memory access can potentially hurt performance.
325fcaf7f86SDimitry Andric if (FI.HasDenseGlobalMemAcc)
326fcaf7f86SDimitry Andric return true;
327fcaf7f86SDimitry Andric
328fe6060f1SDimitry Andric return FI.MemInstCost * 100 / FI.InstCost > MemBoundThresh;
3290b57cec5SDimitry Andric }
3300b57cec5SDimitry Andric
needLimitWave(const AMDGPUPerfHintAnalysis::FuncInfo & FI)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
isGlobalAddr(const Value * V) const3360b57cec5SDimitry 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
isLocalAddr(const Value * V) const3450b57cec5SDimitry 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
isLargeStride(const Instruction * Inst)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
makeMemAccessInfo(Instruction * Inst) const3630b57cec5SDimitry 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
isLargeStride(MemAccessInfo & Reference) const3770b57cec5SDimitry 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
runOnSCC(CallGraphSCC & SCC)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
isMemoryBound(const Function * F) const4160b57cec5SDimitry 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
needsWaveLimiter(const Function * F) const4240b57cec5SDimitry 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