2002-01-21 07:37:31 +00:00
|
|
|
//===- Pass.cpp - LLVM Pass Infrastructure Impementation ------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the LLVM Pass infrastructure. It is primarily
|
|
|
|
// responsible with ensuring that passes are executed and batched together
|
|
|
|
// optimally.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
#include "llvm/PassManager.h"
|
2002-04-28 20:46:05 +00:00
|
|
|
#include "PassManagerT.h" // PassManagerT implementation
|
2002-01-31 00:45:31 +00:00
|
|
|
#include "llvm/Module.h"
|
2002-03-26 18:01:55 +00:00
|
|
|
#include "llvm/Function.h"
|
2002-02-12 21:07:25 +00:00
|
|
|
#include "llvm/BasicBlock.h"
|
2002-01-21 07:37:31 +00:00
|
|
|
#include "Support/STLExtras.h"
|
2002-04-28 20:46:05 +00:00
|
|
|
#include "Support/CommandLine.h"
|
|
|
|
#include <typeinfo>
|
|
|
|
#include <iostream>
|
2002-04-29 04:04:29 +00:00
|
|
|
#include <sys/time.h>
|
|
|
|
#include <stdio.h>
|
2002-01-23 05:49:41 +00:00
|
|
|
|
2002-05-06 19:31:52 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// AnalysisID Class Implementation
|
|
|
|
//
|
|
|
|
|
|
|
|
static std::vector<AnalysisID> CFGOnlyAnalyses;
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
// Source of unique analysis ID #'s.
|
|
|
|
unsigned AnalysisID::NextID = 0;
|
|
|
|
|
2002-05-06 19:31:52 +00:00
|
|
|
AnalysisID::AnalysisID(const AnalysisID &AID, bool DependsOnlyOnCFG) {
|
|
|
|
ID = AID.ID; // Implement the copy ctor part...
|
|
|
|
Constructor = AID.Constructor;
|
|
|
|
|
|
|
|
// If this analysis only depends on the CFG of the function, add it to the CFG
|
|
|
|
// only list...
|
|
|
|
if (DependsOnlyOnCFG)
|
|
|
|
CFGOnlyAnalyses.push_back(AID);
|
|
|
|
}
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// AnalysisResolver Class Implementation
|
|
|
|
//
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
void AnalysisResolver::setAnalysisResolver(Pass *P, AnalysisResolver *AR) {
|
|
|
|
assert(P->Resolver == 0 && "Pass already in a PassManager!");
|
|
|
|
P->Resolver = AR;
|
|
|
|
}
|
|
|
|
|
2002-05-06 19:31:52 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// AnalysisUsage Class Implementation
|
|
|
|
//
|
2002-04-28 21:25:41 +00:00
|
|
|
|
|
|
|
// preservesCFG - This function should be called to by the pass, iff they do
|
|
|
|
// not:
|
|
|
|
//
|
|
|
|
// 1. Add or remove basic blocks from the function
|
|
|
|
// 2. Modify terminator instructions in any way.
|
|
|
|
//
|
|
|
|
// This function annotates the AnalysisUsage info object to say that analyses
|
|
|
|
// that only depend on the CFG are preserved by this pass.
|
|
|
|
//
|
|
|
|
void AnalysisUsage::preservesCFG() {
|
2002-05-06 19:31:52 +00:00
|
|
|
// Since this transformation doesn't modify the CFG, it preserves all analyses
|
|
|
|
// that only depend on the CFG (like dominators, loop info, etc...)
|
|
|
|
//
|
|
|
|
Preserved.insert(Preserved.end(),
|
|
|
|
CFGOnlyAnalyses.begin(), CFGOnlyAnalyses.end());
|
2002-04-28 21:25:41 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2002-04-28 20:46:05 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PassManager implementation - The PassManager class is a simple Pimpl class
|
|
|
|
// that wraps the PassManagerT template.
|
|
|
|
//
|
|
|
|
PassManager::PassManager() : PM(new PassManagerT<Module>()) {}
|
|
|
|
PassManager::~PassManager() { delete PM; }
|
|
|
|
void PassManager::add(Pass *P) { PM->add(P); }
|
|
|
|
bool PassManager::run(Module *M) { return PM->run(M); }
|
2002-01-31 00:45:31 +00:00
|
|
|
|
2002-04-28 20:46:05 +00:00
|
|
|
|
2002-04-29 04:04:29 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// TimingInfo Class - This class is used to calculate information about the
|
|
|
|
// amount of time each pass takes to execute. This only happens with
|
|
|
|
// -time-passes is enabled on the command line.
|
|
|
|
//
|
|
|
|
static cl::Flag EnableTiming("time-passes", "Time each pass, printing elapsed"
|
|
|
|
" time for each on exit");
|
|
|
|
|
|
|
|
static double getTime() {
|
|
|
|
struct timeval T;
|
|
|
|
gettimeofday(&T, 0);
|
|
|
|
return T.tv_sec + T.tv_usec/1000000.0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Create method. If Timing is enabled, this creates and returns a new timing
|
|
|
|
// object, otherwise it returns null.
|
|
|
|
//
|
|
|
|
TimingInfo *TimingInfo::create() {
|
|
|
|
return EnableTiming ? new TimingInfo() : 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void TimingInfo::passStarted(Pass *P) { TimingData[P] -= getTime(); }
|
|
|
|
void TimingInfo::passEnded(Pass *P) { TimingData[P] += getTime(); }
|
|
|
|
|
|
|
|
// TimingDtor - Print out information about timing information
|
|
|
|
TimingInfo::~TimingInfo() {
|
|
|
|
// Iterate over all of the data, converting it into the dual of the data map,
|
|
|
|
// so that the data is sorted by amount of time taken, instead of pointer.
|
|
|
|
//
|
|
|
|
std::vector<pair<double, Pass*> > Data;
|
|
|
|
double TotalTime = 0;
|
|
|
|
for (std::map<Pass*, double>::iterator I = TimingData.begin(),
|
|
|
|
E = TimingData.end(); I != E; ++I)
|
|
|
|
// Throw out results for "grouping" pass managers...
|
|
|
|
if (!dynamic_cast<AnalysisResolver*>(I->first)) {
|
|
|
|
Data.push_back(std::make_pair(I->second, I->first));
|
|
|
|
TotalTime += I->second;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Sort the data by time as the primary key, in reverse order...
|
|
|
|
std::sort(Data.begin(), Data.end(), greater<pair<double, Pass*> >());
|
|
|
|
|
|
|
|
// Print out timing header...
|
|
|
|
cerr << std::string(79, '=') << "\n"
|
|
|
|
<< " ... Pass execution timing report ...\n"
|
|
|
|
<< std::string(79, '=') << "\n Total Execution Time: " << TotalTime
|
2002-04-29 14:57:45 +00:00
|
|
|
<< " seconds\n\n % Time: Seconds:\tPass Name:\n";
|
2002-04-29 04:04:29 +00:00
|
|
|
|
|
|
|
// Loop through all of the timing data, printing it out...
|
|
|
|
for (unsigned i = 0, e = Data.size(); i != e; ++i) {
|
|
|
|
fprintf(stderr, " %6.2f%% %fs\t%s\n", Data[i].first*100 / TotalTime,
|
2002-04-29 14:57:45 +00:00
|
|
|
Data[i].first, Data[i].second->getPassName());
|
2002-04-29 04:04:29 +00:00
|
|
|
}
|
|
|
|
cerr << " 100.00% " << TotalTime << "s\tTOTAL\n"
|
|
|
|
<< std::string(79, '=') << "\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2002-04-28 20:46:05 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-01-23 05:49:41 +00:00
|
|
|
// Pass debugging information. Often it is useful to find out what pass is
|
|
|
|
// running when a crash occurs in a utility. When this library is compiled with
|
|
|
|
// debugging on, a command line option (--debug-pass) is enabled that causes the
|
|
|
|
// pass name to be printed before it executes.
|
|
|
|
//
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
// Different debug levels that can be enabled...
|
|
|
|
enum PassDebugLevel {
|
|
|
|
None, PassStructure, PassExecutions, PassDetails
|
|
|
|
};
|
2002-01-23 05:49:41 +00:00
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
static cl::Enum<enum PassDebugLevel> PassDebugging("debug-pass", cl::Hidden,
|
|
|
|
"Print PassManager debugging information",
|
|
|
|
clEnumVal(None , "disable debug output"),
|
|
|
|
clEnumVal(PassStructure , "print pass structure before run()"),
|
|
|
|
clEnumVal(PassExecutions, "print pass name before it is executed"),
|
|
|
|
clEnumVal(PassDetails , "print pass details when it is executed"), 0);
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
void PMDebug::PrintPassStructure(Pass *P) {
|
|
|
|
if (PassDebugging >= PassStructure)
|
|
|
|
P->dumpPassStructure();
|
2002-01-21 07:37:31 +00:00
|
|
|
}
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
void PMDebug::PrintPassInformation(unsigned Depth, const char *Action,
|
2002-04-28 05:14:06 +00:00
|
|
|
Pass *P, Annotable *V) {
|
2002-01-31 00:45:31 +00:00
|
|
|
if (PassDebugging >= PassExecutions) {
|
2002-01-31 18:32:27 +00:00
|
|
|
std::cerr << (void*)P << std::string(Depth*2+1, ' ') << Action << " '"
|
2002-04-29 14:57:45 +00:00
|
|
|
<< P->getPassName();
|
2002-01-31 00:45:31 +00:00
|
|
|
if (V) {
|
|
|
|
std::cerr << "' on ";
|
2002-04-28 05:14:06 +00:00
|
|
|
|
|
|
|
if (dynamic_cast<Module*>(V)) {
|
2002-01-31 00:45:31 +00:00
|
|
|
std::cerr << "Module\n"; return;
|
2002-04-28 05:14:06 +00:00
|
|
|
} else if (Function *F = dynamic_cast<Function*>(V))
|
|
|
|
std::cerr << "Function '" << F->getName();
|
|
|
|
else if (BasicBlock *BB = dynamic_cast<BasicBlock*>(V))
|
|
|
|
std::cerr << "BasicBlock '" << BB->getName();
|
|
|
|
else if (Value *Val = dynamic_cast<Value*>(V))
|
|
|
|
std::cerr << typeid(*Val).name() << " '" << Val->getName();
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
|
|
|
std::cerr << "'...\n";
|
2002-01-21 07:37:31 +00:00
|
|
|
}
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
void PMDebug::PrintAnalysisSetInfo(unsigned Depth, const char *Msg,
|
2002-04-27 06:56:12 +00:00
|
|
|
Pass *P, const std::vector<AnalysisID> &Set){
|
2002-01-31 00:45:31 +00:00
|
|
|
if (PassDebugging >= PassDetails && !Set.empty()) {
|
2002-01-31 18:32:27 +00:00
|
|
|
std::cerr << (void*)P << std::string(Depth*2+3, ' ') << Msg << " Analyses:";
|
2002-04-27 06:56:12 +00:00
|
|
|
for (unsigned i = 0; i != Set.size(); ++i) {
|
2002-01-31 00:45:31 +00:00
|
|
|
Pass *P = Set[i].createPass(); // Good thing this is just debug code...
|
2002-04-29 14:57:45 +00:00
|
|
|
std::cerr << " " << P->getPassName();
|
2002-01-31 00:45:31 +00:00
|
|
|
delete P;
|
2002-01-23 05:49:41 +00:00
|
|
|
}
|
2002-01-31 00:45:31 +00:00
|
|
|
std::cerr << "\n";
|
2002-01-21 07:37:31 +00:00
|
|
|
}
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
// dumpPassStructure - Implement the -debug-passes=PassStructure option
|
|
|
|
void Pass::dumpPassStructure(unsigned Offset = 0) {
|
2002-04-29 14:57:45 +00:00
|
|
|
std::cerr << std::string(Offset*2, ' ') << getPassName() << "\n";
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Pass Implementation
|
|
|
|
//
|
2002-01-23 05:49:41 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
void Pass::addToPassManager(PassManagerT<Module> *PM, AnalysisUsage &AU) {
|
|
|
|
PM->addPass(this, AU);
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-04-29 14:57:45 +00:00
|
|
|
|
|
|
|
// getPassName - Use C++ RTTI to get a SOMEWHAT intelligable name for the pass.
|
|
|
|
//
|
|
|
|
const char *Pass::getPassName() const { return typeid(*this).name(); }
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-04-27 06:56:12 +00:00
|
|
|
// FunctionPass Implementation
|
2002-01-31 00:45:31 +00:00
|
|
|
//
|
2002-01-22 00:17:48 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
// run - On a module, we run this pass by initializing, runOnFunction'ing once
|
|
|
|
// for every function in the module, then by finalizing.
|
2002-01-31 00:45:31 +00:00
|
|
|
//
|
2002-04-27 06:56:12 +00:00
|
|
|
bool FunctionPass::run(Module *M) {
|
2002-01-31 00:45:31 +00:00
|
|
|
bool Changed = doInitialization(M);
|
|
|
|
|
|
|
|
for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
|
2002-04-27 06:56:12 +00:00
|
|
|
if (!(*I)->isExternal()) // Passes are not run on external functions!
|
|
|
|
Changed |= runOnFunction(*I);
|
2002-01-31 00:45:31 +00:00
|
|
|
|
|
|
|
return Changed | doFinalization(M);
|
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
// run - On a function, we simply initialize, run the function, then finalize.
|
2002-01-31 00:45:31 +00:00
|
|
|
//
|
2002-04-27 06:56:12 +00:00
|
|
|
bool FunctionPass::run(Function *F) {
|
|
|
|
if (F->isExternal()) return false;// Passes are not run on external functions!
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
return doInitialization(F->getParent()) | runOnFunction(F)
|
2002-03-26 18:01:55 +00:00
|
|
|
| doFinalization(F->getParent());
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
void FunctionPass::addToPassManager(PassManagerT<Module> *PM,
|
|
|
|
AnalysisUsage &AU) {
|
|
|
|
PM->addPass(this, AU);
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
void FunctionPass::addToPassManager(PassManagerT<Function> *PM,
|
|
|
|
AnalysisUsage &AU) {
|
|
|
|
PM->addPass(this, AU);
|
2002-01-22 00:17:48 +00:00
|
|
|
}
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// BasicBlockPass Implementation
|
|
|
|
//
|
2002-01-21 07:37:31 +00:00
|
|
|
|
2002-04-27 06:56:12 +00:00
|
|
|
// To run this pass on a function, we simply call runOnBasicBlock once for each
|
|
|
|
// function.
|
2002-01-21 07:37:31 +00:00
|
|
|
//
|
2002-04-27 06:56:12 +00:00
|
|
|
bool BasicBlockPass::runOnFunction(Function *F) {
|
2002-01-31 00:45:31 +00:00
|
|
|
bool Changed = false;
|
2002-03-26 18:01:55 +00:00
|
|
|
for (Function::iterator I = F->begin(), E = F->end(); I != E; ++I)
|
2002-01-31 00:45:31 +00:00
|
|
|
Changed |= runOnBasicBlock(*I);
|
|
|
|
return Changed;
|
2002-01-21 07:37:31 +00:00
|
|
|
}
|
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
// To run directly on the basic block, we initialize, runOnBasicBlock, then
|
|
|
|
// finalize.
|
|
|
|
//
|
|
|
|
bool BasicBlockPass::run(BasicBlock *BB) {
|
|
|
|
Module *M = BB->getParent()->getParent();
|
|
|
|
return doInitialization(M) | runOnBasicBlock(BB) | doFinalization(M);
|
2002-01-21 07:37:31 +00:00
|
|
|
}
|
2002-01-23 05:49:41 +00:00
|
|
|
|
2002-03-26 18:01:55 +00:00
|
|
|
void BasicBlockPass::addToPassManager(PassManagerT<Function> *PM,
|
2002-04-27 06:56:12 +00:00
|
|
|
AnalysisUsage &AU) {
|
|
|
|
PM->addPass(this, AU);
|
2002-01-31 00:45:31 +00:00
|
|
|
}
|
2002-01-23 05:49:41 +00:00
|
|
|
|
2002-01-31 00:45:31 +00:00
|
|
|
void BasicBlockPass::addToPassManager(PassManagerT<BasicBlock> *PM,
|
2002-04-27 06:56:12 +00:00
|
|
|
AnalysisUsage &AU) {
|
|
|
|
PM->addPass(this, AU);
|
2002-01-23 05:49:41 +00:00
|
|
|
}
|
2002-01-31 00:45:31 +00:00
|
|
|
|