blob: 0508b3cb281a35326c7548e1c5f48aad448644d1 [file] [log] [blame]
Chandler Carruth74015a72013-11-13 01:12:08 +00001//===- PassManager.h - Infrastructure for managing & running IR passes ----===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/IR/PassManager.h"
11#include "llvm/ADT/STLExtras.h"
12
13using namespace llvm;
14
Chandler Carruthc0bfa8c2013-11-20 11:31:50 +000015PreservedAnalyses ModulePassManager::run(Module *M) {
16 PreservedAnalyses PA = PreservedAnalyses::all();
17 for (unsigned Idx = 0, Size = Passes.size(); Idx != Size; ++Idx) {
18 PreservedAnalyses PassPA = Passes[Idx]->run(M);
19 if (AM)
20 AM->invalidate(M, PassPA);
21 PA.intersect(llvm_move(PassPA));
22 }
23 return PA;
Chandler Carruthed1ffe02013-11-20 04:01:38 +000024}
25
Chandler Carruthc0bfa8c2013-11-20 11:31:50 +000026void ModuleAnalysisManager::invalidate(Module *M, const PreservedAnalyses &PA) {
Chandler Carruthed1ffe02013-11-20 04:01:38 +000027 // FIXME: This is a total hack based on the fact that erasure doesn't
28 // invalidate iteration for DenseMap.
29 for (ModuleAnalysisResultMapT::iterator I = ModuleAnalysisResults.begin(),
30 E = ModuleAnalysisResults.end();
31 I != E; ++I)
Chandler Carruthc0bfa8c2013-11-20 11:31:50 +000032 if (!PA.preserved(I->first) && I->second->invalidate(M))
Chandler Carruthed1ffe02013-11-20 04:01:38 +000033 ModuleAnalysisResults.erase(I);
34}
35
36const detail::AnalysisResultConcept<Module> &
37ModuleAnalysisManager::getResultImpl(void *PassID, Module *M) {
38 ModuleAnalysisResultMapT::iterator RI;
39 bool Inserted;
40 llvm::tie(RI, Inserted) = ModuleAnalysisResults.insert(std::make_pair(
41 PassID, polymorphic_ptr<detail::AnalysisResultConcept<Module> >()));
42
43 if (Inserted) {
44 // We don't have a cached result for this result. Look up the pass and run
45 // it to produce a result, which we then add to the cache.
46 ModuleAnalysisPassMapT::const_iterator PI =
47 ModuleAnalysisPasses.find(PassID);
48 assert(PI != ModuleAnalysisPasses.end() &&
49 "Analysis passes must be registered prior to being queried!");
50 RI->second = PI->second->run(M);
51 }
52
53 return *RI->second;
54}
55
56void ModuleAnalysisManager::invalidateImpl(void *PassID, Module *M) {
57 ModuleAnalysisResults.erase(PassID);
Chandler Carruth74015a72013-11-13 01:12:08 +000058}
59
Chandler Carruthc0bfa8c2013-11-20 11:31:50 +000060PreservedAnalyses FunctionPassManager::run(Function *F) {
61 PreservedAnalyses PA = PreservedAnalyses::all();
62 for (unsigned Idx = 0, Size = Passes.size(); Idx != Size; ++Idx) {
63 PreservedAnalyses PassPA = Passes[Idx]->run(F);
64 if (AM)
65 AM->invalidate(F, PassPA);
66 PA.intersect(llvm_move(PassPA));
67 }
68 return PA;
Chandler Carruth74015a72013-11-13 01:12:08 +000069}
70
Chandler Carruthc0bfa8c2013-11-20 11:31:50 +000071void FunctionAnalysisManager::invalidate(Function *F, const PreservedAnalyses &PA) {
Chandler Carruthed1ffe02013-11-20 04:01:38 +000072 // Clear all the invalidated results associated specifically with this
Chandler Carruth74015a72013-11-13 01:12:08 +000073 // function.
74 SmallVector<void *, 8> InvalidatedPassIDs;
75 FunctionAnalysisResultListT &ResultsList = FunctionAnalysisResultLists[F];
76 for (FunctionAnalysisResultListT::iterator I = ResultsList.begin(),
77 E = ResultsList.end();
Chandler Carruth8c60bc92013-11-15 21:56:44 +000078 I != E;)
Chandler Carruthc0bfa8c2013-11-20 11:31:50 +000079 if (!PA.preserved(I->first) && I->second->invalidate(F)) {
Chandler Carruth8c60bc92013-11-15 21:56:44 +000080 InvalidatedPassIDs.push_back(I->first);
81 I = ResultsList.erase(I);
82 } else {
83 ++I;
Chandler Carruth74015a72013-11-13 01:12:08 +000084 }
85 while (!InvalidatedPassIDs.empty())
86 FunctionAnalysisResults.erase(
87 std::make_pair(InvalidatedPassIDs.pop_back_val(), F));
88}
89
Chandler Carruthed1ffe02013-11-20 04:01:38 +000090const detail::AnalysisResultConcept<Function> &
91FunctionAnalysisManager::getResultImpl(void *PassID, Function *F) {
Chandler Carruth74015a72013-11-13 01:12:08 +000092 FunctionAnalysisResultMapT::iterator RI;
93 bool Inserted;
94 llvm::tie(RI, Inserted) = FunctionAnalysisResults.insert(std::make_pair(
95 std::make_pair(PassID, F), FunctionAnalysisResultListT::iterator()));
96
97 if (Inserted) {
98 // We don't have a cached result for this result. Look up the pass and run
99 // it to produce a result, which we then add to the cache.
100 FunctionAnalysisPassMapT::const_iterator PI =
101 FunctionAnalysisPasses.find(PassID);
102 assert(PI != FunctionAnalysisPasses.end() &&
103 "Analysis passes must be registered prior to being queried!");
104 FunctionAnalysisResultListT &ResultList = FunctionAnalysisResultLists[F];
105 ResultList.push_back(std::make_pair(PassID, PI->second->run(F)));
106 RI->second = llvm::prior(ResultList.end());
107 }
108
109 return *RI->second->second;
110}
111
Chandler Carruthed1ffe02013-11-20 04:01:38 +0000112void FunctionAnalysisManager::invalidateImpl(void *PassID, Function *F) {
Chandler Carruth1205a6c2013-11-15 21:44:35 +0000113 FunctionAnalysisResultMapT::iterator RI =
114 FunctionAnalysisResults.find(std::make_pair(PassID, F));
Chandler Carruth74015a72013-11-13 01:12:08 +0000115 if (RI == FunctionAnalysisResults.end())
116 return;
117
118 FunctionAnalysisResultLists[F].erase(RI->second);
119}