blob: 5650150218c1f0372ab044a31ceda826f759eefd [file] [log] [blame]
Andreas Neustifterf771dae2009-09-01 19:03:44 +00001//===- OptimalEdgeProfiling.cpp - Insert counters for opt. edge profiling -===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This pass instruments the specified program with counters for edge profiling.
11// Edge profiling can give a reasonable approximation of the hot paths through a
12// program, and is used for a wide variety of program transformations.
13//
14//===----------------------------------------------------------------------===//
15#define DEBUG_TYPE "insert-optimal-edge-profiling"
16#include "ProfilingUtils.h"
Andreas Neustifterf771dae2009-09-01 19:03:44 +000017#include "llvm/Module.h"
18#include "llvm/Pass.h"
19#include "llvm/Analysis/Passes.h"
Andreas Neustiftered1ac4a2009-09-04 12:34:44 +000020#include "llvm/Analysis/ProfileInfo.h"
Andreas Neustifter92332722009-09-16 11:35:50 +000021#include "llvm/Analysis/ProfileInfoLoader.h"
Andreas Neustifter9341cdc2009-09-02 12:38:39 +000022#include "llvm/Support/raw_ostream.h"
Andreas Neustifterf771dae2009-09-01 19:03:44 +000023#include "llvm/Support/Debug.h"
24#include "llvm/Transforms/Utils/BasicBlockUtils.h"
25#include "llvm/Transforms/Instrumentation.h"
Andreas Neustifter39859432009-09-03 08:52:52 +000026#include "llvm/ADT/DenseSet.h"
Andreas Neustifterf771dae2009-09-01 19:03:44 +000027#include "llvm/ADT/Statistic.h"
28#include "MaximumSpanningTree.h"
29#include <set>
30using namespace llvm;
31
32STATISTIC(NumEdgesInserted, "The # of edges inserted.");
33
34namespace {
Nick Lewycky6726b6d2009-10-25 06:33:48 +000035 class OptimalEdgeProfiler : public ModulePass {
Andreas Neustifterf771dae2009-09-01 19:03:44 +000036 bool runOnModule(Module &M);
Andreas Neustifterf771dae2009-09-01 19:03:44 +000037 public:
38 static char ID; // Pass identification, replacement for typeid
39 OptimalEdgeProfiler() : ModulePass(&ID) {}
40
41 void getAnalysisUsage(AnalysisUsage &AU) const {
42 AU.addRequiredID(ProfileEstimatorPassID);
43 AU.addRequired<ProfileInfo>();
44 }
45
46 virtual const char *getPassName() const {
47 return "Optimal Edge Profiler";
48 }
49 };
50}
51
52char OptimalEdgeProfiler::ID = 0;
53static RegisterPass<OptimalEdgeProfiler>
54X("insert-optimal-edge-profiling",
55 "Insert optimal instrumentation for edge profiling");
56
57ModulePass *llvm::createOptimalEdgeProfilerPass() {
58 return new OptimalEdgeProfiler();
59}
60
61inline static void printEdgeCounter(ProfileInfo::Edge e,
62 BasicBlock* b,
63 unsigned i) {
David Greene0b9afb42010-01-05 01:27:01 +000064 DEBUG(dbgs() << "--Edge Counter for " << (e) << " in " \
Andreas Neustifterf771dae2009-09-01 19:03:44 +000065 << ((b)?(b)->getNameStr():"0") << " (# " << (i) << ")\n");
66}
67
68bool OptimalEdgeProfiler::runOnModule(Module &M) {
69 Function *Main = M.getFunction("main");
70 if (Main == 0) {
71 errs() << "WARNING: cannot insert edge profiling into a module"
72 << " with no main function!\n";
73 return false; // No main, no instrumentation!
74 }
75
Andreas Neustifter9341cdc2009-09-02 12:38:39 +000076 // NumEdges counts all the edges that may be instrumented. Later on its
77 // decided which edges to actually instrument, to achieve optimal profiling.
78 // For the entry block a virtual edge (0,entry) is reserved, for each block
79 // with no successors an edge (BB,0) is reserved. These edges are necessary
80 // to calculate a truly optimal maximum spanning tree and thus an optimal
81 // instrumentation.
Andreas Neustifterf771dae2009-09-01 19:03:44 +000082 unsigned NumEdges = 0;
Andreas Neustifter9341cdc2009-09-02 12:38:39 +000083
Andreas Neustifterf771dae2009-09-01 19:03:44 +000084 for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
85 if (F->isDeclaration()) continue;
86 // Reserve space for (0,entry) edge.
87 ++NumEdges;
88 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) {
89 // Keep track of which blocks need to be instrumented. We don't want to
90 // instrument blocks that are added as the result of breaking critical
91 // edges!
Andreas Neustifterf771dae2009-09-01 19:03:44 +000092 if (BB->getTerminator()->getNumSuccessors() == 0) {
93 // Reserve space for (BB,0) edge.
94 ++NumEdges;
95 } else {
96 NumEdges += BB->getTerminator()->getNumSuccessors();
97 }
98 }
99 }
100
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000101 // In the profiling output a counter for each edge is reserved, but only few
102 // are used. This is done to be able to read back in the profile without
103 // calulating the maximum spanning tree again, instead each edge counter that
104 // is not used is initialised with -1 to signal that this edge counter has to
105 // be calculated from other edge counters on reading the profile info back
106 // in.
107
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000108 const Type *Int32 = Type::getInt32Ty(M.getContext());
109 const ArrayType *ATy = ArrayType::get(Int32, NumEdges);
110 GlobalVariable *Counters =
111 new GlobalVariable(M, ATy, false, GlobalValue::InternalLinkage,
112 Constant::getNullValue(ATy), "OptEdgeProfCounters");
113 NumEdgesInserted = 0;
114
115 std::vector<Constant*> Initializer(NumEdges);
Andreas Neustifter92332722009-09-16 11:35:50 +0000116 Constant* Zero = ConstantInt::get(Int32, 0);
117 Constant* Uncounted = ConstantInt::get(Int32, ProfileInfoLoader::Uncounted);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000118
119 // Instrument all of the edges not in MST...
120 unsigned i = 0;
121 for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
122 if (F->isDeclaration()) continue;
David Greene0b9afb42010-01-05 01:27:01 +0000123 DEBUG(dbgs()<<"Working on "<<F->getNameStr()<<"\n");
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000124
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000125 // Calculate a Maximum Spanning Tree with the edge weights determined by
126 // ProfileEstimator. ProfileEstimator also assign weights to the virtual
127 // edges (0,entry) and (BB,0) (for blocks with no successors) and this
128 // edges also participate in the maximum spanning tree calculation.
129 // The third parameter of MaximumSpanningTree() has the effect that not the
130 // actual MST is returned but the edges _not_ in the MST.
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000131
Andreas Neustifter39859432009-09-03 08:52:52 +0000132 ProfileInfo::EdgeWeights ECs =
Chris Lattner05273442010-01-20 23:30:28 +0000133 getAnalysis<ProfileInfo>(*F).getEdgeWeights(F);
Andreas Neustifter39859432009-09-03 08:52:52 +0000134 std::vector<ProfileInfo::EdgeWeight> EdgeVector(ECs.begin(), ECs.end());
Andreas Neustiftered1ac4a2009-09-04 12:34:44 +0000135 MaximumSpanningTree<BasicBlock> MST (EdgeVector);
136 std::stable_sort(MST.begin(),MST.end());
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000137
138 // Check if (0,entry) not in the MST. If not, instrument edge
139 // (IncrementCounterInBlock()) and set the counter initially to zero, if
140 // the edge is in the MST the counter is initialised to -1.
141
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000142 BasicBlock *entry = &(F->getEntryBlock());
143 ProfileInfo::Edge edge = ProfileInfo::getEdge(0,entry);
Andreas Neustifter39859432009-09-03 08:52:52 +0000144 if (!std::binary_search(MST.begin(), MST.end(), edge)) {
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000145 printEdgeCounter(edge,entry,i);
146 IncrementCounterInBlock(entry, i, Counters); NumEdgesInserted++;
Andreas Neustifter92332722009-09-16 11:35:50 +0000147 Initializer[i++] = (Zero);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000148 } else{
Andreas Neustifter92332722009-09-16 11:35:50 +0000149 Initializer[i++] = (Uncounted);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000150 }
151
Andreas Neustifter8f123b82009-09-02 13:59:05 +0000152 // InsertedBlocks contains all blocks that were inserted for splitting an
153 // edge, this blocks do not have to be instrumented.
Andreas Neustifter39859432009-09-03 08:52:52 +0000154 DenseSet<BasicBlock*> InsertedBlocks;
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000155 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) {
Andreas Neustifter8f123b82009-09-02 13:59:05 +0000156 // Check if block was not inserted and thus does not have to be
157 // instrumented.
158 if (InsertedBlocks.count(BB)) continue;
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000159
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000160 // Okay, we have to add a counter of each outgoing edge not in MST. If
161 // the outgoing edge is not critical don't split it, just insert the
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000162 // counter in the source or destination of the edge. Also, if the block
163 // has no successors, the virtual edge (BB,0) is processed.
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000164 TerminatorInst *TI = BB->getTerminator();
165 if (TI->getNumSuccessors() == 0) {
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000166 ProfileInfo::Edge edge = ProfileInfo::getEdge(BB,0);
Andreas Neustifter39859432009-09-03 08:52:52 +0000167 if (!std::binary_search(MST.begin(), MST.end(), edge)) {
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000168 printEdgeCounter(edge,BB,i);
169 IncrementCounterInBlock(BB, i, Counters); NumEdgesInserted++;
Andreas Neustifter92332722009-09-16 11:35:50 +0000170 Initializer[i++] = (Zero);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000171 } else{
Andreas Neustifter92332722009-09-16 11:35:50 +0000172 Initializer[i++] = (Uncounted);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000173 }
174 }
175 for (unsigned s = 0, e = TI->getNumSuccessors(); s != e; ++s) {
176 BasicBlock *Succ = TI->getSuccessor(s);
177 ProfileInfo::Edge edge = ProfileInfo::getEdge(BB,Succ);
Andreas Neustifter39859432009-09-03 08:52:52 +0000178 if (!std::binary_search(MST.begin(), MST.end(), edge)) {
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000179
180 // If the edge is critical, split it.
Andreas Neustifter8f123b82009-09-02 13:59:05 +0000181 bool wasInserted = SplitCriticalEdge(TI, s, this);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000182 Succ = TI->getSuccessor(s);
Andreas Neustifter39859432009-09-03 08:52:52 +0000183 if (wasInserted)
Andreas Neustifter8f123b82009-09-02 13:59:05 +0000184 InsertedBlocks.insert(Succ);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000185
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000186 // Okay, we are guaranteed that the edge is no longer critical. If
187 // we only have a single successor, insert the counter in this block,
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000188 // otherwise insert it in the successor block.
189 if (TI->getNumSuccessors() == 1) {
190 // Insert counter at the start of the block
191 printEdgeCounter(edge,BB,i);
192 IncrementCounterInBlock(BB, i, Counters); NumEdgesInserted++;
193 } else {
194 // Insert counter at the start of the block
195 printEdgeCounter(edge,Succ,i);
196 IncrementCounterInBlock(Succ, i, Counters); NumEdgesInserted++;
197 }
Andreas Neustifter92332722009-09-16 11:35:50 +0000198 Initializer[i++] = (Zero);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000199 } else {
Andreas Neustifter92332722009-09-16 11:35:50 +0000200 Initializer[i++] = (Uncounted);
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000201 }
202 }
203 }
204 }
205
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000206 // Check if the number of edges counted at first was the number of edges we
207 // considered for instrumentation.
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000208 assert(i==NumEdges && "the number of edges in counting array is wrong");
209
Andreas Neustifter9341cdc2009-09-02 12:38:39 +0000210 // Assing the now completely defined initialiser to the array.
Andreas Neustifterf771dae2009-09-01 19:03:44 +0000211 Constant *init = ConstantArray::get(ATy, Initializer);
212 Counters->setInitializer(init);
213
214 // Add the initialization call to main.
215 InsertProfilingInitCall(Main, "llvm_start_opt_edge_profiling", Counters);
216 return true;
217}
218