LLVM  9.0.0svn
AMDGPUInline.cpp
Go to the documentation of this file.
1 //===- AMDGPUInline.cpp - Code to perform simple function inlining --------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 /// \file
10 /// This is AMDGPU specific replacement of the standard inliner.
11 /// The main purpose is to account for the fact that calls not only expensive
12 /// on the AMDGPU, but much more expensive if a private memory pointer is
13 /// passed to a function as an argument. In this situation, we are unable to
14 /// eliminate private memory in the caller unless inlined and end up with slow
15 /// and expensive scratch access. Thus, we boost the inline threshold for such
16 /// functions here.
17 ///
18 //===----------------------------------------------------------------------===//
19 
20 
21 #include "AMDGPU.h"
22 #include "llvm/Transforms/IPO.h"
28 #include "llvm/IR/CallSite.h"
29 #include "llvm/IR/DataLayout.h"
30 #include "llvm/IR/Instructions.h"
31 #include "llvm/IR/Module.h"
32 #include "llvm/IR/Type.h"
34 #include "llvm/Support/Debug.h"
36 
37 using namespace llvm;
38 
39 #define DEBUG_TYPE "inline"
40 
41 static cl::opt<int>
42 ArgAllocaCost("amdgpu-inline-arg-alloca-cost", cl::Hidden, cl::init(2200),
43  cl::desc("Cost of alloca argument"));
44 
45 // If the amount of scratch memory to eliminate exceeds our ability to allocate
46 // it into registers we gain nothing by aggressively inlining functions for that
47 // heuristic.
48 static cl::opt<unsigned>
49 ArgAllocaCutoff("amdgpu-inline-arg-alloca-cutoff", cl::Hidden, cl::init(256),
50  cl::desc("Maximum alloca size to use for inline cost"));
51 
52 namespace {
53 
54 class AMDGPUInliner : public LegacyInlinerBase {
55 
56 public:
57  AMDGPUInliner() : LegacyInlinerBase(ID) {
59  Params = getInlineParams();
60  }
61 
62  static char ID; // Pass identification, replacement for typeid
63 
64  unsigned getInlineThreshold(CallSite CS) const;
65 
66  InlineCost getInlineCost(CallSite CS) override;
67 
68  bool runOnSCC(CallGraphSCC &SCC) override;
69 
70  void getAnalysisUsage(AnalysisUsage &AU) const override;
71 
72 private:
74 
75  InlineParams Params;
76 };
77 
78 } // end anonymous namespace
79 
80 char AMDGPUInliner::ID = 0;
81 INITIALIZE_PASS_BEGIN(AMDGPUInliner, "amdgpu-inline",
82  "AMDGPU Function Integration/Inlining", false, false)
88 INITIALIZE_PASS_END(AMDGPUInliner, "amdgpu-inline",
89  "AMDGPU Function Integration/Inlining", false, false)
90 
91 Pass *llvm::createAMDGPUFunctionInliningPass() { return new AMDGPUInliner(); }
92 
93 bool AMDGPUInliner::runOnSCC(CallGraphSCC &SCC) {
94  TTIWP = &getAnalysis<TargetTransformInfoWrapperPass>();
95  return LegacyInlinerBase::runOnSCC(SCC);
96 }
97 
98 void AMDGPUInliner::getAnalysisUsage(AnalysisUsage &AU) const {
101 }
102 
103 unsigned AMDGPUInliner::getInlineThreshold(CallSite CS) const {
104  int Thres = Params.DefaultThreshold;
105 
106  Function *Caller = CS.getCaller();
107  // Listen to the inlinehint attribute when it would increase the threshold
108  // and the caller does not need to minimize its size.
110  bool InlineHint = Callee && !Callee->isDeclaration() &&
111  Callee->hasFnAttribute(Attribute::InlineHint);
112  if (InlineHint && Params.HintThreshold && Params.HintThreshold > Thres
113  && !Caller->hasFnAttribute(Attribute::MinSize))
114  Thres = Params.HintThreshold.getValue();
115 
116  const DataLayout &DL = Caller->getParent()->getDataLayout();
117  if (!Callee)
118  return (unsigned)Thres;
119 
120  // If we have a pointer to private array passed into a function
121  // it will not be optimized out, leaving scratch usage.
122  // Increase the inline threshold to allow inliniting in this case.
123  uint64_t AllocaSize = 0;
125  for (Value *PtrArg : CS.args()) {
126  Type *Ty = PtrArg->getType();
127  if (!Ty->isPointerTy() ||
129  continue;
130  PtrArg = GetUnderlyingObject(PtrArg, DL);
131  if (const AllocaInst *AI = dyn_cast<AllocaInst>(PtrArg)) {
132  if (!AI->isStaticAlloca() || !AIVisited.insert(AI).second)
133  continue;
134  AllocaSize += DL.getTypeAllocSize(AI->getAllocatedType());
135  // If the amount of stack memory is excessive we will not be able
136  // to get rid of the scratch anyway, bail out.
137  if (AllocaSize > ArgAllocaCutoff) {
138  AllocaSize = 0;
139  break;
140  }
141  }
142  }
143  if (AllocaSize)
144  Thres += ArgAllocaCost;
145 
146  return (unsigned)Thres;
147 }
148 
149 // Check if call is just a wrapper around another call.
150 // In this case we only have call and ret instructions.
151 static bool isWrapperOnlyCall(CallSite CS) {
153  if (!Callee || Callee->size() != 1)
154  return false;
155  const BasicBlock &BB = Callee->getEntryBlock();
156  if (const Instruction *I = BB.getFirstNonPHI()) {
157  if (!isa<CallInst>(I)) {
158  return false;
159  }
160  if (isa<ReturnInst>(*std::next(I->getIterator()))) {
161  LLVM_DEBUG(dbgs() << " Wrapper only call detected: "
162  << Callee->getName() << '\n');
163  return true;
164  }
165  }
166  return false;
167 }
168 
171  Function *Caller = CS.getCaller();
172  TargetTransformInfo &TTI = TTIWP->getTTI(*Callee);
173 
174  if (!Callee || Callee->isDeclaration())
175  return llvm::InlineCost::getNever("undefined callee");
176 
177  if (CS.isNoInline())
178  return llvm::InlineCost::getNever("noinline");
179 
180  if (!TTI.areInlineCompatible(Caller, Callee))
181  return llvm::InlineCost::getNever("incompatible");
182 
183  if (CS.hasFnAttr(Attribute::AlwaysInline)) {
184  auto IsViable = isInlineViable(*Callee);
185  if (IsViable)
186  return llvm::InlineCost::getAlways("alwaysinline viable");
187  return llvm::InlineCost::getNever(IsViable.message);
188  }
189 
190  if (isWrapperOnlyCall(CS))
191  return llvm::InlineCost::getAlways("wrapper-only call");
192 
193  InlineParams LocalParams = Params;
194  LocalParams.DefaultThreshold = (int)getInlineThreshold(CS);
195  bool RemarksEnabled = false;
196  const auto &BBs = Caller->getBasicBlockList();
197  if (!BBs.empty()) {
198  auto DI = OptimizationRemark(DEBUG_TYPE, "", DebugLoc(), &BBs.front());
199  if (DI.isEnabled())
200  RemarksEnabled = true;
201  }
202 
203  OptimizationRemarkEmitter ORE(Caller);
204  std::function<AssumptionCache &(Function &)> GetAssumptionCache =
205  [this](Function &F) -> AssumptionCache & {
206  return ACT->getAssumptionCache(F);
207  };
208 
209  return llvm::getInlineCost(CS, Callee, LocalParams, TTI, GetAssumptionCache,
210  None, PSI, RemarksEnabled ? &ORE : nullptr);
211 }
size_t size() const
Definition: Function.h:663
Pass interface - Implemented by all &#39;passes&#39;.
Definition: Pass.h:80
A parsed version of the target data layout string in and methods for querying it. ...
Definition: DataLayout.h:110
Thresholds to tune inline cost analysis.
Definition: InlineCost.h:153
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
This class represents lattice values for constants.
Definition: AllocatorList.h:23
#define DEBUG_TYPE
An immutable pass that tracks lazily created AssumptionCache objects.
A cache of @llvm.assume calls within a function.
Address space for private memory.
Definition: AMDGPU.h:256
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
Definition: Function.h:320
A debug info location.
Definition: DebugLoc.h:33
F(f)
unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
Definition: DerivedTypes.h:534
FunTy * getCalledFunction() const
Return the function being called if this is a direct call, otherwise return null (if it&#39;s an indirect...
Definition: CallSite.h:111
static bool isWrapperOnlyCall(CallSite CS)
Represents the cost of inlining a function.
Definition: InlineCost.h:63
AnalysisUsage & addRequired()
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition: PassSupport.h:50
bool runOnSCC(CallGraphSCC &SCC) override
Main run interface method, this implements the interface required by the Pass class.
Definition: Inliner.cpp:501
const DataLayout & getDataLayout() const
Get the data layout for the module&#39;s target platform.
Definition: Module.cpp:369
An analysis pass based on legacy pass manager to deliver ProfileSummaryInfo.
Pass * createAMDGPUFunctionInliningPass()
This class contains all of the helper code which is used to perform the inlining operations that do n...
Definition: Inliner.h:30
amdgpu AMDGPU Function Integration Inlining
void initializeAMDGPUInlinerPass(PassRegistry &)
This file provides interfaces used to build and manipulate a call graph, which is a very useful tool ...
static cl::opt< unsigned > ArgAllocaCutoff("amdgpu-inline-arg-alloca-cutoff", cl::Hidden, cl::init(256), cl::desc("Maximum alloca size to use for inline cost"))
static InlineCost getAlways(const char *Reason)
Definition: InlineCost.h:91
const BasicBlock & getEntryBlock() const
Definition: Function.h:642
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:427
void getAnalysisUsage(AnalysisUsage &Info) const override
For this class, we declare that we require and preserve the call graph.
Definition: Inliner.cpp:131
const Instruction * getFirstNonPHI() const
Returns a pointer to the first instruction in this block that is not a PHINode instruction.
Definition: BasicBlock.cpp:189
Wrapper pass for TargetTransformInfo.
The ModulePass which wraps up a CallGraph and the logic to build it.
Definition: CallGraph.h:324
bool isNoInline() const
Return true if the call should not be inlined.
Definition: CallSite.h:446
LLVM Basic Block Representation.
Definition: BasicBlock.h:57
The instances of the Type class are immutable: once they are created, they are never changed...
Definition: Type.h:45
bool isPointerTy() const
True if this is an instance of PointerType.
Definition: Type.h:223
amdgpu inline
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
Definition: SmallPtrSet.h:370
Diagnostic information for applied optimization remarks.
Represent the analysis usage information of a pass.
InlineResult isInlineViable(Function &Callee)
Minimal filter to detect invalid constructs for inlining.
Value * GetUnderlyingObject(Value *V, const DataLayout &DL, unsigned MaxLookup=6)
This method strips off any GEP address adjustments and pointer casts from the specified value...
INITIALIZE_PASS_END(RegBankSelect, DEBUG_TYPE, "Assign register bank of generic virtual registers", false, false) RegBankSelect
iterator_range< IterTy > args() const
Definition: CallSite.h:222
InlineCost getInlineCost(CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI, std::function< AssumptionCache &(Function &)> &GetAssumptionCache, Optional< function_ref< BlockFrequencyInfo &(Function &)>> GetBFI, ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE=nullptr)
Get an InlineCost object representing the cost of inlining this callsite.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements...
Definition: SmallPtrSet.h:417
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
InlineParams getInlineParams()
Generate the parameters to tune the inline cost analysis based only on the commandline options...
Module.h This file contains the declarations for the Module class.
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:132
bool hasFnAttr(Attribute::AttrKind Kind) const
Return true if this function has the given attribute.
Definition: CallSite.h:370
amdgpu Simplify well known AMD library false FunctionCallee Callee
uint64_t getTypeAllocSize(Type *Ty) const
Returns the offset in bytes between successive objects of the specified type, including alignment pad...
Definition: DataLayout.h:461
static InlineCost getNever(const char *Reason)
Definition: InlineCost.h:94
StringRef getName() const
Return a constant reference to the value&#39;s name.
Definition: Value.cpp:214
bool areInlineCompatible(const Function *Caller, const Function *Callee) const
#define I(x, y, z)
Definition: MD5.cpp:58
const BasicBlockListType & getBasicBlockList() const
Get the underlying elements of the Function...
Definition: Function.h:635
bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
Definition: Globals.cpp:205
static cl::opt< int > ArgAllocaCost("amdgpu-inline-arg-alloca-cost", cl::Hidden, cl::init(2200), cl::desc("Cost of alloca argument"))
Module * getParent()
Get the module that this global value is contained inside of...
Definition: GlobalValue.h:565
INITIALIZE_PASS_BEGIN(AMDGPUInliner, "amdgpu-inline", "AMDGPU Function Integration/Inlining", false, false) INITIALIZE_PASS_END(AMDGPUInliner
LLVM Value Representation.
Definition: Value.h:72
CallGraphSCC - This is a single SCC that a CallGraphSCCPass is run on.
This pass exposes codegen information to IR-level passes.
#define LLVM_DEBUG(X)
Definition: Debug.h:122
The optimization diagnostic interface.
int DefaultThreshold
The default threshold to start with for a callee.
Definition: InlineCost.h:155
an instruction to allocate memory on the stack
Definition: Instructions.h:59
FunTy * getCaller() const
Return the caller function for this call site.
Definition: CallSite.h:275