LLVM  14.0.0git
CGSCCPassManager.h
Go to the documentation of this file.
1 //===- CGSCCPassManager.h - Call graph pass management ----------*- 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 header provides classes for managing passes over SCCs of the call
11 /// graph. These passes form an important component of LLVM's interprocedural
12 /// optimizations. Because they operate on the SCCs of the call graph, and they
13 /// traverse the graph in post-order, they can effectively do pair-wise
14 /// interprocedural optimizations for all call edges in the program while
15 /// incrementally refining it and improving the context of these pair-wise
16 /// optimizations. At each call site edge, the callee has already been
17 /// optimized as much as is possible. This in turn allows very accurate
18 /// analysis of it for IPO.
19 ///
20 /// A secondary more general goal is to be able to isolate optimization on
21 /// unrelated parts of the IR module. This is useful to ensure our
22 /// optimizations are principled and don't miss oportunities where refinement
23 /// of one part of the module influence transformations in another part of the
24 /// module. But this is also useful if we want to parallelize the optimizations
25 /// across common large module graph shapes which tend to be very wide and have
26 /// large regions of unrelated cliques.
27 ///
28 /// To satisfy these goals, we use the LazyCallGraph which provides two graphs
29 /// nested inside each other (and built lazily from the bottom-up): the call
30 /// graph proper, and a reference graph. The reference graph is super set of
31 /// the call graph and is a conservative approximation of what could through
32 /// scalar or CGSCC transforms *become* the call graph. Using this allows us to
33 /// ensure we optimize functions prior to them being introduced into the call
34 /// graph by devirtualization or other technique, and thus ensures that
35 /// subsequent pair-wise interprocedural optimizations observe the optimized
36 /// form of these functions. The (potentially transitive) reference
37 /// reachability used by the reference graph is a conservative approximation
38 /// that still allows us to have independent regions of the graph.
39 ///
40 /// FIXME: There is one major drawback of the reference graph: in its naive
41 /// form it is quadratic because it contains a distinct edge for each
42 /// (potentially indirect) reference, even if are all through some common
43 /// global table of function pointers. This can be fixed in a number of ways
44 /// that essentially preserve enough of the normalization. While it isn't
45 /// expected to completely preclude the usability of this, it will need to be
46 /// addressed.
47 ///
48 ///
49 /// All of these issues are made substantially more complex in the face of
50 /// mutations to the call graph while optimization passes are being run. When
51 /// mutations to the call graph occur we want to achieve two different things:
52 ///
53 /// - We need to update the call graph in-flight and invalidate analyses
54 /// cached on entities in the graph. Because of the cache-based analysis
55 /// design of the pass manager, it is essential to have stable identities for
56 /// the elements of the IR that passes traverse, and to invalidate any
57 /// analyses cached on these elements as the mutations take place.
58 ///
59 /// - We want to preserve the incremental and post-order traversal of the
60 /// graph even as it is refined and mutated. This means we want optimization
61 /// to observe the most refined form of the call graph and to do so in
62 /// post-order.
63 ///
64 /// To address this, the CGSCC manager uses both worklists that can be expanded
65 /// by passes which transform the IR, and provides invalidation tests to skip
66 /// entries that become dead. This extra data is provided to every SCC pass so
67 /// that it can carefully update the manager's traversal as the call graph
68 /// mutates.
69 ///
70 /// We also provide support for running function passes within the CGSCC walk,
71 /// and there we provide automatic update of the call graph including of the
72 /// pass manager to reflect call graph changes that fall out naturally as part
73 /// of scalar transformations.
74 ///
75 /// The patterns used to ensure the goals of post-order visitation of the fully
76 /// refined graph:
77 ///
78 /// 1) Sink toward the "bottom" as the graph is refined. This means that any
79 /// iteration continues in some valid post-order sequence after the mutation
80 /// has altered the structure.
81 ///
82 /// 2) Enqueue in post-order, including the current entity. If the current
83 /// entity's shape changes, it and everything after it in post-order needs
84 /// to be visited to observe that shape.
85 ///
86 //===----------------------------------------------------------------------===//
87 
88 #ifndef LLVM_ANALYSIS_CGSCCPASSMANAGER_H
89 #define LLVM_ANALYSIS_CGSCCPASSMANAGER_H
90 
91 #include "llvm/ADT/DenseMap.h"
92 #include "llvm/ADT/DenseSet.h"
93 #include "llvm/ADT/MapVector.h"
95 #include "llvm/ADT/STLExtras.h"
96 #include "llvm/ADT/SmallPtrSet.h"
97 #include "llvm/ADT/SmallVector.h"
99 #include "llvm/IR/Function.h"
100 #include "llvm/IR/InstIterator.h"
101 #include "llvm/IR/PassManager.h"
102 #include "llvm/IR/ValueHandle.h"
103 #include "llvm/Support/Debug.h"
105 #include <algorithm>
106 #include <cassert>
107 #include <utility>
108 
109 namespace llvm {
110 
111 struct CGSCCUpdateResult;
112 class Module;
113 
114 // Allow debug logging in this inline function.
115 #define DEBUG_TYPE "cgscc"
116 
117 /// Extern template declaration for the analysis set for this IR unit.
118 extern template class AllAnalysesOn<LazyCallGraph::SCC>;
119 
120 extern template class AnalysisManager<LazyCallGraph::SCC, LazyCallGraph &>;
121 
122 /// The CGSCC analysis manager.
123 ///
124 /// See the documentation for the AnalysisManager template for detail
125 /// documentation. This type serves as a convenient way to refer to this
126 /// construct in the adaptors and proxies used to integrate this into the larger
127 /// pass manager infrastructure.
128 using CGSCCAnalysisManager =
130 
131 // Explicit specialization and instantiation declarations for the pass manager.
132 // See the comments on the definition of the specialization for details on how
133 // it differs from the primary template.
134 template <>
137  CGSCCUpdateResult &>::run(LazyCallGraph::SCC &InitialC,
142 
143 /// The CGSCC pass manager.
144 ///
145 /// See the documentation for the PassManager template for details. It runs
146 /// a sequence of SCC passes over each SCC that the manager is run over. This
147 /// type serves as a convenient way to refer to this construct.
148 using CGSCCPassManager =
151 
152 /// An explicit specialization of the require analysis template pass.
153 template <typename AnalysisT>
156  : PassInfoMixin<RequireAnalysisPass<AnalysisT, LazyCallGraph::SCC,
157  CGSCCAnalysisManager, LazyCallGraph &,
158  CGSCCUpdateResult &>> {
161  (void)AM.template getResult<AnalysisT>(C, CG);
162  return PreservedAnalyses::all();
163  }
165  function_ref<StringRef(StringRef)> MapClassName2PassName) {
166  auto ClassName = AnalysisT::name();
167  auto PassName = MapClassName2PassName(ClassName);
168  OS << "require<" << PassName << ">";
169  }
170 };
171 
172 /// A proxy from a \c CGSCCAnalysisManager to a \c Module.
175 
176 /// We need a specialized result for the \c CGSCCAnalysisManagerModuleProxy so
177 /// it can have access to the call graph in order to walk all the SCCs when
178 /// invalidating things.
180 public:
182  : InnerAM(&InnerAM), G(&G) {}
183 
184  /// Accessor for the analysis manager.
185  CGSCCAnalysisManager &getManager() { return *InnerAM; }
186 
187  /// Handler for invalidation of the Module.
188  ///
189  /// If the proxy analysis itself is preserved, then we assume that the set of
190  /// SCCs in the Module hasn't changed. Thus any pointers to SCCs in the
191  /// CGSCCAnalysisManager are still valid, and we don't need to call \c clear
192  /// on the CGSCCAnalysisManager.
193  ///
194  /// Regardless of whether this analysis is marked as preserved, all of the
195  /// analyses in the \c CGSCCAnalysisManager are potentially invalidated based
196  /// on the set of preserved analyses.
197  bool invalidate(Module &M, const PreservedAnalyses &PA,
199 
200 private:
201  CGSCCAnalysisManager *InnerAM;
202  LazyCallGraph *G;
203 };
204 
205 /// Provide a specialized run method for the \c CGSCCAnalysisManagerModuleProxy
206 /// so it can pass the lazy call graph to the result.
207 template <>
210 
211 // Ensure the \c CGSCCAnalysisManagerModuleProxy is provided as an extern
212 // template.
214 
215 extern template class OuterAnalysisManagerProxy<
217 
218 /// A proxy from a \c ModuleAnalysisManager to an \c SCC.
222 
223 /// Support structure for SCC passes to communicate updates the call graph back
224 /// to the CGSCC pass manager infrsatructure.
225 ///
226 /// The CGSCC pass manager runs SCC passes which are allowed to update the call
227 /// graph and SCC structures. This means the structure the pass manager works
228 /// on is mutating underneath it. In order to support that, there needs to be
229 /// careful communication about the precise nature and ramifications of these
230 /// updates to the pass management infrastructure.
231 ///
232 /// All SCC passes will have to accept a reference to the management layer's
233 /// update result struct and use it to reflect the results of any CG updates
234 /// performed.
235 ///
236 /// Passes which do not change the call graph structure in any way can just
237 /// ignore this argument to their run method.
239  /// Worklist of the RefSCCs queued for processing.
240  ///
241  /// When a pass refines the graph and creates new RefSCCs or causes them to
242  /// have a different shape or set of component SCCs it should add the RefSCCs
243  /// to this worklist so that we visit them in the refined form.
244  ///
245  /// This worklist is in reverse post-order, as we pop off the back in order
246  /// to observe RefSCCs in post-order. When adding RefSCCs, clients should add
247  /// them in reverse post-order.
249 
250  /// Worklist of the SCCs queued for processing.
251  ///
252  /// When a pass refines the graph and creates new SCCs or causes them to have
253  /// a different shape or set of component functions it should add the SCCs to
254  /// this worklist so that we visit them in the refined form.
255  ///
256  /// Note that if the SCCs are part of a RefSCC that is added to the \c
257  /// RCWorklist, they don't need to be added here as visiting the RefSCC will
258  /// be sufficient to re-visit the SCCs within it.
259  ///
260  /// This worklist is in reverse post-order, as we pop off the back in order
261  /// to observe SCCs in post-order. When adding SCCs, clients should add them
262  /// in reverse post-order.
264 
265  /// The set of invalidated RefSCCs which should be skipped if they are found
266  /// in \c RCWorklist.
267  ///
268  /// This is used to quickly prune out RefSCCs when they get deleted and
269  /// happen to already be on the worklist. We use this primarily to avoid
270  /// scanning the list and removing entries from it.
272 
273  /// The set of invalidated SCCs which should be skipped if they are found
274  /// in \c CWorklist.
275  ///
276  /// This is used to quickly prune out SCCs when they get deleted and happen
277  /// to already be on the worklist. We use this primarily to avoid scanning
278  /// the list and removing entries from it.
280 
281  /// If non-null, the updated current \c RefSCC being processed.
282  ///
283  /// This is set when a graph refinement takes place an the "current" point in
284  /// the graph moves "down" or earlier in the post-order walk. This will often
285  /// cause the "current" RefSCC to be a newly created RefSCC object and the
286  /// old one to be added to the above worklist. When that happens, this
287  /// pointer is non-null and can be used to continue processing the "top" of
288  /// the post-order walk.
290 
291  /// If non-null, the updated current \c SCC being processed.
292  ///
293  /// This is set when a graph refinement takes place an the "current" point in
294  /// the graph moves "down" or earlier in the post-order walk. This will often
295  /// cause the "current" SCC to be a newly created SCC object and the old one
296  /// to be added to the above worklist. When that happens, this pointer is
297  /// non-null and can be used to continue processing the "top" of the
298  /// post-order walk.
300 
301  /// Preserved analyses across SCCs.
302  ///
303  /// We specifically want to allow CGSCC passes to mutate ancestor IR
304  /// (changing both the CG structure and the function IR itself). However,
305  /// this means we need to take special care to correctly mark what analyses
306  /// are preserved *across* SCCs. We have to track this out-of-band here
307  /// because within the main `PassManeger` infrastructure we need to mark
308  /// everything within an SCC as preserved in order to avoid repeatedly
309  /// invalidating the same analyses as we unnest pass managers and adaptors.
310  /// So we track the cross-SCC version of the preserved analyses here from any
311  /// code that does direct invalidation of SCC analyses, and then use it
312  /// whenever we move forward in the post-order walk of SCCs before running
313  /// passes over the new SCC.
315 
316  /// A hacky area where the inliner can retain history about inlining
317  /// decisions that mutated the call graph's SCC structure in order to avoid
318  /// infinite inlining. See the comments in the inliner's CG update logic.
319  ///
320  /// FIXME: Keeping this here seems like a big layering issue, we should look
321  /// for a better technique.
324 
325  /// Weak VHs to keep track of indirect calls for the purposes of detecting
326  /// devirtualization.
327  ///
328  /// This is a map to avoid having duplicate entries. If a Value is
329  /// deallocated, its corresponding WeakTrackingVH will be nulled out. When
330  /// checking if a Value is in the map or not, also check if the corresponding
331  /// WeakTrackingVH is null to avoid issues with a new Value sharing the same
332  /// address as a deallocated one.
334 };
335 
336 /// The core module pass which does a post-order walk of the SCCs and
337 /// runs a CGSCC pass over each one.
338 ///
339 /// Designed to allow composition of a CGSCCPass(Manager) and
340 /// a ModulePassManager. Note that this pass must be run with a module analysis
341 /// manager as it uses the LazyCallGraph analysis. It will also run the
342 /// \c CGSCCAnalysisManagerModuleProxy analysis prior to running the CGSCC
343 /// pass over the module to enable a \c FunctionAnalysisManager to be used
344 /// within this run safely.
346  : public PassInfoMixin<ModuleToPostOrderCGSCCPassAdaptor> {
347 public:
348  using PassConceptT =
351 
352  explicit ModuleToPostOrderCGSCCPassAdaptor(std::unique_ptr<PassConceptT> Pass)
353  : Pass(std::move(Pass)) {}
354 
356  : Pass(std::move(Arg.Pass)) {}
357 
360  std::swap(LHS.Pass, RHS.Pass);
361  }
362 
365  swap(*this, RHS);
366  return *this;
367  }
368 
369  /// Runs the CGSCC pass across every SCC in the module.
371 
373  function_ref<StringRef(StringRef)> MapClassName2PassName) {
374  OS << "cgscc(";
375  Pass->printPipeline(OS, MapClassName2PassName);
376  OS << ")";
377  }
378 
379  static bool isRequired() { return true; }
380 
381 private:
382  std::unique_ptr<PassConceptT> Pass;
383 };
384 
385 /// A function to deduce a function pass type and wrap it in the
386 /// templated adaptor.
387 template <typename CGSCCPassT>
388 ModuleToPostOrderCGSCCPassAdaptor
390  using PassModelT = detail::PassModel<LazyCallGraph::SCC, CGSCCPassT,
393  // Do not use make_unique, it causes too many template instantiations,
394  // causing terrible compile times.
396  std::unique_ptr<ModuleToPostOrderCGSCCPassAdaptor::PassConceptT>(
397  new PassModelT(std::forward<CGSCCPassT>(Pass))));
398 }
399 
400 /// A proxy from a \c FunctionAnalysisManager to an \c SCC.
401 ///
402 /// When a module pass runs and triggers invalidation, both the CGSCC and
403 /// Function analysis manager proxies on the module get an invalidation event.
404 /// We don't want to fully duplicate responsibility for most of the
405 /// invalidation logic. Instead, this layer is only responsible for SCC-local
406 /// invalidation events. We work with the module's FunctionAnalysisManager to
407 /// invalidate function analyses.
409  : public AnalysisInfoMixin<FunctionAnalysisManagerCGSCCProxy> {
410 public:
411  class Result {
412  public:
413  explicit Result() : FAM(nullptr) {}
414  explicit Result(FunctionAnalysisManager &FAM) : FAM(&FAM) {}
415 
416  void updateFAM(FunctionAnalysisManager &FAM) { this->FAM = &FAM; }
417  /// Accessor for the analysis manager.
419  assert(FAM);
420  return *FAM;
421  }
422 
425 
426  private:
428  };
429 
430  /// Computes the \c FunctionAnalysisManager and stores it in the result proxy.
432 
433 private:
435 
436  static AnalysisKey Key;
437 };
438 
439 extern template class OuterAnalysisManagerProxy<CGSCCAnalysisManager, Function>;
440 
441 /// A proxy from a \c CGSCCAnalysisManager to a \c Function.
444 
445 /// Helper to update the call graph after running a function pass.
446 ///
447 /// Function passes can only mutate the call graph in specific ways. This
448 /// routine provides a helper that updates the call graph in those ways
449 /// including returning whether any changes were made and populating a CG
450 /// update result struct for the overall CGSCC walk.
455 
456 /// Helper to update the call graph after running a CGSCC pass.
457 ///
458 /// CGSCC passes can only mutate the call graph in specific ways. This
459 /// routine provides a helper that updates the call graph in those ways
460 /// including returning whether any changes were made and populating a CG
461 /// update result struct for the overall CGSCC walk.
466 
467 /// Adaptor that maps from a SCC to its functions.
468 ///
469 /// Designed to allow composition of a FunctionPass(Manager) and
470 /// a CGSCCPassManager. Note that if this pass is constructed with a pointer
471 /// to a \c CGSCCAnalysisManager it will run the
472 /// \c FunctionAnalysisManagerCGSCCProxy analysis prior to running the function
473 /// pass over the SCC to enable a \c FunctionAnalysisManager to be used
474 /// within this run safely.
477 public:
479 
480  explicit CGSCCToFunctionPassAdaptor(std::unique_ptr<PassConceptT> Pass)
481  : Pass(std::move(Pass)) {}
482 
484  : Pass(std::move(Arg.Pass)) {}
485 
488  std::swap(LHS.Pass, RHS.Pass);
489  }
490 
492  swap(*this, RHS);
493  return *this;
494  }
495 
496  /// Runs the function pass across every function in the module.
499 
501  function_ref<StringRef(StringRef)> MapClassName2PassName) {
502  OS << "function(";
503  Pass->printPipeline(OS, MapClassName2PassName);
504  OS << ")";
505  }
506 
507  static bool isRequired() { return true; }
508 
509 private:
510  std::unique_ptr<PassConceptT> Pass;
511 };
512 
513 /// A function to deduce a function pass type and wrap it in the
514 /// templated adaptor.
515 template <typename FunctionPassT>
516 CGSCCToFunctionPassAdaptor
518  using PassModelT =
521  // Do not use make_unique, it causes too many template instantiations,
522  // causing terrible compile times.
524  std::unique_ptr<CGSCCToFunctionPassAdaptor::PassConceptT>(
525  new PassModelT(std::forward<FunctionPassT>(Pass))));
526 }
527 
528 /// A helper that repeats an SCC pass each time an indirect call is refined to
529 /// a direct call by that pass.
530 ///
531 /// While the CGSCC pass manager works to re-visit SCCs and RefSCCs as they
532 /// change shape, we may also want to repeat an SCC pass if it simply refines
533 /// an indirect call to a direct call, even if doing so does not alter the
534 /// shape of the graph. Note that this only pertains to direct calls to
535 /// functions where IPO across the SCC may be able to compute more precise
536 /// results. For intrinsics, we assume scalar optimizations already can fully
537 /// reason about them.
538 ///
539 /// This repetition has the potential to be very large however, as each one
540 /// might refine a single call site. As a consequence, in practice we use an
541 /// upper bound on the number of repetitions to limit things.
542 class DevirtSCCRepeatedPass : public PassInfoMixin<DevirtSCCRepeatedPass> {
543 public:
544  using PassConceptT =
547 
548  explicit DevirtSCCRepeatedPass(std::unique_ptr<PassConceptT> Pass,
549  int MaxIterations)
550  : Pass(std::move(Pass)), MaxIterations(MaxIterations) {}
551 
552  /// Runs the wrapped pass up to \c MaxIterations on the SCC, iterating
553  /// whenever an indirect call is refined.
556 
558  function_ref<StringRef(StringRef)> MapClassName2PassName) {
559  OS << "devirt<" << MaxIterations << ">(";
560  Pass->printPipeline(OS, MapClassName2PassName);
561  OS << ")";
562  }
563 
564 private:
565  std::unique_ptr<PassConceptT> Pass;
566  int MaxIterations;
567 };
568 
569 /// A function to deduce a function pass type and wrap it in the
570 /// templated adaptor.
571 template <typename CGSCCPassT>
573  int MaxIterations) {
574  using PassModelT = detail::PassModel<LazyCallGraph::SCC, CGSCCPassT,
577  // Do not use make_unique, it causes too many template instantiations,
578  // causing terrible compile times.
579  return DevirtSCCRepeatedPass(
580  std::unique_ptr<DevirtSCCRepeatedPass::PassConceptT>(
581  new PassModelT(std::forward<CGSCCPassT>(Pass))),
582  MaxIterations);
583 }
584 
585 // Clear out the debug logging macro.
586 #undef DEBUG_TYPE
587 
588 } // end namespace llvm
589 
590 #endif // LLVM_ANALYSIS_CGSCCPASSMANAGER_H
llvm::PreservedAnalyses
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:155
llvm::OuterAnalysisManagerProxy
An analysis over an "inner" IR unit that provides access to an analysis manager over a "outer" IR uni...
Definition: PassManager.h:1065
llvm::createCGSCCToFunctionPassAdaptor
CGSCCToFunctionPassAdaptor createCGSCCToFunctionPassAdaptor(FunctionPassT &&Pass)
A function to deduce a function pass type and wrap it in the templated adaptor.
Definition: CGSCCPassManager.h:517
llvm::CGSCCToFunctionPassAdaptor::isRequired
static bool isRequired()
Definition: CGSCCPassManager.h:507
llvm
This file implements support for optimizing divisions by a constant.
Definition: AllocatorList.h:23
Pass
print lazy value Lazy Value Info Printer Pass
Definition: LazyValueInfo.cpp:1965
llvm::CGSCCUpdateResult::InvalidatedSCCs
SmallPtrSetImpl< LazyCallGraph::SCC * > & InvalidatedSCCs
The set of invalidated SCCs which should be skipped if they are found in CWorklist.
Definition: CGSCCPassManager.h:279
llvm::PassInfoMixin
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:374
InstIterator.h
llvm::Function
Definition: Function.h:62
llvm::DevirtSCCRepeatedPass
A helper that repeats an SCC pass each time an indirect call is refined to a direct call by that pass...
Definition: CGSCCPassManager.h:542
llvm::SmallDenseSet
Implements a dense probed hash-table based set with some number of buckets stored inline.
Definition: DenseSet.h:286
MapVector.h
llvm::InnerAnalysisManagerProxy::Result
Definition: PassManager.h:944
llvm::FunctionAnalysisManagerCGSCCProxy::run
Result run(LazyCallGraph::SCC &C, CGSCCAnalysisManager &AM, LazyCallGraph &)
Computes the FunctionAnalysisManager and stores it in the result proxy.
Definition: CGSCCPassManager.cpp:679
FAM
FunctionAnalysisManager FAM
Definition: PassBuilderBindings.cpp:59
DenseMap.h
llvm::ModuleAnalysisManager
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition: PassManager.h:916
STLExtras.h
llvm::CGSCCAnalysisManagerModuleProxy::Result::Result
Result(CGSCCAnalysisManager &InnerAM, LazyCallGraph &G)
Definition: CGSCCPassManager.h:181
llvm::CGSCCToFunctionPassAdaptor::swap
friend void swap(CGSCCToFunctionPassAdaptor &LHS, CGSCCToFunctionPassAdaptor &RHS)
Definition: CGSCCPassManager.h:486
llvm::ModuleToPostOrderCGSCCPassAdaptor::printPipeline
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
Definition: CGSCCPassManager.h:372
llvm::FunctionAnalysisManagerCGSCCProxy::Result::Result
Result(FunctionAnalysisManager &FAM)
Definition: CGSCCPassManager.h:414
llvm::FunctionAnalysisManagerCGSCCProxy::Result
Definition: CGSCCPassManager.h:411
llvm::CGSCCToFunctionPassAdaptor
Adaptor that maps from a SCC to its functions.
Definition: CGSCCPassManager.h:475
Arg
amdgpu Simplify well known AMD library false FunctionCallee Value * Arg
Definition: AMDGPULibCalls.cpp:206
PriorityWorklist.h
llvm::ModuleToPostOrderCGSCCPassAdaptor::swap
friend void swap(ModuleToPostOrderCGSCCPassAdaptor &LHS, ModuleToPostOrderCGSCCPassAdaptor &RHS)
Definition: CGSCCPassManager.h:358
llvm::ModuleToPostOrderCGSCCPassAdaptor::ModuleToPostOrderCGSCCPassAdaptor
ModuleToPostOrderCGSCCPassAdaptor(ModuleToPostOrderCGSCCPassAdaptor &&Arg)
Definition: CGSCCPassManager.h:355
llvm::CGSCCUpdateResult::IndirectVHs
SmallMapVector< Value *, WeakTrackingVH, 16 > IndirectVHs
Weak VHs to keep track of indirect calls for the purposes of detecting devirtualization.
Definition: CGSCCPassManager.h:333
llvm::LazyCallGraph::SCC
An SCC of the call graph.
Definition: LazyCallGraph.h:422
C
(vector float) vec_cmpeq(*A, *B) C
Definition: README_ALTIVEC.txt:86
llvm::CGSCCAnalysisManagerModuleProxy
InnerAnalysisManagerProxy< CGSCCAnalysisManager, Module > CGSCCAnalysisManagerModuleProxy
A proxy from a CGSCCAnalysisManager to a Module.
Definition: CGSCCPassManager.h:174
llvm::CGSCCToFunctionPassAdaptor::CGSCCToFunctionPassAdaptor
CGSCCToFunctionPassAdaptor(std::unique_ptr< PassConceptT > Pass)
Definition: CGSCCPassManager.h:480
DenseSet.h
llvm::LazyCallGraph::RefSCC
A RefSCC of the call graph.
Definition: LazyCallGraph.h:538
llvm::raw_ostream
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:53
llvm::createDevirtSCCRepeatedPass
DevirtSCCRepeatedPass createDevirtSCCRepeatedPass(CGSCCPassT &&Pass, int MaxIterations)
A function to deduce a function pass type and wrap it in the templated adaptor.
Definition: CGSCCPassManager.h:572
SmallPtrSet.h
llvm::AnalysisManager::Invalidator
API to communicate dependencies between analyses during invalidation.
Definition: PassManager.h:670
llvm::ModuleToPostOrderCGSCCPassAdaptor
The core module pass which does a post-order walk of the SCCs and runs a CGSCC pass over each one.
Definition: CGSCCPassManager.h:345
LazyCallGraph.h
llvm::ModuleToPostOrderCGSCCPassAdaptor::operator=
ModuleToPostOrderCGSCCPassAdaptor & operator=(ModuleToPostOrderCGSCCPassAdaptor RHS)
Definition: CGSCCPassManager.h:364
llvm::FunctionAnalysisManagerCGSCCProxy::Result::invalidate
bool invalidate(LazyCallGraph::SCC &C, const PreservedAnalyses &PA, CGSCCAnalysisManager::Invalidator &Inv)
Definition: CGSCCPassManager.cpp:700
llvm::ModuleToPostOrderCGSCCPassAdaptor::isRequired
static bool isRequired()
Definition: CGSCCPassManager.h:379
llvm::function_ref
An efficient, type-erasing, non-owning reference to a callable.
Definition: STLExtras.h:168
llvm::CGSCCToFunctionPassAdaptor::operator=
CGSCCToFunctionPassAdaptor & operator=(CGSCCToFunctionPassAdaptor RHS)
Definition: CGSCCPassManager.h:491
G
const DataFlowGraph & G
Definition: RDFGraph.cpp:202
llvm::SmallMapVector
A MapVector that performs no allocations if smaller than a certain size.
Definition: MapVector.h:232
llvm::CGSCCUpdateResult::UpdatedC
LazyCallGraph::SCC * UpdatedC
If non-null, the updated current SCC being processed.
Definition: CGSCCPassManager.h:299
llvm::updateCGAndAnalysisManagerForFunctionPass
LazyCallGraph::SCC & updateCGAndAnalysisManagerForFunctionPass(LazyCallGraph &G, LazyCallGraph::SCC &C, LazyCallGraph::Node &N, CGSCCAnalysisManager &AM, CGSCCUpdateResult &UR, FunctionAnalysisManager &FAM)
Helper to update the call graph after running a function pass.
Definition: CGSCCPassManager.cpp:1222
llvm::CGSCCUpdateResult::InlinedInternalEdges
SmallDenseSet< std::pair< LazyCallGraph::Node *, LazyCallGraph::SCC * >, 4 > & InlinedInternalEdges
A hacky area where the inliner can retain history about inlining decisions that mutated the call grap...
Definition: CGSCCPassManager.h:323
llvm::SmallPriorityWorklist
A version of PriorityWorklist that selects small size optimized data structures for the vector and ma...
Definition: PriorityWorklist.h:256
llvm::DevirtSCCRepeatedPass::printPipeline
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
Definition: CGSCCPassManager.h:557
llvm::AnalysisKey
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition: PassManager.h:72
llvm::ModuleToPostOrderCGSCCPassAdaptor::ModuleToPostOrderCGSCCPassAdaptor
ModuleToPostOrderCGSCCPassAdaptor(std::unique_ptr< PassConceptT > Pass)
Definition: CGSCCPassManager.h:352
llvm::CGSCCUpdateResult::CWorklist
SmallPriorityWorklist< LazyCallGraph::SCC *, 1 > & CWorklist
Worklist of the SCCs queued for processing.
Definition: CGSCCPassManager.h:263
llvm::detail::PassConcept
Template for the abstract base class used to dispatch polymorphically over pass objects.
Definition: PassManagerInternal.h:37
llvm::InnerAnalysisManagerProxy::Result::invalidate
bool invalidate(IRUnitT &IR, const PreservedAnalyses &PA, typename AnalysisManager< IRUnitT, ExtraArgTs... >::Invalidator &Inv)
Handler for invalidation of the outer IR unit, IRUnitT.
assert
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
llvm::CGSCCAnalysisManager
AnalysisManager< LazyCallGraph::SCC, LazyCallGraph & > CGSCCAnalysisManager
The CGSCC analysis manager.
Definition: CGSCCPassManager.h:129
llvm::move
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1609
std::swap
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition: BitVector.h:840
llvm::FunctionAnalysisManagerCGSCCProxy::Result::updateFAM
void updateFAM(FunctionAnalysisManager &FAM)
Definition: CGSCCPassManager.h:416
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:67
llvm::AnalysisInfoMixin
A CRTP mix-in that provides informational APIs needed for analysis passes.
Definition: PassManager.h:397
llvm::LazyCallGraph::Node
A node in the call graph.
Definition: LazyCallGraph.h:318
llvm::AMDGPU::CPol::SCC
@ SCC
Definition: SIDefines.h:295
llvm::RequireAnalysisPass< AnalysisT, LazyCallGraph::SCC, CGSCCAnalysisManager, LazyCallGraph &, CGSCCUpdateResult & >::printPipeline
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
Definition: CGSCCPassManager.h:164
llvm::CGSCCUpdateResult::CrossSCCPA
PreservedAnalyses CrossSCCPA
Preserved analyses across SCCs.
Definition: CGSCCPassManager.h:314
llvm::CGSCCAnalysisManagerModuleProxy::Result::getManager
CGSCCAnalysisManager & getManager()
Accessor for the analysis manager.
Definition: CGSCCPassManager.h:185
llvm::StringRef
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:58
llvm::FunctionAnalysisManagerCGSCCProxy::Result::Result
Result()
Definition: CGSCCPassManager.h:413
llvm::RequireAnalysisPass< AnalysisT, LazyCallGraph::SCC, CGSCCAnalysisManager, LazyCallGraph &, CGSCCUpdateResult & >::run
PreservedAnalyses run(LazyCallGraph::SCC &C, CGSCCAnalysisManager &AM, LazyCallGraph &CG, CGSCCUpdateResult &)
Definition: CGSCCPassManager.h:159
llvm::DevirtSCCRepeatedPass::run
PreservedAnalyses run(LazyCallGraph::SCC &InitialC, CGSCCAnalysisManager &AM, LazyCallGraph &CG, CGSCCUpdateResult &UR)
Runs the wrapped pass up to MaxIterations on the SCC, iterating whenever an indirect call is refined.
Definition: CGSCCPassManager.cpp:363
Module
Machine Check Debug Module
Definition: MachineCheckDebugify.cpp:122
llvm::CGSCCToFunctionPassAdaptor::CGSCCToFunctionPassAdaptor
CGSCCToFunctionPassAdaptor(CGSCCToFunctionPassAdaptor &&Arg)
Definition: CGSCCPassManager.h:483
ValueHandle.h
llvm::PassManager
Manages a sequence of passes over a particular unit of IR.
Definition: PassManager.h:472
name
static const char * name
Definition: SVEIntrinsicOpts.cpp:78
llvm::CGSCCUpdateResult
Support structure for SCC passes to communicate updates the call graph back to the CGSCC pass manager...
Definition: CGSCCPassManager.h:238
llvm::CGSCCAnalysisManagerFunctionProxy
OuterAnalysisManagerProxy< CGSCCAnalysisManager, Function > CGSCCAnalysisManagerFunctionProxy
A proxy from a CGSCCAnalysisManager to a Function.
Definition: CGSCCPassManager.h:443
std
Definition: BitVector.h:838
llvm::PreservedAnalyses::all
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition: PassManager.h:161
Function.h
llvm::DevirtSCCRepeatedPass::DevirtSCCRepeatedPass
DevirtSCCRepeatedPass(std::unique_ptr< PassConceptT > Pass, int MaxIterations)
Definition: CGSCCPassManager.h:548
llvm::ModuleToPostOrderCGSCCPassAdaptor::run
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
Runs the CGSCC pass across every SCC in the module.
Definition: CGSCCPassManager.cpp:141
PassManager.h
llvm::updateCGAndAnalysisManagerForCGSCCPass
LazyCallGraph::SCC & updateCGAndAnalysisManagerForCGSCCPass(LazyCallGraph &G, LazyCallGraph::SCC &C, LazyCallGraph::Node &N, CGSCCAnalysisManager &AM, CGSCCUpdateResult &UR, FunctionAnalysisManager &FAM)
Helper to update the call graph after running a CGSCC pass.
Definition: CGSCCPassManager.cpp:1229
llvm::Pass
Pass interface - Implemented by all 'passes'.
Definition: Pass.h:91
SmallVector.h
llvm::detail::PassModel
A template wrapper used to implement the polymorphic API.
Definition: PassManagerInternal.h:69
N
#define N
llvm::CGSCCUpdateResult::UpdatedRC
LazyCallGraph::RefSCC * UpdatedRC
If non-null, the updated current RefSCC being processed.
Definition: CGSCCPassManager.h:289
llvm::CGSCCToFunctionPassAdaptor::printPipeline
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
Definition: CGSCCPassManager.h:500
llvm::SmallPtrSetImpl
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
Definition: SmallPtrSet.h:343
llvm::AnalysisManager
A container for analyses that lazily runs them and caches their results.
Definition: InstructionSimplify.h:44
llvm::InnerAnalysisManagerProxy
An analysis over an "outer" IR unit that provides access to an analysis manager over an "inner" IR un...
Definition: PassManager.h:940
llvm::RequireAnalysisPass
A utility pass template to force an analysis result to be available.
Definition: PassManager.h:1248
llvm::LazyCallGraph
A lazily constructed view of the call graph of a module.
Definition: LazyCallGraph.h:113
raw_ostream.h
llvm::FunctionAnalysisManagerCGSCCProxy::Result::getManager
FunctionAnalysisManager & getManager()
Accessor for the analysis manager.
Definition: CGSCCPassManager.h:418
llvm::FunctionAnalysisManagerCGSCCProxy
A proxy from a FunctionAnalysisManager to an SCC.
Definition: CGSCCPassManager.h:408
llvm::CGSCCUpdateResult::InvalidatedRefSCCs
SmallPtrSetImpl< LazyCallGraph::RefSCC * > & InvalidatedRefSCCs
The set of invalidated RefSCCs which should be skipped if they are found in RCWorklist.
Definition: CGSCCPassManager.h:271
llvm::InnerAnalysisManagerProxy::run
Result run(IRUnitT &IR, AnalysisManager< IRUnitT, ExtraArgTs... > &AM, ExtraArgTs...)
Run the analysis pass and create our proxy result object.
Definition: PassManager.h:1003
llvm::createModuleToPostOrderCGSCCPassAdaptor
ModuleToPostOrderCGSCCPassAdaptor createModuleToPostOrderCGSCCPassAdaptor(CGSCCPassT &&Pass)
A function to deduce a function pass type and wrap it in the templated adaptor.
Definition: CGSCCPassManager.h:389
Debug.h
PassName
static const char PassName[]
Definition: X86LowerAMXIntrinsics.cpp:669
llvm::CGSCCUpdateResult::RCWorklist
SmallPriorityWorklist< LazyCallGraph::RefSCC *, 1 > & RCWorklist
Worklist of the RefSCCs queued for processing.
Definition: CGSCCPassManager.h:248