Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line | 
|---|---|---|---|
| 14 | pmbaty | 1 | //===- RegionIterator.h - Iterators to iteratate over Regions ---*- 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 | // This file defines the iterators to iterate over the elements of a Region. | ||
| 9 | //===----------------------------------------------------------------------===// | ||
| 10 | |||
| 11 | #ifndef LLVM_ANALYSIS_REGIONITERATOR_H | ||
| 12 | #define LLVM_ANALYSIS_REGIONITERATOR_H | ||
| 13 | |||
| 14 | #include "llvm/ADT/DepthFirstIterator.h" | ||
| 15 | #include "llvm/ADT/GraphTraits.h" | ||
| 16 | #include "llvm/ADT/PointerIntPair.h" | ||
| 17 | #include "llvm/Analysis/RegionInfo.h" | ||
| 18 | #include <cassert> | ||
| 19 | #include <iterator> | ||
| 20 | #include <type_traits> | ||
| 21 | |||
| 22 | namespace llvm { | ||
| 23 | |||
| 24 | class BasicBlock; | ||
| 25 | class RegionInfo; | ||
| 26 | |||
| 27 | //===----------------------------------------------------------------------===// | ||
| 28 | /// Hierarchical RegionNode successor iterator. | ||
| 29 | /// | ||
| 30 | /// This iterator iterates over all successors of a RegionNode. | ||
| 31 | /// | ||
| 32 | /// For a BasicBlock RegionNode it skips all BasicBlocks that are not part of | ||
| 33 | /// the parent Region.  Furthermore for BasicBlocks that start a subregion, a | ||
| 34 | /// RegionNode representing the subregion is returned. | ||
| 35 | /// | ||
| 36 | /// For a subregion RegionNode there is just one successor. The RegionNode | ||
| 37 | /// representing the exit of the subregion. | ||
| 38 | template <class NodeRef, class BlockT, class RegionT> class RNSuccIterator { | ||
| 39 | public: | ||
| 40 | using iterator_category = std::forward_iterator_tag; | ||
| 41 | using value_type = NodeRef; | ||
| 42 | using difference_type = std::ptrdiff_t; | ||
| 43 | using pointer = value_type *; | ||
| 44 | using reference = value_type &; | ||
| 45 | |||
| 46 | private: | ||
| 47 | using BlockTraits = GraphTraits<BlockT *>; | ||
| 48 | using SuccIterTy = typename BlockTraits::ChildIteratorType; | ||
| 49 | |||
| 50 |   // The iterator works in two modes, bb mode or region mode. | ||
| 51 | enum ItMode { | ||
| 52 |     // In BB mode it returns all successors of this BasicBlock as its | ||
| 53 |     // successors. | ||
| 54 | ItBB, | ||
| 55 |     // In region mode there is only one successor, thats the regionnode mapping | ||
| 56 |     // to the exit block of the regionnode | ||
| 57 |     ItRgBegin, // At the beginning of the regionnode successor. | ||
| 58 |     ItRgEnd    // At the end of the regionnode successor. | ||
| 59 | }; | ||
| 60 | |||
| 61 | static_assert(std::is_pointer<NodeRef>::value, | ||
| 62 |                 "FIXME: Currently RNSuccIterator only supports NodeRef as " | ||
| 63 |                 "pointers due to the use of pointer-specific data structures " | ||
| 64 |                 "(e.g. PointerIntPair and SmallPtrSet) internally. Generalize " | ||
| 65 | "it to support non-pointer types"); | ||
| 66 | |||
| 67 |   // Use two bit to represent the mode iterator. | ||
| 68 | PointerIntPair<NodeRef, 2, ItMode> Node; | ||
| 69 | |||
| 70 |   // The block successor iterator. | ||
| 71 |   SuccIterTy BItor; | ||
| 72 | |||
| 73 |   // advanceRegionSucc - A region node has only one successor. It reaches end | ||
| 74 |   // once we advance it. | ||
| 75 | void advanceRegionSucc() { | ||
| 76 | assert(Node.getInt() == ItRgBegin && "Cannot advance region successor!"); | ||
| 77 | Node.setInt(ItRgEnd); | ||
| 78 |   } | ||
| 79 | |||
| 80 | NodeRef getNode() const { return Node.getPointer(); } | ||
| 81 | |||
| 82 |   // isRegionMode - Is the current iterator in region mode? | ||
| 83 | bool isRegionMode() const { return Node.getInt() != ItBB; } | ||
| 84 | |||
| 85 |   // Get the immediate successor. This function may return a Basic Block | ||
| 86 |   // RegionNode or a subregion RegionNode. | ||
| 87 | NodeRef getISucc(BlockT *BB) const { | ||
| 88 |     NodeRef succ; | ||
| 89 | succ = getNode()->getParent()->getNode(BB); | ||
| 90 | assert(succ && "BB not in Region or entered subregion!"); | ||
| 91 | return succ; | ||
| 92 |   } | ||
| 93 | |||
| 94 |   // getRegionSucc - Return the successor basic block of a SubRegion RegionNode. | ||
| 95 | inline BlockT* getRegionSucc() const { | ||
| 96 | assert(Node.getInt() == ItRgBegin && "Cannot get the region successor!"); | ||
| 97 | return getNode()->template getNodeAs<RegionT>()->getExit(); | ||
| 98 |   } | ||
| 99 | |||
| 100 |   // isExit - Is this the exit BB of the Region? | ||
| 101 | inline bool isExit(BlockT* BB) const { | ||
| 102 | return getNode()->getParent()->getExit() == BB; | ||
| 103 |   } | ||
| 104 | |||
| 105 | public: | ||
| 106 | using Self = RNSuccIterator<NodeRef, BlockT, RegionT>; | ||
| 107 | |||
| 108 |   /// Create begin iterator of a RegionNode. | ||
| 109 | inline RNSuccIterator(NodeRef node) | ||
| 110 | : Node(node, node->isSubRegion() ? ItRgBegin : ItBB), | ||
| 111 | BItor(BlockTraits::child_begin(node->getEntry())) { | ||
| 112 |     // Skip the exit block | ||
| 113 | if (!isRegionMode()) | ||
| 114 | while (BlockTraits::child_end(node->getEntry()) != BItor && isExit(*BItor)) | ||
| 115 | ++BItor; | ||
| 116 | |||
| 117 | if (isRegionMode() && isExit(getRegionSucc())) | ||
| 118 | advanceRegionSucc(); | ||
| 119 |   } | ||
| 120 | |||
| 121 |   /// Create an end iterator. | ||
| 122 | inline RNSuccIterator(NodeRef node, bool) | ||
| 123 | : Node(node, node->isSubRegion() ? ItRgEnd : ItBB), | ||
| 124 | BItor(BlockTraits::child_end(node->getEntry())) {} | ||
| 125 | |||
| 126 | inline bool operator==(const Self& x) const { | ||
| 127 | assert(isRegionMode() == x.isRegionMode() && "Broken iterator!"); | ||
| 128 | if (isRegionMode()) | ||
| 129 | return Node.getInt() == x.Node.getInt(); | ||
| 130 |     else | ||
| 131 | return BItor == x.BItor; | ||
| 132 |   } | ||
| 133 | |||
| 134 | inline bool operator!=(const Self& x) const { return !operator==(x); } | ||
| 135 | |||
| 136 | inline value_type operator*() const { | ||
| 137 | BlockT *BB = isRegionMode() ? getRegionSucc() : *BItor; | ||
| 138 | assert(!isExit(BB) && "Iterator out of range!"); | ||
| 139 | return getISucc(BB); | ||
| 140 |   } | ||
| 141 | |||
| 142 | inline Self& operator++() { | ||
| 143 | if(isRegionMode()) { | ||
| 144 |       // The Region only has 1 successor. | ||
| 145 | advanceRegionSucc(); | ||
| 146 | } else { | ||
| 147 |       // Skip the exit. | ||
| 148 |       do | ||
| 149 | ++BItor; | ||
| 150 | while (BItor != BlockTraits::child_end(getNode()->getEntry()) | ||
| 151 | && isExit(*BItor)); | ||
| 152 |     } | ||
| 153 | return *this; | ||
| 154 |   } | ||
| 155 | |||
| 156 | inline Self operator++(int) { | ||
| 157 | Self tmp = *this; | ||
| 158 | ++*this; | ||
| 159 | return tmp; | ||
| 160 |   } | ||
| 161 | }; | ||
| 162 | |||
| 163 | //===----------------------------------------------------------------------===// | ||
| 164 | /// Flat RegionNode iterator. | ||
| 165 | /// | ||
| 166 | /// The Flat Region iterator will iterate over all BasicBlock RegionNodes that | ||
| 167 | /// are contained in the Region and its subregions. This is close to a virtual | ||
| 168 | /// control flow graph of the Region. | ||
| 169 | template <class NodeRef, class BlockT, class RegionT> | ||
| 170 | class RNSuccIterator<FlatIt<NodeRef>, BlockT, RegionT> { | ||
| 171 | using BlockTraits = GraphTraits<BlockT *>; | ||
| 172 | using SuccIterTy = typename BlockTraits::ChildIteratorType; | ||
| 173 | |||
| 174 |   NodeRef Node; | ||
| 175 |   SuccIterTy Itor; | ||
| 176 | |||
| 177 | public: | ||
| 178 | using iterator_category = std::forward_iterator_tag; | ||
| 179 | using value_type = NodeRef; | ||
| 180 | using difference_type = std::ptrdiff_t; | ||
| 181 | using pointer = value_type *; | ||
| 182 | using reference = value_type &; | ||
| 183 | |||
| 184 | using Self = RNSuccIterator<FlatIt<NodeRef>, BlockT, RegionT>; | ||
| 185 | |||
| 186 |   /// Create the iterator from a RegionNode. | ||
| 187 |   /// | ||
| 188 |   /// Note that the incoming node must be a bb node, otherwise it will trigger | ||
| 189 |   /// an assertion when we try to get a BasicBlock. | ||
| 190 | inline RNSuccIterator(NodeRef node) | ||
| 191 | : Node(node), Itor(BlockTraits::child_begin(node->getEntry())) { | ||
| 192 | assert(!Node->isSubRegion() && | ||
| 193 | "Subregion node not allowed in flat iterating mode!"); | ||
| 194 | assert(Node->getParent() && "A BB node must have a parent!"); | ||
| 195 | |||
| 196 |     // Skip the exit block of the iterating region. | ||
| 197 | while (BlockTraits::child_end(Node->getEntry()) != Itor && | ||
| 198 | Node->getParent()->getExit() == *Itor) | ||
| 199 | ++Itor; | ||
| 200 |   } | ||
| 201 | |||
| 202 |   /// Create an end iterator | ||
| 203 | inline RNSuccIterator(NodeRef node, bool) | ||
| 204 | : Node(node), Itor(BlockTraits::child_end(node->getEntry())) { | ||
| 205 | assert(!Node->isSubRegion() && | ||
| 206 | "Subregion node not allowed in flat iterating mode!"); | ||
| 207 |   } | ||
| 208 | |||
| 209 | inline bool operator==(const Self& x) const { | ||
| 210 | assert(Node->getParent() == x.Node->getParent() | ||
| 211 | && "Cannot compare iterators of different regions!"); | ||
| 212 | |||
| 213 | return Itor == x.Itor && Node == x.Node; | ||
| 214 |   } | ||
| 215 | |||
| 216 | inline bool operator!=(const Self& x) const { return !operator==(x); } | ||
| 217 | |||
| 218 | inline value_type operator*() const { | ||
| 219 | BlockT *BB = *Itor; | ||
| 220 | |||
| 221 |     // Get the iterating region. | ||
| 222 | RegionT *Parent = Node->getParent(); | ||
| 223 | |||
| 224 |     // The only case that the successor reaches out of the region is it reaches | ||
| 225 |     // the exit of the region. | ||
| 226 | assert(Parent->getExit() != BB && "iterator out of range!"); | ||
| 227 | |||
| 228 | return Parent->getBBNode(BB); | ||
| 229 |   } | ||
| 230 | |||
| 231 | inline Self& operator++() { | ||
| 232 |     // Skip the exit block of the iterating region. | ||
| 233 |     do | ||
| 234 | ++Itor; | ||
| 235 | while (Itor != succ_end(Node->getEntry()) | ||
| 236 | && Node->getParent()->getExit() == *Itor); | ||
| 237 | |||
| 238 | return *this; | ||
| 239 |   } | ||
| 240 | |||
| 241 | inline Self operator++(int) { | ||
| 242 | Self tmp = *this; | ||
| 243 | ++*this; | ||
| 244 | return tmp; | ||
| 245 |   } | ||
| 246 | }; | ||
| 247 | |||
| 248 | template <class NodeRef, class BlockT, class RegionT> | ||
| 249 | inline RNSuccIterator<NodeRef, BlockT, RegionT> succ_begin(NodeRef Node) { | ||
| 250 | return RNSuccIterator<NodeRef, BlockT, RegionT>(Node); | ||
| 251 | } | ||
| 252 | |||
| 253 | template <class NodeRef, class BlockT, class RegionT> | ||
| 254 | inline RNSuccIterator<NodeRef, BlockT, RegionT> succ_end(NodeRef Node) { | ||
| 255 | return RNSuccIterator<NodeRef, BlockT, RegionT>(Node, true); | ||
| 256 | } | ||
| 257 | |||
| 258 | //===--------------------------------------------------------------------===// | ||
| 259 | // RegionNode GraphTraits specialization so the bbs in the region can be | ||
| 260 | // iterate by generic graph iterators. | ||
| 261 | // | ||
| 262 | // NodeT can either be region node or const region node, otherwise child_begin | ||
| 263 | // and child_end fail. | ||
| 264 | |||
| 265 | #define RegionNodeGraphTraits(NodeT, BlockT, RegionT)                          \ | ||
| 266 |   template <> struct GraphTraits<NodeT *> {                                    \ | ||
| 267 |     using NodeRef = NodeT *;                                                   \ | ||
| 268 |     using ChildIteratorType = RNSuccIterator<NodeRef, BlockT, RegionT>;        \ | ||
| 269 |     static NodeRef getEntryNode(NodeRef N) { return N; }                       \ | ||
| 270 |     static inline ChildIteratorType child_begin(NodeRef N) {                   \ | ||
| 271 |       return RNSuccIterator<NodeRef, BlockT, RegionT>(N);                      \ | ||
| 272 |     }                                                                          \ | ||
| 273 |     static inline ChildIteratorType child_end(NodeRef N) {                     \ | ||
| 274 |       return RNSuccIterator<NodeRef, BlockT, RegionT>(N, true);                \ | ||
| 275 |     }                                                                          \ | ||
| 276 |   };                                                                           \ | ||
| 277 |   template <> struct GraphTraits<FlatIt<NodeT *>> {                            \ | ||
| 278 |     using NodeRef = NodeT *;                                                   \ | ||
| 279 |     using ChildIteratorType =                                                  \ | ||
| 280 |         RNSuccIterator<FlatIt<NodeRef>, BlockT, RegionT>;                      \ | ||
| 281 |     static NodeRef getEntryNode(NodeRef N) { return N; }                       \ | ||
| 282 |     static inline ChildIteratorType child_begin(NodeRef N) {                   \ | ||
| 283 |       return RNSuccIterator<FlatIt<NodeRef>, BlockT, RegionT>(N);              \ | ||
| 284 |     }                                                                          \ | ||
| 285 |     static inline ChildIteratorType child_end(NodeRef N) {                     \ | ||
| 286 |       return RNSuccIterator<FlatIt<NodeRef>, BlockT, RegionT>(N, true);        \ | ||
| 287 |     }                                                                          \ | ||
| 288 |   } | ||
| 289 | |||
| 290 | #define RegionGraphTraits(RegionT, NodeT)                                      \ | ||
| 291 |   template <> struct GraphTraits<RegionT *> : public GraphTraits<NodeT *> {    \ | ||
| 292 |     using nodes_iterator = df_iterator<NodeRef>;                               \ | ||
| 293 |     static NodeRef getEntryNode(RegionT *R) {                                  \ | ||
| 294 |       return R->getNode(R->getEntry());                                        \ | ||
| 295 |     }                                                                          \ | ||
| 296 |     static nodes_iterator nodes_begin(RegionT *R) {                            \ | ||
| 297 |       return nodes_iterator::begin(getEntryNode(R));                           \ | ||
| 298 |     }                                                                          \ | ||
| 299 |     static nodes_iterator nodes_end(RegionT *R) {                              \ | ||
| 300 |       return nodes_iterator::end(getEntryNode(R));                             \ | ||
| 301 |     }                                                                          \ | ||
| 302 |   };                                                                           \ | ||
| 303 |   template <>                                                                  \ | ||
| 304 |   struct GraphTraits<FlatIt<RegionT *>>                                        \ | ||
| 305 |       : public GraphTraits<FlatIt<NodeT *>> {                                  \ | ||
| 306 |     using nodes_iterator =                                                     \ | ||
| 307 |         df_iterator<NodeRef, df_iterator_default_set<NodeRef>, false,          \ | ||
| 308 |                     GraphTraits<FlatIt<NodeRef>>>;                             \ | ||
| 309 |     static NodeRef getEntryNode(RegionT *R) {                                  \ | ||
| 310 |       return R->getBBNode(R->getEntry());                                      \ | ||
| 311 |     }                                                                          \ | ||
| 312 |     static nodes_iterator nodes_begin(RegionT *R) {                            \ | ||
| 313 |       return nodes_iterator::begin(getEntryNode(R));                           \ | ||
| 314 |     }                                                                          \ | ||
| 315 |     static nodes_iterator nodes_end(RegionT *R) {                              \ | ||
| 316 |       return nodes_iterator::end(getEntryNode(R));                             \ | ||
| 317 |     }                                                                          \ | ||
| 318 |   } | ||
| 319 | |||
| 320 | RegionNodeGraphTraits(RegionNode, BasicBlock, Region); | ||
| 321 | RegionNodeGraphTraits(const RegionNode, BasicBlock, Region); | ||
| 322 | |||
| 323 | RegionGraphTraits(Region, RegionNode); | ||
| 324 | RegionGraphTraits(const Region, const RegionNode); | ||
| 325 | |||
| 326 | template <> struct GraphTraits<RegionInfo*> | ||
| 327 | : public GraphTraits<FlatIt<RegionNode*>> { | ||
| 328 | using nodes_iterator = | ||
| 329 | df_iterator<NodeRef, df_iterator_default_set<NodeRef>, false, | ||
| 330 | GraphTraits<FlatIt<NodeRef>>>; | ||
| 331 | |||
| 332 | static NodeRef getEntryNode(RegionInfo *RI) { | ||
| 333 | return GraphTraits<FlatIt<Region*>>::getEntryNode(RI->getTopLevelRegion()); | ||
| 334 |   } | ||
| 335 | |||
| 336 | static nodes_iterator nodes_begin(RegionInfo* RI) { | ||
| 337 | return nodes_iterator::begin(getEntryNode(RI)); | ||
| 338 |   } | ||
| 339 | |||
| 340 | static nodes_iterator nodes_end(RegionInfo *RI) { | ||
| 341 | return nodes_iterator::end(getEntryNode(RI)); | ||
| 342 |   } | ||
| 343 | }; | ||
| 344 | |||
| 345 | template <> struct GraphTraits<RegionInfoPass*> | ||
| 346 | : public GraphTraits<RegionInfo *> { | ||
| 347 | using nodes_iterator = | ||
| 348 | df_iterator<NodeRef, df_iterator_default_set<NodeRef>, false, | ||
| 349 | GraphTraits<FlatIt<NodeRef>>>; | ||
| 350 | |||
| 351 | static NodeRef getEntryNode(RegionInfoPass *RI) { | ||
| 352 | return GraphTraits<RegionInfo*>::getEntryNode(&RI->getRegionInfo()); | ||
| 353 |   } | ||
| 354 | |||
| 355 | static nodes_iterator nodes_begin(RegionInfoPass* RI) { | ||
| 356 | return GraphTraits<RegionInfo*>::nodes_begin(&RI->getRegionInfo()); | ||
| 357 |   } | ||
| 358 | |||
| 359 | static nodes_iterator nodes_end(RegionInfoPass *RI) { | ||
| 360 | return GraphTraits<RegionInfo*>::nodes_end(&RI->getRegionInfo()); | ||
| 361 |   } | ||
| 362 | }; | ||
| 363 | |||
| 364 | } // end namespace llvm | ||
| 365 | |||
| 366 | #endif // LLVM_ANALYSIS_REGIONITERATOR_H |