blob: da214a1d3b44d9b3497d82e425d2bca44285bc59 [file] [log] [blame]
Owen Anderson2f82e272009-06-14 08:26:32 +00001//===- PartialInlining.cpp - Inline parts of functions --------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This pass performs partial inlining, typically by inlining an if statement
11// that surrounds the body of the function.
12//
13//===----------------------------------------------------------------------===//
14
Easwaran Raman1832bf62016-06-27 16:50:18 +000015#include "llvm/Transforms/IPO/PartialInlining.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000016#include "llvm/ADT/DenseMap.h"
17#include "llvm/ADT/DenseSet.h"
18#include "llvm/ADT/None.h"
19#include "llvm/ADT/Optional.h"
20#include "llvm/ADT/STLExtras.h"
21#include "llvm/ADT/SmallVector.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/ADT/Statistic.h"
Sean Silvaf8015752016-08-02 02:15:45 +000023#include "llvm/Analysis/BlockFrequencyInfo.h"
24#include "llvm/Analysis/BranchProbabilityInfo.h"
Xinliang David Li61338462017-05-02 02:44:14 +000025#include "llvm/Analysis/InlineCost.h"
Sean Silvaf8015752016-08-02 02:15:45 +000026#include "llvm/Analysis/LoopInfo.h"
Adam Nemet0965da22017-10-09 23:19:02 +000027#include "llvm/Analysis/OptimizationRemarkEmitter.h"
Xinliang David Li61338462017-05-02 02:44:14 +000028#include "llvm/Analysis/ProfileSummaryInfo.h"
Graham Yiu8b1882c2017-11-30 02:41:36 +000029#include "llvm/Analysis/TargetLibraryInfo.h"
Xinliang David Li61338462017-05-02 02:44:14 +000030#include "llvm/Analysis/TargetTransformInfo.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000031#include "llvm/IR/Attributes.h"
32#include "llvm/IR/BasicBlock.h"
Chandler Carruth1305dc32014-03-04 11:45:46 +000033#include "llvm/IR/CFG.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000034#include "llvm/IR/CallSite.h"
35#include "llvm/IR/DebugLoc.h"
Xinliang David Li15744ad2017-04-23 21:40:58 +000036#include "llvm/IR/DiagnosticInfo.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000037#include "llvm/IR/Dominators.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000038#include "llvm/IR/Function.h"
39#include "llvm/IR/InstrTypes.h"
40#include "llvm/IR/Instruction.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000041#include "llvm/IR/Instructions.h"
Reid Kleckner0e8c4bb2017-09-07 23:27:44 +000042#include "llvm/IR/IntrinsicInst.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000043#include "llvm/IR/Intrinsics.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000044#include "llvm/IR/Module.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000045#include "llvm/IR/User.h"
Owen Anderson2f82e272009-06-14 08:26:32 +000046#include "llvm/Pass.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000047#include "llvm/Support/BlockFrequency.h"
48#include "llvm/Support/BranchProbability.h"
49#include "llvm/Support/Casting.h"
50#include "llvm/Support/CommandLine.h"
51#include "llvm/Support/ErrorHandling.h"
Easwaran Raman1832bf62016-06-27 16:50:18 +000052#include "llvm/Transforms/IPO.h"
Owen Anderson2f82e272009-06-14 08:26:32 +000053#include "llvm/Transforms/Utils/Cloning.h"
Chandler Carruth0fde0012012-05-04 10:18:49 +000054#include "llvm/Transforms/Utils/CodeExtractor.h"
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +000055#include "llvm/Transforms/Utils/ValueMapper.h"
56#include <algorithm>
57#include <cassert>
58#include <cstdint>
59#include <functional>
60#include <iterator>
61#include <memory>
62#include <tuple>
63#include <vector>
64
Owen Anderson2f82e272009-06-14 08:26:32 +000065using namespace llvm;
66
Xinliang David Li15744ad2017-04-23 21:40:58 +000067#define DEBUG_TYPE "partial-inlining"
Chandler Carruth964daaa2014-04-22 02:55:47 +000068
Xinliang David Li61338462017-05-02 02:44:14 +000069STATISTIC(NumPartialInlined,
70 "Number of callsites functions partially inlined into.");
Graham Yiu8b1882c2017-11-30 02:41:36 +000071STATISTIC(NumColdOutlinePartialInlined, "Number of times functions with "
72 "cold outlined regions were partially "
73 "inlined into its caller(s).");
74STATISTIC(NumColdRegionsFound,
75 "Number of cold single entry/exit regions found.");
76STATISTIC(NumColdRegionsOutlined,
77 "Number of cold single entry/exit regions outlined.");
Owen Andersonbd6a2132009-06-15 20:50:26 +000078
Xinliang David Lidb8d09b2017-04-23 23:39:04 +000079// Command line option to disable partial-inlining. The default is false:
80static cl::opt<bool>
81 DisablePartialInlining("disable-partial-inlining", cl::init(false),
Graham Yiu8b1882c2017-11-30 02:41:36 +000082 cl::Hidden, cl::desc("Disable partial inlining"));
83// Command line option to disable multi-region partial-inlining. The default is
84// false:
85static cl::opt<bool> DisableMultiRegionPartialInline(
86 "disable-mr-partial-inlining", cl::init(false), cl::Hidden,
87 cl::desc("Disable multi-region partial inlining"));
88
89// Command line option to force outlining in regions with live exit variables.
90// The default is false:
91static cl::opt<bool>
92 ForceLiveExit("pi-force-live-exit-outline", cl::init(false), cl::Hidden,
93 cl::desc("Force outline regions with live exits"));
94
95// Command line option to enable marking outline functions with Cold Calling
96// Convention. The default is false:
97static cl::opt<bool>
98 MarkOutlinedColdCC("pi-mark-coldcc", cl::init(false), cl::Hidden,
99 cl::desc("Mark outline function calls with ColdCC"));
100
101#ifndef NDEBUG
102// Command line option to debug partial-inlining. The default is none:
103static cl::opt<bool> TracePartialInlining("trace-partial-inlining",
104 cl::init(false), cl::Hidden,
105 cl::desc("Trace partial inlining."));
106#endif
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000107
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000108// This is an option used by testing:
109static cl::opt<bool> SkipCostAnalysis("skip-partial-inlining-cost-analysis",
110 cl::init(false), cl::ZeroOrMore,
111 cl::ReallyHidden,
112 cl::desc("Skip Cost Analysis"));
Graham Yiu8b1882c2017-11-30 02:41:36 +0000113// Used to determine if a cold region is worth outlining based on
114// its inlining cost compared to the original function. Default is set at 10%.
115// ie. if the cold region reduces the inlining cost of the original function by
116// at least 10%.
117static cl::opt<float> MinRegionSizeRatio(
118 "min-region-size-ratio", cl::init(0.1), cl::Hidden,
119 cl::desc("Minimum ratio comparing relative sizes of each "
120 "outline candidate and original function"));
121// Used to tune the minimum number of execution counts needed in the predecessor
122// block to the cold edge. ie. confidence interval.
123static cl::opt<unsigned>
124 MinBlockCounterExecution("min-block-execution", cl::init(100), cl::Hidden,
125 cl::desc("Minimum block executions to consider "
126 "its BranchProbabilityInfo valid"));
127// Used to determine when an edge is considered cold. Default is set to 10%. ie.
128// if the branch probability is 10% or less, then it is deemed as 'cold'.
129static cl::opt<float> ColdBranchRatio(
130 "cold-branch-ratio", cl::init(0.1), cl::Hidden,
131 cl::desc("Minimum BranchProbability to consider a region cold."));
Xinliang David Lidb8d09b2017-04-23 23:39:04 +0000132
Xinliang David Lid21601a2017-04-27 16:34:00 +0000133static cl::opt<unsigned> MaxNumInlineBlocks(
134 "max-num-inline-blocks", cl::init(5), cl::Hidden,
Chad Rosierf98335e2017-08-24 21:21:09 +0000135 cl::desc("Max number of blocks to be partially inlined"));
Xinliang David Lid21601a2017-04-27 16:34:00 +0000136
Xinliang David Lidb8d09b2017-04-23 23:39:04 +0000137// Command line option to set the maximum number of partial inlining allowed
138// for the module. The default value of -1 means no limit.
139static cl::opt<int> MaxNumPartialInlining(
140 "max-partial-inlining", cl::init(-1), cl::Hidden, cl::ZeroOrMore,
141 cl::desc("Max number of partial inlining. The default is unlimited"));
142
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000143// Used only when PGO or user annotated branch data is absent. It is
144// the least value that is used to weigh the outline region. If BFI
145// produces larger value, the BFI value will be used.
146static cl::opt<int>
147 OutlineRegionFreqPercent("outline-region-freq-percent", cl::init(75),
148 cl::Hidden, cl::ZeroOrMore,
149 cl::desc("Relative frequency of outline region to "
150 "the entry block"));
151
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000152static cl::opt<unsigned> ExtraOutliningPenalty(
153 "partial-inlining-extra-penalty", cl::init(0), cl::Hidden,
154 cl::desc("A debug option to add additional penalty to the computed one."));
155
Owen Anderson2f82e272009-06-14 08:26:32 +0000156namespace {
Xinliang David Lid21601a2017-04-27 16:34:00 +0000157
158struct FunctionOutliningInfo {
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000159 FunctionOutliningInfo() = default;
160
Xinliang David Lid21601a2017-04-27 16:34:00 +0000161 // Returns the number of blocks to be inlined including all blocks
162 // in Entries and one return block.
163 unsigned GetNumInlinedBlocks() const { return Entries.size() + 1; }
164
165 // A set of blocks including the function entry that guard
166 // the region to be outlined.
167 SmallVector<BasicBlock *, 4> Entries;
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000168
Xinliang David Lid21601a2017-04-27 16:34:00 +0000169 // The return block that is not included in the outlined region.
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000170 BasicBlock *ReturnBlock = nullptr;
171
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000172 // The dominating block of the region to be outlined.
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000173 BasicBlock *NonReturnBlock = nullptr;
174
Xinliang David Lid21601a2017-04-27 16:34:00 +0000175 // The set of blocks in Entries that that are predecessors to ReturnBlock
176 SmallVector<BasicBlock *, 4> ReturnBlockPreds;
177};
178
Graham Yiu8b1882c2017-11-30 02:41:36 +0000179struct FunctionOutliningMultiRegionInfo {
180 FunctionOutliningMultiRegionInfo()
181 : ORI() {}
182
183 // Container for outline regions
184 struct OutlineRegionInfo {
185 OutlineRegionInfo(SmallVector<BasicBlock *, 8> Region,
186 BasicBlock *EntryBlock, BasicBlock *ExitBlock,
187 BasicBlock *ReturnBlock)
188 : Region(Region), EntryBlock(EntryBlock), ExitBlock(ExitBlock),
189 ReturnBlock(ReturnBlock) {}
190 SmallVector<BasicBlock *, 8> Region;
191 BasicBlock *EntryBlock;
192 BasicBlock *ExitBlock;
193 BasicBlock *ReturnBlock;
194 };
195
196 SmallVector<OutlineRegionInfo, 4> ORI;
197};
198
Sean Silvafe5abd52016-07-25 05:00:00 +0000199struct PartialInlinerImpl {
Graham Yiu8b1882c2017-11-30 02:41:36 +0000200
Xinliang David Li61338462017-05-02 02:44:14 +0000201 PartialInlinerImpl(
202 std::function<AssumptionCache &(Function &)> *GetAC,
203 std::function<TargetTransformInfo &(Function &)> *GTTI,
204 Optional<function_ref<BlockFrequencyInfo &(Function &)>> GBFI,
Sean Fertile18f17332018-04-20 19:56:26 +0000205 ProfileSummaryInfo *ProfSI)
206 : GetAssumptionCache(GetAC), GetTTI(GTTI), GetBFI(GBFI), PSI(ProfSI) {}
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000207
Sean Silvafe5abd52016-07-25 05:00:00 +0000208 bool run(Module &M);
Graham Yiu8b1882c2017-11-30 02:41:36 +0000209 // Main part of the transformation that calls helper functions to find
210 // outlining candidates, clone & outline the function, and attempt to
211 // partially inline the resulting function. Returns true if
212 // inlining was successful, false otherwise. Also returns the outline
213 // function (only if we partially inlined early returns) as there is a
214 // possibility to further "peel" early return statements that were left in the
215 // outline function due to code size.
216 std::pair<bool, Function *> unswitchFunction(Function *F);
Sean Silvafe5abd52016-07-25 05:00:00 +0000217
Hiroshi Inoued24ddcd2018-01-19 10:55:29 +0000218 // This class speculatively clones the function to be partial inlined.
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000219 // At the end of partial inlining, the remaining callsites to the cloned
220 // function that are not partially inlined will be fixed up to reference
221 // the original function, and the cloned function will be erased.
222 struct FunctionCloner {
Graham Yiu8b1882c2017-11-30 02:41:36 +0000223 // Two constructors, one for single region outlining, the other for
224 // multi-region outlining.
225 FunctionCloner(Function *F, FunctionOutliningInfo *OI,
226 OptimizationRemarkEmitter &ORE);
227 FunctionCloner(Function *F, FunctionOutliningMultiRegionInfo *OMRI,
228 OptimizationRemarkEmitter &ORE);
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000229 ~FunctionCloner();
230
231 // Prepare for function outlining: making sure there is only
232 // one incoming edge from the extracted/outlined region to
233 // the return block.
234 void NormalizeReturnBlock();
235
Graham Yiu8b1882c2017-11-30 02:41:36 +0000236 // Do function outlining for cold regions.
237 bool doMultiRegionFunctionOutlining();
238 // Do function outlining for region after early return block(s).
Florian Hahn0e9dec62017-11-13 10:35:52 +0000239 // NOTE: For vararg functions that do the vararg handling in the outlined
240 // function, we temporarily generate IR that does not properly
241 // forward varargs to the outlined function. Calling InlineFunction
242 // will update calls to the outlined functions to properly forward
243 // the varargs.
Graham Yiu8b1882c2017-11-30 02:41:36 +0000244 Function *doSingleRegionFunctionOutlining();
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000245
246 Function *OrigFunc = nullptr;
247 Function *ClonedFunc = nullptr;
Graham Yiu8b1882c2017-11-30 02:41:36 +0000248
249 typedef std::pair<Function *, BasicBlock *> FuncBodyCallerPair;
250 // Keep track of Outlined Functions and the basic block they're called from.
251 SmallVector<FuncBodyCallerPair, 4> OutlinedFunctions;
252
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000253 // ClonedFunc is inlined in one of its callers after function
254 // outlining.
255 bool IsFunctionInlined = false;
256 // The cost of the region to be outlined.
257 int OutlinedRegionCost = 0;
Graham Yiu8b1882c2017-11-30 02:41:36 +0000258 // ClonedOI is specific to outlining non-early return blocks.
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000259 std::unique_ptr<FunctionOutliningInfo> ClonedOI = nullptr;
Graham Yiu8b1882c2017-11-30 02:41:36 +0000260 // ClonedOMRI is specific to outlining cold regions.
261 std::unique_ptr<FunctionOutliningMultiRegionInfo> ClonedOMRI = nullptr;
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000262 std::unique_ptr<BlockFrequencyInfo> ClonedFuncBFI = nullptr;
Graham Yiu8b1882c2017-11-30 02:41:36 +0000263 OptimizationRemarkEmitter &ORE;
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000264 };
265
Sean Silvafe5abd52016-07-25 05:00:00 +0000266private:
Xinliang David Lidb8d09b2017-04-23 23:39:04 +0000267 int NumPartialInlining = 0;
Xinliang David Li61338462017-05-02 02:44:14 +0000268 std::function<AssumptionCache &(Function &)> *GetAssumptionCache;
269 std::function<TargetTransformInfo &(Function &)> *GetTTI;
270 Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI;
271 ProfileSummaryInfo *PSI;
Xinliang David Lidb8d09b2017-04-23 23:39:04 +0000272
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000273 // Return the frequency of the OutlininingBB relative to F's entry point.
274 // The result is no larger than 1 and is represented using BP.
275 // (Note that the outlined region's 'head' block can only have incoming
276 // edges from the guarding entry blocks).
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000277 BranchProbability getOutliningCallBBRelativeFreq(FunctionCloner &Cloner);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000278
279 // Return true if the callee of CS should be partially inlined with
280 // profit.
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000281 bool shouldPartialInline(CallSite CS, FunctionCloner &Cloner,
Sean Fertile18f17332018-04-20 19:56:26 +0000282 BlockFrequency WeightedOutliningRcost,
283 OptimizationRemarkEmitter &ORE);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000284
285 // Try to inline DuplicateFunction (cloned from F with call to
286 // the OutlinedFunction into its callers. Return true
287 // if there is any successful inlining.
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000288 bool tryPartialInline(FunctionCloner &Cloner);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000289
290 // Compute the mapping from use site of DuplicationFunction to the enclosing
291 // BB's profile count.
292 void computeCallsiteToProfCountMap(Function *DuplicateFunction,
293 DenseMap<User *, uint64_t> &SiteCountMap);
294
Xinliang David Lidb8d09b2017-04-23 23:39:04 +0000295 bool IsLimitReached() {
296 return (MaxNumPartialInlining != -1 &&
297 NumPartialInlining >= MaxNumPartialInlining);
298 }
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000299
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000300 static CallSite getCallSite(User *U) {
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000301 CallSite CS;
302 if (CallInst *CI = dyn_cast<CallInst>(U))
303 CS = CallSite(CI);
304 else if (InvokeInst *II = dyn_cast<InvokeInst>(U))
305 CS = CallSite(II);
306 else
307 llvm_unreachable("All uses must be calls");
308 return CS;
309 }
310
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000311 static CallSite getOneCallSiteTo(Function *F) {
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000312 User *User = *F->user_begin();
313 return getCallSite(User);
314 }
315
316 std::tuple<DebugLoc, BasicBlock *> getOneDebugLoc(Function *F) {
317 CallSite CS = getOneCallSiteTo(F);
318 DebugLoc DLoc = CS.getInstruction()->getDebugLoc();
319 BasicBlock *Block = CS.getParent();
320 return std::make_tuple(DLoc, Block);
321 }
322
323 // Returns the costs associated with function outlining:
324 // - The first value is the non-weighted runtime cost for making the call
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000325 // to the outlined function, including the addtional setup cost in the
326 // outlined function itself;
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000327 // - The second value is the estimated size of the new call sequence in
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000328 // basic block Cloner.OutliningCallBB;
329 std::tuple<int, int> computeOutliningCosts(FunctionCloner &Cloner);
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000330
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000331 // Compute the 'InlineCost' of block BB. InlineCost is a proxy used to
332 // approximate both the size and runtime cost (Note that in the current
333 // inline cost analysis, there is no clear distinction there either).
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000334 static int computeBBInlineCost(BasicBlock *BB);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000335
336 std::unique_ptr<FunctionOutliningInfo> computeOutliningInfo(Function *F);
Graham Yiu8b1882c2017-11-30 02:41:36 +0000337 std::unique_ptr<FunctionOutliningMultiRegionInfo>
Sean Fertile18f17332018-04-20 19:56:26 +0000338 computeOutliningColdRegionsInfo(Function *F, OptimizationRemarkEmitter &ORE);
Sean Silvafe5abd52016-07-25 05:00:00 +0000339};
Xinliang David Lid21601a2017-04-27 16:34:00 +0000340
Easwaran Raman1832bf62016-06-27 16:50:18 +0000341struct PartialInlinerLegacyPass : public ModulePass {
342 static char ID; // Pass identification, replacement for typeid
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000343
Easwaran Raman1832bf62016-06-27 16:50:18 +0000344 PartialInlinerLegacyPass() : ModulePass(ID) {
345 initializePartialInlinerLegacyPassPass(*PassRegistry::getPassRegistry());
346 }
Craig Topper3e4c6972014-03-05 09:10:37 +0000347
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000348 void getAnalysisUsage(AnalysisUsage &AU) const override {
349 AU.addRequired<AssumptionCacheTracker>();
Xinliang David Li61338462017-05-02 02:44:14 +0000350 AU.addRequired<ProfileSummaryInfoWrapperPass>();
351 AU.addRequired<TargetTransformInfoWrapperPass>();
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000352 }
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000353
Easwaran Raman1832bf62016-06-27 16:50:18 +0000354 bool runOnModule(Module &M) override {
355 if (skipModule(M))
356 return false;
Craig Topper3e4c6972014-03-05 09:10:37 +0000357
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000358 AssumptionCacheTracker *ACT = &getAnalysis<AssumptionCacheTracker>();
Xinliang David Li61338462017-05-02 02:44:14 +0000359 TargetTransformInfoWrapperPass *TTIWP =
360 &getAnalysis<TargetTransformInfoWrapperPass>();
361 ProfileSummaryInfo *PSI =
Vedant Kumare7b789b2018-11-19 05:23:16 +0000362 &getAnalysis<ProfileSummaryInfoWrapperPass>().getPSI();
Xinliang David Li61338462017-05-02 02:44:14 +0000363
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000364 std::function<AssumptionCache &(Function &)> GetAssumptionCache =
365 [&ACT](Function &F) -> AssumptionCache & {
366 return ACT->getAssumptionCache(F);
367 };
Xinliang David Li61338462017-05-02 02:44:14 +0000368
369 std::function<TargetTransformInfo &(Function &)> GetTTI =
370 [&TTIWP](Function &F) -> TargetTransformInfo & {
371 return TTIWP->getTTI(F);
372 };
373
Sean Fertile18f17332018-04-20 19:56:26 +0000374 return PartialInlinerImpl(&GetAssumptionCache, &GetTTI, NoneType::None, PSI)
Graham Yiu8b1882c2017-11-30 02:41:36 +0000375 .run(M);
Sean Silvafe5abd52016-07-25 05:00:00 +0000376 }
Sean Silva519323d2016-07-25 05:57:59 +0000377};
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000378
379} // end anonymous namespace
Owen Anderson2f82e272009-06-14 08:26:32 +0000380
Graham Yiu8b1882c2017-11-30 02:41:36 +0000381std::unique_ptr<FunctionOutliningMultiRegionInfo>
Sean Fertile18f17332018-04-20 19:56:26 +0000382PartialInlinerImpl::computeOutliningColdRegionsInfo(Function *F,
383 OptimizationRemarkEmitter &ORE) {
Graham Yiu8b1882c2017-11-30 02:41:36 +0000384 BasicBlock *EntryBlock = &F->front();
385
386 DominatorTree DT(*F);
Graham Yiu8b1882c2017-11-30 02:41:36 +0000387 LoopInfo LI(DT);
388 BranchProbabilityInfo BPI(*F, LI);
389 std::unique_ptr<BlockFrequencyInfo> ScopedBFI;
390 BlockFrequencyInfo *BFI;
391 if (!GetBFI) {
392 ScopedBFI.reset(new BlockFrequencyInfo(*F, BPI, LI));
393 BFI = ScopedBFI.get();
394 } else
395 BFI = &(*GetBFI)(*F);
396
Graham Yiu8b1882c2017-11-30 02:41:36 +0000397 // Return if we don't have profiling information.
398 if (!PSI->hasInstrumentationProfile())
399 return std::unique_ptr<FunctionOutliningMultiRegionInfo>();
400
401 std::unique_ptr<FunctionOutliningMultiRegionInfo> OutliningInfo =
402 llvm::make_unique<FunctionOutliningMultiRegionInfo>();
403
404 auto IsSingleEntry = [](SmallVectorImpl<BasicBlock *> &BlockList) {
405 BasicBlock *Dom = BlockList.front();
Vedant Kumar4de31bb2018-11-19 19:54:27 +0000406 return BlockList.size() > 1 && Dom->hasNPredecessors(1);
Graham Yiu8b1882c2017-11-30 02:41:36 +0000407 };
408
409 auto IsSingleExit =
Graham Yiu70293fa2017-11-30 03:36:57 +0000410 [&ORE](SmallVectorImpl<BasicBlock *> &BlockList) -> BasicBlock * {
Graham Yiu8b1882c2017-11-30 02:41:36 +0000411 BasicBlock *ExitBlock = nullptr;
412 for (auto *Block : BlockList) {
413 for (auto SI = succ_begin(Block); SI != succ_end(Block); ++SI) {
414 if (!is_contained(BlockList, *SI)) {
415 if (ExitBlock) {
416 ORE.emit([&]() {
417 return OptimizationRemarkMissed(DEBUG_TYPE, "MultiExitRegion",
418 &SI->front())
419 << "Region dominated by "
420 << ore::NV("Block", BlockList.front()->getName())
421 << " has more than one region exit edge.";
422 });
423 return nullptr;
424 } else
425 ExitBlock = Block;
426 }
427 }
428 }
429 return ExitBlock;
430 };
431
432 auto BBProfileCount = [BFI](BasicBlock *BB) {
433 return BFI->getBlockProfileCount(BB)
434 ? BFI->getBlockProfileCount(BB).getValue()
435 : 0;
436 };
437
438 // Use the same computeBBInlineCost function to compute the cost savings of
439 // the outlining the candidate region.
440 int OverallFunctionCost = 0;
441 for (auto &BB : *F)
442 OverallFunctionCost += computeBBInlineCost(&BB);
443
444#ifndef NDEBUG
445 if (TracePartialInlining)
446 dbgs() << "OverallFunctionCost = " << OverallFunctionCost << "\n";
447#endif
448 int MinOutlineRegionCost =
449 static_cast<int>(OverallFunctionCost * MinRegionSizeRatio);
450 BranchProbability MinBranchProbability(
451 static_cast<int>(ColdBranchRatio * MinBlockCounterExecution),
452 MinBlockCounterExecution);
453 bool ColdCandidateFound = false;
454 BasicBlock *CurrEntry = EntryBlock;
455 std::vector<BasicBlock *> DFS;
456 DenseMap<BasicBlock *, bool> VisitedMap;
457 DFS.push_back(CurrEntry);
458 VisitedMap[CurrEntry] = true;
459 // Use Depth First Search on the basic blocks to find CFG edges that are
460 // considered cold.
461 // Cold regions considered must also have its inline cost compared to the
462 // overall inline cost of the original function. The region is outlined only
463 // if it reduced the inline cost of the function by 'MinOutlineRegionCost' or
464 // more.
465 while (!DFS.empty()) {
466 auto *thisBB = DFS.back();
467 DFS.pop_back();
468 // Only consider regions with predecessor blocks that are considered
469 // not-cold (default: part of the top 99.99% of all block counters)
470 // AND greater than our minimum block execution count (default: 100).
Vedant Kumare7b789b2018-11-19 05:23:16 +0000471 if (PSI->isColdBlock(thisBB, BFI) ||
Graham Yiu8b1882c2017-11-30 02:41:36 +0000472 BBProfileCount(thisBB) < MinBlockCounterExecution)
473 continue;
474 for (auto SI = succ_begin(thisBB); SI != succ_end(thisBB); ++SI) {
475 if (VisitedMap[*SI])
476 continue;
477 VisitedMap[*SI] = true;
478 DFS.push_back(*SI);
479 // If branch isn't cold, we skip to the next one.
480 BranchProbability SuccProb = BPI.getEdgeProbability(thisBB, *SI);
481 if (SuccProb > MinBranchProbability)
482 continue;
483#ifndef NDEBUG
484 if (TracePartialInlining) {
485 dbgs() << "Found cold edge: " << thisBB->getName() << "->"
486 << (*SI)->getName() << "\nBranch Probability = " << SuccProb
487 << "\n";
488 }
489#endif
490 SmallVector<BasicBlock *, 8> DominateVector;
491 DT.getDescendants(*SI, DominateVector);
492 // We can only outline single entry regions (for now).
493 if (!IsSingleEntry(DominateVector))
494 continue;
495 BasicBlock *ExitBlock = nullptr;
496 // We can only outline single exit regions (for now).
497 if (!(ExitBlock = IsSingleExit(DominateVector)))
498 continue;
499 int OutlineRegionCost = 0;
500 for (auto *BB : DominateVector)
501 OutlineRegionCost += computeBBInlineCost(BB);
502
503#ifndef NDEBUG
504 if (TracePartialInlining)
505 dbgs() << "OutlineRegionCost = " << OutlineRegionCost << "\n";
506#endif
507
508 if (OutlineRegionCost < MinOutlineRegionCost) {
509 ORE.emit([&]() {
510 return OptimizationRemarkAnalysis(DEBUG_TYPE, "TooCostly",
511 &SI->front())
512 << ore::NV("Callee", F) << " inline cost-savings smaller than "
513 << ore::NV("Cost", MinOutlineRegionCost);
514 });
515 continue;
516 }
517 // For now, ignore blocks that belong to a SISE region that is a
518 // candidate for outlining. In the future, we may want to look
519 // at inner regions because the outer region may have live-exit
520 // variables.
521 for (auto *BB : DominateVector)
522 VisitedMap[BB] = true;
523 // ReturnBlock here means the block after the outline call
524 BasicBlock *ReturnBlock = ExitBlock->getSingleSuccessor();
525 // assert(ReturnBlock && "ReturnBlock is NULL somehow!");
526 FunctionOutliningMultiRegionInfo::OutlineRegionInfo RegInfo(
527 DominateVector, DominateVector.front(), ExitBlock, ReturnBlock);
528 RegInfo.Region = DominateVector;
529 OutliningInfo->ORI.push_back(RegInfo);
530#ifndef NDEBUG
531 if (TracePartialInlining) {
532 dbgs() << "Found Cold Candidate starting at block: "
533 << DominateVector.front()->getName() << "\n";
534 }
535#endif
536 ColdCandidateFound = true;
537 NumColdRegionsFound++;
538 }
539 }
540 if (ColdCandidateFound)
541 return OutliningInfo;
542 else
543 return std::unique_ptr<FunctionOutliningMultiRegionInfo>();
544}
545
Xinliang David Lid21601a2017-04-27 16:34:00 +0000546std::unique_ptr<FunctionOutliningInfo>
547PartialInlinerImpl::computeOutliningInfo(Function *F) {
Sean Silva519323d2016-07-25 05:57:59 +0000548 BasicBlock *EntryBlock = &F->front();
549 BranchInst *BR = dyn_cast<BranchInst>(EntryBlock->getTerminator());
Owen Andersonf0081db2009-09-08 19:53:15 +0000550 if (!BR || BR->isUnconditional())
Xinliang David Lid21601a2017-04-27 16:34:00 +0000551 return std::unique_ptr<FunctionOutliningInfo>();
Sean Silvafe5abd52016-07-25 05:00:00 +0000552
Xinliang David Lid21601a2017-04-27 16:34:00 +0000553 // Returns true if Succ is BB's successor
554 auto IsSuccessor = [](BasicBlock *Succ, BasicBlock *BB) {
555 return is_contained(successors(BB), Succ);
556 };
557
Xinliang David Lid21601a2017-04-27 16:34:00 +0000558 auto IsReturnBlock = [](BasicBlock *BB) {
Chandler Carruthedb12a82018-10-15 10:04:59 +0000559 Instruction *TI = BB->getTerminator();
Xinliang David Lid21601a2017-04-27 16:34:00 +0000560 return isa<ReturnInst>(TI);
561 };
562
Davide Italianoaa42a102017-05-08 20:44:01 +0000563 auto GetReturnBlock = [&](BasicBlock *Succ1, BasicBlock *Succ2) {
Xinliang David Lid21601a2017-04-27 16:34:00 +0000564 if (IsReturnBlock(Succ1))
565 return std::make_tuple(Succ1, Succ2);
566 if (IsReturnBlock(Succ2))
567 return std::make_tuple(Succ2, Succ1);
568
569 return std::make_tuple<BasicBlock *, BasicBlock *>(nullptr, nullptr);
570 };
571
572 // Detect a triangular shape:
Davide Italianoaa42a102017-05-08 20:44:01 +0000573 auto GetCommonSucc = [&](BasicBlock *Succ1, BasicBlock *Succ2) {
Xinliang David Lid21601a2017-04-27 16:34:00 +0000574 if (IsSuccessor(Succ1, Succ2))
575 return std::make_tuple(Succ1, Succ2);
576 if (IsSuccessor(Succ2, Succ1))
577 return std::make_tuple(Succ2, Succ1);
578
579 return std::make_tuple<BasicBlock *, BasicBlock *>(nullptr, nullptr);
580 };
581
582 std::unique_ptr<FunctionOutliningInfo> OutliningInfo =
583 llvm::make_unique<FunctionOutliningInfo>();
584
585 BasicBlock *CurrEntry = EntryBlock;
586 bool CandidateFound = false;
587 do {
588 // The number of blocks to be inlined has already reached
589 // the limit. When MaxNumInlineBlocks is set to 0 or 1, this
590 // disables partial inlining for the function.
591 if (OutliningInfo->GetNumInlinedBlocks() >= MaxNumInlineBlocks)
592 break;
593
Vedant Kumare0b5f862018-05-10 23:01:54 +0000594 if (succ_size(CurrEntry) != 2)
Xinliang David Lid21601a2017-04-27 16:34:00 +0000595 break;
596
597 BasicBlock *Succ1 = *succ_begin(CurrEntry);
598 BasicBlock *Succ2 = *(succ_begin(CurrEntry) + 1);
599
600 BasicBlock *ReturnBlock, *NonReturnBlock;
601 std::tie(ReturnBlock, NonReturnBlock) = GetReturnBlock(Succ1, Succ2);
602
603 if (ReturnBlock) {
604 OutliningInfo->Entries.push_back(CurrEntry);
605 OutliningInfo->ReturnBlock = ReturnBlock;
606 OutliningInfo->NonReturnBlock = NonReturnBlock;
607 CandidateFound = true;
608 break;
609 }
610
611 BasicBlock *CommSucc;
612 BasicBlock *OtherSucc;
613 std::tie(CommSucc, OtherSucc) = GetCommonSucc(Succ1, Succ2);
614
615 if (!CommSucc)
616 break;
617
618 OutliningInfo->Entries.push_back(CurrEntry);
619 CurrEntry = OtherSucc;
Xinliang David Lid21601a2017-04-27 16:34:00 +0000620 } while (true);
621
622 if (!CandidateFound)
623 return std::unique_ptr<FunctionOutliningInfo>();
624
625 // Do sanity check of the entries: threre should not
626 // be any successors (not in the entry set) other than
627 // {ReturnBlock, NonReturnBlock}
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000628 assert(OutliningInfo->Entries[0] == &F->front() &&
629 "Function Entry must be the first in Entries vector");
Xinliang David Lid21601a2017-04-27 16:34:00 +0000630 DenseSet<BasicBlock *> Entries;
631 for (BasicBlock *E : OutliningInfo->Entries)
632 Entries.insert(E);
633
634 // Returns true of BB has Predecessor which is not
635 // in Entries set.
636 auto HasNonEntryPred = [Entries](BasicBlock *BB) {
637 for (auto Pred : predecessors(BB)) {
638 if (!Entries.count(Pred))
639 return true;
640 }
641 return false;
642 };
643 auto CheckAndNormalizeCandidate =
644 [Entries, HasNonEntryPred](FunctionOutliningInfo *OutliningInfo) {
645 for (BasicBlock *E : OutliningInfo->Entries) {
646 for (auto Succ : successors(E)) {
647 if (Entries.count(Succ))
648 continue;
649 if (Succ == OutliningInfo->ReturnBlock)
650 OutliningInfo->ReturnBlockPreds.push_back(E);
651 else if (Succ != OutliningInfo->NonReturnBlock)
652 return false;
653 }
654 // There should not be any outside incoming edges either:
655 if (HasNonEntryPred(E))
656 return false;
657 }
658 return true;
659 };
660
661 if (!CheckAndNormalizeCandidate(OutliningInfo.get()))
662 return std::unique_ptr<FunctionOutliningInfo>();
663
664 // Now further growing the candidate's inlining region by
665 // peeling off dominating blocks from the outlining region:
666 while (OutliningInfo->GetNumInlinedBlocks() < MaxNumInlineBlocks) {
667 BasicBlock *Cand = OutliningInfo->NonReturnBlock;
Vedant Kumare0b5f862018-05-10 23:01:54 +0000668 if (succ_size(Cand) != 2)
Xinliang David Lid21601a2017-04-27 16:34:00 +0000669 break;
670
671 if (HasNonEntryPred(Cand))
672 break;
673
674 BasicBlock *Succ1 = *succ_begin(Cand);
675 BasicBlock *Succ2 = *(succ_begin(Cand) + 1);
676
677 BasicBlock *ReturnBlock, *NonReturnBlock;
678 std::tie(ReturnBlock, NonReturnBlock) = GetReturnBlock(Succ1, Succ2);
679 if (!ReturnBlock || ReturnBlock != OutliningInfo->ReturnBlock)
680 break;
681
682 if (NonReturnBlock->getSinglePredecessor() != Cand)
683 break;
684
685 // Now grow and update OutlininigInfo:
686 OutliningInfo->Entries.push_back(Cand);
687 OutliningInfo->NonReturnBlock = NonReturnBlock;
688 OutliningInfo->ReturnBlockPreds.push_back(Cand);
689 Entries.insert(Cand);
Reid Klecknerc26a17a2015-02-04 19:14:57 +0000690 }
Sean Silvafe5abd52016-07-25 05:00:00 +0000691
Xinliang David Lid21601a2017-04-27 16:34:00 +0000692 return OutliningInfo;
693}
694
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000695// Check if there is PGO data or user annoated branch data:
696static bool hasProfileData(Function *F, FunctionOutliningInfo *OI) {
Easwaran Ramana17f2202017-12-22 01:33:52 +0000697 if (F->hasProfileData())
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000698 return true;
699 // Now check if any of the entry block has MD_prof data:
700 for (auto *E : OI->Entries) {
701 BranchInst *BR = dyn_cast<BranchInst>(E->getTerminator());
702 if (!BR || BR->isUnconditional())
703 continue;
704 uint64_t T, F;
705 if (BR->extractProfMetadata(T, F))
706 return true;
707 }
708 return false;
709}
710
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000711BranchProbability
712PartialInlinerImpl::getOutliningCallBBRelativeFreq(FunctionCloner &Cloner) {
Graham Yiu8b1882c2017-11-30 02:41:36 +0000713 BasicBlock *OutliningCallBB = Cloner.OutlinedFunctions.back().second;
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000714 auto EntryFreq =
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000715 Cloner.ClonedFuncBFI->getBlockFreq(&Cloner.ClonedFunc->getEntryBlock());
716 auto OutliningCallFreq =
Graham Yiu8b1882c2017-11-30 02:41:36 +0000717 Cloner.ClonedFuncBFI->getBlockFreq(OutliningCallBB);
718 // FIXME Hackery needed because ClonedFuncBFI is based on the function BEFORE
719 // we outlined any regions, so we may encounter situations where the
720 // OutliningCallFreq is *slightly* bigger than the EntryFreq.
721 if (OutliningCallFreq.getFrequency() > EntryFreq.getFrequency()) {
722 OutliningCallFreq = EntryFreq;
723 }
724 auto OutlineRegionRelFreq = BranchProbability::getBranchProbability(
725 OutliningCallFreq.getFrequency(), EntryFreq.getFrequency());
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000726
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000727 if (hasProfileData(Cloner.OrigFunc, Cloner.ClonedOI.get()))
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000728 return OutlineRegionRelFreq;
729
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000730 // When profile data is not available, we need to be conservative in
731 // estimating the overall savings. Static branch prediction can usually
732 // guess the branch direction right (taken/non-taken), but the guessed
733 // branch probability is usually not biased enough. In case when the
734 // outlined region is predicted to be likely, its probability needs
735 // to be made higher (more biased) to not under-estimate the cost of
736 // function outlining. On the other hand, if the outlined region
737 // is predicted to be less likely, the predicted probablity is usually
738 // higher than the actual. For instance, the actual probability of the
739 // less likely target is only 5%, but the guessed probablity can be
740 // 40%. In the latter case, there is no need for further adjustement.
741 // FIXME: add an option for this.
742 if (OutlineRegionRelFreq < BranchProbability(45, 100))
743 return OutlineRegionRelFreq;
744
745 OutlineRegionRelFreq = std::max(
746 OutlineRegionRelFreq, BranchProbability(OutlineRegionFreqPercent, 100));
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000747
748 return OutlineRegionRelFreq;
749}
750
751bool PartialInlinerImpl::shouldPartialInline(
Graham Yiu8b1882c2017-11-30 02:41:36 +0000752 CallSite CS, FunctionCloner &Cloner,
Sean Fertile18f17332018-04-20 19:56:26 +0000753 BlockFrequency WeightedOutliningRcost,
754 OptimizationRemarkEmitter &ORE) {
Xinliang David Li61338462017-05-02 02:44:14 +0000755 using namespace ore;
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +0000756
Xinliang David Li61338462017-05-02 02:44:14 +0000757 Instruction *Call = CS.getInstruction();
758 Function *Callee = CS.getCalledFunction();
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000759 assert(Callee == Cloner.ClonedFunc);
760
Florian Hahna7dcfa72018-03-10 14:53:44 +0000761 if (SkipCostAnalysis)
762 return isInlineViable(*Callee);
763
Xinliang David Li61338462017-05-02 02:44:14 +0000764 Function *Caller = CS.getCaller();
765 auto &CalleeTTI = (*GetTTI)(*Callee);
766 InlineCost IC = getInlineCost(CS, getInlineParams(), CalleeTTI,
Haicheng Wu0812c5b2017-08-21 20:00:09 +0000767 *GetAssumptionCache, GetBFI, PSI, &ORE);
Xinliang David Li61338462017-05-02 02:44:14 +0000768
769 if (IC.isAlways()) {
Vivek Pandya95906582017-10-11 17:12:59 +0000770 ORE.emit([&]() {
771 return OptimizationRemarkAnalysis(DEBUG_TYPE, "AlwaysInline", Call)
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000772 << NV("Callee", Cloner.OrigFunc)
Vivek Pandya95906582017-10-11 17:12:59 +0000773 << " should always be fully inlined, not partially";
774 });
Xinliang David Li61338462017-05-02 02:44:14 +0000775 return false;
776 }
777
778 if (IC.isNever()) {
Vivek Pandya95906582017-10-11 17:12:59 +0000779 ORE.emit([&]() {
780 return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", Call)
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000781 << NV("Callee", Cloner.OrigFunc) << " not partially inlined into "
Xinliang David Li61338462017-05-02 02:44:14 +0000782 << NV("Caller", Caller)
Vivek Pandya95906582017-10-11 17:12:59 +0000783 << " because it should never be inlined (cost=never)";
784 });
Xinliang David Li61338462017-05-02 02:44:14 +0000785 return false;
786 }
787
788 if (!IC) {
Vivek Pandya95906582017-10-11 17:12:59 +0000789 ORE.emit([&]() {
790 return OptimizationRemarkAnalysis(DEBUG_TYPE, "TooCostly", Call)
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000791 << NV("Callee", Cloner.OrigFunc) << " not partially inlined into "
Xinliang David Li61338462017-05-02 02:44:14 +0000792 << NV("Caller", Caller) << " because too costly to inline (cost="
793 << NV("Cost", IC.getCost()) << ", threshold="
Vivek Pandya95906582017-10-11 17:12:59 +0000794 << NV("Threshold", IC.getCostDelta() + IC.getCost()) << ")";
795 });
Xinliang David Li61338462017-05-02 02:44:14 +0000796 return false;
797 }
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000798 const DataLayout &DL = Caller->getParent()->getDataLayout();
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000799
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000800 // The savings of eliminating the call:
801 int NonWeightedSavings = getCallsiteCost(CS, DL);
802 BlockFrequency NormWeightedSavings(NonWeightedSavings);
803
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000804 // Weighted saving is smaller than weighted cost, return false
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000805 if (NormWeightedSavings < WeightedOutliningRcost) {
Vivek Pandya95906582017-10-11 17:12:59 +0000806 ORE.emit([&]() {
807 return OptimizationRemarkAnalysis(DEBUG_TYPE, "OutliningCallcostTooHigh",
808 Call)
809 << NV("Callee", Cloner.OrigFunc) << " not partially inlined into "
810 << NV("Caller", Caller) << " runtime overhead (overhead="
811 << NV("Overhead", (unsigned)WeightedOutliningRcost.getFrequency())
812 << ", savings="
813 << NV("Savings", (unsigned)NormWeightedSavings.getFrequency())
814 << ")"
815 << " of making the outlined call is too high";
816 });
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000817
818 return false;
819 }
Xinliang David Li61338462017-05-02 02:44:14 +0000820
Vivek Pandya95906582017-10-11 17:12:59 +0000821 ORE.emit([&]() {
822 return OptimizationRemarkAnalysis(DEBUG_TYPE, "CanBePartiallyInlined", Call)
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000823 << NV("Callee", Cloner.OrigFunc) << " can be partially inlined into "
Xinliang David Li61338462017-05-02 02:44:14 +0000824 << NV("Caller", Caller) << " with cost=" << NV("Cost", IC.getCost())
825 << " (threshold="
Vivek Pandya95906582017-10-11 17:12:59 +0000826 << NV("Threshold", IC.getCostDelta() + IC.getCost()) << ")";
827 });
Xinliang David Li61338462017-05-02 02:44:14 +0000828 return true;
829}
830
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000831// TODO: Ideally we should share Inliner's InlineCost Analysis code.
832// For now use a simplified version. The returned 'InlineCost' will be used
833// to esimate the size cost as well as runtime cost of the BB.
834int PartialInlinerImpl::computeBBInlineCost(BasicBlock *BB) {
835 int InlineCost = 0;
836 const DataLayout &DL = BB->getParent()->getParent()->getDataLayout();
Florian Hahnfd6ea132018-11-27 18:17:27 +0000837 for (Instruction &I : BB->instructionsWithoutDebug()) {
838 // Skip free instructions.
839 switch (I.getOpcode()) {
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000840 case Instruction::BitCast:
841 case Instruction::PtrToInt:
842 case Instruction::IntToPtr:
843 case Instruction::Alloca:
Florian Hahnfd6ea132018-11-27 18:17:27 +0000844 case Instruction::PHI:
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000845 continue;
846 case Instruction::GetElementPtr:
Florian Hahnfd6ea132018-11-27 18:17:27 +0000847 if (cast<GetElementPtrInst>(&I)->hasAllZeroIndices())
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000848 continue;
Adrian Prantl0e6694d2017-12-19 22:05:25 +0000849 break;
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000850 default:
851 break;
852 }
853
Vedant Kumarb264d692018-12-21 21:49:40 +0000854 if (I.isLifetimeStartOrEnd())
855 continue;
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000856
Florian Hahnfd6ea132018-11-27 18:17:27 +0000857 if (CallInst *CI = dyn_cast<CallInst>(&I)) {
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000858 InlineCost += getCallsiteCost(CallSite(CI), DL);
859 continue;
860 }
861
Florian Hahnfd6ea132018-11-27 18:17:27 +0000862 if (InvokeInst *II = dyn_cast<InvokeInst>(&I)) {
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000863 InlineCost += getCallsiteCost(CallSite(II), DL);
864 continue;
865 }
866
Florian Hahnfd6ea132018-11-27 18:17:27 +0000867 if (SwitchInst *SI = dyn_cast<SwitchInst>(&I)) {
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000868 InlineCost += (SI->getNumCases() + 1) * InlineConstants::InstrCost;
869 continue;
870 }
871 InlineCost += InlineConstants::InstrCost;
872 }
873 return InlineCost;
874}
875
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000876std::tuple<int, int>
877PartialInlinerImpl::computeOutliningCosts(FunctionCloner &Cloner) {
Graham Yiu8b1882c2017-11-30 02:41:36 +0000878 int OutliningFuncCallCost = 0, OutlinedFunctionCost = 0;
879 for (auto FuncBBPair : Cloner.OutlinedFunctions) {
880 Function *OutlinedFunc = FuncBBPair.first;
881 BasicBlock* OutliningCallBB = FuncBBPair.second;
882 // Now compute the cost of the call sequence to the outlined function
883 // 'OutlinedFunction' in BB 'OutliningCallBB':
884 OutliningFuncCallCost += computeBBInlineCost(OutliningCallBB);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000885
Graham Yiu8b1882c2017-11-30 02:41:36 +0000886 // Now compute the cost of the extracted/outlined function itself:
887 for (BasicBlock &BB : *OutlinedFunc)
888 OutlinedFunctionCost += computeBBInlineCost(&BB);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000889 }
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000890 assert(OutlinedFunctionCost >= Cloner.OutlinedRegionCost &&
Xinliang David Li5fdc75a2017-06-02 22:38:48 +0000891 "Outlined function cost should be no less than the outlined region");
Graham Yiu8b1882c2017-11-30 02:41:36 +0000892
Xinliang David Li0b7d8582017-06-02 22:08:04 +0000893 // The code extractor introduces a new root and exit stub blocks with
894 // additional unconditional branches. Those branches will be eliminated
895 // later with bb layout. The cost should be adjusted accordingly:
Graham Yiu8b1882c2017-11-30 02:41:36 +0000896 OutlinedFunctionCost -=
897 2 * InlineConstants::InstrCost * Cloner.OutlinedFunctions.size();
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000898
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000899 int OutliningRuntimeOverhead =
900 OutliningFuncCallCost +
901 (OutlinedFunctionCost - Cloner.OutlinedRegionCost) +
902 ExtraOutliningPenalty;
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000903
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000904 return std::make_tuple(OutliningFuncCallCost, OutliningRuntimeOverhead);
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000905}
906
907// Create the callsite to profile count map which is
908// used to update the original function's entry count,
909// after the function is partially inlined into the callsite.
910void PartialInlinerImpl::computeCallsiteToProfCountMap(
911 Function *DuplicateFunction,
912 DenseMap<User *, uint64_t> &CallSiteToProfCountMap) {
913 std::vector<User *> Users(DuplicateFunction->user_begin(),
914 DuplicateFunction->user_end());
915 Function *CurrentCaller = nullptr;
Vitaly Bukaa6374892017-05-27 05:32:09 +0000916 std::unique_ptr<BlockFrequencyInfo> TempBFI;
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000917 BlockFrequencyInfo *CurrentCallerBFI = nullptr;
918
919 auto ComputeCurrBFI = [&,this](Function *Caller) {
920 // For the old pass manager:
921 if (!GetBFI) {
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000922 DominatorTree DT(*Caller);
923 LoopInfo LI(DT);
924 BranchProbabilityInfo BPI(*Caller, LI);
Vitaly Bukaa6374892017-05-27 05:32:09 +0000925 TempBFI.reset(new BlockFrequencyInfo(*Caller, BPI, LI));
926 CurrentCallerBFI = TempBFI.get();
Xinliang David Li66bdfca2017-05-12 23:41:43 +0000927 } else {
928 // New pass manager:
929 CurrentCallerBFI = &(*GetBFI)(*Caller);
930 }
931 };
932
933 for (User *User : Users) {
934 CallSite CS = getCallSite(User);
935 Function *Caller = CS.getCaller();
936 if (CurrentCaller != Caller) {
937 CurrentCaller = Caller;
938 ComputeCurrBFI(Caller);
939 } else {
940 assert(CurrentCallerBFI && "CallerBFI is not set");
941 }
942 BasicBlock *CallBB = CS.getInstruction()->getParent();
943 auto Count = CurrentCallerBFI->getBlockProfileCount(CallBB);
944 if (Count)
945 CallSiteToProfCountMap[User] = *Count;
946 else
947 CallSiteToProfCountMap[User] = 0;
948 }
949}
950
Graham Yiu8b1882c2017-11-30 02:41:36 +0000951PartialInlinerImpl::FunctionCloner::FunctionCloner(
952 Function *F, FunctionOutliningInfo *OI, OptimizationRemarkEmitter &ORE)
953 : OrigFunc(F), ORE(ORE) {
Xinliang David Lieea0ade2017-06-15 23:56:59 +0000954 ClonedOI = llvm::make_unique<FunctionOutliningInfo>();
955
956 // Clone the function, so that we can hack away on it.
957 ValueToValueMapTy VMap;
958 ClonedFunc = CloneFunction(F, VMap);
959
960 ClonedOI->ReturnBlock = cast<BasicBlock>(VMap[OI->ReturnBlock]);
961 ClonedOI->NonReturnBlock = cast<BasicBlock>(VMap[OI->NonReturnBlock]);
962 for (BasicBlock *BB : OI->Entries) {
963 ClonedOI->Entries.push_back(cast<BasicBlock>(VMap[BB]));
964 }
965 for (BasicBlock *E : OI->ReturnBlockPreds) {
966 BasicBlock *NewE = cast<BasicBlock>(VMap[E]);
967 ClonedOI->ReturnBlockPreds.push_back(NewE);
968 }
969 // Go ahead and update all uses to the duplicate, so that we can just
970 // use the inliner functionality when we're done hacking.
971 F->replaceAllUsesWith(ClonedFunc);
972}
973
Graham Yiu8b1882c2017-11-30 02:41:36 +0000974PartialInlinerImpl::FunctionCloner::FunctionCloner(
975 Function *F, FunctionOutliningMultiRegionInfo *OI,
976 OptimizationRemarkEmitter &ORE)
977 : OrigFunc(F), ORE(ORE) {
978 ClonedOMRI = llvm::make_unique<FunctionOutliningMultiRegionInfo>();
979
980 // Clone the function, so that we can hack away on it.
981 ValueToValueMapTy VMap;
982 ClonedFunc = CloneFunction(F, VMap);
983
984 // Go through all Outline Candidate Regions and update all BasicBlock
985 // information.
986 for (FunctionOutliningMultiRegionInfo::OutlineRegionInfo RegionInfo :
987 OI->ORI) {
988 SmallVector<BasicBlock *, 8> Region;
989 for (BasicBlock *BB : RegionInfo.Region) {
990 Region.push_back(cast<BasicBlock>(VMap[BB]));
991 }
992 BasicBlock *NewEntryBlock = cast<BasicBlock>(VMap[RegionInfo.EntryBlock]);
993 BasicBlock *NewExitBlock = cast<BasicBlock>(VMap[RegionInfo.ExitBlock]);
994 BasicBlock *NewReturnBlock = nullptr;
995 if (RegionInfo.ReturnBlock)
996 NewReturnBlock = cast<BasicBlock>(VMap[RegionInfo.ReturnBlock]);
997 FunctionOutliningMultiRegionInfo::OutlineRegionInfo MappedRegionInfo(
998 Region, NewEntryBlock, NewExitBlock, NewReturnBlock);
999 ClonedOMRI->ORI.push_back(MappedRegionInfo);
1000 }
1001 // Go ahead and update all uses to the duplicate, so that we can just
1002 // use the inliner functionality when we're done hacking.
1003 F->replaceAllUsesWith(ClonedFunc);
1004}
1005
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001006void PartialInlinerImpl::FunctionCloner::NormalizeReturnBlock() {
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001007 auto getFirstPHI = [](BasicBlock *BB) {
1008 BasicBlock::iterator I = BB->begin();
1009 PHINode *FirstPhi = nullptr;
1010 while (I != BB->end()) {
1011 PHINode *Phi = dyn_cast<PHINode>(I);
1012 if (!Phi)
1013 break;
1014 if (!FirstPhi) {
1015 FirstPhi = Phi;
1016 break;
1017 }
1018 }
1019 return FirstPhi;
1020 };
1021
Graham Yiu8b1882c2017-11-30 02:41:36 +00001022 // Shouldn't need to normalize PHIs if we're not outlining non-early return
1023 // blocks.
1024 if (!ClonedOI)
1025 return;
1026
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001027 // Special hackery is needed with PHI nodes that have inputs from more than
1028 // one extracted block. For simplicity, just split the PHIs into a two-level
1029 // sequence of PHIs, some of which will go in the extracted region, and some
1030 // of which will go outside.
1031 BasicBlock *PreReturn = ClonedOI->ReturnBlock;
1032 // only split block when necessary:
1033 PHINode *FirstPhi = getFirstPHI(PreReturn);
1034 unsigned NumPredsFromEntries = ClonedOI->ReturnBlockPreds.size();
1035
1036 if (!FirstPhi || FirstPhi->getNumIncomingValues() <= NumPredsFromEntries + 1)
1037 return;
1038
1039 auto IsTrivialPhi = [](PHINode *PN) -> Value * {
1040 Value *CommonValue = PN->getIncomingValue(0);
1041 if (all_of(PN->incoming_values(),
1042 [&](Value *V) { return V == CommonValue; }))
1043 return CommonValue;
1044 return nullptr;
1045 };
1046
1047 ClonedOI->ReturnBlock = ClonedOI->ReturnBlock->splitBasicBlock(
1048 ClonedOI->ReturnBlock->getFirstNonPHI()->getIterator());
1049 BasicBlock::iterator I = PreReturn->begin();
1050 Instruction *Ins = &ClonedOI->ReturnBlock->front();
1051 SmallVector<Instruction *, 4> DeadPhis;
1052 while (I != PreReturn->end()) {
1053 PHINode *OldPhi = dyn_cast<PHINode>(I);
1054 if (!OldPhi)
1055 break;
1056
1057 PHINode *RetPhi =
1058 PHINode::Create(OldPhi->getType(), NumPredsFromEntries + 1, "", Ins);
1059 OldPhi->replaceAllUsesWith(RetPhi);
1060 Ins = ClonedOI->ReturnBlock->getFirstNonPHI();
1061
1062 RetPhi->addIncoming(&*I, PreReturn);
1063 for (BasicBlock *E : ClonedOI->ReturnBlockPreds) {
1064 RetPhi->addIncoming(OldPhi->getIncomingValueForBlock(E), E);
1065 OldPhi->removeIncomingValue(E);
1066 }
1067
1068 // After incoming values splitting, the old phi may become trivial.
1069 // Keeping the trivial phi can introduce definition inside the outline
1070 // region which is live-out, causing necessary overhead (load, store
1071 // arg passing etc).
1072 if (auto *OldPhiVal = IsTrivialPhi(OldPhi)) {
1073 OldPhi->replaceAllUsesWith(OldPhiVal);
1074 DeadPhis.push_back(OldPhi);
1075 }
1076 ++I;
Graham Yiu8b1882c2017-11-30 02:41:36 +00001077 }
1078 for (auto *DP : DeadPhis)
1079 DP->eraseFromParent();
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001080
Graham Yiu8b1882c2017-11-30 02:41:36 +00001081 for (auto E : ClonedOI->ReturnBlockPreds) {
1082 E->getTerminator()->replaceUsesOfWith(PreReturn, ClonedOI->ReturnBlock);
1083 }
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001084}
1085
Graham Yiu8b1882c2017-11-30 02:41:36 +00001086bool PartialInlinerImpl::FunctionCloner::doMultiRegionFunctionOutlining() {
1087
1088 auto ComputeRegionCost = [](SmallVectorImpl<BasicBlock *> &Region) {
1089 int Cost = 0;
1090 for (BasicBlock* BB : Region)
1091 Cost += computeBBInlineCost(BB);
1092 return Cost;
1093 };
1094
1095 assert(ClonedOMRI && "Expecting OutlineInfo for multi region outline");
1096
1097 if (ClonedOMRI->ORI.empty())
1098 return false;
1099
1100 // The CodeExtractor needs a dominator tree.
1101 DominatorTree DT;
1102 DT.recalculate(*ClonedFunc);
1103
1104 // Manually calculate a BlockFrequencyInfo and BranchProbabilityInfo.
1105 LoopInfo LI(DT);
1106 BranchProbabilityInfo BPI(*ClonedFunc, LI);
1107 ClonedFuncBFI.reset(new BlockFrequencyInfo(*ClonedFunc, BPI, LI));
1108
1109 SetVector<Value *> Inputs, Outputs, Sinks;
1110 for (FunctionOutliningMultiRegionInfo::OutlineRegionInfo RegionInfo :
1111 ClonedOMRI->ORI) {
1112 int CurrentOutlinedRegionCost = ComputeRegionCost(RegionInfo.Region);
1113
1114 CodeExtractor CE(RegionInfo.Region, &DT, /*AggregateArgs*/ false,
1115 ClonedFuncBFI.get(), &BPI, /* AllowVarargs */ false);
1116
1117 CE.findInputsOutputs(Inputs, Outputs, Sinks);
1118
1119#ifndef NDEBUG
1120 if (TracePartialInlining) {
1121 dbgs() << "inputs: " << Inputs.size() << "\n";
1122 dbgs() << "outputs: " << Outputs.size() << "\n";
1123 for (Value *value : Inputs)
1124 dbgs() << "value used in func: " << *value << "\n";
1125 for (Value *output : Outputs)
1126 dbgs() << "instr used in func: " << *output << "\n";
1127 }
1128#endif
1129 // Do not extract regions that have live exit variables.
1130 if (Outputs.size() > 0 && !ForceLiveExit)
1131 continue;
1132
1133 Function *OutlinedFunc = CE.extractCodeRegion();
1134
1135 if (OutlinedFunc) {
1136 CallSite OCS = PartialInlinerImpl::getOneCallSiteTo(OutlinedFunc);
1137 BasicBlock *OutliningCallBB = OCS.getInstruction()->getParent();
1138 assert(OutliningCallBB->getParent() == ClonedFunc);
1139 OutlinedFunctions.push_back(std::make_pair(OutlinedFunc,OutliningCallBB));
1140 NumColdRegionsOutlined++;
1141 OutlinedRegionCost += CurrentOutlinedRegionCost;
1142
1143 if (MarkOutlinedColdCC) {
1144 OutlinedFunc->setCallingConv(CallingConv::Cold);
1145 OCS.setCallingConv(CallingConv::Cold);
1146 }
1147 } else
1148 ORE.emit([&]() {
1149 return OptimizationRemarkMissed(DEBUG_TYPE, "ExtractFailed",
1150 &RegionInfo.Region.front()->front())
1151 << "Failed to extract region at block "
1152 << ore::NV("Block", RegionInfo.Region.front());
1153 });
1154 }
1155
1156 return !OutlinedFunctions.empty();
1157}
1158
1159Function *
1160PartialInlinerImpl::FunctionCloner::doSingleRegionFunctionOutlining() {
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001161 // Returns true if the block is to be partial inlined into the caller
1162 // (i.e. not to be extracted to the out of line function)
1163 auto ToBeInlined = [&, this](BasicBlock *BB) {
1164 return BB == ClonedOI->ReturnBlock ||
1165 (std::find(ClonedOI->Entries.begin(), ClonedOI->Entries.end(), BB) !=
1166 ClonedOI->Entries.end());
1167 };
1168
Graham Yiu8b1882c2017-11-30 02:41:36 +00001169 assert(ClonedOI && "Expecting OutlineInfo for single region outline");
1170 // The CodeExtractor needs a dominator tree.
1171 DominatorTree DT;
1172 DT.recalculate(*ClonedFunc);
1173
1174 // Manually calculate a BlockFrequencyInfo and BranchProbabilityInfo.
1175 LoopInfo LI(DT);
1176 BranchProbabilityInfo BPI(*ClonedFunc, LI);
1177 ClonedFuncBFI.reset(new BlockFrequencyInfo(*ClonedFunc, BPI, LI));
1178
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001179 // Gather up the blocks that we're going to extract.
1180 std::vector<BasicBlock *> ToExtract;
1181 ToExtract.push_back(ClonedOI->NonReturnBlock);
1182 OutlinedRegionCost +=
1183 PartialInlinerImpl::computeBBInlineCost(ClonedOI->NonReturnBlock);
1184 for (BasicBlock &BB : *ClonedFunc)
1185 if (!ToBeInlined(&BB) && &BB != ClonedOI->NonReturnBlock) {
1186 ToExtract.push_back(&BB);
1187 // FIXME: the code extractor may hoist/sink more code
1188 // into the outlined function which may make the outlining
1189 // overhead (the difference of the outlined function cost
1190 // and OutliningRegionCost) look larger.
1191 OutlinedRegionCost += computeBBInlineCost(&BB);
1192 }
1193
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001194 // Extract the body of the if.
Graham Yiu8b1882c2017-11-30 02:41:36 +00001195 Function *OutlinedFunc =
1196 CodeExtractor(ToExtract, &DT, /*AggregateArgs*/ false,
1197 ClonedFuncBFI.get(), &BPI,
1198 /* AllowVarargs */ true)
1199 .extractCodeRegion();
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001200
1201 if (OutlinedFunc) {
Graham Yiu8b1882c2017-11-30 02:41:36 +00001202 BasicBlock *OutliningCallBB =
1203 PartialInlinerImpl::getOneCallSiteTo(OutlinedFunc)
1204 .getInstruction()
1205 ->getParent();
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001206 assert(OutliningCallBB->getParent() == ClonedFunc);
Graham Yiu8b1882c2017-11-30 02:41:36 +00001207 OutlinedFunctions.push_back(std::make_pair(OutlinedFunc, OutliningCallBB));
1208 } else
1209 ORE.emit([&]() {
1210 return OptimizationRemarkMissed(DEBUG_TYPE, "ExtractFailed",
1211 &ToExtract.front()->front())
1212 << "Failed to extract region at block "
1213 << ore::NV("Block", ToExtract.front());
1214 });
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001215
1216 return OutlinedFunc;
1217}
1218
1219PartialInlinerImpl::FunctionCloner::~FunctionCloner() {
1220 // Ditch the duplicate, since we're done with it, and rewrite all remaining
1221 // users (function pointers, etc.) back to the original function.
1222 ClonedFunc->replaceAllUsesWith(OrigFunc);
1223 ClonedFunc->eraseFromParent();
1224 if (!IsFunctionInlined) {
Graham Yiu8b1882c2017-11-30 02:41:36 +00001225 // Remove each function that was speculatively created if there is no
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001226 // reference.
Graham Yiu8b1882c2017-11-30 02:41:36 +00001227 for (auto FuncBBPair : OutlinedFunctions) {
1228 Function *Func = FuncBBPair.first;
1229 Func->eraseFromParent();
1230 }
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001231 }
1232}
1233
Graham Yiu8b1882c2017-11-30 02:41:36 +00001234std::pair<bool, Function *> PartialInlinerImpl::unswitchFunction(Function *F) {
1235
Xinliang David Lid21601a2017-04-27 16:34:00 +00001236 if (F->hasAddressTaken())
Graham Yiu8b1882c2017-11-30 02:41:36 +00001237 return {false, nullptr};
Xinliang David Lid21601a2017-04-27 16:34:00 +00001238
Xinliang David Liab8722f2017-05-02 18:43:21 +00001239 // Let inliner handle it
1240 if (F->hasFnAttribute(Attribute::AlwaysInline))
Graham Yiu8b1882c2017-11-30 02:41:36 +00001241 return {false, nullptr};
Xinliang David Liab8722f2017-05-02 18:43:21 +00001242
1243 if (F->hasFnAttribute(Attribute::NoInline))
Graham Yiu8b1882c2017-11-30 02:41:36 +00001244 return {false, nullptr};
Xinliang David Liab8722f2017-05-02 18:43:21 +00001245
1246 if (PSI->isFunctionEntryCold(F))
Graham Yiu8b1882c2017-11-30 02:41:36 +00001247 return {false, nullptr};
Xinliang David Liab8722f2017-05-02 18:43:21 +00001248
Matthias Braun9fd397b2018-10-31 00:23:23 +00001249 if (empty(F->users()))
Graham Yiu8b1882c2017-11-30 02:41:36 +00001250 return {false, nullptr};
Xinliang David Lid21601a2017-04-27 16:34:00 +00001251
Sean Fertile18f17332018-04-20 19:56:26 +00001252 OptimizationRemarkEmitter ORE(F);
Graham Yiu8b1882c2017-11-30 02:41:36 +00001253
1254 // Only try to outline cold regions if we have a profile summary, which
1255 // implies we have profiling information.
Easwaran Ramana17f2202017-12-22 01:33:52 +00001256 if (PSI->hasProfileSummary() && F->hasProfileData() &&
Graham Yiu8b1882c2017-11-30 02:41:36 +00001257 !DisableMultiRegionPartialInline) {
1258 std::unique_ptr<FunctionOutliningMultiRegionInfo> OMRI =
Sean Fertile18f17332018-04-20 19:56:26 +00001259 computeOutliningColdRegionsInfo(F, ORE);
Graham Yiu8b1882c2017-11-30 02:41:36 +00001260 if (OMRI) {
1261 FunctionCloner Cloner(F, OMRI.get(), ORE);
1262
1263#ifndef NDEBUG
1264 if (TracePartialInlining) {
1265 dbgs() << "HotCountThreshold = " << PSI->getHotCountThreshold() << "\n";
1266 dbgs() << "ColdCountThreshold = " << PSI->getColdCountThreshold()
1267 << "\n";
1268 }
1269#endif
1270 bool DidOutline = Cloner.doMultiRegionFunctionOutlining();
1271
1272 if (DidOutline) {
1273#ifndef NDEBUG
1274 if (TracePartialInlining) {
1275 dbgs() << ">>>>>> Outlined (Cloned) Function >>>>>>\n";
1276 Cloner.ClonedFunc->print(dbgs());
1277 dbgs() << "<<<<<< Outlined (Cloned) Function <<<<<<\n";
1278 }
1279#endif
1280
1281 if (tryPartialInline(Cloner))
1282 return {true, nullptr};
1283 }
1284 }
1285 }
1286
1287 // Fall-thru to regular partial inlining if we:
1288 // i) can't find any cold regions to outline, or
1289 // ii) can't inline the outlined function anywhere.
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001290 std::unique_ptr<FunctionOutliningInfo> OI = computeOutliningInfo(F);
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001291 if (!OI)
Graham Yiu8b1882c2017-11-30 02:41:36 +00001292 return {false, nullptr};
Sean Silvafe5abd52016-07-25 05:00:00 +00001293
Graham Yiu8b1882c2017-11-30 02:41:36 +00001294 FunctionCloner Cloner(F, OI.get(), ORE);
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001295 Cloner.NormalizeReturnBlock();
Graham Yiu8b1882c2017-11-30 02:41:36 +00001296
1297 Function *OutlinedFunction = Cloner.doSingleRegionFunctionOutlining();
1298
1299 if (!OutlinedFunction)
1300 return {false, nullptr};
Sean Silvafe5abd52016-07-25 05:00:00 +00001301
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001302 bool AnyInline = tryPartialInline(Cloner);
Xinliang David Li392e9752017-05-14 02:54:02 +00001303
1304 if (AnyInline)
Graham Yiu8b1882c2017-11-30 02:41:36 +00001305 return {true, OutlinedFunction};
Xinliang David Li392e9752017-05-14 02:54:02 +00001306
Graham Yiu8b1882c2017-11-30 02:41:36 +00001307 return {false, nullptr};
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001308}
Sean Silvafe5abd52016-07-25 05:00:00 +00001309
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001310bool PartialInlinerImpl::tryPartialInline(FunctionCloner &Cloner) {
Graham Yiu8b1882c2017-11-30 02:41:36 +00001311 if (Cloner.OutlinedFunctions.empty())
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001312 return false;
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001313
Graham Yiu8b1882c2017-11-30 02:41:36 +00001314 int SizeCost = 0;
1315 BlockFrequency WeightedRcost;
1316 int NonWeightedRcost;
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001317 std::tie(SizeCost, NonWeightedRcost) = computeOutliningCosts(Cloner);
1318
Graham Yiu8b1882c2017-11-30 02:41:36 +00001319 // Only calculate RelativeToEntryFreq when we are doing single region
1320 // outlining.
1321 BranchProbability RelativeToEntryFreq;
1322 if (Cloner.ClonedOI) {
1323 RelativeToEntryFreq = getOutliningCallBBRelativeFreq(Cloner);
1324 } else
1325 // RelativeToEntryFreq doesn't make sense when we have more than one
1326 // outlined call because each call will have a different relative frequency
1327 // to the entry block. We can consider using the average, but the
1328 // usefulness of that information is questionable. For now, assume we never
1329 // execute the calls to outlined functions.
1330 RelativeToEntryFreq = BranchProbability(0, 1);
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001331
Graham Yiu8b1882c2017-11-30 02:41:36 +00001332 WeightedRcost = BlockFrequency(NonWeightedRcost) * RelativeToEntryFreq;
1333
1334 // The call sequence(s) to the outlined function(s) are larger than the sum of
1335 // the original outlined region size(s), it does not increase the chances of
1336 // inlining the function with outlining (The inliner uses the size increase to
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001337 // model the cost of inlining a callee).
1338 if (!SkipCostAnalysis && Cloner.OutlinedRegionCost < SizeCost) {
Sean Fertile18f17332018-04-20 19:56:26 +00001339 OptimizationRemarkEmitter OrigFuncORE(Cloner.OrigFunc);
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001340 DebugLoc DLoc;
1341 BasicBlock *Block;
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001342 std::tie(DLoc, Block) = getOneDebugLoc(Cloner.ClonedFunc);
Sean Fertile18f17332018-04-20 19:56:26 +00001343 OrigFuncORE.emit([&]() {
Vivek Pandya95906582017-10-11 17:12:59 +00001344 return OptimizationRemarkAnalysis(DEBUG_TYPE, "OutlineRegionTooSmall",
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001345 DLoc, Block)
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001346 << ore::NV("Function", Cloner.OrigFunc)
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001347 << " not partially inlined into callers (Original Size = "
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001348 << ore::NV("OutlinedRegionOriginalSize", Cloner.OutlinedRegionCost)
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001349 << ", Size of call sequence to outlined function = "
Vivek Pandya95906582017-10-11 17:12:59 +00001350 << ore::NV("NewSize", SizeCost) << ")";
1351 });
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001352 return false;
1353 }
1354
Matthias Braun9fd397b2018-10-31 00:23:23 +00001355 assert(empty(Cloner.OrigFunc->users()) &&
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001356 "F's users should all be replaced!");
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001357
1358 std::vector<User *> Users(Cloner.ClonedFunc->user_begin(),
1359 Cloner.ClonedFunc->user_end());
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001360
1361 DenseMap<User *, uint64_t> CallSiteToProfCountMap;
Easwaran Ramana17f2202017-12-22 01:33:52 +00001362 auto CalleeEntryCount = Cloner.OrigFunc->getEntryCount();
1363 if (CalleeEntryCount)
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001364 computeCallsiteToProfCountMap(Cloner.ClonedFunc, CallSiteToProfCountMap);
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001365
Easwaran Ramane5b8de22018-01-17 22:24:23 +00001366 uint64_t CalleeEntryCountV =
1367 (CalleeEntryCount ? CalleeEntryCount.getCount() : 0);
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001368
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001369 bool AnyInline = false;
1370 for (User *User : Users) {
1371 CallSite CS = getCallSite(User);
1372
1373 if (IsLimitReached())
1374 continue;
1375
Sean Fertile18f17332018-04-20 19:56:26 +00001376 OptimizationRemarkEmitter CallerORE(CS.getCaller());
1377 if (!shouldPartialInline(CS, Cloner, WeightedRcost, CallerORE))
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001378 continue;
1379
Florian Hahn41e32bf2017-11-03 11:29:00 +00001380 // Construct remark before doing the inlining, as after successful inlining
1381 // the callsite is removed.
1382 OptimizationRemark OR(DEBUG_TYPE, "PartiallyInlined", CS.getInstruction());
1383 OR << ore::NV("Callee", Cloner.OrigFunc) << " partially inlined into "
1384 << ore::NV("Caller", CS.getCaller());
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001385
1386 InlineFunctionInfo IFI(nullptr, GetAssumptionCache, PSI);
Graham Yiu8b1882c2017-11-30 02:41:36 +00001387 // We can only forward varargs when we outlined a single region, else we
1388 // bail on vararg functions.
1389 if (!InlineFunction(CS, IFI, nullptr, true,
1390 (Cloner.ClonedOI ? Cloner.OutlinedFunctions.back().first
1391 : nullptr)))
Florian Hahn41e32bf2017-11-03 11:29:00 +00001392 continue;
1393
Sean Fertile18f17332018-04-20 19:56:26 +00001394 CallerORE.emit(OR);
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001395
1396 // Now update the entry count:
1397 if (CalleeEntryCountV && CallSiteToProfCountMap.count(User)) {
1398 uint64_t CallSiteCount = CallSiteToProfCountMap[User];
1399 CalleeEntryCountV -= std::min(CalleeEntryCountV, CallSiteCount);
1400 }
1401
1402 AnyInline = true;
1403 NumPartialInlining++;
1404 // Update the stats
Graham Yiu8b1882c2017-11-30 02:41:36 +00001405 if (Cloner.ClonedOI)
1406 NumPartialInlined++;
1407 else
1408 NumColdOutlinePartialInlined++;
1409
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001410 }
1411
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001412 if (AnyInline) {
1413 Cloner.IsFunctionInlined = true;
1414 if (CalleeEntryCount)
Easwaran Ramane5b8de22018-01-17 22:24:23 +00001415 Cloner.OrigFunc->setEntryCount(
1416 CalleeEntryCount.setCount(CalleeEntryCountV));
Sean Fertile18f17332018-04-20 19:56:26 +00001417 OptimizationRemarkEmitter OrigFuncORE(Cloner.OrigFunc);
1418 OrigFuncORE.emit([&]() {
Graham Yiu8b1882c2017-11-30 02:41:36 +00001419 return OptimizationRemark(DEBUG_TYPE, "PartiallyInlined", Cloner.OrigFunc)
1420 << "Partially inlined into at least one caller";
1421 });
1422
Xinliang David Lieea0ade2017-06-15 23:56:59 +00001423 }
Xinliang David Li66bdfca2017-05-12 23:41:43 +00001424
1425 return AnyInline;
Owen Anderson2f82e272009-06-14 08:26:32 +00001426}
1427
Sean Silvafe5abd52016-07-25 05:00:00 +00001428bool PartialInlinerImpl::run(Module &M) {
Xinliang David Lidb8d09b2017-04-23 23:39:04 +00001429 if (DisablePartialInlining)
1430 return false;
1431
Sean Silva519323d2016-07-25 05:57:59 +00001432 std::vector<Function *> Worklist;
1433 Worklist.reserve(M.size());
Benjamin Kramer135f7352016-06-26 12:28:59 +00001434 for (Function &F : M)
1435 if (!F.use_empty() && !F.isDeclaration())
Sean Silva519323d2016-07-25 05:57:59 +00001436 Worklist.push_back(&F);
Benjamin Kramer135f7352016-06-26 12:28:59 +00001437
Sean Silva519323d2016-07-25 05:57:59 +00001438 bool Changed = false;
1439 while (!Worklist.empty()) {
1440 Function *CurrFunc = Worklist.back();
1441 Worklist.pop_back();
Sean Silvafe5abd52016-07-25 05:00:00 +00001442
Sean Silva519323d2016-07-25 05:57:59 +00001443 if (CurrFunc->use_empty())
1444 continue;
Sean Silvafe5abd52016-07-25 05:00:00 +00001445
Sean Silva519323d2016-07-25 05:57:59 +00001446 bool Recursive = false;
1447 for (User *U : CurrFunc->users())
1448 if (Instruction *I = dyn_cast<Instruction>(U))
1449 if (I->getParent()->getParent() == CurrFunc) {
1450 Recursive = true;
Owen Anderson2f82e272009-06-14 08:26:32 +00001451 break;
1452 }
Sean Silva519323d2016-07-25 05:57:59 +00001453 if (Recursive)
1454 continue;
Sean Silvafe5abd52016-07-25 05:00:00 +00001455
Graham Yiu8b1882c2017-11-30 02:41:36 +00001456 std::pair<bool, Function * > Result = unswitchFunction(CurrFunc);
1457 if (Result.second)
1458 Worklist.push_back(Result.second);
Graham Yiu58dbc002018-08-03 14:42:53 +00001459 Changed |= Result.first;
Owen Anderson2f82e272009-06-14 08:26:32 +00001460 }
Easwaran Raman1832bf62016-06-27 16:50:18 +00001461
Sean Silva519323d2016-07-25 05:57:59 +00001462 return Changed;
Sean Silvafe5abd52016-07-25 05:00:00 +00001463}
1464
1465char PartialInlinerLegacyPass::ID = 0;
Eugene Zelenkoe9ea08a2017-10-10 22:49:55 +00001466
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001467INITIALIZE_PASS_BEGIN(PartialInlinerLegacyPass, "partial-inliner",
1468 "Partial Inliner", false, false)
1469INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
Xinliang David Li61338462017-05-02 02:44:14 +00001470INITIALIZE_PASS_DEPENDENCY(ProfileSummaryInfoWrapperPass)
1471INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001472INITIALIZE_PASS_END(PartialInlinerLegacyPass, "partial-inliner",
1473 "Partial Inliner", false, false)
Sean Silvafe5abd52016-07-25 05:00:00 +00001474
1475ModulePass *llvm::createPartialInliningPass() {
1476 return new PartialInlinerLegacyPass();
1477}
1478
1479PreservedAnalyses PartialInlinerPass::run(Module &M,
1480 ModuleAnalysisManager &AM) {
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001481 auto &FAM = AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
Xinliang David Li61338462017-05-02 02:44:14 +00001482
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001483 std::function<AssumptionCache &(Function &)> GetAssumptionCache =
1484 [&FAM](Function &F) -> AssumptionCache & {
1485 return FAM.getResult<AssumptionAnalysis>(F);
1486 };
Xinliang David Li61338462017-05-02 02:44:14 +00001487
1488 std::function<BlockFrequencyInfo &(Function &)> GetBFI =
1489 [&FAM](Function &F) -> BlockFrequencyInfo & {
1490 return FAM.getResult<BlockFrequencyAnalysis>(F);
1491 };
1492
1493 std::function<TargetTransformInfo &(Function &)> GetTTI =
1494 [&FAM](Function &F) -> TargetTransformInfo & {
1495 return FAM.getResult<TargetIRAnalysis>(F);
1496 };
1497
1498 ProfileSummaryInfo *PSI = &AM.getResult<ProfileSummaryAnalysis>(M);
1499
Sean Fertile18f17332018-04-20 19:56:26 +00001500 if (PartialInlinerImpl(&GetAssumptionCache, &GetTTI, {GetBFI}, PSI)
Graham Yiu8b1882c2017-11-30 02:41:36 +00001501 .run(M))
Easwaran Raman1832bf62016-06-27 16:50:18 +00001502 return PreservedAnalyses::none();
1503 return PreservedAnalyses::all();
Duncan Sands29c8efc2009-07-03 15:30:58 +00001504}