mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-03-04 18:38:37 +00:00
* Eliminate the Provided set. All Passes now finally just automatically
provide themselves. llvm-svn: 3125
This commit is contained in:
parent
b202b77aab
commit
ef6729c9ca
@ -132,7 +132,6 @@ public:
|
||||
// getAnalysisUsage - This obviously provides a call graph
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
|
||||
// releaseMemory - Data structures can be large, so free memory aggressively.
|
||||
|
@ -350,7 +350,6 @@ public:
|
||||
// getAnalysisUsage - This obviously provides a data structure graph.
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
};
|
||||
|
||||
@ -385,7 +384,6 @@ public:
|
||||
// getAnalysisUsage - This obviously provides a data structure graph.
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
AU.addRequired(LocalDataStructures::ID);
|
||||
}
|
||||
private:
|
||||
@ -427,7 +425,6 @@ public:
|
||||
// getAnalysisUsage - This obviously provides a data structure graph.
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
AU.addRequired(BUDataStructures::ID);
|
||||
}
|
||||
private:
|
||||
|
@ -106,7 +106,6 @@ struct DominatorSet : public DominatorSetBase {
|
||||
// getAnalysisUsage - This simply provides a dominator set
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
};
|
||||
|
||||
@ -184,7 +183,6 @@ struct ImmediateDominators : public ImmediateDominatorsBase {
|
||||
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
AU.addRequired(DominatorSet::ID);
|
||||
}
|
||||
};
|
||||
@ -210,7 +208,6 @@ struct ImmediatePostDominators : public ImmediateDominatorsBase {
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addRequired(PostDominatorSet::ID);
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
};
|
||||
|
||||
@ -290,7 +287,6 @@ struct DominatorTree : public DominatorTreeBase {
|
||||
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
AU.addRequired(DominatorSet::ID);
|
||||
}
|
||||
private:
|
||||
@ -318,7 +314,6 @@ struct PostDominatorTree : public DominatorTreeBase {
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addRequired(PostDominatorSet::ID);
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
private:
|
||||
void calculate(const PostDominatorSet &DS);
|
||||
@ -370,7 +365,6 @@ struct DominanceFrontier : public DominanceFrontierBase {
|
||||
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
AU.addRequired(DominatorTree::ID);
|
||||
}
|
||||
private:
|
||||
@ -400,7 +394,6 @@ struct PostDominanceFrontier : public DominanceFrontierBase {
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addRequired(PostDominatorTree::ID);
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
private:
|
||||
const DomSetType &calculate(const PostDominatorTree &DT,
|
||||
|
@ -47,7 +47,6 @@ public:
|
||||
//
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
};
|
||||
|
||||
|
@ -46,7 +46,6 @@ public:
|
||||
//
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
};
|
||||
|
||||
|
@ -73,7 +73,6 @@ public:
|
||||
// getAnalysisUsage - Implement the Pass API
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
||||
AU.setPreservesAll();
|
||||
AU.addProvided(ID);
|
||||
}
|
||||
|
||||
private:
|
||||
|
@ -23,7 +23,6 @@ public:
|
||||
BasicBlock *getExitNode() const { return ExitNode; }
|
||||
|
||||
virtual bool runOnFunction(Function &F);
|
||||
virtual void getAnalysisUsage(AnalysisUsage &AU) const { AU.addProvided(ID); }
|
||||
};
|
||||
|
||||
static inline Pass *createUnifyFunctionExitNodesPass() {
|
||||
|
@ -81,7 +81,7 @@ class PassManagerT : public PassManagerTraits<UnitType>,public AnalysisResolver{
|
||||
friend typename Traits::SubPassClass;
|
||||
friend class Traits;
|
||||
|
||||
std::vector<PassClass*> Passes; // List of pass's to run
|
||||
std::vector<PassClass*> Passes; // List of passes to run
|
||||
|
||||
// The parent of this pass manager...
|
||||
ParentClass * const Parent;
|
||||
@ -160,8 +160,6 @@ public:
|
||||
(Annotable*)M);
|
||||
PMDebug::PrintAnalysisSetInfo(getDepth(), "Preserved", P,
|
||||
AnUsage.getPreservedSet());
|
||||
PMDebug::PrintAnalysisSetInfo(getDepth(), "Provided", P,
|
||||
AnUsage.getProvidedSet());
|
||||
|
||||
|
||||
// Erase all analyses not in the preserved set...
|
||||
@ -183,11 +181,11 @@ public:
|
||||
}
|
||||
}
|
||||
|
||||
// Add all analyses in the provided set...
|
||||
for (std::vector<AnalysisID>::const_iterator
|
||||
I = AnUsage.getProvidedSet().begin(),
|
||||
E = AnUsage.getProvidedSet().end(); I != E; ++I)
|
||||
CurrentAnalyses[*I] = P;
|
||||
// Add the current pass to the set of passes that have been run, and are
|
||||
// thus available to users.
|
||||
//
|
||||
if (const PassInfo *PI = P->getPassInfo())
|
||||
CurrentAnalyses[PI] = P;
|
||||
|
||||
// Free memory for any passes that we are the last use of...
|
||||
std::vector<Pass*> &DeadPass = LastUserOf[P];
|
||||
@ -214,7 +212,7 @@ public:
|
||||
for (std::map<Pass*, Pass*>::iterator I = LastUseOf.begin(),
|
||||
E = LastUseOf.end(); I != E; ++I) {
|
||||
if (P == I->second) {
|
||||
std::cerr << "Fr" << std::string(Offset*2, ' ');
|
||||
std::cerr << "--" << std::string(Offset*2, ' ');
|
||||
I->first->dumpPassStructure(0);
|
||||
}
|
||||
}
|
||||
@ -321,13 +319,13 @@ private:
|
||||
//
|
||||
void addPass(PassClass *P, AnalysisUsage &AnUsage) {
|
||||
const std::vector<AnalysisID> &RequiredSet = AnUsage.getRequiredSet();
|
||||
const std::vector<AnalysisID> &ProvidedSet = AnUsage.getProvidedSet();
|
||||
|
||||
// Providers are analysis classes which are forbidden to modify the module
|
||||
// they are operating on, so they are allowed to be reordered to before the
|
||||
// batcher...
|
||||
// FIXME: If this pass being added isn't killed by any of the passes in the
|
||||
// batcher class then we can reorder to pass to execute before the batcher
|
||||
// does, which will potentially allow us to batch more passes!
|
||||
//
|
||||
if (Batcher && ProvidedSet.empty())
|
||||
//const std::vector<AnalysisID> &ProvidedSet = AnUsage.getProvidedSet();
|
||||
if (Batcher /*&& ProvidedSet.empty()*/)
|
||||
closeBatcher(); // This pass cannot be batched!
|
||||
|
||||
// Set the Resolver instance variable in the Pass so that it knows where to
|
||||
@ -362,10 +360,9 @@ private:
|
||||
}
|
||||
}
|
||||
|
||||
// Add all analyses in the provided set...
|
||||
for (std::vector<AnalysisID>::const_iterator I = ProvidedSet.begin(),
|
||||
E = ProvidedSet.end(); I != E; ++I)
|
||||
CurrentAnalyses[*I] = P;
|
||||
// Add this pass to the currently available set...
|
||||
if (const PassInfo *PI = P->getPassInfo())
|
||||
CurrentAnalyses[PI] = P;
|
||||
|
||||
// For now assume that our results are never used...
|
||||
LastUseOf[P] = P;
|
||||
@ -378,7 +375,7 @@ private:
|
||||
void addPass(SubPassClass *MP, AnalysisUsage &AnUsage) {
|
||||
if (Batcher == 0) // If we don't have a batcher yet, make one now.
|
||||
Batcher = new BatcherClass(this);
|
||||
// The Batcher will queue them passes up
|
||||
// The Batcher will queue the passes up
|
||||
MP->addToPassManager(Batcher, AnUsage);
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user