2006-10-27 18:16:16 +02:00
|
|
|
//===-- llvm/ADT/FoldingSet.h - Uniquing Hash Set ---------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:59:42 +01:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2006-10-27 18:16:16 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines a hash set that can be used to remove duplication of nodes
|
|
|
|
// in a graph. This code was originally created by Chris Lattner for use with
|
2008-11-16 05:44:41 +01:00
|
|
|
// SelectionDAGCSEMap, but was isolated to provide use across the llvm code set.
|
2006-10-27 18:16:16 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_ADT_FOLDINGSET_H
|
|
|
|
#define LLVM_ADT_FOLDINGSET_H
|
|
|
|
|
2010-11-29 19:16:10 +01:00
|
|
|
#include "llvm/Support/DataTypes.h"
|
2006-10-27 18:16:16 +02:00
|
|
|
#include "llvm/ADT/SmallVector.h"
|
2009-09-22 05:34:53 +02:00
|
|
|
#include "llvm/ADT/StringRef.h"
|
2006-10-27 18:16:16 +02:00
|
|
|
|
|
|
|
namespace llvm {
|
2007-10-09 05:40:30 +02:00
|
|
|
class APFloat;
|
2008-02-07 00:09:15 +01:00
|
|
|
class APInt;
|
2010-03-18 17:16:38 +01:00
|
|
|
class BumpPtrAllocator;
|
2006-10-27 18:16:16 +02:00
|
|
|
|
|
|
|
/// This folding set used for two purposes:
|
|
|
|
/// 1. Given information about a node we want to create, look up the unique
|
|
|
|
/// instance of the node in the set. If the node already exists, return
|
|
|
|
/// it, otherwise return the bucket it should be inserted into.
|
|
|
|
/// 2. Given a node that has already been created, remove it from the set.
|
2009-01-09 20:25:42 +01:00
|
|
|
///
|
2006-10-27 18:16:16 +02:00
|
|
|
/// This class is implemented as a single-link chained hash table, where the
|
|
|
|
/// "buckets" are actually the nodes themselves (the next pointer is in the
|
2008-03-19 11:59:59 +01:00
|
|
|
/// node). The last node points back to the bucket to simplify node removal.
|
2006-10-27 18:16:16 +02:00
|
|
|
///
|
|
|
|
/// Any node that is to be included in the folding set must be a subclass of
|
|
|
|
/// FoldingSetNode. The node class must also define a Profile method used to
|
|
|
|
/// establish the unique bits of data for the node. The Profile method is
|
2009-01-09 20:25:42 +01:00
|
|
|
/// passed a FoldingSetNodeID object which is used to gather the bits. Just
|
2006-10-27 18:16:16 +02:00
|
|
|
/// call one of the Add* functions defined in the FoldingSetImpl::NodeID class.
|
2006-10-27 20:05:12 +02:00
|
|
|
/// NOTE: That the folding set does not own the nodes and it is the
|
|
|
|
/// responsibility of the user to dispose of the nodes.
|
2006-10-27 18:16:16 +02:00
|
|
|
///
|
|
|
|
/// Eg.
|
|
|
|
/// class MyNode : public FoldingSetNode {
|
|
|
|
/// private:
|
|
|
|
/// std::string Name;
|
|
|
|
/// unsigned Value;
|
|
|
|
/// public:
|
|
|
|
/// MyNode(const char *N, unsigned V) : Name(N), Value(V) {}
|
|
|
|
/// ...
|
2009-06-27 22:53:16 +02:00
|
|
|
/// void Profile(FoldingSetNodeID &ID) const {
|
2006-10-27 18:16:16 +02:00
|
|
|
/// ID.AddString(Name);
|
|
|
|
/// ID.AddInteger(Value);
|
2010-08-16 16:45:36 +02:00
|
|
|
/// }
|
|
|
|
/// ...
|
|
|
|
/// };
|
2006-10-27 18:16:16 +02:00
|
|
|
///
|
|
|
|
/// To define the folding set itself use the FoldingSet template;
|
|
|
|
///
|
|
|
|
/// Eg.
|
|
|
|
/// FoldingSet<MyNode> MyFoldingSet;
|
|
|
|
///
|
2009-01-09 20:25:42 +01:00
|
|
|
/// Four public methods are available to manipulate the folding set;
|
2006-10-27 18:16:16 +02:00
|
|
|
///
|
|
|
|
/// 1) If you have an existing node that you want add to the set but unsure
|
|
|
|
/// that the node might already exist then call;
|
|
|
|
///
|
|
|
|
/// MyNode *M = MyFoldingSet.GetOrInsertNode(N);
|
|
|
|
///
|
|
|
|
/// If The result is equal to the input then the node has been inserted.
|
|
|
|
/// Otherwise, the result is the node existing in the folding set, and the
|
|
|
|
/// input can be discarded (use the result instead.)
|
|
|
|
///
|
|
|
|
/// 2) If you are ready to construct a node but want to check if it already
|
|
|
|
/// exists, then call FindNodeOrInsertPos with a FoldingSetNodeID of the bits to
|
|
|
|
/// check;
|
|
|
|
///
|
|
|
|
/// FoldingSetNodeID ID;
|
|
|
|
/// ID.AddString(Name);
|
|
|
|
/// ID.AddInteger(Value);
|
|
|
|
/// void *InsertPoint;
|
|
|
|
///
|
|
|
|
/// MyNode *M = MyFoldingSet.FindNodeOrInsertPos(ID, InsertPoint);
|
|
|
|
///
|
|
|
|
/// If found then M with be non-NULL, else InsertPoint will point to where it
|
|
|
|
/// should be inserted using InsertNode.
|
|
|
|
///
|
2006-10-27 20:05:12 +02:00
|
|
|
/// 3) If you get a NULL result from FindNodeOrInsertPos then you can as a new
|
2006-10-27 18:16:16 +02:00
|
|
|
/// node with FindNodeOrInsertPos;
|
|
|
|
///
|
|
|
|
/// InsertNode(N, InsertPoint);
|
|
|
|
///
|
|
|
|
/// 4) Finally, if you want to remove a node from the folding set call;
|
|
|
|
///
|
|
|
|
/// bool WasRemoved = RemoveNode(N);
|
|
|
|
///
|
2006-10-27 20:05:12 +02:00
|
|
|
/// The result indicates whether the node existed in the folding set.
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
class FoldingSetNodeID;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// FoldingSetImpl - Implements the folding set functionality. The main
|
|
|
|
/// structure is an array of buckets. Each bucket is indexed by the hash of
|
|
|
|
/// the nodes it contains. The bucket itself points to the nodes contained
|
|
|
|
/// in the bucket via a singly linked list. The last node in the list points
|
|
|
|
/// back to the bucket to facilitate node removal.
|
2009-01-09 20:25:42 +01:00
|
|
|
///
|
2006-10-27 18:16:16 +02:00
|
|
|
class FoldingSetImpl {
|
2007-10-31 18:12:47 +01:00
|
|
|
protected:
|
2006-10-27 20:05:12 +02:00
|
|
|
/// Buckets - Array of bucket chains.
|
|
|
|
///
|
2006-10-27 18:16:16 +02:00
|
|
|
void **Buckets;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
/// NumBuckets - Length of the Buckets array. Always a power of 2.
|
|
|
|
///
|
2006-10-27 18:16:16 +02:00
|
|
|
unsigned NumBuckets;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2007-01-26 22:48:40 +01:00
|
|
|
/// NumNodes - Number of nodes in the folding set. Growth occurs when NumNodes
|
2006-10-27 20:05:12 +02:00
|
|
|
/// is greater than twice the number of buckets.
|
2006-10-27 18:16:16 +02:00
|
|
|
unsigned NumNodes;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
public:
|
2007-08-27 16:50:10 +02:00
|
|
|
explicit FoldingSetImpl(unsigned Log2InitSize = 6);
|
2006-10-28 00:52:02 +02:00
|
|
|
virtual ~FoldingSetImpl();
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
/// Node - This class is used to maintain the singly linked bucket list in
|
|
|
|
/// a folding set.
|
|
|
|
///
|
|
|
|
class Node {
|
|
|
|
private:
|
2006-10-27 20:05:12 +02:00
|
|
|
// NextInFoldingSetBucket - next link in the bucket list.
|
|
|
|
void *NextInFoldingSetBucket;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
public:
|
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
Node() : NextInFoldingSetBucket(0) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
// Accessors
|
2006-10-27 20:05:12 +02:00
|
|
|
void *getNextInBucket() const { return NextInFoldingSetBucket; }
|
|
|
|
void SetNextInBucket(void *N) { NextInFoldingSetBucket = N; }
|
2006-10-27 18:16:16 +02:00
|
|
|
};
|
|
|
|
|
2008-08-23 02:42:16 +02:00
|
|
|
/// clear - Remove all nodes from the folding set.
|
|
|
|
void clear();
|
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
/// RemoveNode - Remove a node from the folding set, returning true if one
|
|
|
|
/// was removed or false if the node was not in the folding set.
|
|
|
|
bool RemoveNode(Node *N);
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
/// GetOrInsertNode - If there is an existing simple Node exactly
|
|
|
|
/// equal to the specified node, return it. Otherwise, insert 'N' and return
|
|
|
|
/// it instead.
|
|
|
|
Node *GetOrInsertNode(Node *N);
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
/// FindNodeOrInsertPos - Look up the node specified by ID. If it exists,
|
|
|
|
/// return it. If not, return the insertion token that will make insertion
|
|
|
|
/// faster.
|
2008-01-19 05:22:50 +01:00
|
|
|
Node *FindNodeOrInsertPos(const FoldingSetNodeID &ID, void *&InsertPos);
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 18:16:16 +02:00
|
|
|
/// InsertNode - Insert the specified node into the folding set, knowing that
|
2009-01-09 20:25:42 +01:00
|
|
|
/// it is not already in the folding set. InsertPos must be obtained from
|
2006-10-27 18:16:16 +02:00
|
|
|
/// FindNodeOrInsertPos.
|
|
|
|
void InsertNode(Node *N, void *InsertPos);
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2010-07-12 22:47:08 +02:00
|
|
|
/// InsertNode - Insert the specified node into the folding set, knowing that
|
|
|
|
/// it is not already in the folding set.
|
|
|
|
void InsertNode(Node *N) {
|
|
|
|
Node *Inserted = GetOrInsertNode(N);
|
|
|
|
(void)Inserted;
|
|
|
|
assert(Inserted == N && "Node already inserted!");
|
|
|
|
}
|
|
|
|
|
2007-10-31 00:35:55 +01:00
|
|
|
/// size - Returns the number of nodes in the folding set.
|
|
|
|
unsigned size() const { return NumNodes; }
|
2008-08-22 18:14:23 +02:00
|
|
|
|
|
|
|
/// empty - Returns true if there are no nodes in the folding set.
|
|
|
|
bool empty() const { return NumNodes == 0; }
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
private:
|
|
|
|
|
|
|
|
/// GrowHashTable - Double the size of the hash table and rehash everything.
|
|
|
|
///
|
|
|
|
void GrowHashTable();
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
protected:
|
2006-10-27 18:16:16 +02:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
/// GetNodeProfile - Instantiations of the FoldingSet template implement
|
|
|
|
/// this function to gather data bits for the given node.
|
2010-08-16 16:53:42 +02:00
|
|
|
virtual void GetNodeProfile(Node *N, FoldingSetNodeID &ID) const = 0;
|
2010-08-16 17:30:39 +02:00
|
|
|
/// NodeEquals - Instantiations of the FoldingSet template implement
|
|
|
|
/// this function to compare the given node with the given ID.
|
|
|
|
virtual bool NodeEquals(Node *N, const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID) const=0;
|
|
|
|
/// NodeEquals - Instantiations of the FoldingSet template implement
|
|
|
|
/// this function to compute a hash value for the given node.
|
|
|
|
virtual unsigned ComputeNodeHash(Node *N,
|
|
|
|
FoldingSetNodeID &TempID) const = 0;
|
2006-10-27 20:05:12 +02:00
|
|
|
};
|
2006-10-27 18:16:16 +02:00
|
|
|
|
2008-02-11 18:24:50 +01:00
|
|
|
//===----------------------------------------------------------------------===//
|
2010-08-16 17:30:39 +02:00
|
|
|
|
|
|
|
template<typename T> struct FoldingSetTrait;
|
|
|
|
|
|
|
|
/// DefaultFoldingSetTrait - This class provides default implementations
|
|
|
|
/// for FoldingSetTrait implementations.
|
|
|
|
///
|
|
|
|
template<typename T> struct DefaultFoldingSetTrait {
|
|
|
|
static void Profile(const T& X, FoldingSetNodeID& ID) {
|
|
|
|
X.Profile(ID);
|
|
|
|
}
|
|
|
|
static void Profile(T& X, FoldingSetNodeID& ID) {
|
|
|
|
X.Profile(ID);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Equals - Test if the profile for X would match ID, using TempID
|
|
|
|
// to compute a temporary ID if necessary. The default implementation
|
|
|
|
// just calls Profile and does a regular comparison. Implementations
|
|
|
|
// can override this to provide more efficient implementations.
|
|
|
|
static inline bool Equals(T &X, const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID);
|
|
|
|
|
|
|
|
// ComputeHash - Compute a hash value for X, using TempID to
|
|
|
|
// compute a temporary ID if necessary. The default implementation
|
|
|
|
// just calls Profile and does a regular hash computation.
|
|
|
|
// Implementations can override this to provide more efficient
|
|
|
|
// implementations.
|
|
|
|
static inline unsigned ComputeHash(T &X, FoldingSetNodeID &TempID);
|
|
|
|
};
|
|
|
|
|
2008-02-11 18:24:50 +01:00
|
|
|
/// FoldingSetTrait - This trait class is used to define behavior of how
|
2010-08-16 17:04:39 +02:00
|
|
|
/// to "profile" (in the FoldingSet parlance) an object of a given type.
|
|
|
|
/// The default behavior is to invoke a 'Profile' method on an object, but
|
|
|
|
/// through template specialization the behavior can be tailored for specific
|
|
|
|
/// types. Combined with the FoldingSetNodeWrapper class, one can add objects
|
|
|
|
/// to FoldingSets that were not originally designed to have that behavior.
|
2010-08-16 17:30:39 +02:00
|
|
|
template<typename T> struct FoldingSetTrait
|
|
|
|
: public DefaultFoldingSetTrait<T> {};
|
|
|
|
|
|
|
|
template<typename T, typename Ctx> struct ContextualFoldingSetTrait;
|
|
|
|
|
|
|
|
/// DefaultContextualFoldingSetTrait - Like DefaultFoldingSetTrait, but
|
|
|
|
/// for ContextualFoldingSets.
|
|
|
|
template<typename T, typename Ctx>
|
|
|
|
struct DefaultContextualFoldingSetTrait {
|
|
|
|
static void Profile(T &X, FoldingSetNodeID &ID, Ctx Context) {
|
2010-06-11 13:06:44 +02:00
|
|
|
X.Profile(ID, Context);
|
|
|
|
}
|
2010-08-16 17:30:39 +02:00
|
|
|
static inline bool Equals(T &X, const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID, Ctx Context);
|
|
|
|
static inline unsigned ComputeHash(T &X, FoldingSetNodeID &TempID,
|
|
|
|
Ctx Context);
|
2008-02-11 18:24:50 +01:00
|
|
|
};
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2010-08-16 17:30:39 +02:00
|
|
|
/// ContextualFoldingSetTrait - Like FoldingSetTrait, but for
|
|
|
|
/// ContextualFoldingSets.
|
|
|
|
template<typename T, typename Ctx> struct ContextualFoldingSetTrait
|
|
|
|
: public DefaultContextualFoldingSetTrait<T, Ctx> {};
|
|
|
|
|
2010-03-18 17:16:38 +01:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
/// FoldingSetNodeIDRef - This class describes a reference to an interned
|
|
|
|
/// FoldingSetNodeID, which can be a useful to store node id data rather
|
|
|
|
/// than using plain FoldingSetNodeIDs, since the 32-element SmallVector
|
|
|
|
/// is often much larger than necessary, and the possibility of heap
|
|
|
|
/// allocation means it requires a non-trivial destructor call.
|
|
|
|
class FoldingSetNodeIDRef {
|
2010-08-16 17:03:24 +02:00
|
|
|
const unsigned* Data;
|
2010-03-18 17:16:38 +01:00
|
|
|
size_t Size;
|
|
|
|
public:
|
|
|
|
FoldingSetNodeIDRef() : Data(0), Size(0) {}
|
2010-08-16 17:03:24 +02:00
|
|
|
FoldingSetNodeIDRef(const unsigned *D, size_t S) : Data(D), Size(S) {}
|
2010-03-18 17:16:38 +01:00
|
|
|
|
2010-08-16 17:30:39 +02:00
|
|
|
/// ComputeHash - Compute a strong hash value for this FoldingSetNodeIDRef,
|
|
|
|
/// used to lookup the node in the FoldingSetImpl.
|
|
|
|
unsigned ComputeHash() const;
|
|
|
|
|
|
|
|
bool operator==(FoldingSetNodeIDRef) const;
|
|
|
|
|
2010-08-16 17:03:24 +02:00
|
|
|
const unsigned *getData() const { return Data; }
|
2010-03-18 17:16:38 +01:00
|
|
|
size_t getSize() const { return Size; }
|
|
|
|
};
|
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
/// FoldingSetNodeID - This class is used to gather all the unique data bits of
|
|
|
|
/// a node. When all the bits are gathered this class is used to produce a
|
2009-01-09 20:25:42 +01:00
|
|
|
/// hash value for the node.
|
2008-01-19 05:22:50 +01:00
|
|
|
///
|
|
|
|
class FoldingSetNodeID {
|
|
|
|
/// Bits - Vector of all the data bits that make the node unique.
|
|
|
|
/// Use a SmallVector to avoid a heap allocation in the common case.
|
|
|
|
SmallVector<unsigned, 32> Bits;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
public:
|
|
|
|
FoldingSetNodeID() {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2010-03-18 17:16:38 +01:00
|
|
|
FoldingSetNodeID(FoldingSetNodeIDRef Ref)
|
|
|
|
: Bits(Ref.getData(), Ref.getData() + Ref.getSize()) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
/// Add* - Add various data types to Bit data.
|
|
|
|
///
|
|
|
|
void AddPointer(const void *Ptr);
|
|
|
|
void AddInteger(signed I);
|
|
|
|
void AddInteger(unsigned I);
|
2008-11-03 20:40:18 +01:00
|
|
|
void AddInteger(long I);
|
|
|
|
void AddInteger(unsigned long I);
|
|
|
|
void AddInteger(long long I);
|
|
|
|
void AddInteger(unsigned long long I);
|
2009-02-11 21:53:17 +01:00
|
|
|
void AddBoolean(bool B) { AddInteger(B ? 1U : 0U); }
|
2009-09-22 05:34:53 +02:00
|
|
|
void AddString(StringRef String);
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-11 18:24:50 +01:00
|
|
|
template <typename T>
|
|
|
|
inline void Add(const T& x) { FoldingSetTrait<T>::Profile(x, *this); }
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-21 23:49:22 +01:00
|
|
|
/// clear - Clear the accumulated profile, allowing this FoldingSetNodeID
|
2010-08-16 17:04:39 +02:00
|
|
|
/// object to be used to compute a new profile.
|
2008-01-21 23:49:22 +01:00
|
|
|
inline void clear() { Bits.clear(); }
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
/// ComputeHash - Compute a strong hash value for this FoldingSetNodeID, used
|
2010-08-16 17:04:39 +02:00
|
|
|
/// to lookup the node in the FoldingSetImpl.
|
2008-01-19 05:22:50 +01:00
|
|
|
unsigned ComputeHash() const;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
/// operator== - Used to compare two nodes to each other.
|
|
|
|
///
|
|
|
|
bool operator==(const FoldingSetNodeID &RHS) const;
|
2010-08-16 17:30:39 +02:00
|
|
|
bool operator==(const FoldingSetNodeIDRef RHS) const;
|
2010-03-18 17:16:38 +01:00
|
|
|
|
|
|
|
/// Intern - Copy this node's data to a memory region allocated from the
|
|
|
|
/// given allocator and return a FoldingSetNodeIDRef describing the
|
|
|
|
/// interned data.
|
|
|
|
FoldingSetNodeIDRef Intern(BumpPtrAllocator &Allocator) const;
|
2009-01-09 20:25:42 +01:00
|
|
|
};
|
2006-10-27 20:05:12 +02:00
|
|
|
|
2008-01-19 05:22:50 +01:00
|
|
|
// Convenience type to hide the implementation of the folding set.
|
|
|
|
typedef FoldingSetImpl::Node FoldingSetNode;
|
2007-10-03 23:12:09 +02:00
|
|
|
template<class T> class FoldingSetIterator;
|
2008-02-04 22:11:17 +01:00
|
|
|
template<class T> class FoldingSetBucketIterator;
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2010-08-16 17:30:39 +02:00
|
|
|
// Definitions of FoldingSetTrait and ContextualFoldingSetTrait functions, which
|
|
|
|
// require the definition of FoldingSetNodeID.
|
|
|
|
template<typename T>
|
|
|
|
inline bool
|
|
|
|
DefaultFoldingSetTrait<T>::Equals(T &X, const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID) {
|
|
|
|
FoldingSetTrait<T>::Profile(X, TempID);
|
|
|
|
return TempID == ID;
|
|
|
|
}
|
|
|
|
template<typename T>
|
|
|
|
inline unsigned
|
|
|
|
DefaultFoldingSetTrait<T>::ComputeHash(T &X, FoldingSetNodeID &TempID) {
|
|
|
|
FoldingSetTrait<T>::Profile(X, TempID);
|
|
|
|
return TempID.ComputeHash();
|
|
|
|
}
|
|
|
|
template<typename T, typename Ctx>
|
|
|
|
inline bool
|
|
|
|
DefaultContextualFoldingSetTrait<T, Ctx>::Equals(T &X,
|
|
|
|
const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID,
|
|
|
|
Ctx Context) {
|
|
|
|
ContextualFoldingSetTrait<T, Ctx>::Profile(X, TempID, Context);
|
|
|
|
return TempID == ID;
|
|
|
|
}
|
|
|
|
template<typename T, typename Ctx>
|
|
|
|
inline unsigned
|
|
|
|
DefaultContextualFoldingSetTrait<T, Ctx>::ComputeHash(T &X,
|
|
|
|
FoldingSetNodeID &TempID,
|
|
|
|
Ctx Context) {
|
|
|
|
ContextualFoldingSetTrait<T, Ctx>::Profile(X, TempID, Context);
|
|
|
|
return TempID.ComputeHash();
|
|
|
|
}
|
|
|
|
|
2007-01-26 22:48:40 +01:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-10-27 20:05:12 +02:00
|
|
|
/// FoldingSet - This template class is used to instantiate a specialized
|
2009-01-09 20:25:42 +01:00
|
|
|
/// implementation of the folding set to the node class T. T must be a
|
2006-10-27 20:05:12 +02:00
|
|
|
/// subclass of FoldingSetNode and implement a Profile function.
|
|
|
|
///
|
|
|
|
template<class T> class FoldingSet : public FoldingSetImpl {
|
|
|
|
private:
|
2007-01-27 02:14:20 +01:00
|
|
|
/// GetNodeProfile - Each instantiatation of the FoldingSet needs to provide a
|
|
|
|
/// way to convert nodes into a unique specifier.
|
2010-08-16 16:53:42 +02:00
|
|
|
virtual void GetNodeProfile(Node *N, FoldingSetNodeID &ID) const {
|
2006-10-27 20:05:12 +02:00
|
|
|
T *TN = static_cast<T *>(N);
|
2010-08-16 17:30:39 +02:00
|
|
|
FoldingSetTrait<T>::Profile(*TN, ID);
|
|
|
|
}
|
|
|
|
/// NodeEquals - Instantiations may optionally provide a way to compare a
|
|
|
|
/// node with a specified ID.
|
|
|
|
virtual bool NodeEquals(Node *N, const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID) const {
|
|
|
|
T *TN = static_cast<T *>(N);
|
|
|
|
return FoldingSetTrait<T>::Equals(*TN, ID, TempID);
|
|
|
|
}
|
|
|
|
/// NodeEquals - Instantiations may optionally provide a way to compute a
|
|
|
|
/// hash value directly from a node.
|
|
|
|
virtual unsigned ComputeNodeHash(Node *N,
|
|
|
|
FoldingSetNodeID &TempID) const {
|
|
|
|
T *TN = static_cast<T *>(N);
|
|
|
|
return FoldingSetTrait<T>::ComputeHash(*TN, TempID);
|
2006-10-27 20:05:12 +02:00
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
public:
|
2007-08-27 16:50:10 +02:00
|
|
|
explicit FoldingSet(unsigned Log2InitSize = 6)
|
2006-11-02 15:21:26 +01:00
|
|
|
: FoldingSetImpl(Log2InitSize)
|
|
|
|
{}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2007-10-03 23:12:09 +02:00
|
|
|
typedef FoldingSetIterator<T> iterator;
|
|
|
|
iterator begin() { return iterator(Buckets); }
|
|
|
|
iterator end() { return iterator(Buckets+NumBuckets); }
|
|
|
|
|
|
|
|
typedef FoldingSetIterator<const T> const_iterator;
|
|
|
|
const_iterator begin() const { return const_iterator(Buckets); }
|
|
|
|
const_iterator end() const { return const_iterator(Buckets+NumBuckets); }
|
2006-11-02 15:21:26 +01:00
|
|
|
|
2009-01-09 20:25:42 +01:00
|
|
|
typedef FoldingSetBucketIterator<T> bucket_iterator;
|
2008-02-04 22:11:17 +01:00
|
|
|
|
|
|
|
bucket_iterator bucket_begin(unsigned hash) {
|
|
|
|
return bucket_iterator(Buckets + (hash & (NumBuckets-1)));
|
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
bucket_iterator bucket_end(unsigned hash) {
|
|
|
|
return bucket_iterator(Buckets + (hash & (NumBuckets-1)), true);
|
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
/// GetOrInsertNode - If there is an existing simple Node exactly
|
|
|
|
/// equal to the specified node, return it. Otherwise, insert 'N' and
|
|
|
|
/// return it instead.
|
|
|
|
T *GetOrInsertNode(Node *N) {
|
|
|
|
return static_cast<T *>(FoldingSetImpl::GetOrInsertNode(N));
|
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2006-10-27 20:05:12 +02:00
|
|
|
/// FindNodeOrInsertPos - Look up the node specified by ID. If it exists,
|
|
|
|
/// return it. If not, return the insertion token that will make insertion
|
|
|
|
/// faster.
|
|
|
|
T *FindNodeOrInsertPos(const FoldingSetNodeID &ID, void *&InsertPos) {
|
2007-01-27 02:14:20 +01:00
|
|
|
return static_cast<T *>(FoldingSetImpl::FindNodeOrInsertPos(ID, InsertPos));
|
2006-10-27 20:05:12 +02:00
|
|
|
}
|
|
|
|
};
|
2006-10-27 18:16:16 +02:00
|
|
|
|
2010-06-11 13:06:44 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// ContextualFoldingSet - This template class is a further refinement
|
|
|
|
/// of FoldingSet which provides a context argument when calling
|
|
|
|
/// Profile on its nodes. Currently, that argument is fixed at
|
|
|
|
/// initialization time.
|
|
|
|
///
|
|
|
|
/// T must be a subclass of FoldingSetNode and implement a Profile
|
|
|
|
/// function with signature
|
|
|
|
/// void Profile(llvm::FoldingSetNodeID &, Ctx);
|
|
|
|
template <class T, class Ctx>
|
|
|
|
class ContextualFoldingSet : public FoldingSetImpl {
|
|
|
|
// Unfortunately, this can't derive from FoldingSet<T> because the
|
|
|
|
// construction vtable for FoldingSet<T> requires
|
|
|
|
// FoldingSet<T>::GetNodeProfile to be instantiated, which in turn
|
|
|
|
// requires a single-argument T::Profile().
|
|
|
|
|
|
|
|
private:
|
|
|
|
Ctx Context;
|
|
|
|
|
|
|
|
/// GetNodeProfile - Each instantiatation of the FoldingSet needs to provide a
|
|
|
|
/// way to convert nodes into a unique specifier.
|
2010-08-16 16:53:42 +02:00
|
|
|
virtual void GetNodeProfile(FoldingSetImpl::Node *N,
|
|
|
|
FoldingSetNodeID &ID) const {
|
2010-06-11 13:06:44 +02:00
|
|
|
T *TN = static_cast<T *>(N);
|
2010-08-16 17:30:39 +02:00
|
|
|
ContextualFoldingSetTrait<T, Ctx>::Profile(*TN, ID, Context);
|
|
|
|
}
|
|
|
|
virtual bool NodeEquals(FoldingSetImpl::Node *N,
|
|
|
|
const FoldingSetNodeID &ID,
|
|
|
|
FoldingSetNodeID &TempID) const {
|
|
|
|
T *TN = static_cast<T *>(N);
|
|
|
|
return ContextualFoldingSetTrait<T, Ctx>::Equals(*TN, ID, TempID, Context);
|
|
|
|
}
|
|
|
|
virtual unsigned ComputeNodeHash(FoldingSetImpl::Node *N,
|
|
|
|
FoldingSetNodeID &TempID) const {
|
|
|
|
T *TN = static_cast<T *>(N);
|
|
|
|
return ContextualFoldingSetTrait<T, Ctx>::ComputeHash(*TN, TempID, Context);
|
2010-06-11 13:06:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
explicit ContextualFoldingSet(Ctx Context, unsigned Log2InitSize = 6)
|
|
|
|
: FoldingSetImpl(Log2InitSize), Context(Context)
|
|
|
|
{}
|
|
|
|
|
|
|
|
Ctx getContext() const { return Context; }
|
|
|
|
|
|
|
|
|
|
|
|
typedef FoldingSetIterator<T> iterator;
|
|
|
|
iterator begin() { return iterator(Buckets); }
|
|
|
|
iterator end() { return iterator(Buckets+NumBuckets); }
|
|
|
|
|
|
|
|
typedef FoldingSetIterator<const T> const_iterator;
|
|
|
|
const_iterator begin() const { return const_iterator(Buckets); }
|
|
|
|
const_iterator end() const { return const_iterator(Buckets+NumBuckets); }
|
|
|
|
|
|
|
|
typedef FoldingSetBucketIterator<T> bucket_iterator;
|
|
|
|
|
|
|
|
bucket_iterator bucket_begin(unsigned hash) {
|
|
|
|
return bucket_iterator(Buckets + (hash & (NumBuckets-1)));
|
|
|
|
}
|
|
|
|
|
|
|
|
bucket_iterator bucket_end(unsigned hash) {
|
|
|
|
return bucket_iterator(Buckets + (hash & (NumBuckets-1)), true);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// GetOrInsertNode - If there is an existing simple Node exactly
|
|
|
|
/// equal to the specified node, return it. Otherwise, insert 'N'
|
|
|
|
/// and return it instead.
|
|
|
|
T *GetOrInsertNode(Node *N) {
|
|
|
|
return static_cast<T *>(FoldingSetImpl::GetOrInsertNode(N));
|
|
|
|
}
|
|
|
|
|
|
|
|
/// FindNodeOrInsertPos - Look up the node specified by ID. If it
|
|
|
|
/// exists, return it. If not, return the insertion token that will
|
|
|
|
/// make insertion faster.
|
|
|
|
T *FindNodeOrInsertPos(const FoldingSetNodeID &ID, void *&InsertPos) {
|
|
|
|
return static_cast<T *>(FoldingSetImpl::FindNodeOrInsertPos(ID, InsertPos));
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2007-10-03 23:12:09 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// FoldingSetIteratorImpl - This is the common iterator support shared by all
|
|
|
|
/// folding sets, which knows how to walk the folding set hash table.
|
|
|
|
class FoldingSetIteratorImpl {
|
|
|
|
protected:
|
|
|
|
FoldingSetNode *NodePtr;
|
|
|
|
FoldingSetIteratorImpl(void **Bucket);
|
|
|
|
void advance();
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2007-10-03 23:12:09 +02:00
|
|
|
public:
|
|
|
|
bool operator==(const FoldingSetIteratorImpl &RHS) const {
|
|
|
|
return NodePtr == RHS.NodePtr;
|
|
|
|
}
|
|
|
|
bool operator!=(const FoldingSetIteratorImpl &RHS) const {
|
|
|
|
return NodePtr != RHS.NodePtr;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
class FoldingSetIterator : public FoldingSetIteratorImpl {
|
|
|
|
public:
|
2008-07-07 20:00:37 +02:00
|
|
|
explicit FoldingSetIterator(void **Bucket) : FoldingSetIteratorImpl(Bucket) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2007-10-03 23:12:09 +02:00
|
|
|
T &operator*() const {
|
|
|
|
return *static_cast<T*>(NodePtr);
|
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2007-10-03 23:12:09 +02:00
|
|
|
T *operator->() const {
|
|
|
|
return static_cast<T*>(NodePtr);
|
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2007-10-03 23:12:09 +02:00
|
|
|
inline FoldingSetIterator& operator++() { // Preincrement
|
|
|
|
advance();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
FoldingSetIterator operator++(int) { // Postincrement
|
|
|
|
FoldingSetIterator tmp = *this; ++*this; return tmp;
|
|
|
|
}
|
|
|
|
};
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// FoldingSetBucketIteratorImpl - This is the common bucket iterator support
|
2010-08-16 17:04:39 +02:00
|
|
|
/// shared by all folding sets, which knows how to walk a particular bucket
|
|
|
|
/// of a folding set hash table.
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
class FoldingSetBucketIteratorImpl {
|
|
|
|
protected:
|
|
|
|
void *Ptr;
|
|
|
|
|
2008-07-07 20:00:37 +02:00
|
|
|
explicit FoldingSetBucketIteratorImpl(void **Bucket);
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
FoldingSetBucketIteratorImpl(void **Bucket, bool)
|
2008-07-07 20:07:36 +02:00
|
|
|
: Ptr(Bucket) {}
|
2008-02-04 22:11:17 +01:00
|
|
|
|
|
|
|
void advance() {
|
|
|
|
void *Probe = static_cast<FoldingSetNode*>(Ptr)->getNextInBucket();
|
|
|
|
uintptr_t x = reinterpret_cast<uintptr_t>(Probe) & ~0x1;
|
|
|
|
Ptr = reinterpret_cast<void*>(x);
|
|
|
|
}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
public:
|
|
|
|
bool operator==(const FoldingSetBucketIteratorImpl &RHS) const {
|
|
|
|
return Ptr == RHS.Ptr;
|
|
|
|
}
|
|
|
|
bool operator!=(const FoldingSetBucketIteratorImpl &RHS) const {
|
|
|
|
return Ptr != RHS.Ptr;
|
|
|
|
}
|
|
|
|
};
|
2009-01-09 20:25:42 +01:00
|
|
|
|
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
template<class T>
|
|
|
|
class FoldingSetBucketIterator : public FoldingSetBucketIteratorImpl {
|
|
|
|
public:
|
2009-01-09 20:25:42 +01:00
|
|
|
explicit FoldingSetBucketIterator(void **Bucket) :
|
2008-02-04 22:11:17 +01:00
|
|
|
FoldingSetBucketIteratorImpl(Bucket) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
|
|
|
FoldingSetBucketIterator(void **Bucket, bool) :
|
2008-02-04 22:11:17 +01:00
|
|
|
FoldingSetBucketIteratorImpl(Bucket, true) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
|
|
|
T& operator*() const { return *static_cast<T*>(Ptr); }
|
2008-02-04 22:11:17 +01:00
|
|
|
T* operator->() const { return static_cast<T*>(Ptr); }
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-02-04 22:11:17 +01:00
|
|
|
inline FoldingSetBucketIterator& operator++() { // Preincrement
|
|
|
|
advance();
|
|
|
|
return *this;
|
2009-01-09 20:25:42 +01:00
|
|
|
}
|
2008-02-04 22:11:17 +01:00
|
|
|
FoldingSetBucketIterator operator++(int) { // Postincrement
|
|
|
|
FoldingSetBucketIterator tmp = *this; ++*this; return tmp;
|
|
|
|
}
|
|
|
|
};
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// FoldingSetNodeWrapper - This template class is used to "wrap" arbitrary
|
|
|
|
/// types in an enclosing object so that they can be inserted into FoldingSets.
|
|
|
|
template <typename T>
|
|
|
|
class FoldingSetNodeWrapper : public FoldingSetNode {
|
|
|
|
T data;
|
|
|
|
public:
|
2008-07-07 20:00:37 +02:00
|
|
|
explicit FoldingSetNodeWrapper(const T& x) : data(x) {}
|
2008-01-28 23:05:23 +01:00
|
|
|
virtual ~FoldingSetNodeWrapper() {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
template<typename A1>
|
|
|
|
explicit FoldingSetNodeWrapper(const A1& a1)
|
|
|
|
: data(a1) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
template <typename A1, typename A2>
|
|
|
|
explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2)
|
|
|
|
: data(a1,a2) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
template <typename A1, typename A2, typename A3>
|
|
|
|
explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2, const A3& a3)
|
|
|
|
: data(a1,a2,a3) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
template <typename A1, typename A2, typename A3, typename A4>
|
|
|
|
explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2, const A3& a3,
|
|
|
|
const A4& a4)
|
|
|
|
: data(a1,a2,a3,a4) {}
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
template <typename A1, typename A2, typename A3, typename A4, typename A5>
|
|
|
|
explicit FoldingSetNodeWrapper(const A1& a1, const A2& a2, const A3& a3,
|
|
|
|
const A4& a4, const A5& a5)
|
|
|
|
: data(a1,a2,a3,a4,a5) {}
|
|
|
|
|
2009-01-09 20:25:42 +01:00
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
void Profile(FoldingSetNodeID& ID) { FoldingSetTrait<T>::Profile(data, ID); }
|
|
|
|
|
2008-01-28 23:05:23 +01:00
|
|
|
T& getValue() { return data; }
|
|
|
|
const T& getValue() const { return data; }
|
|
|
|
|
2008-01-19 04:58:00 +01:00
|
|
|
operator T&() { return data; }
|
|
|
|
operator const T&() const { return data; }
|
2009-01-09 20:25:42 +01:00
|
|
|
};
|
|
|
|
|
2009-07-13 20:25:44 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// FastFoldingSetNode - This is a subclass of FoldingSetNode which stores
|
|
|
|
/// a FoldingSetNodeID value rather than requiring the node to recompute it
|
|
|
|
/// each time it is needed. This trades space for speed (which can be
|
|
|
|
/// significant if the ID is long), and it also permits nodes to drop
|
|
|
|
/// information that would otherwise only be required for recomputing an ID.
|
|
|
|
class FastFoldingSetNode : public FoldingSetNode {
|
|
|
|
FoldingSetNodeID FastID;
|
|
|
|
protected:
|
|
|
|
explicit FastFoldingSetNode(const FoldingSetNodeID &ID) : FastID(ID) {}
|
|
|
|
public:
|
2010-08-16 17:30:39 +02:00
|
|
|
void Profile(FoldingSetNodeID& ID) const { ID = FastID; }
|
2009-07-13 20:25:44 +02:00
|
|
|
};
|
|
|
|
|
2008-07-02 00:30:13 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Partial specializations of FoldingSetTrait.
|
|
|
|
|
|
|
|
template<typename T> struct FoldingSetTrait<T*> {
|
|
|
|
static inline void Profile(const T* X, FoldingSetNodeID& ID) {
|
|
|
|
ID.AddPointer(X);
|
|
|
|
}
|
2008-01-19 04:58:00 +01:00
|
|
|
};
|
2007-10-03 23:12:09 +02:00
|
|
|
|
2008-11-17 03:40:00 +01:00
|
|
|
template<typename T> struct FoldingSetTrait<const T*> {
|
|
|
|
static inline void Profile(const T* X, FoldingSetNodeID& ID) {
|
|
|
|
ID.AddPointer(X);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2006-10-28 00:52:02 +02:00
|
|
|
} // End of namespace llvm.
|
2006-10-27 18:16:16 +02:00
|
|
|
|
|
|
|
#endif
|