[vector] Make hb_vector_t relocatable / nestable

Ugly, but...
Fixes https://github.com/harfbuzz/harfbuzz/issues/1227
This commit is contained in:
Behdad Esfahbod 2018-10-05 18:39:48 +02:00
parent 5469d80707
commit 341206eb60
7 changed files with 66 additions and 42 deletions

View File

@ -634,7 +634,7 @@ _hb_face_builder_data_reference_blob (hb_face_builder_data_t *data)
unsigned int face_length = table_count * 16 + 12; unsigned int face_length = table_count * 16 + 12;
for (unsigned int i = 0; i < table_count; i++) for (unsigned int i = 0; i < table_count; i++)
face_length += hb_ceil_to_4 (hb_blob_get_length (data->tables.arrayZ[i].blob)); face_length += hb_ceil_to_4 (hb_blob_get_length (data->tables[i].blob));
char *buf = (char *) malloc (face_length); char *buf = (char *) malloc (face_length);
if (unlikely (!buf)) if (unlikely (!buf))

View File

@ -591,7 +591,7 @@ struct Supplier
} }
inline Supplier (const hb_vector_t<Type> *v) inline Supplier (const hb_vector_t<Type> *v)
{ {
head = v->arrayZ; head = v->arrayZ();
len = v->len; len = v->len;
stride = sizeof (Type); stride = sizeof (Type);
} }

View File

@ -495,7 +495,7 @@ struct CmapSubtableLongSegmented
{ {
TRACE_SERIALIZE (this); TRACE_SERIALIZE (this);
if (unlikely (!c->extend_min (*this))) return_trace (false); if (unlikely (!c->extend_min (*this))) return_trace (false);
Supplier<CmapSubtableLongGroup> supplier (group_data.arrayZ, group_data.len); Supplier<CmapSubtableLongGroup> supplier (group_data.arrayZ(), group_data.len);
if (unlikely (!groups.serialize (c, supplier, group_data.len))) return_trace (false); if (unlikely (!groups.serialize (c, supplier, group_data.len))) return_trace (false);
return true; return true;
} }

View File

@ -242,7 +242,7 @@ struct post
if (index >= index_to_offset.len) if (index >= index_to_offset.len)
return hb_bytes_t (); return hb_bytes_t ();
unsigned int offset = index_to_offset.arrayZ[index]; unsigned int offset = index_to_offset[index];
const uint8_t *data = pool + offset; const uint8_t *data = pool + offset;
unsigned int name_length = *data; unsigned int name_length = *data;

View File

@ -368,8 +368,8 @@ struct hb_set_t
if (!resize (count)) if (!resize (count))
return; return;
population = other->population; population = other->population;
memcpy (pages.arrayZ, other->pages.arrayZ, count * sizeof (pages.arrayZ[0])); memcpy (pages.arrayZ(), other->pages.arrayZ(), count * sizeof (pages.arrayZ()[0]));
memcpy (page_map.arrayZ, other->page_map.arrayZ, count * sizeof (page_map.arrayZ[0])); memcpy (page_map.arrayZ(), other->page_map.arrayZ(), count * sizeof (page_map.arrayZ()[0]));
} }
inline bool is_equal (const hb_set_t *other) const inline bool is_equal (const hb_set_t *other) const

View File

@ -77,7 +77,7 @@ _subset2 (hb_subset_plan_t *plan)
return false; return false;
} }
retry: retry:
hb_serialize_context_t serializer (buf.arrayZ, buf_size); hb_serialize_context_t serializer (buf.arrayZ(), buf_size);
hb_subset_context_t c (plan, &serializer); hb_subset_context_t c (plan, &serializer);
result = table->subset (&c); result = table->subset (&c);
if (serializer.ran_out_of_room) if (serializer.ran_out_of_room)

View File

@ -35,35 +35,42 @@ template <typename Type, unsigned int StaticSize=8>
struct hb_vector_t struct hb_vector_t
{ {
unsigned int len; unsigned int len;
private:
unsigned int allocated; /* == 0 means allocation failed. */ unsigned int allocated; /* == 0 means allocation failed. */
Type *arrayZ; Type *arrayZ_;
Type static_array[StaticSize]; Type static_array[StaticSize];
public:
void init (void) void init (void)
{ {
len = 0; len = 0;
allocated = ARRAY_LENGTH (static_array); allocated = ARRAY_LENGTH (static_array);
arrayZ = static_array; arrayZ_ = nullptr;
} }
inline Type * arrayZ (void)
{ return arrayZ_ ? arrayZ_ : static_array; }
inline const Type * arrayZ (void) const
{ return arrayZ_ ? arrayZ_ : static_array; }
inline Type& operator [] (unsigned int i) inline Type& operator [] (unsigned int i)
{ {
if (unlikely (i >= len)) if (unlikely (i >= len))
return Crap (Type); return Crap (Type);
return arrayZ[i]; return arrayZ()[i];
} }
inline const Type& operator [] (unsigned int i) const inline const Type& operator [] (unsigned int i) const
{ {
if (unlikely (i >= len)) if (unlikely (i >= len))
return Null(Type); return Null(Type);
return arrayZ[i]; return arrayZ()[i];
} }
inline Type *push (void) inline Type *push (void)
{ {
if (unlikely (!resize (len + 1))) if (unlikely (!resize (len + 1)))
return &Crap(Type); return &Crap(Type);
return &arrayZ[len - 1]; return &arrayZ()[len - 1];
} }
inline Type *push (const Type& v) inline Type *push (const Type& v)
{ {
@ -91,17 +98,17 @@ struct hb_vector_t
Type *new_array = nullptr; Type *new_array = nullptr;
if (arrayZ == static_array) if (!arrayZ_)
{ {
new_array = (Type *) calloc (new_allocated, sizeof (Type)); new_array = (Type *) calloc (new_allocated, sizeof (Type));
if (new_array) if (new_array)
memcpy (new_array, arrayZ, len * sizeof (Type)); memcpy (new_array, static_array, len * sizeof (Type));
} }
else else
{ {
bool overflows = (new_allocated < allocated) || hb_unsigned_mul_overflows (new_allocated, sizeof (Type)); bool overflows = (new_allocated < allocated) || hb_unsigned_mul_overflows (new_allocated, sizeof (Type));
if (likely (!overflows)) if (likely (!overflows))
new_array = (Type *) realloc (arrayZ, new_allocated * sizeof (Type)); new_array = (Type *) realloc (arrayZ_, new_allocated * sizeof (Type));
} }
if (unlikely (!new_array)) if (unlikely (!new_array))
@ -110,7 +117,7 @@ struct hb_vector_t
return false; return false;
} }
arrayZ = new_array; arrayZ_ = new_array;
allocated = new_allocated; allocated = new_allocated;
return true; return true;
@ -123,7 +130,7 @@ struct hb_vector_t
return false; return false;
if (size > len) if (size > len)
memset (arrayZ + len, 0, (size - len) * sizeof (*arrayZ)); memset (arrayZ() + len, 0, (size - len) * sizeof (*arrayZ()));
len = size; len = size;
return true; return true;
@ -137,12 +144,13 @@ struct hb_vector_t
inline void remove (unsigned int i) inline void remove (unsigned int i)
{ {
if (unlikely (i >= len)) if (unlikely (i >= len))
return; return;
memmove (static_cast<void *> (&arrayZ[i]), Type *array = arrayZ();
static_cast<void *> (&arrayZ[i + 1]), memmove (static_cast<void *> (&array[i]),
(len - i - 1) * sizeof (Type)); static_cast<void *> (&array[i + 1]),
len--; (len - i - 1) * sizeof (Type));
len--;
} }
inline void shrink (int size_) inline void shrink (int size_)
@ -153,41 +161,55 @@ struct hb_vector_t
} }
template <typename T> template <typename T>
inline Type *find (T v) { inline Type *find (T v)
{
Type *array = arrayZ();
for (unsigned int i = 0; i < len; i++) for (unsigned int i = 0; i < len; i++)
if (arrayZ[i] == v) if (array[i] == v)
return &arrayZ[i]; return &array[i];
return nullptr; return nullptr;
} }
template <typename T> template <typename T>
inline const Type *find (T v) const { inline const Type *find (T v) const
{
const Type *array = arrayZ();
for (unsigned int i = 0; i < len; i++) for (unsigned int i = 0; i < len; i++)
if (arrayZ[i] == v) if (array[i] == v)
return &arrayZ[i]; return &array[i];
return nullptr; return nullptr;
} }
inline void qsort (int (*cmp)(const void*, const void*)) inline void qsort (int (*cmp)(const void*, const void*))
{ {
::qsort (arrayZ, len, sizeof (Type), cmp); ::qsort (arrayZ(), len, sizeof (Type), cmp);
} }
inline void qsort (void) inline void qsort (void)
{ {
::qsort (arrayZ, len, sizeof (Type), Type::cmp); ::qsort (arrayZ(), len, sizeof (Type), Type::cmp);
} }
inline void qsort (unsigned int start, unsigned int end) inline void qsort (unsigned int start, unsigned int end)
{ {
::qsort (arrayZ + start, end - start, sizeof (Type), Type::cmp); ::qsort (arrayZ() + start, end - start, sizeof (Type), Type::cmp);
} }
template <typename T> template <typename T>
inline Type *lsearch (const T &x) inline Type *lsearch (const T &x)
{ {
Type *array = arrayZ();
for (unsigned int i = 0; i < len; i++) for (unsigned int i = 0; i < len; i++)
if (0 == this->arrayZ[i].cmp (&x)) if (0 == array[i].cmp (&x))
return &arrayZ[i]; return &array[i];
return nullptr;
}
template <typename T>
inline const Type *lsearch (const T &x) const
{
const Type *array = arrayZ();
for (unsigned int i = 0; i < len; i++)
if (0 == array[i].cmp (&x))
return &array[i];
return nullptr; return nullptr;
} }
@ -195,22 +217,23 @@ struct hb_vector_t
inline Type *bsearch (const T &x) inline Type *bsearch (const T &x)
{ {
unsigned int i; unsigned int i;
return bfind (x, &i) ? &arrayZ[i] : nullptr; return bfind (x, &i) ? &arrayZ()[i] : nullptr;
} }
template <typename T> template <typename T>
inline const Type *bsearch (const T &x) const inline const Type *bsearch (const T &x) const
{ {
unsigned int i; unsigned int i;
return bfind (x, &i) ? &arrayZ[i] : nullptr; return bfind (x, &i) ? &arrayZ()[i] : nullptr;
} }
template <typename T> template <typename T>
inline bool bfind (const T &x, unsigned int *i) const inline bool bfind (const T &x, unsigned int *i) const
{ {
int min = 0, max = (int) this->len - 1; int min = 0, max = (int) this->len - 1;
const Type *array = this->arrayZ();
while (min <= max) while (min <= max)
{ {
int mid = (min + max) / 2; int mid = (min + max) / 2;
int c = this->arrayZ[mid].cmp (&x); int c = array[mid].cmp (&x);
if (c < 0) if (c < 0)
max = mid - 1; max = mid - 1;
else if (c > 0) else if (c > 0)
@ -221,7 +244,7 @@ struct hb_vector_t
return true; return true;
} }
} }
if (max < 0 || (max < (int) this->len && this->arrayZ[max].cmp (&x) > 0)) if (max < 0 || (max < (int) this->len && array[max].cmp (&x) > 0))
max++; max++;
*i = max; *i = max;
return false; return false;
@ -229,17 +252,18 @@ struct hb_vector_t
inline void fini_deep (void) inline void fini_deep (void)
{ {
Type *array = arrayZ();
unsigned int count = len; unsigned int count = len;
for (unsigned int i = 0; i < count; i++) for (unsigned int i = 0; i < count; i++)
arrayZ[i].fini (); array[i].fini ();
fini (); fini ();
} }
inline void fini (void) inline void fini (void)
{ {
if (arrayZ != static_array) if (arrayZ_)
free (arrayZ); free (arrayZ_);
arrayZ = nullptr; arrayZ_ = nullptr;
allocated = len = 0; allocated = len = 0;
} }
}; };