blob: 9e1dfb6ff711426435a83f8e4ae076bd4cdc112b [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- ProfileInfoLoaderPass.cpp - LLVM Pass to load profile info ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements a concrete implementation of profiling information that
11// loads the information from a profile dump file.
12//
13//===----------------------------------------------------------------------===//
Andreas Neustifter231d7342009-09-01 19:08:51 +000014#define DEBUG_TYPE "profile-loader"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000015#include "llvm/BasicBlock.h"
16#include "llvm/InstrTypes.h"
Daniel Dunbar13021f12009-08-05 15:55:56 +000017#include "llvm/Module.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000018#include "llvm/Pass.h"
19#include "llvm/Analysis/Passes.h"
20#include "llvm/Analysis/ProfileInfo.h"
21#include "llvm/Analysis/ProfileInfoLoader.h"
22#include "llvm/Support/CommandLine.h"
Andreas Neustifter231d7342009-09-01 19:08:51 +000023#include "llvm/Support/CFG.h"
24#include "llvm/Support/Debug.h"
Chris Lattner15016622009-08-23 07:33:14 +000025#include "llvm/Support/raw_ostream.h"
Andreas Neustifter231d7342009-09-01 19:08:51 +000026#include "llvm/Support/Format.h"
27#include "llvm/ADT/Statistic.h"
28#include "llvm/ADT/SmallSet.h"
29#include <set>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000030using namespace llvm;
31
Andreas Neustifter231d7342009-09-01 19:08:51 +000032STATISTIC(NumEdgesRead, "The # of edges read.");
33
Dan Gohman089efff2008-05-13 00:00:25 +000034static cl::opt<std::string>
35ProfileInfoFilename("profile-info-file", cl::init("llvmprof.out"),
36 cl::value_desc("filename"),
37 cl::desc("Profile file loaded by -profile-loader"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000038
Dan Gohman089efff2008-05-13 00:00:25 +000039namespace {
Nick Lewycky492d06e2009-10-25 06:33:48 +000040 class LoaderPass : public ModulePass, public ProfileInfo {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000041 std::string Filename;
Andreas Neustifter231d7342009-09-01 19:08:51 +000042 std::set<Edge> SpanningTree;
43 std::set<const BasicBlock*> BBisUnvisited;
Andreas Neustifter61a788c2009-09-10 07:12:35 +000044 unsigned ReadCount;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000045 public:
46 static char ID; // Class identification, replacement for typeinfo
Dan Gohman34c280e2007-08-01 15:32:29 +000047 explicit LoaderPass(const std::string &filename = "")
Dan Gohman26f8c272008-09-04 17:05:41 +000048 : ModulePass(&ID), Filename(filename) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000049 if (filename.empty()) Filename = ProfileInfoFilename;
50 }
51
52 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
53 AU.setPreservesAll();
54 }
55
56 virtual const char *getPassName() const {
57 return "Profiling information loader";
58 }
59
Andreas Neustifter231d7342009-09-01 19:08:51 +000060 // recurseBasicBlock() - Calculates the edge weights for as much basic
61 // blocks as possbile.
62 virtual void recurseBasicBlock(const BasicBlock *BB);
Edward O'Callaghan9e974a72009-11-02 02:55:39 +000063 virtual void readEdgeOrRemember(Edge, Edge&, unsigned &, double &);
Andreas Neustifter61a788c2009-09-10 07:12:35 +000064 virtual void readEdge(ProfileInfo::Edge, std::vector<unsigned>&);
Andreas Neustifter231d7342009-09-01 19:08:51 +000065
Dan Gohmanf17a25c2007-07-18 16:29:46 +000066 /// run - Load the profile information from the specified file.
67 virtual bool runOnModule(Module &M);
68 };
Dan Gohmanf17a25c2007-07-18 16:29:46 +000069} // End of anonymous namespace
70
Dan Gohman089efff2008-05-13 00:00:25 +000071char LoaderPass::ID = 0;
72static RegisterPass<LoaderPass>
73X("profile-loader", "Load profile information from llvmprof.out", false, true);
74
75static RegisterAnalysisGroup<ProfileInfo> Y(X);
76
Dan Gohmanf17a25c2007-07-18 16:29:46 +000077ModulePass *llvm::createProfileLoaderPass() { return new LoaderPass(); }
78
79/// createProfileLoaderPass - This function returns a Pass that loads the
80/// profiling information for the module from the specified filename, making it
81/// available to the optimizers.
82Pass *llvm::createProfileLoaderPass(const std::string &Filename) {
83 return new LoaderPass(Filename);
84}
85
Andreas Neustifter231d7342009-09-01 19:08:51 +000086void LoaderPass::readEdgeOrRemember(Edge edge, Edge &tocalc,
Edward O'Callaghan9e974a72009-11-02 02:55:39 +000087 unsigned &uncalc, double &count) {
Andreas Neustifter231d7342009-09-01 19:08:51 +000088 double w;
89 if ((w = getEdgeWeight(edge)) == MissingValue) {
90 tocalc = edge;
91 uncalc++;
92 } else {
93 count+=w;
94 }
95}
96
97// recurseBasicBlock - Visits all neighbours of a block and then tries to
98// calculate the missing edge values.
99void LoaderPass::recurseBasicBlock(const BasicBlock *BB) {
100
101 // break recursion if already visited
102 if (BBisUnvisited.find(BB) == BBisUnvisited.end()) return;
103 BBisUnvisited.erase(BB);
104 if (!BB) return;
105
106 for (succ_const_iterator bbi = succ_begin(BB), bbe = succ_end(BB);
107 bbi != bbe; ++bbi) {
108 recurseBasicBlock(*bbi);
109 }
110 for (pred_const_iterator bbi = pred_begin(BB), bbe = pred_end(BB);
111 bbi != bbe; ++bbi) {
112 recurseBasicBlock(*bbi);
113 }
114
115 Edge edgetocalc;
116 unsigned uncalculated = 0;
117
118 // collect weights of all incoming and outgoing edges, rememer edges that
119 // have no value
Edward O'Callaghan9e974a72009-11-02 02:55:39 +0000120 double incount = 0;
Andreas Neustifter231d7342009-09-01 19:08:51 +0000121 SmallSet<const BasicBlock*,8> pred_visited;
122 pred_const_iterator bbi = pred_begin(BB), bbe = pred_end(BB);
123 if (bbi==bbe) {
124 readEdgeOrRemember(getEdge(0, BB),edgetocalc,uncalculated,incount);
125 }
126 for (;bbi != bbe; ++bbi) {
127 if (pred_visited.insert(*bbi)) {
128 readEdgeOrRemember(getEdge(*bbi, BB),edgetocalc,uncalculated,incount);
129 }
130 }
131
Edward O'Callaghan9e974a72009-11-02 02:55:39 +0000132 double outcount = 0;
Andreas Neustifter231d7342009-09-01 19:08:51 +0000133 SmallSet<const BasicBlock*,8> succ_visited;
134 succ_const_iterator sbbi = succ_begin(BB), sbbe = succ_end(BB);
135 if (sbbi==sbbe) {
136 readEdgeOrRemember(getEdge(BB, 0),edgetocalc,uncalculated,outcount);
137 }
138 for (;sbbi != sbbe; ++sbbi) {
139 if (succ_visited.insert(*sbbi)) {
140 readEdgeOrRemember(getEdge(BB, *sbbi),edgetocalc,uncalculated,outcount);
141 }
142 }
143
144 // if exactly one edge weight was missing, calculate it and remove it from
145 // spanning tree
146 if (uncalculated == 1) {
147 if (incount < outcount) {
148 EdgeInformation[BB->getParent()][edgetocalc] = outcount-incount;
149 } else {
150 EdgeInformation[BB->getParent()][edgetocalc] = incount-outcount;
151 }
152 DEBUG(errs() << "--Calc Edge Counter for " << edgetocalc << ": "
153 << format("%g", getEdgeWeight(edgetocalc)) << "\n");
154 SpanningTree.erase(edgetocalc);
155 }
156}
157
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000158void LoaderPass::readEdge(ProfileInfo::Edge e,
159 std::vector<unsigned> &ECs) {
160 if (ReadCount < ECs.size()) {
161 double weight = ECs[ReadCount++];
Andreas Neustifterec139a02009-09-16 11:35:50 +0000162 if (weight != ProfileInfoLoader::Uncounted) {
163 // Here the data realm changes from the unsigned of the file to the
164 // double of the ProfileInfo. This conversion is save because we know
165 // that everything thats representable in unsinged is also representable
166 // in double.
167 EdgeInformation[getFunction(e)][e] += (double)weight;
168
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000169 DEBUG(errs() << "--Read Edge Counter for " << e
170 << " (# "<< (ReadCount-1) << "): "
171 << (unsigned)getEdgeWeight(e) << "\n");
172 } else {
173 // This happens only if reading optimal profiling information, not when
174 // reading regular profiling information.
175 SpanningTree.insert(e);
176 }
Andreas Neustifter231d7342009-09-01 19:08:51 +0000177 }
178}
179
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000180bool LoaderPass::runOnModule(Module &M) {
181 ProfileInfoLoader PIL("profile-loader", Filename, M);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000182
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000183 EdgeInformation.clear();
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000184 std::vector<unsigned> Counters = PIL.getRawEdgeCounts();
185 if (Counters.size() > 0) {
186 ReadCount = 0;
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000187 for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
188 if (F->isDeclaration()) continue;
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000189 DEBUG(errs()<<"Working on "<<F->getNameStr()<<"\n");
190 readEdge(getEdge(0,&F->getEntryBlock()), Counters);
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000191 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) {
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000192 TerminatorInst *TI = BB->getTerminator();
193 for (unsigned s = 0, e = TI->getNumSuccessors(); s != e; ++s) {
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000194 readEdge(getEdge(BB,TI->getSuccessor(s)), Counters);
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000195 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000196 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000197 }
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000198 if (ReadCount != Counters.size()) {
Chris Lattner15016622009-08-23 07:33:14 +0000199 errs() << "WARNING: profile information is inconsistent with "
200 << "the current program!\n";
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000201 }
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000202 NumEdgesRead = ReadCount;
Andreas Neustifter231d7342009-09-01 19:08:51 +0000203 }
204
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000205 Counters = PIL.getRawOptimalEdgeCounts();
206 if (Counters.size() > 0) {
207 ReadCount = 0;
Andreas Neustifter231d7342009-09-01 19:08:51 +0000208 for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
209 if (F->isDeclaration()) continue;
210 DEBUG(errs()<<"Working on "<<F->getNameStr()<<"\n");
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000211 readEdge(getEdge(0,&F->getEntryBlock()), Counters);
Andreas Neustifter231d7342009-09-01 19:08:51 +0000212 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) {
213 TerminatorInst *TI = BB->getTerminator();
214 if (TI->getNumSuccessors() == 0) {
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000215 readEdge(getEdge(BB,0), Counters);
Andreas Neustifter231d7342009-09-01 19:08:51 +0000216 }
217 for (unsigned s = 0, e = TI->getNumSuccessors(); s != e; ++s) {
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000218 readEdge(getEdge(BB,TI->getSuccessor(s)), Counters);
Andreas Neustifter231d7342009-09-01 19:08:51 +0000219 }
220 }
221 while (SpanningTree.size() > 0) {
222#if 0
223 unsigned size = SpanningTree.size();
224#endif
225 BBisUnvisited.clear();
226 for (std::set<Edge>::iterator ei = SpanningTree.begin(),
227 ee = SpanningTree.end(); ei != ee; ++ei) {
228 BBisUnvisited.insert(ei->first);
229 BBisUnvisited.insert(ei->second);
230 }
231 while (BBisUnvisited.size() > 0) {
232 recurseBasicBlock(*BBisUnvisited.begin());
233 }
234#if 0
235 if (SpanningTree.size() == size) {
236 DEBUG(errs()<<"{");
237 for (std::set<Edge>::iterator ei = SpanningTree.begin(),
238 ee = SpanningTree.end(); ei != ee; ++ei) {
239 DEBUG(errs()<<"("<<(ei->first?ei->first->getName():"0")<<","
240 <<(ei->second?ei->second->getName():"0")<<"),");
241 }
242 assert(0 && "No edge calculated!");
243 }
244#endif
245 }
246 }
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000247 if (ReadCount != Counters.size()) {
Andreas Neustifter231d7342009-09-01 19:08:51 +0000248 errs() << "WARNING: profile information is inconsistent with "
249 << "the current program!\n";
250 }
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000251 NumEdgesRead = ReadCount;
Daniel Dunbar23505092009-08-05 21:51:16 +0000252 }
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000253
254 BlockInformation.clear();
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000255 Counters = PIL.getRawBlockCounts();
256 if (Counters.size() > 0) {
257 ReadCount = 0;
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000258 for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
259 if (F->isDeclaration()) continue;
260 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000261 if (ReadCount < Counters.size())
Andreas Neustifterec139a02009-09-16 11:35:50 +0000262 // Here the data realm changes from the unsigned of the file to the
263 // double of the ProfileInfo. This conversion is save because we know
264 // that everything thats representable in unsinged is also
265 // representable in double.
266 BlockInformation[F][BB] = (double)Counters[ReadCount++];
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000267 }
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000268 if (ReadCount != Counters.size()) {
Chris Lattner15016622009-08-23 07:33:14 +0000269 errs() << "WARNING: profile information is inconsistent with "
270 << "the current program!\n";
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000271 }
272 }
273
274 FunctionInformation.clear();
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000275 Counters = PIL.getRawFunctionCounts();
276 if (Counters.size() > 0) {
277 ReadCount = 0;
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000278 for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
279 if (F->isDeclaration()) continue;
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000280 if (ReadCount < Counters.size())
Andreas Neustifterec139a02009-09-16 11:35:50 +0000281 // Here the data realm changes from the unsigned of the file to the
282 // double of the ProfileInfo. This conversion is save because we know
283 // that everything thats representable in unsinged is also
284 // representable in double.
285 FunctionInformation[F] = (double)Counters[ReadCount++];
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000286 }
Andreas Neustifter61a788c2009-09-10 07:12:35 +0000287 if (ReadCount != Counters.size()) {
Chris Lattner15016622009-08-23 07:33:14 +0000288 errs() << "WARNING: profile information is inconsistent with "
289 << "the current program!\n";
Daniel Dunbar4ae20272009-08-08 17:43:09 +0000290 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000291 }
292
293 return false;
294}