14#ifndef LLVM_ADT_IMMUTABLESET_H
15#define LLVM_ADT_IMMUTABLESET_H
45template <
typename ImutInfo >
64 ImutAVLTree *
getLeft()
const {
return left; }
68 ImutAVLTree *
getRight()
const {
return right; }
79 ImutAVLTree *
T =
this;
81 key_type_ref CurrentKey = ImutInfo::KeyOfValue(
T->getValue());
82 if (ImutInfo::isEqual(K,CurrentKey))
84 else if (ImutInfo::isLess(K,CurrentKey))
94 ImutAVLTree *
T =
this;
95 ImutAVLTree *
Right =
T->getRight();
104 if (
const ImutAVLTree* L =
getLeft())
106 if (
const ImutAVLTree* R =
getRight())
122 if (!ImutInfo::isEqual(ImutInfo::KeyOfValue(
getValue()),
123 ImutInfo::KeyOfValue(V)))
127 if (!ImutInfo::isDataEqual(ImutInfo::DataOfValue(
getValue()),
128 ImutInfo::DataOfValue(V)))
148 while (LItr != LEnd && RItr != REnd) {
149 if (&*LItr == &*RItr) {
162 return LItr == LEnd && RItr == REnd;
186 &&
"Height calculation wrong");
188 assert((HL > HR ? HL-HR : HR-HL) <= 2
189 &&
"Balancing invariant violated");
193 ImutInfo::KeyOfValue(
getValue()))) &&
194 "Value in left child is not less that current value");
197 ImutInfo::isLess(ImutInfo::KeyOfValue(
getValue()),
199 "Current value is not less that value of right child");
215 unsigned height : 28;
217 unsigned IsMutable : 1;
219 unsigned IsDigestCached : 1;
221 unsigned IsCanonicalized : 1;
235 : factory(f), left(l), right(r), height(height), IsMutable(
true),
236 IsDigestCached(
false), IsCanonicalized(
false), value(v)
248 bool isMutable()
const {
return IsMutable; }
252 bool hasCachedDigest()
const {
return IsDigestCached; }
267 void markImmutable() {
268 assert(isMutable() &&
"Mutable flag already removed.");
273 void markedCachedDigest() {
274 assert(!hasCachedDigest() &&
"NoCachedDigest flag already removed.");
275 IsDigestCached =
true;
279 void setHeight(
unsigned h) {
280 assert(isMutable() &&
"Only a mutable tree can have its height changed.");
284 static uint32_t computeDigest(ImutAVLTree *L, ImutAVLTree *R,
289 digest +=
L->computeDigest();
293 ImutInfo::Profile(
ID,V);
294 digest +=
ID.ComputeHash();
297 digest +=
R->computeDigest();
302 uint32_t computeDigest() {
305 if (hasCachedDigest())
310 markedCachedDigest();
332 if (IsCanonicalized) {
339 factory->Cache[factory->maskCacheIndex(computeDigest())] = next;
345 factory->freeNodes.push_back(
this);
349template <
typename ImutInfo>
359template <
typename ImutInfo >
370 std::vector<TreeTy*> createdNodes;
371 std::vector<TreeTy*> freeNodes;
373 bool ownsAllocator()
const {
374 return (Allocator & 0x1) == 0;
390 : Allocator(reinterpret_cast<uintptr_t>(&
Alloc) | 0x1) {}
393 if (ownsAllocator())
delete &getAllocator();
396 TreeTy*
add(TreeTy*
T, value_type_ref V) {
422 TreeTy*
getLeft(TreeTy*
T)
const {
return T->getLeft(); }
424 value_type_ref
getValue(TreeTy*
T)
const {
return T->value; }
432 return (hl > hr ? hl : hr) + 1;
439 for ( ;
I!=
E ; ++
I, ++TI) {
440 if (TI == TE || !
I->isElementEqual(&*TI))
459 if (!freeNodes.empty()) {
460 T = freeNodes.back();
461 freeNodes.pop_back();
465 T = (TreeTy*)
A.Allocate<TreeTy>();
468 createdNodes.push_back(
T);
472 TreeTy*
createNode(TreeTy* newLeft, TreeTy* oldTree, TreeTy* newRight) {
477 for (
unsigned i = 0, n = createdNodes.size(); i < n; ++i) {
478 TreeTy *
N = createdNodes[i];
479 if (
N->isMutable() &&
N->refCount == 0)
482 createdNodes.clear();
491 assert(!
isEmpty(L) &&
"Left tree cannot be empty to have a height >= 2");
499 assert(!
isEmpty(LR) &&
"LR cannot be empty because it has a height >= 1");
508 assert(!
isEmpty(R) &&
"Right tree cannot be empty to have a height >= 2");
516 assert(!
isEmpty(RL) &&
"RL cannot be empty because it has a height >= 1");
535 key_type_ref K = ImutInfo::KeyOfValue(V);
536 key_type_ref KCurrent = ImutInfo::KeyOfValue(
getValue(
T));
538 if (ImutInfo::isEqual(K, KCurrent)) {
540 if (ImutInfo::isDataEqual(ImutInfo::DataOfValue(V),
549 if (ImutInfo::isLess(K, KCurrent))
571 key_type_ref KCurrent = ImutInfo::KeyOfValue(
getValue(
T));
573 if (ImutInfo::isEqual(K, KCurrent))
578 if (ImutInfo::isLess(K, KCurrent))
612 if (!
T || !
T->isMutable())
624 if (TNew->IsCanonicalized)
629 unsigned digest = TNew->computeDigest();
632 for (TreeTy *
T = entry ;
T !=
nullptr;
T =
T->next) {
640 if (TNew->refCount == 0)
649 TNew->IsCanonicalized =
true;
675 if (Root) stack.push_back(
reinterpret_cast<uintptr_t
>(Root));
680 return *
reinterpret_cast<TreeTy *
>(stack.back() & ~
Flags);
686 return stack.back() &
Flags;
689 bool atEnd()
const {
return stack.empty(); }
713 return stack == x.stack;
717 return !(*
this == x);
727 stack.push_back(
reinterpret_cast<uintptr_t
>(L));
733 stack.push_back(
reinterpret_cast<uintptr_t
>(R));
757 stack.push_back(
reinterpret_cast<uintptr_t
>(L) |
VisitedRight);
763 stack.push_back(
reinterpret_cast<uintptr_t
>(R) |
VisitedRight);
775 InternalIteratorTy InternalItr;
794 return InternalItr == x.InternalItr;
798 return !(*
this == x);
806 while (!InternalItr.atEnd() &&
807 InternalItr.getVisitState() != InternalIteratorTy::VisitedLeft);
814 while (!InternalItr.atBeginning() &&
815 InternalItr.getVisitState() != InternalIteratorTy::VisitedLeft);
821 InternalItr.skipToParent();
823 while (!InternalItr.atEnd() &&
824 InternalItr.getVisitState() != InternalIteratorTy::VisitedLeft)
834 ImutAVLValueIterator<T>, typename T::TreeTy::iterator,
835 typename std::iterator_traits<
836 typename T::TreeTy::iterator>::iterator_category,
837 const typename T::value_type> {
843 return this->
I->getValue();
875#define PROFILE_INTEGER_INFO(X)\
876template<> struct ImutProfileInfo<X> : ImutProfileInteger<X> {};
889#undef PROFILE_INTEGER_INFO
936 return std::equal_to<key_type>()(
LHS,
RHS);
940 return std::less<key_type>()(
LHS,
RHS);
970template <
typename ValT,
typename ValInfo = ImutContainerInfo<ValT>>
989 const bool Canonicalize;
993 : Canonicalize(canonicalize) {}
996 : F(
Alloc), Canonicalize(canonicalize) {}
1014 TreeTy *NewT = F.add(Old.Root.get(), V);
1015 return ImmutableSet(Canonicalize ? F.getCanonicalTree(NewT) : NewT);
1026 TreeTy *NewT = F.remove(Old.Root.get(), V);
1027 return ImmutableSet(Canonicalize ? F.getCanonicalTree(NewT) : NewT);
1041 return Root ? Root->contains(V) :
false;
1045 return Root &&
RHS.Root ? Root->isEqual(*
RHS.Root.get()) : Root ==
RHS.Root;
1049 return Root &&
RHS.Root ? Root->isNotEqual(*
RHS.Root.get())
1054 if (Root) { Root->retain(); }
1080 unsigned getHeight()
const {
return Root ? Root->getHeight() : 0; }
1083 ID.AddPointer(S.Root.get());
1096template <
typename ValT,
typename ValInfo = ImutContainerInfo<ValT>>
1129 return Root ? Root->contains(V) :
false;
1134 canonicalize ? Factory->getCanonicalTree(Root.get()) : Root.get());
1140 return Root &&
RHS.Root ? Root->isEqual(*
RHS.Root.get()) : Root ==
RHS.Root;
1144 return Root &&
RHS.Root ? Root->isNotEqual(*
RHS.Root.get())
1168 unsigned getHeight()
const {
return Root ? Root->getHeight() : 0; }
1171 ID.AddPointer(S.Root.get());
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file defines the BumpPtrAllocator interface.
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_PREFERRED_TYPE(T)
\macro LLVM_PREFERRED_TYPE Adjust type of bit-field in debug info.
This file defines the DenseMap class.
This file defines a hash set that can be used to remove duplication of nodes in a graph.
#define PROFILE_INTEGER_INFO(X)
This file defines the RefCountedBase, ThreadSafeRefCountedBase, and IntrusiveRefCntPtr classes.
This file defines the SmallVector class.
This class is used to gather all the unique data bits of a node.
static void Profile(FoldingSetNodeID &ID, const ImmutableSetRef &S)
void Profile(FoldingSetNodeID &ID) const
ImmutableSetRef add(value_type_ref V)
ImutAVLTree< ValInfo > TreeTy
bool contains(value_type_ref V) const
Returns true if the set contains the specified value.
bool operator!=(const ImmutableSetRef &RHS) const
ImmutableSetRef remove(value_type_ref V)
ImutAVLValueIterator< ImmutableSetRef > iterator
bool isSingleton() const
Return true if the set contains exactly one element.
bool isEmpty() const
Return true if the set contains no elements.
typename ValInfo::value_type value_type
ImmutableSetRef(TreeTy *R, FactoryTy *F)
Constructs a set from a pointer to a tree root.
typename ValInfo::value_type_ref value_type_ref
unsigned getHeight() const
ImmutableSet< ValT > asImmutableSet(bool canonicalize=true) const
typename TreeTy::Factory FactoryTy
static ImmutableSetRef getEmptySet(FactoryTy *F)
void validateTree() const
bool operator==(const ImmutableSetRef &RHS) const
TreeTy * getRootWithoutRetain() const
Factory(const Factory &RHS)=delete
void operator=(const Factory &RHS)=delete
TreeTy::Factory * getTreeFactory() const
BumpPtrAllocator & getAllocator()
Factory(BumpPtrAllocator &Alloc, bool canonicalize=true)
ImmutableSet getEmptySet()
Returns an immutable set that contains no elements.
Factory(bool canonicalize=true)
ImmutableSet remove(ImmutableSet Old, value_type_ref V)
Creates a new immutable set that contains all of the values of the original set with the exception of...
ImmutableSet add(ImmutableSet Old, value_type_ref V)
Creates a new immutable set that contains all of the values of the original set with the addition of ...
bool operator!=(const ImmutableSet &RHS) const
typename ValInfo::value_type value_type
bool operator==(const ImmutableSet &RHS) const
bool isEmpty() const
Return true if the set contains no elements.
ImmutableSet(TreeTy *R)
Constructs a set from a pointer to a tree root.
bool isSingleton() const
Return true if the set contains exactly one element.
TreeTy * getRootWithoutRetain() const
ImutAVLTree< ValInfo > TreeTy
void validateTree() const
bool contains(value_type_ref V) const
Returns true if the set contains the specified value.
void Profile(FoldingSetNodeID &ID) const
unsigned getHeight() const
static void Profile(FoldingSetNodeID &ID, const ImmutableSet &S)
ImutAVLValueIterator< ImmutableSet > iterator
typename ValInfo::value_type_ref value_type_ref
static unsigned maskCacheIndex(unsigned I)
TreeTy * balanceTree(TreeTy *L, value_type_ref V, TreeTy *R)
Used by add_internal and remove_internal to balance a newly created tree.
unsigned getHeight(TreeTy *T) const
ImutAVLFactory(BumpPtrAllocator &Alloc)
TreeTy * add_internal(value_type_ref V, TreeTy *T)
add_internal - Creates a new tree that includes the specified data and the data from the original tre...
value_type_ref getValue(TreeTy *T) const
static bool compareTreeWithSection(TreeTy *T, typename TreeTy::iterator &TI, typename TreeTy::iterator &TE)
TreeTy * getLeft(TreeTy *T) const
TreeTy * getCanonicalTree(TreeTy *TNew)
TreeTy * add(TreeTy *T, value_type_ref V)
TreeTy * getRight(TreeTy *T) const
TreeTy * getEmptyTree() const
TreeTy * removeMinBinding(TreeTy *T, TreeTy *&Noderemoved)
TreeTy * createNode(TreeTy *newLeft, TreeTy *oldTree, TreeTy *newRight)
TreeTy * combineTrees(TreeTy *L, TreeTy *R)
TreeTy * remove_internal(key_type_ref K, TreeTy *T)
remove_internal - Creates a new tree that includes all the data from the original tree except the spe...
TreeTy * createNode(TreeTy *L, value_type_ref V, TreeTy *R)
unsigned incrementHeight(TreeTy *L, TreeTy *R) const
TreeTy * remove(TreeTy *T, key_type_ref V)
void markImmutable(TreeTy *T)
Clears the mutable bits of a root and all of its descendants.
bool isEmpty(TreeTy *T) const
ImutAVLTreeGenericIterator()=default
ImutAVLTree< ImutInfo > value_type
std::ptrdiff_t difference_type
bool operator==(const ImutAVLTreeGenericIterator &x) const
std::bidirectional_iterator_tag iterator_category
ImutAVLTreeGenericIterator(const TreeTy *Root)
ImutAVLTree< ImutInfo > TreeTy
ImutAVLTreeGenericIterator & operator--()
TreeTy & operator*() const
TreeTy * operator->() const
uintptr_t getVisitState() const
bool operator!=(const ImutAVLTreeGenericIterator &x) const
ImutAVLTreeGenericIterator & operator++()
bool operator!=(const ImutAVLTreeInOrderIterator &x) const
TreeTy * operator->() const
ImutAVLTreeInOrderIterator & operator++()
ImutAVLTree< ImutInfo > TreeTy
ImutAVLTreeInOrderIterator & operator--()
std::bidirectional_iterator_tag iterator_category
ImutAVLTreeInOrderIterator()
TreeTy & operator*() const
ImutAVLTreeInOrderIterator(const TreeTy *Root)
bool operator==(const ImutAVLTreeInOrderIterator &x) const
ImutAVLTree< ImutInfo > value_type
std::ptrdiff_t difference_type
unsigned size() const
Returns the number of nodes in the tree, which includes both leaves and.
iterator end() const
Returns an iterator for the tree that denotes the end of an inorder traversal.
const value_type & getValue() const
Returns the data value associated with the tree node.
unsigned getHeight() const
Returns the height of the tree. A tree with no subtrees has a height of 1.
typename ValInfo::key_type_ref key_type_ref
ImutAVLFactory< ValInfo > Factory
ImutAVLTree * find(key_type_ref K)
Finds the subtree associated with the specified key value.
typename ValInfo::value_type_ref value_type_ref
unsigned validateTree() const
A utility method that checks that the balancing and ordering invariants of the tree are satisfied.
bool isNotEqual(const ImutAVLTree &RHS) const
Compares two trees for structural inequality.
bool isEqual(const ImutAVLTree &RHS) const
Compares two trees for structural equality and returns true if they are equal.
ImutAVLTree * getLeft() const
Return a pointer to the left subtree.
ImutAVLTreeInOrderIterator< ValInfo > iterator
typename ValInfo::value_type value_type
ImutAVLTree * getRight() const
Return a pointer to the right subtree.
bool isElementEqual(const ImutAVLTree *RHS) const
bool contains(key_type_ref K)
Returns true if this tree contains a subtree (node) that has an data element that matches the specifi...
ImutAVLTree * getMaxElement()
Find the subtree associated with the highest ranged key value.
iterator begin() const
Returns an iterator that iterates over the nodes of the tree in an inorder traversal.
bool isElementEqual(value_type_ref V) const
A smart pointer to a reference-counted object that inherits from RefCountedBase or ThreadSafeRefCount...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
iterator_adaptor_base()=default
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
This is an optimization pass for GlobalISel generic memory operations.
BumpPtrAllocatorImpl<> BumpPtrAllocator
The standard BumpPtrAllocator which just uses the default template parameters.
static void Profile(const T &X, FoldingSetNodeID &ID)
Generic iterator that wraps a T::TreeTy::iterator and exposes iterator::getValue() on dereference.
ImutAVLValueIterator()=default
ImutAVLValueIterator::reference operator*() const
ImutAVLValueIterator(typename T::TreeTy *Tree)
static bool isDataEqual(data_type_ref, data_type_ref)
value_type_ref key_type_ref
static key_type_ref KeyOfValue(value_type_ref D)
static bool isEqual(key_type_ref LHS, key_type_ref RHS)
typename ImutProfileInfo< T * >::value_type_ref value_type_ref
typename ImutProfileInfo< T * >::value_type value_type
static data_type_ref DataOfValue(value_type_ref)
static bool isLess(key_type_ref LHS, key_type_ref RHS)
Generic definition of comparison operations for elements of immutable containers that defaults to usi...
static bool isLess(key_type_ref LHS, key_type_ref RHS)
typename ImutProfileInfo< T >::value_type value_type
static bool isEqual(key_type_ref LHS, key_type_ref RHS)
static bool isDataEqual(data_type_ref, data_type_ref)
static data_type_ref DataOfValue(value_type_ref)
static key_type_ref KeyOfValue(value_type_ref D)
value_type_ref key_type_ref
typename ImutProfileInfo< T >::value_type_ref value_type_ref
static void Profile(FoldingSetNodeID &ID, value_type_ref X)
value_type value_type_ref
const bool & value_type_ref
static void Profile(FoldingSetNodeID &ID, value_type_ref X)
Generic profile template.
static void Profile(FoldingSetNodeID &ID, value_type_ref X)
Profile traits for integers.
static void Profile(FoldingSetNodeID &ID, value_type_ref X)
static void retain(ImutAVLTree< ImutInfo > *Tree)
Class you can specialize to provide custom retain/release functionality for a type.