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