From 77b655c1c9b155441e34813223f172fa5a57891b Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Wed, 5 Feb 2014 21:41:42 +0000 Subject: [PM] Don't require analysis results to be const in the new pass manager. I think this was just over-eagerness on my part. The analysis results need to often be non-const because they need to (in some cases at least) be updated by the transformation pass in order to remain correct. It also makes lazy analyses (a common case) needlessly annoying to write in order to make their entire state mutable. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200881 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/IR/PassManager.h | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'include') diff --git a/include/llvm/IR/PassManager.h b/include/llvm/IR/PassManager.h index 09eb10b846..93d04344f8 100644 --- a/include/llvm/IR/PassManager.h +++ b/include/llvm/IR/PassManager.h @@ -481,15 +481,15 @@ public: /// /// If there is not a valid cached result in the manager already, this will /// re-run the analysis to produce a valid result. - template const typename PassT::Result &getResult(IRUnitT IR) { + template typename PassT::Result &getResult(IRUnitT IR) { assert(AnalysisPasses.count(PassT::ID()) && "This analysis pass was not registered prior to being queried"); - const ResultConceptT &ResultConcept = + ResultConceptT &ResultConcept = derived_this()->getResultImpl(PassT::ID(), IR); typedef detail::AnalysisResultModel ResultModelT; - return static_cast(ResultConcept).Result; + return static_cast(ResultConcept).Result; } /// \brief Get the cached result of an analysis pass for this module. @@ -498,18 +498,18 @@ public: /// /// \returns null if there is no cached result. template - const typename PassT::Result *getCachedResult(IRUnitT IR) const { + typename PassT::Result *getCachedResult(IRUnitT IR) const { assert(AnalysisPasses.count(PassT::ID()) && "This analysis pass was not registered prior to being queried"); - const ResultConceptT *ResultConcept = + ResultConceptT *ResultConcept = derived_this()->getCachedResultImpl(PassT::ID(), IR); if (!ResultConcept) return 0; typedef detail::AnalysisResultModel ResultModelT; - return &static_cast(ResultConcept)->Result; + return &static_cast(ResultConcept)->Result; } /// \brief Register an analysis pass with the manager. @@ -582,10 +582,10 @@ public: private: /// \brief Get a module pass result, running the pass if necessary. - const ResultConceptT &getResultImpl(void *PassID, Module *M); + ResultConceptT &getResultImpl(void *PassID, Module *M); /// \brief Get a cached module pass result or return null. - const ResultConceptT *getCachedResultImpl(void *PassID, Module *M) const; + ResultConceptT *getCachedResultImpl(void *PassID, Module *M) const; /// \brief Invalidate a module pass result. void invalidateImpl(void *PassID, Module *M); @@ -627,10 +627,10 @@ public: private: /// \brief Get a function pass result, running the pass if necessary. - const ResultConceptT &getResultImpl(void *PassID, Function *F); + ResultConceptT &getResultImpl(void *PassID, Function *F); /// \brief Get a cached function pass result or return null. - const ResultConceptT *getCachedResultImpl(void *PassID, Function *F) const; + ResultConceptT *getCachedResultImpl(void *PassID, Function *F) const; /// \brief Invalidate a function pass result. void invalidateImpl(void *PassID, Function *F); @@ -711,7 +711,7 @@ public: ~Result(); /// \brief Accessor for the \c FunctionAnalysisManager. - FunctionAnalysisManager &getManager() const { return FAM; } + FunctionAnalysisManager &getManager() { return FAM; } /// \brief Handler for invalidation of the module. /// -- cgit v1.2.3