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