LLVM  10.0.0svn
Go to the documentation of this file.
1 //===- InlineAlways.cpp - Code to inline always_inline functions ----------===//
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 // This file implements a custom inliner that handles only functions that
10 // are marked as "always inline".
11 //
12 //===----------------------------------------------------------------------===//
15 #include "llvm/ADT/SetVector.h"
19 #include "llvm/IR/CallSite.h"
20 #include "llvm/IR/CallingConv.h"
21 #include "llvm/IR/DataLayout.h"
22 #include "llvm/IR/Instructions.h"
23 #include "llvm/IR/Module.h"
24 #include "llvm/IR/Type.h"
25 #include "llvm/Transforms/IPO.h"
30 using namespace llvm;
32 #define DEBUG_TYPE "inline"
35  ModuleAnalysisManager &MAM) {
36  // Add inline assumptions during code generation.
38  MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
39  std::function<AssumptionCache &(Function &)> GetAssumptionCache =
40  [&](Function &F) -> AssumptionCache & {
41  return FAM.getResult<AssumptionAnalysis>(F);
42  };
43  InlineFunctionInfo IFI(/*cg=*/nullptr, &GetAssumptionCache);
46  bool Changed = false;
47  SmallVector<Function *, 16> InlinedFunctions;
48  for (Function &F : M)
49  if (!F.isDeclaration() && F.hasFnAttribute(Attribute::AlwaysInline) &&
50  isInlineViable(F)) {
51  Calls.clear();
53  for (User *U : F.users())
54  if (auto CS = CallSite(U))
55  if (CS.getCalledFunction() == &F)
56  Calls.insert(CS);
58  for (CallSite CS : Calls)
59  // FIXME: We really shouldn't be able to fail to inline at this point!
60  // We should do something to log or check the inline failures here.
61  Changed |=
62  InlineFunction(CS, IFI, /*CalleeAAR=*/nullptr, InsertLifetime);
64  // Remember to try and delete this function afterward. This both avoids
65  // re-walking the rest of the module and avoids dealing with any iterator
66  // invalidation issues while deleting functions.
67  InlinedFunctions.push_back(&F);
68  }
70  // Remove any live functions.
71  erase_if(InlinedFunctions, [&](Function *F) {
73  return !F->isDefTriviallyDead();
74  });
76  // Delete the non-comdat ones from the module and also from our vector.
77  auto NonComdatBegin = partition(
78  InlinedFunctions, [&](Function *F) { return F->hasComdat(); });
79  for (Function *F : make_range(NonComdatBegin, InlinedFunctions.end()))
80  M.getFunctionList().erase(F);
81  InlinedFunctions.erase(NonComdatBegin, InlinedFunctions.end());
83  if (!InlinedFunctions.empty()) {
84  // Now we just have the comdat functions. Filter out the ones whose comdats
85  // are not actually dead.
86  filterDeadComdatFunctions(M, InlinedFunctions);
87  // The remaining functions are actually dead.
88  for (Function *F : InlinedFunctions)
89  M.getFunctionList().erase(F);
90  }
92  return Changed ? PreservedAnalyses::none() : PreservedAnalyses::all();
93 }
95 namespace {
97 /// Inliner pass which only handles "always inline" functions.
98 ///
99 /// Unlike the \c AlwaysInlinerPass, this uses the more heavyweight \c Inliner
100 /// base class to provide several facilities such as array alloca merging.
101 class AlwaysInlinerLegacyPass : public LegacyInlinerBase {
103 public:
104  AlwaysInlinerLegacyPass() : LegacyInlinerBase(ID, /*InsertLifetime*/ true) {
106  }
108  AlwaysInlinerLegacyPass(bool InsertLifetime)
109  : LegacyInlinerBase(ID, InsertLifetime) {
111  }
113  /// Main run interface method. We override here to avoid calling skipSCC().
114  bool runOnSCC(CallGraphSCC &SCC) override { return inlineCalls(SCC); }
116  static char ID; // Pass identification, replacement for typeid
118  InlineCost getInlineCost(CallSite CS) override;
121  bool doFinalization(CallGraph &CG) override {
122  return removeDeadFunctions(CG, /*AlwaysInlineOnly=*/true);
123  }
124 };
125 }
128 INITIALIZE_PASS_BEGIN(AlwaysInlinerLegacyPass, "always-inline",
129  "Inliner for always_inline functions", false, false)
134 INITIALIZE_PASS_END(AlwaysInlinerLegacyPass, "always-inline",
135  "Inliner for always_inline functions", false, false)
137 Pass *llvm::createAlwaysInlinerLegacyPass(bool InsertLifetime) {
138  return new AlwaysInlinerLegacyPass(InsertLifetime);
139 }
141 /// Get the inline cost for the always-inliner.
142 ///
143 /// The always inliner *only* handles functions which are marked with the
144 /// attribute to force inlining. As such, it is dramatically simpler and avoids
145 /// using the powerful (but expensive) inline cost analysis. Instead it uses
146 /// a very simple and boring direct walk of the instructions looking for
147 /// impossible-to-inline constructs.
148 ///
149 /// Note, it would be possible to go to some lengths to cache the information
150 /// computed here, but as we only expect to do this for relatively few and
151 /// small functions which have the explicit attribute to force inlining, it is
152 /// likely not worth it in practice.
156  // Only inline direct calls to functions with always-inline attributes
157  // that are viable for inlining.
158  if (!Callee)
159  return InlineCost::getNever("indirect call");
161  // FIXME: We shouldn't even get here for declarations.
162  if (Callee->isDeclaration())
163  return InlineCost::getNever("no definition");
165  if (!CS.hasFnAttr(Attribute::AlwaysInline))
166  return InlineCost::getNever("no alwaysinline attribute");
168  auto IsViable = isInlineViable(*Callee);
169  if (!IsViable)
170  return InlineCost::getNever(IsViable.message);
172  return InlineCost::getAlways("always inliner");
173 }
Pass interface - Implemented by all &#39;passes&#39;.
Definition: Pass.h:80
InlineCost getInlineCost(CallBase &Call, 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.
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Definition: PassManager.h:777
partial Partial Inliner
This class represents lattice values for constants.
Definition: AllocatorList.h:23
A Module instance is used to store all the information related to an LLVM module. ...
Definition: Module.h:66
INITIALIZE_PASS_BEGIN(AlwaysInlinerLegacyPass, "always-inline", "Inliner for always_inline functions", false, false) INITIALIZE_PASS_END(AlwaysInlinerLegacyPass
An immutable pass that tracks lazily created AssumptionCache objects.
A cache of @llvm.assume calls within a function.
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
This class captures the data input to the InlineFunction call, and records the auxiliary results prod...
Definition: Cloning.h:173
Represents the cost of inlining a function.
Definition: InlineCost.h:63
Definition: PassSupport.h:50
An analysis pass based on legacy pass manager to deliver ProfileSummaryInfo.
This class contains all of the helper code which is used to perform the inlining operations that do n...
Definition: Inliner.h:30
virtual bool doFinalization(Module &)
doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes...
Definition: Pass.h:109
always Inliner for always_inline functions
bool insert(const value_type &X)
Insert a new element into the SetVector.
Definition: SetVector.h:141
auto partition(R &&Range, UnaryPredicate P) -> decltype(adl_begin(Range))
Provide wrappers to std::partition which take ranges instead of having to pass begin/end explicitly...
Definition: STLExtras.h:1254
static InlineCost getAlways(const char *Reason)
Definition: InlineCost.h:91
void removeDeadConstantUsers() const
If there are any dead constant users dangling off of this constant, remove them.
Definition: Constants.cpp:571
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
Definition: PassManager.h:157
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:154
The ModulePass which wraps up a CallGraph and the logic to build it.
Definition: CallGraph.h:324
InlineResult isInlineViable(Function &Callee)
Minimal filter to detect invalid constructs for inlining.
Pass * createAlwaysInlinerLegacyPass(bool InsertLifetime=true)
Create a legacy pass manager instance of a pass to inline and remove functions marked as "always_inli...
InlineResult InlineFunction(CallBase *CB, InlineFunctionInfo &IFI, AAResults *CalleeAAR=nullptr, bool InsertLifetime=true)
This function inlines the called function into the basic block of the caller.
void initializeAlwaysInlinerLegacyPassPass(PassRegistry &)
iterator erase(const_iterator CI)
Definition: SmallVector.h:434
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition: PassManager.h:160
INITIALIZE_PASS_END(RegBankSelect, DEBUG_TYPE, "Assign register bank of generic virtual registers", false, false) RegBankSelect
Provides passes to inlining "always_inline" functions.
A function analysis which provides an AssumptionCache.
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
A SetVector that performs no allocations if smaller than a certain size.
Definition: SetVector.h:297
This is a &#39;vector&#39; (really, a variable-sized array), optimized for the case when the array is small...
Definition: SmallVector.h:837
Module.h This file contains the declarations for the Module class.
always inline
PreservedAnalyses run(Module &M, ModuleAnalysisManager &)
void erase_if(Container &C, UnaryPredicate P)
Provide a container algorithm similar to C++ Library Fundamentals v2&#39;s erase_if which is equivalent t...
Definition: STLExtras.h:1332
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
bool hasComdat() const
Definition: GlobalObject.h:119
void filterDeadComdatFunctions(Module &M, SmallVectorImpl< Function *> &DeadComdatFunctions)
Filter out potentially dead comdat functions where other entries keep the entire comdat group alive...
The basic data container for the call graph of a Module of IR.
Definition: CallGraph.h:73
static InlineCost getNever(const char *Reason)
Definition: InlineCost.h:94
LLVM_NODISCARD bool empty() const
Definition: SmallVector.h:55
bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
Definition: Globals.cpp:231
CallGraphSCC - This is a single SCC that a CallGraphSCCPass is run on.
A container for analyses that lazily runs them and caches their results.
for(unsigned i=Desc.getNumOperands(), e=OldMI.getNumOperands();i !=e;++i)
bool isDefTriviallyDead() const
isDefTriviallyDead - Return true if it is trivially safe to remove this function definition from the ...
Definition: Function.cpp:1440
An analysis over an "outer" IR unit that provides access to an analysis manager over an "inner" IR un...
Definition: PassManager.h:1045