blob: ea069cebfe7af8866449abbca56d45ad001ad92d [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"
Duncan P. N. Exon Smithe9624292014-04-10 23:37:34 +000018#include "llvm/Config/config.h" // for strtoull()/strtoul() 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;
Duncan P. N. Exon Smithe9624292014-04-10 23:37:34 +000072 unsigned NumCounters = strtoul(++CurPtr, &EndPtr, 10);
Justin Bognerd66a17d2014-03-12 21:06:31 +000073 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.
Duncan P. N. Exon Smithe9624292014-04-10 23:37:34 +000080 uint64_t Count = strtoull(CurPtr, &EndPtr, 10);
Justin Bognerd66a17d2014-03-12 21:06:31 +000081 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.
Duncan P. N. Exon Smithe9624292014-04-10 23:37:34 +0000122 FuncHash = strtoull(++CurPtr, &EndPtr, 10);
Justin Bognerb4416f52014-03-18 21:58:06 +0000123 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.
Duncan P. N. Exon Smithe9624292014-04-10 23:37:34 +0000128 unsigned NumCounters = strtoul(++CurPtr, &EndPtr, 10);
Justin Bognerd66a17d2014-03-12 21:06:31 +0000129 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.
Duncan P. N. Exon Smithe9624292014-04-10 23:37:34 +0000137 uint64_t Count = strtoull(CurPtr, &EndPtr, 10);
Justin Bognerd66a17d2014-03-12 21:06:31 +0000138 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 Smith1b67cfd2014-03-26 19:26:05 +0000165 PrefixedFuncName.reset(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 Smith1b67cfd2014-03-26 19:26:05 +0000173 PrefixedFuncName.reset(new std::string(CGM.getCodeGenOpts().MainFileName));
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000174 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
Justin Bognerf2ea7752014-04-10 18:13:13 +0000297 assert(CGM.getModule().getFunction("__llvm_profile_init") == nullptr &&
298 "profile initialization already emitted");
Justin Bogneref512b92014-01-06 22:27:43 +0000299
Duncan P. N. Exon Smith5188e912014-03-20 19:23:46 +0000300 // Get the function to call at initialization.
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000301 llvm::Constant *RegisterF = getRegisterFunc(CGM);
Duncan P. N. Exon Smith5188e912014-03-20 19:23:46 +0000302 if (!RegisterF)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000303 return nullptr;
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000304
305 // Create the initialization function.
306 auto *VoidTy = llvm::Type::getVoidTy(CGM.getLLVMContext());
307 auto *F = llvm::Function::Create(llvm::FunctionType::get(VoidTy, false),
308 llvm::GlobalValue::InternalLinkage,
Duncan P. N. Exon Smitha7807632014-03-20 20:00:41 +0000309 "__llvm_profile_init", &CGM.getModule());
Justin Bogneref512b92014-01-06 22:27:43 +0000310 F->setUnnamedAddr(true);
Justin Bogneref512b92014-01-06 22:27:43 +0000311 F->addFnAttr(llvm::Attribute::NoInline);
312 if (CGM.getCodeGenOpts().DisableRedZone)
313 F->addFnAttr(llvm::Attribute::NoRedZone);
314
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000315 // Add the basic block and the necessary calls.
316 CGBuilderTy Builder(llvm::BasicBlock::Create(CGM.getLLVMContext(), "", F));
Duncan P. N. Exon Smith5188e912014-03-20 19:23:46 +0000317 Builder.CreateCall(RegisterF);
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000318 Builder.CreateRetVoid();
Justin Bogneref512b92014-01-06 22:27:43 +0000319
320 return F;
321}
322
323namespace {
324 /// A StmtVisitor that fills a map of statements to PGO counters.
325 struct MapRegionCounters : public ConstStmtVisitor<MapRegionCounters> {
326 /// The next counter value to assign.
327 unsigned NextCounter;
328 /// The map of statements to counters.
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000329 llvm::DenseMap<const Stmt *, unsigned> &CounterMap;
Justin Bogneref512b92014-01-06 22:27:43 +0000330
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000331 MapRegionCounters(llvm::DenseMap<const Stmt *, unsigned> &CounterMap)
332 : NextCounter(0), CounterMap(CounterMap) {}
Justin Bogneref512b92014-01-06 22:27:43 +0000333
334 void VisitChildren(const Stmt *S) {
335 for (Stmt::const_child_range I = S->children(); I; ++I)
336 if (*I)
337 this->Visit(*I);
338 }
339 void VisitStmt(const Stmt *S) { VisitChildren(S); }
340
Justin Bognerea278c32014-01-07 00:20:28 +0000341 /// Assign a counter to track entry to the function body.
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000342 void VisitFunctionDecl(const FunctionDecl *D) {
343 CounterMap[D->getBody()] = NextCounter++;
344 Visit(D->getBody());
Justin Bogneref512b92014-01-06 22:27:43 +0000345 }
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000346 void VisitObjCMethodDecl(const ObjCMethodDecl *D) {
347 CounterMap[D->getBody()] = NextCounter++;
348 Visit(D->getBody());
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000349 }
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000350 void VisitBlockDecl(const BlockDecl *D) {
351 CounterMap[D->getBody()] = NextCounter++;
352 Visit(D->getBody());
Bob Wilsonc845c002014-03-06 20:24:27 +0000353 }
Justin Bognerea278c32014-01-07 00:20:28 +0000354 /// Assign a counter to track the block following a label.
Justin Bogneref512b92014-01-06 22:27:43 +0000355 void VisitLabelStmt(const LabelStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000356 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000357 Visit(S->getSubStmt());
358 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000359 /// Assign a counter for the body of a while loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000360 void VisitWhileStmt(const WhileStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000361 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000362 Visit(S->getCond());
363 Visit(S->getBody());
364 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000365 /// Assign a counter for the body of a do-while loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000366 void VisitDoStmt(const DoStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000367 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000368 Visit(S->getBody());
369 Visit(S->getCond());
370 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000371 /// Assign a counter for the body of a for loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000372 void VisitForStmt(const ForStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000373 CounterMap[S] = NextCounter++;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000374 if (S->getInit())
375 Visit(S->getInit());
Justin Bogneref512b92014-01-06 22:27:43 +0000376 const Expr *E;
377 if ((E = S->getCond()))
378 Visit(E);
Justin Bogneref512b92014-01-06 22:27:43 +0000379 if ((E = S->getInc()))
380 Visit(E);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000381 Visit(S->getBody());
Justin Bogneref512b92014-01-06 22:27:43 +0000382 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000383 /// Assign a counter for the body of a for-range loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000384 void VisitCXXForRangeStmt(const CXXForRangeStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000385 CounterMap[S] = NextCounter++;
Bob Wilsonbf854f02014-02-17 19:21:09 +0000386 Visit(S->getRangeStmt());
387 Visit(S->getBeginEndStmt());
388 Visit(S->getCond());
389 Visit(S->getLoopVarStmt());
Justin Bogneref512b92014-01-06 22:27:43 +0000390 Visit(S->getBody());
Bob Wilsonbf854f02014-02-17 19:21:09 +0000391 Visit(S->getInc());
Justin Bogneref512b92014-01-06 22:27:43 +0000392 }
Bob Wilsonbf854f02014-02-17 19:21:09 +0000393 /// Assign a counter for the body of a for-collection loop.
Justin Bogneref512b92014-01-06 22:27:43 +0000394 void VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000395 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000396 Visit(S->getElement());
397 Visit(S->getBody());
398 }
399 /// Assign a counter for the exit block of the switch statement.
400 void VisitSwitchStmt(const SwitchStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000401 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000402 Visit(S->getCond());
403 Visit(S->getBody());
404 }
405 /// Assign a counter for a particular case in a switch. This counts jumps
406 /// from the switch header as well as fallthrough from the case before this
407 /// one.
408 void VisitCaseStmt(const CaseStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000409 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000410 Visit(S->getSubStmt());
411 }
412 /// Assign a counter for the default case of a switch statement. The count
413 /// is the number of branches from the loop header to the default, and does
414 /// not include fallthrough from previous cases. If we have multiple
415 /// conditional branch blocks from the switch instruction to the default
416 /// block, as with large GNU case ranges, this is the counter for the last
417 /// edge in that series, rather than the first.
418 void VisitDefaultStmt(const DefaultStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000419 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000420 Visit(S->getSubStmt());
421 }
422 /// Assign a counter for the "then" part of an if statement. The count for
423 /// the "else" part, if it exists, will be calculated from this counter.
424 void VisitIfStmt(const IfStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000425 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000426 Visit(S->getCond());
427 Visit(S->getThen());
428 if (S->getElse())
429 Visit(S->getElse());
430 }
431 /// Assign a counter for the continuation block of a C++ try statement.
432 void VisitCXXTryStmt(const CXXTryStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000433 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000434 Visit(S->getTryBlock());
435 for (unsigned I = 0, E = S->getNumHandlers(); I < E; ++I)
436 Visit(S->getHandler(I));
437 }
438 /// Assign a counter for a catch statement's handler block.
439 void VisitCXXCatchStmt(const CXXCatchStmt *S) {
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000440 CounterMap[S] = NextCounter++;
Justin Bogneref512b92014-01-06 22:27:43 +0000441 Visit(S->getHandlerBlock());
442 }
443 /// Assign a counter for the "true" part of a conditional operator. The
444 /// count in the "false" part will be calculated from this counter.
Justin Bogner53c55d92014-04-11 06:10:10 +0000445 void VisitAbstractConditionalOperator(
446 const AbstractConditionalOperator *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
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000506 void VisitFunctionDecl(const FunctionDecl *D) {
507 RegionCounter Cnt(PGO, D->getBody());
Bob Wilsonbf854f02014-02-17 19:21:09 +0000508 Cnt.beginRegion();
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000509 CountMap[D->getBody()] = PGO.getCurrentRegionCount();
510 Visit(D->getBody());
Bob Wilsonbf854f02014-02-17 19:21:09 +0000511 }
512
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000513 void VisitObjCMethodDecl(const ObjCMethodDecl *D) {
514 RegionCounter Cnt(PGO, D->getBody());
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000515 Cnt.beginRegion();
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000516 CountMap[D->getBody()] = PGO.getCurrentRegionCount();
517 Visit(D->getBody());
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000518 }
519
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000520 void VisitBlockDecl(const BlockDecl *D) {
521 RegionCounter Cnt(PGO, D->getBody());
Bob Wilsonc845c002014-03-06 20:24:27 +0000522 Cnt.beginRegion();
Duncan P. N. Exon Smith4a2f5ae2014-04-10 23:37:36 +0000523 CountMap[D->getBody()] = PGO.getCurrentRegionCount();
524 Visit(D->getBody());
Bob Wilsonc845c002014-03-06 20:24:27 +0000525 }
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
Justin Bogner53c55d92014-04-11 06:10:10 +0000772 void VisitAbstractConditionalOperator(
773 const AbstractConditionalOperator *E) {
Bob Wilsonbf854f02014-02-17 19:21:09 +0000774 RecordStmtCount(E);
775 RegionCounter Cnt(PGO, E);
776 Visit(E->getCond());
777
778 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000779 CountMap[E->getTrueExpr()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000780 Visit(E->getTrueExpr());
781 Cnt.adjustForControlFlow();
782
783 Cnt.beginElseRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000784 CountMap[E->getFalseExpr()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000785 Visit(E->getFalseExpr());
786 Cnt.adjustForControlFlow();
787
788 Cnt.applyAdjustmentsToRegion(0);
789 RecordNextStmtCount = true;
790 }
791
792 void VisitBinLAnd(const BinaryOperator *E) {
793 RecordStmtCount(E);
794 RegionCounter Cnt(PGO, E);
795 Visit(E->getLHS());
796 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000797 CountMap[E->getRHS()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000798 Visit(E->getRHS());
799 Cnt.adjustForControlFlow();
800 Cnt.applyAdjustmentsToRegion(0);
801 RecordNextStmtCount = true;
802 }
803
804 void VisitBinLOr(const BinaryOperator *E) {
805 RecordStmtCount(E);
806 RegionCounter Cnt(PGO, E);
807 Visit(E->getLHS());
808 Cnt.beginRegion();
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000809 CountMap[E->getRHS()] = PGO.getCurrentRegionCount();
Bob Wilsonbf854f02014-02-17 19:21:09 +0000810 Visit(E->getRHS());
811 Cnt.adjustForControlFlow();
812 Cnt.applyAdjustmentsToRegion(0);
813 RecordNextStmtCount = true;
814 }
815 };
Justin Bogneref512b92014-01-06 22:27:43 +0000816}
817
Duncan P. N. Exon Smithd971cd12014-03-28 17:53:22 +0000818static void emitRuntimeHook(CodeGenModule &CGM) {
Duncan P. N. Exon Smith3fefedb2014-04-11 00:43:16 +0000819 const char *const RuntimeVarName = "__llvm_profile_runtime";
820 const char *const RuntimeUserName = "__llvm_profile_runtime_user";
Duncan P. N. Exon Smithd971cd12014-03-28 17:53:22 +0000821 if (CGM.getModule().getGlobalVariable(RuntimeVarName))
822 return;
823
824 // Declare the runtime hook.
825 llvm::LLVMContext &Ctx = CGM.getLLVMContext();
826 auto *Int32Ty = llvm::Type::getInt32Ty(Ctx);
827 auto *Var = new llvm::GlobalVariable(CGM.getModule(), Int32Ty, false,
828 llvm::GlobalValue::ExternalLinkage,
829 nullptr, RuntimeVarName);
830
831 // Make a function that uses it.
832 auto *User = llvm::Function::Create(llvm::FunctionType::get(Int32Ty, false),
833 llvm::GlobalValue::LinkOnceODRLinkage,
834 RuntimeUserName, &CGM.getModule());
835 User->addFnAttr(llvm::Attribute::NoInline);
836 if (CGM.getCodeGenOpts().DisableRedZone)
837 User->addFnAttr(llvm::Attribute::NoRedZone);
838 CGBuilderTy Builder(llvm::BasicBlock::Create(CGM.getLLVMContext(), "", User));
839 auto *Load = Builder.CreateLoad(Var);
840 Builder.CreateRet(Load);
841
842 // Create a use of the function. Now the definition of the runtime variable
843 // should get pulled in, along with any static initializears.
844 CGM.addUsedGlobal(User);
845}
846
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000847void CodeGenPGO::assignRegionCounters(const Decl *D, llvm::Function *Fn) {
Justin Bogneref512b92014-01-06 22:27:43 +0000848 bool InstrumentRegions = CGM.getCodeGenOpts().ProfileInstrGenerate;
Justin Bognerd66a17d2014-03-12 21:06:31 +0000849 PGOProfileData *PGOData = CGM.getPGOData();
850 if (!InstrumentRegions && !PGOData)
Justin Bogneref512b92014-01-06 22:27:43 +0000851 return;
Justin Bogneref512b92014-01-06 22:27:43 +0000852 if (!D)
853 return;
Bob Wilsonda1ebed2014-03-06 04:55:41 +0000854 setFuncName(Fn);
Duncan P. N. Exon Smith7c414512014-03-20 22:50:08 +0000855
856 // Set the linkage for variables based on the function linkage. Usually, we
857 // want to match it, but available_externally and extern_weak both have the
858 // wrong semantics.
Duncan P. N. Exon Smith73f78622014-03-20 22:49:50 +0000859 VarLinkage = Fn->getLinkage();
Duncan P. N. Exon Smith7c414512014-03-20 22:50:08 +0000860 switch (VarLinkage) {
861 case llvm::GlobalValue::ExternalWeakLinkage:
862 VarLinkage = llvm::GlobalValue::LinkOnceAnyLinkage;
863 break;
864 case llvm::GlobalValue::AvailableExternallyLinkage:
865 VarLinkage = llvm::GlobalValue::LinkOnceODRLinkage;
866 break;
867 default:
868 break;
869 }
870
Justin Bogneref512b92014-01-06 22:27:43 +0000871 mapRegionCounters(D);
Duncan P. N. Exon Smithd971cd12014-03-28 17:53:22 +0000872 if (InstrumentRegions) {
873 emitRuntimeHook(CGM);
Justin Bogneref512b92014-01-06 22:27:43 +0000874 emitCounterVariables();
Duncan P. N. Exon Smithd971cd12014-03-28 17:53:22 +0000875 }
Justin Bognerd66a17d2014-03-12 21:06:31 +0000876 if (PGOData) {
877 loadRegionCounts(PGOData);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000878 computeRegionCounts(D);
Justin Bognerd66a17d2014-03-12 21:06:31 +0000879 applyFunctionAttributes(PGOData, Fn);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000880 }
Justin Bogneref512b92014-01-06 22:27:43 +0000881}
882
883void CodeGenPGO::mapRegionCounters(const Decl *D) {
Duncan P. N. Exon Smith1b67cfd2014-03-26 19:26:05 +0000884 RegionCounterMap.reset(new llvm::DenseMap<const Stmt *, unsigned>);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000885 MapRegionCounters Walker(*RegionCounterMap);
Justin Bogneref512b92014-01-06 22:27:43 +0000886 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(D))
887 Walker.VisitFunctionDecl(FD);
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000888 else if (const ObjCMethodDecl *MD = dyn_cast_or_null<ObjCMethodDecl>(D))
889 Walker.VisitObjCMethodDecl(MD);
Bob Wilsonc845c002014-03-06 20:24:27 +0000890 else if (const BlockDecl *BD = dyn_cast_or_null<BlockDecl>(D))
891 Walker.VisitBlockDecl(BD);
Justin Bogneref512b92014-01-06 22:27:43 +0000892 NumRegionCounters = Walker.NextCounter;
Justin Bognerb4416f52014-03-18 21:58:06 +0000893 // FIXME: The number of counters isn't sufficient for the hash
894 FunctionHash = NumRegionCounters;
Justin Bogneref512b92014-01-06 22:27:43 +0000895}
896
Bob Wilsonbf854f02014-02-17 19:21:09 +0000897void CodeGenPGO::computeRegionCounts(const Decl *D) {
Duncan P. N. Exon Smith1b67cfd2014-03-26 19:26:05 +0000898 StmtCountMap.reset(new llvm::DenseMap<const Stmt *, uint64_t>);
Duncan P. N. Exon Smith3586be72014-03-26 19:26:02 +0000899 ComputeRegionCounts Walker(*StmtCountMap, *this);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000900 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(D))
901 Walker.VisitFunctionDecl(FD);
Bob Wilson5ec8fe12014-03-06 06:10:02 +0000902 else if (const ObjCMethodDecl *MD = dyn_cast_or_null<ObjCMethodDecl>(D))
903 Walker.VisitObjCMethodDecl(MD);
Bob Wilsonc845c002014-03-06 20:24:27 +0000904 else if (const BlockDecl *BD = dyn_cast_or_null<BlockDecl>(D))
905 Walker.VisitBlockDecl(BD);
Bob Wilsonbf854f02014-02-17 19:21:09 +0000906}
907
Justin Bognerd66a17d2014-03-12 21:06:31 +0000908void CodeGenPGO::applyFunctionAttributes(PGOProfileData *PGOData,
Justin Bogner4c9c45c2014-03-12 18:14:32 +0000909 llvm::Function *Fn) {
910 if (!haveRegionCounts())
911 return;
912
Justin Bognerd66a17d2014-03-12 21:06:31 +0000913 uint64_t MaxFunctionCount = PGOData->getMaximumFunctionCount();
Justin Bogner4c9c45c2014-03-12 18:14:32 +0000914 uint64_t FunctionCount = getRegionCount(0);
915 if (FunctionCount >= (uint64_t)(0.3 * (double)MaxFunctionCount))
916 // Turn on InlineHint attribute for hot functions.
917 // FIXME: 30% is from preliminary tuning on SPEC, it may not be optimal.
918 Fn->addFnAttr(llvm::Attribute::InlineHint);
919 else if (FunctionCount <= (uint64_t)(0.01 * (double)MaxFunctionCount))
920 // Turn on Cold attribute for cold functions.
921 // FIXME: 1% is from preliminary tuning on SPEC, it may not be optimal.
922 Fn->addFnAttr(llvm::Attribute::Cold);
923}
924
Justin Bogneref512b92014-01-06 22:27:43 +0000925void CodeGenPGO::emitCounterVariables() {
926 llvm::LLVMContext &Ctx = CGM.getLLVMContext();
927 llvm::ArrayType *CounterTy = llvm::ArrayType::get(llvm::Type::getInt64Ty(Ctx),
928 NumRegionCounters);
929 RegionCounters =
Duncan P. N. Exon Smith73f78622014-03-20 22:49:50 +0000930 new llvm::GlobalVariable(CGM.getModule(), CounterTy, false, VarLinkage,
Justin Bogneref512b92014-01-06 22:27:43 +0000931 llvm::Constant::getNullValue(CounterTy),
Duncan P. N. Exon Smith2fe531c2014-03-17 21:18:30 +0000932 getFuncVarName("counters"));
933 RegionCounters->setAlignment(8);
934 RegionCounters->setSection(getCountersSection(CGM));
Justin Bogneref512b92014-01-06 22:27:43 +0000935}
936
937void CodeGenPGO::emitCounterIncrement(CGBuilderTy &Builder, unsigned Counter) {
Bob Wilson749ebc72014-03-06 04:55:28 +0000938 if (!RegionCounters)
Justin Bogneref512b92014-01-06 22:27:43 +0000939 return;
940 llvm::Value *Addr =
941 Builder.CreateConstInBoundsGEP2_64(RegionCounters, 0, Counter);
942 llvm::Value *Count = Builder.CreateLoad(Addr, "pgocount");
943 Count = Builder.CreateAdd(Count, Builder.getInt64(1));
944 Builder.CreateStore(Count, Addr);
945}
946
Justin Bognerd66a17d2014-03-12 21:06:31 +0000947void CodeGenPGO::loadRegionCounts(PGOProfileData *PGOData) {
Justin Bogneref512b92014-01-06 22:27:43 +0000948 // For now, ignore the counts from the PGO data file only if the number of
949 // counters does not match. This could be tightened down in the future to
950 // ignore counts when the input changes in various ways, e.g., by comparing a
951 // hash value based on some characteristics of the input.
Duncan P. N. Exon Smith1b67cfd2014-03-26 19:26:05 +0000952 RegionCounts.reset(new std::vector<uint64_t>);
Justin Bognerb4416f52014-03-18 21:58:06 +0000953 uint64_t Hash;
954 if (PGOData->getFunctionCounts(getFuncName(), Hash, *RegionCounts) ||
Duncan P. N. Exon Smith1b67cfd2014-03-26 19:26:05 +0000955 Hash != FunctionHash || RegionCounts->size() != NumRegionCounters)
956 RegionCounts.reset();
Justin Bogneref512b92014-01-06 22:27:43 +0000957}
958
959void CodeGenPGO::destroyRegionCounters() {
Duncan P. N. Exon Smith1b67cfd2014-03-26 19:26:05 +0000960 RegionCounterMap.reset();
961 StmtCountMap.reset();
962 RegionCounts.reset();
Justin Bogneref512b92014-01-06 22:27:43 +0000963}
964
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000965/// \brief Calculate what to divide by to scale weights.
966///
967/// Given the maximum weight, calculate a divisor that will scale all the
968/// weights to strictly less than UINT32_MAX.
969static uint64_t calculateWeightScale(uint64_t MaxWeight) {
970 return MaxWeight < UINT32_MAX ? 1 : MaxWeight / UINT32_MAX + 1;
971}
972
973/// \brief Scale an individual branch weight (and add 1).
974///
975/// Scale a 64-bit weight down to 32-bits using \c Scale.
976///
977/// According to Laplace's Rule of Succession, it is better to compute the
978/// weight based on the count plus 1, so universally add 1 to the value.
979///
980/// \pre \c Scale was calculated by \a calculateWeightScale() with a weight no
981/// greater than \c Weight.
982static uint32_t scaleBranchWeight(uint64_t Weight, uint64_t Scale) {
983 assert(Scale && "scale by 0?");
984 uint64_t Scaled = Weight / Scale + 1;
985 assert(Scaled <= UINT32_MAX && "overflow 32-bits");
986 return Scaled;
987}
988
Justin Bogneref512b92014-01-06 22:27:43 +0000989llvm::MDNode *CodeGenPGO::createBranchWeights(uint64_t TrueCount,
990 uint64_t FalseCount) {
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000991 // Check for empty weights.
Justin Bogneref512b92014-01-06 22:27:43 +0000992 if (!TrueCount && !FalseCount)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +0000993 return nullptr;
Justin Bogneref512b92014-01-06 22:27:43 +0000994
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000995 // Calculate how to scale down to 32-bits.
996 uint64_t Scale = calculateWeightScale(std::max(TrueCount, FalseCount));
997
Justin Bogneref512b92014-01-06 22:27:43 +0000998 llvm::MDBuilder MDHelper(CGM.getLLVMContext());
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +0000999 return MDHelper.createBranchWeights(scaleBranchWeight(TrueCount, Scale),
1000 scaleBranchWeight(FalseCount, Scale));
Justin Bogneref512b92014-01-06 22:27:43 +00001001}
1002
Bob Wilson95a27b02014-02-17 19:20:59 +00001003llvm::MDNode *CodeGenPGO::createBranchWeights(ArrayRef<uint64_t> Weights) {
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +00001004 // We need at least two elements to create meaningful weights.
1005 if (Weights.size() < 2)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +00001006 return nullptr;
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +00001007
Justin Bognerf3aefca2014-04-04 02:48:51 +00001008 // Check for empty weights.
1009 uint64_t MaxWeight = *std::max_element(Weights.begin(), Weights.end());
1010 if (MaxWeight == 0)
1011 return nullptr;
1012
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +00001013 // Calculate how to scale down to 32-bits.
Justin Bognerf3aefca2014-04-04 02:48:51 +00001014 uint64_t Scale = calculateWeightScale(MaxWeight);
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +00001015
Justin Bogneref512b92014-01-06 22:27:43 +00001016 SmallVector<uint32_t, 16> ScaledWeights;
1017 ScaledWeights.reserve(Weights.size());
Duncan P. N. Exon Smith38402dc2014-03-11 18:18:10 +00001018 for (uint64_t W : Weights)
1019 ScaledWeights.push_back(scaleBranchWeight(W, Scale));
1020
1021 llvm::MDBuilder MDHelper(CGM.getLLVMContext());
Justin Bogneref512b92014-01-06 22:27:43 +00001022 return MDHelper.createBranchWeights(ScaledWeights);
1023}
Bob Wilsonbf854f02014-02-17 19:21:09 +00001024
1025llvm::MDNode *CodeGenPGO::createLoopWeights(const Stmt *Cond,
1026 RegionCounter &Cnt) {
1027 if (!haveRegionCounts())
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +00001028 return nullptr;
Bob Wilsonbf854f02014-02-17 19:21:09 +00001029 uint64_t LoopCount = Cnt.getCount();
1030 uint64_t CondCount = 0;
1031 bool Found = getStmtCount(Cond, CondCount);
1032 assert(Found && "missing expected loop condition count");
1033 (void)Found;
1034 if (CondCount == 0)
Duncan P. N. Exon Smitha5f804a2014-03-20 18:40:55 +00001035 return nullptr;
Bob Wilsonbf854f02014-02-17 19:21:09 +00001036 return createBranchWeights(LoopCount,
1037 std::max(CondCount, LoopCount) - LoopCount);
1038}