• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 //===----------------------------------------------------------------------===//
26 
27 #ifndef LLVM_ANALYSIS_REGIONINFO_H
28 #define LLVM_ANALYSIS_REGIONINFO_H
29 
30 #include "llvm/ADT/PointerIntPair.h"
31 #include "llvm/Analysis/DominanceFrontier.h"
32 #include "llvm/Analysis/PostDominators.h"
33 #include "llvm/Support/Allocator.h"
34 #include <map>
35 
36 namespace llvm {
37 
38 class Region;
39 class RegionInfo;
40 class raw_ostream;
41 class Loop;
42 class LoopInfo;
43 
44 /// @brief Marker class to iterate over the elements of a Region in flat mode.
45 ///
46 /// The class is used to either iterate in Flat mode or by not using it to not
47 /// iterate in Flat mode.  During a Flat mode iteration all Regions are entered
48 /// and the iteration returns every BasicBlock.  If the Flat mode is not
49 /// selected for SubRegions just one RegionNode containing the subregion is
50 /// returned.
51 template <class GraphType>
52 class FlatIt {};
53 
54 /// @brief A RegionNode represents a subregion or a BasicBlock that is part of a
55 /// Region.
56 class RegionNode {
57   RegionNode(const RegionNode &) LLVM_DELETED_FUNCTION;
58   const RegionNode &operator=(const RegionNode &) LLVM_DELETED_FUNCTION;
59 
60 protected:
61   /// This is the entry basic block that starts this region node.  If this is a
62   /// BasicBlock RegionNode, then entry is just the basic block, that this
63   /// RegionNode represents.  Otherwise it is the entry of this (Sub)RegionNode.
64   ///
65   /// In the BBtoRegionNode map of the parent of this node, BB will always map
66   /// to this node no matter which kind of node this one is.
67   ///
68   /// The node can hold either a Region or a BasicBlock.
69   /// Use one bit to save, if this RegionNode is a subregion or BasicBlock
70   /// RegionNode.
71   PointerIntPair<BasicBlock*, 1, bool> entry;
72 
73   /// @brief The parent Region of this RegionNode.
74   /// @see getParent()
75   Region* parent;
76 
77 public:
78   /// @brief Create a RegionNode.
79   ///
80   /// @param Parent      The parent of this RegionNode.
81   /// @param Entry       The entry BasicBlock of the RegionNode.  If this
82   ///                    RegionNode represents a BasicBlock, this is the
83   ///                    BasicBlock itself.  If it represents a subregion, this
84   ///                    is the entry BasicBlock of the subregion.
85   /// @param isSubRegion If this RegionNode represents a SubRegion.
86   inline RegionNode(Region* Parent, BasicBlock* Entry, bool isSubRegion = 0)
entry(Entry,isSubRegion)87     : entry(Entry, isSubRegion), parent(Parent) {}
88 
89   /// @brief Get the parent Region of this RegionNode.
90   ///
91   /// The parent Region is the Region this RegionNode belongs to. If for
92   /// example a BasicBlock is element of two Regions, there exist two
93   /// RegionNodes for this BasicBlock. Each with the getParent() function
94   /// pointing to the Region this RegionNode belongs to.
95   ///
96   /// @return Get the parent Region of this RegionNode.
getParent()97   inline Region* getParent() const { return parent; }
98 
99   /// @brief Get the entry BasicBlock of this RegionNode.
100   ///
101   /// If this RegionNode represents a BasicBlock this is just the BasicBlock
102   /// itself, otherwise we return the entry BasicBlock of the Subregion
103   ///
104   /// @return The entry BasicBlock of this RegionNode.
getEntry()105   inline BasicBlock* getEntry() const { return entry.getPointer(); }
106 
107   /// @brief Get the content of this RegionNode.
108   ///
109   /// This can be either a BasicBlock or a subregion. Before calling getNodeAs()
110   /// check the type of the content with the isSubRegion() function call.
111   ///
112   /// @return The content of this RegionNode.
113   template<class T>
114   inline T* getNodeAs() const;
115 
116   /// @brief Is this RegionNode a subregion?
117   ///
118   /// @return True if it contains a subregion. False if it contains a
119   ///         BasicBlock.
isSubRegion()120   inline bool isSubRegion() const {
121     return entry.getInt();
122   }
123 };
124 
125 /// Print a RegionNode.
126 inline raw_ostream &operator<<(raw_ostream &OS, const RegionNode &Node);
127 
128 template<>
129 inline BasicBlock* RegionNode::getNodeAs<BasicBlock>() const {
130   assert(!isSubRegion() && "This is not a BasicBlock RegionNode!");
131   return getEntry();
132 }
133 
134 template<>
135 inline Region* RegionNode::getNodeAs<Region>() const {
136   assert(isSubRegion() && "This is not a subregion RegionNode!");
137   return reinterpret_cast<Region*>(const_cast<RegionNode*>(this));
138 }
139 
140 //===----------------------------------------------------------------------===//
141 /// @brief A single entry single exit Region.
142 ///
143 /// A Region is a connected subgraph of a control flow graph that has exactly
144 /// two connections to the remaining graph. It can be used to analyze or
145 /// optimize parts of the control flow graph.
146 ///
147 /// A <em> simple Region </em> is connected to the remaining graph by just two
148 /// edges. One edge entering the Region and another one leaving the Region.
149 ///
150 /// An <em> extended Region </em> (or just Region) is a subgraph that can be
151 /// transform into a simple Region. The transformation is done by adding
152 /// BasicBlocks that merge several entry or exit edges so that after the merge
153 /// just one entry and one exit edge exists.
154 ///
155 /// The \e Entry of a Region is the first BasicBlock that is passed after
156 /// entering the Region. It is an element of the Region. The entry BasicBlock
157 /// dominates all BasicBlocks in the Region.
158 ///
159 /// The \e Exit of a Region is the first BasicBlock that is passed after
160 /// leaving the Region. It is not an element of the Region. The exit BasicBlock,
161 /// postdominates all BasicBlocks in the Region.
162 ///
163 /// A <em> canonical Region </em> cannot be constructed by combining smaller
164 /// Regions.
165 ///
166 /// Region A is the \e parent of Region B, if B is completely contained in A.
167 ///
168 /// Two canonical Regions either do not intersect at all or one is
169 /// the parent of the other.
170 ///
171 /// The <em> Program Structure Tree</em> is a graph (V, E) where V is the set of
172 /// Regions in the control flow graph and E is the \e parent relation of these
173 /// Regions.
174 ///
175 /// Example:
176 ///
177 /// \verbatim
178 /// A simple control flow graph, that contains two regions.
179 ///
180 ///        1
181 ///       / |
182 ///      2   |
183 ///     / \   3
184 ///    4   5  |
185 ///    |   |  |
186 ///    6   7  8
187 ///     \  | /
188 ///      \ |/       Region A: 1 -> 9 {1,2,3,4,5,6,7,8}
189 ///        9        Region B: 2 -> 9 {2,4,5,6,7}
190 /// \endverbatim
191 ///
192 /// You can obtain more examples by either calling
193 ///
194 /// <tt> "opt -regions -analyze anyprogram.ll" </tt>
195 /// or
196 /// <tt> "opt -view-regions-only anyprogram.ll" </tt>
197 ///
198 /// on any LLVM file you are interested in.
199 ///
200 /// The first call returns a textual representation of the program structure
201 /// tree, the second one creates a graphical representation using graphviz.
202 class Region : public RegionNode {
203   friend class RegionInfo;
204   Region(const Region &) LLVM_DELETED_FUNCTION;
205   const Region &operator=(const Region &) LLVM_DELETED_FUNCTION;
206 
207   // Information necessary to manage this Region.
208   RegionInfo* RI;
209   DominatorTree *DT;
210 
211   // The exit BasicBlock of this region.
212   // (The entry BasicBlock is part of RegionNode)
213   BasicBlock *exit;
214 
215   typedef std::vector<Region*> RegionSet;
216 
217   // The subregions of this region.
218   RegionSet children;
219 
220   typedef std::map<BasicBlock*, RegionNode*> BBNodeMapT;
221 
222   // Save the BasicBlock RegionNodes that are element of this Region.
223   mutable BBNodeMapT BBNodeMap;
224 
225   /// verifyBBInRegion - Check if a BB is in this Region. This check also works
226   /// if the region is incorrectly built. (EXPENSIVE!)
227   void verifyBBInRegion(BasicBlock* BB) const;
228 
229   /// verifyWalk - Walk over all the BBs of the region starting from BB and
230   /// verify that all reachable basic blocks are elements of the region.
231   /// (EXPENSIVE!)
232   void verifyWalk(BasicBlock* BB, std::set<BasicBlock*>* visitedBB) const;
233 
234   /// verifyRegionNest - Verify if the region and its children are valid
235   /// regions (EXPENSIVE!)
236   void verifyRegionNest() const;
237 
238 public:
239   /// @brief Create a new region.
240   ///
241   /// @param Entry  The entry basic block of the region.
242   /// @param Exit   The exit basic block of the region.
243   /// @param RI     The region info object that is managing this region.
244   /// @param DT     The dominator tree of the current function.
245   /// @param Parent The surrounding region or NULL if this is a top level
246   ///               region.
247   Region(BasicBlock *Entry, BasicBlock *Exit, RegionInfo* RI,
248          DominatorTree *DT, Region *Parent = 0);
249 
250   /// Delete the Region and all its subregions.
251   ~Region();
252 
253   /// @brief Get the entry BasicBlock of the Region.
254   /// @return The entry BasicBlock of the region.
getEntry()255   BasicBlock *getEntry() const { return RegionNode::getEntry(); }
256 
257   /// @brief Replace the entry basic block of the region with the new basic
258   ///        block.
259   ///
260   /// @param BB  The new entry basic block of the region.
261   void replaceEntry(BasicBlock *BB);
262 
263   /// @brief Replace the exit basic block of the region with the new basic
264   ///        block.
265   ///
266   /// @param BB  The new exit basic block of the region.
267   void replaceExit(BasicBlock *BB);
268 
269   /// @brief Recursively replace the entry basic block of the region.
270   ///
271   /// This function replaces the entry basic block with a new basic block. It
272   /// also updates all child regions that have the same entry basic block as
273   /// this region.
274   ///
275   /// @param NewEntry The new entry basic block.
276   void replaceEntryRecursive(BasicBlock *NewEntry);
277 
278   /// @brief Recursively replace the exit basic block of the region.
279   ///
280   /// This function replaces the exit basic block with a new basic block. It
281   /// also updates all child regions that have the same exit basic block as
282   /// this region.
283   ///
284   /// @param NewExit The new exit basic block.
285   void replaceExitRecursive(BasicBlock *NewExit);
286 
287   /// @brief Get the exit BasicBlock of the Region.
288   /// @return The exit BasicBlock of the Region, NULL if this is the TopLevel
289   ///         Region.
getExit()290   BasicBlock *getExit() const { return exit; }
291 
292   /// @brief Get the parent of the Region.
293   /// @return The parent of the Region or NULL if this is a top level
294   ///         Region.
getParent()295   Region *getParent() const { return RegionNode::getParent(); }
296 
297   /// @brief Get the RegionNode representing the current Region.
298   /// @return The RegionNode representing the current Region.
getNode()299   RegionNode* getNode() const {
300     return const_cast<RegionNode*>(reinterpret_cast<const RegionNode*>(this));
301   }
302 
303   /// @brief Get the nesting level of this Region.
304   ///
305   /// An toplevel Region has depth 0.
306   ///
307   /// @return The depth of the region.
308   unsigned getDepth() const;
309 
310   /// @brief Check if a Region is the TopLevel region.
311   ///
312   /// The toplevel region represents the whole function.
isTopLevelRegion()313   bool isTopLevelRegion() const { return exit == NULL; }
314 
315   /// @brief Return a new (non canonical) region, that is obtained by joining
316   ///        this region with its predecessors.
317   ///
318   /// @return A region also starting at getEntry(), but reaching to the next
319   ///         basic block that forms with getEntry() a (non canonical) region.
320   ///         NULL if such a basic block does not exist.
321   Region *getExpandedRegion() const;
322 
323   /// @brief Return the first block of this region's single entry edge,
324   ///        if existing.
325   ///
326   /// @return The BasicBlock starting this region's single entry edge,
327   ///         else NULL.
328   BasicBlock *getEnteringBlock() const;
329 
330   /// @brief Return the first block of this region's single exit edge,
331   ///        if existing.
332   ///
333   /// @return The BasicBlock starting this region's single exit edge,
334   ///         else NULL.
335   BasicBlock *getExitingBlock() const;
336 
337   /// @brief Is this a simple region?
338   ///
339   /// A region is simple if it has exactly one exit and one entry edge.
340   ///
341   /// @return True if the Region is simple.
342   bool isSimple() const;
343 
344   /// @brief Returns the name of the Region.
345   /// @return The Name of the Region.
346   std::string getNameStr() const;
347 
348   /// @brief Return the RegionInfo object, that belongs to this Region.
getRegionInfo()349   RegionInfo *getRegionInfo() const {
350     return RI;
351   }
352 
353   /// PrintStyle - Print region in difference ways.
354   enum PrintStyle { PrintNone, PrintBB, PrintRN  };
355 
356   /// @brief Print the region.
357   ///
358   /// @param OS The output stream the Region is printed to.
359   /// @param printTree Print also the tree of subregions.
360   /// @param level The indentation level used for printing.
361   void print(raw_ostream& OS, bool printTree = true, unsigned level = 0,
362              enum PrintStyle Style = PrintNone) const;
363 
364   /// @brief Print the region to stderr.
365   void dump() const;
366 
367   /// @brief Check if the region contains a BasicBlock.
368   ///
369   /// @param BB The BasicBlock that might be contained in this Region.
370   /// @return True if the block is contained in the region otherwise false.
371   bool contains(const BasicBlock *BB) const;
372 
373   /// @brief Check if the region contains another region.
374   ///
375   /// @param SubRegion The region that might be contained in this Region.
376   /// @return True if SubRegion is contained in the region otherwise false.
contains(const Region * SubRegion)377   bool contains(const Region *SubRegion) const {
378     // Toplevel Region.
379     if (!getExit())
380       return true;
381 
382     return contains(SubRegion->getEntry())
383       && (contains(SubRegion->getExit()) || SubRegion->getExit() == getExit());
384   }
385 
386   /// @brief Check if the region contains an Instruction.
387   ///
388   /// @param Inst The Instruction that might be contained in this region.
389   /// @return True if the Instruction is contained in the region otherwise false.
contains(const Instruction * Inst)390   bool contains(const Instruction *Inst) const {
391     return contains(Inst->getParent());
392   }
393 
394   /// @brief Check if the region contains a loop.
395   ///
396   /// @param L The loop that might be contained in this region.
397   /// @return True if the loop is contained in the region otherwise false.
398   ///         In case a NULL pointer is passed to this function the result
399   ///         is false, except for the region that describes the whole function.
400   ///         In that case true is returned.
401   bool contains(const Loop *L) const;
402 
403   /// @brief Get the outermost loop in the region that contains a loop.
404   ///
405   /// Find for a Loop L the outermost loop OuterL that is a parent loop of L
406   /// and is itself contained in the region.
407   ///
408   /// @param L The loop the lookup is started.
409   /// @return The outermost loop in the region, NULL if such a loop does not
410   ///         exist or if the region describes the whole function.
411   Loop *outermostLoopInRegion(Loop *L) const;
412 
413   /// @brief Get the outermost loop in the region that contains a basic block.
414   ///
415   /// Find for a basic block BB the outermost loop L that contains BB and is
416   /// itself contained in the region.
417   ///
418   /// @param LI A pointer to a LoopInfo analysis.
419   /// @param BB The basic block surrounded by the loop.
420   /// @return The outermost loop in the region, NULL if such a loop does not
421   ///         exist or if the region describes the whole function.
422   Loop *outermostLoopInRegion(LoopInfo *LI, BasicBlock* BB) const;
423 
424   /// @brief Get the subregion that starts at a BasicBlock
425   ///
426   /// @param BB The BasicBlock the subregion should start.
427   /// @return The Subregion if available, otherwise NULL.
428   Region* getSubRegionNode(BasicBlock *BB) const;
429 
430   /// @brief Get the RegionNode for a BasicBlock
431   ///
432   /// @param BB The BasicBlock at which the RegionNode should start.
433   /// @return If available, the RegionNode that represents the subregion
434   ///         starting at BB. If no subregion starts at BB, the RegionNode
435   ///         representing BB.
436   RegionNode* getNode(BasicBlock *BB) const;
437 
438   /// @brief Get the BasicBlock RegionNode for a BasicBlock
439   ///
440   /// @param BB The BasicBlock for which the RegionNode is requested.
441   /// @return The RegionNode representing the BB.
442   RegionNode* getBBNode(BasicBlock *BB) const;
443 
444   /// @brief Add a new subregion to this Region.
445   ///
446   /// @param SubRegion The new subregion that will be added.
447   /// @param moveChildren Move the children of this region, that are also
448   ///                     contained in SubRegion into SubRegion.
449   void addSubRegion(Region *SubRegion, bool moveChildren = false);
450 
451   /// @brief Remove a subregion from this Region.
452   ///
453   /// The subregion is not deleted, as it will probably be inserted into another
454   /// region.
455   /// @param SubRegion The SubRegion that will be removed.
456   Region *removeSubRegion(Region *SubRegion);
457 
458   /// @brief Move all direct child nodes of this Region to another Region.
459   ///
460   /// @param To The Region the child nodes will be transferred to.
461   void transferChildrenTo(Region *To);
462 
463   /// @brief Verify if the region is a correct region.
464   ///
465   /// Check if this is a correctly build Region. This is an expensive check, as
466   /// the complete CFG of the Region will be walked.
467   void verifyRegion() const;
468 
469   /// @brief Clear the cache for BB RegionNodes.
470   ///
471   /// After calling this function the BasicBlock RegionNodes will be stored at
472   /// different memory locations. RegionNodes obtained before this function is
473   /// called are therefore not comparable to RegionNodes abtained afterwords.
474   void clearNodeCache();
475 
476   /// @name Subregion Iterators
477   ///
478   /// These iterators iterator over all subregions of this Region.
479   //@{
480   typedef RegionSet::iterator iterator;
481   typedef RegionSet::const_iterator const_iterator;
482 
begin()483   iterator begin() { return children.begin(); }
end()484   iterator end() { return children.end(); }
485 
begin()486   const_iterator begin() const { return children.begin(); }
end()487   const_iterator end() const { return children.end(); }
488   //@}
489 
490   /// @name BasicBlock Iterators
491   ///
492   /// These iterators iterate over all BasicBlocks that are contained in this
493   /// Region. The iterator also iterates over BasicBlocks that are elements of
494   /// a subregion of this Region. It is therefore called a flat iterator.
495   //@{
496   template <bool IsConst>
497   class block_iterator_wrapper
498     : public df_iterator<typename conditional<IsConst,
499                                               const BasicBlock,
500                                               BasicBlock>::type*> {
501     typedef df_iterator<typename conditional<IsConst,
502                                              const BasicBlock,
503                                              BasicBlock>::type*>
504       super;
505   public:
506     typedef block_iterator_wrapper<IsConst> Self;
507     typedef typename super::pointer pointer;
508 
509     // Construct the begin iterator.
block_iterator_wrapper(pointer Entry,pointer Exit)510     block_iterator_wrapper(pointer Entry, pointer Exit) : super(df_begin(Entry))
511     {
512       // Mark the exit of the region as visited, so that the children of the
513       // exit and the exit itself, i.e. the block outside the region will never
514       // be visited.
515       super::Visited.insert(Exit);
516     }
517 
518     // Construct the end iterator.
block_iterator_wrapper()519     block_iterator_wrapper() : super(df_end<pointer>((BasicBlock *)0)) {}
520 
block_iterator_wrapper(super I)521     /*implicit*/ block_iterator_wrapper(super I) : super(I) {}
522 
523     // FIXME: Even a const_iterator returns a non-const BasicBlock pointer.
524     //        This was introduced for backwards compatibility, but should
525     //        be removed as soon as all users are fixed.
526     BasicBlock *operator*() const {
527       return const_cast<BasicBlock*>(super::operator*());
528     }
529   };
530 
531   typedef block_iterator_wrapper<false> block_iterator;
532   typedef block_iterator_wrapper<true>  const_block_iterator;
533 
block_begin()534   block_iterator block_begin() {
535    return block_iterator(getEntry(), getExit());
536   }
537 
block_end()538   block_iterator block_end() {
539    return block_iterator();
540   }
541 
block_begin()542   const_block_iterator block_begin() const {
543     return const_block_iterator(getEntry(), getExit());
544   }
block_end()545   const_block_iterator block_end() const {
546     return const_block_iterator();
547   }
548   //@}
549 
550   /// @name Element Iterators
551   ///
552   /// These iterators iterate over all BasicBlock and subregion RegionNodes that
553   /// are direct children of this Region. It does not iterate over any
554   /// RegionNodes that are also element of a subregion of this Region.
555   //@{
556   typedef df_iterator<RegionNode*, SmallPtrSet<RegionNode*, 8>, false,
557                       GraphTraits<RegionNode*> > element_iterator;
558 
559   typedef df_iterator<const RegionNode*, SmallPtrSet<const RegionNode*, 8>,
560                       false, GraphTraits<const RegionNode*> >
561             const_element_iterator;
562 
563   element_iterator element_begin();
564   element_iterator element_end();
565 
566   const_element_iterator element_begin() const;
567   const_element_iterator element_end() const;
568   //@}
569 };
570 
571 //===----------------------------------------------------------------------===//
572 /// @brief Analysis that detects all canonical Regions.
573 ///
574 /// The RegionInfo pass detects all canonical regions in a function. The Regions
575 /// are connected using the parent relation. This builds a Program Structure
576 /// Tree.
577 class RegionInfo : public FunctionPass {
578   typedef DenseMap<BasicBlock*,BasicBlock*> BBtoBBMap;
579   typedef DenseMap<BasicBlock*, Region*> BBtoRegionMap;
580   typedef SmallPtrSet<Region*, 4> RegionSet;
581 
582   RegionInfo(const RegionInfo &) LLVM_DELETED_FUNCTION;
583   const RegionInfo &operator=(const RegionInfo &) LLVM_DELETED_FUNCTION;
584 
585   DominatorTree *DT;
586   PostDominatorTree *PDT;
587   DominanceFrontier *DF;
588 
589   /// The top level region.
590   Region *TopLevelRegion;
591 
592   /// Map every BB to the smallest region, that contains BB.
593   BBtoRegionMap BBtoRegion;
594 
595   // isCommonDomFrontier - Returns true if BB is in the dominance frontier of
596   // entry, because it was inherited from exit. In the other case there is an
597   // edge going from entry to BB without passing exit.
598   bool isCommonDomFrontier(BasicBlock* BB, BasicBlock* entry,
599                            BasicBlock* exit) const;
600 
601   // isRegion - Check if entry and exit surround a valid region, based on
602   // dominance tree and dominance frontier.
603   bool isRegion(BasicBlock* entry, BasicBlock* exit) const;
604 
605   // insertShortCut - Saves a shortcut pointing from entry to exit.
606   // This function may extend this shortcut if possible.
607   void insertShortCut(BasicBlock* entry, BasicBlock* exit,
608                       BBtoBBMap* ShortCut) const;
609 
610   // getNextPostDom - Returns the next BB that postdominates N, while skipping
611   // all post dominators that cannot finish a canonical region.
612   DomTreeNode *getNextPostDom(DomTreeNode* N, BBtoBBMap *ShortCut) const;
613 
614   // isTrivialRegion - A region is trivial, if it contains only one BB.
615   bool isTrivialRegion(BasicBlock *entry, BasicBlock *exit) const;
616 
617   // createRegion - Creates a single entry single exit region.
618   Region *createRegion(BasicBlock *entry, BasicBlock *exit);
619 
620   // findRegionsWithEntry - Detect all regions starting with bb 'entry'.
621   void findRegionsWithEntry(BasicBlock *entry, BBtoBBMap *ShortCut);
622 
623   // scanForRegions - Detects regions in F.
624   void scanForRegions(Function &F, BBtoBBMap *ShortCut);
625 
626   // getTopMostParent - Get the top most parent with the same entry block.
627   Region *getTopMostParent(Region *region);
628 
629   // buildRegionsTree - build the region hierarchy after all region detected.
630   void buildRegionsTree(DomTreeNode *N, Region *region);
631 
632   // Calculate - detecte all regions in function and build the region tree.
633   void Calculate(Function& F);
634 
635   void releaseMemory();
636 
637   // updateStatistics - Update statistic about created regions.
638   void updateStatistics(Region *R);
639 
640   // isSimple - Check if a region is a simple region with exactly one entry
641   // edge and exactly one exit edge.
642   bool isSimple(Region* R) const;
643 
644 public:
645   static char ID;
646   explicit RegionInfo();
647 
648   ~RegionInfo();
649 
650   /// @name FunctionPass interface
651   //@{
652   virtual bool runOnFunction(Function &F);
653   virtual void getAnalysisUsage(AnalysisUsage &AU) const;
654   virtual void print(raw_ostream &OS, const Module *) const;
655   virtual void verifyAnalysis() const;
656   //@}
657 
658   /// @brief Get the smallest region that contains a BasicBlock.
659   ///
660   /// @param BB The basic block.
661   /// @return The smallest region, that contains BB or NULL, if there is no
662   /// region containing BB.
663   Region *getRegionFor(BasicBlock *BB) const;
664 
665   /// @brief  Set the smallest region that surrounds a basic block.
666   ///
667   /// @param BB The basic block surrounded by a region.
668   /// @param R The smallest region that surrounds BB.
669   void setRegionFor(BasicBlock *BB, Region *R);
670 
671   /// @brief A shortcut for getRegionFor().
672   ///
673   /// @param BB The basic block.
674   /// @return The smallest region, that contains BB or NULL, if there is no
675   /// region containing BB.
676   Region *operator[](BasicBlock *BB) const;
677 
678   /// @brief Return the exit of the maximal refined region, that starts at a
679   /// BasicBlock.
680   ///
681   /// @param BB The BasicBlock the refined region starts.
682   BasicBlock *getMaxRegionExit(BasicBlock *BB) const;
683 
684   /// @brief Find the smallest region that contains two regions.
685   ///
686   /// @param A The first region.
687   /// @param B The second region.
688   /// @return The smallest region containing A and B.
689   Region *getCommonRegion(Region* A, Region *B) const;
690 
691   /// @brief Find the smallest region that contains two basic blocks.
692   ///
693   /// @param A The first basic block.
694   /// @param B The second basic block.
695   /// @return The smallest region that contains A and B.
getCommonRegion(BasicBlock * A,BasicBlock * B)696   Region* getCommonRegion(BasicBlock* A, BasicBlock *B) const {
697     return getCommonRegion(getRegionFor(A), getRegionFor(B));
698   }
699 
700   /// @brief Find the smallest region that contains a set of regions.
701   ///
702   /// @param Regions A vector of regions.
703   /// @return The smallest region that contains all regions in Regions.
704   Region* getCommonRegion(SmallVectorImpl<Region*> &Regions) const;
705 
706   /// @brief Find the smallest region that contains a set of basic blocks.
707   ///
708   /// @param BBs A vector of basic blocks.
709   /// @return The smallest region that contains all basic blocks in BBS.
710   Region* getCommonRegion(SmallVectorImpl<BasicBlock*> &BBs) const;
711 
getTopLevelRegion()712   Region *getTopLevelRegion() const {
713     return TopLevelRegion;
714   }
715 
716   /// @brief Update RegionInfo after a basic block was split.
717   ///
718   /// @param NewBB The basic block that was created before OldBB.
719   /// @param OldBB The old basic block.
720   void splitBlock(BasicBlock* NewBB, BasicBlock *OldBB);
721 
722   /// @brief Clear the Node Cache for all Regions.
723   ///
724   /// @see Region::clearNodeCache()
clearNodeCache()725   void clearNodeCache() {
726     if (TopLevelRegion)
727       TopLevelRegion->clearNodeCache();
728   }
729 };
730 
731 inline raw_ostream &operator<<(raw_ostream &OS, const RegionNode &Node) {
732   if (Node.isSubRegion())
733     return OS << Node.getNodeAs<Region>()->getNameStr();
734   else
735     return OS << Node.getNodeAs<BasicBlock>()->getName();
736 }
737 } // End llvm namespace
738 #endif
739 
740