[PM] Add support to the analysis managers to query explicitly for cached

results.

This is the last piece of infrastructure needed to effectively support
querying *up* the analysis layers. The next step will be to introduce
a proxy which provides access to those layers with appropriate use of
const to direct queries to the safe interface.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@195525 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chandler Carruth
2013-11-23 00:38:42 +00:00
parent 43d67d01e2
commit b88831b204
3 changed files with 95 additions and 5 deletions

View File

@@ -460,6 +460,26 @@ public:
return static_cast<const ResultModelT &>(ResultConcept).Result;
}
/// \brief Get the cached result of an analysis pass for this module.
///
/// This method never runs the analysis.
///
/// \returns null if there is no cached result.
template <typename PassT>
const typename PassT::Result *getCachedResult(Module *M) const {
assert(ModuleAnalysisPasses.count(PassT::ID()) &&
"This analysis pass was not registered prior to being queried");
const detail::AnalysisResultConcept<Module *> *ResultConcept =
getCachedResultImpl(PassT::ID(), M);
if (!ResultConcept)
return 0;
typedef detail::AnalysisResultModel<Module *, PassT, typename PassT::Result>
ResultModelT;
return &static_cast<const ResultModelT *>(ResultConcept)->Result;
}
/// \brief Register an analysis pass with the manager.
///
/// This provides an initialized and set-up analysis pass to the
@@ -495,6 +515,10 @@ private:
const detail::AnalysisResultConcept<Module *> &getResultImpl(void *PassID,
Module *M);
/// \brief Get a cached module pass result or return null.
const detail::AnalysisResultConcept<Module *> *
getCachedResultImpl(void *PassID, Module *M) const;
/// \brief Invalidate a module pass result.
void invalidateImpl(void *PassID, Module *M);
@@ -537,6 +561,26 @@ public:
return static_cast<const ResultModelT &>(ResultConcept).Result;
}
/// \brief Get the cached result of an analysis pass for a function if
/// available.
///
/// Does not run the analysis ever.
/// \returns null if a cached result is not available.
template <typename PassT>
const typename PassT::Result *getCachedResult(Function *F) {
assert(FunctionAnalysisPasses.count(PassT::ID()) &&
"This analysis pass was not registered prior to being queried");
const detail::AnalysisResultConcept<Function *> *ResultConcept =
getCachedResultImpl(PassT::ID(), F);
if (!ResultConcept)
return 0;
typedef detail::AnalysisResultModel<Function *, PassT,
typename PassT::Result> ResultModelT;
return &static_cast<const ResultModelT *>(ResultConcept)->Result;
}
/// \brief Register an analysis pass with the manager.
///
/// This provides an initialized and set-up analysis pass to the
@@ -583,6 +627,10 @@ private:
const detail::AnalysisResultConcept<Function *> &getResultImpl(void *PassID,
Function *F);
/// \brief Get a cached function pass result or return null.
const detail::AnalysisResultConcept<Function *> *
getCachedResultImpl(void *PassID, Function *F) const;
/// \brief Invalidate a function pass result.
void invalidateImpl(void *PassID, Function *F);