15#ifndef LLVM_IR_PASSMANAGERIMPL_H
16#define LLVM_IR_PASSMANAGERIMPL_H
28template <
typename IRUnitT,
typename AnalysisManagerT,
typename... ExtraArgTs>
30 IRUnitT &
IR, AnalysisManagerT &AM, ExtraArgTs... ExtraArgs) {
42 OS <<
"Running pass \"";
60 detail::getAnalysisResult<PassInstrumentationAnalysis>(
61 AM,
IR, std::tuple<ExtraArgTs...>(ExtraArgs...));
74 StackTraceEntry Entry(PI, *
Pass,
IR);
79 AM.invalidate(
IR, PassPA);
99template <
typename IRUnitT,
typename... ExtraArgTs>
102template <
typename IRUnitT,
typename... ExtraArgTs>
106template <
typename IRUnitT,
typename... ExtraArgTs>
111template <
typename IRUnitT,
typename... ExtraArgTs>
115 if (
auto *PI = getCachedResult<PassInstrumentationAnalysis>(
IR))
116 PI->runAnalysesCleared(
Name);
118 auto ResultsListI = AnalysisResultLists.find(&
IR);
119 if (ResultsListI == AnalysisResultLists.end())
122 for (
auto &IDAndResult : ResultsListI->second)
123 AnalysisResults.erase({IDAndResult.first, &
IR});
126 AnalysisResultLists.erase(ResultsListI);
129template <
typename IRUnitT,
typename... ExtraArgTs>
130inline typename AnalysisManager<IRUnitT, ExtraArgTs...>::ResultConceptT &
133 typename AnalysisResultMapT::iterator RI;
135 std::tie(RI, Inserted) = AnalysisResults.insert(std::make_pair(
136 std::make_pair(
ID, &
IR),
typename AnalysisResultListT::iterator()));
141 auto &
P = this->lookUpPass(
ID);
145 PI = getResult<PassInstrumentationAnalysis>(
IR, ExtraArgs...);
149 AnalysisResultListT &ResultList = AnalysisResultLists[&
IR];
150 ResultList.emplace_back(
ID,
P.run(
IR, *
this, ExtraArgs...));
156 RI = AnalysisResults.find({
ID, &
IR});
157 assert(RI != AnalysisResults.end() &&
"we just inserted it!");
159 RI->second = std::prev(ResultList.end());
162 return *RI->second->second;
165template <
typename IRUnitT,
typename... ExtraArgTs>
175 Invalidator Inv(IsResultInvalidated, AnalysisResults);
176 AnalysisResultListT &ResultsList = AnalysisResultLists[&
IR];
177 for (
auto &AnalysisResultPair : ResultsList) {
183 auto &Result = *AnalysisResultPair.second;
185 auto IMapI = IsResultInvalidated.
find(
ID);
186 if (IMapI != IsResultInvalidated.
end())
196 IsResultInvalidated.
insert({
ID, Result.invalidate(
IR, PA, Inv)}).second;
198 assert(Inserted &&
"Should never have already inserted this ID, likely "
199 "indicates a cycle!");
203 if (!IsResultInvalidated.
empty()) {
204 for (
auto I = ResultsList.begin(),
E = ResultsList.end();
I !=
E;) {
205 AnalysisKey *
ID =
I->first;
206 if (!IsResultInvalidated.
lookup(
ID)) {
211 if (
auto *PI = getCachedResult<PassInstrumentationAnalysis>(
IR))
214 I = ResultsList.erase(
I);
215 AnalysisResults.erase({
ID, &
IR});
219 if (ResultsList.empty())
220 AnalysisResultLists.erase(&
IR);
aarch64 AArch64 CCMP Pass
static void print(raw_ostream &Out, object::Archive::Kind Kind, T Val)
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
Legalize the Machine IR a function s Machine IR
This file defines the Pass Instrumentation classes that provide instrumentation points into the pass ...
llvm::cl::opt< bool > UseNewDbgInfoFormat
This header defines various interfaces for pass management in LLVM.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static const char PassName[]
This templated class represents "all analyses that operate over <a particular IR unit>" (e....
API to communicate dependencies between analyses during invalidation.
A container for analyses that lazily runs them and caches their results.
AnalysisManager()
Construct an empty analysis manager.
void clear()
Clear all analysis results cached by this AnalysisManager.
AnalysisManager & operator=(AnalysisManager &&)
void invalidate(IRUnitT &IR, const PreservedAnalyses &PA)
Invalidate cached analyses for an IR unit.
ValueT lookup(const_arg_type_t< KeyT > Val) const
lookup - Return the entry for the specified key, or a default constructed value if no such entry exis...
iterator find(const_arg_type_t< KeyT > Val)
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
This class provides instrumentation entry points for the Pass Manager, doing calls to callbacks regis...
void runBeforeAnalysis(const PassT &Analysis, const IRUnitT &IR) const
BeforeAnalysis instrumentation point - takes Analysis instance to be executed and constant reference ...
void runAnalysisInvalidated(const PassT &Analysis, const IRUnitT &IR) const
AnalysisInvalidated instrumentation point - takes Analysis instance that has just been invalidated an...
StringRef getPassNameForClassName(StringRef ClassName) const
Get the pass name for a given pass class name.
void runAfterPass(const PassT &Pass, const IRUnitT &IR, const PreservedAnalyses &PA) const
AfterPass instrumentation point - takes Pass instance that has just been executed and constant refere...
void runAfterAnalysis(const PassT &Analysis, const IRUnitT &IR) const
AfterAnalysis instrumentation point - takes Analysis instance that has just been executed and constan...
bool runBeforePass(const PassT &Pass, const IRUnitT &IR) const
BeforePass instrumentation point - takes Pass instance to be executed and constant reference to IR it...
PreservedAnalyses run(IRUnitT &IR, AnalysisManagerT &AM, ExtraArgTs... ExtraArgs)
Run all of the passes in this manager over the given unit of IR.
Pass interface - Implemented by all 'passes'.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
bool allAnalysesInSetPreserved() const
Directly test whether a set of analyses is preserved.
void intersect(const PreservedAnalyses &Arg)
Intersect this set with another in place.
void preserveSet()
Mark an analysis set as preserved.
PrettyStackTraceEntry - This class is used to represent a frame of the "pretty" stack trace that is d...
StringRef - Represent a constant reference to a string, i.e.
This class implements an extremely fast bulk output stream that can only output to a stream.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
This is an optimization pass for GlobalISel generic memory operations.
void printIRUnitNameForStackTrace(raw_ostream &OS, const IRUnitT &IR)
static AnalysisKey * ID()
Returns an opaque, unique ID for this analysis type.
A special type used by analysis passes to provide an address that identifies that particular analysis...