hb-private.hh 21.7 KB
Newer Older
B
Behdad Esfahbod 已提交
1
/*
B
Behdad Esfahbod 已提交
2
 * Copyright © 2007,2008,2009  Red Hat, Inc.
3
 * Copyright © 2011,2012  Google, Inc.
B
Behdad Esfahbod 已提交
4
 *
B
Behdad Esfahbod 已提交
5
 *  This is part of HarfBuzz, a text shaping library.
B
Behdad Esfahbod 已提交
6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
 *
 * 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
B
Behdad Esfahbod 已提交
26
 * Google Author(s): Behdad Esfahbod
B
Behdad Esfahbod 已提交
27 28
 */

29 30
#ifndef HB_PRIVATE_HH
#define HB_PRIVATE_HH
B
Behdad Esfahbod 已提交
31

B
Minor  
Behdad Esfahbod 已提交
32
#ifdef HAVE_CONFIG_H
B
Behdad Esfahbod 已提交
33 34
#include "config.h"
#endif
B
Behdad Esfahbod 已提交
35

36 37
#include "hb.h"
#define HB_H_IN
B
Minor  
Behdad Esfahbod 已提交
38 39
#ifdef HAVE_OT
#include "hb-ot.h"
40
#define HB_OT_H_IN
B
Minor  
Behdad Esfahbod 已提交
41
#endif
42

B
Behdad Esfahbod 已提交
43
#include <stdlib.h>
44
#include <stddef.h>
B
Behdad Esfahbod 已提交
45 46
#include <string.h>
#include <assert.h>
B
Minor  
Behdad Esfahbod 已提交
47 48 49 50 51

/* We only use these two for debug output.  However, the debug code is
 * always seen by the compiler (and optimized out in non-debug builds.
 * If including these becomes a problem, we can start thinking about
 * someway around that. */
52 53
#include <stdio.h>
#include <errno.h>
54
#include <stdarg.h>
B
Behdad Esfahbod 已提交
55

B
Behdad Esfahbod 已提交
56

B
Behdad Esfahbod 已提交
57 58 59 60 61 62 63

/* Essentials */

#ifndef NULL
# define NULL ((void *) 0)
#endif

B
Behdad Esfahbod 已提交
64

B
Minor  
Behdad Esfahbod 已提交
65 66 67 68
/* Void! */
typedef struct {} void_t;


B
Behdad Esfahbod 已提交
69 70
/* Basics */

71

B
Behdad Esfahbod 已提交
72
#undef MIN
73 74
template <typename Type>
static inline Type MIN (const Type &a, const Type &b) { return a < b ? a : b; }
B
Minor  
Behdad Esfahbod 已提交
75

76
#undef MAX
77 78
template <typename Type>
static inline Type MAX (const Type &a, const Type &b) { return a > b ? a : b; }
79

80

B
Behdad Esfahbod 已提交
81
#undef  ARRAY_LENGTH
82 83
template <typename Type, unsigned int n>
static inline unsigned int ARRAY_LENGTH (const Type (&a)[n]) { return n; }
84 85
/* A const version, but does not detect erratically being called on pointers. */
#define ARRAY_LENGTH_CONST(__array) ((signed int) (sizeof (__array) / sizeof (__array[0])))
86

87 88
#define HB_STMT_START do
#define HB_STMT_END   while (0)
B
Behdad Esfahbod 已提交
89

B
Minor  
Behdad Esfahbod 已提交
90 91 92
#define _ASSERT_STATIC1(_line, _cond)	typedef int _static_assert_on_line_##_line##_failed[(_cond)?1:-1]
#define _ASSERT_STATIC0(_line, _cond)	_ASSERT_STATIC1 (_line, (_cond))
#define ASSERT_STATIC(_cond)		_ASSERT_STATIC0 (__LINE__, (_cond))
B
Behdad Esfahbod 已提交
93

B
Behdad Esfahbod 已提交
94
#define ASSERT_STATIC_EXPR(_cond)((void) sizeof (char[(_cond) ? 1 : -1]))
95
#define ASSERT_STATIC_EXPR_ZERO(_cond) (0 * sizeof (char[(_cond) ? 1 : -1]))
B
Behdad Esfahbod 已提交
96

97 98
#define _PASTE1(a,b) a##b
#define PASTE(a,b) _PASTE1(a,b)
B
Behdad Esfahbod 已提交
99

B
Behdad Esfahbod 已提交
100 101 102 103 104 105 106 107 108 109 110
/* Lets assert int types.  Saves trouble down the road. */

ASSERT_STATIC (sizeof (int8_t) == 1);
ASSERT_STATIC (sizeof (uint8_t) == 1);
ASSERT_STATIC (sizeof (int16_t) == 2);
ASSERT_STATIC (sizeof (uint16_t) == 2);
ASSERT_STATIC (sizeof (int32_t) == 4);
ASSERT_STATIC (sizeof (uint32_t) == 4);
ASSERT_STATIC (sizeof (int64_t) == 8);
ASSERT_STATIC (sizeof (uint64_t) == 8);

B
Behdad Esfahbod 已提交
111 112 113
ASSERT_STATIC (sizeof (hb_codepoint_t) == 4);
ASSERT_STATIC (sizeof (hb_position_t) == 4);
ASSERT_STATIC (sizeof (hb_mask_t) == 4);
114
ASSERT_STATIC (sizeof (hb_var_int_t) == 4);
B
Behdad Esfahbod 已提交
115

116 117 118

/* We like our types POD */

B
Minor  
Behdad Esfahbod 已提交
119 120 121
#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)
122 123

#ifdef __GNUC__
B
Behdad Esfahbod 已提交
124 125 126 127 128
# define _ASSERT_INSTANCE_POD1(_line, _instance) \
	HB_STMT_START { \
		typedef __typeof__(_instance) _type_##_line; \
		_ASSERT_TYPE_POD1 (_line, _type_##_line); \
	} HB_STMT_END
129
#else
B
Minor  
Behdad Esfahbod 已提交
130
# define _ASSERT_INSTANCE_POD1(_line, _instance)	typedef int _assertion_on_line_##_line##_not_tested
131
#endif
B
Minor  
Behdad Esfahbod 已提交
132 133
# define _ASSERT_INSTANCE_POD0(_line, _instance)	_ASSERT_INSTANCE_POD1 (_line, _instance)
# define ASSERT_INSTANCE_POD(_instance)			_ASSERT_INSTANCE_POD0 (__LINE__, _instance)
134 135 136

/* Check _assertion in a method environment */
#define _ASSERT_POD1(_line) \
B
Minor  
Behdad Esfahbod 已提交
137 138 139 140
	inline void _static_assertion_on_line_##_line (void) const \
	{ _ASSERT_INSTANCE_POD1 (_line, *this); /* Make sure it's POD. */ }
# define _ASSERT_POD0(_line)	_ASSERT_POD1 (_line)
# define ASSERT_POD()		_ASSERT_POD0 (__LINE__)
141 142 143



B
Behdad Esfahbod 已提交
144 145
/* Misc */

B
Behdad Esfahbod 已提交
146

B
Behdad Esfahbod 已提交
147
#if defined(__GNUC__) && (__GNUC__ > 2) && defined(__OPTIMIZE__)
148
#define _HB_BOOLEAN_EXPR(expr) ((expr) ? 1 : 0)
149 150
#define likely(expr) (__builtin_expect (_HB_BOOLEAN_EXPR(expr), 1))
#define unlikely(expr) (__builtin_expect (_HB_BOOLEAN_EXPR(expr), 0))
B
Behdad Esfahbod 已提交
151
#else
152 153
#define likely(expr) (expr)
#define unlikely(expr) (expr)
B
Behdad Esfahbod 已提交
154 155 156 157 158 159 160 161
#endif

#ifndef __GNUC__
#undef __attribute__
#define __attribute__(x)
#endif

#if __GNUC__ >= 3
162 163
#define HB_PURE_FUNC	__attribute__((pure))
#define HB_CONST_FUNC	__attribute__((const))
164
#define HB_PRINTF_FUNC(format_idx, arg_idx) __attribute__((__format__ (__printf__, format_idx, arg_idx)))
B
Behdad Esfahbod 已提交
165
#else
166 167
#define HB_PURE_FUNC
#define HB_CONST_FUNC
B
Behdad Esfahbod 已提交
168
#define HB_PRINTF_FUNC(format_idx, arg_idx)
B
Behdad Esfahbod 已提交
169
#endif
170
#if __GNUC__ >= 4
171
#define HB_UNUSED	__attribute__((unused))
172
#else
173
#define HB_UNUSED
174
#endif
B
Behdad Esfahbod 已提交
175

B
Behdad Esfahbod 已提交
176
#ifndef HB_INTERNAL
B
Behdad Esfahbod 已提交
177 178 179 180 181
# ifndef __MINGW32__
#  define HB_INTERNAL __attribute__((__visibility__("hidden")))
# else
#  define HB_INTERNAL
# endif
B
Behdad Esfahbod 已提交
182 183
#endif

B
Behdad Esfahbod 已提交
184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199

#if (defined(__WIN32__) && !defined(__WINE__)) || defined(_MSC_VER)
#define snprintf _snprintf
#endif

#ifdef _MSC_VER
#undef inline
#define inline __inline
#endif

#ifdef __STRICT_ANSI__
#undef inline
#define inline __inline__
#endif


200 201 202 203 204 205 206 207 208
#if __GNUC__ >= 3
#define HB_FUNC __PRETTY_FUNCTION__
#elif defined(_MSC_VER)
#define HB_FUNC __FUNCSIG__
#else
#define HB_FUNC __func__
#endif


B
Behdad Esfahbod 已提交
209
/* Return the number of 1 bits in mask. */
B
Behdad Esfahbod 已提交
210
static inline HB_CONST_FUNC unsigned int
B
Behdad Esfahbod 已提交
211 212 213
_hb_popcount32 (uint32_t mask)
{
#if __GNUC__ > 3 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 4)
B
Behdad Esfahbod 已提交
214
  return __builtin_popcount (mask);
B
Behdad Esfahbod 已提交
215
#else
B
Behdad Esfahbod 已提交
216 217 218 219 220
  /* "HACKMEM 169" */
  register uint32_t y;
  y = (mask >> 1) &033333333333;
  y = mask - y - ((y >>1) & 033333333333);
  return (((y + (y >> 3)) & 030707070707) % 077);
B
Behdad Esfahbod 已提交
221 222 223
#endif
}

B
Behdad Esfahbod 已提交
224 225 226 227 228
/* Returns the number of bits needed to store number */
static inline HB_CONST_FUNC unsigned int
_hb_bit_storage (unsigned int number)
{
#if defined(__GNUC__) && (__GNUC__ >= 4) && defined(__OPTIMIZE__)
B
Behdad Esfahbod 已提交
229
  return likely (number) ? (sizeof (unsigned int) * 8 - __builtin_clz (number)) : 0;
B
Behdad Esfahbod 已提交
230 231 232 233 234 235 236 237 238
#else
  register unsigned int n_bits = 0;
  while (number) {
    n_bits++;
    number >>= 1;
  }
  return n_bits;
#endif
}
B
Behdad Esfahbod 已提交
239

B
Behdad Esfahbod 已提交
240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256
/* Returns the number of zero bits in the least significant side of number */
static inline HB_CONST_FUNC unsigned int
_hb_ctz (unsigned int number)
{
#if defined(__GNUC__) && (__GNUC__ >= 4) && defined(__OPTIMIZE__)
  return likely (number) ? __builtin_ctz (number) : 0;
#else
  register unsigned int n_bits = 0;
  if (unlikely (!number)) return 0;
  while (!(number & 1)) {
    n_bits++;
    number >>= 1;
  }
  return n_bits;
#endif
}

257 258 259 260 261 262 263
static inline bool
_hb_unsigned_int_mul_overflows (unsigned int count, unsigned int size)
{
  return (size > 0) && (count >= ((unsigned int) -1) / size);
}


B
Behdad Esfahbod 已提交
264 265 266 267
/* Type of bsearch() / qsort() compare function */
typedef int (*hb_compare_func_t) (const void *, const void *);


B
Behdad Esfahbod 已提交
268 269 270 271 272


/* arrays and maps */


B
Behdad Esfahbod 已提交
273
#define HB_PREALLOCED_ARRAY_INIT {0}
B
Behdad Esfahbod 已提交
274
template <typename Type, unsigned int StaticSize>
B
Behdad Esfahbod 已提交
275 276
struct hb_prealloced_array_t
{
B
Behdad Esfahbod 已提交
277 278 279 280 281
  unsigned int len;
  unsigned int allocated;
  Type *array;
  Type static_array[StaticSize];

282
  void init (void) { memset (this, 0, sizeof (*this)); }
283

284 285
  inline Type& operator [] (unsigned int i) { return array[i]; }
  inline const Type& operator [] (unsigned int i) const { return array[i]; }
B
Behdad Esfahbod 已提交
286 287 288 289 290 291 292 293 294

  inline Type *push (void)
  {
    if (!array) {
      array = static_array;
      allocated = ARRAY_LENGTH (static_array);
    }
    if (likely (len < allocated))
      return &array[len++];
295

B
Behdad Esfahbod 已提交
296 297
    /* Need to reallocate */
    unsigned int new_allocated = allocated + (allocated >> 1) + 8;
298 299
    Type *new_array = NULL;

B
Behdad Esfahbod 已提交
300 301
    if (array == static_array) {
      new_array = (Type *) calloc (new_allocated, sizeof (Type));
302
      if (new_array)
B
Behdad Esfahbod 已提交
303 304
        memcpy (new_array, array, len * sizeof (Type));
    } else {
305
      bool overflows = (new_allocated < allocated) || _hb_unsigned_int_mul_overflows (new_allocated, sizeof (Type));
306
      if (likely (!overflows)) {
B
Behdad Esfahbod 已提交
307 308 309
	new_array = (Type *) realloc (array, new_allocated * sizeof (Type));
      }
    }
310 311

    if (unlikely (!new_array))
B
Behdad Esfahbod 已提交
312
      return NULL;
313 314 315 316

    array = new_array;
    allocated = new_allocated;
    return &array[len++];
B
Behdad Esfahbod 已提交
317 318 319 320 321 322 323
  }

  inline void pop (void)
  {
    len--;
    /* TODO: shrink array if needed */
  }
324 325 326 327 328 329 330 331

  inline void shrink (unsigned int l)
  {
     if (l < len)
       len = l;
    /* TODO: shrink array if needed */
  }

332 333 334 335 336 337 338 339 340 341 342 343 344 345 346
  template <typename T>
  inline Type *find (T v) {
    for (unsigned int i = 0; i < len; i++)
      if (array[i] == v)
	return &array[i];
    return NULL;
  }
  template <typename T>
  inline const Type *find (T v) const {
    for (unsigned int i = 0; i < len; i++)
      if (array[i] == v)
	return &array[i];
    return NULL;
  }

347 348 349 350
  inline void sort (void)
  {
    qsort (array, len, sizeof (Type), (hb_compare_func_t) Type::cmp);
  }
351

352 353 354 355 356
  inline void sort (unsigned int start, unsigned int end)
  {
    qsort (array + start, end - start, sizeof (Type), (hb_compare_func_t) Type::cmp);
  }

357 358 359 360 361 362 363 364 365 366
  template <typename T>
  inline Type *bsearch (T *key)
  {
    return (Type *) ::bsearch (key, array, len, sizeof (Type), (hb_compare_func_t) Type::cmp);
  }
  template <typename T>
  inline const Type *bsearch (T *key) const
  {
    return (const Type *) ::bsearch (key, array, len, sizeof (Type), (hb_compare_func_t) Type::cmp);
  }
B
Behdad Esfahbod 已提交
367 368 369 370 371 372 373 374

  inline void finish (void)
  {
    if (array != static_array)
      free (array);
    array = NULL;
    allocated = len = 0;
  }
B
Behdad Esfahbod 已提交
375 376
};

377

B
Behdad Esfahbod 已提交
378
#define HB_LOCKABLE_SET_INIT {HB_PREALLOCED_ARRAY_INIT}
379 380
template <typename item_t, typename lock_t>
struct hb_lockable_set_t
B
Behdad Esfahbod 已提交
381
{
B
Behdad Esfahbod 已提交
382
  hb_prealloced_array_t <item_t, 2> items;
B
Behdad Esfahbod 已提交
383

384 385
  inline void init (void) { items.init (); }

386
  template <typename T>
387
  inline item_t *replace_or_insert (T v, lock_t &l, bool replace)
B
Behdad Esfahbod 已提交
388
  {
389
    l.lock ();
390
    item_t *item = items.find (v);
391
    if (item) {
392 393 394 395 396 397 398 399 400 401
      if (replace) {
	item_t old = *item;
	*item = v;
	l.unlock ();
	old.finish ();
      }
      else {
        item = NULL;
	l.unlock ();
      }
402
    } else {
B
Behdad Esfahbod 已提交
403
      item = items.push ();
404 405 406 407
      if (likely (item))
	*item = v;
      l.unlock ();
    }
408
    return item;
B
Behdad Esfahbod 已提交
409 410
  }

411
  template <typename T>
412
  inline void remove (T v, lock_t &l)
B
Behdad Esfahbod 已提交
413
  {
414
    l.lock ();
415
    item_t *item = items.find (v);
416 417 418 419 420 421 422 423 424
    if (item) {
      item_t old = *item;
      *item = items[items.len - 1];
      items.pop ();
      l.unlock ();
      old.finish ();
    } else {
      l.unlock ();
    }
B
Behdad Esfahbod 已提交
425
  }
426

427
  template <typename T>
428
  inline bool find (T v, item_t *i, lock_t &l)
B
Behdad Esfahbod 已提交
429
  {
430 431 432 433 434 435
    l.lock ();
    item_t *item = items.find (v);
    if (item)
      *i = *item;
    l.unlock ();
    return !!item;
436 437
  }

438
  template <typename T>
439 440 441 442
  inline item_t *find_or_insert (T v, lock_t &l)
  {
    l.lock ();
    item_t *item = items.find (v);
443 444 445 446 447
    if (!item) {
      item = items.push ();
      if (likely (item))
        *item = v;
    }
448
    l.unlock ();
449 450 451
    return item;
  }

452 453
  inline void finish (lock_t &l)
  {
454 455 456 457 458
    if (!items.len) {
      /* No need for locking. */
      items.finish ();
      return;
    }
459 460 461 462 463 464 465 466
    l.lock ();
    while (items.len) {
      item_t old = items[items.len - 1];
	items.pop ();
	l.unlock ();
	old.finish ();
	l.lock ();
    }
B
Behdad Esfahbod 已提交
467
    items.finish ();
468 469 470 471 472
    l.unlock ();
  }

};

B
Behdad Esfahbod 已提交
473

474 475


B
Behdad Esfahbod 已提交
476 477
/* Big-endian handling */

478 479 480
static inline uint16_t hb_be_uint16 (const uint16_t v)
{
  const uint8_t *V = (const uint8_t *) &v;
B
Behdad Esfahbod 已提交
481 482 483 484 485 486 487 488 489 490 491
  return (V[0] << 8) | V[1];
}

static inline uint16_t hb_uint16_swap (const uint16_t v)
{
  return (v >> 8) | (v << 8);
}

static inline uint32_t hb_uint32_swap (const uint32_t v)
{
  return (hb_uint16_swap (v) << 16) | hb_uint16_swap (v >> 16);
492
}
B
Behdad Esfahbod 已提交
493

B
Behdad Esfahbod 已提交
494 495 496 497 498 499 500 501
/* Note, of the following macros, uint16_get is the one called many many times.
 * If there is any optimizations to be done, it's in that macro.  However, I
 * already confirmed that on my T400 ThinkPad at least, using bswap_16(), which
 * results in a single ror instruction, does NOT speed this up.  In fact, it
 * resulted in a minor slowdown.  At any rate, note that v may not be correctly
 * aligned, so I think the current implementation is optimal.
 */

502
#define hb_be_uint16_put(v,V)	HB_STMT_START { v[0] = (V>>8); v[1] = (V); } HB_STMT_END
B
Behdad Esfahbod 已提交
503
#define hb_be_uint16_get(v)	(uint16_t) ((v[0] << 8) + v[1])
504
#define hb_be_uint16_eq(a,b)	(a[0] == b[0] && a[1] == b[1])
B
Behdad Esfahbod 已提交
505

506
#define hb_be_uint32_put(v,V)	HB_STMT_START { v[0] = (V>>24); v[1] = (V>>16); v[2] = (V>>8); v[3] = (V); } HB_STMT_END
B
Behdad Esfahbod 已提交
507
#define hb_be_uint32_get(v)	(uint32_t) ((v[0] << 24) + (v[1] << 16) + (v[2] << 8) + v[3])
508
#define hb_be_uint32_eq(a,b)	(a[0] == b[0] && a[1] == b[1] && a[2] == b[2] && a[3] == b[3])
B
Behdad Esfahbod 已提交
509 510


B
Behdad Esfahbod 已提交
511
/* ASCII tag/character handling */
B
Behdad Esfahbod 已提交
512

513 514 515 516 517 518 519 520
static inline unsigned char ISALPHA (unsigned char c)
{ return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z'); }
static inline unsigned char ISALNUM (unsigned char c)
{ return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || (c >= '0' && c <= '9'); }
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; }
B
Behdad Esfahbod 已提交
521

B
Behdad Esfahbod 已提交
522 523 524 525 526
#define HB_TAG_CHAR4(s)   (HB_TAG(((const char *) s)[0], \
				  ((const char *) s)[1], \
				  ((const char *) s)[2], \
				  ((const char *) s)[3]))

B
Behdad Esfahbod 已提交
527

B
Behdad Esfahbod 已提交
528 529 530 531 532
/* C++ helpers */

/* Makes class uncopyable.  Use in private: section. */
#define NO_COPY(T) \
  T (const T &o); \
B
Behdad Esfahbod 已提交
533
  T &operator = (const T &o)
B
Behdad Esfahbod 已提交
534 535


B
Behdad Esfahbod 已提交
536 537
/* Debug */

538

B
Behdad Esfahbod 已提交
539 540 541 542
#ifndef HB_DEBUG
#define HB_DEBUG 0
#endif

543 544 545 546 547 548 549 550
static inline bool
_hb_debug (unsigned int level,
	   unsigned int max_level)
{
  return level < max_level;
}

#define DEBUG_LEVEL(WHAT, LEVEL) (_hb_debug ((LEVEL), HB_DEBUG_##WHAT))
551 552
#define DEBUG(WHAT) (DEBUG_LEVEL (WHAT, 0))

553
template <int max_level> static inline void
554
_hb_debug_msg_va (const char *what,
B
Behdad Esfahbod 已提交
555 556 557 558 559 560 561
		  const void *obj,
		  const char *func,
		  bool indented,
		  unsigned int level,
		  int level_dir,
		  const char *message,
		  va_list ap)
562
{
B
Behdad Esfahbod 已提交
563
  if (!_hb_debug (level, max_level))
B
Minor  
Behdad Esfahbod 已提交
564
    return;
B
Behdad Esfahbod 已提交
565 566 567 568

  fprintf (stderr, "%-10s", what ? what : "");

  if (obj)
B
/Minor/  
Behdad Esfahbod 已提交
569
    fprintf (stderr, "(%0*lx) ", (unsigned int) (2 * sizeof (void *)), (unsigned long) obj);
B
Behdad Esfahbod 已提交
570 571 572
  else
    fprintf (stderr, " %*s  ", (unsigned int) (2 * sizeof (void *)), "");

573
  if (indented) {
574 575 576 577 578 579 580 581 582
/* One may want to add ASCII version of these.  See:
 * https://bugs.freedesktop.org/show_bug.cgi?id=50970 */
#define VBAR	"\342\224\202"	/* U+2502 BOX DRAWINGS LIGHT VERTICAL */
#define VRBAR	"\342\224\234"	/* U+251C BOX DRAWINGS LIGHT VERTICAL AND RIGHT */
#define DLBAR	"\342\225\256"	/* U+256E BOX DRAWINGS LIGHT ARC DOWN AND LEFT */
#define ULBAR	"\342\225\257"	/* U+256F BOX DRAWINGS LIGHT ARC UP AND LEFT */
#define LBAR	"\342\225\264"	/* U+2574 BOX DRAWINGS LIGHT LEFT */
    static const char bars[] = VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR VBAR;
    fprintf (stderr, "%2d %s" VRBAR "%s",
B
Behdad Esfahbod 已提交
583
	     level,
584 585
	     bars + sizeof (bars) - 1 - MIN ((unsigned int) sizeof (bars), (unsigned int) (sizeof (VBAR) - 1) * level),
	     level_dir ? (level_dir > 0 ? DLBAR : ULBAR) : LBAR);
586
  } else
587
    fprintf (stderr, "   " VRBAR LBAR);
B
Behdad Esfahbod 已提交
588

589
  if (func) {
590
    /* Skip return type */
591
    const char *space = strchr (func, ' ');
592
    if (space)
593
      func = space + 1;
594 595 596
    /* Skip parameter list */
    const char *paren = strchr (func, '(');
    unsigned int func_len = paren ? paren - func : strlen (func);
597
    fprintf (stderr, "%.*s: ", func_len, func);
598
  }
B
Behdad Esfahbod 已提交
599 600 601 602 603

  if (message)
    vfprintf (stderr, message, ap);

  fprintf (stderr, "\n");
604
}
B
Minor  
Behdad Esfahbod 已提交
605
template <> inline void
B
Behdad Esfahbod 已提交
606 607 608 609 610 611 612 613
_hb_debug_msg_va<0> (const char *what HB_UNUSED,
		     const void *obj HB_UNUSED,
		     const char *func HB_UNUSED,
		     bool indented HB_UNUSED,
		     unsigned int level HB_UNUSED,
		     int level_dir HB_UNUSED,
		     const char *message HB_UNUSED,
		     va_list ap HB_UNUSED) {}
614

615
template <int max_level> static inline void
616 617 618 619
_hb_debug_msg (const char *what,
	       const void *obj,
	       const char *func,
	       bool indented,
B
Behdad Esfahbod 已提交
620 621
	       unsigned int level,
	       int level_dir,
622
	       const char *message,
B
Behdad Esfahbod 已提交
623
	       ...) HB_PRINTF_FUNC(7, 8);
624
template <int max_level> static inline void
625 626 627 628
_hb_debug_msg (const char *what,
	       const void *obj,
	       const char *func,
	       bool indented,
B
Behdad Esfahbod 已提交
629 630
	       unsigned int level,
	       int level_dir,
631 632 633 634 635
	       const char *message,
	       ...)
{
  va_list ap;
  va_start (ap, message);
B
Minor  
Behdad Esfahbod 已提交
636
  _hb_debug_msg_va<max_level> (what, obj, func, indented, level, level_dir, message, ap);
637 638
  va_end (ap);
}
B
Minor  
Behdad Esfahbod 已提交
639
template <> inline void
B
Behdad Esfahbod 已提交
640 641 642 643 644 645 646
_hb_debug_msg<0> (const char *what HB_UNUSED,
		  const void *obj HB_UNUSED,
		  const char *func HB_UNUSED,
		  bool indented HB_UNUSED,
		  unsigned int level HB_UNUSED,
		  int level_dir HB_UNUSED,
		  const char *message HB_UNUSED,
B
Behdad Esfahbod 已提交
647
		  ...) HB_PRINTF_FUNC(7, 8);
B
Minor  
Behdad Esfahbod 已提交
648
template <> inline void
B
Behdad Esfahbod 已提交
649 650 651 652 653 654 655
_hb_debug_msg<0> (const char *what HB_UNUSED,
		  const void *obj HB_UNUSED,
		  const char *func HB_UNUSED,
		  bool indented HB_UNUSED,
		  unsigned int level HB_UNUSED,
		  int level_dir HB_UNUSED,
		  const char *message HB_UNUSED,
B
Minor  
Behdad Esfahbod 已提交
656
		  ...) {}
B
Behdad Esfahbod 已提交
657

658 659 660
#define DEBUG_MSG_LEVEL(WHAT, OBJ, LEVEL, LEVEL_DIR, ...)	_hb_debug_msg<HB_DEBUG_##WHAT> (#WHAT, (OBJ), NULL,    true, (LEVEL), (LEVEL_DIR), __VA_ARGS__)
#define DEBUG_MSG(WHAT, OBJ, ...) 				_hb_debug_msg<HB_DEBUG_##WHAT> (#WHAT, (OBJ), NULL,    false, 0, 0, __VA_ARGS__)
#define DEBUG_MSG_FUNC(WHAT, OBJ, ...)				_hb_debug_msg<HB_DEBUG_##WHAT> (#WHAT, (OBJ), HB_FUNC, false, 0, 0, __VA_ARGS__)
661 662


B
Minor  
Behdad Esfahbod 已提交
663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680
/*
 * Printer
 */

template <typename T>
struct hb_printer_t {};

template <>
struct hb_printer_t<bool> {
  const char *print (bool v) { return v ? "true" : "false"; }
};

template <>
struct hb_printer_t<void_t> {
  const char *print (void_t v) { return ""; }
};


681 682 683 684
/*
 * Trace
 */

685
template <int max_level>
686 687
struct hb_auto_trace_t {
  explicit inline hb_auto_trace_t (unsigned int *plevel_,
B
Behdad Esfahbod 已提交
688 689
				   const char *what_,
				   const void *obj_,
690
				   const char *func,
691
				   const char *message,
B
Behdad Esfahbod 已提交
692
				   ...) : plevel (plevel_), what (what_), obj (obj_), returned (false)
693
  {
B
Behdad Esfahbod 已提交
694
    if (plevel) ++*plevel;
695 696 697

    va_list ap;
    va_start (ap, message);
698
    _hb_debug_msg_va<max_level> (what, obj, func, true, plevel ? *plevel : 0, +1, message, ap);
699
    va_end (ap);
700
  }
701
  inline ~hb_auto_trace_t (void)
B
Behdad Esfahbod 已提交
702
  {
703 704
    if (unlikely (!returned)) {
      fprintf (stderr, "OUCH, returned with no call to TRACE_RETURN.  This is a bug, please report.  Level was %d.\n", plevel ? *plevel : -1);
705
      _hb_debug_msg<max_level> (what, obj, NULL, true, plevel ? *plevel : 1, -1, " ");
706 707
      return;
    }
B
Behdad Esfahbod 已提交
708 709 710

    if (plevel) --*plevel;
  }
711

B
Minor  
Behdad Esfahbod 已提交
712 713
  template <typename T>
  inline T ret (T v, unsigned int line = 0)
714 715 716 717 718 719
  {
    if (unlikely (returned)) {
      fprintf (stderr, "OUCH, double calls to TRACE_RETURN.  This is a bug, please report.\n");
      return v;
    }

B
Minor  
Behdad Esfahbod 已提交
720
    _hb_debug_msg<max_level> (what, obj, NULL, true, plevel ? *plevel : 1, -1, "return %s (line %d)", hb_printer_t<bool>().print (v), line);
721 722 723 724 725 726
    if (plevel) --*plevel;
    plevel = NULL;
    returned = true;
    return v;
  }

727 728
  private:
  unsigned int *plevel;
B
Behdad Esfahbod 已提交
729 730
  const char *what;
  const void *obj;
B
Behdad Esfahbod 已提交
731
  bool returned;
732
};
733 734
template <> /* Optimize when tracing is disabled */
struct hb_auto_trace_t<0> {
B
Behdad Esfahbod 已提交
735 736 737 738 739
  explicit inline hb_auto_trace_t (unsigned int *plevel_ HB_UNUSED,
				   const char *what HB_UNUSED,
				   const void *obj HB_UNUSED,
				   const char *func HB_UNUSED,
				   const char *message HB_UNUSED,
740
				   ...) {}
741 742

  template <typename T>
743
  inline T ret (T v, unsigned int line = 0) { return v; }
744 745
};

746
#define TRACE_RETURN(RET) trace.ret (RET, __LINE__)
747 748 749

/* Misc */

B
Behdad Esfahbod 已提交
750

B
Minor  
Behdad Esfahbod 已提交
751 752 753 754
/* Pre-mature optimization:
 * Checks for lo <= u <= hi but with an optimization if lo and hi
 * are only different in a contiguous set of lower-most bits.
 */
B
Behdad Esfahbod 已提交
755
template <typename T> static inline bool
B
Minor  
Behdad Esfahbod 已提交
756
hb_in_range (T u, T lo, T hi)
B
Minor  
Behdad Esfahbod 已提交
757 758 759 760 761 762 763 764 765
{
  if ( ((lo^hi) & lo) == 0 &&
       ((lo^hi) & hi) == (lo^hi) &&
       ((lo^hi) & ((lo^hi) + 1)) == 0 )
    return (u & ~(lo^hi)) == lo;
  else
    return lo <= u && u <= hi;
}

766
template <typename T> static inline bool
B
Behdad Esfahbod 已提交
767
hb_in_ranges (T u, T lo1, T hi1, T lo2, T hi2, T lo3, T hi3)
768
{
B
Behdad Esfahbod 已提交
769
  return hb_in_range (u, lo1, hi1) || hb_in_range (u, lo2, hi2) || hb_in_range (u, lo3, hi3);
770 771
}

B
Minor  
Behdad Esfahbod 已提交
772

B
Behdad Esfahbod 已提交
773 774 775 776
/* Useful for set-operations on small enums.
 * For example, for testing "x ∈ {x1, x2, x3}" use:
 * (FLAG(x) & (FLAG(x1) | FLAG(x2) | FLAG(x3)))
 */
B
Behdad Esfahbod 已提交
777
#define FLAG(x) (1<<(x))
778
#define FLAG_RANGE(x,y) (ASSERT_STATIC_EXPR_ZERO ((x) < (y)) + FLAG(y+1) - FLAG(x))
B
Minor  
Behdad Esfahbod 已提交
779

B
Minor  
Behdad Esfahbod 已提交
780

781 782
template <typename T, typename T2> inline void
hb_bubble_sort (T *array, unsigned int len, int(*compar)(const T *, const T *), T2 *array2)
B
Behdad Esfahbod 已提交
783 784 785 786 787 788 789 790 791
{
  if (unlikely (!len))
    return;

  unsigned int k = len - 1;
  do {
    unsigned int new_k = 0;

    for (unsigned int j = 0; j < k; j++)
792 793 794 795 796 797 798 799 800 801 802 803 804 805 806
      if (compar (&array[j], &array[j+1]) > 0)
      {
        {
	  T t;
	  t = array[j];
	  array[j] = array[j + 1];
	  array[j + 1] = t;
	}
        if (array2)
        {
	  T2 t;
	  t = array2[j];
	  array2[j] = array2[j + 1];
	  array2[j + 1] = t;
	}
B
Behdad Esfahbod 已提交
807 808 809 810 811 812 813

	new_k = j;
      }
    k = new_k;
  } while (k);
}

814 815 816 817 818
template <typename T> inline void
hb_bubble_sort (T *array, unsigned int len, int(*compar)(const T *, const T *))
{
  hb_bubble_sort (array, len, compar, (int *) NULL);
}
B
Behdad Esfahbod 已提交
819

820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835
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];
  strncpy (buf, s, MIN (ARRAY_LENGTH (buf) - 1, len));
  buf[MIN (ARRAY_LENGTH (buf) - 1, len)] = '\0';

  char *end;
  errno = 0;
  unsigned long v = strtoul (buf, &end, base);
  if (errno) return false;
  if (*end) return false;
  *out = v;
  return true;
}
B
Behdad Esfahbod 已提交
836

B
Behdad Esfahbod 已提交
837

838
#endif /* HB_PRIVATE_HH */