blob: 122a71da929ace988e378dd3ee18c3cc0cac5c0d [file] [log] [blame]
Chris Lattnerc95dc982007-01-27 07:10:46 +00001//===- llvm/ADT/SmallPtrSet.cpp - 'Normally small' pointer set ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by Chris Lattner and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Chris Lattner24757de2007-01-27 07:18:32 +000010// This file implements the SmallPtrSet class. See SmallPtrSet.h for an
11// overview of the algorithm.
Chris Lattnerc95dc982007-01-27 07:10:46 +000012//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/ADT/SmallPtrSet.h"
Chris Lattner91f01582007-07-09 16:54:03 +000016#include "llvm/Support/MathExtras.h"
Reid Spencer845b31d2007-07-17 02:16:12 +000017#include <cstdlib>
18
Chris Lattnerc95dc982007-01-27 07:10:46 +000019using namespace llvm;
20
21bool SmallPtrSetImpl::insert(void *Ptr) {
22 if (isSmall()) {
23 // Check to see if it is already in the set.
24 for (void **APtr = SmallArray, **E = SmallArray+NumElements;
25 APtr != E; ++APtr)
26 if (*APtr == Ptr)
27 return false;
28
29 // Nope, there isn't. If we stay small, just 'pushback' now.
30 if (NumElements < CurArraySize-1) {
31 SmallArray[NumElements++] = Ptr;
32 return true;
33 }
34 // Otherwise, hit the big set case, which will call grow.
35 }
36
37 // If more than 3/4 of the array is full, grow.
Chris Lattnere237cf92007-02-07 01:11:25 +000038 if (NumElements*4 >= CurArraySize*3 ||
39 CurArraySize-(NumElements+NumTombstones) < CurArraySize/8)
Chris Lattnerc95dc982007-01-27 07:10:46 +000040 Grow();
41
42 // Okay, we know we have space. Find a hash bucket.
43 void **Bucket = const_cast<void**>(FindBucketFor(Ptr));
44 if (*Bucket == Ptr) return false; // Already inserted, good.
45
46 // Otherwise, insert it!
Chris Lattnere237cf92007-02-07 01:11:25 +000047 if (*Bucket == getTombstoneMarker())
48 --NumTombstones;
Chris Lattnerc95dc982007-01-27 07:10:46 +000049 *Bucket = Ptr;
50 ++NumElements; // Track density.
51 return true;
52}
53
Chris Lattner0b930852007-01-27 07:59:10 +000054bool SmallPtrSetImpl::erase(void *Ptr) {
55 if (isSmall()) {
56 // Check to see if it is in the set.
57 for (void **APtr = SmallArray, **E = SmallArray+NumElements;
58 APtr != E; ++APtr)
59 if (*APtr == Ptr) {
Chris Lattner61766ca2007-06-21 23:23:32 +000060 // If it is in the set, replace this element.
61 *APtr = E[-1];
Chris Lattner0b930852007-01-27 07:59:10 +000062 E[-1] = getEmptyMarker();
63 --NumElements;
Chris Lattner7ef856d2007-02-05 23:10:31 +000064 return true;
Chris Lattner0b930852007-01-27 07:59:10 +000065 }
66
67 return false;
68 }
69
70 // Okay, we know we have space. Find a hash bucket.
71 void **Bucket = const_cast<void**>(FindBucketFor(Ptr));
72 if (*Bucket != Ptr) return false; // Not in the set?
73
74 // Set this as a tombstone.
75 *Bucket = getTombstoneMarker();
76 --NumElements;
Chris Lattnere237cf92007-02-07 01:11:25 +000077 ++NumTombstones;
Chris Lattner0b930852007-01-27 07:59:10 +000078 return true;
79}
80
Chris Lattnerc95dc982007-01-27 07:10:46 +000081void * const *SmallPtrSetImpl::FindBucketFor(void *Ptr) const {
82 unsigned Bucket = Hash(Ptr);
83 unsigned ArraySize = CurArraySize;
84 unsigned ProbeAmt = 1;
85 void *const *Array = CurArray;
86 void *const *Tombstone = 0;
87 while (1) {
88 // Found Ptr's bucket?
89 if (Array[Bucket] == Ptr)
90 return Array+Bucket;
91
92 // If we found an empty bucket, the pointer doesn't exist in the set.
93 // Return a tombstone if we've seen one so far, or the empty bucket if
94 // not.
95 if (Array[Bucket] == getEmptyMarker())
96 return Tombstone ? Tombstone : Array+Bucket;
97
98 // If this is a tombstone, remember it. If Ptr ends up not in the set, we
99 // prefer to return it than something that would require more probing.
100 if (Array[Bucket] == getTombstoneMarker() && !Tombstone)
101 Tombstone = Array+Bucket; // Remember the first tombstone found.
102
103 // It's a hash collision or a tombstone. Reprobe.
104 Bucket = (Bucket + ProbeAmt++) & (ArraySize-1);
105 }
106}
107
108/// Grow - Allocate a larger backing store for the buckets and move it over.
109///
110void SmallPtrSetImpl::Grow() {
111 // Allocate at twice as many buckets, but at least 128.
112 unsigned OldSize = CurArraySize;
113 unsigned NewSize = OldSize < 64 ? 128 : OldSize*2;
114
115 void **OldBuckets = CurArray;
116 bool WasSmall = isSmall();
117
118 // Install the new array. Clear all the buckets to empty.
Owen Anderson1629a1f2007-07-16 21:27:44 +0000119 CurArray = (void**)malloc(sizeof(void*) * (NewSize+1));
120 assert(CurArray && "Failed to allocate memory?");
Chris Lattnerc95dc982007-01-27 07:10:46 +0000121 CurArraySize = NewSize;
122 memset(CurArray, -1, NewSize*sizeof(void*));
123
124 // The end pointer, always valid, is set to a valid element to help the
125 // iterator.
126 CurArray[NewSize] = 0;
127
128 // Copy over all the elements.
129 if (WasSmall) {
130 // Small sets store their elements in order.
131 for (void **BucketPtr = OldBuckets, **E = OldBuckets+NumElements;
132 BucketPtr != E; ++BucketPtr) {
133 void *Elt = *BucketPtr;
134 *const_cast<void**>(FindBucketFor(Elt)) = Elt;
135 }
136 } else {
137 // Copy over all valid entries.
138 for (void **BucketPtr = OldBuckets, **E = OldBuckets+OldSize;
139 BucketPtr != E; ++BucketPtr) {
140 // Copy over the element if it is valid.
141 void *Elt = *BucketPtr;
142 if (Elt != getTombstoneMarker() && Elt != getEmptyMarker())
143 *const_cast<void**>(FindBucketFor(Elt)) = Elt;
144 }
145
Owen Anderson1629a1f2007-07-16 21:27:44 +0000146 free(OldBuckets);
Jeff Cohenac58a162007-04-14 21:50:21 +0000147 NumTombstones = 0;
148 }
149}
150
151SmallPtrSetImpl::SmallPtrSetImpl(const SmallPtrSetImpl& that) {
152 NumElements = that.NumElements;
153 NumTombstones = 0;
154 if (that.isSmall()) {
155 CurArraySize = that.CurArraySize;
156 CurArray = &SmallArray[0];
Chris Lattner61766ca2007-06-21 23:23:32 +0000157 // Copy the entire contents of the array, including the -1's and the null
158 // terminator.
159 memcpy(CurArray, that.CurArray, sizeof(void*)*(CurArraySize+1));
Jeff Cohenac58a162007-04-14 21:50:21 +0000160 } else {
Owen Anderson6394e5e2007-06-22 00:11:18 +0000161 CurArraySize = that.NumElements < 64 ? 128 : that.CurArraySize*2;
Owen Anderson1629a1f2007-07-16 21:27:44 +0000162 CurArray = (void**)malloc(sizeof(void*) * (CurArraySize+1));
163 assert(CurArray && "Failed to allocate memory?");
Jeff Cohenac58a162007-04-14 21:50:21 +0000164 memset(CurArray, -1, CurArraySize*sizeof(void*));
165
166 // The end pointer, always valid, is set to a valid element to help the
167 // iterator.
168 CurArray[CurArraySize] = 0;
169
170 // Copy over all valid entries.
Owen Anderson4d6f96d2007-07-09 20:59:01 +0000171 for (void **BucketPtr = that.CurArray, **E = that.CurArray+that.CurArraySize;
Jeff Cohenac58a162007-04-14 21:50:21 +0000172 BucketPtr != E; ++BucketPtr) {
173 // Copy over the element if it is valid.
174 void *Elt = *BucketPtr;
175 if (Elt != getTombstoneMarker() && Elt != getEmptyMarker())
176 *const_cast<void**>(FindBucketFor(Elt)) = Elt;
177 }
Chris Lattnerc95dc982007-01-27 07:10:46 +0000178 }
179}
Chris Lattner91f01582007-07-09 16:54:03 +0000180
181/// CopyFrom - implement operator= from a smallptrset that has the same pointer
182/// type, but may have a different small size.
183void SmallPtrSetImpl::CopyFrom(const SmallPtrSetImpl &RHS) {
Owen Anderson69b5d122007-07-09 22:27:20 +0000184 if (isSmall() && RHS.isSmall())
185 assert(CurArraySize == RHS.CurArraySize &&
186 "Cannot assign sets with different small sizes");
Owen Andersonb54b3152007-07-18 19:54:15 +0000187
Owen Anderson69b5d122007-07-09 22:27:20 +0000188 // If we're becoming small, prepare to insert into our stack space
Owen Anderson71a1e572007-07-19 06:45:33 +0000189 if (RHS.isSmall()) {
190 if (!isSmall())
191 free(CurArray);
Owen Anderson69b5d122007-07-09 22:27:20 +0000192 CurArray = &SmallArray[0];
193 // Otherwise, allocate new heap space (unless we were the same size)
Owen Anderson71a1e572007-07-19 06:45:33 +0000194 } else if (CurArraySize != RHS.CurArraySize) {
Owen Andersonb54b3152007-07-18 19:54:15 +0000195 if (isSmall())
196 CurArray = (void**)malloc(sizeof(void*) * (RHS.CurArraySize+1));
197 else
198 CurArray = (void**)realloc(CurArray, sizeof(void*)*(RHS.CurArraySize+1));
Owen Anderson1629a1f2007-07-16 21:27:44 +0000199 assert(CurArray && "Failed to allocate memory?");
200 }
Owen Anderson69b5d122007-07-09 22:27:20 +0000201
202 // Copy over the new array size
203 CurArraySize = RHS.CurArraySize;
204
205 // Copy over the contents from the other set
206 memcpy(CurArray, RHS.CurArray, sizeof(void*)*(CurArraySize+1));
Owen Andersonb54b3152007-07-18 19:54:15 +0000207
208 NumElements = RHS.NumElements;
209 NumTombstones = RHS.NumTombstones;
Chris Lattner91f01582007-07-09 16:54:03 +0000210}
Reid Spencer845b31d2007-07-17 02:16:12 +0000211
212SmallPtrSetImpl::~SmallPtrSetImpl() {
213 if (!isSmall())
214 free(CurArray);
215}