LLVM  9.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"
37  bool Changed = false;
38  SmallVector<Function *, 16> InlinedFunctions;
39  for (Function &F : M)
40  if (!F.isDeclaration() && F.hasFnAttribute(Attribute::AlwaysInline) &&
41  isInlineViable(F)) {
42  Calls.clear();
44  for (User *U : F.users())
45  if (auto CS = CallSite(U))
46  if (CS.getCalledFunction() == &F)
47  Calls.insert(CS);
49  for (CallSite CS : Calls)
50  // FIXME: We really shouldn't be able to fail to inline at this point!
51  // We should do something to log or check the inline failures here.
52  Changed |=
53  InlineFunction(CS, IFI, /*CalleeAAR=*/nullptr, InsertLifetime);
55  // Remember to try and delete this function afterward. This both avoids
56  // re-walking the rest of the module and avoids dealing with any iterator
57  // invalidation issues while deleting functions.
58  InlinedFunctions.push_back(&F);
59  }
61  // Remove any live functions.
62  erase_if(InlinedFunctions, [&](Function *F) {
64  return !F->isDefTriviallyDead();
65  });
67  // Delete the non-comdat ones from the module and also from our vector.
68  auto NonComdatBegin = partition(
69  InlinedFunctions, [&](Function *F) { return F->hasComdat(); });
70  for (Function *F : make_range(NonComdatBegin, InlinedFunctions.end()))
71  M.getFunctionList().erase(F);
72  InlinedFunctions.erase(NonComdatBegin, InlinedFunctions.end());
74  if (!InlinedFunctions.empty()) {
75  // Now we just have the comdat functions. Filter out the ones whose comdats
76  // are not actually dead.
77  filterDeadComdatFunctions(M, InlinedFunctions);
78  // The remaining functions are actually dead.
79  for (Function *F : InlinedFunctions)
80  M.getFunctionList().erase(F);
81  }
83  return Changed ? PreservedAnalyses::none() : PreservedAnalyses::all();
84 }
86 namespace {
88 /// Inliner pass which only handles "always inline" functions.
89 ///
90 /// Unlike the \c AlwaysInlinerPass, this uses the more heavyweight \c Inliner
91 /// base class to provide several facilities such as array alloca merging.
92 class AlwaysInlinerLegacyPass : public LegacyInlinerBase {
94 public:
95  AlwaysInlinerLegacyPass() : LegacyInlinerBase(ID, /*InsertLifetime*/ true) {
97  }
99  AlwaysInlinerLegacyPass(bool InsertLifetime)
100  : LegacyInlinerBase(ID, InsertLifetime) {
102  }
104  /// Main run interface method. We override here to avoid calling skipSCC().
105  bool runOnSCC(CallGraphSCC &SCC) override { return inlineCalls(SCC); }
107  static char ID; // Pass identification, replacement for typeid
109  InlineCost getInlineCost(CallSite CS) override;
112  bool doFinalization(CallGraph &CG) override {
113  return removeDeadFunctions(CG, /*AlwaysInlineOnly=*/true);
114  }
115 };
116 }
119 INITIALIZE_PASS_BEGIN(AlwaysInlinerLegacyPass, "always-inline",
120  "Inliner for always_inline functions", false, false)
125 INITIALIZE_PASS_END(AlwaysInlinerLegacyPass, "always-inline",
126  "Inliner for always_inline functions", false, false)
128 Pass *llvm::createAlwaysInlinerLegacyPass(bool InsertLifetime) {
129  return new AlwaysInlinerLegacyPass(InsertLifetime);
130 }
132 /// Get the inline cost for the always-inliner.
133 ///
134 /// The always inliner *only* handles functions which are marked with the
135 /// attribute to force inlining. As such, it is dramatically simpler and avoids
136 /// using the powerful (but expensive) inline cost analysis. Instead it uses
137 /// a very simple and boring direct walk of the instructions looking for
138 /// impossible-to-inline constructs.
139 ///
140 /// Note, it would be possible to go to some lengths to cache the information
141 /// computed here, but as we only expect to do this for relatively few and
142 /// small functions which have the explicit attribute to force inlining, it is
143 /// likely not worth it in practice.
147  // Only inline direct calls to functions with always-inline attributes
148  // that are viable for inlining.
149  if (!Callee)
150  return InlineCost::getNever("indirect call");
152  // FIXME: We shouldn't even get here for declarations.
153  if (Callee->isDeclaration())
154  return InlineCost::getNever("no definition");
156  if (!CS.hasFnAttr(Attribute::AlwaysInline))
157  return InlineCost::getNever("no alwaysinline attribute");
159  auto IsViable = isInlineViable(*Callee);
160  if (!IsViable)
161  return InlineCost::getNever(IsViable.message);
163  return InlineCost::getAlways("always inliner");
164 }
Pass interface - Implemented by all &#39;passes&#39;.
Definition: Pass.h:80
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
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:65
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.
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
InlineResult InlineFunction(CallInst *C, InlineFunctionInfo &IFI, AAResults *CalleeAAR=nullptr, bool InsertLifetime=true)
This function inlines the called function into the basic block of the caller.
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:1274
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:546
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
Definition: PassManager.h:156
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:153
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...
void initializeAlwaysInlinerLegacyPassPass(PassRegistry &)
iterator erase(const_iterator CI)
Definition: SmallVector.h:438
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition: PassManager.h:159
INITIALIZE_PASS_END(RegBankSelect, DEBUG_TYPE, "Assign register bank of generic virtual registers", false, false) RegBankSelect
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.
Provides passes to inlining "always_inline" functions.
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:841
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:1384
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:99
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:205
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:1277