LLVM 20.0.0git
GenericCycleInfo.h
Go to the documentation of this file.
1//===- GenericCycleInfo.h - Info for Cycles in any IR ------*- 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/// \file
10/// \brief Find all cycles in a control-flow graph, including irreducible loops.
11///
12/// See docs/CycleTerminology.rst for a formal definition of cycles.
13///
14/// Briefly:
15/// - A cycle is a generalization of a loop which can represent
16/// irreducible control flow.
17/// - Cycles identified in a program are implementation defined,
18/// depending on the DFS traversal chosen.
19/// - Cycles are well-nested, and form a forest with a parent-child
20/// relationship.
21/// - In any choice of DFS, every natural loop L is represented by a
22/// unique cycle C which is a superset of L.
23/// - In the absence of irreducible control flow, the cycles are
24/// exactly the natural loops in the program.
25///
26//===----------------------------------------------------------------------===//
27
28#ifndef LLVM_ADT_GENERICCYCLEINFO_H
29#define LLVM_ADT_GENERICCYCLEINFO_H
30
31#include "llvm/ADT/DenseSet.h"
34#include "llvm/ADT/SetVector.h"
35#include "llvm/Support/Debug.h"
37
38namespace llvm {
39
40template <typename ContextT> class GenericCycleInfo;
41template <typename ContextT> class GenericCycleInfoCompute;
42
43/// A possibly irreducible generalization of a \ref Loop.
44template <typename ContextT> class GenericCycle {
45public:
46 using BlockT = typename ContextT::BlockT;
47 using FunctionT = typename ContextT::FunctionT;
48 template <typename> friend class GenericCycleInfo;
49 template <typename> friend class GenericCycleInfoCompute;
50
51private:
52 /// The parent cycle. Is null for the root "cycle". Top-level cycles point
53 /// at the root.
54 GenericCycle *ParentCycle = nullptr;
55
56 /// The entry block(s) of the cycle. The header is the only entry if
57 /// this is a loop. Is empty for the root "cycle", to avoid
58 /// unnecessary memory use.
60
61 /// Child cycles, if any.
62 std::vector<std::unique_ptr<GenericCycle>> Children;
63
64 /// Basic blocks that are contained in the cycle, including entry blocks,
65 /// and including blocks that are part of a child cycle.
69
70 /// Depth of the cycle in the tree. The root "cycle" is at depth 0.
71 ///
72 /// \note Depths are not necessarily contiguous. However, child loops always
73 /// have strictly greater depth than their parents, and sibling loops
74 /// always have the same depth.
75 unsigned Depth = 0;
76
77 /// Cache for the results of GetExitBlocks
78 mutable SmallVector<BlockT *, 4> ExitBlocksCache;
79
80 void clear() {
81 Entries.clear();
82 Children.clear();
83 Blocks.clear();
84 Depth = 0;
85 ParentCycle = nullptr;
86 clearCache();
87 }
88
89 void appendEntry(BlockT *Block) {
90 Entries.push_back(Block);
91 clearCache();
92 }
93
94 void appendBlock(BlockT *Block) {
95 Blocks.insert(Block);
96 clearCache();
97 }
98
99 GenericCycle(const GenericCycle &) = delete;
100 GenericCycle &operator=(const GenericCycle &) = delete;
101 GenericCycle(GenericCycle &&Rhs) = delete;
102 GenericCycle &operator=(GenericCycle &&Rhs) = delete;
103
104public:
105 GenericCycle() = default;
106
107 /// \brief Whether the cycle is a natural loop.
108 bool isReducible() const { return Entries.size() == 1; }
109
110 BlockT *getHeader() const { return Entries[0]; }
111
113 return Entries;
114 }
115
116 /// Clear the cache of the cycle.
117 /// This should be run in all non-const function in GenericCycle
118 /// and GenericCycleInfo.
119 void clearCache() const { ExitBlocksCache.clear(); }
120
121 /// \brief Return whether \p Block is an entry block of the cycle.
122 bool isEntry(const BlockT *Block) const {
123 return is_contained(Entries, Block);
124 }
125
126 /// \brief Replace all entries with \p Block as single entry.
129 Entries.clear();
130 Entries.push_back(Block);
131 clearCache();
132 }
133
134 /// \brief Return whether \p Block is contained in the cycle.
135 bool contains(const BlockT *Block) const { return Blocks.contains(Block); }
136
137 /// \brief Returns true iff this cycle contains \p C.
138 ///
139 /// Note: Non-strict containment check, i.e. returns true if C is the
140 /// same cycle.
141 bool contains(const GenericCycle *C) const;
142
143 const GenericCycle *getParentCycle() const { return ParentCycle; }
144 GenericCycle *getParentCycle() { return ParentCycle; }
145 unsigned getDepth() const { return Depth; }
146
147 /// Return all of the successor blocks of this cycle.
148 ///
149 /// These are the blocks _outside of the current cycle_ which are
150 /// branched to.
151 void getExitBlocks(SmallVectorImpl<BlockT *> &TmpStorage) const;
152
153 /// Return all blocks of this cycle that have successor outside of this cycle.
154 /// These blocks have cycle exit branch.
155 void getExitingBlocks(SmallVectorImpl<BlockT *> &TmpStorage) const;
156
157 /// Return the preheader block for this cycle. Pre-header is well-defined for
158 /// reducible cycle in docs/LoopTerminology.rst as: the only one entering
159 /// block and its only edge is to the entry block. Return null for irreducible
160 /// cycles.
161 BlockT *getCyclePreheader() const;
162
163 /// If the cycle has exactly one entry with exactly one predecessor, return
164 /// it, otherwise return nullptr.
166
167 void verifyCycle() const;
168 void verifyCycleNest() const;
169
170 /// Iteration over child cycles.
171 //@{
173 typename std::vector<std::unique_ptr<GenericCycle>>::const_iterator;
175 : iterator_adaptor_base<const_child_iterator, const_child_iterator_base> {
176 using Base =
178
181
183 GenericCycle *operator*() const { return Base::I->get(); }
184 };
185
187 return const_child_iterator{Children.begin()};
188 }
190 return const_child_iterator{Children.end()};
191 }
192 size_t getNumChildren() const { return Children.size(); }
194 return llvm::make_range(const_child_iterator{Children.begin()},
195 const_child_iterator{Children.end()});
196 }
197 //@}
198
199 /// Iteration over blocks in the cycle (including entry blocks).
200 //@{
202
204 return const_block_iterator{Blocks.begin()};
205 }
207 return const_block_iterator{Blocks.end()};
208 }
209 size_t getNumBlocks() const { return Blocks.size(); }
212 }
213 //@}
214
215 /// Iteration over entry blocks.
216 //@{
219 const_entry_iterator entry_begin() const { return Entries.begin(); }
220 const_entry_iterator entry_end() const { return Entries.end(); }
221 size_t getNumEntries() const { return Entries.size(); }
224 }
227 const_reverse_entry_iterator entry_rbegin() const { return Entries.rbegin(); }
228 const_reverse_entry_iterator entry_rend() const { return Entries.rend(); }
229 //@}
230
231 Printable printEntries(const ContextT &Ctx) const {
232 return Printable([this, &Ctx](raw_ostream &Out) {
233 bool First = true;
234 for (auto *Entry : Entries) {
235 if (!First)
236 Out << ' ';
237 First = false;
238 Out << Ctx.print(Entry);
239 }
240 });
241 }
242
243 Printable print(const ContextT &Ctx) const {
244 return Printable([this, &Ctx](raw_ostream &Out) {
245 Out << "depth=" << Depth << ": entries(" << printEntries(Ctx) << ')';
246
247 for (auto *Block : Blocks) {
248 if (isEntry(Block))
249 continue;
250
251 Out << ' ' << Ctx.print(Block);
252 }
253 });
254 }
255};
256
257/// \brief Cycle information for a function.
258template <typename ContextT> class GenericCycleInfo {
259public:
260 using BlockT = typename ContextT::BlockT;
262 using FunctionT = typename ContextT::FunctionT;
263 template <typename> friend class GenericCycle;
264 template <typename> friend class GenericCycleInfoCompute;
265
266private:
267 ContextT Context;
268
269 /// Map basic blocks to their inner-most containing cycle.
271
272 /// Map basic blocks to their top level containing cycle.
273 DenseMap<BlockT *, CycleT *> BlockMapTopLevel;
274
275 /// Top-level cycles discovered by any DFS.
276 ///
277 /// Note: The implementation treats the nullptr as the parent of
278 /// every top-level cycle. See \ref contains for an example.
279 std::vector<std::unique_ptr<CycleT>> TopLevelCycles;
280
281 /// Move \p Child to \p NewParent by manipulating Children vectors.
282 ///
283 /// Note: This is an incomplete operation that does not update the depth of
284 /// the subtree.
285 void moveTopLevelCycleToNewParent(CycleT *NewParent, CycleT *Child);
286
287public:
288 GenericCycleInfo() = default;
291
292 void clear();
293 void compute(FunctionT &F);
294 void splitCriticalEdge(BlockT *Pred, BlockT *Succ, BlockT *New);
295
296 const FunctionT *getFunction() const { return Context.getFunction(); }
297 const ContextT &getSSAContext() const { return Context; }
298
299 CycleT *getCycle(const BlockT *Block) const;
301 unsigned getCycleDepth(const BlockT *Block) const;
303
304 /// Assumes that \p Cycle is the innermost cycle containing \p Block.
305 /// \p Block will be appended to \p Cycle and all of its parent cycles.
306 /// \p Block will be added to BlockMap with \p Cycle and
307 /// BlockMapTopLevel with \p Cycle's top level parent cycle.
309
310 /// Methods for debug and self-test.
311 //@{
312 void verifyCycleNest(bool VerifyFull = false) const;
313 void verify() const;
314 void print(raw_ostream &Out) const;
315 void dump() const { print(dbgs()); }
316 Printable print(const CycleT *Cycle) { return Cycle->print(Context); }
317 //@}
318
319 /// Iteration over top-level cycles.
320 //@{
322 typename std::vector<std::unique_ptr<CycleT>>::const_iterator;
324 : iterator_adaptor_base<const_toplevel_iterator,
325 const_toplevel_iterator_base> {
328
331 : Base(I) {}
332
334 CycleT *operator*() const { return Base::I->get(); }
335 };
336
338 return const_toplevel_iterator{TopLevelCycles.begin()};
339 }
341 return const_toplevel_iterator{TopLevelCycles.end()};
342 }
343
345 return llvm::make_range(const_toplevel_iterator{TopLevelCycles.begin()},
346 const_toplevel_iterator{TopLevelCycles.end()});
347 }
348 //@}
349};
350
351/// \brief GraphTraits for iterating over a sub-tree of the CycleT tree.
352template <typename CycleRefT, typename ChildIteratorT> struct CycleGraphTraits {
353 using NodeRef = CycleRefT;
354
355 using nodes_iterator = ChildIteratorT;
357
358 static NodeRef getEntryNode(NodeRef Graph) { return Graph; }
359
361 return Ref->child_begin();
362 }
363 static ChildIteratorType child_end(NodeRef Ref) { return Ref->child_end(); }
364
365 // Not implemented:
366 // static nodes_iterator nodes_begin(GraphType *G)
367 // static nodes_iterator nodes_end (GraphType *G)
368 // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
369
370 // typedef EdgeRef - Type of Edge token in the graph, which should
371 // be cheap to copy.
372 // typedef ChildEdgeIteratorType - Type used to iterate over children edges in
373 // graph, dereference to a EdgeRef.
374
375 // static ChildEdgeIteratorType child_edge_begin(NodeRef)
376 // static ChildEdgeIteratorType child_edge_end(NodeRef)
377 // Return iterators that point to the beginning and ending of the
378 // edge list for the given callgraph node.
379 //
380 // static NodeRef edge_dest(EdgeRef)
381 // Return the destination node of an edge.
382 // static unsigned size (GraphType *G)
383 // Return total number of nodes in the graph
384};
385
386template <typename BlockT>
390template <typename BlockT>
391struct GraphTraits<GenericCycle<BlockT> *>
394
395} // namespace llvm
396
397#endif // LLVM_ADT_GENERICCYCLEINFO_H
aarch64 promote const
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
This file defines the DenseSet and SmallDenseSet classes.
DenseMap< Block *, BlockRelaxAux > Blocks
Definition: ELF_riscv.cpp:507
This file defines the little GenericSSAContext<X> template class that can be used to implement IR ana...
This file defines the little GraphTraits<X> template class that should be specialized by classes that...
#define F(x, y, z)
Definition: MD5.cpp:55
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file implements a set that has insertion order iteration characteristics.
Implements a dense probed hash-table based set.
Definition: DenseSet.h:278
Helper class for computing cycle information.
Cycle information for a function.
typename ContextT::FunctionT FunctionT
void verify() const
Verify that the entire cycle tree well-formed.
void addBlockToCycle(BlockT *Block, CycleT *Cycle)
Assumes that Cycle is the innermost cycle containing Block.
typename std::vector< std::unique_ptr< CycleT > >::const_iterator const_toplevel_iterator_base
Iteration over top-level cycles.
iterator_range< const_toplevel_iterator > toplevel_cycles() const
const_toplevel_iterator toplevel_end() const
const FunctionT * getFunction() const
void print(raw_ostream &Out) const
Print the cycle info.
CycleT * getSmallestCommonCycle(CycleT *A, CycleT *B) const
Find the innermost cycle containing both given cycles.
GenericCycleInfo & operator=(GenericCycleInfo &&)=default
void clear()
Reset the object to its initial state.
GenericCycle< ContextT > CycleT
void compute(FunctionT &F)
Compute the cycle info for a function.
void splitCriticalEdge(BlockT *Pred, BlockT *Succ, BlockT *New)
const ContextT & getSSAContext() const
GenericCycleInfo(GenericCycleInfo &&)=default
Printable print(const CycleT *Cycle)
unsigned getCycleDepth(const BlockT *Block) const
get the depth for the cycle which containing a given block.
void verifyCycleNest(bool VerifyFull=false) const
Methods for debug and self-test.
typename ContextT::BlockT BlockT
CycleT * getTopLevelParentCycle(BlockT *Block)
const_toplevel_iterator toplevel_begin() const
CycleT * getCycle(const BlockT *Block) const
Find the innermost cycle containing a given block.
A possibly irreducible generalization of a Loop.
void clearCache() const
Clear the cache of the cycle.
BlockT * getHeader() const
bool isReducible() const
Whether the cycle is a natural loop.
typename ContextT::FunctionT FunctionT
const_entry_iterator entry_end() const
void getExitingBlocks(SmallVectorImpl< BlockT * > &TmpStorage) const
Return all blocks of this cycle that have successor outside of this cycle.
const_entry_iterator entry_begin() const
void verifyCycle() const
Verify that this is actually a well-formed cycle in the CFG.
typename SmallVectorImpl< BlockT * >::const_iterator const_entry_iterator
Iteration over entry blocks.
const_child_iterator child_begin() const
iterator_range< const_entry_iterator > entries() const
void verifyCycleNest() const
Verify the parent-child relations of this cycle.
GenericCycle()=default
Printable print(const ContextT &Ctx) const
iterator_range< const_block_iterator > blocks() const
const SmallVectorImpl< BlockT * > & getEntries() const
BlockT * getCyclePreheader() const
Return the preheader block for this cycle.
typename BlockSetVectorT::const_iterator const_block_iterator
Iteration over blocks in the cycle (including entry blocks).
bool isEntry(const BlockT *Block) const
Return whether Block is an entry block of the cycle.
const_reverse_entry_iterator entry_rend() const
const_block_iterator block_begin() const
const_reverse_entry_iterator entry_rbegin() const
void getExitBlocks(SmallVectorImpl< BlockT * > &TmpStorage) const
Return all of the successor blocks of this cycle.
BlockT * getCyclePredecessor() const
If the cycle has exactly one entry with exactly one predecessor, return it, otherwise return nullptr.
bool contains(const BlockT *Block) const
Return whether Block is contained in the cycle.
Printable printEntries(const ContextT &Ctx) const
size_t getNumEntries() const
const_child_iterator child_end() const
typename std::vector< std::unique_ptr< GenericCycle > >::const_iterator const_child_iterator_base
Iteration over child cycles.
size_t getNumChildren() const
typename ContextT::BlockT BlockT
const GenericCycle * getParentCycle() const
void setSingleEntry(BlockT *Block)
Replace all entries with Block as single entry.
GenericCycle * getParentCycle()
typename SmallVectorImpl< BlockT * >::const_reverse_iterator const_reverse_entry_iterator
unsigned getDepth() const
const_block_iterator block_end() const
size_t getNumBlocks() const
iterator_range< const_child_iterator > children() const
Simple wrapper around std::function<void(raw_ostream&)>.
Definition: Printable.h:38
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:573
typename SuperClass::const_iterator const_iterator
Definition: SmallVector.h:578
std::reverse_iterator< const_iterator > const_reverse_iterator
Definition: SmallVector.h:254
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1196
CRTP base class for adapting an iterator to a different type.
Definition: iterator.h:237
A range adaptor for a pair of iterators.
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163
@ Ref
The access may reference the value stored in memory.
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition: STLExtras.h:1903
GraphTraits for iterating over a sub-tree of the CycleT tree.
static ChildIteratorType child_begin(NodeRef Ref)
nodes_iterator ChildIteratorType
ChildIteratorT nodes_iterator
static NodeRef getEntryNode(NodeRef Graph)
static ChildIteratorType child_end(NodeRef Ref)
const const_toplevel_iterator_base & wrapped()
const_toplevel_iterator(const_toplevel_iterator_base I)
const_child_iterator(const_child_iterator_base I)
const const_child_iterator_base & wrapped()