mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-12-25 21:16:19 +00:00
536cf1b13f
- Rename runOnMethod to runOnFunction * Transform getAnalysisUsageInfo into getAnalysisUsage - Method is now const - It now takes one AnalysisUsage object to fill in instead of 3 vectors to fill in - Pass's now specify which other passes they _preserve_ not which ones they modify (be conservative!) - A pass can specify that it preserves all analyses (because it never modifies the underlying program) * s/Method/Function/g in other random places as well llvm-svn: 2333
168 lines
5.4 KiB
C++
168 lines
5.4 KiB
C++
//===- 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.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/PassManager.h"
|
|
#include "llvm/Module.h"
|
|
#include "llvm/Function.h"
|
|
#include "llvm/BasicBlock.h"
|
|
#include "Support/STLExtras.h"
|
|
#include <algorithm>
|
|
|
|
// Source of unique analysis ID #'s.
|
|
unsigned AnalysisID::NextID = 0;
|
|
|
|
void AnalysisResolver::setAnalysisResolver(Pass *P, AnalysisResolver *AR) {
|
|
assert(P->Resolver == 0 && "Pass already in a PassManager!");
|
|
P->Resolver = AR;
|
|
}
|
|
|
|
|
|
// 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.
|
|
//
|
|
#include "Support/CommandLine.h"
|
|
#include <typeinfo>
|
|
#include <iostream>
|
|
|
|
// Different debug levels that can be enabled...
|
|
enum PassDebugLevel {
|
|
None, PassStructure, PassExecutions, PassDetails
|
|
};
|
|
|
|
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);
|
|
|
|
void PMDebug::PrintPassStructure(Pass *P) {
|
|
if (PassDebugging >= PassStructure)
|
|
P->dumpPassStructure();
|
|
}
|
|
|
|
void PMDebug::PrintPassInformation(unsigned Depth, const char *Action,
|
|
Pass *P, Value *V) {
|
|
if (PassDebugging >= PassExecutions) {
|
|
std::cerr << (void*)P << std::string(Depth*2+1, ' ') << Action << " '"
|
|
<< typeid(*P).name();
|
|
if (V) {
|
|
std::cerr << "' on ";
|
|
switch (V->getValueType()) {
|
|
case Value::ModuleVal:
|
|
std::cerr << "Module\n"; return;
|
|
case Value::FunctionVal:
|
|
std::cerr << "Function '" << V->getName(); break;
|
|
case Value::BasicBlockVal:
|
|
std::cerr << "BasicBlock '" << V->getName(); break;
|
|
default:
|
|
std::cerr << typeid(*V).name() << " '" << V->getName(); break;
|
|
}
|
|
}
|
|
std::cerr << "'...\n";
|
|
}
|
|
}
|
|
|
|
void PMDebug::PrintAnalysisSetInfo(unsigned Depth, const char *Msg,
|
|
Pass *P, const std::vector<AnalysisID> &Set){
|
|
if (PassDebugging >= PassDetails && !Set.empty()) {
|
|
std::cerr << (void*)P << std::string(Depth*2+3, ' ') << Msg << " Analyses:";
|
|
for (unsigned i = 0; i != Set.size(); ++i) {
|
|
Pass *P = Set[i].createPass(); // Good thing this is just debug code...
|
|
std::cerr << " " << typeid(*P).name();
|
|
delete P;
|
|
}
|
|
std::cerr << "\n";
|
|
}
|
|
}
|
|
|
|
// dumpPassStructure - Implement the -debug-passes=PassStructure option
|
|
void Pass::dumpPassStructure(unsigned Offset = 0) {
|
|
std::cerr << std::string(Offset*2, ' ') << typeid(*this).name() << "\n";
|
|
}
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Pass Implementation
|
|
//
|
|
|
|
void Pass::addToPassManager(PassManagerT<Module> *PM, AnalysisUsage &AU) {
|
|
PM->addPass(this, AU);
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// FunctionPass Implementation
|
|
//
|
|
|
|
// run - On a module, we run this pass by initializing, runOnFunction'ing once
|
|
// for every function in the module, then by finalizing.
|
|
//
|
|
bool FunctionPass::run(Module *M) {
|
|
bool Changed = doInitialization(M);
|
|
|
|
for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
|
|
if (!(*I)->isExternal()) // Passes are not run on external functions!
|
|
Changed |= runOnFunction(*I);
|
|
|
|
return Changed | doFinalization(M);
|
|
}
|
|
|
|
// run - On a function, we simply initialize, run the function, then finalize.
|
|
//
|
|
bool FunctionPass::run(Function *F) {
|
|
if (F->isExternal()) return false;// Passes are not run on external functions!
|
|
|
|
return doInitialization(F->getParent()) | runOnFunction(F)
|
|
| doFinalization(F->getParent());
|
|
}
|
|
|
|
void FunctionPass::addToPassManager(PassManagerT<Module> *PM,
|
|
AnalysisUsage &AU) {
|
|
PM->addPass(this, AU);
|
|
}
|
|
|
|
void FunctionPass::addToPassManager(PassManagerT<Function> *PM,
|
|
AnalysisUsage &AU) {
|
|
PM->addPass(this, AU);
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// BasicBlockPass Implementation
|
|
//
|
|
|
|
// To run this pass on a function, we simply call runOnBasicBlock once for each
|
|
// function.
|
|
//
|
|
bool BasicBlockPass::runOnFunction(Function *F) {
|
|
bool Changed = false;
|
|
for (Function::iterator I = F->begin(), E = F->end(); I != E; ++I)
|
|
Changed |= runOnBasicBlock(*I);
|
|
return Changed;
|
|
}
|
|
|
|
// 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);
|
|
}
|
|
|
|
void BasicBlockPass::addToPassManager(PassManagerT<Function> *PM,
|
|
AnalysisUsage &AU) {
|
|
PM->addPass(this, AU);
|
|
}
|
|
|
|
void BasicBlockPass::addToPassManager(PassManagerT<BasicBlock> *PM,
|
|
AnalysisUsage &AU) {
|
|
PM->addPass(this, AU);
|
|
}
|
|
|