1 //===-- BumpVector.h - Vector-like ADT that uses bump allocation --*- 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 provides BumpVector, a vector-like ADT whose contents are
11 // allocated from a BumpPtrAllocator.
12 //
13 //===----------------------------------------------------------------------===//
14
15 // FIXME: Most of this is copy-and-paste from SmallVector.h. We can
16 // refactor this core logic into something common that is shared between
17 // the two. The main thing that is different is the allocation strategy.
18
19 #ifndef LLVM_CLANG_ANALYSIS_SUPPORT_BUMPVECTOR_H
20 #define LLVM_CLANG_ANALYSIS_SUPPORT_BUMPVECTOR_H
21
22 #include "llvm/ADT/PointerIntPair.h"
23 #include "llvm/Support/Allocator.h"
24 #include "llvm/Support/type_traits.h"
25 #include <algorithm>
26 #include <cstring>
27 #include <iterator>
28 #include <memory>
29
30 namespace clang {
31
32 class BumpVectorContext {
33 llvm::PointerIntPair<llvm::BumpPtrAllocator*, 1> Alloc;
34 public:
35 /// Construct a new BumpVectorContext that creates a new BumpPtrAllocator
36 /// and destroys it when the BumpVectorContext object is destroyed.
BumpVectorContext()37 BumpVectorContext() : Alloc(new llvm::BumpPtrAllocator(), 1) {}
38
BumpVectorContext(BumpVectorContext && Other)39 BumpVectorContext(BumpVectorContext &&Other) : Alloc(Other.Alloc) {
40 Other.Alloc.setInt(false);
41 Other.Alloc.setPointer(nullptr);
42 }
43
44 /// Construct a new BumpVectorContext that reuses an existing
45 /// BumpPtrAllocator. This BumpPtrAllocator is not destroyed when the
46 /// BumpVectorContext object is destroyed.
BumpVectorContext(llvm::BumpPtrAllocator & A)47 BumpVectorContext(llvm::BumpPtrAllocator &A) : Alloc(&A, 0) {}
48
~BumpVectorContext()49 ~BumpVectorContext() {
50 if (Alloc.getInt())
51 delete Alloc.getPointer();
52 }
53
getAllocator()54 llvm::BumpPtrAllocator &getAllocator() { return *Alloc.getPointer(); }
55 };
56
57 template<typename T>
58 class BumpVector {
59 T *Begin, *End, *Capacity;
60 public:
61 // Default ctor - Initialize to empty.
BumpVector(BumpVectorContext & C,unsigned N)62 explicit BumpVector(BumpVectorContext &C, unsigned N)
63 : Begin(nullptr), End(nullptr), Capacity(nullptr) {
64 reserve(C, N);
65 }
66
~BumpVector()67 ~BumpVector() {
68 if (std::is_class<T>::value) {
69 // Destroy the constructed elements in the vector.
70 destroy_range(Begin, End);
71 }
72 }
73
74 typedef size_t size_type;
75 typedef ptrdiff_t difference_type;
76 typedef T value_type;
77 typedef T* iterator;
78 typedef const T* const_iterator;
79
80 typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
81 typedef std::reverse_iterator<iterator> reverse_iterator;
82
83 typedef T& reference;
84 typedef const T& const_reference;
85 typedef T* pointer;
86 typedef const T* const_pointer;
87
88 // forward iterator creation methods.
begin()89 iterator begin() { return Begin; }
begin()90 const_iterator begin() const { return Begin; }
end()91 iterator end() { return End; }
end()92 const_iterator end() const { return End; }
93
94 // reverse iterator creation methods.
rbegin()95 reverse_iterator rbegin() { return reverse_iterator(end()); }
rbegin()96 const_reverse_iterator rbegin() const{ return const_reverse_iterator(end()); }
rend()97 reverse_iterator rend() { return reverse_iterator(begin()); }
rend()98 const_reverse_iterator rend() const { return const_reverse_iterator(begin());}
99
empty()100 bool empty() const { return Begin == End; }
size()101 size_type size() const { return End-Begin; }
102
103 reference operator[](unsigned idx) {
104 assert(Begin + idx < End);
105 return Begin[idx];
106 }
107 const_reference operator[](unsigned idx) const {
108 assert(Begin + idx < End);
109 return Begin[idx];
110 }
111
front()112 reference front() {
113 return begin()[0];
114 }
front()115 const_reference front() const {
116 return begin()[0];
117 }
118
back()119 reference back() {
120 return end()[-1];
121 }
back()122 const_reference back() const {
123 return end()[-1];
124 }
125
pop_back()126 void pop_back() {
127 --End;
128 End->~T();
129 }
130
pop_back_val()131 T pop_back_val() {
132 T Result = back();
133 pop_back();
134 return Result;
135 }
136
clear()137 void clear() {
138 if (std::is_class<T>::value) {
139 destroy_range(Begin, End);
140 }
141 End = Begin;
142 }
143
144 /// data - Return a pointer to the vector's buffer, even if empty().
data()145 pointer data() {
146 return pointer(Begin);
147 }
148
149 /// data - Return a pointer to the vector's buffer, even if empty().
data()150 const_pointer data() const {
151 return const_pointer(Begin);
152 }
153
push_back(const_reference Elt,BumpVectorContext & C)154 void push_back(const_reference Elt, BumpVectorContext &C) {
155 if (End < Capacity) {
156 Retry:
157 new (End) T(Elt);
158 ++End;
159 return;
160 }
161 grow(C);
162 goto Retry;
163 }
164
165 /// insert - Insert some number of copies of element into a position. Return
166 /// iterator to position after last inserted copy.
insert(iterator I,size_t Cnt,const_reference E,BumpVectorContext & C)167 iterator insert(iterator I, size_t Cnt, const_reference E,
168 BumpVectorContext &C) {
169 assert (I >= Begin && I <= End && "Iterator out of bounds.");
170 if (End + Cnt <= Capacity) {
171 Retry:
172 move_range_right(I, End, Cnt);
173 construct_range(I, I + Cnt, E);
174 End += Cnt;
175 return I + Cnt;
176 }
177 ptrdiff_t D = I - Begin;
178 grow(C, size() + Cnt);
179 I = Begin + D;
180 goto Retry;
181 }
182
reserve(BumpVectorContext & C,unsigned N)183 void reserve(BumpVectorContext &C, unsigned N) {
184 if (unsigned(Capacity-Begin) < N)
185 grow(C, N);
186 }
187
188 /// capacity - Return the total number of elements in the currently allocated
189 /// buffer.
capacity()190 size_t capacity() const { return Capacity - Begin; }
191
192 private:
193 /// grow - double the size of the allocated memory, guaranteeing space for at
194 /// least one more element or MinSize if specified.
195 void grow(BumpVectorContext &C, size_type MinSize = 1);
196
construct_range(T * S,T * E,const T & Elt)197 void construct_range(T *S, T *E, const T &Elt) {
198 for (; S != E; ++S)
199 new (S) T(Elt);
200 }
201
destroy_range(T * S,T * E)202 void destroy_range(T *S, T *E) {
203 while (S != E) {
204 --E;
205 E->~T();
206 }
207 }
208
move_range_right(T * S,T * E,size_t D)209 void move_range_right(T *S, T *E, size_t D) {
210 for (T *I = E + D - 1, *IL = S + D - 1; I != IL; --I) {
211 --E;
212 new (I) T(*E);
213 E->~T();
214 }
215 }
216 };
217
218 // Define this out-of-line to dissuade the C++ compiler from inlining it.
219 template <typename T>
grow(BumpVectorContext & C,size_t MinSize)220 void BumpVector<T>::grow(BumpVectorContext &C, size_t MinSize) {
221 size_t CurCapacity = Capacity-Begin;
222 size_t CurSize = size();
223 size_t NewCapacity = 2*CurCapacity;
224 if (NewCapacity < MinSize)
225 NewCapacity = MinSize;
226
227 // Allocate the memory from the BumpPtrAllocator.
228 T *NewElts = C.getAllocator().template Allocate<T>(NewCapacity);
229
230 // Copy the elements over.
231 if (Begin != End) {
232 if (std::is_class<T>::value) {
233 std::uninitialized_copy(Begin, End, NewElts);
234 // Destroy the original elements.
235 destroy_range(Begin, End);
236 } else {
237 // Use memcpy for PODs (std::uninitialized_copy optimizes to memmove).
238 memcpy(NewElts, Begin, CurSize * sizeof(T));
239 }
240 }
241
242 // For now, leak 'Begin'. We can add it back to a freelist in
243 // BumpVectorContext.
244 Begin = NewElts;
245 End = NewElts+CurSize;
246 Capacity = Begin+NewCapacity;
247 }
248
249 } // end: clang namespace
250 #endif
251