| Chris Lattner | 4ea86c4 | 2009-12-16 08:44:24 +0000 | [diff] [blame] | 1 | //===- llvm/ADT/SmallVector.cpp - 'Normally small' vectors ----------------===// | 
|  | 2 | // | 
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 | 
| Chris Lattner | 4ea86c4 | 2009-12-16 08:44:24 +0000 | [diff] [blame] | 6 | // | 
|  | 7 | //===----------------------------------------------------------------------===// | 
|  | 8 | // | 
|  | 9 | // This file implements the SmallVector class. | 
|  | 10 | // | 
|  | 11 | //===----------------------------------------------------------------------===// | 
|  | 12 |  | 
|  | 13 | #include "llvm/ADT/SmallVector.h" | 
|  | 14 | using namespace llvm; | 
|  | 15 |  | 
| Duncan P. N. Exon Smith | ab55bc4 | 2018-07-24 11:32:13 +0000 | [diff] [blame] | 16 | // Check that no bytes are wasted and everything is well-aligned. | 
|  | 17 | namespace { | 
|  | 18 | struct Struct16B { | 
|  | 19 | alignas(16) void *X; | 
|  | 20 | }; | 
|  | 21 | struct Struct32B { | 
|  | 22 | alignas(32) void *X; | 
|  | 23 | }; | 
|  | 24 | } | 
|  | 25 | static_assert(sizeof(SmallVector<void *, 0>) == | 
|  | 26 | sizeof(unsigned) * 2 + sizeof(void *), | 
|  | 27 | "wasted space in SmallVector size 0"); | 
|  | 28 | static_assert(alignof(SmallVector<Struct16B, 0>) >= alignof(Struct16B), | 
|  | 29 | "wrong alignment for 16-byte aligned T"); | 
|  | 30 | static_assert(alignof(SmallVector<Struct32B, 0>) >= alignof(Struct32B), | 
|  | 31 | "wrong alignment for 32-byte aligned T"); | 
|  | 32 | static_assert(sizeof(SmallVector<Struct16B, 0>) >= alignof(Struct16B), | 
|  | 33 | "missing padding for 16-byte aligned T"); | 
|  | 34 | static_assert(sizeof(SmallVector<Struct32B, 0>) >= alignof(Struct32B), | 
|  | 35 | "missing padding for 32-byte aligned T"); | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 36 | static_assert(sizeof(SmallVector<void *, 1>) == | 
|  | 37 | sizeof(unsigned) * 2 + sizeof(void *) * 2, | 
| Duncan P. N. Exon Smith | ab55bc4 | 2018-07-24 11:32:13 +0000 | [diff] [blame] | 38 | "wasted space in SmallVector size 1"); | 
| Duncan P. N. Exon Smith | f4c82cf | 2018-06-23 18:39:44 +0000 | [diff] [blame] | 39 |  | 
| Chris Lattner | 4ea86c4 | 2009-12-16 08:44:24 +0000 | [diff] [blame] | 40 | /// grow_pod - This is an implementation of the grow() method which only works | 
|  | 41 | /// on POD-like datatypes and is out of line to reduce code duplication. | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 42 | void SmallVectorBase::grow_pod(void *FirstEl, size_t MinCapacity, | 
| Richard Smith | 24f09cc | 2012-08-22 00:11:07 +0000 | [diff] [blame] | 43 | size_t TSize) { | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 44 | // Ensure we can fit the new capacity in 32 bits. | 
|  | 45 | if (MinCapacity > UINT32_MAX) | 
|  | 46 | report_bad_alloc_error("SmallVector capacity overflow during allocation"); | 
|  | 47 |  | 
|  | 48 | size_t NewCapacity = 2 * capacity() + 1; // Always grow. | 
|  | 49 | NewCapacity = | 
|  | 50 | std::min(std::max(NewCapacity, MinCapacity), size_t(UINT32_MAX)); | 
| Benjamin Kramer | 4e36e5b | 2010-06-08 11:44:30 +0000 | [diff] [blame] | 51 |  | 
|  | 52 | void *NewElts; | 
| Richard Smith | 24f09cc | 2012-08-22 00:11:07 +0000 | [diff] [blame] | 53 | if (BeginX == FirstEl) { | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 54 | NewElts = safe_malloc(NewCapacity * TSize); | 
| Benjamin Kramer | 4e36e5b | 2010-06-08 11:44:30 +0000 | [diff] [blame] | 55 |  | 
|  | 56 | // Copy the elements over.  No need to run dtors on PODs. | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 57 | memcpy(NewElts, this->BeginX, size() * TSize); | 
| Benjamin Kramer | 4e36e5b | 2010-06-08 11:44:30 +0000 | [diff] [blame] | 58 | } else { | 
|  | 59 | // If this wasn't grown from the inline copy, grow the allocated space. | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 60 | NewElts = safe_realloc(this->BeginX, NewCapacity * TSize); | 
| Benjamin Kramer | 4e36e5b | 2010-06-08 11:44:30 +0000 | [diff] [blame] | 61 | } | 
|  | 62 |  | 
| Chris Lattner | 4ea86c4 | 2009-12-16 08:44:24 +0000 | [diff] [blame] | 63 | this->BeginX = NewElts; | 
| Duncan P. N. Exon Smith | c03b04d | 2018-07-20 00:44:58 +0000 | [diff] [blame] | 64 | this->Capacity = NewCapacity; | 
| Chris Lattner | 4ea86c4 | 2009-12-16 08:44:24 +0000 | [diff] [blame] | 65 | } |