da1f16c60b3df64e0bbe520550ec127f970a54f9
[oota-llvm.git] / include / llvm / ADT / FoldingSet.h
1 //===-- llvm/ADT/FoldingSet.h - Uniquing Hash Set ---------------*- 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 // This file defines a hash set that can be used to remove duplication of nodes
11 // in a graph.  This code was originally created by Chris Lattner for use with
12 // SelectionDAGCSEMap, but was isolated to provide use across the llvm code set. 
13 //
14 //===----------------------------------------------------------------------===//
15
16 #ifndef LLVM_ADT_FOLDINGSET_H
17 #define LLVM_ADT_FOLDINGSET_H
18
19 #include "llvm/Support/DataTypes.h"
20 #include "llvm/ADT/SmallVector.h"
21 #include <string>
22
23 namespace llvm {
24   class APFloat;
25
26 /// This folding set used for two purposes:
27 ///   1. Given information about a node we want to create, look up the unique
28 ///      instance of the node in the set.  If the node already exists, return
29 ///      it, otherwise return the bucket it should be inserted into.
30 ///   2. Given a node that has already been created, remove it from the set.
31 /// 
32 /// This class is implemented as a single-link chained hash table, where the
33 /// "buckets" are actually the nodes themselves (the next pointer is in the
34 /// node).  The last node points back to the bucket to simplified node removal.
35 ///
36 /// Any node that is to be included in the folding set must be a subclass of
37 /// FoldingSetNode.  The node class must also define a Profile method used to
38 /// establish the unique bits of data for the node.  The Profile method is
39 /// passed a FoldingSetNodeID object which is used to gather the bits.  Just 
40 /// call one of the Add* functions defined in the FoldingSetImpl::NodeID class.
41 /// NOTE: That the folding set does not own the nodes and it is the
42 /// responsibility of the user to dispose of the nodes.
43 ///
44 /// Eg.
45 ///    class MyNode : public FoldingSetNode {
46 ///    private:
47 ///      std::string Name;
48 ///      unsigned Value;
49 ///    public:
50 ///      MyNode(const char *N, unsigned V) : Name(N), Value(V) {}
51 ///       ...
52 ///      void Profile(FoldingSetNodeID &ID) {
53 ///        ID.AddString(Name);
54 ///        ID.AddInteger(Value);
55 ///       }
56 ///       ...
57 ///     };
58 ///
59 /// To define the folding set itself use the FoldingSet template;
60 ///
61 /// Eg.
62 ///    FoldingSet<MyNode> MyFoldingSet;
63 ///
64 /// Four public methods are available to manipulate the folding set; 
65 ///
66 /// 1) If you have an existing node that you want add to the set but unsure
67 /// that the node might already exist then call;
68 ///
69 ///    MyNode *M = MyFoldingSet.GetOrInsertNode(N);
70 ///
71 /// If The result is equal to the input then the node has been inserted.
72 /// Otherwise, the result is the node existing in the folding set, and the
73 /// input can be discarded (use the result instead.)
74 ///
75 /// 2) If you are ready to construct a node but want to check if it already
76 /// exists, then call FindNodeOrInsertPos with a FoldingSetNodeID of the bits to
77 /// check;
78 ///
79 ///   FoldingSetNodeID ID;
80 ///   ID.AddString(Name);
81 ///   ID.AddInteger(Value);
82 ///   void *InsertPoint;
83 ///
84 ///    MyNode *M = MyFoldingSet.FindNodeOrInsertPos(ID, InsertPoint);
85 ///
86 /// If found then M with be non-NULL, else InsertPoint will point to where it
87 /// should be inserted using InsertNode.
88 ///
89 /// 3) If you get a NULL result from FindNodeOrInsertPos then you can as a new
90 /// node with FindNodeOrInsertPos;
91 ///
92 ///    InsertNode(N, InsertPoint);
93 ///
94 /// 4) Finally, if you want to remove a node from the folding set call;
95 ///
96 ///    bool WasRemoved = RemoveNode(N);
97 ///
98 /// The result indicates whether the node existed in the folding set.
99
100
101 //===----------------------------------------------------------------------===//
102 /// FoldingSetImpl - Implements the folding set functionality.  The main
103 /// structure is an array of buckets.  Each bucket is indexed by the hash of
104 /// the nodes it contains.  The bucket itself points to the nodes contained
105 /// in the bucket via a singly linked list.  The last node in the list points
106 /// back to the bucket to facilitate node removal.
107 /// 
108 class FoldingSetImpl {
109 protected:
110   /// Buckets - Array of bucket chains.
111   ///
112   void **Buckets;
113   
114   /// NumBuckets - Length of the Buckets array.  Always a power of 2.
115   ///
116   unsigned NumBuckets;
117   
118   /// NumNodes - Number of nodes in the folding set. Growth occurs when NumNodes
119   /// is greater than twice the number of buckets.
120   unsigned NumNodes;
121   
122 public:
123   explicit FoldingSetImpl(unsigned Log2InitSize = 6);
124   virtual ~FoldingSetImpl();
125   
126   // Forward declaration.
127   class Node;
128
129   //===--------------------------------------------------------------------===//
130   /// NodeID - This class is used to gather all the unique data bits of a
131   /// node.  When all the bits are gathered this class is used to produce a
132   /// hash value for the node.  
133   ///
134   class NodeID {
135     /// Bits - Vector of all the data bits that make the node unique.
136     /// Use a SmallVector to avoid a heap allocation in the common case.
137     SmallVector<unsigned, 32> Bits;
138     
139   public:
140     NodeID() {}
141     
142     /// getRawData - Return the ith entry in the Bits data.
143     ///
144     unsigned getRawData(unsigned i) const {
145       return Bits[i];
146     }
147     
148     /// Add* - Add various data types to Bit data.
149     ///
150     void AddPointer(const void *Ptr);
151     void AddInteger(signed I);
152     void AddInteger(unsigned I);
153     void AddInteger(int64_t I);
154     void AddInteger(uint64_t I);
155     void AddFloat(float F);
156     void AddDouble(double D);
157     void AddAPFloat(const APFloat& apf);
158     void AddString(const std::string &String);
159     
160     /// ComputeHash - Compute a strong hash value for this NodeID, used to 
161     /// lookup the node in the FoldingSetImpl.
162     unsigned ComputeHash() const;
163     
164     /// operator== - Used to compare two nodes to each other.
165     ///
166     bool operator==(const NodeID &RHS) const;
167   };
168
169   //===--------------------------------------------------------------------===//
170   /// Node - This class is used to maintain the singly linked bucket list in
171   /// a folding set.
172   ///
173   class Node {
174   private:
175     // NextInFoldingSetBucket - next link in the bucket list.
176     void *NextInFoldingSetBucket;
177     
178   public:
179
180     Node() : NextInFoldingSetBucket(0) {}
181     
182     // Accessors
183     void *getNextInBucket() const { return NextInFoldingSetBucket; }
184     void SetNextInBucket(void *N) { NextInFoldingSetBucket = N; }
185   };
186
187   /// RemoveNode - Remove a node from the folding set, returning true if one
188   /// was removed or false if the node was not in the folding set.
189   bool RemoveNode(Node *N);
190   
191   /// GetOrInsertNode - If there is an existing simple Node exactly
192   /// equal to the specified node, return it.  Otherwise, insert 'N' and return
193   /// it instead.
194   Node *GetOrInsertNode(Node *N);
195   
196   /// FindNodeOrInsertPos - Look up the node specified by ID.  If it exists,
197   /// return it.  If not, return the insertion token that will make insertion
198   /// faster.
199   Node *FindNodeOrInsertPos(const NodeID &ID, void *&InsertPos);
200   
201   /// InsertNode - Insert the specified node into the folding set, knowing that
202   /// it is not already in the folding set.  InsertPos must be obtained from 
203   /// FindNodeOrInsertPos.
204   void InsertNode(Node *N, void *InsertPos);
205   
206   /// size - Returns the number of nodes in the folding set.
207   unsigned size() const { return NumNodes; }
208   
209 private:
210
211   /// GrowHashTable - Double the size of the hash table and rehash everything.
212   ///
213   void GrowHashTable();
214   
215 protected:
216
217   /// GetNodeProfile - Instantiations of the FoldingSet template implement
218   /// this function to gather data bits for the given node.
219   virtual void GetNodeProfile(NodeID &ID, Node *N) const = 0;
220 };
221
222 // Convenience types to hide the implementation of the folding set.
223 typedef FoldingSetImpl::Node FoldingSetNode;
224 typedef FoldingSetImpl::NodeID FoldingSetNodeID;
225
226 template<class T> class FoldingSetIterator;
227
228 //===----------------------------------------------------------------------===//
229 /// FoldingSetTrait - This trait class is used to define behavior of how
230 ///  to "profile" (in the FoldingSet parlance) an object of a given type.
231 ///  The default behavior is to invoke a 'Profile' method on an object, but
232 ///  through template specialization the behavior can be tailored for specific
233 ///  types.  Combined with the FoldingSetNodeWrapper classs, one can add objects
234 ///  to FoldingSets that were not originally designed to have that behavior.
235 ///
236 template<typename T> struct FoldingSetTrait {
237   static inline void Profile(const T& X, FoldingSetNodeID& ID) { X.Profile(ID);}
238   static inline void Profile(T& X, FoldingSetNodeID& ID) { X.Profile(ID); }
239 };
240   
241 //===----------------------------------------------------------------------===//
242 /// FoldingSet - This template class is used to instantiate a specialized
243 /// implementation of the folding set to the node class T.  T must be a 
244 /// subclass of FoldingSetNode and implement a Profile function.
245 ///
246 template<class T> class FoldingSet : public FoldingSetImpl {
247 private:
248   /// GetNodeProfile - Each instantiatation of the FoldingSet needs to provide a
249   /// way to convert nodes into a unique specifier.
250   virtual void GetNodeProfile(NodeID &ID, Node *N) const {
251     T *TN = static_cast<T *>(N);
252     FoldingSetTrait<T>::Profile(*TN,ID);
253   }
254   
255 public:
256   explicit FoldingSet(unsigned Log2InitSize = 6)
257   : FoldingSetImpl(Log2InitSize)
258   {}
259   
260   typedef FoldingSetIterator<T> iterator;
261   iterator begin() { return iterator(Buckets); }
262   iterator end() { return iterator(Buckets+NumBuckets); }
263
264   typedef FoldingSetIterator<const T> const_iterator;
265   const_iterator begin() const { return const_iterator(Buckets); }
266   const_iterator end() const { return const_iterator(Buckets+NumBuckets); }
267
268   /// GetOrInsertNode - If there is an existing simple Node exactly
269   /// equal to the specified node, return it.  Otherwise, insert 'N' and
270   /// return it instead.
271   T *GetOrInsertNode(Node *N) {
272     return static_cast<T *>(FoldingSetImpl::GetOrInsertNode(N));
273   }
274   
275   /// FindNodeOrInsertPos - Look up the node specified by ID.  If it exists,
276   /// return it.  If not, return the insertion token that will make insertion
277   /// faster.
278   T *FindNodeOrInsertPos(const FoldingSetNodeID &ID, void *&InsertPos) {
279     return static_cast<T *>(FoldingSetImpl::FindNodeOrInsertPos(ID, InsertPos));
280   }
281 };
282
283 //===----------------------------------------------------------------------===//
284 /// FoldingSetIteratorImpl - This is the common iterator support shared by all
285 /// folding sets, which knows how to walk the folding set hash table.
286 class FoldingSetIteratorImpl {
287 protected:
288   FoldingSetNode *NodePtr;
289   FoldingSetIteratorImpl(void **Bucket);
290   void advance();
291   
292 public:
293   bool operator==(const FoldingSetIteratorImpl &RHS) const {
294     return NodePtr == RHS.NodePtr;
295   }
296   bool operator!=(const FoldingSetIteratorImpl &RHS) const {
297     return NodePtr != RHS.NodePtr;
298   }
299 };
300
301
302 template<class T>
303 class FoldingSetIterator : public FoldingSetIteratorImpl {
304 public:
305   FoldingSetIterator(void **Bucket) : FoldingSetIteratorImpl(Bucket) {}
306   
307   T &operator*() const {
308     return *static_cast<T*>(NodePtr);
309   }
310   
311   T *operator->() const {
312     return static_cast<T*>(NodePtr);
313   }
314   
315   inline FoldingSetIterator& operator++() {          // Preincrement
316     advance();
317     return *this;
318   }
319   FoldingSetIterator operator++(int) {        // Postincrement
320     FoldingSetIterator tmp = *this; ++*this; return tmp;
321   }
322 };
323   
324 //===----------------------------------------------------------------------===//
325 /// FoldingSetNodeWrapper - This template class is used to "wrap" arbitrary
326 /// types in an enclosing object so that they can be inserted into FoldingSets.
327 template <typename T>
328 class FoldingSetNodeWrapper : public FoldingSetNode {
329   T data;
330 public:
331   FoldingSetNodeWrapper(const T& x) : data(x) {}
332   virtual ~FoldingSetNodeWrapper();
333   
334   template<typename A1>
335   explicit FoldingSetNodeWrapper(const A1& a1)
336     : data(a1) {}
337   
338   template <typename A1, typename A2>
339   explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2)
340     : data(a1,a2) {}
341   
342   template <typename A1, typename A2, typename A3>
343   explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2, const A3& a3)
344     : data(a1,a2,a3) {}
345   
346   template <typename A1, typename A2, typename A3, typename A4>
347   explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2, const A3& a3,
348                                  const A4& a4)
349     : data(a1,a2,a3,a4) {}
350   
351   template <typename A1, typename A2, typename A3, typename A4, typename A5>
352   explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2, const A3& a3,
353                                  const A4& a4, const A5& a5)
354   : data(a1,a2,a3,a4,a5) {}
355
356   
357   void Profile(FoldingSetNodeID& ID) { FoldingSetTrait<T>::Profile(data, ID); }
358
359   operator T&() { return data; }
360   operator const T&() const { return data; }
361 };
362
363 } // End of namespace llvm.
364
365
366 #endif
367