blob: 34dca7c7248c67ea76838f487e137ad20efb52bb [file] [log] [blame]
Justin Bogneref512b92014-01-06 22:27:43 +00001//===--- CodeGenPGO.cpp - PGO Instrumentation for LLVM CodeGen --*- C++ -*-===//
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// Instrumentation-based profile-guided optimization
11//
12//===----------------------------------------------------------------------===//
13
14#include "CodeGenPGO.h"
15#include "CodeGenFunction.h"
16#include "clang/AST/RecursiveASTVisitor.h"
17#include "clang/AST/StmtVisitor.h"
Justin Bogner529f6dd2014-01-07 03:43:15 +000018#include "llvm/Config/config.h" // for strtoull()/strtoll() define
Justin Bogneref512b92014-01-06 22:27:43 +000019#include "llvm/IR/MDBuilder.h"
20#include "llvm/Support/FileSystem.h"
21
22using namespace clang;
23using namespace CodeGen;
24
Justin Bognerd66a17d2014-03-12 21:06:31 +000025static void ReportBadPGOData(CodeGenModule &CGM, const char *Message) {
26 DiagnosticsEngine &Diags = CGM.getDiags();
27 unsigned diagID = Diags.getCustomDiagID(DiagnosticsEngine::Error, "%0");
28 Diags.Report(diagID) << Message;
29}
30
31PGOProfileData::PGOProfileData(CodeGenModule &CGM, std::string Path)
32 : CGM(CGM) {
33 if (llvm::MemoryBuffer::getFile(Path, DataBuffer)) {
34 ReportBadPGOData(CGM, "failed to open pgo data file");
35 return;
36 }
37
38 if (DataBuffer->getBufferSize() > std::numeric_limits<unsigned>::max()) {
39 ReportBadPGOData(CGM, "pgo data file too big");
40 return;
41 }
42
43 // Scan through the data file and map each function to the corresponding
44 // file offset where its counts are stored.
45 const char *BufferStart = DataBuffer->getBufferStart();
46 const char *BufferEnd = DataBuffer->getBufferEnd();
47 const char *CurPtr = BufferStart;
48 uint64_t MaxCount = 0;
49 while (CurPtr < BufferEnd) {
50 // Read the function name.
51 const char *FuncStart = CurPtr;
52 // For Objective-C methods, the name may include whitespace, so search
53 // backward from the end of the line to find the space that separates the
54 // name from the number of counters. (This is a temporary hack since we are
55 // going to completely replace this file format in the near future.)
56 CurPtr = strchr(CurPtr, '\n');
57 if (!CurPtr) {
58 ReportBadPGOData(CGM, "pgo data file has malformed function entry");
59 return;
60 }
Justin Bognerd66a17d2014-03-12 21:06:31 +000061 StringRef FuncName(FuncStart, CurPtr - FuncStart);
62
Justin Bognerb4416f52014-03-18 21:58:06 +000063 // Skip over the function hash.
64 CurPtr = strchr(++CurPtr, '\n');
65 if (!CurPtr) {
66 ReportBadPGOData(CGM, "pgo data file is missing the function hash");
67 return;
68 }
69
Justin Bognerd66a17d2014-03-12 21:06:31 +000070 // Read the number of counters.
71 char *EndPtr;
72 unsigned NumCounters = strtol(++CurPtr, &EndPtr, 10);
73 if (EndPtr == CurPtr || *EndPtr != '\n' || NumCounters <= 0) {
74 ReportBadPGOData(CGM, "pgo data file has unexpected number of counters");
75 return;
76 }
77 CurPtr = EndPtr;
78
79 // Read function count.
80 uint64_t Count = strtoll(CurPtr, &EndPtr, 10);
81 if (EndPtr == CurPtr || *EndPtr != '\n') {
82 ReportBadPGOData(CGM, "pgo-data file has bad count value");
83 return;
84 }
85 CurPtr = EndPtr; // Point to '\n'.
86 FunctionCounts[FuncName] = Count;
87 MaxCount = Count > MaxCount ? Count : MaxCount;
88
89 // There is one line for each counter; skip over those lines.
90 // Since function count is already read, we start the loop from 1.
91 for (unsigned N = 1; N < NumCounters; ++N) {
92 CurPtr = strchr(++CurPtr, '\n');
93 if (!CurPtr) {
94 ReportBadPGOData(CGM, "pgo data file is missing some counter info");
95 return;
96 }
97 }
98
99 // Skip over the blank line separating functions.
100 CurPtr += 2;
101
102 DataOffsets[FuncName] = FuncStart - BufferStart;
103 }
104 MaxFunctionCount = MaxCount;
105}
106
Justin Bognerb4416f52014-03-18 21:58:06 +0000107bool PGOProfileData::getFunctionCounts(StringRef FuncName, uint64_t &FuncHash,
Justin Bognerd66a17d2014-03-12 21:06:31 +0000108 std::vector<uint64_t> &Counts) {
109 // Find the relevant section of the pgo-data file.
110 llvm::StringMap<unsigned>::const_iterator OffsetIter =
111 DataOffsets.find(FuncName);
112 if (OffsetIter == DataOffsets.end())
113 return true;
114 const char *CurPtr = DataBuffer->getBufferStart() + OffsetIter->getValue();
115
116 // Skip over the function name.
117 CurPtr = strchr(CurPtr, '\n');
118 assert(CurPtr && "pgo-data has corrupted function entry");
Justin Bognerb4416f52014-03-18 21:58:06 +0000119
120 char *EndPtr;
121 // Read the function hash.
122 FuncHash = strtoll(++CurPtr, &EndPtr, 10);
123 assert(EndPtr != CurPtr && *EndPtr == '\n' &&
124 "pgo-data file has corrupted function hash");
125 CurPtr = EndPtr;
Justin Bognerd66a17d2014-03-12 21:06:31 +0000126
127 // Read the number of counters.
Justin Bognerd66a17d2014-03-12 21:06:31 +0000128 unsigned NumCounters = strtol(++CurPtr, &EndPtr, 10);
129 assert(EndPtr != CurPtr && *EndPtr == '\n' && NumCounters > 0 &&
130 "pgo-data file has corrupted number of counters");
131 CurPtr = EndPtr;
132
133 Counts.reserve(NumCounters);
134
135 for (unsigned N = 0; N < NumCounters; ++N) {
136 // Read the count value.
137 uint64_t Count = strtoll(CurPtr, &EndPtr, 10);
138 if (EndPtr == CurPtr || *EndPtr != '\n') {
139 ReportBadPGOData(CGM, "pgo-data file has bad count value");
140 return true;
141 }
142 Counts.push_back(Count);
143 CurPtr = EndPtr + 1;
144 }
145
146 // Make sure the number of counters matches up.
147 if (Counts.size() != NumCounters) {
148 ReportBadPGOData(CGM, "pgo-data file has inconsistent counters");
149 return true;
150 }
151
152 return false;
153}
154
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000155void CodeGenPGO::setFuncName(llvm::Function *Fn) {
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000156 RawFuncName = Fn->getName();
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000157
158 // Function names may be prefixed with a binary '1' to indicate
159 // that the backend should not modify the symbols due to any platform
160 // naming convention. Do not include that '1' in the PGO profile name.
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000161 if (RawFuncName[0] == '\1')
162 RawFuncName = RawFuncName.substr(1);
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000163
164 if (!Fn->hasLocalLinkage()) {
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000165 PrefixedFuncName = new std::string(RawFuncName);
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000166 return;
167 }
168
169 // For local symbols, prepend the main file name to distinguish them.
170 // Do not include the full path in the file name since there's no guarantee
171 // that it will stay the same, e.g., if the files are checked out from
172 // version control in different locations.
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000173 PrefixedFuncName = new std::string(CGM.getCodeGenOpts().MainFileName);
174 if (PrefixedFuncName->empty())
175 PrefixedFuncName->assign("<unknown>");
176 PrefixedFuncName->append(":");
177 PrefixedFuncName->append(RawFuncName);
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000178}
179
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000180static llvm::Function *getRegisterFunc(CodeGenModule &CGM) {
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000181 return CGM.getModule().getFunction("__llvm_profile_register_functions");
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000182}
183
184static llvm::BasicBlock *getOrInsertRegisterBB(CodeGenModule &CGM) {
Duncan P. N. Exon Smith780443e2014-03-20 03:57:11 +0000185 // Don't do this for Darwin. compiler-rt uses linker magic.
186 if (CGM.getTarget().getTriple().isOSDarwin())
187 return nullptr;
188
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000189 // Only need to insert this once per module.
190 if (llvm::Function *RegisterF = getRegisterFunc(CGM))
191 return &RegisterF->getEntryBlock();
192
193 // Construct the function.
194 auto *VoidTy = llvm::Type::getVoidTy(CGM.getLLVMContext());
195 auto *RegisterFTy = llvm::FunctionType::get(VoidTy, false);
196 auto *RegisterF = llvm::Function::Create(RegisterFTy,
197 llvm::GlobalValue::InternalLinkage,
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000198 "__llvm_profile_register_functions",
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000199 &CGM.getModule());
200 RegisterF->setUnnamedAddr(true);
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000201 if (CGM.getCodeGenOpts().DisableRedZone)
202 RegisterF->addFnAttr(llvm::Attribute::NoRedZone);
203
204 // Construct and return the entry block.
205 auto *BB = llvm::BasicBlock::Create(CGM.getLLVMContext(), "", RegisterF);
206 CGBuilderTy Builder(BB);
207 Builder.CreateRetVoid();
208 return BB;
209}
210
211static llvm::Constant *getOrInsertRuntimeRegister(CodeGenModule &CGM) {
212 auto *VoidTy = llvm::Type::getVoidTy(CGM.getLLVMContext());
213 auto *VoidPtrTy = llvm::Type::getInt8PtrTy(CGM.getLLVMContext());
214 auto *RuntimeRegisterTy = llvm::FunctionType::get(VoidTy, VoidPtrTy, false);
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000215 return CGM.getModule().getOrInsertFunction("__llvm_profile_register_function",
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000216 RuntimeRegisterTy);
217}
218
Duncan P. N. Exon Smith7134d472014-03-20 03:17:15 +0000219static bool isMachO(const CodeGenModule &CGM) {
220 return CGM.getTarget().getTriple().isOSBinFormatMachO();
221}
222
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000223static StringRef getCountersSection(const CodeGenModule &CGM) {
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000224 return isMachO(CGM) ? "__DATA,__llvm_prf_cnts" : "__llvm_prf_cnts";
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000225}
226
227static StringRef getNameSection(const CodeGenModule &CGM) {
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000228 return isMachO(CGM) ? "__DATA,__llvm_prf_names" : "__llvm_prf_names";
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000229}
230
231static StringRef getDataSection(const CodeGenModule &CGM) {
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000232 return isMachO(CGM) ? "__DATA,__llvm_prf_data" : "__llvm_prf_data";
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000233}
234
235llvm::GlobalVariable *CodeGenPGO::buildDataVar() {
236 // Create name variable.
237 llvm::LLVMContext &Ctx = CGM.getLLVMContext();
238 auto *VarName = llvm::ConstantDataArray::getString(Ctx, getFuncName(),
239 false);
240 auto *Name = new llvm::GlobalVariable(CGM.getModule(), VarName->getType(),
Duncan P. N. Exon Smith73f78622014-03-20 22:49:50 +0000241 true, VarLinkage, VarName,
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000242 getFuncVarName("name"));
243 Name->setSection(getNameSection(CGM));
244 Name->setAlignment(1);
245
246 // Create data variable.
247 auto *Int32Ty = llvm::Type::getInt32Ty(Ctx);
Justin Bognerb4416f52014-03-18 21:58:06 +0000248 auto *Int64Ty = llvm::Type::getInt64Ty(Ctx);
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000249 auto *Int8PtrTy = llvm::Type::getInt8PtrTy(Ctx);
250 auto *Int64PtrTy = llvm::Type::getInt64PtrTy(Ctx);
251 llvm::Type *DataTypes[] = {
Justin Bognerb4416f52014-03-18 21:58:06 +0000252 Int32Ty, Int32Ty, Int64Ty, Int8PtrTy, Int64PtrTy
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000253 };
254 auto *DataTy = llvm::StructType::get(Ctx, makeArrayRef(DataTypes));
255 llvm::Constant *DataVals[] = {
256 llvm::ConstantInt::get(Int32Ty, getFuncName().size()),
257 llvm::ConstantInt::get(Int32Ty, NumRegionCounters),
Justin Bognerb4416f52014-03-18 21:58:06 +0000258 llvm::ConstantInt::get(Int64Ty, FunctionHash),
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000259 llvm::ConstantExpr::getBitCast(Name, Int8PtrTy),
260 llvm::ConstantExpr::getBitCast(RegionCounters, Int64PtrTy)
261 };
262 auto *Data =
Duncan P. N. Exon Smith73f78622014-03-20 22:49:50 +0000263 new llvm::GlobalVariable(CGM.getModule(), DataTy, true, VarLinkage,
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000264 llvm::ConstantStruct::get(DataTy, DataVals),
265 getFuncVarName("data"));
266
267 // All the data should be packed into an array in its own section.
268 Data->setSection(getDataSection(CGM));
269 Data->setAlignment(8);
270
271 // Make sure the data doesn't get deleted.
272 CGM.addUsedGlobal(Data);
273 return Data;
274}
275
276void CodeGenPGO::emitInstrumentationData() {
Justin Bogneref512b92014-01-06 22:27:43 +0000277 if (!CGM.getCodeGenOpts().ProfileInstrGenerate)
278 return;
279
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000280 // Build the data.
281 auto *Data = buildDataVar();
Justin Bogneref512b92014-01-06 22:27:43 +0000282
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000283 // Register the data.
Duncan P. N. Exon Smith780443e2014-03-20 03:57:11 +0000284 auto *RegisterBB = getOrInsertRegisterBB(CGM);
285 if (!RegisterBB)
286 return;
287 CGBuilderTy Builder(RegisterBB->getTerminator());
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000288 auto *VoidPtrTy = llvm::Type::getInt8PtrTy(CGM.getLLVMContext());
289 Builder.CreateCall(getOrInsertRuntimeRegister(CGM),
290 Builder.CreateBitCast(Data, VoidPtrTy));
Justin Bogneref512b92014-01-06 22:27:43 +0000291}
292
293llvm::Function *CodeGenPGO::emitInitialization(CodeGenModule &CGM) {
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000294 if (!CGM.getCodeGenOpts().ProfileInstrGenerate)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000295 return nullptr;
Justin Bogneref512b92014-01-06 22:27:43 +0000296
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000297 // Only need to create this once per module.
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000298 if (CGM.getModule().getFunction("__llvm_profile_init"))
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000299 return nullptr;
Justin Bogneref512b92014-01-06 22:27:43 +0000300
Duncan P. N. Exon Smith5188e912014-03-20 19:23:46 +0000301 // Get the function to call at initialization.
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000302 llvm::Constant *RegisterF = getRegisterFunc(CGM);
Duncan P. N. Exon Smith5188e912014-03-20 19:23:46 +0000303 if (!RegisterF)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000304 return nullptr;
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000305
306 // Create the initialization function.
307 auto *VoidTy = llvm::Type::getVoidTy(CGM.getLLVMContext());
308 auto *F = llvm::Function::Create(llvm::FunctionType::get(VoidTy, false),
309 llvm::GlobalValue::InternalLinkage,
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000310 "__llvm_profile_init", &CGM.getModule());
Justin Bogneref512b92014-01-06 22:27:43 +0000311 F->setUnnamedAddr(true);
Justin Bogneref512b92014-01-06 22:27:43 +0000312 F->addFnAttr(llvm::Attribute::NoInline);
313 if (CGM.getCodeGenOpts().DisableRedZone)
314 F->addFnAttr(llvm::Attribute::NoRedZone);
315
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000316 // Add the basic block and the necessary calls.
317 CGBuilderTy Builder(llvm::BasicBlock::Create(CGM.getLLVMContext(), "", F));
Duncan P. N. Exon Smith5188e912014-03-20 19:23:46 +0000318 Builder.CreateCall(RegisterF);
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000319 Builder.CreateRetVoid();
Justin Bogneref512b92014-01-06 22:27:43 +0000320
321 return F;
322}
323
324namespace {
325 /// A StmtVisitor that fills a map of statements to PGO counters.
326 struct MapRegionCounters : public ConstStmtVisitor<MapRegionCounters> {
327 /// The next counter value to assign.
328 unsigned NextCounter;
329 /// The map of statements to counters.
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000330 llvm::DenseMap<const Stmt *, unsigned> &CounterMap;
Justin Bogneref512b92014-01-06 22:27:43 +0000331
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000332 MapRegionCounters(llvm::DenseMap<const Stmt *, unsigned> &CounterMap)
333 : NextCounter(0), CounterMap(CounterMap) {}
Justin Bogneref512b92014-01-06 22:27:43 +0000334
335 void VisitChildren(const Stmt *S) {
336 for (Stmt::const_child_range I = S->children(); I; ++I)
337 if (*I)
338 this->Visit(*I);
339 }
340 void VisitStmt(const Stmt *S) { VisitChildren(S); }
341
Justin Bognerea278c32014-01-07 00:20:28 +0000342 /// Assign a counter to track entry to the function body.
Justin Bogneref512b92014-01-06 22:27:43 +0000343 void VisitFunctionDecl(const FunctionDecl *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000344 CounterMap[S->getBody()] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000345 Visit(S->getBody());
346 }
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000347 void VisitObjCMethodDecl(const ObjCMethodDecl *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000348 CounterMap[S->getBody()] = NextCounter++;
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000349 Visit(S->getBody());
350 }
Bob Wilsonc845c002014-03-06 20:24:27 +0000351 void VisitBlockDecl(const BlockDecl *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000352 CounterMap[S->getBody()] = NextCounter++;
Bob Wilsonc845c002014-03-06 20:24:27 +0000353 Visit(S->getBody());
354 }
Justin Bognerea278c32014-01-07 00:20:28 +0000355 /// Assign a counter to track the block following a label.
Justin Bogneref512b92014-01-06 22:27:43 +0000356 void VisitLabelStmt(const LabelStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000357 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000358 Visit(S->getSubStmt());
359 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000360 /// Assign a counter for the body of a while loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000361 void VisitWhileStmt(const WhileStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000362 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000363 Visit(S->getCond());
364 Visit(S->getBody());
365 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000366 /// Assign a counter for the body of a do-while loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000367 void VisitDoStmt(const DoStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000368 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000369 Visit(S->getBody());
370 Visit(S->getCond());
371 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000372 /// Assign a counter for the body of a for loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000373 void VisitForStmt(const ForStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000374 CounterMap[S] = NextCounter++;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000375 if (S->getInit())
376 Visit(S->getInit());
Justin Bogneref512b92014-01-06 22:27:43 +0000377 const Expr *E;
378 if ((E = S->getCond()))
379 Visit(E);
Justin Bogneref512b92014-01-06 22:27:43 +0000380 if ((E = S->getInc()))
381 Visit(E);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000382 Visit(S->getBody());
Justin Bogneref512b92014-01-06 22:27:43 +0000383 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000384 /// Assign a counter for the body of a for-range loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000385 void VisitCXXForRangeStmt(const CXXForRangeStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000386 CounterMap[S] = NextCounter++;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000387 Visit(S->getRangeStmt());
388 Visit(S->getBeginEndStmt());
389 Visit(S->getCond());
390 Visit(S->getLoopVarStmt());
Justin Bogneref512b92014-01-06 22:27:43 +0000391 Visit(S->getBody());
Bob Wilsonbf854f02014-02-17 19:21:09 +0000392 Visit(S->getInc());
Justin Bogneref512b92014-01-06 22:27:43 +0000393 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000394 /// Assign a counter for the body of a for-collection loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000395 void VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000396 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000397 Visit(S->getElement());
398 Visit(S->getBody());
399 }
400 /// Assign a counter for the exit block of the switch statement.
401 void VisitSwitchStmt(const SwitchStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000402 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000403 Visit(S->getCond());
404 Visit(S->getBody());
405 }
406 /// Assign a counter for a particular case in a switch. This counts jumps
407 /// from the switch header as well as fallthrough from the case before this
408 /// one.
409 void VisitCaseStmt(const CaseStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000410 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000411 Visit(S->getSubStmt());
412 }
413 /// Assign a counter for the default case of a switch statement. The count
414 /// is the number of branches from the loop header to the default, and does
415 /// not include fallthrough from previous cases. If we have multiple
416 /// conditional branch blocks from the switch instruction to the default
417 /// block, as with large GNU case ranges, this is the counter for the last
418 /// edge in that series, rather than the first.
419 void VisitDefaultStmt(const DefaultStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000420 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000421 Visit(S->getSubStmt());
422 }
423 /// Assign a counter for the "then" part of an if statement. The count for
424 /// the "else" part, if it exists, will be calculated from this counter.
425 void VisitIfStmt(const IfStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000426 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000427 Visit(S->getCond());
428 Visit(S->getThen());
429 if (S->getElse())
430 Visit(S->getElse());
431 }
432 /// Assign a counter for the continuation block of a C++ try statement.
433 void VisitCXXTryStmt(const CXXTryStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000434 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000435 Visit(S->getTryBlock());
436 for (unsigned I = 0, E = S->getNumHandlers(); I < E; ++I)
437 Visit(S->getHandler(I));
438 }
439 /// Assign a counter for a catch statement's handler block.
440 void VisitCXXCatchStmt(const CXXCatchStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000441 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000442 Visit(S->getHandlerBlock());
443 }
444 /// Assign a counter for the "true" part of a conditional operator. The
445 /// count in the "false" part will be calculated from this counter.
446 void VisitConditionalOperator(const ConditionalOperator *E) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000447 CounterMap[E] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000448 Visit(E->getCond());
449 Visit(E->getTrueExpr());
450 Visit(E->getFalseExpr());
451 }
452 /// Assign a counter for the right hand side of a logical and operator.
453 void VisitBinLAnd(const BinaryOperator *E) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000454 CounterMap[E] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000455 Visit(E->getLHS());
456 Visit(E->getRHS());
457 }
458 /// Assign a counter for the right hand side of a logical or operator.
459 void VisitBinLOr(const BinaryOperator *E) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000460 CounterMap[E] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000461 Visit(E->getLHS());
462 Visit(E->getRHS());
463 }
464 };
Bob Wilsonbf854f02014-02-17 19:21:09 +0000465
466 /// A StmtVisitor that propagates the raw counts through the AST and
467 /// records the count at statements where the value may change.
468 struct ComputeRegionCounts : public ConstStmtVisitor<ComputeRegionCounts> {
469 /// PGO state.
470 CodeGenPGO &PGO;
471
472 /// A flag that is set when the current count should be recorded on the
473 /// next statement, such as at the exit of a loop.
474 bool RecordNextStmtCount;
475
476 /// The map of statements to count values.
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000477 llvm::DenseMap<const Stmt *, uint64_t> &CountMap;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000478
479 /// BreakContinueStack - Keep counts of breaks and continues inside loops.
480 struct BreakContinue {
481 uint64_t BreakCount;
482 uint64_t ContinueCount;
483 BreakContinue() : BreakCount(0), ContinueCount(0) {}
484 };
485 SmallVector<BreakContinue, 8> BreakContinueStack;
486
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000487 ComputeRegionCounts(llvm::DenseMap<const Stmt *, uint64_t> &CountMap,
488 CodeGenPGO &PGO)
489 : PGO(PGO), RecordNextStmtCount(false), CountMap(CountMap) {}
Bob Wilsonbf854f02014-02-17 19:21:09 +0000490
491 void RecordStmtCount(const Stmt *S) {
492 if (RecordNextStmtCount) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000493 CountMap[S] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000494 RecordNextStmtCount = false;
495 }
496 }
497
498 void VisitStmt(const Stmt *S) {
499 RecordStmtCount(S);
500 for (Stmt::const_child_range I = S->children(); I; ++I) {
501 if (*I)
502 this->Visit(*I);
503 }
504 }
505
506 void VisitFunctionDecl(const FunctionDecl *S) {
507 RegionCounter Cnt(PGO, S->getBody());
508 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000509 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000510 Visit(S->getBody());
511 }
512
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000513 void VisitObjCMethodDecl(const ObjCMethodDecl *S) {
514 RegionCounter Cnt(PGO, S->getBody());
515 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000516 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000517 Visit(S->getBody());
518 }
519
Bob Wilsonc845c002014-03-06 20:24:27 +0000520 void VisitBlockDecl(const BlockDecl *S) {
521 RegionCounter Cnt(PGO, S->getBody());
522 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000523 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilsonc845c002014-03-06 20:24:27 +0000524 Visit(S->getBody());
525 }
526
Bob Wilsonbf854f02014-02-17 19:21:09 +0000527 void VisitReturnStmt(const ReturnStmt *S) {
528 RecordStmtCount(S);
529 if (S->getRetValue())
530 Visit(S->getRetValue());
531 PGO.setCurrentRegionUnreachable();
532 RecordNextStmtCount = true;
533 }
534
535 void VisitGotoStmt(const GotoStmt *S) {
536 RecordStmtCount(S);
537 PGO.setCurrentRegionUnreachable();
538 RecordNextStmtCount = true;
539 }
540
541 void VisitLabelStmt(const LabelStmt *S) {
542 RecordNextStmtCount = false;
543 RegionCounter Cnt(PGO, S);
544 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000545 CountMap[S] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000546 Visit(S->getSubStmt());
547 }
548
549 void VisitBreakStmt(const BreakStmt *S) {
550 RecordStmtCount(S);
551 assert(!BreakContinueStack.empty() && "break not in a loop or switch!");
552 BreakContinueStack.back().BreakCount += PGO.getCurrentRegionCount();
553 PGO.setCurrentRegionUnreachable();
554 RecordNextStmtCount = true;
555 }
556
557 void VisitContinueStmt(const ContinueStmt *S) {
558 RecordStmtCount(S);
559 assert(!BreakContinueStack.empty() && "continue stmt not in a loop!");
560 BreakContinueStack.back().ContinueCount += PGO.getCurrentRegionCount();
561 PGO.setCurrentRegionUnreachable();
562 RecordNextStmtCount = true;
563 }
564
565 void VisitWhileStmt(const WhileStmt *S) {
566 RecordStmtCount(S);
567 RegionCounter Cnt(PGO, S);
568 BreakContinueStack.push_back(BreakContinue());
569 // Visit the body region first so the break/continue adjustments can be
570 // included when visiting the condition.
571 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000572 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000573 Visit(S->getBody());
574 Cnt.adjustForControlFlow();
575
576 // ...then go back and propagate counts through the condition. The count
577 // at the start of the condition is the sum of the incoming edges,
578 // the backedge from the end of the loop body, and the edges from
579 // continue statements.
580 BreakContinue BC = BreakContinueStack.pop_back_val();
581 Cnt.setCurrentRegionCount(Cnt.getParentCount() +
582 Cnt.getAdjustedCount() + BC.ContinueCount);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000583 CountMap[S->getCond()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000584 Visit(S->getCond());
585 Cnt.adjustForControlFlow();
586 Cnt.applyAdjustmentsToRegion(BC.BreakCount + BC.ContinueCount);
587 RecordNextStmtCount = true;
588 }
589
590 void VisitDoStmt(const DoStmt *S) {
591 RecordStmtCount(S);
592 RegionCounter Cnt(PGO, S);
593 BreakContinueStack.push_back(BreakContinue());
594 Cnt.beginRegion(/*AddIncomingFallThrough=*/true);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000595 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000596 Visit(S->getBody());
597 Cnt.adjustForControlFlow();
598
599 BreakContinue BC = BreakContinueStack.pop_back_val();
600 // The count at the start of the condition is equal to the count at the
601 // end of the body. The adjusted count does not include either the
602 // fall-through count coming into the loop or the continue count, so add
603 // both of those separately. This is coincidentally the same equation as
604 // with while loops but for different reasons.
605 Cnt.setCurrentRegionCount(Cnt.getParentCount() +
606 Cnt.getAdjustedCount() + BC.ContinueCount);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000607 CountMap[S->getCond()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000608 Visit(S->getCond());
609 Cnt.adjustForControlFlow();
610 Cnt.applyAdjustmentsToRegion(BC.BreakCount + BC.ContinueCount);
611 RecordNextStmtCount = true;
612 }
613
614 void VisitForStmt(const ForStmt *S) {
615 RecordStmtCount(S);
616 if (S->getInit())
617 Visit(S->getInit());
618 RegionCounter Cnt(PGO, S);
619 BreakContinueStack.push_back(BreakContinue());
620 // Visit the body region first. (This is basically the same as a while
621 // loop; see further comments in VisitWhileStmt.)
622 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000623 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000624 Visit(S->getBody());
625 Cnt.adjustForControlFlow();
626
627 // The increment is essentially part of the body but it needs to include
628 // the count for all the continue statements.
629 if (S->getInc()) {
630 Cnt.setCurrentRegionCount(PGO.getCurrentRegionCount() +
631 BreakContinueStack.back().ContinueCount);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000632 CountMap[S->getInc()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000633 Visit(S->getInc());
634 Cnt.adjustForControlFlow();
635 }
636
637 BreakContinue BC = BreakContinueStack.pop_back_val();
638
639 // ...then go back and propagate counts through the condition.
640 if (S->getCond()) {
641 Cnt.setCurrentRegionCount(Cnt.getParentCount() +
642 Cnt.getAdjustedCount() +
643 BC.ContinueCount);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000644 CountMap[S->getCond()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000645 Visit(S->getCond());
646 Cnt.adjustForControlFlow();
647 }
648 Cnt.applyAdjustmentsToRegion(BC.BreakCount + BC.ContinueCount);
649 RecordNextStmtCount = true;
650 }
651
652 void VisitCXXForRangeStmt(const CXXForRangeStmt *S) {
653 RecordStmtCount(S);
654 Visit(S->getRangeStmt());
655 Visit(S->getBeginEndStmt());
656 RegionCounter Cnt(PGO, S);
657 BreakContinueStack.push_back(BreakContinue());
658 // Visit the body region first. (This is basically the same as a while
659 // loop; see further comments in VisitWhileStmt.)
660 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000661 CountMap[S->getLoopVarStmt()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000662 Visit(S->getLoopVarStmt());
663 Visit(S->getBody());
664 Cnt.adjustForControlFlow();
665
666 // The increment is essentially part of the body but it needs to include
667 // the count for all the continue statements.
668 Cnt.setCurrentRegionCount(PGO.getCurrentRegionCount() +
669 BreakContinueStack.back().ContinueCount);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000670 CountMap[S->getInc()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000671 Visit(S->getInc());
672 Cnt.adjustForControlFlow();
673
674 BreakContinue BC = BreakContinueStack.pop_back_val();
675
676 // ...then go back and propagate counts through the condition.
677 Cnt.setCurrentRegionCount(Cnt.getParentCount() +
678 Cnt.getAdjustedCount() +
679 BC.ContinueCount);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000680 CountMap[S->getCond()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000681 Visit(S->getCond());
682 Cnt.adjustForControlFlow();
683 Cnt.applyAdjustmentsToRegion(BC.BreakCount + BC.ContinueCount);
684 RecordNextStmtCount = true;
685 }
686
687 void VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S) {
688 RecordStmtCount(S);
689 Visit(S->getElement());
690 RegionCounter Cnt(PGO, S);
691 BreakContinueStack.push_back(BreakContinue());
692 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000693 CountMap[S->getBody()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000694 Visit(S->getBody());
695 BreakContinue BC = BreakContinueStack.pop_back_val();
696 Cnt.adjustForControlFlow();
697 Cnt.applyAdjustmentsToRegion(BC.BreakCount + BC.ContinueCount);
698 RecordNextStmtCount = true;
699 }
700
701 void VisitSwitchStmt(const SwitchStmt *S) {
702 RecordStmtCount(S);
703 Visit(S->getCond());
704 PGO.setCurrentRegionUnreachable();
705 BreakContinueStack.push_back(BreakContinue());
706 Visit(S->getBody());
707 // If the switch is inside a loop, add the continue counts.
708 BreakContinue BC = BreakContinueStack.pop_back_val();
709 if (!BreakContinueStack.empty())
710 BreakContinueStack.back().ContinueCount += BC.ContinueCount;
711 RegionCounter ExitCnt(PGO, S);
712 ExitCnt.beginRegion();
713 RecordNextStmtCount = true;
714 }
715
716 void VisitCaseStmt(const CaseStmt *S) {
717 RecordNextStmtCount = false;
718 RegionCounter Cnt(PGO, S);
719 Cnt.beginRegion(/*AddIncomingFallThrough=*/true);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000720 CountMap[S] = Cnt.getCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000721 RecordNextStmtCount = true;
722 Visit(S->getSubStmt());
723 }
724
725 void VisitDefaultStmt(const DefaultStmt *S) {
726 RecordNextStmtCount = false;
727 RegionCounter Cnt(PGO, S);
728 Cnt.beginRegion(/*AddIncomingFallThrough=*/true);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000729 CountMap[S] = Cnt.getCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000730 RecordNextStmtCount = true;
731 Visit(S->getSubStmt());
732 }
733
734 void VisitIfStmt(const IfStmt *S) {
735 RecordStmtCount(S);
736 RegionCounter Cnt(PGO, S);
737 Visit(S->getCond());
738
739 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000740 CountMap[S->getThen()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000741 Visit(S->getThen());
742 Cnt.adjustForControlFlow();
743
744 if (S->getElse()) {
745 Cnt.beginElseRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000746 CountMap[S->getElse()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000747 Visit(S->getElse());
748 Cnt.adjustForControlFlow();
749 }
750 Cnt.applyAdjustmentsToRegion(0);
751 RecordNextStmtCount = true;
752 }
753
754 void VisitCXXTryStmt(const CXXTryStmt *S) {
755 RecordStmtCount(S);
756 Visit(S->getTryBlock());
757 for (unsigned I = 0, E = S->getNumHandlers(); I < E; ++I)
758 Visit(S->getHandler(I));
759 RegionCounter Cnt(PGO, S);
760 Cnt.beginRegion();
761 RecordNextStmtCount = true;
762 }
763
764 void VisitCXXCatchStmt(const CXXCatchStmt *S) {
765 RecordNextStmtCount = false;
766 RegionCounter Cnt(PGO, S);
767 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000768 CountMap[S] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000769 Visit(S->getHandlerBlock());
770 }
771
772 void VisitConditionalOperator(const ConditionalOperator *E) {
773 RecordStmtCount(E);
774 RegionCounter Cnt(PGO, E);
775 Visit(E->getCond());
776
777 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000778 CountMap[E->getTrueExpr()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000779 Visit(E->getTrueExpr());
780 Cnt.adjustForControlFlow();
781
782 Cnt.beginElseRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000783 CountMap[E->getFalseExpr()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000784 Visit(E->getFalseExpr());
785 Cnt.adjustForControlFlow();
786
787 Cnt.applyAdjustmentsToRegion(0);
788 RecordNextStmtCount = true;
789 }
790
791 void VisitBinLAnd(const BinaryOperator *E) {
792 RecordStmtCount(E);
793 RegionCounter Cnt(PGO, E);
794 Visit(E->getLHS());
795 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000796 CountMap[E->getRHS()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000797 Visit(E->getRHS());
798 Cnt.adjustForControlFlow();
799 Cnt.applyAdjustmentsToRegion(0);
800 RecordNextStmtCount = true;
801 }
802
803 void VisitBinLOr(const BinaryOperator *E) {
804 RecordStmtCount(E);
805 RegionCounter Cnt(PGO, E);
806 Visit(E->getLHS());
807 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000808 CountMap[E->getRHS()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000809 Visit(E->getRHS());
810 Cnt.adjustForControlFlow();
811 Cnt.applyAdjustmentsToRegion(0);
812 RecordNextStmtCount = true;
813 }
814 };
Justin Bogneref512b92014-01-06 22:27:43 +0000815}
816
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000817void CodeGenPGO::assignRegionCounters(const Decl *D, llvm::Function *Fn) {
Justin Bogneref512b92014-01-06 22:27:43 +0000818 bool InstrumentRegions = CGM.getCodeGenOpts().ProfileInstrGenerate;
Justin Bognerd66a17d2014-03-12 21:06:31 +0000819 PGOProfileData *PGOData = CGM.getPGOData();
820 if (!InstrumentRegions && !PGOData)
Justin Bogneref512b92014-01-06 22:27:43 +0000821 return;
Justin Bogneref512b92014-01-06 22:27:43 +0000822 if (!D)
823 return;
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000824 setFuncName(Fn);
Duncan P. N. Exon Smith7c414512014-03-20 22:50:08 +0000825
826 // Set the linkage for variables based on the function linkage. Usually, we
827 // want to match it, but available_externally and extern_weak both have the
828 // wrong semantics.
Duncan P. N. Exon Smith73f78622014-03-20 22:49:50 +0000829 VarLinkage = Fn->getLinkage();
Duncan P. N. Exon Smith7c414512014-03-20 22:50:08 +0000830 switch (VarLinkage) {
831 case llvm::GlobalValue::ExternalWeakLinkage:
832 VarLinkage = llvm::GlobalValue::LinkOnceAnyLinkage;
833 break;
834 case llvm::GlobalValue::AvailableExternallyLinkage:
835 VarLinkage = llvm::GlobalValue::LinkOnceODRLinkage;
836 break;
837 default:
838 break;
839 }
840
Justin Bogneref512b92014-01-06 22:27:43 +0000841 mapRegionCounters(D);
842 if (InstrumentRegions)
843 emitCounterVariables();
Justin Bognerd66a17d2014-03-12 21:06:31 +0000844 if (PGOData) {
845 loadRegionCounts(PGOData);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000846 computeRegionCounts(D);
Justin Bognerd66a17d2014-03-12 21:06:31 +0000847 applyFunctionAttributes(PGOData, Fn);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000848 }
Justin Bogneref512b92014-01-06 22:27:43 +0000849}
850
851void CodeGenPGO::mapRegionCounters(const Decl *D) {
852 RegionCounterMap = new llvm::DenseMap<const Stmt*, unsigned>();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000853 MapRegionCounters Walker(*RegionCounterMap);
Justin Bogneref512b92014-01-06 22:27:43 +0000854 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(D))
855 Walker.VisitFunctionDecl(FD);
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000856 else if (const ObjCMethodDecl *MD = dyn_cast_or_null<ObjCMethodDecl>(D))
857 Walker.VisitObjCMethodDecl(MD);
Bob Wilsonc845c002014-03-06 20:24:27 +0000858 else if (const BlockDecl *BD = dyn_cast_or_null<BlockDecl>(D))
859 Walker.VisitBlockDecl(BD);
Justin Bogneref512b92014-01-06 22:27:43 +0000860 NumRegionCounters = Walker.NextCounter;
Justin Bognerb4416f52014-03-18 21:58:06 +0000861 // FIXME: The number of counters isn't sufficient for the hash
862 FunctionHash = NumRegionCounters;
Justin Bogneref512b92014-01-06 22:27:43 +0000863}
864
Bob Wilsonbf854f02014-02-17 19:21:09 +0000865void CodeGenPGO::computeRegionCounts(const Decl *D) {
866 StmtCountMap = new llvm::DenseMap<const Stmt*, uint64_t>();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000867 ComputeRegionCounts Walker(*StmtCountMap, *this);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000868 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(D))
869 Walker.VisitFunctionDecl(FD);
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000870 else if (const ObjCMethodDecl *MD = dyn_cast_or_null<ObjCMethodDecl>(D))
871 Walker.VisitObjCMethodDecl(MD);
Bob Wilsonc845c002014-03-06 20:24:27 +0000872 else if (const BlockDecl *BD = dyn_cast_or_null<BlockDecl>(D))
873 Walker.VisitBlockDecl(BD);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000874}
875
Justin Bognerd66a17d2014-03-12 21:06:31 +0000876void CodeGenPGO::applyFunctionAttributes(PGOProfileData *PGOData,
Justin Bogner4c9c45c2014-03-12 18:14:32 +0000877 llvm::Function *Fn) {
878 if (!haveRegionCounts())
879 return;
880
Justin Bognerd66a17d2014-03-12 21:06:31 +0000881 uint64_t MaxFunctionCount = PGOData->getMaximumFunctionCount();
Justin Bogner4c9c45c2014-03-12 18:14:32 +0000882 uint64_t FunctionCount = getRegionCount(0);
883 if (FunctionCount >= (uint64_t)(0.3 * (double)MaxFunctionCount))
884 // Turn on InlineHint attribute for hot functions.
885 // FIXME: 30% is from preliminary tuning on SPEC, it may not be optimal.
886 Fn->addFnAttr(llvm::Attribute::InlineHint);
887 else if (FunctionCount <= (uint64_t)(0.01 * (double)MaxFunctionCount))
888 // Turn on Cold attribute for cold functions.
889 // FIXME: 1% is from preliminary tuning on SPEC, it may not be optimal.
890 Fn->addFnAttr(llvm::Attribute::Cold);
891}
892
Justin Bogneref512b92014-01-06 22:27:43 +0000893void CodeGenPGO::emitCounterVariables() {
894 llvm::LLVMContext &Ctx = CGM.getLLVMContext();
895 llvm::ArrayType *CounterTy = llvm::ArrayType::get(llvm::Type::getInt64Ty(Ctx),
896 NumRegionCounters);
897 RegionCounters =
Duncan P. N. Exon Smith73f78622014-03-20 22:49:50 +0000898 new llvm::GlobalVariable(CGM.getModule(), CounterTy, false, VarLinkage,
Justin Bogneref512b92014-01-06 22:27:43 +0000899 llvm::Constant::getNullValue(CounterTy),
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000900 getFuncVarName("counters"));
901 RegionCounters->setAlignment(8);
902 RegionCounters->setSection(getCountersSection(CGM));
Justin Bogneref512b92014-01-06 22:27:43 +0000903}
904
905void CodeGenPGO::emitCounterIncrement(CGBuilderTy &Builder, unsigned Counter) {
Bob Wilson749ebc72014-03-06 04:55:28 +0000906 if (!RegionCounters)
Justin Bogneref512b92014-01-06 22:27:43 +0000907 return;
908 llvm::Value *Addr =
909 Builder.CreateConstInBoundsGEP2_64(RegionCounters, 0, Counter);
910 llvm::Value *Count = Builder.CreateLoad(Addr, "pgocount");
911 Count = Builder.CreateAdd(Count, Builder.getInt64(1));
912 Builder.CreateStore(Count, Addr);
913}
914
Justin Bognerd66a17d2014-03-12 21:06:31 +0000915void CodeGenPGO::loadRegionCounts(PGOProfileData *PGOData) {
Justin Bogneref512b92014-01-06 22:27:43 +0000916 // For now, ignore the counts from the PGO data file only if the number of
917 // counters does not match. This could be tightened down in the future to
918 // ignore counts when the input changes in various ways, e.g., by comparing a
919 // hash value based on some characteristics of the input.
920 RegionCounts = new std::vector<uint64_t>();
Justin Bognerb4416f52014-03-18 21:58:06 +0000921 uint64_t Hash;
922 if (PGOData->getFunctionCounts(getFuncName(), Hash, *RegionCounts) ||
923 Hash != FunctionHash || RegionCounts->size() != NumRegionCounters) {
Justin Bogneref512b92014-01-06 22:27:43 +0000924 delete RegionCounts;
925 RegionCounts = 0;
926 }
927}
928
929void CodeGenPGO::destroyRegionCounters() {
930 if (RegionCounterMap != 0)
931 delete RegionCounterMap;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000932 if (StmtCountMap != 0)
933 delete StmtCountMap;
Justin Bogneref512b92014-01-06 22:27:43 +0000934 if (RegionCounts != 0)
935 delete RegionCounts;
936}
937
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000938/// \brief Calculate what to divide by to scale weights.
939///
940/// Given the maximum weight, calculate a divisor that will scale all the
941/// weights to strictly less than UINT32_MAX.
942static uint64_t calculateWeightScale(uint64_t MaxWeight) {
943 return MaxWeight < UINT32_MAX ? 1 : MaxWeight / UINT32_MAX + 1;
944}
945
946/// \brief Scale an individual branch weight (and add 1).
947///
948/// Scale a 64-bit weight down to 32-bits using \c Scale.
949///
950/// According to Laplace's Rule of Succession, it is better to compute the
951/// weight based on the count plus 1, so universally add 1 to the value.
952///
953/// \pre \c Scale was calculated by \a calculateWeightScale() with a weight no
954/// greater than \c Weight.
955static uint32_t scaleBranchWeight(uint64_t Weight, uint64_t Scale) {
956 assert(Scale && "scale by 0?");
957 uint64_t Scaled = Weight / Scale + 1;
958 assert(Scaled <= UINT32_MAX && "overflow 32-bits");
959 return Scaled;
960}
961
Justin Bogneref512b92014-01-06 22:27:43 +0000962llvm::MDNode *CodeGenPGO::createBranchWeights(uint64_t TrueCount,
963 uint64_t FalseCount) {
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000964 // Check for empty weights.
Justin Bogneref512b92014-01-06 22:27:43 +0000965 if (!TrueCount && !FalseCount)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000966 return nullptr;
Justin Bogneref512b92014-01-06 22:27:43 +0000967
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000968 // Calculate how to scale down to 32-bits.
969 uint64_t Scale = calculateWeightScale(std::max(TrueCount, FalseCount));
970
Justin Bogneref512b92014-01-06 22:27:43 +0000971 llvm::MDBuilder MDHelper(CGM.getLLVMContext());
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000972 return MDHelper.createBranchWeights(scaleBranchWeight(TrueCount, Scale),
973 scaleBranchWeight(FalseCount, Scale));
Justin Bogneref512b92014-01-06 22:27:43 +0000974}
975
Bob Wilson95a27b02014-02-17 19:20:59 +0000976llvm::MDNode *CodeGenPGO::createBranchWeights(ArrayRef<uint64_t> Weights) {
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000977 // We need at least two elements to create meaningful weights.
978 if (Weights.size() < 2)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000979 return nullptr;
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000980
981 // Calculate how to scale down to 32-bits.
982 uint64_t Scale = calculateWeightScale(*std::max_element(Weights.begin(),
983 Weights.end()));
984
Justin Bogneref512b92014-01-06 22:27:43 +0000985 SmallVector<uint32_t, 16> ScaledWeights;
986 ScaledWeights.reserve(Weights.size());
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000987 for (uint64_t W : Weights)
988 ScaledWeights.push_back(scaleBranchWeight(W, Scale));
989
990 llvm::MDBuilder MDHelper(CGM.getLLVMContext());
Justin Bogneref512b92014-01-06 22:27:43 +0000991 return MDHelper.createBranchWeights(ScaledWeights);
992}
Bob Wilsonbf854f02014-02-17 19:21:09 +0000993
994llvm::MDNode *CodeGenPGO::createLoopWeights(const Stmt *Cond,
995 RegionCounter &Cnt) {
996 if (!haveRegionCounts())
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000997 return nullptr;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000998 uint64_t LoopCount = Cnt.getCount();
999 uint64_t CondCount = 0;
1000 bool Found = getStmtCount(Cond, CondCount);
1001 assert(Found && "missing expected loop condition count");
1002 (void)Found;
1003 if (CondCount == 0)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +00001004 return nullptr;
Bob Wilsonbf854f02014-02-17 19:21:09 +00001005 return createBranchWeights(LoopCount,
1006 std::max(CondCount, LoopCount) - LoopCount);
1007}