Significantly simplify gep_type_iterator, and make its interface more general/powerful
[oota-llvm.git] / include / llvm / Support / CFG.h
1 //===-- llvm/Support/CFG.h - Process LLVM structures as graphs --*- C++ -*-===//
2 // 
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
7 // 
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines specializations of GraphTraits that allow Function and
11 // BasicBlock graphs to be treated as proper graphs for generic algorithms.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_SUPPORT_CFG_H
16 #define LLVM_SUPPORT_CFG_H
17
18 #include "Support/GraphTraits.h"
19 #include "llvm/Function.h"
20 #include "llvm/InstrTypes.h"
21 #include "Support/iterator"
22
23 namespace llvm {
24
25 //===--------------------------------------------------------------------===//
26 // BasicBlock pred_iterator definition
27 //===--------------------------------------------------------------------===//
28
29 template <class _Ptr,  class _USE_iterator> // Predecessor Iterator
30 class PredIterator : public bidirectional_iterator<_Ptr, ptrdiff_t> {
31   typedef bidirectional_iterator<_Ptr, ptrdiff_t> super;
32   _Ptr *BB;
33   _USE_iterator It;
34 public:
35   typedef PredIterator<_Ptr,_USE_iterator> _Self;
36   typedef typename super::pointer pointer;
37   
38   inline void advancePastConstants() {
39     // Loop to ignore non terminator uses (for example PHI nodes)...
40     while (It != BB->use_end() && !isa<TerminatorInst>(*It))
41       ++It;
42   }
43   
44   inline PredIterator(_Ptr *bb) : BB(bb), It(bb->use_begin()) {
45     advancePastConstants();
46   }
47   inline PredIterator(_Ptr *bb, bool) : BB(bb), It(bb->use_end()) {}
48     
49   inline bool operator==(const _Self& x) const { return It == x.It; }
50   inline bool operator!=(const _Self& x) const { return !operator==(x); }
51   
52   inline pointer operator*() const { 
53     assert(It != BB->use_end() && "pred_iterator out of range!");
54     return cast<TerminatorInst>(*It)->getParent(); 
55   }
56   inline pointer *operator->() const { return &(operator*()); }
57   
58   inline _Self& operator++() {   // Preincrement
59     assert(It != BB->use_end() && "pred_iterator out of range!");
60     ++It; advancePastConstants();
61     return *this; 
62   }
63   
64   inline _Self operator++(int) { // Postincrement
65     _Self tmp = *this; ++*this; return tmp; 
66   }
67   
68   inline _Self& operator--() { --It; return *this; }  // Predecrement
69   inline _Self operator--(int) { // Postdecrement
70     _Self tmp = *this; --*this; return tmp;
71   }
72 };
73
74 typedef PredIterator<BasicBlock, Value::use_iterator> pred_iterator;
75 typedef PredIterator<const BasicBlock, 
76                      Value::use_const_iterator> pred_const_iterator;
77
78 inline pred_iterator pred_begin(BasicBlock *BB) { return pred_iterator(BB); }
79 inline pred_const_iterator pred_begin(const BasicBlock *BB) {
80   return pred_const_iterator(BB);
81 }
82 inline pred_iterator pred_end(BasicBlock *BB) { return pred_iterator(BB, true);}
83 inline pred_const_iterator pred_end(const BasicBlock *BB) {
84   return pred_const_iterator(BB, true);
85 }
86
87
88
89 //===--------------------------------------------------------------------===//
90 // BasicBlock succ_iterator definition
91 //===--------------------------------------------------------------------===//
92
93 template <class _Term, class _BB>           // Successor Iterator
94 class SuccIterator : public bidirectional_iterator<_BB, ptrdiff_t> {
95   const _Term Term;
96   unsigned idx;
97   typedef bidirectional_iterator<_BB, ptrdiff_t> super;
98 public:
99   typedef SuccIterator<_Term, _BB> _Self;
100   typedef typename super::pointer pointer;
101   // TODO: This can be random access iterator, need operator+ and stuff tho
102     
103   inline SuccIterator(_Term T) : Term(T), idx(0) {         // begin iterator
104     assert(T && "getTerminator returned null!");
105   }
106   inline SuccIterator(_Term T, bool)                       // end iterator
107     : Term(T), idx(Term->getNumSuccessors()) {
108     assert(T && "getTerminator returned null!");
109   }
110
111   inline const _Self &operator=(const _Self &I) {
112     assert(Term == I.Term &&"Cannot assign iterators to two different blocks!");
113     idx = I.idx;
114     return *this;
115   }
116
117   /// getSuccessorIndex - This is used to interface between code that wants to
118   /// operate on terminator instructions directly.
119   unsigned getSuccessorIndex() const { return idx; }
120     
121   inline bool operator==(const _Self& x) const { return idx == x.idx; }
122   inline bool operator!=(const _Self& x) const { return !operator==(x); }
123   
124   inline pointer operator*() const { return Term->getSuccessor(idx); }
125   inline pointer operator->() const { return operator*(); }
126   
127   inline _Self& operator++() { ++idx; return *this; } // Preincrement
128   inline _Self operator++(int) { // Postincrement
129     _Self tmp = *this; ++*this; return tmp; 
130   }
131     
132   inline _Self& operator--() { --idx; return *this; }  // Predecrement
133   inline _Self operator--(int) { // Postdecrement
134     _Self tmp = *this; --*this; return tmp;
135   }
136 };
137
138 typedef SuccIterator<TerminatorInst*, BasicBlock> succ_iterator;
139 typedef SuccIterator<const TerminatorInst*,
140                      const BasicBlock> succ_const_iterator;
141
142 inline succ_iterator succ_begin(BasicBlock *BB) {
143   return succ_iterator(BB->getTerminator());
144 }
145 inline succ_const_iterator succ_begin(const BasicBlock *BB) {
146   return succ_const_iterator(BB->getTerminator());
147 }
148 inline succ_iterator succ_end(BasicBlock *BB) {
149   return succ_iterator(BB->getTerminator(), true);
150 }
151 inline succ_const_iterator succ_end(const BasicBlock *BB) {
152   return succ_const_iterator(BB->getTerminator(), true);
153 }
154
155
156
157 //===--------------------------------------------------------------------===//
158 // GraphTraits specializations for basic block graphs (CFGs)
159 //===--------------------------------------------------------------------===//
160
161 // Provide specializations of GraphTraits to be able to treat a function as a 
162 // graph of basic blocks...
163
164 template <> struct GraphTraits<BasicBlock*> {
165   typedef BasicBlock NodeType;
166   typedef succ_iterator ChildIteratorType;
167
168   static NodeType *getEntryNode(BasicBlock *BB) { return BB; }
169   static inline ChildIteratorType child_begin(NodeType *N) { 
170     return succ_begin(N);
171   }
172   static inline ChildIteratorType child_end(NodeType *N) { 
173     return succ_end(N);
174   }
175 };
176
177 template <> struct GraphTraits<const BasicBlock*> {
178   typedef const BasicBlock NodeType;
179   typedef succ_const_iterator ChildIteratorType;
180
181   static NodeType *getEntryNode(const BasicBlock *BB) { return BB; }
182
183   static inline ChildIteratorType child_begin(NodeType *N) { 
184     return succ_begin(N);
185   }
186   static inline ChildIteratorType child_end(NodeType *N) { 
187     return succ_end(N);
188   }
189 };
190
191 // Provide specializations of GraphTraits to be able to treat a function as a 
192 // graph of basic blocks... and to walk it in inverse order.  Inverse order for
193 // a function is considered to be when traversing the predecessor edges of a BB
194 // instead of the successor edges.
195 //
196 template <> struct GraphTraits<Inverse<BasicBlock*> > {
197   typedef BasicBlock NodeType;
198   typedef pred_iterator ChildIteratorType;
199   static NodeType *getEntryNode(Inverse<BasicBlock *> G) { return G.Graph; }
200   static inline ChildIteratorType child_begin(NodeType *N) { 
201     return pred_begin(N);
202   }
203   static inline ChildIteratorType child_end(NodeType *N) { 
204     return pred_end(N);
205   }
206 };
207
208 template <> struct GraphTraits<Inverse<const BasicBlock*> > {
209   typedef const BasicBlock NodeType;
210   typedef pred_const_iterator ChildIteratorType;
211   static NodeType *getEntryNode(Inverse<const BasicBlock*> G) {
212     return G.Graph; 
213   }
214   static inline ChildIteratorType child_begin(NodeType *N) { 
215     return pred_begin(N);
216   }
217   static inline ChildIteratorType child_end(NodeType *N) { 
218     return pred_end(N);
219   }
220 };
221
222
223
224 //===--------------------------------------------------------------------===//
225 // GraphTraits specializations for function basic block graphs (CFGs)
226 //===--------------------------------------------------------------------===//
227
228 // Provide specializations of GraphTraits to be able to treat a function as a 
229 // graph of basic blocks... these are the same as the basic block iterators,
230 // except that the root node is implicitly the first node of the function.
231 //
232 template <> struct GraphTraits<Function*> : public GraphTraits<BasicBlock*> {
233   static NodeType *getEntryNode(Function *F) { return &F->getEntryBlock(); }
234
235   // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
236   typedef Function::iterator nodes_iterator;
237   static nodes_iterator nodes_begin(Function *F) { return F->begin(); }
238   static nodes_iterator nodes_end  (Function *F) { return F->end(); }
239 };
240 template <> struct GraphTraits<const Function*> :
241   public GraphTraits<const BasicBlock*> {
242   static NodeType *getEntryNode(const Function *F) {return &F->getEntryBlock();}
243
244   // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
245   typedef Function::const_iterator nodes_iterator;
246   static nodes_iterator nodes_begin(const Function *F) { return F->begin(); }
247   static nodes_iterator nodes_end  (const Function *F) { return F->end(); }
248 };
249
250
251 // Provide specializations of GraphTraits to be able to treat a function as a 
252 // graph of basic blocks... and to walk it in inverse order.  Inverse order for
253 // a function is considered to be when traversing the predecessor edges of a BB
254 // instead of the successor edges.
255 //
256 template <> struct GraphTraits<Inverse<Function*> > :
257   public GraphTraits<Inverse<BasicBlock*> > {
258   static NodeType *getEntryNode(Inverse<Function*> G) {
259     return &G.Graph->getEntryBlock();
260   }
261 };
262 template <> struct GraphTraits<Inverse<const Function*> > :
263   public GraphTraits<Inverse<const BasicBlock*> > {
264   static NodeType *getEntryNode(Inverse<const Function *> G) {
265     return &G.Graph->getEntryBlock();
266   }
267 };
268
269 } // End llvm namespace
270
271 #endif