harfbuzz/src/hb-private.hh

1158 lines
30 KiB
C++
Raw Normal View History

2008-01-23 22:14:38 +01:00
/*
2011-04-21 23:14:28 +02:00
* Copyright © 2007,2008,2009 Red Hat, Inc.
* Copyright © 2011,2012 Google, Inc.
2008-01-23 22:14:38 +01:00
*
2010-04-22 06:11:43 +02:00
* This is part of HarfBuzz, a text shaping library.
2008-01-23 22:14:38 +01:00
*
* Permission is hereby granted, without written agreement and without
* license or royalty fees, to use, copy, modify, and distribute this
* software and its documentation for any purpose, provided that the
* above copyright notice and the following two paragraphs appear in
* all copies of this software.
*
* IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE TO ANY PARTY FOR
* DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
* ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
* IF THE COPYRIGHT HOLDER HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
* DAMAGE.
*
* THE COPYRIGHT HOLDER SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
* BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
* FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
* ON AN "AS IS" BASIS, AND THE COPYRIGHT HOLDER HAS NO OBLIGATION TO
* PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
*
* Red Hat Author(s): Behdad Esfahbod
2011-04-21 23:14:28 +02:00
* Google Author(s): Behdad Esfahbod
2008-01-23 22:14:38 +01:00
*/
#ifndef HB_PRIVATE_HH
#define HB_PRIVATE_HH
2006-12-28 12:42:37 +01:00
#define _GNU_SOURCE 1
2011-09-16 22:40:44 +02:00
#ifdef HAVE_CONFIG_H
2009-08-02 02:46:02 +02:00
#include "config.h"
#endif
2009-05-21 18:46:29 +02:00
#include "hb.h"
#define HB_H_IN
2012-04-23 19:20:52 +02:00
#ifdef HAVE_OT
#include "hb-ot.h"
#define HB_OT_H_IN
2012-04-23 19:20:52 +02:00
#endif
2009-08-05 04:35:36 +02:00
#include <math.h>
2009-05-21 18:46:29 +02:00
#include <stdlib.h>
2011-07-28 22:48:43 +02:00
#include <stddef.h>
2009-07-30 21:33:57 +02:00
#include <string.h>
#include <assert.h>
#include <errno.h>
#include <stdio.h>
#include <stdarg.h>
2009-05-21 18:46:29 +02:00
#if (defined(_MSC_VER) && _MSC_VER >= 1500) || defined(__MINGW32__)
#include <intrin.h>
#endif
2010-07-23 21:11:18 +02:00
#define HB_PASTE1(a,b) a##b
#define HB_PASTE(a,b) HB_PASTE1(a,b)
/* Compile-time custom allocator support. */
#if defined(hb_malloc_impl) \
&& defined(hb_calloc_impl) \
&& defined(hb_realloc_impl) \
&& defined(hb_free_impl)
extern "C" void* hb_malloc_impl(size_t size);
extern "C" void* hb_calloc_impl(size_t nmemb, size_t size);
extern "C" void* hb_realloc_impl(void *ptr, size_t size);
extern "C" void hb_free_impl(void *ptr);
#define malloc hb_malloc_impl
#define calloc hb_calloc_impl
#define realloc hb_realloc_impl
#define free hb_free_impl
#endif
2014-06-03 22:59:09 +02:00
/* Compiler attributes */
2010-04-29 07:40:26 +02:00
#if __cplusplus < 201103L
#ifndef nullptr
#define nullptr NULL
#endif
// Static assertions
#ifndef static_assert
#define static_assert(e, msg) \
2017-10-27 02:23:03 +02:00
HB_UNUSED typedef int HB_PASTE(static_assertion_failed_at_line_, __LINE__) [(e) ? 1 : -1]
#endif // static_assert
#endif // __cplusplus < 201103L
#if (defined(__GNUC__) || defined(__clang__)) && defined(__OPTIMIZE__)
#define likely(expr) (__builtin_expect (!!(expr), 1))
#define unlikely(expr) (__builtin_expect (!!(expr), 0))
2014-06-03 22:59:09 +02:00
#else
#define likely(expr) (expr)
#define unlikely(expr) (expr)
2010-04-29 07:40:26 +02:00
#endif
#if !defined(__GNUC__) && !defined(__clang__)
2014-06-03 22:59:09 +02:00
#undef __attribute__
#define __attribute__(x)
#endif
#if __GNUC__ >= 3
#define HB_PURE_FUNC __attribute__((pure))
#define HB_CONST_FUNC __attribute__((const))
#define HB_PRINTF_FUNC(format_idx, arg_idx) __attribute__((__format__ (__printf__, format_idx, arg_idx)))
#else
#define HB_PURE_FUNC
#define HB_CONST_FUNC
#define HB_PRINTF_FUNC(format_idx, arg_idx)
#endif
#if __GNUC__ >= 4
#define HB_UNUSED __attribute__((unused))
#elif defined(_MSC_VER) /* https://github.com/harfbuzz/harfbuzz/issues/635 */
#define HB_UNUSED __pragma(warning(suppress: 4100 4101))
2014-06-03 22:59:09 +02:00
#else
#define HB_UNUSED
#endif
#ifndef HB_INTERNAL
2018-02-12 04:08:59 +01:00
# if !defined(HB_NO_VISIBILITY) && !defined(__MINGW32__) && !defined(__CYGWIN__) && !defined(_MSC_VER) && !defined(__SUNPRO_CC)
2014-06-03 22:59:09 +02:00
# define HB_INTERNAL __attribute__((__visibility__("hidden")))
# else
# define HB_INTERNAL
# define HB_NO_VISIBILITY 1
2014-06-03 22:59:09 +02:00
# endif
#endif
#if __GNUC__ >= 3
#define HB_FUNC __PRETTY_FUNCTION__
#elif defined(_MSC_VER)
#define HB_FUNC __FUNCSIG__
#else
#define HB_FUNC __func__
#endif
2009-08-06 18:32:35 +02:00
#ifdef __SUNPRO_CC
/* https://github.com/harfbuzz/harfbuzz/issues/630 */
#define __restrict
#endif
/*
* Borrowed from https://bugzilla.mozilla.org/show_bug.cgi?id=1215411
* HB_FALLTHROUGH is an annotation to suppress compiler warnings about switch
* cases that fall through without a break or return statement. HB_FALLTHROUGH
* is only needed on cases that have code:
*
* switch (foo) {
* case 1: // These cases have no code. No fallthrough annotations are needed.
* case 2:
* case 3:
* foo = 4; // This case has code, so a fallthrough annotation is needed:
* HB_FALLTHROUGH;
* default:
* return foo;
* }
*/
#if defined(__clang__) && __cplusplus >= 201103L
/* clang's fallthrough annotations are only available starting in C++11. */
# define HB_FALLTHROUGH [[clang::fallthrough]]
#elif __GNUC__ >= 7
/* GNU fallthrough attribute is available from GCC7 */
# define HB_FALLTHROUGH __attribute__((fallthrough))
#elif defined(_MSC_VER)
/*
* MSVC's __fallthrough annotations are checked by /analyze (Code Analysis):
* https://msdn.microsoft.com/en-us/library/ms235402%28VS.80%29.aspx
*/
# include <sal.h>
# define HB_FALLTHROUGH __fallthrough
#else
# define HB_FALLTHROUGH /* FALLTHROUGH */
#endif
#if defined(_WIN32) || defined(__CYGWIN__)
/* We need Windows Vista for both Uniscribe backend and for
* MemoryBarrier. We don't support compiling on Windows XP,
* though we run on it fine. */
# if defined(_WIN32_WINNT) && _WIN32_WINNT < 0x0600
# undef _WIN32_WINNT
# endif
# ifndef _WIN32_WINNT
# define _WIN32_WINNT 0x0600
# endif
# ifndef WIN32_LEAN_AND_MEAN
# define WIN32_LEAN_AND_MEAN 1
# endif
# ifndef STRICT
# define STRICT 1
# endif
2012-11-23 20:21:35 +01:00
# if defined(_WIN32_WCE)
/* Some things not defined on Windows CE. */
# define vsnprintf _vsnprintf
2017-10-15 12:11:08 +02:00
# define getenv(Name) nullptr
# if _WIN32_WCE < 0x800
# define setlocale(Category, Locale) "C"
static int errno = 0; /* Use something better? */
# endif
# elif defined(WINAPI_FAMILY) && (WINAPI_FAMILY==WINAPI_FAMILY_PC_APP || WINAPI_FAMILY==WINAPI_FAMILY_PHONE_APP)
2017-10-15 12:11:08 +02:00
# define getenv(Name) nullptr
# endif
# if defined(_MSC_VER) && _MSC_VER < 1900
# define snprintf _snprintf
# endif
#endif
#if HAVE_ATEXIT
/* atexit() is only safe to be called from shared libraries on certain
* platforms. Whitelist.
* https://bugs.freedesktop.org/show_bug.cgi?id=82246 */
# if defined(__linux) && defined(__GLIBC_PREREQ)
# if __GLIBC_PREREQ(2,3)
/* From atexit() manpage, it's safe with glibc 2.2.3 on Linux. */
# define HB_USE_ATEXIT 1
# endif
# elif defined(_MSC_VER) || defined(__MINGW32__)
/* For MSVC:
* https://msdn.microsoft.com/en-us/library/tze57ck3.aspx
* https://msdn.microsoft.com/en-us/library/zk17ww08.aspx
* mingw32 headers say atexit is safe to use in shared libraries.
*/
# define HB_USE_ATEXIT 1
# elif defined(__ANDROID__)
/* This is available since Android NKD r8 or r8b:
* https://issuetracker.google.com/code/p/android/issues/detail?id=6455
*/
# define HB_USE_ATEXIT 1
# elif defined(__APPLE__)
/* For macOS and related platforms, the atexit man page indicates
* that it will be invoked when the library is unloaded, not only
* at application exit.
*/
# define HB_USE_ATEXIT 1
# endif
#endif
2018-03-26 19:44:54 +02:00
#ifdef HB_NO_ATEXIT
# undef HB_USE_ATEXIT
#endif
2012-11-23 20:21:35 +01:00
2009-05-21 18:46:29 +02:00
/* Basics */
#undef MIN
template <typename Type>
static inline Type MIN (const Type &a, const Type &b) { return a < b ? a : b; }
2008-01-24 00:02:28 +01:00
#undef MAX
template <typename Type>
static inline Type MAX (const Type &a, const Type &b) { return a > b ? a : b; }
2013-11-12 23:22:49 +01:00
static inline unsigned int DIV_CEIL (const unsigned int a, unsigned int b)
{ return (a + (b - 1)) / b; }
2009-11-05 00:15:59 +01:00
#undef ARRAY_LENGTH
template <typename Type, unsigned int n>
2012-12-06 00:46:04 +01:00
static inline unsigned int ARRAY_LENGTH (const Type (&)[n]) { return n; }
/* A const version, but does not detect erratically being called on pointers. */
#define ARRAY_LENGTH_CONST(__array) ((signed int) (sizeof (__array) / sizeof (__array[0])))
2009-08-02 01:30:31 +02:00
#define HB_STMT_START do
#define HB_STMT_END while (0)
2006-12-28 12:42:37 +01:00
template <unsigned int cond> class hb_assert_constant_t;
template <> class hb_assert_constant_t<1> {};
#define ASSERT_STATIC_EXPR_ZERO(_cond) (0 * (unsigned int) sizeof (hb_assert_constant_t<_cond>))
2011-04-11 17:47:14 +02:00
/* Lets assert int types. Saves trouble down the road. */
static_assert ((sizeof (int8_t) == 1), "");
static_assert ((sizeof (uint8_t) == 1), "");
static_assert ((sizeof (int16_t) == 2), "");
static_assert ((sizeof (uint16_t) == 2), "");
static_assert ((sizeof (int32_t) == 4), "");
static_assert ((sizeof (uint32_t) == 4), "");
static_assert ((sizeof (int64_t) == 8), "");
static_assert ((sizeof (uint64_t) == 8), "");
2011-04-11 17:47:14 +02:00
static_assert ((sizeof (hb_codepoint_t) == 4), "");
static_assert ((sizeof (hb_position_t) == 4), "");
static_assert ((sizeof (hb_mask_t) == 4), "");
static_assert ((sizeof (hb_var_int_t) == 4), "");
2011-04-11 17:47:14 +02:00
2012-06-06 09:07:01 +02:00
/* We like our types POD */
2012-06-06 17:29:25 +02:00
#define _ASSERT_TYPE_POD1(_line, _type) union _type_##_type##_on_line_##_line##_is_not_POD { _type instance; }
#define _ASSERT_TYPE_POD0(_line, _type) _ASSERT_TYPE_POD1 (_line, _type)
#define ASSERT_TYPE_POD(_type) _ASSERT_TYPE_POD0 (__LINE__, _type)
2012-06-06 09:07:01 +02:00
#ifdef __GNUC__
# define _ASSERT_INSTANCE_POD1(_line, _instance) \
HB_STMT_START { \
typedef __typeof__(_instance) _type_##_line; \
_ASSERT_TYPE_POD1 (_line, _type_##_line); \
} HB_STMT_END
2012-06-06 09:07:01 +02:00
#else
2012-06-06 17:29:25 +02:00
# define _ASSERT_INSTANCE_POD1(_line, _instance) typedef int _assertion_on_line_##_line##_not_tested
2012-06-06 09:07:01 +02:00
#endif
2012-06-06 17:29:25 +02:00
# define _ASSERT_INSTANCE_POD0(_line, _instance) _ASSERT_INSTANCE_POD1 (_line, _instance)
# define ASSERT_INSTANCE_POD(_instance) _ASSERT_INSTANCE_POD0 (__LINE__, _instance)
2012-06-06 09:07:01 +02:00
/* Check _assertion in a method environment */
#define _ASSERT_POD1(_line) \
HB_UNUSED inline void _static_assertion_on_line_##_line (void) const \
2012-06-06 17:29:25 +02:00
{ _ASSERT_INSTANCE_POD1 (_line, *this); /* Make sure it's POD. */ }
# define _ASSERT_POD0(_line) _ASSERT_POD1 (_line)
# define ASSERT_POD() _ASSERT_POD0 (__LINE__)
2012-06-06 09:07:01 +02:00
2010-04-29 07:40:26 +02:00
/* Misc */
2018-01-11 09:15:34 +01:00
/*
* Void!
*/
typedef const struct _hb_void_t *hb_void_t;
2017-10-15 12:11:08 +02:00
#define HB_VOID ((const _hb_void_t *) nullptr)
/* Return the number of 1 bits in v. */
template <typename T>
2010-05-11 06:11:36 +02:00
static inline HB_CONST_FUNC unsigned int
_hb_popcount (T v)
2009-05-21 18:46:29 +02:00
{
#if (__GNUC__ > 3 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 4)) && defined(__OPTIMIZE__)
if (sizeof (T) <= sizeof (unsigned int))
return __builtin_popcount (v);
if (sizeof (T) <= sizeof (unsigned long))
return __builtin_popcountl (v);
if (sizeof (T) <= sizeof (unsigned long long))
return __builtin_popcountll (v);
2017-10-15 16:00:09 +02:00
#endif
if (sizeof (T) <= 4)
{
/* "HACKMEM 169" */
uint32_t y;
y = (v >> 1) &033333333333;
y = v - y - ((y >>1) & 033333333333);
return (((y + (y >> 3)) & 030707070707) % 077);
}
if (sizeof (T) == 8)
{
unsigned int shift = 32;
return _hb_popcount<uint32_t> ((uint32_t) v) + _hb_popcount ((uint32_t) (v >> shift));
}
if (sizeof (T) == 16)
{
unsigned int shift = 64;
return _hb_popcount<uint64_t> ((uint64_t) v) + _hb_popcount ((uint64_t) (v >> shift));
}
assert (0);
2017-10-15 16:00:09 +02:00
}
2009-05-21 18:46:29 +02:00
2010-05-20 16:31:12 +02:00
/* Returns the number of bits needed to store number */
template <typename T>
2010-05-20 16:31:12 +02:00
static inline HB_CONST_FUNC unsigned int
_hb_bit_storage (T v)
2010-05-20 16:31:12 +02:00
{
if (unlikely (!v)) return 0;
2010-05-20 16:31:12 +02:00
#if defined(__GNUC__) && (__GNUC__ >= 4) && defined(__OPTIMIZE__)
if (sizeof (T) <= sizeof (unsigned int))
return sizeof (unsigned int) * 8 - __builtin_clz (v);
if (sizeof (T) <= sizeof (unsigned long))
2018-02-17 02:49:41 +01:00
return sizeof (unsigned long) * 8 - __builtin_clzl (v);
if (sizeof (T) <= sizeof (unsigned long long))
2018-02-17 02:49:41 +01:00
return sizeof (unsigned long long) * 8 - __builtin_clzll (v);
#endif
#if (defined(_MSC_VER) && _MSC_VER >= 1500) || defined(__MINGW32__)
if (sizeof (T) <= sizeof (unsigned int))
{
unsigned long where;
_BitScanReverse (&where, v);
return 1 + where;
}
# if _WIN64
if (sizeof (T) <= 8)
{
unsigned long where;
_BitScanReverse64 (&where, v);
return 1 + where;
}
# endif
#endif
if (sizeof (T) <= 4)
{
/* "bithacks" */
const unsigned int b[] = {0x2, 0xC, 0xF0, 0xFF00, 0xFFFF0000};
const unsigned int S[] = {1, 2, 4, 8, 16};
2018-02-17 03:20:12 +01:00
unsigned int r = 0;
for (int i = 4; i >= 0; i--)
if (v & b[i])
{
v >>= S[i];
r |= S[i];
}
2018-02-17 03:20:12 +01:00
return r + 1;
}
if (sizeof (T) <= 8)
{
/* "bithacks" */
const uint64_t b[] = {0x2ULL, 0xCULL, 0xF0ULL, 0xFF00ULL, 0xFFFF0000ULL, 0xFFFFFFFF00000000ULL};
const unsigned int S[] = {1, 2, 4, 8, 16, 32};
2018-02-17 03:20:12 +01:00
unsigned int r = 0;
for (int i = 5; i >= 0; i--)
if (v & b[i])
{
v >>= S[i];
r |= S[i];
}
2018-02-17 03:20:12 +01:00
return r + 1;
}
if (sizeof (T) == 16)
{
unsigned int shift = 64;
return (v >> shift) ? _hb_bit_storage<uint64_t> ((uint64_t) v >> shift) + shift :
_hb_bit_storage<uint64_t> ((uint64_t) v);
2010-05-20 16:31:12 +02:00
}
assert (0);
2010-05-20 16:31:12 +02:00
}
2009-08-02 02:46:02 +02:00
/* Returns the number of zero bits in the least significant side of v */
template <typename T>
static inline HB_CONST_FUNC unsigned int
_hb_ctz (T v)
{
if (unlikely (!v)) return 0;
#if defined(__GNUC__) && (__GNUC__ >= 4) && defined(__OPTIMIZE__)
if (sizeof (T) <= sizeof (unsigned int))
return __builtin_ctz (v);
if (sizeof (T) <= sizeof (unsigned long))
return __builtin_ctzl (v);
if (sizeof (T) <= sizeof (unsigned long long))
return __builtin_ctzll (v);
#endif
#if (defined(_MSC_VER) && _MSC_VER >= 1500) || defined(__MINGW32__)
if (sizeof (T) <= sizeof (unsigned int))
{
unsigned long where;
_BitScanForward (&where, v);
return where;
}
# if _WIN64
if (sizeof (T) <= 8)
{
unsigned long where;
_BitScanForward64 (&where, v);
return where;
}
# endif
#endif
if (sizeof (T) <= 4)
{
/* "bithacks" */
unsigned int c = 32;
v &= - (int32_t) v;
if (v) c--;
if (v & 0x0000FFFF) c -= 16;
if (v & 0x00FF00FF) c -= 8;
if (v & 0x0F0F0F0F) c -= 4;
if (v & 0x33333333) c -= 2;
if (v & 0x55555555) c -= 1;
return c;
}
if (sizeof (T) <= 8)
{
/* "bithacks" */
unsigned int c = 64;
v &= - (int64_t) (v);
if (v) c--;
if (v & 0x00000000FFFFFFFFULL) c -= 32;
if (v & 0x0000FFFF0000FFFFULL) c -= 16;
if (v & 0x00FF00FF00FF00FFULL) c -= 8;
if (v & 0x0F0F0F0F0F0F0F0FULL) c -= 4;
if (v & 0x3333333333333333ULL) c -= 2;
if (v & 0x5555555555555555ULL) c -= 1;
return c;
}
if (sizeof (T) == 16)
{
unsigned int shift = 64;
return (uint64_t) v ? _hb_bit_storage<uint64_t> ((uint64_t) v) :
_hb_bit_storage<uint64_t> ((uint64_t) v >> shift) + shift;
}
assert (0);
}
2011-04-28 22:01:01 +02:00
static inline bool
_hb_unsigned_int_mul_overflows (unsigned int count, unsigned int size)
{
return (size > 0) && (count >= ((unsigned int) -1) / size);
}
2018-02-08 04:13:10 +01:00
static inline unsigned int
_hb_ceil_to_4 (unsigned int v)
{
2018-02-08 04:42:03 +01:00
return ((v - 1) | 3) + 1;
2018-02-08 04:13:10 +01:00
}
2011-04-28 22:01:01 +02:00
2011-04-28 03:45:51 +02:00
/* arrays and maps */
2017-10-15 12:11:08 +02:00
#define HB_PREALLOCED_ARRAY_INIT {0, 0, nullptr}
template <typename Type, unsigned int StaticSize=16>
struct hb_vector_t
{
2011-04-28 03:45:51 +02:00
unsigned int len;
unsigned int allocated;
2018-05-09 01:56:11 +02:00
Type *arrayZ;
2011-04-28 03:45:51 +02:00
Type static_array[StaticSize];
void init (void)
{
len = 0;
allocated = ARRAY_LENGTH (static_array);
2018-05-09 01:56:11 +02:00
arrayZ = static_array;
}
2018-05-09 01:56:11 +02:00
inline Type& operator [] (unsigned int i) { return arrayZ[i]; }
inline const Type& operator [] (unsigned int i) const { return arrayZ[i]; }
2011-04-28 03:45:51 +02:00
inline Type *push (void)
{
if (unlikely (!resize (len + 1)))
return nullptr;
2018-05-09 01:56:11 +02:00
return &arrayZ[len - 1];
}
2018-02-10 20:25:49 +01:00
/* Allocate for size but don't adjust len. */
inline bool alloc(unsigned int size)
2011-04-28 03:45:51 +02:00
{
2018-02-10 20:25:49 +01:00
if (likely (size <= allocated))
return true;
2018-02-10 20:25:49 +01:00
/* Reallocate */
unsigned int new_allocated = allocated;
while (size >= new_allocated)
new_allocated += (new_allocated >> 1) + 8;
Type *new_array = nullptr;
2018-05-09 01:56:11 +02:00
if (arrayZ == static_array) {
new_array = (Type *) calloc (new_allocated, sizeof (Type));
if (new_array)
2018-05-09 01:56:11 +02:00
memcpy (new_array, arrayZ, len * sizeof (Type));
} else {
bool overflows = (new_allocated < allocated) || _hb_unsigned_int_mul_overflows (new_allocated, sizeof (Type));
if (likely (!overflows)) {
2018-05-09 01:56:11 +02:00
new_array = (Type *) realloc (arrayZ, new_allocated * sizeof (Type));
2011-04-28 03:45:51 +02:00
}
}
if (unlikely (!new_array))
return false;
2018-05-09 01:56:11 +02:00
arrayZ = new_array;
2018-02-10 02:14:37 +01:00
allocated = new_allocated;
2018-02-10 20:25:49 +01:00
2018-02-10 02:14:37 +01:00
return true;
}
inline bool resize (unsigned int size)
{
2018-02-10 20:25:49 +01:00
if (!alloc (size))
return false;
len = size;
return true;
2011-04-28 03:45:51 +02:00
}
inline void pop (void)
{
len--;
2013-08-06 20:28:12 +02:00
}
inline void remove (unsigned int i)
{
if (unlikely (i >= len))
return;
2018-05-09 01:56:11 +02:00
memmove (static_cast<void *> (&arrayZ[i]),
static_cast<void *> (&arrayZ[i + 1]),
2013-08-06 20:28:12 +02:00
(len - i - 1) * sizeof (Type));
len--;
2011-04-28 03:45:51 +02:00
}
inline void shrink (unsigned int l)
{
if (l < len)
len = l;
}
template <typename T>
inline Type *find (T v) {
for (unsigned int i = 0; i < len; i++)
2018-05-09 01:56:11 +02:00
if (arrayZ[i] == v)
return &arrayZ[i];
2017-10-15 12:11:08 +02:00
return nullptr;
}
template <typename T>
inline const Type *find (T v) const {
for (unsigned int i = 0; i < len; i++)
2018-05-09 01:56:11 +02:00
if (arrayZ[i] == v)
return &arrayZ[i];
2017-10-15 12:11:08 +02:00
return nullptr;
}
inline void qsort (int (*cmp)(const void*, const void*))
{
2018-05-09 01:56:11 +02:00
::qsort (arrayZ, len, sizeof (Type), cmp);
}
inline void qsort (void)
{
2018-05-09 01:56:11 +02:00
::qsort (arrayZ, len, sizeof (Type), Type::cmp);
}
inline void qsort (unsigned int start, unsigned int end)
{
2018-05-09 01:56:11 +02:00
::qsort (arrayZ + start, end - start, sizeof (Type), Type::cmp);
}
template <typename T>
2018-02-08 04:13:10 +01:00
inline Type *lsearch (const T &x)
{
for (unsigned int i = 0; i < len; i++)
2018-05-09 01:56:11 +02:00
if (0 == this->arrayZ[i].cmp (&x))
return &arrayZ[i];
return nullptr;
}
template <typename T>
2018-02-08 04:13:10 +01:00
inline Type *bsearch (const T &x)
{
2017-10-15 16:15:06 +02:00
unsigned int i;
2018-05-09 01:56:11 +02:00
return bfind (x, &i) ? &arrayZ[i] : nullptr;
}
template <typename T>
2018-02-08 04:13:10 +01:00
inline const Type *bsearch (const T &x) const
2017-10-15 16:15:06 +02:00
{
unsigned int i;
2018-05-09 01:56:11 +02:00
return bfind (x, &i) ? &arrayZ[i] : nullptr;
2017-10-15 16:15:06 +02:00
}
template <typename T>
2018-02-08 04:13:10 +01:00
inline bool bfind (const T &x, unsigned int *i) const
{
2017-10-15 16:00:22 +02:00
int min = 0, max = (int) this->len - 1;
while (min <= max)
{
int mid = (min + max) / 2;
2018-05-09 01:56:11 +02:00
int c = this->arrayZ[mid].cmp (&x);
2017-10-15 16:00:22 +02:00
if (c < 0)
max = mid - 1;
else if (c > 0)
min = mid + 1;
else
2017-10-15 16:15:06 +02:00
{
*i = mid;
return true;
}
2017-10-15 16:00:22 +02:00
}
2018-05-09 01:56:11 +02:00
if (max < 0 || (max < (int) this->len && this->arrayZ[max].cmp (&x) > 0))
2017-10-15 16:15:06 +02:00
max++;
*i = max;
return false;
}
2011-05-11 20:19:18 +02:00
2018-05-02 01:01:25 +02:00
inline void fini (void)
2011-05-11 20:19:18 +02:00
{
2018-05-09 01:56:11 +02:00
if (arrayZ != static_array)
free (arrayZ);
arrayZ = nullptr;
2011-05-11 20:19:18 +02:00
allocated = len = 0;
}
2011-04-28 03:45:51 +02:00
};
2013-03-09 10:34:21 +01:00
template <typename Type>
struct hb_auto_t : Type
2013-03-09 10:34:21 +01:00
{
hb_auto_t (void) { Type::init (); }
~hb_auto_t (void) { Type::fini (); }
private: /* Hide */
void init (void) {}
void fini (void) {}
2013-03-09 10:34:21 +01:00
};
template <typename Type>
struct hb_auto_array_t : hb_auto_t <hb_vector_t <Type> > {};
2013-03-09 10:34:21 +01:00
#define HB_LOCKABLE_SET_INIT {HB_PREALLOCED_ARRAY_INIT}
template <typename item_t, typename lock_t>
struct hb_lockable_set_t
2011-04-28 03:45:51 +02:00
{
hb_vector_t <item_t, 1> items;
2011-04-28 03:45:51 +02:00
inline void init (void) { items.init (); }
template <typename T>
inline item_t *replace_or_insert (T v, lock_t &l, bool replace)
2011-04-28 03:45:51 +02:00
{
l.lock ();
item_t *item = items.find (v);
if (item) {
if (replace) {
item_t old = *item;
*item = v;
l.unlock ();
2018-05-02 01:01:25 +02:00
old.fini ();
}
else {
2017-10-15 12:11:08 +02:00
item = nullptr;
l.unlock ();
}
} else {
2011-04-28 03:45:51 +02:00
item = items.push ();
if (likely (item))
*item = v;
l.unlock ();
}
return item;
2011-04-28 03:45:51 +02:00
}
template <typename T>
inline void remove (T v, lock_t &l)
2011-04-28 03:45:51 +02:00
{
l.lock ();
item_t *item = items.find (v);
if (item) {
item_t old = *item;
*item = items[items.len - 1];
items.pop ();
l.unlock ();
2018-05-02 01:01:25 +02:00
old.fini ();
} else {
l.unlock ();
}
2011-04-28 03:45:51 +02:00
}
template <typename T>
inline bool find (T v, item_t *i, lock_t &l)
2011-04-28 03:45:51 +02:00
{
l.lock ();
item_t *item = items.find (v);
if (item)
*i = *item;
l.unlock ();
return !!item;
}
template <typename T>
inline item_t *find_or_insert (T v, lock_t &l)
{
l.lock ();
item_t *item = items.find (v);
if (!item) {
item = items.push ();
if (likely (item))
*item = v;
}
l.unlock ();
return item;
}
2018-05-02 01:01:25 +02:00
inline void fini (lock_t &l)
{
if (!items.len) {
/* No need for locking. */
2018-05-02 01:01:25 +02:00
items.fini ();
return;
}
l.lock ();
while (items.len) {
item_t old = items[items.len - 1];
items.pop ();
l.unlock ();
2018-05-02 01:01:25 +02:00
old.fini ();
l.lock ();
}
2018-05-02 01:01:25 +02:00
items.fini ();
l.unlock ();
}
};
2011-04-28 03:45:51 +02:00
/* ASCII tag/character handling */
2011-04-11 19:16:08 +02:00
static inline bool ISALPHA (unsigned char c)
{ return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z'); }
static inline bool ISALNUM (unsigned char c)
{ return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || (c >= '0' && c <= '9'); }
static inline bool ISSPACE (unsigned char c)
{ return c == ' ' || c =='\f'|| c =='\n'|| c =='\r'|| c =='\t'|| c =='\v'; }
static inline unsigned char TOUPPER (unsigned char c)
{ return (c >= 'a' && c <= 'z') ? c - 'a' + 'A' : c; }
static inline unsigned char TOLOWER (unsigned char c)
{ return (c >= 'A' && c <= 'Z') ? c - 'A' + 'a' : c; }
2011-04-11 19:16:08 +02:00
/* HB_NDEBUG disables some sanity checks that are very safe to disable and
* should be disabled in production systems. If NDEBUG is defined, enable
* HB_NDEBUG; but if it's desirable that normal assert()s (which are very
* light-weight) to be enabled, then HB_DEBUG can be defined to disable
* the costlier checks. */
#ifdef NDEBUG
2018-05-08 10:50:30 +02:00
#define HB_NDEBUG 1
#endif
/* Misc */
template <typename T> class hb_assert_unsigned_t;
template <> class hb_assert_unsigned_t<unsigned char> {};
template <> class hb_assert_unsigned_t<unsigned short> {};
template <> class hb_assert_unsigned_t<unsigned int> {};
template <> class hb_assert_unsigned_t<unsigned long> {};
2010-04-21 08:12:45 +02:00
2012-07-13 15:45:54 +02:00
template <typename T> static inline bool
2011-07-29 23:02:48 +02:00
hb_in_range (T u, T lo, T hi)
2011-07-21 05:59:07 +02:00
{
/* The sizeof() is here to force template instantiation.
* I'm sure there are better ways to do this but can't think of
* one right now. Declaring a variable won't work as HB_UNUSED
2015-02-21 14:30:28 +01:00
* is unusable on some platforms and unused types are less likely
* to generate a warning than unused variables. */
static_assert ((sizeof (hb_assert_unsigned_t<T>) >= 0), "");
/* The casts below are important as if T is smaller than int,
* the subtract results will become a signed int! */
return (T)(u - lo) <= (T)(hi - lo);
2011-07-21 05:59:07 +02:00
}
template <typename T> static inline bool
hb_in_ranges (T u, T lo1, T hi1, T lo2, T hi2)
{
return hb_in_range (u, lo1, hi1) || hb_in_range (u, lo2, hi2);
}
template <typename T> static inline bool
hb_in_ranges (T u, T lo1, T hi1, T lo2, T hi2, T lo3, T hi3)
{
return hb_in_range (u, lo1, hi1) || hb_in_range (u, lo2, hi2) || hb_in_range (u, lo3, hi3);
}
2011-07-21 05:59:07 +02:00
2015-11-05 01:25:57 +01:00
/* Enable bitwise ops on enums marked as flags_t */
/* To my surprise, looks like the function resolver is happy to silently cast
* one enum to another... So this doesn't provide the type-checking that I
2015-11-18 03:42:13 +01:00
* originally had in mind... :(.
*
* For MSVC warnings, see: https://github.com/harfbuzz/harfbuzz/pull/163
2015-11-18 03:42:13 +01:00
*/
#ifdef _MSC_VER
# pragma warning(disable:4200)
# pragma warning(disable:4800)
#endif
2015-11-20 22:24:19 +01:00
#define HB_MARK_AS_FLAG_T(T) \
extern "C++" { \
static inline T operator | (T l, T r) { return T ((unsigned) l | (unsigned) r); } \
static inline T operator & (T l, T r) { return T ((unsigned) l & (unsigned) r); } \
static inline T operator ^ (T l, T r) { return T ((unsigned) l ^ (unsigned) r); } \
static inline T operator ~ (T r) { return T (~(unsigned int) r); } \
static inline T& operator |= (T &l, T r) { l = l | r; return l; } \
static inline T& operator &= (T& l, T r) { l = l & r; return l; } \
static inline T& operator ^= (T& l, T r) { l = l ^ r; return l; } \
}
2015-11-05 01:25:57 +01:00
/* Useful for set-operations on small enums.
* For example, for testing "x ∈ {x1, x2, x3}" use:
* (FLAG_UNSAFE(x) & (FLAG(x1) | FLAG(x2) | FLAG(x3)))
*/
#define FLAG(x) (ASSERT_STATIC_EXPR_ZERO ((unsigned int)(x) < 32) + (1U << (unsigned int)(x)))
#define FLAG_UNSAFE(x) ((unsigned int)(x) < 32 ? (1U << (unsigned int)(x)) : 0)
#define FLAG_RANGE(x,y) (ASSERT_STATIC_EXPR_ZERO ((x) < (y)) + FLAG(y+1) - FLAG(x))
2011-07-21 05:59:07 +02:00
2011-07-29 23:02:48 +02:00
2014-10-01 17:07:08 +02:00
template <typename T, typename T2> static inline void
hb_stable_sort (T *array, unsigned int len, int(*compar)(const T *, const T *), T2 *array2)
{
for (unsigned int i = 1; i < len; i++)
{
unsigned int j = i;
while (j && compar (&array[j - 1], &array[i]) > 0)
j--;
if (i == j)
continue;
/* Move item i to occupy place for item j, shift what's in between. */
{
2015-09-01 17:11:27 +02:00
T t = array[i];
memmove (&array[j + 1], &array[j], (i - j) * sizeof (T));
array[j] = t;
}
if (array2)
{
2015-09-01 17:11:27 +02:00
T2 t = array2[i];
memmove (&array2[j + 1], &array2[j], (i - j) * sizeof (T2));
array2[j] = t;
}
}
}
2014-10-01 17:28:01 +02:00
template <typename T> static inline void
hb_stable_sort (T *array, unsigned int len, int(*compar)(const T *, const T *))
{
2017-10-15 12:11:08 +02:00
hb_stable_sort (array, len, compar, (int *) nullptr);
}
2012-08-08 04:13:25 +02:00
static inline hb_bool_t
hb_codepoint_parse (const char *s, unsigned int len, int base, hb_codepoint_t *out)
{
/* Pain because we don't know whether s is nul-terminated. */
char buf[64];
len = MIN (ARRAY_LENGTH (buf) - 1, len);
strncpy (buf, s, len);
buf[len] = '\0';
2012-08-08 04:13:25 +02:00
char *end;
errno = 0;
unsigned long v = strtoul (buf, &end, base);
if (errno) return false;
if (*end) return false;
*out = v;
return true;
}
2010-07-23 21:11:18 +02:00
/* Vectorization */
struct HbOpOr
{
static const bool passthru_left = true;
static const bool passthru_right = true;
template <typename T> static void process (T &o, const T &a, const T &b) { o = a | b; }
};
struct HbOpAnd
{
static const bool passthru_left = false;
static const bool passthru_right = false;
template <typename T> static void process (T &o, const T &a, const T &b) { o = a & b; }
};
struct HbOpMinus
{
static const bool passthru_left = true;
static const bool passthru_right = false;
template <typename T> static void process (T &o, const T &a, const T &b) { o = a & ~b; }
};
struct HbOpXor
{
static const bool passthru_left = true;
static const bool passthru_right = true;
template <typename T> static void process (T &o, const T &a, const T &b) { o = a ^ b; }
};
/* Compiler-assisted vectorization. */
/* The `vector_size' attribute was introduced in gcc 3.1. */
#if defined( __GNUC__ ) && ( __GNUC__ >= 4 )
#define HB_VECTOR_SIZE 128
#elif !defined(HB_VECTOR_SIZE)
#define HB_VECTOR_SIZE 0
#endif
/* Type behaving similar to vectorized vars defined using __attribute__((vector_size(...))). */
template <typename elt_t, unsigned int byte_size>
struct hb_vector_size_t
{
elt_t& operator [] (unsigned int i) { return u.v[i]; }
const elt_t& operator [] (unsigned int i) const { return u.v[i]; }
template <class Op>
inline hb_vector_size_t process (const hb_vector_size_t &o) const
{
hb_vector_size_t r;
#if HB_VECTOR_SIZE
if (HB_VECTOR_SIZE && 0 == (byte_size * 8) % HB_VECTOR_SIZE)
for (unsigned int i = 0; i < ARRAY_LENGTH (u.vec); i++)
Op::process (r.u.vec[i], u.vec[i], o.u.vec[i]);
else
#endif
for (unsigned int i = 0; i < ARRAY_LENGTH (u.v); i++)
Op::process (r.u.v[i], u.v[i], o.u.v[i]);
return r;
}
inline hb_vector_size_t operator | (const hb_vector_size_t &o) const
{ return process<HbOpOr> (o); }
inline hb_vector_size_t operator & (const hb_vector_size_t &o) const
{ return process<HbOpAnd> (o); }
inline hb_vector_size_t operator ^ (const hb_vector_size_t &o) const
{ return process<HbOpXor> (o); }
inline hb_vector_size_t operator ~ () const
{
hb_vector_size_t r;
#if HB_VECTOR_SIZE && 0
if (HB_VECTOR_SIZE && 0 == (byte_size * 8) % HB_VECTOR_SIZE)
for (unsigned int i = 0; i < ARRAY_LENGTH (u.vec); i++)
r.u.vec[i] = ~u.vec[i];
else
#endif
for (unsigned int i = 0; i < ARRAY_LENGTH (u.v); i++)
r.u.v[i] = ~u.v[i];
return r;
}
private:
2017-10-15 23:58:58 +02:00
static_assert (byte_size / sizeof (elt_t) * sizeof (elt_t) == byte_size, "");
union {
elt_t v[byte_size / sizeof (elt_t)];
#if HB_VECTOR_SIZE
typedef unsigned long vec_t __attribute__((vector_size (HB_VECTOR_SIZE)));
vec_t vec[byte_size / sizeof (vec_t)];
#endif
} u;
};
/* Global runtime options. */
struct hb_options_t
{
unsigned int initialized : 1;
unsigned int uniscribe_bug_compatible : 1;
};
union hb_options_union_t {
unsigned int i;
hb_options_t opts;
};
static_assert ((sizeof (int) == sizeof (hb_options_union_t)), "");
HB_INTERNAL void
_hb_options_init (void);
extern HB_INTERNAL hb_options_union_t _hb_options;
static inline hb_options_t
hb_options (void)
{
if (unlikely (!_hb_options.i))
_hb_options_init ();
return _hb_options.opts;
}
/* Size signifying variable-sized array */
#define VAR 1
2017-10-30 18:42:28 +01:00
/* String type. */
2018-05-08 10:57:27 +02:00
struct hb_bytes_t
2017-10-30 18:42:28 +01:00
{
2018-05-08 10:57:27 +02:00
inline hb_bytes_t (void) : bytes (nullptr), len (0) {}
inline hb_bytes_t (const char *bytes_, unsigned int len_) : bytes (bytes_), len (len_) {}
2017-10-30 18:42:28 +01:00
2018-05-08 10:57:27 +02:00
inline int cmp (const hb_bytes_t &a) const
2017-10-30 18:42:28 +01:00
{
if (len != a.len)
return (int) a.len - (int) len;
2017-10-30 18:42:28 +01:00
return memcmp (a.bytes, bytes, len);
2017-10-30 18:42:28 +01:00
}
static inline int cmp (const void *pa, const void *pb)
{
2018-05-08 10:57:27 +02:00
hb_bytes_t *a = (hb_bytes_t *) pa;
hb_bytes_t *b = (hb_bytes_t *) pb;
return b->cmp (*a);
2017-10-30 18:42:28 +01:00
}
const char *bytes;
unsigned int len;
};
/* fallback for round() */
#if !defined (HAVE_ROUND) && !defined (HAVE_DECL_ROUND)
static inline double
round (double x)
{
if (x >= 0)
return floor (x + 0.5);
else
return ceil (x - 0.5);
}
#endif
2018-05-08 11:23:36 +02:00
/*
* Null objects
*/
/* Global nul-content Null pool. Enlarge as necessary. */
#define HB_NULL_POOL_SIZE 264
static_assert (HB_NULL_POOL_SIZE % sizeof (void *) == 0, "Align HB_NULL_POOL_SIZE.");
#ifdef HB_NO_VISIBILITY
static
#else
extern HB_INTERNAL
#endif
const void * const _hb_NullPool[HB_NULL_POOL_SIZE / sizeof (void *)]
#ifdef HB_NO_VISIBILITY
= {}
#endif
;
/* Generic nul-content Null objects. */
template <typename Type>
static inline const Type& Null (void) {
static_assert (sizeof (Type) <= HB_NULL_POOL_SIZE, "Increase HB_NULL_POOL_SIZE.");
return *reinterpret_cast<const Type *> (_hb_NullPool);
}
#define Null(Type) Null<Type>()
/* Specializaiton for arbitrary-content arbitrary-sized Null objects. */
#define DEFINE_NULL_DATA(Namespace, Type, data) \
} /* Close namespace. */ \
static const char _Null##Type[sizeof (Namespace::Type) + 1] = data; /* +1 is for nul-termination in data */ \
template <> \
/*static*/ inline const Namespace::Type& Null<Namespace::Type> (void) { \
return *reinterpret_cast<const Namespace::Type *> (_Null##Type); \
} \
namespace Namespace { \
/* The following line really exists such that we end in a place needing semicolon */ \
static_assert (Namespace::Type::min_size + 1 <= sizeof (_Null##Type), "Null pool too small. Enlarge.")
2018-05-08 11:23:36 +02:00
#endif /* HB_PRIVATE_HH */