LLVM 24.0.0git
CallGraphSCCPass.h
Go to the documentation of this file.
1//===- CallGraphSCCPass.h - Pass that operates BU on call graph -*- 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//
9// This file defines the CallGraphSCCPass class, which is used for passes which
10// are implemented as bottom-up traversals on the call graph. Because there may
11// be cycles in the call graph, passes of this type operate on the call-graph in
12// SCC order: that is, they process function bottom-up, except for recursive
13// functions, which they process all at once.
14//
15// These passes are inherently interprocedural, and are required to keep the
16// call graph up-to-date if they do anything which could modify it.
17//
18//===----------------------------------------------------------------------===//
19
20#ifndef LLVM_ANALYSIS_CALLGRAPHSCCPASS_H
21#define LLVM_ANALYSIS_CALLGRAPHSCCPASS_H
22
23#include "llvm/ADT/ArrayRef.h"
24#include "llvm/Pass.h"
26#include <vector>
27
28namespace llvm {
29
30class CallGraph;
31class CallGraphNode;
32class CallGraphSCC;
33class PMStack;
34namespace cl {
36} // namespace cl
37
39
41public:
42 explicit CallGraphSCCPass(char &pid) : Pass(PT_CallGraphSCC, pid) {}
43
44 /// createPrinterPass - Get a pass that prints the Module
45 /// corresponding to a CallGraph.
46 Pass *createPrinterPass(raw_ostream &OS,
47 const std::string &Banner) const override;
48
51
52 /// doInitialization - This method is called before the SCC's of the program
53 /// has been processed, allowing the pass to do initialization as necessary.
54 virtual bool doInitialization(CallGraph &CG) {
55 return false;
56 }
57
58 /// runOnSCC - This method should be implemented by the subclass to perform
59 /// whatever action is necessary for the specified SCC. Note that
60 /// non-recursive (or only self-recursive) functions will have an SCC size of
61 /// 1, where recursive portions of the call graph will have SCC size > 1.
62 ///
63 /// SCC passes that add or delete functions to the SCC are required to update
64 /// the SCC list, otherwise stale pointers may be dereferenced.
65 virtual bool runOnSCC(CallGraphSCC &SCC) = 0;
66
67 /// doFinalization - This method is called after the SCC's of the program has
68 /// been processed, allowing the pass to do final cleanup as necessary.
69 virtual bool doFinalization(CallGraph &CG) {
70 return false;
71 }
72
73 /// Assign pass manager to manager this pass
74 void assignPassManager(PMStack &PMS, PassManagerType PMT) override;
75
76 /// Return what kind of Pass Manager can manage this pass.
80
81 /// getAnalysisUsage - For this class, we declare that we require and preserve
82 /// the call graph. If the derived class implements this method, it should
83 /// always explicitly call the implementation here.
84 void getAnalysisUsage(AnalysisUsage &Info) const override;
85};
86
87/// CallGraphSCC - This is a single SCC that a CallGraphSCCPass is run on.
89 const CallGraph &CG; // The call graph for this SCC.
90 std::vector<CallGraphNode *> Nodes;
91
92public:
93 CallGraphSCC(CallGraph &cg) : CG(cg) {}
94
96 Nodes.assign(NewNodes.begin(), NewNodes.end());
97 }
98
99 bool isSingular() const { return Nodes.size() == 1; }
100 unsigned size() const { return Nodes.size(); }
101
102 using iterator = std::vector<CallGraphNode *>::const_iterator;
103
104 iterator begin() const { return Nodes.begin(); }
105 iterator end() const { return Nodes.end(); }
106
107 const CallGraph &getCallGraph() { return CG; }
108};
109
110/// This pass is required by interprocedural register allocation. It forces
111/// codegen to follow bottom up order on call graph.
113public:
114 LLVM_ABI static char ID;
115
117
118 bool runOnSCC(CallGraphSCC &SCC) override { return false; }
119
120 void getAnalysisUsage(AnalysisUsage &AU) const override {
121 AU.setPreservesAll();
122 }
123};
124
125} // end namespace llvm
126
127#endif // LLVM_ANALYSIS_CALLGRAPHSCCPASS_H
#define LLVM_ABI
Definition Compiler.h:211
Represent the analysis usage information of a pass.
void setPreservesAll()
Set by analyses that do not transform their input at all.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
iterator end() const
Definition ArrayRef.h:130
iterator begin() const
Definition ArrayRef.h:129
A node in the call graph for a module.
Definition CallGraph.h:162
virtual bool doFinalization(CallGraph &CG)
doFinalization - This method is called after the SCC's of the program has been processed,...
PassManagerType getPotentialPassManagerType() const override
Return what kind of Pass Manager can manage this pass.
virtual bool runOnSCC(CallGraphSCC &SCC)=0
runOnSCC - This method should be implemented by the subclass to perform whatever action is necessary ...
virtual bool doInitialization(CallGraph &CG)
doInitialization - This method is called before the SCC's of the program has been processed,...
CallGraphSCC - This is a single SCC that a CallGraphSCCPass is run on.
bool isSingular() const
std::vector< CallGraphNode * >::const_iterator iterator
const CallGraph & getCallGraph()
void initialize(ArrayRef< CallGraphNode * > NewNodes)
unsigned size() const
iterator begin() const
CallGraphSCC(CallGraph &cg)
iterator end() const
The basic data container for the call graph of a Module of IR.
Definition CallGraph.h:72
static LLVM_ABI char ID
bool runOnSCC(CallGraphSCC &SCC) override
runOnSCC - This method should be implemented by the subclass to perform whatever action is necessary ...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - For this class, we declare that we require and preserve the call graph.
PMStack - This class implements a stack data structure of PMDataManager pointers.
Pass interface - Implemented by all 'passes'.
Definition Pass.h:97
Pass(PassKind K, char &pid)
Definition Pass.h:103
virtual bool doInitialization(Module &)
doInitialization - Virtual method overridden by subclasses to do any necessary initialization before ...
Definition Pass.h:126
virtual bool doFinalization(Module &)
doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes...
Definition Pass.h:130
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
This namespace contains all of the command line option processing machinery.
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI unsigned getMaxDevirtIterations(const cl::LibraryOptionsContext *)
@ PT_CallGraphSCC
Definition Pass.h:69
PassManagerType
Different types of internal pass managers.
Definition Pass.h:56
@ PMT_CallGraphPassManager
CGPassManager.
Definition Pass.h:59