14#ifndef LLVM_ADT_SMALLVECTOR_H
15#define LLVM_ADT_SMALLVECTOR_H
27#include <initializer_list>
41template <
class Iterator,
class Tag>
43 typename std::iterator_traits<Iterator>::iterator_category,
Tag>;
45template <
class Iterator>
47 std::enable_if_t<HasIteratorTag<Iterator, std::input_iterator_tag>::value>;
64 return std::numeric_limits<Size_T>::max();
95 Size =
static_cast<Size_T
>(
N);
111 std::conditional_t<
sizeof(
T) < 4 &&
sizeof(
void *) >= 8,
uint64_t,
124template <
typename T,
typename =
void>
134 return const_cast<void *
>(
reinterpret_cast<const void *
>(
135 reinterpret_cast<const char *
>(
this) +
159 std::less<> LessThan;
160 return !LessThan(V,
First) && LessThan(V,
Last);
172 std::less<> LessThan;
174 !LessThan(this->
end(), Last);
185 if (NewSize <= this->
size())
186 return Elt < this->
begin() + NewSize;
195 "Attempting to reference an element of the vector in an operation "
196 "that invalidates it");
206 template <
class ItTy>
208 if constexpr (std::is_pointer_v<ItTy> &&
210 std::remove_const_t<std::remove_pointer_t<ItTy>>,
211 std::remove_const_t<T>>) {
223 if constexpr (std::is_pointer_v<ItTy> &&
224 std::is_same_v<std::remove_cv_t<std::remove_pointer_t<ItTy>>,
240 size_t NewSize = This->size() +
N;
244 bool ReferencesStorage =
false;
246 if (!U::TakesParamByValue) {
248 ReferencesStorage =
true;
249 Index = &Elt - This->begin();
253 return ReferencesStorage ? This->begin() + Index : &Elt;
335template <
typename T,
bool = (std::is_trivially_copy_constructible<T>::value) &&
336 (std::is_trivially_move_constructible<T>::value) &&
337 std::is_trivially_destructible<T>::value>
357 template<
typename It1,
typename It2>
359 std::uninitialized_move(
I,
E, Dest);
364 template<
typename It1,
typename It2>
366 std::uninitialized_copy(
I,
E, Dest);
394 return const_cast<T *
>(
405 std::uninitialized_fill_n(NewElts, NumElts, Elt);
415 ::new ((
void *)(NewElts + this->
size()))
T(std::forward<ArgTypes>(Args)...);
425 ::new ((
void *)this->
end())
T(*EltPtr);
431 ::new ((
void *)this->
end())
T(::std::move(*EltPtr));
442template <
typename T,
bool TriviallyCopyable>
450template <
typename T,
bool TriviallyCopyable>
452 size_t MinSize,
size_t &NewCapacity) {
453 return static_cast<T *
>(
455 this->
getFirstEl(), MinSize,
sizeof(
T), NewCapacity));
459template <
typename T,
bool TriviallyCopyable>
470template <
typename T,
bool TriviallyCopyable>
472 T *NewElts,
size_t NewCapacity) {
495 using ValueParamT = std::conditional_t<TakesParamByValue, T, const T &>;
505 template <
typename It1,
typename It2>
513 template <
typename It1,
typename It2>
515 if constexpr (std::is_pointer_v<It1> && std::is_pointer_v<It2> &&
517 std::remove_const_t<std::remove_pointer_t<It1>>,
518 std::remove_pointer_t<It2>>) {
524 std::memcpy(
reinterpret_cast<void *
>(Dest),
I, (
E -
I) *
sizeof(
T));
527 std::uninitialized_copy(
I,
E, Dest);
544 return const_cast<T *
>(
556 std::uninitialized_fill_n(this->
begin(), NumElts, Elt);
564 push_back(
T(std::forward<ArgTypes>(Args)...));
574 std::memcpy(
reinterpret_cast<void *
>(this->
end()), &Tmp,
sizeof(
T));
582 std::memcpy(
reinterpret_cast<void *
>(this->
end()), &Elt,
sizeof(
T));
620 assert(this->
empty() &&
"move construction requires an empty vector");
621 if (!
RHS.isSmall()) {
654 template <
bool ForOverwrite>
void resizeImpl(size_type
N) {
655 if (
N == this->
size())
664 for (
auto I = this->
end(),
E = this->
begin() + N;
I !=
E; ++
I)
680 assert(this->
size() >= N &&
"Cannot increase size with truncate");
686 if (
N == this->
size())
709 T Result = ::std::move(this->
back());
717 template <
typename ItTy,
typename = EnableIfConvertibleToInputIterator<ItTy>>
721 size_type NumInputs = std::distance(in_start, in_end);
727 for (; in_start != in_end; ++in_start)
735 std::uninitialized_fill_n(this->
end(), NumInputs, *EltPtr);
739 void append(std::initializer_list<T> IL) {
740 append(IL.begin(), IL.end());
753 std::fill_n(this->
begin(), std::min(NumElts, this->
size()), Elt);
754 if (NumElts > this->
size())
755 std::uninitialized_fill_n(this->
end(), NumElts - this->
size(), Elt);
756 else if (NumElts < this->
size())
764 template <
typename ItTy,
typename = EnableIfConvertibleToInputIterator<ItTy>>
771 void assign(std::initializer_list<T> IL) {
778 template <
typename U,
779 typename = std::enable_if_t<std::is_convertible_v<U, T>>>
792 std::move(
I+1, this->
end(), I);
818 std::is_same<std::remove_const_t<std::remove_reference_t<ArgType>>,
820 "ArgType must be derived from T!");
822 if (
I == this->
end()) {
823 this->
push_back(::std::forward<ArgType>(Elt));
824 return this->
end()-1;
830 size_t Index =
I - this->
begin();
831 std::remove_reference_t<ArgType> *EltPtr =
833 I = this->
begin() + Index;
837 std::move_backward(
I, this->
end()-1, this->
end());
843 "ArgType must be 'T' when taking by value!");
847 *
I = ::
std::forward<ArgType>(*EltPtr);
862 size_t InsertElt =
I - this->
begin();
864 if (I == this->
end()) {
866 return this->
begin()+InsertElt;
876 I = this->
begin()+InsertElt;
882 if (
size_t(this->
end()-I) >= NumToInsert) {
883 T *OldEnd = this->
end();
884 append(std::move_iterator<iterator>(this->
end() - NumToInsert),
885 std::move_iterator<iterator>(this->
end()));
888 std::move_backward(
I, OldEnd-NumToInsert, OldEnd);
893 EltPtr += NumToInsert;
895 std::fill_n(
I, NumToInsert, *EltPtr);
903 T *OldEnd = this->
end();
905 size_t NumOverwritten = OldEnd-
I;
911 EltPtr += NumToInsert;
914 std::fill_n(
I, NumOverwritten, *EltPtr);
917 std::uninitialized_fill_n(OldEnd, NumToInsert - NumOverwritten, *EltPtr);
921 template <
typename ItTy,
typename = EnableIfConvertibleToInputIterator<ItTy>>
924 size_t InsertElt =
I - this->
begin();
926 if (I == this->
end()) {
928 return this->
begin()+InsertElt;
933 size_t OldSize = this->
size();
935 I = this->
begin() + InsertElt;
936 std::rotate(
I, this->
begin() + OldSize, this->
end());
945 size_t NumToInsert = std::distance(From, To);
951 I = this->
begin()+InsertElt;
957 if (
size_t(this->
end()-I) >= NumToInsert) {
958 T *OldEnd = this->
end();
959 append(std::move_iterator<iterator>(this->
end() - NumToInsert),
960 std::move_iterator<iterator>(this->
end()));
963 std::move_backward(
I, OldEnd-NumToInsert, OldEnd);
965 std::copy(From, To,
I);
973 T *OldEnd = this->
end();
975 size_t NumOverwritten = OldEnd-
I;
979 for (
T *J =
I; NumOverwritten > 0; --NumOverwritten) {
990 insert(
I, IL.begin(), IL.end());
997 ::new ((
void *)this->
end())
T(std::forward<ArgTypes>(Args)...);
1007 if (this->
size() != RHS.
size())
return false;
1011 return !(*
this ==
RHS);
1015 return std::lexicographical_compare(this->
begin(), this->
end(),
1023template <
typename T>
1025 if (
this == &
RHS)
return;
1038 size_t NumShared = this->
size();
1039 if (NumShared >
RHS.size()) NumShared =
RHS.size();
1040 for (
size_type i = 0; i != NumShared; ++i)
1045 size_t EltDiff = this->
size() - RHS.
size();
1047 RHS.set_size(
RHS.size() + EltDiff);
1050 }
else if (
RHS.size() > this->size()) {
1051 size_t EltDiff =
RHS.size() - this->
size();
1055 RHS.set_size(NumShared);
1059template <
typename T>
1063 if (
this == &
RHS)
return *
this;
1067 size_t RHSSize =
RHS.size();
1068 size_t CurSize = this->
size();
1069 if (CurSize >= RHSSize) {
1073 NewEnd = std::copy(
RHS.begin(),
RHS.begin()+RHSSize, this->begin());
1075 NewEnd = this->
begin();
1092 this->
grow(RHSSize);
1093 }
else if (CurSize) {
1095 std::copy(
RHS.begin(),
RHS.begin()+CurSize, this->begin());
1100 this->begin()+CurSize);
1107template <
typename T>
1110 if (
this == &
RHS)
return *
this;
1113 if (!
RHS.isSmall()) {
1120 size_t RHSSize =
RHS.size();
1121 size_t CurSize = this->
size();
1122 if (CurSize >= RHSSize) {
1126 NewEnd = std::move(
RHS.begin(),
RHS.end(), NewEnd);
1146 this->
grow(RHSSize);
1147 }
else if (CurSize) {
1149 std::move(
RHS.begin(),
RHS.begin()+CurSize, this->begin());
1154 this->begin()+CurSize);
1165template <
typename T,
unsigned N>
1219 "You are trying to use a default number of inlined elements for "
1220 "`SmallVector<T>` but `sizeof(T)` is really big! Please use an "
1221 "explicit number of inlined elements with `SmallVector<T, N>` to make "
1222 "sure you really want that much inline storage.");
1249template <
typename T,
1269 template <
typename ItTy,
typename = EnableIfConvertibleToInputIterator<ItTy>>
1274 template <
typename RangeTy>
1277 this->
append(R.begin(), R.end());
1284 template <
typename U,
1285 typename = std::enable_if_t<std::is_convertible_v<U, T>>>
1307 if constexpr (std::is_trivially_move_assignable_v<T>)
1308 SmallVectorImpl<T>::operator=(::std::move(RHS));
1310 this->moveConstructFrom(::std::move(RHS));
1316 if constexpr (std::is_trivially_move_assignable_v<T>)
1317 SmallVectorImpl<T>::operator=(::std::move(RHS));
1319 this->moveConstructFrom(::std::move(RHS));
1352template <
typename T,
unsigned N>
1354 return X.capacity_in_bytes();
1357template <
typename RangeType>
1359 std::remove_const_t<detail::ValueOfRange<RangeType>>;
1364template <
unsigned Size,
typename R>
1369template <
typename R>
1375template <
typename Out,
unsigned Size,
typename R>
1386#if SIZE_MAX > UINT32_MAX
1407 template<
typename T>
1414 template<
typename T,
unsigned N>
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_UNLIKELY(EXPR)
#define LLVM_GSL_OWNER
LLVM_GSL_OWNER - Apply this to owning classes like SmallVector to enable lifetime warnings.
#define LLVM_ATTRIBUTE_NOINLINE
LLVM_ATTRIBUTE_NOINLINE - On compilers where we have a directive to do so, mark a method "not for inl...
#define LLVM_LIKELY(EXPR)
This file defines DenseMapInfo traits for DenseMap.
#define offsetof(TYPE, MEMBER)
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
Represent a constant reference to an array (0 or more elements consecutively in memory),...
This is all the stuff common to all SmallVectors.
LLVM_ABI void grow_pod(void *FirstEl, size_t MinSize, size_t TSize)
This is an implementation of the grow() method which only works on POD-like data types and is out of ...
LLVM_ABI void * mallocForGrow(void *FirstEl, size_t MinSize, size_t TSize, size_t &NewCapacity)
This is a helper for grow() that's out of line to reduce code duplication.
void set_allocation_range(void *Begin, size_t N)
Set the array data pointer to Begin and capacity to N.
SmallVectorSizeType< T > Capacity
SmallVectorSizeType< T > Size
SmallVectorBase(void *FirstEl, size_t TotalCapacity)
void set_size(size_t N)
Set the array size to N, which the current array must have enough capacity for.
static constexpr size_t SizeTypeMax()
The maximum value of the Size_T used.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void moveConstructFrom(SmallVectorImpl &&RHS)
void resize_for_overwrite(size_type N)
Like resize, but T is POD, the new values won't be initialized.
void append(const SmallVectorImpl &RHS)
void pop_back_n(size_type NumItems)
void assign(const SmallVectorImpl &RHS)
SmallVectorImpl(const SmallVectorImpl &)=delete
void assign(size_type NumElts, ValueParamT Elt)
reference emplace_back(ArgTypes &&... Args)
bool operator==(const SmallVectorImpl &RHS) const
void reserve(size_type N)
typename SuperClass::reference reference
iterator insert(iterator I, size_type NumToInsert, ValueParamT Elt)
iterator erase(const_iterator CI)
iterator insert(iterator I, ItTy From, ItTy To)
typename SuperClass::const_iterator const_iterator
void assignRemote(SmallVectorImpl &&RHS)
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void resize(size_type N, ValueParamT NV)
iterator insert(iterator I, MemoryLocation &&Elt)
bool operator>(const SmallVectorImpl &RHS) const
bool operator<(const SmallVectorImpl &RHS) const
iterator erase(const_iterator CS, const_iterator CE)
bool operator!=(const SmallVectorImpl &RHS) const
void truncate(size_type N)
Like resize, but requires that N is less than size().
void assign(ItTy in_start, ItTy in_end)
void assign(std::initializer_list< T > IL)
void assign(ArrayRef< U > AR)
SmallVectorImpl(unsigned N)
void swap(SmallVectorImpl &RHS)
typename SuperClass::iterator iterator
bool operator<=(const SmallVectorImpl &RHS) const
typename SuperClass::size_type size_type
void append(std::initializer_list< T > IL)
void append(size_type NumInputs, ValueParamT Elt)
Append NumInputs copies of Elt to the end.
SmallVectorImpl & operator=(const SmallVectorImpl &RHS)
void insert(iterator I, std::initializer_list< T > IL)
SmallVectorImpl & operator=(SmallVectorImpl &&RHS)
typename SuperClass::ValueParamT ValueParamT
bool operator>=(const SmallVectorImpl &RHS) const
iterator insert(iterator I, const T &Elt)
static void uninitialized_copy(It1 I, It1 E, It2 Dest)
Copy the range [I, E) onto the uninitialized memory starting with "Dest", constructing elements into ...
static void uninitialized_move(It1 I, It1 E, It2 Dest)
Move the range [I, E) onto the uninitialized memory starting with "Dest", constructing elements into ...
std::conditional_t< TakesParamByValue, T, const T & > ValueParamT
Either const T& or T, depending on whether it's cheap enough to take parameters by value.
const T * reserveForParamAndGetAddress(const T &Elt, size_t N=1)
Reserve enough space to add one element, and return the updated element pointer in case it was a refe...
void push_back(ValueParamT Elt)
SmallVectorTemplateBase(size_t SizeArg)
static void destroy_range(T *, T *)
T * reserveForParamAndGetAddress(T &Elt, size_t N=1)
Reserve enough space to add one element, and return the updated element pointer in case it was a refe...
static ValueParamT forward_value_param(ValueParamT V)
Copy V or return a reference, depending on ValueParamT.
T & growAndEmplaceBack(ArgTypes &&... Args)
static constexpr bool TakesParamByValue
True if it's cheap enough to take parameters by value.
void growAndAssign(size_t NumElts, T Elt)
void grow(size_t MinSize=0)
Double the size of the allocated memory, guaranteeing space for at least one more element or MinSize ...
LLVM_ATTRIBUTE_NOINLINE void growAndPushBack(ValueParamT Elt)
void moveElementsForGrow(T *NewElts)
Move existing elements over to the new allocation NewElts, the middle section of grow().
static void uninitialized_copy(It1 I, It1 E, It2 Dest)
Copy the range [I, E) onto the uninitialized memory starting with "Dest", constructing elements as ne...
static T && forward_value_param(T &&V)
static void destroy_range(T *S, T *E)
T * mallocForGrow(size_t MinSize, size_t &NewCapacity)
Create a new allocation big enough for MinSize and pass back its size in NewCapacity.
static constexpr bool TakesParamByValue
T * reserveForParamAndGetAddress(T &Elt, size_t N=1)
Reserve enough space to add one element, and return the updated element pointer in case it was a refe...
void takeAllocationForGrow(T *NewElts, size_t NewCapacity)
Transfer ownership of the allocation, finishing up grow().
void growAndAssign(size_t NumElts, const T &Elt)
static const T & forward_value_param(const T &V)
static void uninitialized_move(It1 I, It1 E, It2 Dest)
Move the range [I, E) into the uninitialized memory starting with "Dest", constructing elements as ne...
void grow(size_t MinSize=0)
Grow the allocated memory (without initializing new elements), doubling the size of the allocated mem...
const T * reserveForParamAndGetAddress(const T &Elt, size_t N=1)
Reserve enough space to add one element, and return the updated element pointer in case it was a refe...
SmallVectorTemplateBase(size_t SizeArg)
T & growAndEmplaceBack(ArgTypes &&... Args)
void push_back(const T &Elt)
bool isSmall() const
Return true if this is a smallvector which has not had dynamic memory allocated for it.
const_iterator end() const
reverse_iterator rbegin()
static const T * reserveForParamAndGetAddressImpl(U *This, const T &Elt, size_t N)
Reserve enough space to add one element, and return the updated element pointer in case it was a refe...
const T & const_reference
SmallVectorTemplateCommon(size_t SizeArg)
const_reference operator[](size_type idx) const
void resetToSmall()
Put this vector in a state of being small.
bool isSafeToReferenceAfterResize(const void *Elt, size_t NewSize)
Return true unless Elt will be invalidated by resizing the vector to NewSize.
std::reverse_iterator< const_iterator > const_reverse_iterator
pointer data()
Return a pointer to the vector's buffer, even if empty().
bool isReferenceToRange(const void *V, const void *First, const void *Last) const
Return true if V is an internal reference to the given range.
void grow_pod(size_t MinSize, size_t TSize)
const_reverse_iterator rbegin() const
const_iterator begin() const
reference operator[](size_type idx)
size_t capacity_in_bytes() const
size_type size_in_bytes() const
ptrdiff_t difference_type
size_type max_size() const
bool isReferenceToStorage(const void *V) const
Return true if V is an internal reference to this vector.
const_reference back() const
bool isRangeInStorage(const void *First, const void *Last) const
Return true if First and Last form a valid (possibly empty) range in this vector's storage.
const_reference front() const
void assertSafeToAdd(const void *Elt, size_t N=1)
Check whether Elt will be invalidated by increasing the size of the vector by N.
void assertSafeToReferenceAfterResize(const void *Elt, size_t NewSize)
Check whether Elt will be invalidated by resizing the vector to NewSize.
void assertSafeToAddRange(ItTy From, ItTy To)
Check whether any part of the range will be invalidated by growing.
std::reverse_iterator< iterator > reverse_iterator
void assertSafeToReferenceAfterClear(ItTy From, ItTy To)
Check whether any part of the range will be invalidated by clearing.
const_reverse_iterator rend() const
const_pointer data() const
Return a pointer to the vector's buffer, even if empty().
void * getFirstEl() const
Find the address of the first element.
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
SmallVector(std::initializer_list< T > IL)
SmallVector(SmallVectorImpl< T > &&RHS)
SmallVector(ArrayRef< U > A)
SmallVector & operator=(const SmallVector &RHS)
SmallVector(const iterator_range< RangeTy > &R)
SmallVector & operator=(std::initializer_list< T > IL)
SmallVector(ItTy S, ItTy E)
SmallVector(size_t SizeArg)
SmallVector(SmallVector &&RHS)
SmallVector & operator=(SmallVector &&RHS)
SmallVector(size_t SizeArg, const T &Value)
SmallVector(const SmallVector &RHS)
SmallVector & operator=(SmallVectorImpl< T > &&RHS)
LLVM Value Representation.
A range adaptor for a pair of iterators.
This is an optimization pass for GlobalISel generic memory operations.
std::remove_const_t< detail::ValueOfRange< RangeType > > ValueTypeFromRangeType
constexpr auto adl_begin(RangeT &&range) -> decltype(adl_detail::begin_impl(std::forward< RangeT >(range)))
Returns the begin iterator to range using std::begin and function found through Argument-Dependent Lo...
BitVector::size_type capacity_in_bytes(const BitVector &X)
std::enable_if_t< HasIteratorTag< Iterator, std::input_iterator_tag >::value > EnableIfConvertibleToInputIterator
std::is_convertible< typename std::iterator_traits< Iterator >::iterator_category, Tag > HasIteratorTag
constexpr auto adl_end(RangeT &&range) -> decltype(adl_detail::end_impl(std::forward< RangeT >(range)))
Returns the end iterator to range using std::end and functions found through Argument-Dependent Looku...
SmallVector< ValueTypeFromRangeType< R >, Size > to_vector(R &&Range)
Given a range of type R, iterate the entire range and return a SmallVector with elements of the vecto...
std::conditional_t< sizeof(T)< 4 &&sizeof(void *) >=8, uint64_t, uint32_t > SmallVectorSizeType
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
SmallVector< Out, Size > to_vector_of(R &&Range)
hash_code hash_combine_range(InputIteratorT first, InputIteratorT last)
Compute a hash_code for a sequence of values.
Implement std::hash so that hash_code can be used in STL containers.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Helper class for calculating the default number of inline elements for SmallVector<T>.
static constexpr size_t kPreferredSmallVectorSizeof
static constexpr size_t value
static constexpr size_t NumElementsThatFit
static constexpr size_t PreferredInlineBytes
static bool isEqual(const SmallVector< T, N > &LHS, const SmallVector< T, N > &RHS)
static unsigned getHashValue(const SmallVector< T, N > &V)
An information struct used to provide DenseMap with the various necessary components for a given valu...
Figure out the offset of the first element.
char Base[sizeof(SmallVectorBase< SmallVectorSizeType< T > >)]
Storage for the SmallVector elements.
char InlineElts[N *sizeof(T)]