LLVM 24.0.0git
RegionInfo.h
Go to the documentation of this file.
1//===- RegionInfo.h - SESE region analysis ----------------------*- 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// Calculate a program structure tree built out of single entry single exit
10// regions.
11// The basic ideas are taken from "The Program Structure Tree - Richard Johnson,
12// David Pearson, Keshav Pingali - 1994", however enriched with ideas from "The
13// Refined Process Structure Tree - Jussi Vanhatalo, Hagen Voelyer, Jana
14// Koehler - 2009".
15// The algorithm to calculate these data structures however is completely
16// different, as it takes advantage of existing information already available
17// in (Post)dominace tree and dominance frontier passes. This leads to a simpler
18// and in practice hopefully better performing algorithm. The runtime of the
19// algorithms described in the papers above are both linear in graph size,
20// O(V+E), whereas this algorithm is not, as the dominance frontier information
21// itself is not, but in practice runtime seems to be in the order of magnitude
22// of dominance tree calculation.
23//
24// WARNING: LLVM is generally very concerned about compile time such that
25// the use of additional analysis passes in the default
26// optimization sequence is avoided as much as possible.
27// Specifically, if you do not need the RegionInfo, but dominance
28// information could be sufficient please base your work only on
29// the dominator tree. Most passes maintain it, such that using
30// it has often near zero cost. In contrast RegionInfo is by
31// default not available, is not maintained by existing
32// transformations and there is no intention to do so.
33//
34//===----------------------------------------------------------------------===//
35
36#ifndef LLVM_ANALYSIS_REGIONINFO_H
37#define LLVM_ANALYSIS_REGIONINFO_H
38
39#include "llvm/ADT/DenseMap.h"
44#include "llvm/IR/Dominators.h"
45#include "llvm/IR/PassManager.h"
46#include "llvm/Pass.h"
47#include <algorithm>
48#include <cassert>
49#include <map>
50#include <memory>
51#include <set>
52#include <string>
53#include <type_traits>
54#include <vector>
55
56namespace llvm {
57
59class Loop;
60class LoopInfo;
62class Region;
63template <class RegionTr> class RegionBase;
64class RegionInfo;
65template <class RegionTr> class RegionInfoBase;
66class RegionNode;
67class raw_ostream;
68
69// Class to be specialized for different users of RegionInfo
70// (i.e. BasicBlocks or MachineBasicBlocks). This is only to avoid needing to
71// pass around an unreasonable number of template parameters.
72template <class FuncT_>
74 // FuncT
75 // BlockT
76 // RegionT
77 // RegionNodeT
78 // RegionInfoT
79 using BrokenT = typename FuncT_::UnknownRegionTypeError;
80};
81
82template <>
84 using FuncT = Function;
86 using RegionT = Region;
94 using LoopT = Loop;
96
97 static unsigned getNumSuccessors(BasicBlock *BB) {
98 return BB->getTerminator()->getNumSuccessors();
99 }
100
101 /// Update statistics about created regions.
102 LLVM_ABI static void updateStatistics(Region *R);
103};
104
105/// Marker class to iterate over the elements of a Region in flat mode.
106///
107/// The class is used to either iterate in Flat mode or by not using it to not
108/// iterate in Flat mode. During a Flat mode iteration all Regions are entered
109/// and the iteration returns every BasicBlock. If the Flat mode is not
110/// selected for SubRegions just one RegionNode containing the subregion is
111/// returned.
112template <class GraphType>
113class FlatIt {};
114
115/// A RegionNode represents a subregion or a BasicBlock that is part of a
116/// Region.
117template <class Tr>
119 friend class RegionBase<Tr>;
120
121public:
122 using BlockT = typename Tr::BlockT;
123 using RegionT = typename Tr::RegionT;
124
125private:
126 /// This is the entry basic block that starts this region node. If this is a
127 /// BasicBlock RegionNode, then entry is just the basic block, that this
128 /// RegionNode represents. Otherwise it is the entry of this (Sub)RegionNode.
129 ///
130 /// In the BBtoRegionNode map of the parent of this node, BB will always map
131 /// to this node no matter which kind of node this one is.
132 ///
133 /// The node can hold either a Region or a BasicBlock.
134 /// Use one bit to save, if this RegionNode is a subregion or BasicBlock
135 /// RegionNode.
137
138 /// The parent Region of this RegionNode.
139 /// @see getParent()
140 RegionT *parent;
141
142protected:
143 /// Create a RegionNode.
144 ///
145 /// @param Parent The parent of this RegionNode.
146 /// @param Entry The entry BasicBlock of the RegionNode. If this
147 /// RegionNode represents a BasicBlock, this is the
148 /// BasicBlock itself. If it represents a subregion, this
149 /// is the entry BasicBlock of the subregion.
150 /// @param isSubRegion If this RegionNode represents a SubRegion.
151 inline RegionNodeBase(RegionT *Parent, BlockT *Entry,
152 bool isSubRegion = false)
153 : entry(Entry, isSubRegion), parent(Parent) {}
154
155public:
158
159 /// Get the parent Region of this RegionNode.
160 ///
161 /// The parent Region is the Region this RegionNode belongs to. If for
162 /// example a BasicBlock is element of two Regions, there exist two
163 /// RegionNodes for this BasicBlock. Each with the getParent() function
164 /// pointing to the Region this RegionNode belongs to.
165 ///
166 /// @return Get the parent Region of this RegionNode.
167 inline RegionT *getParent() const { return parent; }
168
169 /// Get the entry BasicBlock of this RegionNode.
170 ///
171 /// If this RegionNode represents a BasicBlock this is just the BasicBlock
172 /// itself, otherwise we return the entry BasicBlock of the Subregion
173 ///
174 /// @return The entry BasicBlock of this RegionNode.
175 inline BlockT *getEntry() const { return entry.getPointer(); }
176
177 /// Get the content of this RegionNode.
178 ///
179 /// This can be either a BasicBlock or a subregion. Before calling getNodeAs()
180 /// check the type of the content with the isSubRegion() function call.
181 ///
182 /// @return The content of this RegionNode.
183 template <class T> inline T *getNodeAs() const;
184
185 /// Is this RegionNode a subregion?
186 ///
187 /// @return True if it contains a subregion. False if it contains a
188 /// BasicBlock.
189 inline bool isSubRegion() const { return entry.getInt(); }
190};
191
192//===----------------------------------------------------------------------===//
193/// A single entry single exit Region.
194///
195/// A Region is a connected subgraph of a control flow graph that has exactly
196/// two connections to the remaining graph. It can be used to analyze or
197/// optimize parts of the control flow graph.
198///
199/// A <em> simple Region </em> is connected to the remaining graph by just two
200/// edges. One edge entering the Region and another one leaving the Region.
201///
202/// An <em> extended Region </em> (or just Region) is a subgraph that can be
203/// transform into a simple Region. The transformation is done by adding
204/// BasicBlocks that merge several entry or exit edges so that after the merge
205/// just one entry and one exit edge exists.
206///
207/// The \e Entry of a Region is the first BasicBlock that is passed after
208/// entering the Region. It is an element of the Region. The entry BasicBlock
209/// dominates all BasicBlocks in the Region.
210///
211/// The \e Exit of a Region is the first BasicBlock that is passed after
212/// leaving the Region. It is not an element of the Region. The exit BasicBlock,
213/// postdominates all BasicBlocks in the Region.
214///
215/// A <em> canonical Region </em> cannot be constructed by combining smaller
216/// Regions.
217///
218/// Region A is the \e parent of Region B, if B is completely contained in A.
219///
220/// Two canonical Regions either do not intersect at all or one is
221/// the parent of the other.
222///
223/// The <em> Program Structure Tree</em> is a graph (V, E) where V is the set of
224/// Regions in the control flow graph and E is the \e parent relation of these
225/// Regions.
226///
227/// Example:
228///
229/// \verbatim
230/// A simple control flow graph, that contains two regions.
231///
232/// 1
233/// / |
234/// 2 |
235/// / \ 3
236/// 4 5 |
237/// | | |
238/// 6 7 8
239/// \ | /
240/// \ |/ Region A: 1 -> 9 {1,2,3,4,5,6,7,8}
241/// 9 Region B: 2 -> 9 {2,4,5,6,7}
242/// \endverbatim
243///
244/// You can obtain more examples by either calling
245///
246/// <tt> "opt -passes='print<regions>' anyprogram.ll" </tt>
247/// or
248/// <tt> "opt -view-regions-only anyprogram.ll" </tt>
249///
250/// on any LLVM file you are interested in.
251///
252/// The first call returns a textual representation of the program structure
253/// tree, the second one creates a graphical representation using graphviz.
254template <class Tr>
255class RegionBase : public RegionNodeBase<Tr> {
256 friend class RegionInfoBase<Tr>;
257
258 using FuncT = typename Tr::FuncT;
259 using BlockT = typename Tr::BlockT;
260 using RegionInfoT = typename Tr::RegionInfoT;
261 using RegionT = typename Tr::RegionT;
262 using RegionNodeT = typename Tr::RegionNodeT;
263 using DomTreeT = typename Tr::DomTreeT;
264 using LoopT = typename Tr::LoopT;
265 using LoopInfoT = typename Tr::LoopInfoT;
266 using InstT = typename Tr::InstT;
267
268 using BlockTraits = GraphTraits<BlockT *>;
269 using InvBlockTraits = GraphTraits<Inverse<BlockT *>>;
270 using SuccIterTy = typename BlockTraits::ChildIteratorType;
271 using PredIterTy = typename InvBlockTraits::ChildIteratorType;
272
273 // Information necessary to manage this Region.
274 RegionInfoT *RI;
275 DomTreeT *DT;
276
277 // The exit BasicBlock of this region.
278 // (The entry BasicBlock is part of RegionNode)
279 BlockT *exit;
280
281 using RegionSet = std::vector<std::unique_ptr<RegionT>>;
282
283 // The subregions of this region.
284 RegionSet children;
285
286 using BBNodeMapT = std::map<BlockT *, std::unique_ptr<RegionNodeT>>;
287
288 // Save the BasicBlock RegionNodes that are element of this Region.
289 mutable BBNodeMapT BBNodeMap;
290
291 /// Check if a BB is in this Region. This check also works
292 /// if the region is incorrectly built. (EXPENSIVE!)
293 void verifyBBInRegion(BlockT *BB) const;
294
295 /// Walk over all the BBs of the region starting from BB and
296 /// verify that all reachable basic blocks are elements of the region.
297 /// (EXPENSIVE!)
298 void verifyWalk(BlockT *BB, std::set<BlockT *> *visitedBB) const;
299
300 /// Verify if the region and its children are valid regions (EXPENSIVE!)
301 void verifyRegionNest() const;
302
303public:
304 /// Create a new region.
305 ///
306 /// @param Entry The entry basic block of the region.
307 /// @param Exit The exit basic block of the region.
308 /// @param RI The region info object that is managing this region.
309 /// @param DT The dominator tree of the current function.
310 /// @param Parent The surrounding region or NULL if this is a top level
311 /// region.
312 RegionBase(BlockT *Entry, BlockT *Exit, RegionInfoT *RI, DomTreeT *DT,
313 RegionT *Parent = nullptr);
314
315 RegionBase(const RegionBase &) = delete;
316 RegionBase &operator=(const RegionBase &) = delete;
317
318 /// Delete the Region and all its subregions.
319 ~RegionBase();
320
321 /// Get the entry BasicBlock of the Region.
322 /// @return The entry BasicBlock of the region.
323 BlockT *getEntry() const {
325 }
326
327 /// Replace the entry basic block of the region with the new basic
328 /// block.
329 ///
330 /// @param BB The new entry basic block of the region.
331 void replaceEntry(BlockT *BB);
332
333 /// Replace the exit basic block of the region with the new basic
334 /// block.
335 ///
336 /// @param BB The new exit basic block of the region.
337 void replaceExit(BlockT *BB);
338
339 /// Recursively replace the entry basic block of the region.
340 ///
341 /// This function replaces the entry basic block with a new basic block. It
342 /// also updates all child regions that have the same entry basic block as
343 /// this region.
344 ///
345 /// @param NewEntry The new entry basic block.
346 void replaceEntryRecursive(BlockT *NewEntry);
347
348 /// Recursively replace the exit basic block of the region.
349 ///
350 /// This function replaces the exit basic block with a new basic block. It
351 /// also updates all child regions that have the same exit basic block as
352 /// this region.
353 ///
354 /// @param NewExit The new exit basic block.
355 void replaceExitRecursive(BlockT *NewExit);
356
357 /// Get the exit BasicBlock of the Region.
358 /// @return The exit BasicBlock of the Region, NULL if this is the TopLevel
359 /// Region.
360 BlockT *getExit() const { return exit; }
361
362 /// Get the parent of the Region.
363 /// @return The parent of the Region or NULL if this is a top level
364 /// Region.
365 RegionT *getParent() const {
367 }
368
369 /// Get the RegionNode representing the current Region.
370 /// @return The RegionNode representing the current Region.
371 RegionNodeT *getNode() const {
372 return const_cast<RegionNodeT *>(
373 reinterpret_cast<const RegionNodeT *>(this));
374 }
375
376 /// Get the nesting level of this Region.
377 ///
378 /// An toplevel Region has depth 0.
379 ///
380 /// @return The depth of the region.
381 unsigned getDepth() const;
382
383 /// Check if a Region is the TopLevel region.
384 ///
385 /// The toplevel region represents the whole function.
386 bool isTopLevelRegion() const { return exit == nullptr; }
387
388 /// Return a new (non-canonical) region, that is obtained by joining
389 /// this region with its predecessors.
390 ///
391 /// @return A region also starting at getEntry(), but reaching to the next
392 /// basic block that forms with getEntry() a (non-canonical) region.
393 /// NULL if such a basic block does not exist.
394 RegionT *getExpandedRegion() const;
395
396 /// Return the first block of this region's single entry edge,
397 /// if existing.
398 ///
399 /// @return The BasicBlock starting this region's single entry edge,
400 /// else NULL.
401 BlockT *getEnteringBlock() const;
402
403 /// Return the first block of this region's single exit edge,
404 /// if existing.
405 ///
406 /// @return The BasicBlock starting this region's single exit edge,
407 /// else NULL.
408 BlockT *getExitingBlock() const;
409
410 /// Collect all blocks of this region's single exit edge, if existing.
411 ///
412 /// @return True if this region contains all the predecessors of the exit.
413 bool getExitingBlocks(SmallVectorImpl<BlockT *> &Exitings) const;
414
415 /// Is this a simple region?
416 ///
417 /// A region is simple if it has exactly one exit and one entry edge.
418 ///
419 /// @return True if the Region is simple.
420 bool isSimple() const;
421
422 /// Returns the name of the Region.
423 /// @return The Name of the Region.
424 std::string getNameStr() const;
425
426 /// Return the RegionInfo object, that belongs to this Region.
427 RegionInfoT *getRegionInfo() const { return RI; }
428
429 /// PrintStyle - Print region in difference ways.
431
432 /// Print the region.
433 ///
434 /// @param OS The output stream the Region is printed to.
435 /// @param printTree Print also the tree of subregions.
436 /// @param level The indentation level used for printing.
437 void print(raw_ostream &OS, bool printTree = true, unsigned level = 0,
438 PrintStyle Style = PrintNone) const;
439
440#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
441 /// Print the region to stderr.
442 void dump() const;
443#endif
444
445 /// Check if the region contains a BasicBlock.
446 ///
447 /// @param BB The BasicBlock that might be contained in this Region.
448 /// @return True if the block is contained in the region otherwise false.
449 bool contains(const BlockT *BB) const;
450
451 /// Check if the region contains another region.
452 ///
453 /// @param SubRegion The region that might be contained in this Region.
454 /// @return True if SubRegion is contained in the region otherwise false.
455 bool contains(const RegionT *SubRegion) const {
456 // Toplevel Region.
457 if (!getExit())
458 return true;
459
460 return contains(SubRegion->getEntry()) &&
461 (contains(SubRegion->getExit()) ||
462 SubRegion->getExit() == getExit());
463 }
464
465 /// Check if the region contains an Instruction.
466 ///
467 /// @param Inst The Instruction that might be contained in this region.
468 /// @return True if the Instruction is contained in the region otherwise
469 /// false.
470 bool contains(const InstT *Inst) const { return contains(Inst->getParent()); }
471
472 /// Check if the region contains a loop.
473 ///
474 /// @param L The loop that might be contained in this region.
475 /// @return True if the loop is contained in the region otherwise false.
476 /// In case a NULL pointer is passed to this function the result
477 /// is false, except for the region that describes the whole function.
478 /// In that case true is returned.
479 bool contains(const LoopT *L) const;
480
481 /// Get the outermost loop in the region that contains a loop.
482 ///
483 /// Find for a Loop L the outermost loop OuterL that is a parent loop of L
484 /// and is itself contained in the region.
485 ///
486 /// @param L The loop the lookup is started.
487 /// @return The outermost loop in the region, NULL if such a loop does not
488 /// exist or if the region describes the whole function.
489 LoopT *outermostLoopInRegion(LoopT *L) const;
490
491 /// Get the outermost loop in the region that contains a basic block.
492 ///
493 /// Find for a basic block BB the outermost loop L that contains BB and is
494 /// itself contained in the region.
495 ///
496 /// @param LI A pointer to a LoopInfo analysis.
497 /// @param BB The basic block surrounded by the loop.
498 /// @return The outermost loop in the region, NULL if such a loop does not
499 /// exist or if the region describes the whole function.
500 LoopT *outermostLoopInRegion(LoopInfoT *LI, BlockT *BB) const;
501
502 /// Get the subregion that starts at a BasicBlock
503 ///
504 /// @param BB The BasicBlock the subregion should start.
505 /// @return The Subregion if available, otherwise NULL.
506 RegionT *getSubRegionNode(BlockT *BB) const;
507
508 /// Get the RegionNode for a BasicBlock
509 ///
510 /// @param BB The BasicBlock at which the RegionNode should start.
511 /// @return If available, the RegionNode that represents the subregion
512 /// starting at BB. If no subregion starts at BB, the RegionNode
513 /// representing BB.
514 RegionNodeT *getNode(BlockT *BB) const;
515
516 /// Get the BasicBlock RegionNode for a BasicBlock
517 ///
518 /// @param BB The BasicBlock for which the RegionNode is requested.
519 /// @return The RegionNode representing the BB.
520 RegionNodeT *getBBNode(BlockT *BB) const;
521
522 /// Add a new subregion to this Region.
523 ///
524 /// @param SubRegion The new subregion that will be added.
525 /// @param moveChildren Move the children of this region, that are also
526 /// contained in SubRegion into SubRegion.
527 void addSubRegion(RegionT *SubRegion, bool moveChildren = false);
528
529 /// Remove a subregion from this Region.
530 ///
531 /// The subregion is not deleted, as it will probably be inserted into another
532 /// region.
533 /// @param SubRegion The SubRegion that will be removed.
534 RegionT *removeSubRegion(RegionT *SubRegion);
535
536 /// Move all direct child nodes of this Region to another Region.
537 ///
538 /// @param To The Region the child nodes will be transferred to.
539 void transferChildrenTo(RegionT *To);
540
541 /// Verify if the region is a correct region.
542 ///
543 /// Check if this is a correctly build Region. This is an expensive check, as
544 /// the complete CFG of the Region will be walked.
545 void verifyRegion() const;
546
547 /// @name Subregion Iterators
548 ///
549 /// These iterators iterator over all subregions of this Region.
550 //@{
551 using iterator = typename RegionSet::iterator;
552 using const_iterator = typename RegionSet::const_iterator;
553
554 iterator begin() { return children.begin(); }
555 iterator end() { return children.end(); }
556
557 const_iterator begin() const { return children.begin(); }
558 const_iterator end() const { return children.end(); }
559 //@}
560
561 /// @name BasicBlock Iterators
562 ///
563 /// These iterators iterate over all BasicBlocks that are contained in this
564 /// Region. The iterator also iterates over BasicBlocks that are elements of
565 /// a subregion of this Region. It is therefore called a flat iterator.
566 //@{
567 template <bool IsConst>
569 : public df_iterator<
570 std::conditional_t<IsConst, const BlockT, BlockT> *> {
571 using super =
572 df_iterator<std::conditional_t<IsConst, const BlockT, BlockT> *>;
573
574 public:
577
578 // Construct the begin iterator.
580 : super(df_begin(Entry)) {
581 // Mark the exit of the region as visited, so that the children of the
582 // exit and the exit itself, i.e. the block outside the region will never
583 // be visited.
584 super::Visited.insert(Exit);
585 }
586
587 // Construct the end iterator.
588 block_iterator_wrapper() : super(df_end<value_type>((BlockT *)nullptr)) {}
589
590 /*implicit*/ block_iterator_wrapper(super I) : super(I) {}
591
592 // FIXME: Even a const_iterator returns a non-const BasicBlock pointer.
593 // This was introduced for backwards compatibility, but should
594 // be removed as soon as all users are fixed.
595 BlockT *operator*() const {
596 return const_cast<BlockT *>(super::operator*());
597 }
598 };
599
602
604
606
611
614
615 /// Returns a range view of the basic blocks in the region.
617 return block_range(block_begin(), block_end());
618 }
619
620 /// Returns a range view of the basic blocks in the region.
621 ///
622 /// This is the 'const' version of the range view.
623 inline const_block_range blocks() const {
625 }
626 //@}
627
628 /// @name Element Iterators
629 ///
630 /// These iterators iterate over all BasicBlock and subregion RegionNodes that
631 /// are direct children of this Region. It does not iterate over any
632 /// RegionNodes that are also element of a subregion of this Region.
633 //@{
637
639 df_iterator<const RegionNodeT *,
642
648
654 //@}
655};
656
657/// Print a RegionNode.
658template <class Tr>
659inline raw_ostream &operator<<(raw_ostream &OS, const RegionNodeBase<Tr> &Node);
660
661//===----------------------------------------------------------------------===//
662/// Analysis that detects all canonical Regions.
663///
664/// The RegionInfo pass detects all canonical regions in a function. The Regions
665/// are connected using the parent relation. This builds a Program Structure
666/// Tree.
667template <class Tr>
668class RegionInfoBase {
669 friend class RegionInfo;
670 friend class MachineRegionInfo;
671
672 using BlockT = typename Tr::BlockT;
673 using FuncT = typename Tr::FuncT;
674 using RegionT = typename Tr::RegionT;
675 using RegionInfoT = typename Tr::RegionInfoT;
676 using DomTreeT = typename Tr::DomTreeT;
677 using DomTreeNodeT = typename Tr::DomTreeNodeT;
678 using PostDomTreeT = typename Tr::PostDomTreeT;
679 using DomFrontierT = typename Tr::DomFrontierT;
680 using BlockTraits = GraphTraits<BlockT *>;
681 using InvBlockTraits = GraphTraits<Inverse<BlockT *>>;
682 using SuccIterTy = typename BlockTraits::ChildIteratorType;
683 using PredIterTy = typename InvBlockTraits::ChildIteratorType;
684
685 using BBtoBBMap = DenseMap<BlockT *, BlockT *>;
686 using BBtoRegionMap = DenseMap<BlockT *, RegionT *>;
687
688 RegionInfoBase();
689
690 RegionInfoBase(RegionInfoBase &&Arg)
691 : DT(std::move(Arg.DT)), PDT(std::move(Arg.PDT)), DF(std::move(Arg.DF)),
692 TopLevelRegion(std::move(Arg.TopLevelRegion)),
693 BBtoRegion(std::move(Arg.BBtoRegion)) {
694 Arg.wipe();
695 }
696
697 RegionInfoBase &operator=(RegionInfoBase &&RHS) {
698 DT = std::move(RHS.DT);
699 PDT = std::move(RHS.PDT);
700 DF = std::move(RHS.DF);
701 TopLevelRegion = std::move(RHS.TopLevelRegion);
702 BBtoRegion = std::move(RHS.BBtoRegion);
703 RHS.wipe();
704 return *this;
705 }
706
707 ~RegionInfoBase();
708
709 DomTreeT *DT;
710 PostDomTreeT *PDT;
711 DomFrontierT *DF;
712
713 /// The top level region.
714 RegionT *TopLevelRegion = nullptr;
715
716 /// Map every BB to the smallest region, that contains BB.
717 BBtoRegionMap BBtoRegion;
718
719protected:
720 /// Update refences to a RegionInfoT held by the RegionT managed here
721 ///
722 /// This is a post-move helper. Regions hold references to the owning
723 /// RegionInfo object. After a move these need to be fixed.
724 template<typename TheRegionT>
725 void updateRegionTree(RegionInfoT &RI, TheRegionT *R) {
726 if (!R)
727 return;
728 R->RI = &RI;
729 for (auto &SubR : *R)
730 updateRegionTree(RI, SubR.get());
731 }
732
733private:
734 /// Wipe this region tree's state without releasing any resources.
735 ///
736 /// This is essentially a post-move helper only. It leaves the object in an
737 /// assignable and destroyable state, but otherwise invalid.
738 void wipe() {
739 DT = nullptr;
740 PDT = nullptr;
741 DF = nullptr;
742 TopLevelRegion = nullptr;
743 BBtoRegion.clear();
744 }
745
746 // Check whether the entries of BBtoRegion for the BBs of region
747 // SR are correct. Triggers an assertion if not. Calls itself recursively for
748 // subregions.
749 void verifyBBMap(const RegionT *SR) const;
750
751 // Returns true if BB is in the dominance frontier of
752 // entry, because it was inherited from exit. In the other case there is an
753 // edge going from entry to BB without passing exit.
754 bool isCommonDomFrontier(BlockT *BB, BlockT *entry, BlockT *exit) const;
755
756 // Check if entry and exit surround a valid region, based on
757 // dominance tree and dominance frontier.
758 bool isRegion(BlockT *entry, BlockT *exit) const;
759
760 // Saves a shortcut pointing from entry to exit.
761 // This function may extend this shortcut if possible.
762 void insertShortCut(BlockT *entry, BlockT *exit, BBtoBBMap *ShortCut) const;
763
764 // Returns the next BB that postdominates N, while skipping
765 // all post dominators that cannot finish a canonical region.
766 DomTreeNodeT *getNextPostDom(DomTreeNodeT *N, BBtoBBMap *ShortCut) const;
767
768 // A region is trivial, if it contains only one BB.
769 bool isTrivialRegion(BlockT *entry, BlockT *exit) const;
770
771 // Creates a single entry single exit region.
772 RegionT *createRegion(BlockT *entry, BlockT *exit);
773
774 // Detect all regions starting with bb 'entry'.
775 void findRegionsWithEntry(BlockT *entry, BBtoBBMap *ShortCut);
776
777 // Detects regions in F.
778 void scanForRegions(FuncT &F, BBtoBBMap *ShortCut);
779
780 // Get the top most parent with the same entry block.
781 RegionT *getTopMostParent(RegionT *region);
782
783 // Build the region hierarchy after all region detected.
784 void buildRegionsTree(DomTreeNodeT *N, RegionT *region);
785
786 // Detect all regions in function and build the region tree.
787 void calculate(FuncT &F);
788
789public:
790 RegionInfoBase(const RegionInfoBase &) = delete;
791 RegionInfoBase &operator=(const RegionInfoBase &) = delete;
792
793 static bool VerifyRegionInfo;
794 static typename RegionT::PrintStyle printStyle;
795
796 void print(raw_ostream &OS) const;
797#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
798 void dump() const;
799#endif
800
802
803 /// Get the smallest region that contains a BasicBlock.
804 ///
805 /// @param BB The basic block.
806 /// @return The smallest region, that contains BB or NULL, if there is no
807 /// region containing BB.
808 RegionT *getRegionFor(BlockT *BB) const;
809
810 /// Set the smallest region that surrounds a basic block.
811 ///
812 /// @param BB The basic block surrounded by a region.
813 /// @param R The smallest region that surrounds BB.
814 void setRegionFor(BlockT *BB, RegionT *R);
815
816 /// A shortcut for getRegionFor().
817 ///
818 /// @param BB The basic block.
819 /// @return The smallest region, that contains BB or NULL, if there is no
820 /// region containing BB.
821 RegionT *operator[](BlockT *BB) const;
822
823 /// Return the exit of the maximal refined region, that starts at a
824 /// BasicBlock.
825 ///
826 /// @param BB The BasicBlock the refined region starts.
827 BlockT *getMaxRegionExit(BlockT *BB) const;
828
829 /// Find the smallest region that contains two regions.
830 ///
831 /// @param A The first region.
832 /// @param B The second region.
833 /// @return The smallest region containing A and B.
834 RegionT *getCommonRegion(RegionT *A, RegionT *B) const;
835
836 /// Find the smallest region that contains two basic blocks.
837 ///
838 /// @param A The first basic block.
839 /// @param B The second basic block.
840 /// @return The smallest region that contains A and B.
841 RegionT *getCommonRegion(BlockT *A, BlockT *B) const {
843 }
844
845 /// Find the smallest region that contains a set of regions.
846 ///
847 /// @param Regions A vector of regions.
848 /// @return The smallest region that contains all regions in Regions.
850
851 /// Find the smallest region that contains a set of basic blocks.
852 ///
853 /// @param BBs A vector of basic blocks.
854 /// @return The smallest region that contains all basic blocks in BBS.
856
857 RegionT *getTopLevelRegion() const { return TopLevelRegion; }
858
859 void verifyAnalysis() const;
860};
861
863
864class RegionNode : public RegionNodeBase<RegionTraits<Function>> {
865public:
866 inline RegionNode(Region *Parent, BasicBlock *Entry, bool isSubRegion = false)
867 : RegionNodeBase<RegionTraits<Function>>(Parent, Entry, isSubRegion) {}
868
869 bool operator==(const Region &RN) const {
870 return this == reinterpret_cast<const RegionNode *>(&RN);
871 }
872};
873
874extern template class LLVM_TEMPLATE_ABI RegionBase<RegionTraits<Function>>;
875
876class Region : public RegionBase<RegionTraits<Function>> {
877public:
879 DominatorTree *DT, Region *Parent = nullptr);
881
882 bool operator==(const RegionNode &RN) const {
883 return &RN == reinterpret_cast<const RegionNode *>(this);
884 }
885};
886
887extern template class LLVM_TEMPLATE_ABI RegionInfoBase<RegionTraits<Function>>;
888
889class RegionInfo : public RegionInfoBase<RegionTraits<Function>> {
890public:
891 using Base = RegionInfoBase<RegionTraits<Function>>;
892
894
895 RegionInfo(RegionInfo &&Arg) : Base(std::move(static_cast<Base &>(Arg))) {
896 updateRegionTree(*this, TopLevelRegion);
897 }
898
900 Base::operator=(std::move(static_cast<Base &>(RHS)));
901 updateRegionTree(*this, TopLevelRegion);
902 return *this;
903 }
904
906
907 /// Handle invalidation explicitly.
909 FunctionAnalysisManager::Invalidator &);
910
913
914#ifndef NDEBUG
915 /// Opens a viewer to show the GraphViz visualization of the regions.
916 ///
917 /// Useful during debugging as an alternative to dump().
918 LLVM_ABI void view();
919
920 /// Opens a viewer to show the GraphViz visualization of this region
921 /// without instructions in the BasicBlocks.
922 ///
923 /// Useful during debugging as an alternative to dump().
924 LLVM_ABI void viewOnly();
925#endif
926};
927
929 RegionInfo RI;
930
931public:
932 static char ID;
933
934 explicit RegionInfoPass();
935 ~RegionInfoPass() override;
936
937 RegionInfo &getRegionInfo() { return RI; }
938
939 const RegionInfo &getRegionInfo() const { return RI; }
940
941 /// @name FunctionPass interface
942 //@{
943 bool runOnFunction(Function &F) override;
944 void releaseMemory() override;
945 void verifyAnalysis() const override;
946 void getAnalysisUsage(AnalysisUsage &AU) const override;
947 void print(raw_ostream &OS, const Module *) const override;
948 void dump() const;
949 //@}
950};
951
952/// Analysis pass that exposes the \c RegionInfo for a function.
953class RegionInfoAnalysis : public AnalysisInfoMixin<RegionInfoAnalysis> {
955
956 static AnalysisKey Key;
957
958public:
960
962};
963
964/// Printer pass for the \c RegionInfo.
966 : public RequiredPassInfoMixin<RegionInfoPrinterPass> {
967 raw_ostream &OS;
968
969public:
971
973};
974
975/// Verifier pass for the \c RegionInfo.
979
980template <>
981template <>
984 assert(!isSubRegion() && "This is not a BasicBlock RegionNode!");
985 return getEntry();
986}
987
988template <>
989template <>
990inline Region *
992 assert(isSubRegion() && "This is not a subregion RegionNode!");
993 auto Unconst = const_cast<RegionNodeBase<RegionTraits<Function>> *>(this);
994 return reinterpret_cast<Region *>(Unconst);
995}
996
997template <class Tr>
999 const RegionNodeBase<Tr> &Node) {
1000 using BlockT = typename Tr::BlockT;
1001 using RegionT = typename Tr::RegionT;
1002
1003 if (Node.isSubRegion())
1004 return OS << Node.template getNodeAs<RegionT>()->getNameStr();
1005 else
1006 return OS << Node.template getNodeAs<BlockT>()->getName();
1007}
1008
1009} // end namespace llvm
1010
1011#endif // LLVM_ANALYSIS_REGIONINFO_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static void print(raw_ostream &Out, object::Archive::Kind Kind, T Val)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define LLVM_ABI
Definition Compiler.h:211
#define LLVM_TEMPLATE_ABI
Definition Compiler.h:212
static RegisterPass< DebugifyFunctionPass > DF("debugify-function", "Attach debug info to a function")
This file defines the DenseMap class.
This file builds on the ADT/GraphTraits.h file to build generic depth first graph iterator.
static bool runOnFunction(Function &F, bool PostInlining)
This file defines the little GraphTraits<X> template class that should be specialized by classes that...
This header defines various interfaces for pass management in LLVM.
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define T
This file defines the PointerIntPair class.
convergence region
Value * RHS
Represent the analysis usage information of a pass.
LLVM Basic Block Representation.
Definition BasicBlock.h:62
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
Definition BasicBlock.h:237
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Definition Dominators.h:122
Marker class to iterate over the elements of a Region in flat mode.
Definition RegionInfo.h:113
FunctionPass(char &pid)
Definition Pass.h:314
LLVM_ABI unsigned getNumSuccessors() const LLVM_READONLY
Return the number of successors that this instruction has.
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:68
PointerIntPair - This class implements a pair of a pointer and small integer.
PostDominatorTree Class - Concrete subclass of DominatorTree that is used to compute the post-dominat...
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
typename super::value_type value_type
Definition RegionInfo.h:576
block_iterator_wrapper< IsConst > Self
Definition RegionInfo.h:575
block_iterator_wrapper(value_type Entry, value_type Exit)
Definition RegionInfo.h:579
A single entry single exit Region.
Definition RegionInfo.h:255
void replaceExit(BlockT *BB)
Replace the exit basic block of the region with the new basic block.
std::string getNameStr() const
Returns the name of the Region.
block_range blocks()
Returns a range view of the basic blocks in the region.
Definition RegionInfo.h:616
BlockT * getExit() const
Get the exit BasicBlock of the Region.
Definition RegionInfo.h:360
void transferChildrenTo(RegionT *To)
Move all direct child nodes of this Region to another Region.
iterator begin()
Definition RegionInfo.h:554
RegionNodeT * getBBNode(BlockT *BB) const
Get the BasicBlock RegionNode for a BasicBlock.
block_iterator_wrapper< true > const_block_iterator
Definition RegionInfo.h:601
block_iterator block_begin()
Definition RegionInfo.h:603
bool getExitingBlocks(SmallVectorImpl< BlockT * > &Exitings) const
Collect all blocks of this region's single exit edge, if existing.
RegionNodeT * getNode() const
Get the RegionNode representing the current Region.
Definition RegionInfo.h:371
iterator_range< element_iterator > elements()
Definition RegionInfo.h:645
block_iterator_wrapper< false > block_iterator
Definition RegionInfo.h:600
const_iterator end() const
Definition RegionInfo.h:558
const_block_iterator block_end() const
Definition RegionInfo.h:610
LoopT * outermostLoopInRegion(LoopT *L) const
Get the outermost loop in the region that contains a loop.
unsigned getDepth() const
Get the nesting level of this Region.
const_block_iterator block_begin() const
Definition RegionInfo.h:607
void replaceEntry(BlockT *BB)
Replace the entry basic block of the region with the new basic block.
void dump() const
Print the region to stderr.
block_iterator block_end()
Definition RegionInfo.h:605
void replaceEntryRecursive(BlockT *NewEntry)
Recursively replace the entry basic block of the region.
bool contains(const BlockT *BB) const
Check if the region contains a BasicBlock.
element_iterator element_begin()
void replaceExitRecursive(BlockT *NewExit)
Recursively replace the exit basic block of the region.
void verifyRegion() const
Verify if the region is a correct region.
RegionBase & operator=(const RegionBase &)=delete
RegionT * getParent() const
Get the parent of the Region.
Definition RegionInfo.h:365
RegionInfoT * getRegionInfo() const
Return the RegionInfo object, that belongs to this Region.
Definition RegionInfo.h:427
BlockT * getEntry() const
Get the entry BasicBlock of the Region.
Definition RegionInfo.h:323
void addSubRegion(RegionT *SubRegion, bool moveChildren=false)
Add a new subregion to this Region.
RegionBase(const RegionBase &)=delete
const_iterator begin() const
Definition RegionInfo.h:557
iterator end()
Definition RegionInfo.h:555
bool contains(const InstT *Inst) const
Check if the region contains an Instruction.
Definition RegionInfo.h:470
typename RegionSet::iterator iterator
Definition RegionInfo.h:551
element_iterator element_end()
bool isSimple() const
Is this a simple region?
bool isTopLevelRegion() const
Check if a Region is the TopLevel region.
Definition RegionInfo.h:386
RegionBase(BlockT *Entry, BlockT *Exit, RegionInfoT *RI, DomTreeT *DT, RegionT *Parent=nullptr)
Create a new region.
bool contains(const RegionT *SubRegion) const
Check if the region contains another region.
Definition RegionInfo.h:455
BlockT * getExitingBlock() const
Return the first block of this region's single exit edge, if existing.
~RegionBase()
Delete the Region and all its subregions.
iterator_range< const_block_iterator > const_block_range
Definition RegionInfo.h:613
df_iterator< const RegionNodeT *, df_iterator_default_set< const RegionNodeT * >, false, GraphTraits< const RegionNodeT * > > const_element_iterator
Definition RegionInfo.h:638
iterator_range< const_element_iterator > elements() const
Definition RegionInfo.h:651
PrintStyle
PrintStyle - Print region in difference ways.
Definition RegionInfo.h:430
const_block_range blocks() const
Returns a range view of the basic blocks in the region.
Definition RegionInfo.h:623
RegionT * removeSubRegion(RegionT *SubRegion)
Remove a subregion from this Region.
typename RegionSet::const_iterator const_iterator
Definition RegionInfo.h:552
BlockT * getEnteringBlock() const
Return the first block of this region's single entry edge, if existing.
RegionT * getExpandedRegion() const
Return a new (non-canonical) region, that is obtained by joining this region with its predecessors.
void print(raw_ostream &OS, bool printTree=true, unsigned level=0, PrintStyle Style=PrintNone) const
Print the region.
RegionT * getSubRegionNode(BlockT *BB) const
Get the subregion that starts at a BasicBlock.
df_iterator< RegionNodeT *, df_iterator_default_set< RegionNodeT * >, false, GraphTraits< RegionNodeT * > > element_iterator
Definition RegionInfo.h:634
iterator_range< block_iterator > block_range
Definition RegionInfo.h:612
Analysis pass that exposes the RegionInfo for a function.
Definition RegionInfo.h:953
LLVM_ABI RegionInfo run(Function &F, FunctionAnalysisManager &AM)
Analysis that detects all canonical Regions.
Definition RegionInfo.h:668
RegionT * getCommonRegion(BlockT *A, BlockT *B) const
Find the smallest region that contains two basic blocks.
Definition RegionInfo.h:841
void updateRegionTree(RegionInfoT &RI, TheRegionT *R)
Update refences to a RegionInfoT held by the RegionT managed here.
Definition RegionInfo.h:725
BlockT * getMaxRegionExit(BlockT *BB) const
Return the exit of the maximal refined region, that starts at a BasicBlock.
RegionT * getCommonRegion(SmallVectorImpl< BlockT * > &BBs) const
Find the smallest region that contains a set of basic blocks.
void print(raw_ostream &OS) const
RegionT * getTopLevelRegion() const
Definition RegionInfo.h:857
RegionT * getRegionFor(BlockT *BB) const
Get the smallest region that contains a BasicBlock.
RegionInfoBase & operator=(const RegionInfoBase &)=delete
void verifyAnalysis() const
void setRegionFor(BlockT *BB, RegionT *R)
Set the smallest region that surrounds a basic block.
RegionT * operator[](BlockT *BB) const
A shortcut for getRegionFor().
RegionInfoBase(const RegionInfoBase &)=delete
RegionT * getCommonRegion(RegionT *A, RegionT *B) const
Find the smallest region that contains two regions.
RegionT * getCommonRegion(SmallVectorImpl< RegionT * > &Regions) const
Find the smallest region that contains a set of regions.
~RegionInfoPass() override
RegionInfo & getRegionInfo()
Definition RegionInfo.h:937
const RegionInfo & getRegionInfo() const
Definition RegionInfo.h:939
LLVM_ABI PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
LLVM_ABI RegionInfoPrinterPass(raw_ostream &OS)
RegionInfo(RegionInfo &&Arg)
Definition RegionInfo.h:895
LLVM_ABI RegionInfo()
LLVM_ABI void view()
Opens a viewer to show the GraphViz visualization of the regions.
LLVM_ABI void viewOnly()
Opens a viewer to show the GraphViz visualization of this region without instructions in the BasicBlo...
LLVM_ABI void recalculate(Function &F, DominatorTree *DT, PostDominatorTree *PDT, DominanceFrontier *DF)
RegionInfo & operator=(RegionInfo &&RHS)
Definition RegionInfo.h:899
LLVM_ABI bool invalidate(Function &F, const PreservedAnalyses &PA, FunctionAnalysisManager::Invalidator &)
Handle invalidation explicitly.
LLVM_ABI ~RegionInfo()
RegionInfoBase< RegionTraits< Function > > Base
Definition RegionInfo.h:891
A RegionNode represents a subregion or a BasicBlock that is part of a Region.
Definition RegionInfo.h:118
typename Tr::RegionT RegionT
Definition RegionInfo.h:123
RegionNodeBase & operator=(const RegionNodeBase &)=delete
RegionNodeBase(RegionT *Parent, BlockT *Entry, bool isSubRegion=false)
Create a RegionNode.
Definition RegionInfo.h:151
bool isSubRegion() const
Is this RegionNode a subregion?
Definition RegionInfo.h:189
RegionT * getParent() const
Get the parent Region of this RegionNode.
Definition RegionInfo.h:167
T * getNodeAs() const
Get the content of this RegionNode.
RegionNodeBase(const RegionNodeBase &)=delete
typename Tr::BlockT BlockT
Definition RegionInfo.h:122
BlockT * getEntry() const
Get the entry BasicBlock of this RegionNode.
Definition RegionInfo.h:175
RegionNode(Region *Parent, BasicBlock *Entry, bool isSubRegion=false)
Definition RegionInfo.h:866
bool operator==(const Region &RN) const
Definition RegionInfo.h:869
LLVM_ABI ~Region()
bool operator==(const RegionNode &RN) const
Definition RegionInfo.h:882
LLVM_ABI Region(BasicBlock *Entry, BasicBlock *Exit, RegionInfo *RI, DominatorTree *DT, Region *Parent=nullptr)
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
typename GraphTraits< std::conditional_t< IsConst, const BlockT, BlockT > * >::NodeRef value_type
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:53
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
This is an optimization pass for GlobalISel generic memory operations.
void dump(const SparseBitVector< ElementSize > &LHS, raw_ostream &out)
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
df_iterator< T > df_begin(const T &G)
DomTreeNodeBase< BasicBlock > DomTreeNode
Definition Dominators.h:65
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
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:1933
df_iterator< T > df_end(const T &G)
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
#define N
A CRTP mix-in that provides informational APIs needed for analysis passes.
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29
Verifier pass for the RegionInfo.
Definition RegionInfo.h:976
LLVM_ABI PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
PostDominatorTree PostDomTreeT
Definition RegionInfo.h:92
DominanceFrontier DomFrontierT
Definition RegionInfo.h:91
static unsigned getNumSuccessors(BasicBlock *BB)
Definition RegionInfo.h:97
typename FuncT_::UnknownRegionTypeError BrokenT
Definition RegionInfo.h:79
A CRTP mix-in for passes that should not be skipped.