StandardPasses.cpp [plain text]
#include "llvm/PassManager.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/ManagedStatic.h"
#include "llvm/DefaultPasses.h"
#include "llvm/Support/Mutex.h"
using namespace llvm::DefaultStandardPasses;
using namespace llvm;
namespace {
struct StandardPassEntry {
PassInfo::NormalCtor_t createPass;
unsigned char *passID;
unsigned flags;
StandardPassEntry(PassInfo::NormalCtor_t constructor, unsigned char *ID,
unsigned f) : createPass(constructor), passID(ID), flags(f) {};
};
static llvm::SmallVector<StandardPassEntry, 4> AAPasses;
static llvm::SmallVector<StandardPassEntry, 32> FunctionPasses;
static llvm::SmallVector<StandardPassEntry, 32> ModulePasses;
static llvm::SmallVector<StandardPassEntry, 32> LTOPasses;
struct UnresolvedStandardPass : public StandardPassEntry {
StandardPass::StandardSet set;
unsigned char *next;
UnresolvedStandardPass(PassInfo::NormalCtor_t constructor,
unsigned char *newPass,
unsigned char *oldPass,
StandardPass::StandardSet s,
unsigned f) :
StandardPassEntry(constructor, newPass, f), set(s), next(oldPass) {}
};
static llvm::SmallVector<UnresolvedStandardPass, 16> UnresolvedPasses;
llvm::SmallVectorImpl<StandardPassEntry>&
PassList(StandardPass::StandardSet set) {
switch (set) {
case StandardPass::AliasAnalysis: return AAPasses;
case StandardPass::Function: return FunctionPasses;
case StandardPass::Module: return ModulePasses;
case StandardPass::LTO: return LTOPasses;
}
llvm_unreachable("Invalid standard optimization set requested");
}
static ManagedStatic<sys::SmartMutex<true> > Lock;
void RegisterDefaultStandardPasses(void(*doRegister)(void)) {
static volatile bool initialized = false;
if (initialized) return;
llvm::sys::SmartScopedLock<true> Guard(*Lock);
if (initialized) return;
if (doRegister) {
assert("No passes registered before setting default passes" &&
AAPasses.size() == 0 &&
FunctionPasses.size() == 0 &&
LTOPasses.size() == 0 &&
ModulePasses.size() == 0);
initialized = true;
doRegister();
}
}
}
void (*StandardPass::RegisterDefaultPasses)(void);
Pass* (*StandardPass::CreateVerifierPass)(void);
void StandardPass::RegisterDefaultPass(PassInfo::NormalCtor_t constructor,
unsigned char *newPass,
unsigned char *oldPass,
StandardPass::StandardSet set,
unsigned flags) {
RegisterDefaultStandardPasses(RegisterDefaultPasses);
llvm::SmallVectorImpl<StandardPassEntry>& passList = PassList(set);
if (!oldPass) {
StandardPassEntry pass(constructor, newPass, flags);
passList.push_back(pass);
return;
}
for (SmallVectorImpl<StandardPassEntry>::iterator i=passList.begin(),
e=passList.end() ; i!=e ; ++i) {
if (i->passID == oldPass) {
StandardPassEntry pass(constructor, newPass, flags);
passList.insert(i, pass);
for (SmallVectorImpl<UnresolvedStandardPass>::iterator
u=UnresolvedPasses.begin(), eu=UnresolvedPasses.end() ; u!=eu ; ++u){
if (u->next == newPass && u->set == set) {
UnresolvedStandardPass p = *u;
UnresolvedPasses.erase(u);
RegisterDefaultPass(p.createPass, p.passID, p.next, p.set, p.flags);
}
}
return;
}
}
UnresolvedStandardPass pass(constructor, newPass, oldPass, set, flags);
UnresolvedPasses.push_back(pass);
}
void StandardPass::AddPassesFromSet(PassManagerBase *PM,
StandardSet set,
unsigned flags,
bool VerifyEach,
Pass *inliner) {
RegisterDefaultStandardPasses(RegisterDefaultPasses);
unsigned level = OptimizationLevel(flags);
flags = RequiredFlags(flags);
llvm::SmallVectorImpl<StandardPassEntry>& passList = PassList(set);
for (SmallVectorImpl<StandardPassEntry>::iterator i=passList.begin(),
e=passList.end() ; i!=e ; ++i) {
if ((level >= OptimizationLevel(i->flags)) &&
((level <= MaxOptimizationLevel(i->flags))
|| MaxOptimizationLevel(i->flags) == 0) &&
((RequiredFlags(i->flags) & flags) == RequiredFlags(i->flags)) &&
((DisallowedFlags(i->flags) & flags) == 0)) {
Pass *p = 0;
if (&InlinerPlaceholderID == i->passID) {
p = inliner;
} else if (i->createPass)
p = i->createPass();
if (p) {
PM->add(p);
if (VerifyEach)
PM->add(CreateVerifierPass());
}
}
}
}
unsigned char DefaultStandardPasses::AggressiveDCEID;
unsigned char DefaultStandardPasses::ArgumentPromotionID;
unsigned char DefaultStandardPasses::BasicAliasAnalysisID;
unsigned char DefaultStandardPasses::CFGSimplificationID;
unsigned char DefaultStandardPasses::ConstantMergeID;
unsigned char DefaultStandardPasses::CorrelatedValuePropagationID;
unsigned char DefaultStandardPasses::DeadArgEliminationID;
unsigned char DefaultStandardPasses::DeadStoreEliminationID;
unsigned char DefaultStandardPasses::DeadTypeEliminationID;
unsigned char DefaultStandardPasses::EarlyCSEID;
unsigned char DefaultStandardPasses::FunctionAttrsID;
unsigned char DefaultStandardPasses::FunctionInliningID;
unsigned char DefaultStandardPasses::GVNID;
unsigned char DefaultStandardPasses::GlobalDCEID;
unsigned char DefaultStandardPasses::GlobalOptimizerID;
unsigned char DefaultStandardPasses::GlobalsModRefID;
unsigned char DefaultStandardPasses::IPSCCPID;
unsigned char DefaultStandardPasses::IndVarSimplifyID;
unsigned char DefaultStandardPasses::InlinerPlaceholderID;
unsigned char DefaultStandardPasses::InstructionCombiningID;
unsigned char DefaultStandardPasses::JumpThreadingID;
unsigned char DefaultStandardPasses::LICMID;
unsigned char DefaultStandardPasses::LoopDeletionID;
unsigned char DefaultStandardPasses::LoopIdiomID;
unsigned char DefaultStandardPasses::LoopRotateID;
unsigned char DefaultStandardPasses::LoopUnrollID;
unsigned char DefaultStandardPasses::LoopUnswitchID;
unsigned char DefaultStandardPasses::MemCpyOptID;
unsigned char DefaultStandardPasses::PruneEHID;
unsigned char DefaultStandardPasses::ReassociateID;
unsigned char DefaultStandardPasses::SCCPID;
unsigned char DefaultStandardPasses::ScalarReplAggregatesID;
unsigned char DefaultStandardPasses::SimplifyLibCallsID;
unsigned char DefaultStandardPasses::StripDeadPrototypesID;
unsigned char DefaultStandardPasses::TailCallEliminationID;
unsigned char DefaultStandardPasses::TypeBasedAliasAnalysisID;