123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731 |
- /* Vector API for GNU compiler.
- Copyright (C) 2004-2015 Free Software Foundation, Inc.
- Contributed by Nathan Sidwell <nathan@codesourcery.com>
- Re-implemented in C++ by Diego Novillo <dnovillo@google.com>
- This file is part of GCC.
- GCC is free software; you can redistribute it and/or modify it under
- the terms of the GNU General Public License as published by the Free
- Software Foundation; either version 3, or (at your option) any later
- version.
- GCC is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or
- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- for more details.
- You should have received a copy of the GNU General Public License
- along with GCC; see the file COPYING3. If not see
- <http://www.gnu.org/licenses/>. */
- #ifndef GCC_VEC_H
- #define GCC_VEC_H
- /* FIXME - When compiling some of the gen* binaries, we cannot enable GC
- support because the headers generated by gengtype are still not
- present. In particular, the header file gtype-desc.h is missing,
- so compilation may fail if we try to include ggc.h.
- Since we use some of those declarations, we need to provide them
- (even if the GC-based templates are not used). This is not a
- problem because the code that runs before gengtype is built will
- never need to use GC vectors. But it does force us to declare
- these functions more than once. */
- #ifdef GENERATOR_FILE
- #define VEC_GC_ENABLED 0
- #else
- #define VEC_GC_ENABLED 1
- #endif // GENERATOR_FILE
- #include "statistics.h" // For CXX_MEM_STAT_INFO.
- #if VEC_GC_ENABLED
- #include "ggc.h"
- #else
- # ifndef GCC_GGC_H
- /* Even if we think that GC is not enabled, the test that sets it is
- weak. There are files compiled with -DGENERATOR_FILE that already
- include ggc.h. We only need to provide these definitions if ggc.h
- has not been included. Sigh. */
- extern void ggc_free (void *);
- extern size_t ggc_round_alloc_size (size_t requested_size);
- extern void *ggc_realloc (void *, size_t CXX_MEM_STAT_INFO);
- # endif // GCC_GGC_H
- #endif // VEC_GC_ENABLED
- /* Templated vector type and associated interfaces.
- The interface functions are typesafe and use inline functions,
- sometimes backed by out-of-line generic functions. The vectors are
- designed to interoperate with the GTY machinery.
- There are both 'index' and 'iterate' accessors. The index accessor
- is implemented by operator[]. The iterator returns a boolean
- iteration condition and updates the iteration variable passed by
- reference. Because the iterator will be inlined, the address-of
- can be optimized away.
- Each operation that increases the number of active elements is
- available in 'quick' and 'safe' variants. The former presumes that
- there is sufficient allocated space for the operation to succeed
- (it dies if there is not). The latter will reallocate the
- vector, if needed. Reallocation causes an exponential increase in
- vector size. If you know you will be adding N elements, it would
- be more efficient to use the reserve operation before adding the
- elements with the 'quick' operation. This will ensure there are at
- least as many elements as you ask for, it will exponentially
- increase if there are too few spare slots. If you want reserve a
- specific number of slots, but do not want the exponential increase
- (for instance, you know this is the last allocation), use the
- reserve_exact operation. You can also create a vector of a
- specific size from the get go.
- You should prefer the push and pop operations, as they append and
- remove from the end of the vector. If you need to remove several
- items in one go, use the truncate operation. The insert and remove
- operations allow you to change elements in the middle of the
- vector. There are two remove operations, one which preserves the
- element ordering 'ordered_remove', and one which does not
- 'unordered_remove'. The latter function copies the end element
- into the removed slot, rather than invoke a memmove operation. The
- 'lower_bound' function will determine where to place an item in the
- array using insert that will maintain sorted order.
- Vectors are template types with three arguments: the type of the
- elements in the vector, the allocation strategy, and the physical
- layout to use
- Four allocation strategies are supported:
- - Heap: allocation is done using malloc/free. This is the
- default allocation strategy.
- - GC: allocation is done using ggc_alloc/ggc_free.
- - GC atomic: same as GC with the exception that the elements
- themselves are assumed to be of an atomic type that does
- not need to be garbage collected. This means that marking
- routines do not need to traverse the array marking the
- individual elements. This increases the performance of
- GC activities.
- Two physical layouts are supported:
- - Embedded: The vector is structured using the trailing array
- idiom. The last member of the structure is an array of size
- 1. When the vector is initially allocated, a single memory
- block is created to hold the vector's control data and the
- array of elements. These vectors cannot grow without
- reallocation (see discussion on embeddable vectors below).
- - Space efficient: The vector is structured as a pointer to an
- embedded vector. This is the default layout. It means that
- vectors occupy a single word of storage before initial
- allocation. Vectors are allowed to grow (the internal
- pointer is reallocated but the main vector instance does not
- need to relocate).
- The type, allocation and layout are specified when the vector is
- declared.
- If you need to directly manipulate a vector, then the 'address'
- accessor will return the address of the start of the vector. Also
- the 'space' predicate will tell you whether there is spare capacity
- in the vector. You will not normally need to use these two functions.
- Notes on the different layout strategies
- * Embeddable vectors (vec<T, A, vl_embed>)
-
- These vectors are suitable to be embedded in other data
- structures so that they can be pre-allocated in a contiguous
- memory block.
- Embeddable vectors are implemented using the trailing array
- idiom, thus they are not resizeable without changing the address
- of the vector object itself. This means you cannot have
- variables or fields of embeddable vector type -- always use a
- pointer to a vector. The one exception is the final field of a
- structure, which could be a vector type.
- You will have to use the embedded_size & embedded_init calls to
- create such objects, and they will not be resizeable (so the
- 'safe' allocation variants are not available).
- Properties of embeddable vectors:
- - The whole vector and control data are allocated in a single
- contiguous block. It uses the trailing-vector idiom, so
- allocation must reserve enough space for all the elements
- in the vector plus its control data.
- - The vector cannot be re-allocated.
- - The vector cannot grow nor shrink.
- - No indirections needed for access/manipulation.
- - It requires 2 words of storage (prior to vector allocation).
- * Space efficient vector (vec<T, A, vl_ptr>)
- These vectors can grow dynamically and are allocated together
- with their control data. They are suited to be included in data
- structures. Prior to initial allocation, they only take a single
- word of storage.
- These vectors are implemented as a pointer to embeddable vectors.
- The semantics allow for this pointer to be NULL to represent
- empty vectors. This way, empty vectors occupy minimal space in
- the structure containing them.
- Properties:
- - The whole vector and control data are allocated in a single
- contiguous block.
- - The whole vector may be re-allocated.
- - Vector data may grow and shrink.
- - Access and manipulation requires a pointer test and
- indirection.
- - It requires 1 word of storage (prior to vector allocation).
- An example of their use would be,
- struct my_struct {
- // A space-efficient vector of tree pointers in GC memory.
- vec<tree, va_gc, vl_ptr> v;
- };
- struct my_struct *s;
- if (s->v.length ()) { we have some contents }
- s->v.safe_push (decl); // append some decl onto the end
- for (ix = 0; s->v.iterate (ix, &elt); ix++)
- { do something with elt }
- */
- /* Support function for statistics. */
- extern void dump_vec_loc_statistics (void);
- /* Control data for vectors. This contains the number of allocated
- and used slots inside a vector. */
- struct vec_prefix
- {
- /* FIXME - These fields should be private, but we need to cater to
- compilers that have stricter notions of PODness for types. */
- /* Memory allocation support routines in vec.c. */
- void register_overhead (size_t, const char *, int, const char *);
- void release_overhead (void);
- static unsigned calculate_allocation (vec_prefix *, unsigned, bool);
- static unsigned calculate_allocation_1 (unsigned, unsigned);
- /* Note that vec_prefix should be a base class for vec, but we use
- offsetof() on vector fields of tree structures (e.g.,
- tree_binfo::base_binfos), and offsetof only supports base types.
- To compensate, we make vec_prefix a field inside vec and make
- vec a friend class of vec_prefix so it can access its fields. */
- template <typename, typename, typename> friend struct vec;
- /* The allocator types also need access to our internals. */
- friend struct va_gc;
- friend struct va_gc_atomic;
- friend struct va_heap;
- unsigned m_alloc : 31;
- unsigned m_using_auto_storage : 1;
- unsigned m_num;
- };
- /* Calculate the number of slots to reserve a vector, making sure that
- RESERVE slots are free. If EXACT grow exactly, otherwise grow
- exponentially. PFX is the control data for the vector. */
- inline unsigned
- vec_prefix::calculate_allocation (vec_prefix *pfx, unsigned reserve,
- bool exact)
- {
- if (exact)
- return (pfx ? pfx->m_num : 0) + reserve;
- else if (!pfx)
- return MAX (4, reserve);
- return calculate_allocation_1 (pfx->m_alloc, pfx->m_num + reserve);
- }
- template<typename, typename, typename> struct vec;
- /* Valid vector layouts
- vl_embed - Embeddable vector that uses the trailing array idiom.
- vl_ptr - Space efficient vector that uses a pointer to an
- embeddable vector. */
- struct vl_embed { };
- struct vl_ptr { };
- /* Types of supported allocations
- va_heap - Allocation uses malloc/free.
- va_gc - Allocation uses ggc_alloc.
- va_gc_atomic - Same as GC, but individual elements of the array
- do not need to be marked during collection. */
- /* Allocator type for heap vectors. */
- struct va_heap
- {
- /* Heap vectors are frequently regular instances, so use the vl_ptr
- layout for them. */
- typedef vl_ptr default_layout;
- template<typename T>
- static void reserve (vec<T, va_heap, vl_embed> *&, unsigned, bool
- CXX_MEM_STAT_INFO);
- template<typename T>
- static void release (vec<T, va_heap, vl_embed> *&);
- };
- /* Allocator for heap memory. Ensure there are at least RESERVE free
- slots in V. If EXACT is true, grow exactly, else grow
- exponentially. As a special case, if the vector had not been
- allocated and and RESERVE is 0, no vector will be created. */
- template<typename T>
- inline void
- va_heap::reserve (vec<T, va_heap, vl_embed> *&v, unsigned reserve, bool exact
- MEM_STAT_DECL)
- {
- unsigned alloc
- = vec_prefix::calculate_allocation (v ? &v->m_vecpfx : 0, reserve, exact);
- gcc_checking_assert (alloc);
- if (GATHER_STATISTICS && v)
- v->m_vecpfx.release_overhead ();
- size_t size = vec<T, va_heap, vl_embed>::embedded_size (alloc);
- unsigned nelem = v ? v->length () : 0;
- v = static_cast <vec<T, va_heap, vl_embed> *> (xrealloc (v, size));
- v->embedded_init (alloc, nelem);
- if (GATHER_STATISTICS)
- v->m_vecpfx.register_overhead (size FINAL_PASS_MEM_STAT);
- }
- /* Free the heap space allocated for vector V. */
- template<typename T>
- void
- va_heap::release (vec<T, va_heap, vl_embed> *&v)
- {
- if (v == NULL)
- return;
- if (GATHER_STATISTICS)
- v->m_vecpfx.release_overhead ();
- ::free (v);
- v = NULL;
- }
- /* Allocator type for GC vectors. Notice that we need the structure
- declaration even if GC is not enabled. */
- struct va_gc
- {
- /* Use vl_embed as the default layout for GC vectors. Due to GTY
- limitations, GC vectors must always be pointers, so it is more
- efficient to use a pointer to the vl_embed layout, rather than
- using a pointer to a pointer as would be the case with vl_ptr. */
- typedef vl_embed default_layout;
- template<typename T, typename A>
- static void reserve (vec<T, A, vl_embed> *&, unsigned, bool
- CXX_MEM_STAT_INFO);
- template<typename T, typename A>
- static void release (vec<T, A, vl_embed> *&v);
- };
- /* Free GC memory used by V and reset V to NULL. */
- template<typename T, typename A>
- inline void
- va_gc::release (vec<T, A, vl_embed> *&v)
- {
- if (v)
- ::ggc_free (v);
- v = NULL;
- }
- /* Allocator for GC memory. Ensure there are at least RESERVE free
- slots in V. If EXACT is true, grow exactly, else grow
- exponentially. As a special case, if the vector had not been
- allocated and and RESERVE is 0, no vector will be created. */
- template<typename T, typename A>
- void
- va_gc::reserve (vec<T, A, vl_embed> *&v, unsigned reserve, bool exact
- MEM_STAT_DECL)
- {
- unsigned alloc
- = vec_prefix::calculate_allocation (v ? &v->m_vecpfx : 0, reserve, exact);
- if (!alloc)
- {
- ::ggc_free (v);
- v = NULL;
- return;
- }
- /* Calculate the amount of space we want. */
- size_t size = vec<T, A, vl_embed>::embedded_size (alloc);
- /* Ask the allocator how much space it will really give us. */
- size = ::ggc_round_alloc_size (size);
- /* Adjust the number of slots accordingly. */
- size_t vec_offset = sizeof (vec_prefix);
- size_t elt_size = sizeof (T);
- alloc = (size - vec_offset) / elt_size;
- /* And finally, recalculate the amount of space we ask for. */
- size = vec_offset + alloc * elt_size;
- unsigned nelem = v ? v->length () : 0;
- v = static_cast <vec<T, A, vl_embed> *> (::ggc_realloc (v, size
- PASS_MEM_STAT));
- v->embedded_init (alloc, nelem);
- }
- /* Allocator type for GC vectors. This is for vectors of types
- atomics w.r.t. collection, so allocation and deallocation is
- completely inherited from va_gc. */
- struct va_gc_atomic : va_gc
- {
- };
- /* Generic vector template. Default values for A and L indicate the
- most commonly used strategies.
- FIXME - Ideally, they would all be vl_ptr to encourage using regular
- instances for vectors, but the existing GTY machinery is limited
- in that it can only deal with GC objects that are pointers
- themselves.
- This means that vector operations that need to deal with
- potentially NULL pointers, must be provided as free
- functions (see the vec_safe_* functions above). */
- template<typename T,
- typename A = va_heap,
- typename L = typename A::default_layout>
- struct GTY((user)) vec
- {
- };
- /* Type to provide NULL values for vec<T, A, L>. This is used to
- provide nil initializers for vec instances. Since vec must be
- a POD, we cannot have proper ctor/dtor for it. To initialize
- a vec instance, you can assign it the value vNULL. */
- struct vnull
- {
- template <typename T, typename A, typename L>
- operator vec<T, A, L> () { return vec<T, A, L>(); }
- };
- extern vnull vNULL;
- /* Embeddable vector. These vectors are suitable to be embedded
- in other data structures so that they can be pre-allocated in a
- contiguous memory block.
- Embeddable vectors are implemented using the trailing array idiom,
- thus they are not resizeable without changing the address of the
- vector object itself. This means you cannot have variables or
- fields of embeddable vector type -- always use a pointer to a
- vector. The one exception is the final field of a structure, which
- could be a vector type.
- You will have to use the embedded_size & embedded_init calls to
- create such objects, and they will not be resizeable (so the 'safe'
- allocation variants are not available).
- Properties:
- - The whole vector and control data are allocated in a single
- contiguous block. It uses the trailing-vector idiom, so
- allocation must reserve enough space for all the elements
- in the vector plus its control data.
- - The vector cannot be re-allocated.
- - The vector cannot grow nor shrink.
- - No indirections needed for access/manipulation.
- - It requires 2 words of storage (prior to vector allocation). */
- template<typename T, typename A>
- struct GTY((user)) vec<T, A, vl_embed>
- {
- public:
- unsigned allocated (void) const { return m_vecpfx.m_alloc; }
- unsigned length (void) const { return m_vecpfx.m_num; }
- bool is_empty (void) const { return m_vecpfx.m_num == 0; }
- T *address (void) { return m_vecdata; }
- const T *address (void) const { return m_vecdata; }
- const T &operator[] (unsigned) const;
- T &operator[] (unsigned);
- T &last (void);
- bool space (unsigned) const;
- bool iterate (unsigned, T *) const;
- bool iterate (unsigned, T **) const;
- vec *copy (ALONE_CXX_MEM_STAT_INFO) const;
- void splice (vec &);
- void splice (vec *src);
- T *quick_push (const T &);
- T &pop (void);
- void truncate (unsigned);
- void quick_insert (unsigned, const T &);
- void ordered_remove (unsigned);
- void unordered_remove (unsigned);
- void block_remove (unsigned, unsigned);
- void qsort (int (*) (const void *, const void *));
- T *bsearch (const void *key, int (*compar)(const void *, const void *));
- unsigned lower_bound (T, bool (*)(const T &, const T &)) const;
- static size_t embedded_size (unsigned);
- void embedded_init (unsigned, unsigned = 0, unsigned = 0);
- void quick_grow (unsigned len);
- void quick_grow_cleared (unsigned len);
- /* vec class can access our internal data and functions. */
- template <typename, typename, typename> friend struct vec;
- /* The allocator types also need access to our internals. */
- friend struct va_gc;
- friend struct va_gc_atomic;
- friend struct va_heap;
- /* FIXME - These fields should be private, but we need to cater to
- compilers that have stricter notions of PODness for types. */
- vec_prefix m_vecpfx;
- T m_vecdata[1];
- };
- /* Convenience wrapper functions to use when dealing with pointers to
- embedded vectors. Some functionality for these vectors must be
- provided via free functions for these reasons:
- 1- The pointer may be NULL (e.g., before initial allocation).
- 2- When the vector needs to grow, it must be reallocated, so
- the pointer will change its value.
- Because of limitations with the current GC machinery, all vectors
- in GC memory *must* be pointers. */
- /* If V contains no room for NELEMS elements, return false. Otherwise,
- return true. */
- template<typename T, typename A>
- inline bool
- vec_safe_space (const vec<T, A, vl_embed> *v, unsigned nelems)
- {
- return v ? v->space (nelems) : nelems == 0;
- }
- /* If V is NULL, return 0. Otherwise, return V->length(). */
- template<typename T, typename A>
- inline unsigned
- vec_safe_length (const vec<T, A, vl_embed> *v)
- {
- return v ? v->length () : 0;
- }
- /* If V is NULL, return NULL. Otherwise, return V->address(). */
- template<typename T, typename A>
- inline T *
- vec_safe_address (vec<T, A, vl_embed> *v)
- {
- return v ? v->address () : NULL;
- }
- /* If V is NULL, return true. Otherwise, return V->is_empty(). */
- template<typename T, typename A>
- inline bool
- vec_safe_is_empty (vec<T, A, vl_embed> *v)
- {
- return v ? v->is_empty () : true;
- }
- /* If V does not have space for NELEMS elements, call
- V->reserve(NELEMS, EXACT). */
- template<typename T, typename A>
- inline bool
- vec_safe_reserve (vec<T, A, vl_embed> *&v, unsigned nelems, bool exact = false
- CXX_MEM_STAT_INFO)
- {
- bool extend = nelems ? !vec_safe_space (v, nelems) : false;
- if (extend)
- A::reserve (v, nelems, exact PASS_MEM_STAT);
- return extend;
- }
- template<typename T, typename A>
- inline bool
- vec_safe_reserve_exact (vec<T, A, vl_embed> *&v, unsigned nelems
- CXX_MEM_STAT_INFO)
- {
- return vec_safe_reserve (v, nelems, true PASS_MEM_STAT);
- }
- /* Allocate GC memory for V with space for NELEMS slots. If NELEMS
- is 0, V is initialized to NULL. */
- template<typename T, typename A>
- inline void
- vec_alloc (vec<T, A, vl_embed> *&v, unsigned nelems CXX_MEM_STAT_INFO)
- {
- v = NULL;
- vec_safe_reserve (v, nelems, false PASS_MEM_STAT);
- }
- /* Free the GC memory allocated by vector V and set it to NULL. */
- template<typename T, typename A>
- inline void
- vec_free (vec<T, A, vl_embed> *&v)
- {
- A::release (v);
- }
- /* Grow V to length LEN. Allocate it, if necessary. */
- template<typename T, typename A>
- inline void
- vec_safe_grow (vec<T, A, vl_embed> *&v, unsigned len CXX_MEM_STAT_INFO)
- {
- unsigned oldlen = vec_safe_length (v);
- gcc_checking_assert (len >= oldlen);
- vec_safe_reserve_exact (v, len - oldlen PASS_MEM_STAT);
- v->quick_grow (len);
- }
- /* If V is NULL, allocate it. Call V->safe_grow_cleared(LEN). */
- template<typename T, typename A>
- inline void
- vec_safe_grow_cleared (vec<T, A, vl_embed> *&v, unsigned len CXX_MEM_STAT_INFO)
- {
- unsigned oldlen = vec_safe_length (v);
- vec_safe_grow (v, len PASS_MEM_STAT);
- memset (&(v->address ()[oldlen]), 0, sizeof (T) * (len - oldlen));
- }
- /* If V is NULL return false, otherwise return V->iterate(IX, PTR). */
- template<typename T, typename A>
- inline bool
- vec_safe_iterate (const vec<T, A, vl_embed> *v, unsigned ix, T **ptr)
- {
- if (v)
- return v->iterate (ix, ptr);
- else
- {
- *ptr = 0;
- return false;
- }
- }
- template<typename T, typename A>
- inline bool
- vec_safe_iterate (const vec<T, A, vl_embed> *v, unsigned ix, T *ptr)
- {
- if (v)
- return v->iterate (ix, ptr);
- else
- {
- *ptr = 0;
- return false;
- }
- }
- /* If V has no room for one more element, reallocate it. Then call
- V->quick_push(OBJ). */
- template<typename T, typename A>
- inline T *
- vec_safe_push (vec<T, A, vl_embed> *&v, const T &obj CXX_MEM_STAT_INFO)
- {
- vec_safe_reserve (v, 1, false PASS_MEM_STAT);
- return v->quick_push (obj);
- }
- /* if V has no room for one more element, reallocate it. Then call
- V->quick_insert(IX, OBJ). */
- template<typename T, typename A>
- inline void
- vec_safe_insert (vec<T, A, vl_embed> *&v, unsigned ix, const T &obj
- CXX_MEM_STAT_INFO)
- {
- vec_safe_reserve (v, 1, false PASS_MEM_STAT);
- v->quick_insert (ix, obj);
- }
- /* If V is NULL, do nothing. Otherwise, call V->truncate(SIZE). */
- template<typename T, typename A>
- inline void
- vec_safe_truncate (vec<T, A, vl_embed> *v, unsigned size)
- {
- if (v)
- v->truncate (size);
- }
- /* If SRC is not NULL, return a pointer to a copy of it. */
- template<typename T, typename A>
- inline vec<T, A, vl_embed> *
- vec_safe_copy (vec<T, A, vl_embed> *src CXX_MEM_STAT_INFO)
- {
- return src ? src->copy (ALONE_PASS_MEM_STAT) : NULL;
- }
- /* Copy the elements from SRC to the end of DST as if by memcpy.
- Reallocate DST, if necessary. */
- template<typename T, typename A>
- inline void
- vec_safe_splice (vec<T, A, vl_embed> *&dst, vec<T, A, vl_embed> *src
- CXX_MEM_STAT_INFO)
- {
- unsigned src_len = vec_safe_length (src);
- if (src_len)
- {
- vec_safe_reserve_exact (dst, vec_safe_length (dst) + src_len
- PASS_MEM_STAT);
- dst->splice (*src);
- }
- }
- /* Index into vector. Return the IX'th element. IX must be in the
- domain of the vector. */
- template<typename T, typename A>
- inline const T &
- vec<T, A, vl_embed>::operator[] (unsigned ix) const
- {
- gcc_checking_assert (ix < m_vecpfx.m_num);
- return m_vecdata[ix];
- }
- template<typename T, typename A>
- inline T &
- vec<T, A, vl_embed>::operator[] (unsigned ix)
- {
- gcc_checking_assert (ix < m_vecpfx.m_num);
- return m_vecdata[ix];
- }
- /* Get the final element of the vector, which must not be empty. */
- template<typename T, typename A>
- inline T &
- vec<T, A, vl_embed>::last (void)
- {
- gcc_checking_assert (m_vecpfx.m_num > 0);
- return (*this)[m_vecpfx.m_num - 1];
- }
- /* If this vector has space for NELEMS additional entries, return
- true. You usually only need to use this if you are doing your
- own vector reallocation, for instance on an embedded vector. This
- returns true in exactly the same circumstances that vec::reserve
- will. */
- template<typename T, typename A>
- inline bool
- vec<T, A, vl_embed>::space (unsigned nelems) const
- {
- return m_vecpfx.m_alloc - m_vecpfx.m_num >= nelems;
- }
- /* Return iteration condition and update PTR to point to the IX'th
- element of this vector. Use this to iterate over the elements of a
- vector as follows,
- for (ix = 0; vec<T, A>::iterate (v, ix, &ptr); ix++)
- continue; */
- template<typename T, typename A>
- inline bool
- vec<T, A, vl_embed>::iterate (unsigned ix, T *ptr) const
- {
- if (ix < m_vecpfx.m_num)
- {
- *ptr = m_vecdata[ix];
- return true;
- }
- else
- {
- *ptr = 0;
- return false;
- }
- }
- /* Return iteration condition and update *PTR to point to the
- IX'th element of this vector. Use this to iterate over the
- elements of a vector as follows,
- for (ix = 0; v->iterate (ix, &ptr); ix++)
- continue;
- This variant is for vectors of objects. */
- template<typename T, typename A>
- inline bool
- vec<T, A, vl_embed>::iterate (unsigned ix, T **ptr) const
- {
- if (ix < m_vecpfx.m_num)
- {
- *ptr = CONST_CAST (T *, &m_vecdata[ix]);
- return true;
- }
- else
- {
- *ptr = 0;
- return false;
- }
- }
- /* Return a pointer to a copy of this vector. */
- template<typename T, typename A>
- inline vec<T, A, vl_embed> *
- vec<T, A, vl_embed>::copy (ALONE_MEM_STAT_DECL) const
- {
- vec<T, A, vl_embed> *new_vec = NULL;
- unsigned len = length ();
- if (len)
- {
- vec_alloc (new_vec, len PASS_MEM_STAT);
- new_vec->embedded_init (len, len);
- memcpy (new_vec->address (), m_vecdata, sizeof (T) * len);
- }
- return new_vec;
- }
- /* Copy the elements from SRC to the end of this vector as if by memcpy.
- The vector must have sufficient headroom available. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::splice (vec<T, A, vl_embed> &src)
- {
- unsigned len = src.length ();
- if (len)
- {
- gcc_checking_assert (space (len));
- memcpy (address () + length (), src.address (), len * sizeof (T));
- m_vecpfx.m_num += len;
- }
- }
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::splice (vec<T, A, vl_embed> *src)
- {
- if (src)
- splice (*src);
- }
- /* Push OBJ (a new element) onto the end of the vector. There must be
- sufficient space in the vector. Return a pointer to the slot
- where OBJ was inserted. */
- template<typename T, typename A>
- inline T *
- vec<T, A, vl_embed>::quick_push (const T &obj)
- {
- gcc_checking_assert (space (1));
- T *slot = &m_vecdata[m_vecpfx.m_num++];
- *slot = obj;
- return slot;
- }
- /* Pop and return the last element off the end of the vector. */
- template<typename T, typename A>
- inline T &
- vec<T, A, vl_embed>::pop (void)
- {
- gcc_checking_assert (length () > 0);
- return m_vecdata[--m_vecpfx.m_num];
- }
- /* Set the length of the vector to SIZE. The new length must be less
- than or equal to the current length. This is an O(1) operation. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::truncate (unsigned size)
- {
- gcc_checking_assert (length () >= size);
- m_vecpfx.m_num = size;
- }
- /* Insert an element, OBJ, at the IXth position of this vector. There
- must be sufficient space. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::quick_insert (unsigned ix, const T &obj)
- {
- gcc_checking_assert (length () < allocated ());
- gcc_checking_assert (ix <= length ());
- T *slot = &m_vecdata[ix];
- memmove (slot + 1, slot, (m_vecpfx.m_num++ - ix) * sizeof (T));
- *slot = obj;
- }
- /* Remove an element from the IXth position of this vector. Ordering of
- remaining elements is preserved. This is an O(N) operation due to
- memmove. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::ordered_remove (unsigned ix)
- {
- gcc_checking_assert (ix < length ());
- T *slot = &m_vecdata[ix];
- memmove (slot, slot + 1, (--m_vecpfx.m_num - ix) * sizeof (T));
- }
- /* Remove an element from the IXth position of this vector. Ordering of
- remaining elements is destroyed. This is an O(1) operation. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::unordered_remove (unsigned ix)
- {
- gcc_checking_assert (ix < length ());
- m_vecdata[ix] = m_vecdata[--m_vecpfx.m_num];
- }
- /* Remove LEN elements starting at the IXth. Ordering is retained.
- This is an O(N) operation due to memmove. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::block_remove (unsigned ix, unsigned len)
- {
- gcc_checking_assert (ix + len <= length ());
- T *slot = &m_vecdata[ix];
- m_vecpfx.m_num -= len;
- memmove (slot, slot + len, (m_vecpfx.m_num - ix) * sizeof (T));
- }
- /* Sort the contents of this vector with qsort. CMP is the comparison
- function to pass to qsort. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::qsort (int (*cmp) (const void *, const void *))
- {
- if (length () > 1)
- ::qsort (address (), length (), sizeof (T), cmp);
- }
- /* Search the contents of the sorted vector with a binary search.
- CMP is the comparison function to pass to bsearch. */
- template<typename T, typename A>
- inline T *
- vec<T, A, vl_embed>::bsearch (const void *key,
- int (*compar) (const void *, const void *))
- {
- const void *base = this->address ();
- size_t nmemb = this->length ();
- size_t size = sizeof (T);
- /* The following is a copy of glibc stdlib-bsearch.h. */
- size_t l, u, idx;
- const void *p;
- int comparison;
- l = 0;
- u = nmemb;
- while (l < u)
- {
- idx = (l + u) / 2;
- p = (const void *) (((const char *) base) + (idx * size));
- comparison = (*compar) (key, p);
- if (comparison < 0)
- u = idx;
- else if (comparison > 0)
- l = idx + 1;
- else
- return (T *)const_cast<void *>(p);
- }
- return NULL;
- }
- /* Find and return the first position in which OBJ could be inserted
- without changing the ordering of this vector. LESSTHAN is a
- function that returns true if the first argument is strictly less
- than the second. */
- template<typename T, typename A>
- unsigned
- vec<T, A, vl_embed>::lower_bound (T obj, bool (*lessthan)(const T &, const T &))
- const
- {
- unsigned int len = length ();
- unsigned int half, middle;
- unsigned int first = 0;
- while (len > 0)
- {
- half = len / 2;
- middle = first;
- middle += half;
- T middle_elem = (*this)[middle];
- if (lessthan (middle_elem, obj))
- {
- first = middle;
- ++first;
- len = len - half - 1;
- }
- else
- len = half;
- }
- return first;
- }
- /* Return the number of bytes needed to embed an instance of an
- embeddable vec inside another data structure.
- Use these methods to determine the required size and initialization
- of a vector V of type T embedded within another structure (as the
- final member):
- size_t vec<T, A, vl_embed>::embedded_size (unsigned alloc);
- void v->embedded_init (unsigned alloc, unsigned num);
- These allow the caller to perform the memory allocation. */
- template<typename T, typename A>
- inline size_t
- vec<T, A, vl_embed>::embedded_size (unsigned alloc)
- {
- typedef vec<T, A, vl_embed> vec_embedded;
- return offsetof (vec_embedded, m_vecdata) + alloc * sizeof (T);
- }
- /* Initialize the vector to contain room for ALLOC elements and
- NUM active elements. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::embedded_init (unsigned alloc, unsigned num, unsigned aut)
- {
- m_vecpfx.m_alloc = alloc;
- m_vecpfx.m_using_auto_storage = aut;
- m_vecpfx.m_num = num;
- }
- /* Grow the vector to a specific length. LEN must be as long or longer than
- the current length. The new elements are uninitialized. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::quick_grow (unsigned len)
- {
- gcc_checking_assert (length () <= len && len <= m_vecpfx.m_alloc);
- m_vecpfx.m_num = len;
- }
- /* Grow the vector to a specific length. LEN must be as long or longer than
- the current length. The new elements are initialized to zero. */
- template<typename T, typename A>
- inline void
- vec<T, A, vl_embed>::quick_grow_cleared (unsigned len)
- {
- unsigned oldlen = length ();
- quick_grow (len);
- memset (&(address ()[oldlen]), 0, sizeof (T) * (len - oldlen));
- }
- /* Garbage collection support for vec<T, A, vl_embed>. */
- template<typename T>
- void
- gt_ggc_mx (vec<T, va_gc> *v)
- {
- extern void gt_ggc_mx (T &);
- for (unsigned i = 0; i < v->length (); i++)
- gt_ggc_mx ((*v)[i]);
- }
- template<typename T>
- void
- gt_ggc_mx (vec<T, va_gc_atomic, vl_embed> *v ATTRIBUTE_UNUSED)
- {
- /* Nothing to do. Vectors of atomic types wrt GC do not need to
- be traversed. */
- }
- /* PCH support for vec<T, A, vl_embed>. */
- template<typename T, typename A>
- void
- gt_pch_nx (vec<T, A, vl_embed> *v)
- {
- extern void gt_pch_nx (T &);
- for (unsigned i = 0; i < v->length (); i++)
- gt_pch_nx ((*v)[i]);
- }
- template<typename T, typename A>
- void
- gt_pch_nx (vec<T *, A, vl_embed> *v, gt_pointer_operator op, void *cookie)
- {
- for (unsigned i = 0; i < v->length (); i++)
- op (&((*v)[i]), cookie);
- }
- template<typename T, typename A>
- void
- gt_pch_nx (vec<T, A, vl_embed> *v, gt_pointer_operator op, void *cookie)
- {
- extern void gt_pch_nx (T *, gt_pointer_operator, void *);
- for (unsigned i = 0; i < v->length (); i++)
- gt_pch_nx (&((*v)[i]), op, cookie);
- }
- /* Space efficient vector. These vectors can grow dynamically and are
- allocated together with their control data. They are suited to be
- included in data structures. Prior to initial allocation, they
- only take a single word of storage.
- These vectors are implemented as a pointer to an embeddable vector.
- The semantics allow for this pointer to be NULL to represent empty
- vectors. This way, empty vectors occupy minimal space in the
- structure containing them.
- Properties:
- - The whole vector and control data are allocated in a single
- contiguous block.
- - The whole vector may be re-allocated.
- - Vector data may grow and shrink.
- - Access and manipulation requires a pointer test and
- indirection.
- - It requires 1 word of storage (prior to vector allocation).
- Limitations:
- These vectors must be PODs because they are stored in unions.
- (http://en.wikipedia.org/wiki/Plain_old_data_structures).
- As long as we use C++03, we cannot have constructors nor
- destructors in classes that are stored in unions. */
- template<typename T>
- struct vec<T, va_heap, vl_ptr>
- {
- public:
- /* Memory allocation and deallocation for the embedded vector.
- Needed because we cannot have proper ctors/dtors defined. */
- void create (unsigned nelems CXX_MEM_STAT_INFO);
- void release (void);
- /* Vector operations. */
- bool exists (void) const
- { return m_vec != NULL; }
- bool is_empty (void) const
- { return m_vec ? m_vec->is_empty () : true; }
- unsigned length (void) const
- { return m_vec ? m_vec->length () : 0; }
- T *address (void)
- { return m_vec ? m_vec->m_vecdata : NULL; }
- const T *address (void) const
- { return m_vec ? m_vec->m_vecdata : NULL; }
- const T &operator[] (unsigned ix) const
- { return (*m_vec)[ix]; }
- bool operator!=(const vec &other) const
- { return !(*this == other); }
- bool operator==(const vec &other) const
- { return address () == other.address (); }
- T &operator[] (unsigned ix)
- { return (*m_vec)[ix]; }
- T &last (void)
- { return m_vec->last (); }
- bool space (int nelems) const
- { return m_vec ? m_vec->space (nelems) : nelems == 0; }
- bool iterate (unsigned ix, T *p) const;
- bool iterate (unsigned ix, T **p) const;
- vec copy (ALONE_CXX_MEM_STAT_INFO) const;
- bool reserve (unsigned, bool = false CXX_MEM_STAT_INFO);
- bool reserve_exact (unsigned CXX_MEM_STAT_INFO);
- void splice (vec &);
- void safe_splice (vec & CXX_MEM_STAT_INFO);
- T *quick_push (const T &);
- T *safe_push (const T &CXX_MEM_STAT_INFO);
- T &pop (void);
- void truncate (unsigned);
- void safe_grow (unsigned CXX_MEM_STAT_INFO);
- void safe_grow_cleared (unsigned CXX_MEM_STAT_INFO);
- void quick_grow (unsigned);
- void quick_grow_cleared (unsigned);
- void quick_insert (unsigned, const T &);
- void safe_insert (unsigned, const T & CXX_MEM_STAT_INFO);
- void ordered_remove (unsigned);
- void unordered_remove (unsigned);
- void block_remove (unsigned, unsigned);
- void qsort (int (*) (const void *, const void *));
- T *bsearch (const void *key, int (*compar)(const void *, const void *));
- unsigned lower_bound (T, bool (*)(const T &, const T &)) const;
- bool using_auto_storage () const;
- /* FIXME - This field should be private, but we need to cater to
- compilers that have stricter notions of PODness for types. */
- vec<T, va_heap, vl_embed> *m_vec;
- };
- /* auto_vec is a subclass of vec that automatically manages creating and
- releasing the internal vector. If N is non zero then it has N elements of
- internal storage. The default is no internal storage, and you probably only
- want to ask for internal storage for vectors on the stack because if the
- size of the vector is larger than the internal storage that space is wasted.
- */
- template<typename T, size_t N = 0>
- class auto_vec : public vec<T, va_heap>
- {
- public:
- auto_vec ()
- {
- m_auto.embedded_init (MAX (N, 2), 0, 1);
- this->m_vec = &m_auto;
- }
- ~auto_vec ()
- {
- this->release ();
- }
- private:
- vec<T, va_heap, vl_embed> m_auto;
- T m_data[MAX (N - 1, 1)];
- };
- /* auto_vec is a sub class of vec whose storage is released when it is
- destroyed. */
- template<typename T>
- class auto_vec<T, 0> : public vec<T, va_heap>
- {
- public:
- auto_vec () { this->m_vec = NULL; }
- auto_vec (size_t n) { this->create (n); }
- ~auto_vec () { this->release (); }
- };
- /* Allocate heap memory for pointer V and create the internal vector
- with space for NELEMS elements. If NELEMS is 0, the internal
- vector is initialized to empty. */
- template<typename T>
- inline void
- vec_alloc (vec<T> *&v, unsigned nelems CXX_MEM_STAT_INFO)
- {
- v = new vec<T>;
- v->create (nelems PASS_MEM_STAT);
- }
- /* Conditionally allocate heap memory for VEC and its internal vector. */
- template<typename T>
- inline void
- vec_check_alloc (vec<T, va_heap> *&vec, unsigned nelems CXX_MEM_STAT_INFO)
- {
- if (!vec)
- vec_alloc (vec, nelems PASS_MEM_STAT);
- }
- /* Free the heap memory allocated by vector V and set it to NULL. */
- template<typename T>
- inline void
- vec_free (vec<T> *&v)
- {
- if (v == NULL)
- return;
- v->release ();
- delete v;
- v = NULL;
- }
- /* Return iteration condition and update PTR to point to the IX'th
- element of this vector. Use this to iterate over the elements of a
- vector as follows,
- for (ix = 0; v.iterate (ix, &ptr); ix++)
- continue; */
- template<typename T>
- inline bool
- vec<T, va_heap, vl_ptr>::iterate (unsigned ix, T *ptr) const
- {
- if (m_vec)
- return m_vec->iterate (ix, ptr);
- else
- {
- *ptr = 0;
- return false;
- }
- }
- /* Return iteration condition and update *PTR to point to the
- IX'th element of this vector. Use this to iterate over the
- elements of a vector as follows,
- for (ix = 0; v->iterate (ix, &ptr); ix++)
- continue;
- This variant is for vectors of objects. */
- template<typename T>
- inline bool
- vec<T, va_heap, vl_ptr>::iterate (unsigned ix, T **ptr) const
- {
- if (m_vec)
- return m_vec->iterate (ix, ptr);
- else
- {
- *ptr = 0;
- return false;
- }
- }
- /* Convenience macro for forward iteration. */
- #define FOR_EACH_VEC_ELT(V, I, P) \
- for (I = 0; (V).iterate ((I), &(P)); ++(I))
- #define FOR_EACH_VEC_SAFE_ELT(V, I, P) \
- for (I = 0; vec_safe_iterate ((V), (I), &(P)); ++(I))
- /* Likewise, but start from FROM rather than 0. */
- #define FOR_EACH_VEC_ELT_FROM(V, I, P, FROM) \
- for (I = (FROM); (V).iterate ((I), &(P)); ++(I))
- /* Convenience macro for reverse iteration. */
- #define FOR_EACH_VEC_ELT_REVERSE(V, I, P) \
- for (I = (V).length () - 1; \
- (V).iterate ((I), &(P)); \
- (I)--)
- #define FOR_EACH_VEC_SAFE_ELT_REVERSE(V, I, P) \
- for (I = vec_safe_length (V) - 1; \
- vec_safe_iterate ((V), (I), &(P)); \
- (I)--)
- /* Return a copy of this vector. */
- template<typename T>
- inline vec<T, va_heap, vl_ptr>
- vec<T, va_heap, vl_ptr>::copy (ALONE_MEM_STAT_DECL) const
- {
- vec<T, va_heap, vl_ptr> new_vec = vNULL;
- if (length ())
- new_vec.m_vec = m_vec->copy ();
- return new_vec;
- }
- /* Ensure that the vector has at least RESERVE slots available (if
- EXACT is false), or exactly RESERVE slots available (if EXACT is
- true).
- This may create additional headroom if EXACT is false.
- Note that this can cause the embedded vector to be reallocated.
- Returns true iff reallocation actually occurred. */
- template<typename T>
- inline bool
- vec<T, va_heap, vl_ptr>::reserve (unsigned nelems, bool exact MEM_STAT_DECL)
- {
- if (space (nelems))
- return false;
- /* For now play a game with va_heap::reserve to hide our auto storage if any,
- this is necessary because it doesn't have enough information to know the
- embedded vector is in auto storage, and so should not be freed. */
- vec<T, va_heap, vl_embed> *oldvec = m_vec;
- unsigned int oldsize = 0;
- bool handle_auto_vec = m_vec && using_auto_storage ();
- if (handle_auto_vec)
- {
- m_vec = NULL;
- oldsize = oldvec->length ();
- nelems += oldsize;
- }
- va_heap::reserve (m_vec, nelems, exact PASS_MEM_STAT);
- if (handle_auto_vec)
- {
- memcpy (m_vec->address (), oldvec->address (), sizeof (T) * oldsize);
- m_vec->m_vecpfx.m_num = oldsize;
- }
- return true;
- }
- /* Ensure that this vector has exactly NELEMS slots available. This
- will not create additional headroom. Note this can cause the
- embedded vector to be reallocated. Returns true iff reallocation
- actually occurred. */
- template<typename T>
- inline bool
- vec<T, va_heap, vl_ptr>::reserve_exact (unsigned nelems MEM_STAT_DECL)
- {
- return reserve (nelems, true PASS_MEM_STAT);
- }
- /* Create the internal vector and reserve NELEMS for it. This is
- exactly like vec::reserve, but the internal vector is
- unconditionally allocated from scratch. The old one, if it
- existed, is lost. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::create (unsigned nelems MEM_STAT_DECL)
- {
- m_vec = NULL;
- if (nelems > 0)
- reserve_exact (nelems PASS_MEM_STAT);
- }
- /* Free the memory occupied by the embedded vector. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::release (void)
- {
- if (!m_vec)
- return;
- if (using_auto_storage ())
- {
- m_vec->m_vecpfx.m_num = 0;
- return;
- }
- va_heap::release (m_vec);
- }
- /* Copy the elements from SRC to the end of this vector as if by memcpy.
- SRC and this vector must be allocated with the same memory
- allocation mechanism. This vector is assumed to have sufficient
- headroom available. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::splice (vec<T, va_heap, vl_ptr> &src)
- {
- if (src.m_vec)
- m_vec->splice (*(src.m_vec));
- }
- /* Copy the elements in SRC to the end of this vector as if by memcpy.
- SRC and this vector must be allocated with the same mechanism.
- If there is not enough headroom in this vector, it will be reallocated
- as needed. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::safe_splice (vec<T, va_heap, vl_ptr> &src
- MEM_STAT_DECL)
- {
- if (src.length ())
- {
- reserve_exact (src.length ());
- splice (src);
- }
- }
- /* Push OBJ (a new element) onto the end of the vector. There must be
- sufficient space in the vector. Return a pointer to the slot
- where OBJ was inserted. */
- template<typename T>
- inline T *
- vec<T, va_heap, vl_ptr>::quick_push (const T &obj)
- {
- return m_vec->quick_push (obj);
- }
- /* Push a new element OBJ onto the end of this vector. Reallocates
- the embedded vector, if needed. Return a pointer to the slot where
- OBJ was inserted. */
- template<typename T>
- inline T *
- vec<T, va_heap, vl_ptr>::safe_push (const T &obj MEM_STAT_DECL)
- {
- reserve (1, false PASS_MEM_STAT);
- return quick_push (obj);
- }
- /* Pop and return the last element off the end of the vector. */
- template<typename T>
- inline T &
- vec<T, va_heap, vl_ptr>::pop (void)
- {
- return m_vec->pop ();
- }
- /* Set the length of the vector to LEN. The new length must be less
- than or equal to the current length. This is an O(1) operation. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::truncate (unsigned size)
- {
- if (m_vec)
- m_vec->truncate (size);
- else
- gcc_checking_assert (size == 0);
- }
- /* Grow the vector to a specific length. LEN must be as long or
- longer than the current length. The new elements are
- uninitialized. Reallocate the internal vector, if needed. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::safe_grow (unsigned len MEM_STAT_DECL)
- {
- unsigned oldlen = length ();
- gcc_checking_assert (oldlen <= len);
- reserve_exact (len - oldlen PASS_MEM_STAT);
- if (m_vec)
- m_vec->quick_grow (len);
- else
- gcc_checking_assert (len == 0);
- }
- /* Grow the embedded vector to a specific length. LEN must be as
- long or longer than the current length. The new elements are
- initialized to zero. Reallocate the internal vector, if needed. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::safe_grow_cleared (unsigned len MEM_STAT_DECL)
- {
- unsigned oldlen = length ();
- safe_grow (len PASS_MEM_STAT);
- memset (&(address ()[oldlen]), 0, sizeof (T) * (len - oldlen));
- }
- /* Same as vec::safe_grow but without reallocation of the internal vector.
- If the vector cannot be extended, a runtime assertion will be triggered. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::quick_grow (unsigned len)
- {
- gcc_checking_assert (m_vec);
- m_vec->quick_grow (len);
- }
- /* Same as vec::quick_grow_cleared but without reallocation of the
- internal vector. If the vector cannot be extended, a runtime
- assertion will be triggered. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::quick_grow_cleared (unsigned len)
- {
- gcc_checking_assert (m_vec);
- m_vec->quick_grow_cleared (len);
- }
- /* Insert an element, OBJ, at the IXth position of this vector. There
- must be sufficient space. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::quick_insert (unsigned ix, const T &obj)
- {
- m_vec->quick_insert (ix, obj);
- }
- /* Insert an element, OBJ, at the IXth position of the vector.
- Reallocate the embedded vector, if necessary. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::safe_insert (unsigned ix, const T &obj MEM_STAT_DECL)
- {
- reserve (1, false PASS_MEM_STAT);
- quick_insert (ix, obj);
- }
- /* Remove an element from the IXth position of this vector. Ordering of
- remaining elements is preserved. This is an O(N) operation due to
- a memmove. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::ordered_remove (unsigned ix)
- {
- m_vec->ordered_remove (ix);
- }
- /* Remove an element from the IXth position of this vector. Ordering
- of remaining elements is destroyed. This is an O(1) operation. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::unordered_remove (unsigned ix)
- {
- m_vec->unordered_remove (ix);
- }
- /* Remove LEN elements starting at the IXth. Ordering is retained.
- This is an O(N) operation due to memmove. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::block_remove (unsigned ix, unsigned len)
- {
- m_vec->block_remove (ix, len);
- }
- /* Sort the contents of this vector with qsort. CMP is the comparison
- function to pass to qsort. */
- template<typename T>
- inline void
- vec<T, va_heap, vl_ptr>::qsort (int (*cmp) (const void *, const void *))
- {
- if (m_vec)
- m_vec->qsort (cmp);
- }
- /* Search the contents of the sorted vector with a binary search.
- CMP is the comparison function to pass to bsearch. */
- template<typename T>
- inline T *
- vec<T, va_heap, vl_ptr>::bsearch (const void *key,
- int (*cmp) (const void *, const void *))
- {
- if (m_vec)
- return m_vec->bsearch (key, cmp);
- return NULL;
- }
- /* Find and return the first position in which OBJ could be inserted
- without changing the ordering of this vector. LESSTHAN is a
- function that returns true if the first argument is strictly less
- than the second. */
- template<typename T>
- inline unsigned
- vec<T, va_heap, vl_ptr>::lower_bound (T obj,
- bool (*lessthan)(const T &, const T &))
- const
- {
- return m_vec ? m_vec->lower_bound (obj, lessthan) : 0;
- }
- template<typename T>
- inline bool
- vec<T, va_heap, vl_ptr>::using_auto_storage () const
- {
- return m_vec->m_vecpfx.m_using_auto_storage;
- }
- #if (GCC_VERSION >= 3000)
- # pragma GCC poison m_vec m_vecpfx m_vecdata
- #endif
- #endif // GCC_VEC_H
|