mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-17 05:29:24 +00:00
- Pass now has AnalysisImpls class to implement getAnalysis() so that it is
correct even when called back by another passes run method. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3531 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
1a24282b5c
commit
76a8f7fb5a
@ -47,6 +47,12 @@ class Pass {
|
|||||||
friend class AnalysisResolver;
|
friend class AnalysisResolver;
|
||||||
AnalysisResolver *Resolver; // AnalysisResolver this pass is owned by...
|
AnalysisResolver *Resolver; // AnalysisResolver this pass is owned by...
|
||||||
const PassInfo *PassInfoCache;
|
const PassInfo *PassInfoCache;
|
||||||
|
|
||||||
|
// AnalysisImpls - This keeps track of which passes implement the interfaces
|
||||||
|
// that are required by the current pass (to implement getAnalysis()).
|
||||||
|
//
|
||||||
|
std::vector<std::pair<const PassInfo*, Pass*> > AnalysisImpls;
|
||||||
|
|
||||||
void operator=(const Pass&); // DO NOT IMPLEMENT
|
void operator=(const Pass&); // DO NOT IMPLEMENT
|
||||||
Pass(const Pass &); // DO NOT IMPLEMENT
|
Pass(const Pass &); // DO NOT IMPLEMENT
|
||||||
public:
|
public:
|
||||||
@ -129,24 +135,36 @@ protected:
|
|||||||
AnalysisType &getAnalysis() const {
|
AnalysisType &getAnalysis() const {
|
||||||
assert(Resolver && "Pass has not been inserted into a PassManager object!");
|
assert(Resolver && "Pass has not been inserted into a PassManager object!");
|
||||||
const PassInfo *PI = getClassPassInfo<AnalysisType>();
|
const PassInfo *PI = getClassPassInfo<AnalysisType>();
|
||||||
assert(PI && "getAnalysis for unregistered pass!");
|
return getAnalysisID<AnalysisType>(PI);
|
||||||
|
|
||||||
// Because the AnalysisType may not be a subclass of pass (for
|
|
||||||
// AnalysisGroups), we must use dynamic_cast here to potentially adjust the
|
|
||||||
// return pointer (because the class may multiply inherit, once from pass,
|
|
||||||
// once from AnalysisType).
|
|
||||||
//
|
|
||||||
AnalysisType *Result =
|
|
||||||
dynamic_cast<AnalysisType*>(Resolver->getAnalysis(PI));
|
|
||||||
assert(Result && "Pass does not implement interface required!");
|
|
||||||
return *Result;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
template<typename AnalysisType>
|
template<typename AnalysisType>
|
||||||
AnalysisType &getAnalysisID(const PassInfo *PI) const {
|
AnalysisType &getAnalysisID(const PassInfo *PI) const {
|
||||||
assert(Resolver && "Pass has not been inserted into a PassManager object!");
|
assert(Resolver && "Pass has not been inserted into a PassManager object!");
|
||||||
assert(PI && "getAnalysis for unregistered pass!");
|
assert(PI && "getAnalysis for unregistered pass!");
|
||||||
return *dynamic_cast<AnalysisType*>(Resolver->getAnalysis(PI));
|
|
||||||
|
// PI *must* appear in AnalysisImpls. Because the number of passes used
|
||||||
|
// should be a small number, we just do a linear search over a (dense)
|
||||||
|
// vector.
|
||||||
|
Pass *ResultPass = 0;
|
||||||
|
for (unsigned i = 0; ; ++i) {
|
||||||
|
assert(i != AnalysisImpls.size() &&
|
||||||
|
"getAnalysis*() called on an analysis that we not "
|
||||||
|
"'required' by pass!");
|
||||||
|
if (AnalysisImpls[i].first == PI) {
|
||||||
|
ResultPass = AnalysisImpls[i].second;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Because the AnalysisType may not be a subclass of pass (for
|
||||||
|
// AnalysisGroups), we must use dynamic_cast here to potentially adjust the
|
||||||
|
// return pointer (because the class may multiply inherit, once from pass,
|
||||||
|
// once from AnalysisType).
|
||||||
|
//
|
||||||
|
AnalysisType *Result = dynamic_cast<AnalysisType*>(ResultPass);
|
||||||
|
assert(Result && "Pass does not implement interface required!");
|
||||||
|
return *Result;
|
||||||
}
|
}
|
||||||
|
|
||||||
/// getAnalysisToUpdate<AnalysisType>() - This function is used by subclasses
|
/// getAnalysisToUpdate<AnalysisType>() - This function is used by subclasses
|
||||||
|
Loading…
Reference in New Issue
Block a user