LLVM 22.0.0git
PassInstrumentation.h
Go to the documentation of this file.
1//===- llvm/IR/PassInstrumentation.h ----------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8/// \file
9///
10/// This file defines the Pass Instrumentation classes that provide
11/// instrumentation points into the pass execution by PassManager.
12///
13/// There are two main classes:
14/// - PassInstrumentation provides a set of instrumentation points for
15/// pass managers to call on.
16///
17/// - PassInstrumentationCallbacks registers callbacks and provides access
18/// to them for PassInstrumentation.
19///
20/// PassInstrumentation object is being used as a result of
21/// PassInstrumentationAnalysis (so it is intended to be easily copyable).
22///
23/// Intended scheme of use for Pass Instrumentation is as follows:
24/// - register instrumentation callbacks in PassInstrumentationCallbacks
25/// instance. PassBuilder provides helper for that.
26///
27/// - register PassInstrumentationAnalysis with all the PassManagers.
28/// PassBuilder handles that automatically when registering analyses.
29///
30/// - Pass Manager requests PassInstrumentationAnalysis from analysis manager
31/// and gets PassInstrumentation as its result.
32///
33/// - Pass Manager invokes PassInstrumentation entry points appropriately,
34/// passing StringRef identification ("name") of the pass currently being
35/// executed and IRUnit it works on. There can be different schemes of
36/// providing names in future, currently it is just a name() of the pass.
37///
38/// - PassInstrumentation wraps address of IRUnit into llvm::Any and passes
39/// control to all the registered callbacks. Note that we specifically wrap
40/// 'const IRUnitT*' so as to avoid any accidental changes to IR in
41/// instrumenting callbacks.
42///
43/// - Some instrumentation points (BeforePass) allow to control execution
44/// of a pass. For those callbacks returning false means pass will not be
45/// executed.
46///
47//===----------------------------------------------------------------------===//
48
49#ifndef LLVM_IR_PASSINSTRUMENTATION_H
50#define LLVM_IR_PASSINSTRUMENTATION_H
51
52#include "llvm/ADT/Any.h"
53#include "llvm/ADT/DenseMap.h"
56#include "llvm/IR/PassManager.h"
58#include <vector>
59
60namespace llvm {
61
63class StringRef;
64class Module;
65class Loop;
66class Function;
67
68extern template struct LLVM_TEMPLATE_ABI Any::TypeId<const Module *>;
69extern template struct LLVM_TEMPLATE_ABI Any::TypeId<const Function *>;
70extern template struct LLVM_TEMPLATE_ABI Any::TypeId<const Loop *>;
71
72/// This class manages callbacks registration, as well as provides a way for
73/// PassInstrumentation to pass control to the registered callbacks.
75public:
76 // Before/After callbacks accept IRUnits whenever appropriate, so they need
77 // to take them as constant pointers, wrapped with llvm::Any.
78 // For the case when IRUnit has been invalidated there is a different
79 // callback to use - AfterPassInvalidated.
80 // We call all BeforePassFuncs to determine if a pass should run or not.
81 // BeforeNonSkippedPassFuncs are called only if the pass should run.
82 // TODO: currently AfterPassInvalidated does not accept IRUnit, since passing
83 // already invalidated IRUnit is unsafe. There are ways to handle invalidated
84 // IRUnits in a safe way, and we might pursue that as soon as there is a
85 // useful instrumentation that needs it.
95
96public:
98
99 /// Copying PassInstrumentationCallbacks is not intended.
102
103 template <typename CallableT>
105 ShouldRunOptionalPassCallbacks.emplace_back(std::move(C));
106 }
107
108 template <typename CallableT>
110 BeforeSkippedPassCallbacks.emplace_back(std::move(C));
111 }
112
113 template <typename CallableT>
115 BeforeNonSkippedPassCallbacks.emplace_back(std::move(C));
116 }
117
118 template <typename CallableT>
119 void registerAfterPassCallback(CallableT C, bool ToFront = false) {
120 if (ToFront)
121 AfterPassCallbacks.insert(AfterPassCallbacks.begin(), std::move(C));
122 else
123 AfterPassCallbacks.emplace_back(std::move(C));
124 }
125
126 template <typename CallableT>
127 void registerAfterPassInvalidatedCallback(CallableT C, bool ToFront = false) {
128 if (ToFront)
129 AfterPassInvalidatedCallbacks.insert(
130 AfterPassInvalidatedCallbacks.begin(), std::move(C));
131 else
132 AfterPassInvalidatedCallbacks.emplace_back(std::move(C));
133 }
134
135 template <typename CallableT>
137 BeforeAnalysisCallbacks.emplace_back(std::move(C));
138 }
139
140 template <typename CallableT>
141 void registerAfterAnalysisCallback(CallableT C, bool ToFront = false) {
142 if (ToFront)
143 AfterAnalysisCallbacks.insert(AfterAnalysisCallbacks.begin(),
144 std::move(C));
145 else
146 AfterAnalysisCallbacks.emplace_back(std::move(C));
147 }
148
149 template <typename CallableT>
151 AnalysisInvalidatedCallbacks.emplace_back(std::move(C));
152 }
153
154 template <typename CallableT>
156 AnalysesClearedCallbacks.emplace_back(std::move(C));
157 }
158
159 template <typename CallableT>
161 ClassToPassNameCallbacks.emplace_back(std::move(C));
162 }
163
164 /// Add a class name to pass name mapping for use by pass instrumentation.
165 LLVM_ABI void addClassToPassName(StringRef ClassName, StringRef PassName);
166 /// Get the pass name for a given pass class name. Empty if no match found.
167 LLVM_ABI StringRef getPassNameForClassName(StringRef ClassName);
168
169private:
171
172 /// These are only run on passes that are not required. They return false when
173 /// an optional pass should be skipped.
175 ShouldRunOptionalPassCallbacks;
176 /// These are run on passes that are skipped.
178 BeforeSkippedPassCallbacks;
179 /// These are run on passes that are about to be run.
181 BeforeNonSkippedPassCallbacks;
182 /// These are run on passes that have just run.
184 /// These are run on passes that have just run on invalidated IR.
186 AfterPassInvalidatedCallbacks;
187 /// These are run on analyses that are about to be run.
189 BeforeAnalysisCallbacks;
190 /// These are run on analyses that have been run.
192 AfterAnalysisCallbacks;
193 /// These are run on analyses that have been invalidated.
195 AnalysisInvalidatedCallbacks;
196 /// These are run on analyses that have been cleared.
198 AnalysesClearedCallbacks;
199
200 SmallVector<llvm::unique_function<void ()>, 4> ClassToPassNameCallbacks;
201 DenseMap<StringRef, std::string> ClassToPassName;
202};
203
204/// This class provides instrumentation entry points for the Pass Manager,
205/// doing calls to callbacks registered in PassInstrumentationCallbacks.
208
209 // Template argument PassT of PassInstrumentation::runBeforePass could be two
210 // kinds: (1) a regular pass inherited from PassInfoMixin (happen when
211 // creating a adaptor pass for a regular pass); (2) a type-erased PassConcept
212 // created from (1). Here we want to make case (1) skippable unconditionally
213 // since they are regular passes. We call PassConcept::isRequired to decide
214 // for case (2).
215 template <typename PassT>
216 using has_required_t = decltype(std::declval<PassT &>().isRequired());
217
218 template <typename PassT> static bool isRequired(const PassT &Pass) {
220 return Pass.isRequired();
221 return false;
222 }
223
224public:
225 /// Callbacks object is not owned by PassInstrumentation, its life-time
226 /// should at least match the life-time of corresponding
227 /// PassInstrumentationAnalysis (which usually is till the end of current
228 /// compilation).
230 : Callbacks(CB) {}
231
232 /// BeforePass instrumentation point - takes \p Pass instance to be executed
233 /// and constant reference to IR it operates on. \Returns true if pass is
234 /// allowed to be executed. These are only run on optional pass since required
235 /// passes must always be run. This allows these callbacks to print info when
236 /// they want to skip a pass.
237 template <typename IRUnitT, typename PassT>
238 bool runBeforePass(const PassT &Pass, const IRUnitT &IR) const {
239 if (!Callbacks)
240 return true;
241
242 bool ShouldRun = true;
243 if (!isRequired(Pass)) {
244 for (auto &C : Callbacks->ShouldRunOptionalPassCallbacks)
245 ShouldRun &= C(Pass.name(), llvm::Any(&IR));
246 }
247
248 if (ShouldRun) {
249 for (auto &C : Callbacks->BeforeNonSkippedPassCallbacks)
250 C(Pass.name(), llvm::Any(&IR));
251 } else {
252 for (auto &C : Callbacks->BeforeSkippedPassCallbacks)
253 C(Pass.name(), llvm::Any(&IR));
254 }
255
256 return ShouldRun;
257 }
258
259 /// AfterPass instrumentation point - takes \p Pass instance that has
260 /// just been executed and constant reference to \p IR it operates on.
261 /// \p IR is guaranteed to be valid at this point.
262 template <typename IRUnitT, typename PassT>
263 void runAfterPass(const PassT &Pass, const IRUnitT &IR,
264 const PreservedAnalyses &PA) const {
265 if (Callbacks)
266 for (auto &C : Callbacks->AfterPassCallbacks)
267 C(Pass.name(), llvm::Any(&IR), PA);
268 }
269
270 /// AfterPassInvalidated instrumentation point - takes \p Pass instance
271 /// that has just been executed. For use when IR has been invalidated
272 /// by \p Pass execution.
273 template <typename IRUnitT, typename PassT>
274 void runAfterPassInvalidated(const PassT &Pass,
275 const PreservedAnalyses &PA) const {
276 if (Callbacks)
277 for (auto &C : Callbacks->AfterPassInvalidatedCallbacks)
278 C(Pass.name(), PA);
279 }
280
281 /// BeforeAnalysis instrumentation point - takes \p Analysis instance
282 /// to be executed and constant reference to IR it operates on.
283 template <typename IRUnitT, typename PassT>
284 void runBeforeAnalysis(const PassT &Analysis, const IRUnitT &IR) const {
285 if (Callbacks)
286 for (auto &C : Callbacks->BeforeAnalysisCallbacks)
287 C(Analysis.name(), llvm::Any(&IR));
288 }
289
290 /// AfterAnalysis instrumentation point - takes \p Analysis instance
291 /// that has just been executed and constant reference to IR it operated on.
292 template <typename IRUnitT, typename PassT>
293 void runAfterAnalysis(const PassT &Analysis, const IRUnitT &IR) const {
294 if (Callbacks)
295 for (auto &C : Callbacks->AfterAnalysisCallbacks)
296 C(Analysis.name(), llvm::Any(&IR));
297 }
298
299 /// AnalysisInvalidated instrumentation point - takes \p Analysis instance
300 /// that has just been invalidated and constant reference to IR it operated
301 /// on.
302 template <typename IRUnitT, typename PassT>
303 void runAnalysisInvalidated(const PassT &Analysis, const IRUnitT &IR) const {
304 if (Callbacks)
305 for (auto &C : Callbacks->AnalysisInvalidatedCallbacks)
306 C(Analysis.name(), llvm::Any(&IR));
307 }
308
309 /// AnalysesCleared instrumentation point - takes name of IR that analyses
310 /// operated on.
311 void runAnalysesCleared(StringRef Name) const {
312 if (Callbacks)
313 for (auto &C : Callbacks->AnalysesClearedCallbacks)
314 C(Name);
315 }
316
317 /// Handle invalidation from the pass manager when PassInstrumentation
318 /// is used as the result of PassInstrumentationAnalysis.
319 ///
320 /// On attempt to invalidate just return false. There is nothing to become
321 /// invalid here.
322 template <typename IRUnitT, typename... ExtraArgsT>
323 bool invalidate(IRUnitT &, const class llvm::PreservedAnalyses &,
324 ExtraArgsT...) {
325 return false;
326 }
327
328 template <typename CallableT>
330 if (Callbacks)
331 Callbacks->BeforeNonSkippedPassCallbacks.emplace_back(std::move(C));
332 }
334 if (Callbacks)
335 Callbacks->BeforeNonSkippedPassCallbacks.pop_back();
336 }
337
338 /// Get the pass name for a given pass class name.
340 if (Callbacks)
341 return Callbacks->getPassNameForClassName(ClassName);
342 return {};
343 }
344};
345
346LLVM_ABI bool isSpecialPass(StringRef PassID,
347 const std::vector<StringRef> &Specials);
348
349/// Pseudo-analysis pass that exposes the \c PassInstrumentation to pass
350/// managers.
352 : public AnalysisInfoMixin<PassInstrumentationAnalysis> {
354 LLVM_ABI static AnalysisKey Key;
355
357
358public:
359 /// PassInstrumentationCallbacks object is shared, owned by something else,
360 /// not this analysis.
362 : Callbacks(Callbacks) {}
363
365
366 template <typename IRUnitT, typename AnalysisManagerT, typename... ExtraArgTs>
367 Result run(IRUnitT &, AnalysisManagerT &, ExtraArgTs &&...) {
368 return PassInstrumentation(Callbacks);
369 }
370};
371
372
373} // namespace llvm
374
375#endif
This file provides Any, a non-template class modeled in the spirit of std::any.
block Block Frequency Analysis
#define LLVM_ABI
Definition Compiler.h:213
#define LLVM_TEMPLATE_ABI
Definition Compiler.h:214
This file defines the DenseMap class.
This file provides a collection of function (or more generally, callable) type erasure utilities supp...
This header defines various interfaces for pass management in LLVM.
Legalize the Machine IR a function s Machine IR
Definition Legalizer.cpp:80
This file defines the SmallVector class.
static const char PassName[]
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
Result run(IRUnitT &, AnalysisManagerT &, ExtraArgTs &&...)
PassInstrumentationAnalysis(PassInstrumentationCallbacks *Callbacks=nullptr)
PassInstrumentationCallbacks object is shared, owned by something else, not this analysis.
This class manages callbacks registration, as well as provides a way for PassInstrumentation to pass ...
void registerAfterPassInvalidatedCallback(CallableT C, bool ToFront=false)
void registerAnalysisInvalidatedCallback(CallableT C)
void registerAfterAnalysisCallback(CallableT C, bool ToFront=false)
void(StringRef, const PreservedAnalyses &) AfterPassInvalidatedFunc
void(StringRef, Any) BeforeNonSkippedPassFunc
void registerBeforeNonSkippedPassCallback(CallableT C)
PassInstrumentationCallbacks(const PassInstrumentationCallbacks &)=delete
Copying PassInstrumentationCallbacks is not intended.
void registerShouldRunOptionalPassCallback(CallableT C)
void operator=(const PassInstrumentationCallbacks &)=delete
void(StringRef, Any, const PreservedAnalyses &) AfterPassFunc
void registerAfterPassCallback(CallableT C, bool ToFront=false)
This class provides instrumentation entry points for the Pass Manager, doing calls to callbacks regis...
void runAfterPassInvalidated(const PassT &Pass, const PreservedAnalyses &PA) const
AfterPassInvalidated instrumentation point - takes Pass instance that has just been executed.
void pushBeforeNonSkippedPassCallback(CallableT C)
PassInstrumentation(PassInstrumentationCallbacks *CB=nullptr)
Callbacks object is not owned by PassInstrumentation, its life-time should at least match the life-ti...
bool invalidate(IRUnitT &, const class llvm::PreservedAnalyses &, ExtraArgsT...)
Handle invalidation from the pass manager when PassInstrumentation is used as the result of PassInstr...
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...
void runAnalysesCleared(StringRef Name) const
AnalysesCleared instrumentation point - takes name of IR that analyses operated on.
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...
Pass interface - Implemented by all 'passes'.
Definition Pass.h:99
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
unique_function is a type-erasing functor similar to std::function.
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI bool isSpecialPass(StringRef PassID, const std::vector< StringRef > &Specials)
typename detail::detector< void, Op, Args... >::value_t is_detected
Detects if a given trait holds for some set of arguments 'Args'.
A CRTP mix-in that provides informational APIs needed for analysis passes.
Definition PassManager.h:92
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29