Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- ASTVector.h - Vector that uses ASTContext for 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 ASTVector, a vector ADT whose contents are |
||
| 10 | // allocated using the allocator associated with an ASTContext.. |
||
| 11 | // |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | // FIXME: Most of this is copy-and-paste from BumpVector.h and SmallVector.h. |
||
| 15 | // We can refactor this core logic into something common. |
||
| 16 | |||
| 17 | #ifndef LLVM_CLANG_AST_ASTVECTOR_H |
||
| 18 | #define LLVM_CLANG_AST_ASTVECTOR_H |
||
| 19 | |||
| 20 | #include "clang/AST/ASTContextAllocate.h" |
||
| 21 | #include "llvm/ADT/PointerIntPair.h" |
||
| 22 | #include <algorithm> |
||
| 23 | #include <cassert> |
||
| 24 | #include <cstddef> |
||
| 25 | #include <cstring> |
||
| 26 | #include <iterator> |
||
| 27 | #include <memory> |
||
| 28 | #include <type_traits> |
||
| 29 | #include <utility> |
||
| 30 | |||
| 31 | namespace clang { |
||
| 32 | |||
| 33 | class ASTContext; |
||
| 34 | |||
| 35 | template<typename T> |
||
| 36 | class ASTVector { |
||
| 37 | private: |
||
| 38 | T *Begin = nullptr; |
||
| 39 | T *End = nullptr; |
||
| 40 | llvm::PointerIntPair<T *, 1, bool> Capacity; |
||
| 41 | |||
| 42 | void setEnd(T *P) { this->End = P; } |
||
| 43 | |||
| 44 | protected: |
||
| 45 | // Make a tag bit available to users of this class. |
||
| 46 | // FIXME: This is a horrible hack. |
||
| 47 | bool getTag() const { return Capacity.getInt(); } |
||
| 48 | void setTag(bool B) { Capacity.setInt(B); } |
||
| 49 | |||
| 50 | public: |
||
| 51 | // Default ctor - Initialize to empty. |
||
| 52 | ASTVector() : Capacity(nullptr, false) {} |
||
| 53 | |||
| 54 | ASTVector(ASTVector &&O) : Begin(O.Begin), End(O.End), Capacity(O.Capacity) { |
||
| 55 | O.Begin = O.End = nullptr; |
||
| 56 | O.Capacity.setPointer(nullptr); |
||
| 57 | O.Capacity.setInt(false); |
||
| 58 | } |
||
| 59 | |||
| 60 | ASTVector(const ASTContext &C, unsigned N) : Capacity(nullptr, false) { |
||
| 61 | reserve(C, N); |
||
| 62 | } |
||
| 63 | |||
| 64 | ASTVector &operator=(ASTVector &&RHS) { |
||
| 65 | ASTVector O(std::move(RHS)); |
||
| 66 | |||
| 67 | using std::swap; |
||
| 68 | |||
| 69 | swap(Begin, O.Begin); |
||
| 70 | swap(End, O.End); |
||
| 71 | swap(Capacity, O.Capacity); |
||
| 72 | return *this; |
||
| 73 | } |
||
| 74 | |||
| 75 | ~ASTVector() { |
||
| 76 | if (std::is_class<T>::value) { |
||
| 77 | // Destroy the constructed elements in the vector. |
||
| 78 | destroy_range(Begin, End); |
||
| 79 | } |
||
| 80 | } |
||
| 81 | |||
| 82 | using size_type = size_t; |
||
| 83 | using difference_type = ptrdiff_t; |
||
| 84 | using value_type = T; |
||
| 85 | using iterator = T *; |
||
| 86 | using const_iterator = const T *; |
||
| 87 | |||
| 88 | using const_reverse_iterator = std::reverse_iterator<const_iterator>; |
||
| 89 | using reverse_iterator = std::reverse_iterator<iterator>; |
||
| 90 | |||
| 91 | using reference = T &; |
||
| 92 | using const_reference = const T &; |
||
| 93 | using pointer = T *; |
||
| 94 | using const_pointer = const T *; |
||
| 95 | |||
| 96 | // forward iterator creation methods. |
||
| 97 | iterator begin() { return Begin; } |
||
| 98 | const_iterator begin() const { return Begin; } |
||
| 99 | iterator end() { return End; } |
||
| 100 | const_iterator end() const { return End; } |
||
| 101 | |||
| 102 | // reverse iterator creation methods. |
||
| 103 | reverse_iterator rbegin() { return reverse_iterator(end()); } |
||
| 104 | const_reverse_iterator rbegin() const{ return const_reverse_iterator(end()); } |
||
| 105 | reverse_iterator rend() { return reverse_iterator(begin()); } |
||
| 106 | const_reverse_iterator rend() const { return const_reverse_iterator(begin());} |
||
| 107 | |||
| 108 | bool empty() const { return Begin == End; } |
||
| 109 | size_type size() const { return End-Begin; } |
||
| 110 | |||
| 111 | reference operator[](unsigned idx) { |
||
| 112 | assert(Begin + idx < End); |
||
| 113 | return Begin[idx]; |
||
| 114 | } |
||
| 115 | const_reference operator[](unsigned idx) const { |
||
| 116 | assert(Begin + idx < End); |
||
| 117 | return Begin[idx]; |
||
| 118 | } |
||
| 119 | |||
| 120 | reference front() { |
||
| 121 | return begin()[0]; |
||
| 122 | } |
||
| 123 | const_reference front() const { |
||
| 124 | return begin()[0]; |
||
| 125 | } |
||
| 126 | |||
| 127 | reference back() { |
||
| 128 | return end()[-1]; |
||
| 129 | } |
||
| 130 | const_reference back() const { |
||
| 131 | return end()[-1]; |
||
| 132 | } |
||
| 133 | |||
| 134 | void pop_back() { |
||
| 135 | --End; |
||
| 136 | End->~T(); |
||
| 137 | } |
||
| 138 | |||
| 139 | T pop_back_val() { |
||
| 140 | T Result = back(); |
||
| 141 | pop_back(); |
||
| 142 | return Result; |
||
| 143 | } |
||
| 144 | |||
| 145 | void clear() { |
||
| 146 | if (std::is_class<T>::value) { |
||
| 147 | destroy_range(Begin, End); |
||
| 148 | } |
||
| 149 | End = Begin; |
||
| 150 | } |
||
| 151 | |||
| 152 | /// data - Return a pointer to the vector's buffer, even if empty(). |
||
| 153 | pointer data() { |
||
| 154 | return pointer(Begin); |
||
| 155 | } |
||
| 156 | |||
| 157 | /// data - Return a pointer to the vector's buffer, even if empty(). |
||
| 158 | const_pointer data() const { |
||
| 159 | return const_pointer(Begin); |
||
| 160 | } |
||
| 161 | |||
| 162 | void push_back(const_reference Elt, const ASTContext &C) { |
||
| 163 | if (End < this->capacity_ptr()) { |
||
| 164 | Retry: |
||
| 165 | new (End) T(Elt); |
||
| 166 | ++End; |
||
| 167 | return; |
||
| 168 | } |
||
| 169 | grow(C); |
||
| 170 | goto Retry; |
||
| 171 | } |
||
| 172 | |||
| 173 | void reserve(const ASTContext &C, unsigned N) { |
||
| 174 | if (unsigned(this->capacity_ptr()-Begin) < N) |
||
| 175 | grow(C, N); |
||
| 176 | } |
||
| 177 | |||
| 178 | /// capacity - Return the total number of elements in the currently allocated |
||
| 179 | /// buffer. |
||
| 180 | size_t capacity() const { return this->capacity_ptr() - Begin; } |
||
| 181 | |||
| 182 | /// append - Add the specified range to the end of the SmallVector. |
||
| 183 | template<typename in_iter> |
||
| 184 | void append(const ASTContext &C, in_iter in_start, in_iter in_end) { |
||
| 185 | size_type NumInputs = std::distance(in_start, in_end); |
||
| 186 | |||
| 187 | if (NumInputs == 0) |
||
| 188 | return; |
||
| 189 | |||
| 190 | // Grow allocated space if needed. |
||
| 191 | if (NumInputs > size_type(this->capacity_ptr()-this->end())) |
||
| 192 | this->grow(C, this->size()+NumInputs); |
||
| 193 | |||
| 194 | // Copy the new elements over. |
||
| 195 | // TODO: NEED To compile time dispatch on whether in_iter is a random access |
||
| 196 | // iterator to use the fast uninitialized_copy. |
||
| 197 | std::uninitialized_copy(in_start, in_end, this->end()); |
||
| 198 | this->setEnd(this->end() + NumInputs); |
||
| 199 | } |
||
| 200 | |||
| 201 | /// append - Add the specified range to the end of the SmallVector. |
||
| 202 | void append(const ASTContext &C, size_type NumInputs, const T &Elt) { |
||
| 203 | // Grow allocated space if needed. |
||
| 204 | if (NumInputs > size_type(this->capacity_ptr()-this->end())) |
||
| 205 | this->grow(C, this->size()+NumInputs); |
||
| 206 | |||
| 207 | // Copy the new elements over. |
||
| 208 | std::uninitialized_fill_n(this->end(), NumInputs, Elt); |
||
| 209 | this->setEnd(this->end() + NumInputs); |
||
| 210 | } |
||
| 211 | |||
| 212 | /// uninitialized_copy - Copy the range [I, E) onto the uninitialized memory |
||
| 213 | /// starting with "Dest", constructing elements into it as needed. |
||
| 214 | template<typename It1, typename It2> |
||
| 215 | static void uninitialized_copy(It1 I, It1 E, It2 Dest) { |
||
| 216 | std::uninitialized_copy(I, E, Dest); |
||
| 217 | } |
||
| 218 | |||
| 219 | iterator insert(const ASTContext &C, iterator I, const T &Elt) { |
||
| 220 | if (I == this->end()) { // Important special case for empty vector. |
||
| 221 | push_back(Elt, C); |
||
| 222 | return this->end()-1; |
||
| 223 | } |
||
| 224 | |||
| 225 | if (this->End < this->capacity_ptr()) { |
||
| 226 | Retry: |
||
| 227 | new (this->end()) T(this->back()); |
||
| 228 | this->setEnd(this->end()+1); |
||
| 229 | // Push everything else over. |
||
| 230 | std::copy_backward(I, this->end()-1, this->end()); |
||
| 231 | *I = Elt; |
||
| 232 | return I; |
||
| 233 | } |
||
| 234 | size_t EltNo = I-this->begin(); |
||
| 235 | this->grow(C); |
||
| 236 | I = this->begin()+EltNo; |
||
| 237 | goto Retry; |
||
| 238 | } |
||
| 239 | |||
| 240 | iterator insert(const ASTContext &C, iterator I, size_type NumToInsert, |
||
| 241 | const T &Elt) { |
||
| 242 | // Convert iterator to elt# to avoid invalidating iterator when we reserve() |
||
| 243 | size_t InsertElt = I - this->begin(); |
||
| 244 | |||
| 245 | if (I == this->end()) { // Important special case for empty vector. |
||
| 246 | append(C, NumToInsert, Elt); |
||
| 247 | return this->begin() + InsertElt; |
||
| 248 | } |
||
| 249 | |||
| 250 | // Ensure there is enough space. |
||
| 251 | reserve(C, static_cast<unsigned>(this->size() + NumToInsert)); |
||
| 252 | |||
| 253 | // Uninvalidate the iterator. |
||
| 254 | I = this->begin()+InsertElt; |
||
| 255 | |||
| 256 | // If there are more elements between the insertion point and the end of the |
||
| 257 | // range than there are being inserted, we can use a simple approach to |
||
| 258 | // insertion. Since we already reserved space, we know that this won't |
||
| 259 | // reallocate the vector. |
||
| 260 | if (size_t(this->end()-I) >= NumToInsert) { |
||
| 261 | T *OldEnd = this->end(); |
||
| 262 | append(C, this->end()-NumToInsert, this->end()); |
||
| 263 | |||
| 264 | // Copy the existing elements that get replaced. |
||
| 265 | std::copy_backward(I, OldEnd-NumToInsert, OldEnd); |
||
| 266 | |||
| 267 | std::fill_n(I, NumToInsert, Elt); |
||
| 268 | return I; |
||
| 269 | } |
||
| 270 | |||
| 271 | // Otherwise, we're inserting more elements than exist already, and we're |
||
| 272 | // not inserting at the end. |
||
| 273 | |||
| 274 | // Copy over the elements that we're about to overwrite. |
||
| 275 | T *OldEnd = this->end(); |
||
| 276 | this->setEnd(this->end() + NumToInsert); |
||
| 277 | size_t NumOverwritten = OldEnd-I; |
||
| 278 | this->uninitialized_copy(I, OldEnd, this->end()-NumOverwritten); |
||
| 279 | |||
| 280 | // Replace the overwritten part. |
||
| 281 | std::fill_n(I, NumOverwritten, Elt); |
||
| 282 | |||
| 283 | // Insert the non-overwritten middle part. |
||
| 284 | std::uninitialized_fill_n(OldEnd, NumToInsert-NumOverwritten, Elt); |
||
| 285 | return I; |
||
| 286 | } |
||
| 287 | |||
| 288 | template<typename ItTy> |
||
| 289 | iterator insert(const ASTContext &C, iterator I, ItTy From, ItTy To) { |
||
| 290 | // Convert iterator to elt# to avoid invalidating iterator when we reserve() |
||
| 291 | size_t InsertElt = I - this->begin(); |
||
| 292 | |||
| 293 | if (I == this->end()) { // Important special case for empty vector. |
||
| 294 | append(C, From, To); |
||
| 295 | return this->begin() + InsertElt; |
||
| 296 | } |
||
| 297 | |||
| 298 | size_t NumToInsert = std::distance(From, To); |
||
| 299 | |||
| 300 | // Ensure there is enough space. |
||
| 301 | reserve(C, static_cast<unsigned>(this->size() + NumToInsert)); |
||
| 302 | |||
| 303 | // Uninvalidate the iterator. |
||
| 304 | I = this->begin()+InsertElt; |
||
| 305 | |||
| 306 | // If there are more elements between the insertion point and the end of the |
||
| 307 | // range than there are being inserted, we can use a simple approach to |
||
| 308 | // insertion. Since we already reserved space, we know that this won't |
||
| 309 | // reallocate the vector. |
||
| 310 | if (size_t(this->end()-I) >= NumToInsert) { |
||
| 311 | T *OldEnd = this->end(); |
||
| 312 | append(C, this->end()-NumToInsert, this->end()); |
||
| 313 | |||
| 314 | // Copy the existing elements that get replaced. |
||
| 315 | std::copy_backward(I, OldEnd-NumToInsert, OldEnd); |
||
| 316 | |||
| 317 | std::copy(From, To, I); |
||
| 318 | return I; |
||
| 319 | } |
||
| 320 | |||
| 321 | // Otherwise, we're inserting more elements than exist already, and we're |
||
| 322 | // not inserting at the end. |
||
| 323 | |||
| 324 | // Copy over the elements that we're about to overwrite. |
||
| 325 | T *OldEnd = this->end(); |
||
| 326 | this->setEnd(this->end() + NumToInsert); |
||
| 327 | size_t NumOverwritten = OldEnd-I; |
||
| 328 | this->uninitialized_copy(I, OldEnd, this->end()-NumOverwritten); |
||
| 329 | |||
| 330 | // Replace the overwritten part. |
||
| 331 | for (; NumOverwritten > 0; --NumOverwritten) { |
||
| 332 | *I = *From; |
||
| 333 | ++I; ++From; |
||
| 334 | } |
||
| 335 | |||
| 336 | // Insert the non-overwritten middle part. |
||
| 337 | this->uninitialized_copy(From, To, OldEnd); |
||
| 338 | return I; |
||
| 339 | } |
||
| 340 | |||
| 341 | void resize(const ASTContext &C, unsigned N, const T &NV) { |
||
| 342 | if (N < this->size()) { |
||
| 343 | this->destroy_range(this->begin()+N, this->end()); |
||
| 344 | this->setEnd(this->begin()+N); |
||
| 345 | } else if (N > this->size()) { |
||
| 346 | if (this->capacity() < N) |
||
| 347 | this->grow(C, N); |
||
| 348 | construct_range(this->end(), this->begin()+N, NV); |
||
| 349 | this->setEnd(this->begin()+N); |
||
| 350 | } |
||
| 351 | } |
||
| 352 | |||
| 353 | private: |
||
| 354 | /// grow - double the size of the allocated memory, guaranteeing space for at |
||
| 355 | /// least one more element or MinSize if specified. |
||
| 356 | void grow(const ASTContext &C, size_type MinSize = 1); |
||
| 357 | |||
| 358 | void construct_range(T *S, T *E, const T &Elt) { |
||
| 359 | for (; S != E; ++S) |
||
| 360 | new (S) T(Elt); |
||
| 361 | } |
||
| 362 | |||
| 363 | void destroy_range(T *S, T *E) { |
||
| 364 | while (S != E) { |
||
| 365 | --E; |
||
| 366 | E->~T(); |
||
| 367 | } |
||
| 368 | } |
||
| 369 | |||
| 370 | protected: |
||
| 371 | const_iterator capacity_ptr() const { |
||
| 372 | return (iterator) Capacity.getPointer(); |
||
| 373 | } |
||
| 374 | |||
| 375 | iterator capacity_ptr() { return (iterator)Capacity.getPointer(); } |
||
| 376 | }; |
||
| 377 | |||
| 378 | // Define this out-of-line to dissuade the C++ compiler from inlining it. |
||
| 379 | template <typename T> |
||
| 380 | void ASTVector<T>::grow(const ASTContext &C, size_t MinSize) { |
||
| 381 | size_t CurCapacity = this->capacity(); |
||
| 382 | size_t CurSize = size(); |
||
| 383 | size_t NewCapacity = 2*CurCapacity; |
||
| 384 | if (NewCapacity < MinSize) |
||
| 385 | NewCapacity = MinSize; |
||
| 386 | |||
| 387 | // Allocate the memory from the ASTContext. |
||
| 388 | T *NewElts = new (C, alignof(T)) T[NewCapacity]; |
||
| 389 | |||
| 390 | // Copy the elements over. |
||
| 391 | if (Begin != End) { |
||
| 392 | if (std::is_class<T>::value) { |
||
| 393 | std::uninitialized_copy(Begin, End, NewElts); |
||
| 394 | // Destroy the original elements. |
||
| 395 | destroy_range(Begin, End); |
||
| 396 | } else { |
||
| 397 | // Use memcpy for PODs (std::uninitialized_copy optimizes to memmove). |
||
| 398 | memcpy(NewElts, Begin, CurSize * sizeof(T)); |
||
| 399 | } |
||
| 400 | } |
||
| 401 | |||
| 402 | // ASTContext never frees any memory. |
||
| 403 | Begin = NewElts; |
||
| 404 | End = NewElts+CurSize; |
||
| 405 | Capacity.setPointer(Begin+NewCapacity); |
||
| 406 | } |
||
| 407 | |||
| 408 | } // namespace clang |
||
| 409 | |||
| 410 | #endif // LLVM_CLANG_AST_ASTVECTOR_H |