2004-02-10 22:11:42 +00:00
|
|
|
//===- ProfileInfo.cpp - Profile Info Interface ---------------------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the abstract ProfileInfo interface, and the default
|
|
|
|
// "no profile" implementation.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Analysis/ProfileInfo.h"
|
|
|
|
#include "llvm/Pass.h"
|
2004-03-08 22:04:08 +00:00
|
|
|
#include "llvm/Support/CFG.h"
|
|
|
|
#include <set>
|
2004-02-10 22:11:42 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
2004-02-11 06:10:18 +00:00
|
|
|
// Register the ProfileInfo interface, providing a nice name to refer to.
|
2004-02-10 22:11:42 +00:00
|
|
|
namespace {
|
|
|
|
RegisterAnalysisGroup<ProfileInfo> Z("Profile Information");
|
|
|
|
}
|
|
|
|
|
|
|
|
ProfileInfo::~ProfileInfo() {}
|
|
|
|
|
2004-03-08 22:04:08 +00:00
|
|
|
unsigned ProfileInfo::getExecutionCount(BasicBlock *BB) const {
|
|
|
|
pred_iterator PI = pred_begin(BB), PE = pred_end(BB);
|
|
|
|
|
|
|
|
// Are there zero predecessors of this block?
|
|
|
|
if (PI == PE) {
|
|
|
|
// If this is the entry block, look for the Null -> Entry edge.
|
|
|
|
if (BB == &BB->getParent()->front())
|
|
|
|
return getEdgeWeight(0, BB);
|
|
|
|
else
|
|
|
|
return 0; // Otherwise, this is a dead block.
|
|
|
|
}
|
|
|
|
|
|
|
|
// Otherwise, if there are predecessors, the execution count of this block is
|
|
|
|
// the sum of the edge frequencies from the incoming edges. Note that if
|
|
|
|
// there are multiple edges from a predecessor to this block that we don't
|
|
|
|
// want to count its weight multiple times. For this reason, we keep track of
|
|
|
|
// the predecessors we've seen and only count them if we haven't run into them
|
|
|
|
// yet.
|
|
|
|
//
|
|
|
|
// We don't want to create an std::set unless we are dealing with a block that
|
|
|
|
// has a LARGE number of in-edges. Handle the common case of having only a
|
|
|
|
// few in-edges with special code.
|
|
|
|
//
|
|
|
|
BasicBlock *FirstPred = *PI;
|
|
|
|
unsigned Count = getEdgeWeight(FirstPred, BB);
|
|
|
|
++PI;
|
|
|
|
if (PI == PE) return Count; // Quick exit for single predecessor blocks
|
|
|
|
|
|
|
|
BasicBlock *SecondPred = *PI;
|
|
|
|
if (SecondPred != FirstPred) Count += getEdgeWeight(SecondPred, BB);
|
|
|
|
++PI;
|
|
|
|
if (PI == PE) return Count; // Quick exit for two predecessor blocks
|
|
|
|
|
|
|
|
BasicBlock *ThirdPred = *PI;
|
|
|
|
if (ThirdPred != FirstPred && ThirdPred != SecondPred)
|
|
|
|
Count += getEdgeWeight(ThirdPred, BB);
|
|
|
|
++PI;
|
|
|
|
if (PI == PE) return Count; // Quick exit for three predecessor blocks
|
|
|
|
|
|
|
|
std::set<BasicBlock*> ProcessedPreds;
|
|
|
|
ProcessedPreds.insert(FirstPred);
|
|
|
|
ProcessedPreds.insert(SecondPred);
|
|
|
|
ProcessedPreds.insert(ThirdPred);
|
|
|
|
for (; PI != PE; ++PI)
|
|
|
|
if (ProcessedPreds.insert(*PI).second)
|
|
|
|
Count += getEdgeWeight(*PI, BB);
|
|
|
|
return Count;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-02-10 22:11:42 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// NoProfile ProfileInfo implementation
|
|
|
|
//
|
|
|
|
|
|
|
|
namespace {
|
2004-03-08 21:30:35 +00:00
|
|
|
struct NoProfileInfo : public ImmutablePass, public ProfileInfo {};
|
2004-02-10 22:11:42 +00:00
|
|
|
|
|
|
|
// Register this pass...
|
|
|
|
RegisterOpt<NoProfileInfo>
|
|
|
|
X("no-profile", "No Profile Information");
|
|
|
|
|
2004-02-11 06:10:18 +00:00
|
|
|
// Declare that we implement the ProfileInfo interface
|
2004-02-11 04:47:54 +00:00
|
|
|
RegisterAnalysisGroup<ProfileInfo, NoProfileInfo, true> Y;
|
2004-02-10 22:11:42 +00:00
|
|
|
} // End of anonymous namespace
|