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