blob: c9e3a15267f1728f332a40aaf95471659dd21b69 [file] [log] [blame]
Eugene Zelenkofce43572017-10-21 00:57:46 +00001//===- IndirectCallPromotion.cpp - Optimizations based on value profiling -===//
Rong Xu6e34c492016-04-27 23:20:27 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Rong Xu6e34c492016-04-27 23:20:27 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the transformation that promotes indirect calls to
10// conditional direct calls when the indirect-call value profile metadata is
11// available.
12//
13//===----------------------------------------------------------------------===//
14
Eugene Zelenkocdc71612016-08-11 17:20:18 +000015#include "llvm/ADT/ArrayRef.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000016#include "llvm/ADT/STLExtras.h"
17#include "llvm/ADT/SmallVector.h"
Rong Xu6e34c492016-04-27 23:20:27 +000018#include "llvm/ADT/Statistic.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000019#include "llvm/ADT/StringRef.h"
Teresa Johnson1e44b5d2016-07-12 21:13:44 +000020#include "llvm/Analysis/IndirectCallPromotionAnalysis.h"
Chandler Carruth57578aa2019-01-07 07:15:51 +000021#include "llvm/Analysis/IndirectCallVisitor.h"
Adam Nemet0965da22017-10-09 23:19:02 +000022#include "llvm/Analysis/OptimizationRemarkEmitter.h"
Dehao Chen34cfcb22017-08-08 20:57:33 +000023#include "llvm/Analysis/ProfileSummaryInfo.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000024#include "llvm/IR/Attributes.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000025#include "llvm/IR/BasicBlock.h"
Rong Xu6e34c492016-04-27 23:20:27 +000026#include "llvm/IR/CallSite.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000027#include "llvm/IR/DerivedTypes.h"
Rong Xu6e34c492016-04-27 23:20:27 +000028#include "llvm/IR/DiagnosticInfo.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000029#include "llvm/IR/Function.h"
Rong Xu6e34c492016-04-27 23:20:27 +000030#include "llvm/IR/IRBuilder.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000031#include "llvm/IR/InstrTypes.h"
32#include "llvm/IR/Instruction.h"
Rong Xu6e34c492016-04-27 23:20:27 +000033#include "llvm/IR/Instructions.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000034#include "llvm/IR/LLVMContext.h"
Rong Xu6e34c492016-04-27 23:20:27 +000035#include "llvm/IR/MDBuilder.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000036#include "llvm/IR/PassManager.h"
37#include "llvm/IR/Type.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000038#include "llvm/IR/Value.h"
Rong Xu6e34c492016-04-27 23:20:27 +000039#include "llvm/Pass.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000040#include "llvm/ProfileData/InstrProf.h"
41#include "llvm/Support/Casting.h"
42#include "llvm/Support/CommandLine.h"
Rong Xu6e34c492016-04-27 23:20:27 +000043#include "llvm/Support/Debug.h"
Chandler Carruth57578aa2019-01-07 07:15:51 +000044#include "llvm/Support/Error.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000045#include "llvm/Support/raw_ostream.h"
Rong Xu6e34c492016-04-27 23:20:27 +000046#include "llvm/Transforms/Instrumentation.h"
David Blaikie4fe1fe12018-03-23 22:11:06 +000047#include "llvm/Transforms/Instrumentation/PGOInstrumentation.h"
Rong Xu6e34c492016-04-27 23:20:27 +000048#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Matthew Simpsone363d2c2017-12-06 21:22:54 +000049#include "llvm/Transforms/Utils/CallPromotionUtils.h"
Eugene Zelenkocdc71612016-08-11 17:20:18 +000050#include <cassert>
51#include <cstdint>
Eugene Zelenkofce43572017-10-21 00:57:46 +000052#include <memory>
53#include <string>
54#include <utility>
Rong Xu6e34c492016-04-27 23:20:27 +000055#include <vector>
56
57using namespace llvm;
58
Xinliang David Li0b293302016-06-02 01:52:05 +000059#define DEBUG_TYPE "pgo-icall-prom"
Rong Xu6e34c492016-04-27 23:20:27 +000060
61STATISTIC(NumOfPGOICallPromotion, "Number of indirect call promotions.");
62STATISTIC(NumOfPGOICallsites, "Number of indirect call candidate sites.");
63
64// Command line option to disable indirect-call promotion with the default as
65// false. This is for debug purpose.
66static cl::opt<bool> DisableICP("disable-icp", cl::init(false), cl::Hidden,
67 cl::desc("Disable indirect call promotion"));
68
Rong Xu6e34c492016-04-27 23:20:27 +000069// Set the cutoff value for the promotion. If the value is other than 0, we
70// stop the transformation once the total number of promotions equals the cutoff
71// value.
72// For debug use only.
73static cl::opt<unsigned>
74 ICPCutOff("icp-cutoff", cl::init(0), cl::Hidden, cl::ZeroOrMore,
Craig Toppera49e7682017-05-05 22:31:11 +000075 cl::desc("Max number of promotions for this compilation"));
Rong Xu6e34c492016-04-27 23:20:27 +000076
77// If ICPCSSkip is non zero, the first ICPCSSkip callsites will be skipped.
78// For debug use only.
79static cl::opt<unsigned>
80 ICPCSSkip("icp-csskip", cl::init(0), cl::Hidden, cl::ZeroOrMore,
Craig Toppera49e7682017-05-05 22:31:11 +000081 cl::desc("Skip Callsite up to this number for this compilation"));
Rong Xu6e34c492016-04-27 23:20:27 +000082
83// Set if the pass is called in LTO optimization. The difference for LTO mode
84// is the pass won't prefix the source module name to the internal linkage
85// symbols.
86static cl::opt<bool> ICPLTOMode("icp-lto", cl::init(false), cl::Hidden,
87 cl::desc("Run indirect-call promotion in LTO "
88 "mode"));
Teresa Johnson1e44b5d2016-07-12 21:13:44 +000089
Dehao Chencc75d242017-02-23 22:15:18 +000090// Set if the pass is called in SamplePGO mode. The difference for SamplePGO
91// mode is it will add prof metadatato the created direct call.
92static cl::opt<bool>
93 ICPSamplePGOMode("icp-samplepgo", cl::init(false), cl::Hidden,
94 cl::desc("Run indirect-call promotion in SamplePGO mode"));
95
Rong Xu6e34c492016-04-27 23:20:27 +000096// If the option is set to true, only call instructions will be considered for
97// transformation -- invoke instructions will be ignored.
98static cl::opt<bool>
99 ICPCallOnly("icp-call-only", cl::init(false), cl::Hidden,
100 cl::desc("Run indirect-call promotion for call instructions "
101 "only"));
102
103// If the option is set to true, only invoke instructions will be considered for
104// transformation -- call instructions will be ignored.
105static cl::opt<bool> ICPInvokeOnly("icp-invoke-only", cl::init(false),
106 cl::Hidden,
107 cl::desc("Run indirect-call promotion for "
108 "invoke instruction only"));
109
110// Dump the function level IR if the transformation happened in this
111// function. For debug use only.
112static cl::opt<bool>
113 ICPDUMPAFTER("icp-dumpafter", cl::init(false), cl::Hidden,
114 cl::desc("Dump IR after transformation happens"));
115
116namespace {
Eugene Zelenkofce43572017-10-21 00:57:46 +0000117
Xinliang David Li72616182016-05-15 01:04:24 +0000118class PGOIndirectCallPromotionLegacyPass : public ModulePass {
Rong Xu6e34c492016-04-27 23:20:27 +0000119public:
120 static char ID;
121
Dehao Chencc75d242017-02-23 22:15:18 +0000122 PGOIndirectCallPromotionLegacyPass(bool InLTO = false, bool SamplePGO = false)
123 : ModulePass(ID), InLTO(InLTO), SamplePGO(SamplePGO) {
Xinliang David Li72616182016-05-15 01:04:24 +0000124 initializePGOIndirectCallPromotionLegacyPassPass(
125 *PassRegistry::getPassRegistry());
Rong Xu6e34c492016-04-27 23:20:27 +0000126 }
127
Dehao Chen34cfcb22017-08-08 20:57:33 +0000128 void getAnalysisUsage(AnalysisUsage &AU) const override {
129 AU.addRequired<ProfileSummaryInfoWrapperPass>();
130 }
131
Mehdi Amini117296c2016-10-01 02:56:57 +0000132 StringRef getPassName() const override { return "PGOIndirectCallPromotion"; }
Rong Xu6e34c492016-04-27 23:20:27 +0000133
134private:
135 bool runOnModule(Module &M) override;
136
137 // If this pass is called in LTO. We need to special handling the PGOFuncName
138 // for the static variables due to LTO's internalization.
139 bool InLTO;
Dehao Chencc75d242017-02-23 22:15:18 +0000140
141 // If this pass is called in SamplePGO. We need to add the prof metadata to
142 // the promoted direct call.
143 bool SamplePGO;
Rong Xu6e34c492016-04-27 23:20:27 +0000144};
Eugene Zelenkofce43572017-10-21 00:57:46 +0000145
Rong Xu6e34c492016-04-27 23:20:27 +0000146} // end anonymous namespace
147
Xinliang David Li72616182016-05-15 01:04:24 +0000148char PGOIndirectCallPromotionLegacyPass::ID = 0;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000149
Dehao Chen45847d32017-08-14 23:25:21 +0000150INITIALIZE_PASS_BEGIN(PGOIndirectCallPromotionLegacyPass, "pgo-icall-prom",
151 "Use PGO instrumentation profile to promote indirect "
152 "calls to direct calls.",
153 false, false)
154INITIALIZE_PASS_DEPENDENCY(ProfileSummaryInfoWrapperPass)
155INITIALIZE_PASS_END(PGOIndirectCallPromotionLegacyPass, "pgo-icall-prom",
156 "Use PGO instrumentation profile to promote indirect "
157 "calls to direct calls.",
158 false, false)
Rong Xu6e34c492016-04-27 23:20:27 +0000159
Dehao Chencc75d242017-02-23 22:15:18 +0000160ModulePass *llvm::createPGOIndirectCallPromotionLegacyPass(bool InLTO,
161 bool SamplePGO) {
162 return new PGOIndirectCallPromotionLegacyPass(InLTO, SamplePGO);
Rong Xu6e34c492016-04-27 23:20:27 +0000163}
164
Benjamin Kramera65b6102016-05-15 15:18:11 +0000165namespace {
Eugene Zelenkofce43572017-10-21 00:57:46 +0000166
Rong Xu6e34c492016-04-27 23:20:27 +0000167// The class for main data structure to promote indirect calls to conditional
168// direct calls.
169class ICallPromotionFunc {
170private:
171 Function &F;
172 Module *M;
173
174 // Symtab that maps indirect call profile values to function names and
175 // defines.
176 InstrProfSymtab *Symtab;
177
Dehao Chencc75d242017-02-23 22:15:18 +0000178 bool SamplePGO;
179
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000180 OptimizationRemarkEmitter &ORE;
Rong Xu6e34c492016-04-27 23:20:27 +0000181
182 // A struct that records the direct target and it's call count.
183 struct PromotionCandidate {
184 Function *TargetFunction;
185 uint64_t Count;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000186
Rong Xu6e34c492016-04-27 23:20:27 +0000187 PromotionCandidate(Function *F, uint64_t C) : TargetFunction(F), Count(C) {}
188 };
189
190 // Check if the indirect-call call site should be promoted. Return the number
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000191 // of promotions. Inst is the candidate indirect call, ValueDataRef
192 // contains the array of value profile data for profiled targets,
193 // TotalCount is the total profiled count of call executions, and
194 // NumCandidates is the number of candidate entries in ValueDataRef.
Rong Xu6e34c492016-04-27 23:20:27 +0000195 std::vector<PromotionCandidate> getPromotionCandidatesForCallSite(
196 Instruction *Inst, const ArrayRef<InstrProfValueData> &ValueDataRef,
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000197 uint64_t TotalCount, uint32_t NumCandidates);
Rong Xu6e34c492016-04-27 23:20:27 +0000198
Rong Xu6e34c492016-04-27 23:20:27 +0000199 // Promote a list of targets for one indirect-call callsite. Return
200 // the number of promotions.
201 uint32_t tryToPromote(Instruction *Inst,
202 const std::vector<PromotionCandidate> &Candidates,
203 uint64_t &TotalCount);
204
Rong Xu6e34c492016-04-27 23:20:27 +0000205public:
Dehao Chencc75d242017-02-23 22:15:18 +0000206 ICallPromotionFunc(Function &Func, Module *Modu, InstrProfSymtab *Symtab,
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000207 bool SamplePGO, OptimizationRemarkEmitter &ORE)
208 : F(Func), M(Modu), Symtab(Symtab), SamplePGO(SamplePGO), ORE(ORE) {}
Eugene Zelenkofce43572017-10-21 00:57:46 +0000209 ICallPromotionFunc(const ICallPromotionFunc &) = delete;
210 ICallPromotionFunc &operator=(const ICallPromotionFunc &) = delete;
Eugene Zelenkocdc71612016-08-11 17:20:18 +0000211
Dehao Chen34cfcb22017-08-08 20:57:33 +0000212 bool processFunction(ProfileSummaryInfo *PSI);
Rong Xu6e34c492016-04-27 23:20:27 +0000213};
Eugene Zelenkofce43572017-10-21 00:57:46 +0000214
Benjamin Kramera65b6102016-05-15 15:18:11 +0000215} // end anonymous namespace
Rong Xu6e34c492016-04-27 23:20:27 +0000216
Rong Xu6e34c492016-04-27 23:20:27 +0000217// Indirect-call promotion heuristic. The direct targets are sorted based on
218// the count. Stop at the first target that is not promoted.
219std::vector<ICallPromotionFunc::PromotionCandidate>
220ICallPromotionFunc::getPromotionCandidatesForCallSite(
221 Instruction *Inst, const ArrayRef<InstrProfValueData> &ValueDataRef,
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000222 uint64_t TotalCount, uint32_t NumCandidates) {
Rong Xu6e34c492016-04-27 23:20:27 +0000223 std::vector<PromotionCandidate> Ret;
224
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000225 LLVM_DEBUG(dbgs() << " \nWork on callsite #" << NumOfPGOICallsites << *Inst
226 << " Num_targets: " << ValueDataRef.size()
227 << " Num_candidates: " << NumCandidates << "\n");
Rong Xu6e34c492016-04-27 23:20:27 +0000228 NumOfPGOICallsites++;
229 if (ICPCSSkip != 0 && NumOfPGOICallsites <= ICPCSSkip) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000230 LLVM_DEBUG(dbgs() << " Skip: User options.\n");
Rong Xu6e34c492016-04-27 23:20:27 +0000231 return Ret;
232 }
233
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000234 for (uint32_t I = 0; I < NumCandidates; I++) {
Rong Xu6e34c492016-04-27 23:20:27 +0000235 uint64_t Count = ValueDataRef[I].Count;
236 assert(Count <= TotalCount);
237 uint64_t Target = ValueDataRef[I].Value;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000238 LLVM_DEBUG(dbgs() << " Candidate " << I << " Count=" << Count
239 << " Target_func: " << Target << "\n");
Rong Xu6e34c492016-04-27 23:20:27 +0000240
Teresa Johnsonce7de9b2016-07-17 14:46:58 +0000241 if (ICPInvokeOnly && dyn_cast<CallInst>(Inst)) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000242 LLVM_DEBUG(dbgs() << " Not promote: User options.\n");
Vivek Pandya95906582017-10-11 17:12:59 +0000243 ORE.emit([&]() {
244 return OptimizationRemarkMissed(DEBUG_TYPE, "UserOptions", Inst)
245 << " Not promote: User options";
246 });
Teresa Johnsonce7de9b2016-07-17 14:46:58 +0000247 break;
248 }
249 if (ICPCallOnly && dyn_cast<InvokeInst>(Inst)) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000250 LLVM_DEBUG(dbgs() << " Not promote: User option.\n");
Vivek Pandya95906582017-10-11 17:12:59 +0000251 ORE.emit([&]() {
252 return OptimizationRemarkMissed(DEBUG_TYPE, "UserOptions", Inst)
253 << " Not promote: User options";
254 });
Teresa Johnsonce7de9b2016-07-17 14:46:58 +0000255 break;
256 }
Rong Xu6e34c492016-04-27 23:20:27 +0000257 if (ICPCutOff != 0 && NumOfPGOICallPromotion >= ICPCutOff) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000258 LLVM_DEBUG(dbgs() << " Not promote: Cutoff reached.\n");
Vivek Pandya95906582017-10-11 17:12:59 +0000259 ORE.emit([&]() {
260 return OptimizationRemarkMissed(DEBUG_TYPE, "CutOffReached", Inst)
261 << " Not promote: Cutoff reached";
262 });
Rong Xu6e34c492016-04-27 23:20:27 +0000263 break;
264 }
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000265
266 Function *TargetFunction = Symtab->getFunction(Target);
267 if (TargetFunction == nullptr) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000268 LLVM_DEBUG(dbgs() << " Not promote: Cannot find the target\n");
Vivek Pandya95906582017-10-11 17:12:59 +0000269 ORE.emit([&]() {
270 return OptimizationRemarkMissed(DEBUG_TYPE, "UnableToFindTarget", Inst)
Xinliang David Libcf726a2018-08-24 21:38:24 +0000271 << "Cannot promote indirect call: target with md5sum "
272 << ore::NV("target md5sum", Target) << " not found";
Vivek Pandya95906582017-10-11 17:12:59 +0000273 });
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000274 break;
275 }
276
Dehao Chen6775f5d2017-01-30 22:46:37 +0000277 const char *Reason = nullptr;
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000278 if (!isLegalToPromote(CallSite(Inst), TargetFunction, &Reason)) {
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000279 using namespace ore;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000280
Vivek Pandya95906582017-10-11 17:12:59 +0000281 ORE.emit([&]() {
282 return OptimizationRemarkMissed(DEBUG_TYPE, "UnableToPromote", Inst)
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000283 << "Cannot promote indirect call to "
284 << NV("TargetFunction", TargetFunction) << " with count of "
Vivek Pandya95906582017-10-11 17:12:59 +0000285 << NV("Count", Count) << ": " << Reason;
286 });
Rong Xu6e34c492016-04-27 23:20:27 +0000287 break;
288 }
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000289
Rong Xu6e34c492016-04-27 23:20:27 +0000290 Ret.push_back(PromotionCandidate(TargetFunction, Count));
291 TotalCount -= Count;
292 }
293 return Ret;
294}
295
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000296Instruction *llvm::pgo::promoteIndirectCall(Instruction *Inst,
297 Function *DirectCallee,
298 uint64_t Count, uint64_t TotalCount,
299 bool AttachProfToDirectCall,
300 OptimizationRemarkEmitter *ORE) {
Rong Xu6e34c492016-04-27 23:20:27 +0000301
302 uint64_t ElseCount = TotalCount - Count;
303 uint64_t MaxCount = (Count >= ElseCount ? Count : ElseCount);
304 uint64_t Scale = calculateCountScale(MaxCount);
305 MDBuilder MDB(Inst->getContext());
306 MDNode *BranchWeights = MDB.createBranchWeights(
307 scaleBranchCount(Count, Scale), scaleBranchCount(ElseCount, Scale));
Rong Xu6e34c492016-04-27 23:20:27 +0000308
Rong Xu6e34c492016-04-27 23:20:27 +0000309 Instruction *NewInst =
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000310 promoteCallWithIfThenElse(CallSite(Inst), DirectCallee, BranchWeights);
Rong Xu6e34c492016-04-27 23:20:27 +0000311
Dehao Chencc75d242017-02-23 22:15:18 +0000312 if (AttachProfToDirectCall) {
Dehao Chencc75d242017-02-23 22:15:18 +0000313 MDBuilder MDB(NewInst->getContext());
Teresa Johnson4bdf82c2019-02-05 00:18:38 +0000314 NewInst->setMetadata(
315 LLVMContext::MD_prof,
316 MDB.createBranchWeights({static_cast<uint32_t>(Count)}));
Dehao Chencc75d242017-02-23 22:15:18 +0000317 }
318
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000319 using namespace ore;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000320
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000321 if (ORE)
Vivek Pandya95906582017-10-11 17:12:59 +0000322 ORE->emit([&]() {
323 return OptimizationRemark(DEBUG_TYPE, "Promoted", Inst)
324 << "Promote indirect call to " << NV("DirectCallee", DirectCallee)
325 << " with count " << NV("Count", Count) << " out of "
326 << NV("TotalCount", TotalCount);
327 });
Dehao Chen14bf0292017-01-23 23:18:24 +0000328 return NewInst;
Rong Xu6e34c492016-04-27 23:20:27 +0000329}
330
331// Promote indirect-call to conditional direct-call for one callsite.
332uint32_t ICallPromotionFunc::tryToPromote(
333 Instruction *Inst, const std::vector<PromotionCandidate> &Candidates,
334 uint64_t &TotalCount) {
335 uint32_t NumPromoted = 0;
336
337 for (auto &C : Candidates) {
338 uint64_t Count = C.Count;
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000339 pgo::promoteIndirectCall(Inst, C.TargetFunction, Count, TotalCount,
340 SamplePGO, &ORE);
Rong Xu6e34c492016-04-27 23:20:27 +0000341 assert(TotalCount >= Count);
342 TotalCount -= Count;
343 NumOfPGOICallPromotion++;
344 NumPromoted++;
345 }
346 return NumPromoted;
347}
348
349// Traverse all the indirect-call callsite and get the value profile
350// annotation to perform indirect-call promotion.
Dehao Chen34cfcb22017-08-08 20:57:33 +0000351bool ICallPromotionFunc::processFunction(ProfileSummaryInfo *PSI) {
Rong Xu6e34c492016-04-27 23:20:27 +0000352 bool Changed = false;
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000353 ICallPromotionAnalysis ICallAnalysis;
Chandler Carruth57578aa2019-01-07 07:15:51 +0000354 for (auto &I : findIndirectCalls(F)) {
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000355 uint32_t NumVals, NumCandidates;
Rong Xu6e34c492016-04-27 23:20:27 +0000356 uint64_t TotalCount;
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000357 auto ICallProfDataRef = ICallAnalysis.getPromotionCandidatesForInstruction(
358 I, NumVals, TotalCount, NumCandidates);
Dehao Chen34cfcb22017-08-08 20:57:33 +0000359 if (!NumCandidates ||
360 (PSI && PSI->hasProfileSummary() && !PSI->isHotCount(TotalCount)))
Rong Xu6e34c492016-04-27 23:20:27 +0000361 continue;
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000362 auto PromotionCandidates = getPromotionCandidatesForCallSite(
363 I, ICallProfDataRef, TotalCount, NumCandidates);
Rong Xu6e34c492016-04-27 23:20:27 +0000364 uint32_t NumPromoted = tryToPromote(I, PromotionCandidates, TotalCount);
365 if (NumPromoted == 0)
366 continue;
367
368 Changed = true;
369 // Adjust the MD.prof metadata. First delete the old one.
Eugene Zelenkocdc71612016-08-11 17:20:18 +0000370 I->setMetadata(LLVMContext::MD_prof, nullptr);
Rong Xu6e34c492016-04-27 23:20:27 +0000371 // If all promoted, we don't need the MD.prof metadata.
372 if (TotalCount == 0 || NumPromoted == NumVals)
373 continue;
374 // Otherwise we need update with the un-promoted records back.
Teresa Johnson1e44b5d2016-07-12 21:13:44 +0000375 annotateValueSite(*M, *I, ICallProfDataRef.slice(NumPromoted), TotalCount,
376 IPVK_IndirectCallTarget, NumCandidates);
Rong Xu6e34c492016-04-27 23:20:27 +0000377 }
378 return Changed;
379}
380
381// A wrapper function that does the actual work.
Dehao Chen34cfcb22017-08-08 20:57:33 +0000382static bool promoteIndirectCalls(Module &M, ProfileSummaryInfo *PSI,
383 bool InLTO, bool SamplePGO,
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000384 ModuleAnalysisManager *AM = nullptr) {
Rong Xu6e34c492016-04-27 23:20:27 +0000385 if (DisableICP)
386 return false;
387 InstrProfSymtab Symtab;
Vedant Kumarb5794ca2017-06-20 01:38:56 +0000388 if (Error E = Symtab.create(M, InLTO)) {
389 std::string SymtabFailure = toString(std::move(E));
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000390 LLVM_DEBUG(dbgs() << "Failed to create symtab: " << SymtabFailure << "\n");
Vedant Kumarb5794ca2017-06-20 01:38:56 +0000391 (void)SymtabFailure;
392 return false;
393 }
Rong Xu6e34c492016-04-27 23:20:27 +0000394 bool Changed = false;
395 for (auto &F : M) {
Evandro Menezes7c711cc2019-04-03 21:27:03 +0000396 if (F.isDeclaration() || F.optForNone())
Rong Xu6e34c492016-04-27 23:20:27 +0000397 continue;
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000398
399 std::unique_ptr<OptimizationRemarkEmitter> OwnedORE;
400 OptimizationRemarkEmitter *ORE;
401 if (AM) {
402 auto &FAM =
403 AM->getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
404 ORE = &FAM.getResult<OptimizationRemarkEmitterAnalysis>(F);
405 } else {
Eugene Zelenkofce43572017-10-21 00:57:46 +0000406 OwnedORE = llvm::make_unique<OptimizationRemarkEmitter>(&F);
Adam Nemet0d8b5d62017-07-27 16:54:15 +0000407 ORE = OwnedORE.get();
408 }
409
410 ICallPromotionFunc ICallPromotion(F, &M, &Symtab, SamplePGO, *ORE);
Dehao Chen34cfcb22017-08-08 20:57:33 +0000411 bool FuncChanged = ICallPromotion.processFunction(PSI);
Rong Xu6e34c492016-04-27 23:20:27 +0000412 if (ICPDUMPAFTER && FuncChanged) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000413 LLVM_DEBUG(dbgs() << "\n== IR Dump After =="; F.print(dbgs()));
414 LLVM_DEBUG(dbgs() << "\n");
Rong Xu6e34c492016-04-27 23:20:27 +0000415 }
416 Changed |= FuncChanged;
417 if (ICPCutOff != 0 && NumOfPGOICallPromotion >= ICPCutOff) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000418 LLVM_DEBUG(dbgs() << " Stop: Cutoff reached.\n");
Rong Xu6e34c492016-04-27 23:20:27 +0000419 break;
420 }
421 }
422 return Changed;
423}
424
Xinliang David Li72616182016-05-15 01:04:24 +0000425bool PGOIndirectCallPromotionLegacyPass::runOnModule(Module &M) {
Dehao Chen34cfcb22017-08-08 20:57:33 +0000426 ProfileSummaryInfo *PSI =
Vedant Kumare7b789b2018-11-19 05:23:16 +0000427 &getAnalysis<ProfileSummaryInfoWrapperPass>().getPSI();
Dehao Chen34cfcb22017-08-08 20:57:33 +0000428
Rong Xu6e34c492016-04-27 23:20:27 +0000429 // Command-line option has the priority for InLTO.
Dehao Chen34cfcb22017-08-08 20:57:33 +0000430 return promoteIndirectCalls(M, PSI, InLTO | ICPLTOMode,
Dehao Chencc75d242017-02-23 22:15:18 +0000431 SamplePGO | ICPSamplePGOMode);
Rong Xu6e34c492016-04-27 23:20:27 +0000432}
Xinliang David Lif3c7a352016-05-16 16:31:07 +0000433
Dehao Chencc75d242017-02-23 22:15:18 +0000434PreservedAnalyses PGOIndirectCallPromotion::run(Module &M,
435 ModuleAnalysisManager &AM) {
Dehao Chen34cfcb22017-08-08 20:57:33 +0000436 ProfileSummaryInfo *PSI = &AM.getResult<ProfileSummaryAnalysis>(M);
437
438 if (!promoteIndirectCalls(M, PSI, InLTO | ICPLTOMode,
439 SamplePGO | ICPSamplePGOMode, &AM))
Xinliang David Lif3c7a352016-05-16 16:31:07 +0000440 return PreservedAnalyses::all();
441
442 return PreservedAnalyses::none();
443}