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

#ifndef HB_SET_PRIVATE_HH
#define HB_SET_PRIVATE_HH

#include "hb-private.hh"
#include "hb-object-private.hh"


B
Behdad Esfahbod 已提交
34 35 36
/*
 * hb_set_t
 */
B
Behdad Esfahbod 已提交
37

38 39 40
/* TODO Keep a free-list so we can free pages that are completely zeroed.  At that
 * point maybe also use a sentinel value for "all-1" pages? */

41
struct hb_set_t
B
Behdad Esfahbod 已提交
42
{
B
Behdad Esfahbod 已提交
43 44 45 46 47 48 49 50 51 52
  struct page_map_t
  {
    inline int cmp (const page_map_t *o) const { return (int) o->major - (int) major; }

    uint32_t major;
    uint32_t index;
  };

  struct page_t
  {
B
Behdad Esfahbod 已提交
53 54
    inline void init0 (void) { memset (&v, 0, sizeof (v)); }
    inline void init1 (void) { memset (&v, 0xff, sizeof (v)); }
B
Behdad Esfahbod 已提交
55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70

    inline unsigned int len (void) const
    { return ARRAY_LENGTH_CONST (v); }

    inline bool is_empty (void) const
    {
      for (unsigned int i = 0; i < len (); i++)
        if (v[i])
	  return false;
      return true;
    }

    inline void add (hb_codepoint_t g) { elt (g) |= mask (g); }
    inline void del (hb_codepoint_t g) { elt (g) &= ~mask (g); }
    inline bool has (hb_codepoint_t g) const { return !!(elt (g) & mask (g)); }

B
Behdad Esfahbod 已提交
71 72
    inline void add_range (hb_codepoint_t a, hb_codepoint_t b)
    {
73 74 75 76 77 78 79 80
      elt_t *la = &elt (a);
      elt_t *lb = &elt (b);
      if (la == lb)
        *la |= (mask (b) << 1) - mask(a);
      else
      {
	*la |= ~(mask (a) - 1);
	la++;
81

82
	memset (la, 0xff, (char *) lb - (char *) la);
83

84 85
	*lb |= ((mask (b) << 1) - 1);
      }
B
Behdad Esfahbod 已提交
86 87
    }

B
Behdad Esfahbod 已提交
88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111
    inline bool is_equal (const page_t *other) const
    {
      return 0 == memcmp (&v, &other->v, sizeof (v));
    }

    inline unsigned int get_population (void) const
    {
      unsigned int pop = 0;
      for (unsigned int i = 0; i < len (); i++)
        pop += _hb_popcount (v[i]);
      return pop;
    }

    inline bool next (hb_codepoint_t *codepoint) const
    {
      unsigned int m = (*codepoint + 1) & MASK;
      if (!m)
      {
	*codepoint = INVALID;
	return false;
      }
      unsigned int i = m / ELT_BITS;
      unsigned int j = m & ELT_MASK;

112 113 114 115 116 117 118
      const elt_t vv = v[i] & ~((elt_t (1) << j) - 1);
      for (const elt_t *p = &vv; i < len (); p = &v[++i])
	if (*p)
	{
	  *codepoint = i * ELT_BITS + elt_get_min (*p);
	  return true;
	}
B
Behdad Esfahbod 已提交
119 120 121

      *codepoint = INVALID;
      return false;
B
Behdad Esfahbod 已提交
122 123 124 125 126 127 128 129 130 131 132 133
    }
    inline bool previous (hb_codepoint_t *codepoint) const
    {
      unsigned int m = (*codepoint - 1) & MASK;
      if (m == MASK)
      {
	*codepoint = INVALID;
	return false;
      }
      unsigned int i = m / ELT_BITS;
      unsigned int j = m & ELT_MASK;

134 135 136 137 138 139 140
      const elt_t vv = v[i] & ((elt_t (1) << (j + 1)) - 1);
      for (const elt_t *p = &vv; (int) i >= 0; p = &v[--i])
	if (*p)
	{
	  *codepoint = i * ELT_BITS + elt_get_max (*p);
	  return true;
	}
B
Behdad Esfahbod 已提交
141 142 143

      *codepoint = INVALID;
      return false;
B
Behdad Esfahbod 已提交
144 145 146 147 148
    }
    inline hb_codepoint_t get_min (void) const
    {
      for (unsigned int i = 0; i < len (); i++)
        if (v[i])
149
	  return i * ELT_BITS + elt_get_min (v[i]);
B
Behdad Esfahbod 已提交
150 151 152 153 154 155
      return INVALID;
    }
    inline hb_codepoint_t get_max (void) const
    {
      for (int i = len () - 1; i >= 0; i--)
        if (v[i])
156
	  return i * ELT_BITS + elt_get_max (v[i]);
B
Behdad Esfahbod 已提交
157 158 159
      return 0;
    }

B
Behdad Esfahbod 已提交
160 161
    typedef unsigned long long elt_t;
    static const unsigned int PAGE_BITS = 1024;
B
Behdad Esfahbod 已提交
162 163
    static_assert ((PAGE_BITS & ((PAGE_BITS) - 1)) == 0, "");

164 165 166
    static inline unsigned int elt_get_min (const elt_t &elt) { return _hb_ctz (elt); }
    static inline unsigned int elt_get_max (const elt_t &elt) { return _hb_bit_storage (elt) - 1; }

B
Behdad Esfahbod 已提交
167 168
#if 0 && HAVE_VECTOR_SIZE
    /* The vectorized version does not work with clang as non-const
B
Ouch.  
Behdad Esfahbod 已提交
169
     * elt() errs "non-const reference cannot bind to vector element". */
B
Behdad Esfahbod 已提交
170 171
    typedef elt_t vector_t __attribute__((vector_size (PAGE_BITS / 8)));
#else
172
    typedef hb_vector_size_t<elt_t, PAGE_BITS / 8> vector_t;
B
Behdad Esfahbod 已提交
173 174 175 176
#endif

    vector_t v;

B
Behdad Esfahbod 已提交
177
    static const unsigned int ELT_BITS = sizeof (elt_t) * 8;
B
Behdad Esfahbod 已提交
178
    static const unsigned int ELT_MASK = ELT_BITS - 1;
B
Behdad Esfahbod 已提交
179
    static const unsigned int BITS = sizeof (vector_t) * 8;
B
Behdad Esfahbod 已提交
180 181 182 183 184 185 186
    static const unsigned int MASK = BITS - 1;
    static_assert (PAGE_BITS == BITS, "");

    elt_t &elt (hb_codepoint_t g) { return v[(g & MASK) / ELT_BITS]; }
    elt_t const &elt (hb_codepoint_t g) const { return v[(g & MASK) / ELT_BITS]; }
    elt_t mask (hb_codepoint_t g) const { return elt_t (1) << (g & ELT_MASK); }
  };
B
Behdad Esfahbod 已提交
187
  static_assert (page_t::PAGE_BITS == sizeof (page_t) * 8, "");
B
Behdad Esfahbod 已提交
188

189 190
  hb_object_header_t header;
  ASSERT_POD ();
191
  bool in_error;
B
Behdad Esfahbod 已提交
192
  mutable unsigned int population;
B
Behdad Esfahbod 已提交
193
  hb_prealloced_array_t<page_map_t, 8> page_map;
194
  hb_prealloced_array_t<page_t, 1> pages;
B
Behdad Esfahbod 已提交
195

B
Minor  
Behdad Esfahbod 已提交
196 197
  inline void init (void)
  {
B
Behdad Esfahbod 已提交
198
    in_error = false;
B
Behdad Esfahbod 已提交
199
    population = 0;
B
Minor  
Behdad Esfahbod 已提交
200 201 202
    page_map.init ();
    pages.init ();
  }
B
Behdad Esfahbod 已提交
203
  inline void fini (void)
B
Minor  
Behdad Esfahbod 已提交
204
  {
B
Behdad Esfahbod 已提交
205 206
    page_map.fini ();
    pages.fini ();
B
Minor  
Behdad Esfahbod 已提交
207 208
  }

B
Behdad Esfahbod 已提交
209 210 211 212 213 214 215 216 217 218 219
  inline bool resize (unsigned int count)
  {
    if (unlikely (in_error)) return false;
    if (!pages.resize (count) || !page_map.resize (count))
    {
      pages.resize (page_map.len);
      in_error = true;
      return false;
    }
    return true;
  }
220

B
Behdad Esfahbod 已提交
221
  inline void clear (void) {
222 223 224
    if (unlikely (hb_object_is_inert (this)))
      return;
    in_error = false;
B
Behdad Esfahbod 已提交
225
    population = 0;
B
Behdad Esfahbod 已提交
226 227
    page_map.resize (0);
    pages.resize (0);
B
Behdad Esfahbod 已提交
228
  }
B
Behdad Esfahbod 已提交
229
  inline bool is_empty (void) const {
B
Behdad Esfahbod 已提交
230 231 232
    unsigned int count = pages.len;
    for (unsigned int i = 0; i < count; i++)
      if (!pages[i].is_empty ())
B
Behdad Esfahbod 已提交
233 234 235
        return false;
    return true;
  }
B
Behdad Esfahbod 已提交
236

B
Behdad Esfahbod 已提交
237 238
  inline void dirty (void) { population = (unsigned int) -1; }

B
Behdad Esfahbod 已提交
239
  inline void add (hb_codepoint_t g)
B
Behdad Esfahbod 已提交
240
  {
241
    if (unlikely (in_error)) return;
242
    if (unlikely (g == INVALID)) return;
B
Behdad Esfahbod 已提交
243
    dirty ();
244
    page_t *page = page_for_insert (g); if (unlikely (!page)) return;
B
Behdad Esfahbod 已提交
245
    page->add (g);
B
Behdad Esfahbod 已提交
246
  }
247
  inline bool add_range (hb_codepoint_t a, hb_codepoint_t b)
248
  {
249 250
    if (unlikely (in_error)) return true; /* https://github.com/harfbuzz/harfbuzz/issues/657 */
    if (unlikely (a > b || a == INVALID || b == INVALID)) return false;
B
Behdad Esfahbod 已提交
251
    dirty ();
B
Behdad Esfahbod 已提交
252 253 254 255
    unsigned int ma = get_major (a);
    unsigned int mb = get_major (b);
    if (ma == mb)
    {
256
      page_t *page = page_for_insert (a); if (unlikely (!page)) return false;
B
Behdad Esfahbod 已提交
257 258 259 260
      page->add_range (a, b);
    }
    else
    {
261
      page_t *page = page_for_insert (a); if (unlikely (!page)) return false;
B
Behdad Esfahbod 已提交
262 263 264 265
      page->add_range (a, major_start (ma + 1) - 1);

      for (unsigned int m = ma + 1; m < mb; m++)
      {
266
	page = page_for_insert (major_start (m)); if (unlikely (!page)) return false;
B
Behdad Esfahbod 已提交
267 268 269
	page->init1 ();
      }

270
      page = page_for_insert (b); if (unlikely (!page)) return false;
B
Behdad Esfahbod 已提交
271 272
      page->add_range (major_start (mb), b);
    }
273
    return true;
274
  }
B
Behdad Esfahbod 已提交
275

B
Behdad Esfahbod 已提交
276
  template <typename T>
B
Behdad Esfahbod 已提交
277
  inline void add_array (const T *array, unsigned int count, unsigned int stride=sizeof(T))
B
Behdad Esfahbod 已提交
278
  {
279 280
    if (unlikely (in_error)) return;
    if (!count) return;
B
Behdad Esfahbod 已提交
281
    dirty ();
282 283
    hb_codepoint_t g = *array;
    while (count)
B
Behdad Esfahbod 已提交
284
    {
285 286 287 288 289 290 291 292
      unsigned int m = get_major (g);
      page_t *page = page_for_insert (g); if (unlikely (!page)) return;
      unsigned int start = major_start (m);
      unsigned int end = major_start (m + 1);
      do
      {
	page->add (g);

B
Behdad Esfahbod 已提交
293
	array = (const T *) ((const char *) array + stride);
294 295 296
	count--;
      }
      while (count && (g = *array, start <= g && g < end));
B
Behdad Esfahbod 已提交
297
    }
B
Behdad Esfahbod 已提交
298
  }
299

B
Behdad Esfahbod 已提交
300 301 302 303 304
  /* Might return false if array looks unsorted.
   * Used for faster rejection of corrupt data. */
  template <typename T>
  inline bool add_sorted_array (const T *array, unsigned int count, unsigned int stride=sizeof(T))
  {
305
    if (unlikely (in_error)) return true; /* https://github.com/harfbuzz/harfbuzz/issues/657 */
306
    if (!count) return true;
B
Behdad Esfahbod 已提交
307
    dirty ();
308
    hb_codepoint_t g = *array;
309
    hb_codepoint_t last_g = g;
310
    while (count)
B
Behdad Esfahbod 已提交
311
    {
312 313 314 315 316
      unsigned int m = get_major (g);
      page_t *page = page_for_insert (g); if (unlikely (!page)) return false;
      unsigned int end = major_start (m + 1);
      do
      {
317 318 319 320
        /* If we try harder we can change the following comparison to <=;
	 * Not sure if it's worth it. */
        if (g < last_g) return false;
	last_g = g;
321 322
	page->add (g);

B
Behdad Esfahbod 已提交
323
	array = (const T *) ((const char *) array + stride);
324 325
	count--;
      }
326
      while (count && (g = *array, g < end));
B
Behdad Esfahbod 已提交
327 328 329 330
    }
    return true;
  }

B
Behdad Esfahbod 已提交
331
  inline void del (hb_codepoint_t g)
B
Behdad Esfahbod 已提交
332
  {
333
    if (unlikely (in_error)) return;
B
Behdad Esfahbod 已提交
334 335 336
    page_t *p = page_for (g);
    if (!p)
      return;
B
Behdad Esfahbod 已提交
337
    dirty ();
B
Behdad Esfahbod 已提交
338
    p->del (g);
B
Behdad Esfahbod 已提交
339
  }
B
Behdad Esfahbod 已提交
340 341
  inline void del_range (hb_codepoint_t a, hb_codepoint_t b)
  {
342
    /* TODO Optimize, like add_range(). */
343
    if (unlikely (in_error)) return;
B
Behdad Esfahbod 已提交
344 345 346
    for (unsigned int i = a; i < b + 1; i++)
      del (i);
  }
B
Behdad Esfahbod 已提交
347 348
  inline bool has (hb_codepoint_t g) const
  {
B
Behdad Esfahbod 已提交
349 350 351 352
    const page_t *p = page_for (g);
    if (!p)
      return false;
    return p->has (g);
B
Behdad Esfahbod 已提交
353 354 355 356
  }
  inline bool intersects (hb_codepoint_t first,
			  hb_codepoint_t last) const
  {
B
Behdad Esfahbod 已提交
357 358
    hb_codepoint_t c = first - 1;
    return next (&c) && c <= last;
B
Behdad Esfahbod 已提交
359
  }
B
Behdad Esfahbod 已提交
360 361 362 363 364 365
  inline void set (const hb_set_t *other)
  {
    if (unlikely (in_error)) return;
    unsigned int count = other->pages.len;
    if (!resize (count))
      return;
B
Behdad Esfahbod 已提交
366
    population = other->population;
B
Behdad Esfahbod 已提交
367 368 369 370
    memcpy (pages.array, other->pages.array, count * sizeof (pages.array[0]));
    memcpy (page_map.array, other->page_map.array, count * sizeof (page_map.array[0]));
  }

B
Behdad Esfahbod 已提交
371
  inline bool is_equal (const hb_set_t *other) const
B
Behdad Esfahbod 已提交
372
  {
B
Behdad Esfahbod 已提交
373 374 375 376 377
    if (population != (unsigned int) -1 &&
	other->population != (unsigned int) -1 &&
	population != other->population)
      return false;

B
Behdad Esfahbod 已提交
378 379 380 381 382 383 384 385 386 387
    unsigned int na = pages.len;
    unsigned int nb = other->pages.len;

    unsigned int a = 0, b = 0;
    for (; a < na && b < nb; )
    {
      if (page_at (a).is_empty ()) { a++; continue; }
      if (other->page_at (b).is_empty ()) { b++; continue; }
      if (page_map[a].major != other->page_map[b].major ||
	  !page_at (a).is_equal (&other->page_at (b)))
B
Behdad Esfahbod 已提交
388
        return false;
B
Behdad Esfahbod 已提交
389 390 391 392 393 394 395 396
      a++;
      b++;
    }
    for (; a < na; a++)
      if (!page_at (a).is_empty ()) { return false; }
    for (; b < nb; b++)
      if (!other->page_at (b).is_empty ()) { return false; }

B
Behdad Esfahbod 已提交
397 398
    return true;
  }
B
Behdad Esfahbod 已提交
399 400 401

  template <class Op>
  inline void process (const hb_set_t *other)
B
Behdad Esfahbod 已提交
402
  {
403
    if (unlikely (in_error)) return;
B
Behdad Esfahbod 已提交
404

B
Behdad Esfahbod 已提交
405 406
    dirty ();

B
Behdad Esfahbod 已提交
407 408
    unsigned int na = pages.len;
    unsigned int nb = other->pages.len;
B
Behdad Esfahbod 已提交
409
    unsigned int next_page = na;
B
Behdad Esfahbod 已提交
410 411

    unsigned int count = 0;
B
Behdad Esfahbod 已提交
412
    unsigned int a = 0, b = 0;
B
Behdad Esfahbod 已提交
413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442
    for (; a < na && b < nb; )
    {
      if (page_map[a].major == other->page_map[b].major)
      {
        count++;
	a++;
	b++;
      }
      else if (page_map[a].major < other->page_map[b].major)
      {
        if (Op::passthru_left)
	  count++;
        a++;
      }
      else
      {
        if (Op::passthru_right)
	  count++;
        b++;
      }
    }
    if (Op::passthru_left)
      count += na - a;
    if (Op::passthru_right)
      count += nb - b;

    if (!resize (count))
      return;

    /* Process in-place backward. */
B
Behdad Esfahbod 已提交
443 444 445
    a = na;
    b = nb;
    for (; a && b; )
B
Behdad Esfahbod 已提交
446
    {
447
      if (page_map[a - 1].major == other->page_map[b - 1].major)
B
Behdad Esfahbod 已提交
448 449 450
      {
	a--;
	b--;
B
Behdad Esfahbod 已提交
451
	count--;
B
Behdad Esfahbod 已提交
452
	page_map[count] = page_map[a];
B
Behdad Esfahbod 已提交
453
	Op::process (page_at (count).v, page_at (a).v, other->page_at (b).v);
B
Behdad Esfahbod 已提交
454
      }
455
      else if (page_map[a - 1].major > other->page_map[b - 1].major)
B
Behdad Esfahbod 已提交
456
      {
B
Behdad Esfahbod 已提交
457 458 459 460
	a--;
	if (Op::passthru_left)
	{
	  count--;
B
Behdad Esfahbod 已提交
461
	  page_map[count] = page_map[a];
B
Behdad Esfahbod 已提交
462
	}
B
Behdad Esfahbod 已提交
463 464 465
      }
      else
      {
B
Behdad Esfahbod 已提交
466 467 468 469
	b--;
	if (Op::passthru_right)
	{
	  count--;
B
Behdad Esfahbod 已提交
470 471
	  page_map[count].major = other->page_map[b].major;
	  page_map[count].index = next_page++;
B
Behdad Esfahbod 已提交
472 473
	  page_at (count).v = other->page_at (b).v;
	}
B
Behdad Esfahbod 已提交
474 475
      }
    }
B
Behdad Esfahbod 已提交
476
    if (Op::passthru_left)
B
Behdad Esfahbod 已提交
477
      while (a)
B
Behdad Esfahbod 已提交
478 479 480 481 482
      {
	a--;
	count--;
	page_map[count] = page_map [a];
      }
B
Behdad Esfahbod 已提交
483
    if (Op::passthru_right)
B
Behdad Esfahbod 已提交
484
      while (b)
B
Behdad Esfahbod 已提交
485 486 487 488 489 490 491
      {
	b--;
	count--;
	page_map[count].major = other->page_map[b].major;
	page_map[count].index = next_page++;
	page_at (count).v = other->page_at (b).v;
      }
B
Behdad Esfahbod 已提交
492
    assert (!count);
B
Behdad Esfahbod 已提交
493
  }
B
Behdad Esfahbod 已提交
494

B
Behdad Esfahbod 已提交
495 496
  inline void union_ (const hb_set_t *other)
  {
497
    process<HbOpOr> (other);
B
Behdad Esfahbod 已提交
498 499 500
  }
  inline void intersect (const hb_set_t *other)
  {
501
    process<HbOpAnd> (other);
B
Behdad Esfahbod 已提交
502 503 504
  }
  inline void subtract (const hb_set_t *other)
  {
505
    process<HbOpMinus> (other);
B
Behdad Esfahbod 已提交
506
  }
B
Behdad Esfahbod 已提交
507 508
  inline void symmetric_difference (const hb_set_t *other)
  {
509
    process<HbOpXor> (other);
510
  }
B
Behdad Esfahbod 已提交
511
  inline bool next (hb_codepoint_t *codepoint) const
B
Behdad Esfahbod 已提交
512
  {
513
    if (unlikely (*codepoint == INVALID)) {
B
Behdad Esfahbod 已提交
514 515 516 517
      *codepoint = get_min ();
      return *codepoint != INVALID;
    }

B
Behdad Esfahbod 已提交
518
    page_map_t map = {get_major (*codepoint), 0};
B
Behdad Esfahbod 已提交
519
    unsigned int i;
B
Behdad Esfahbod 已提交
520
    page_map.bfind (map, &i);
521
    if (i < page_map.len && page_map[i].major == map.major)
B
Behdad Esfahbod 已提交
522 523 524
    {
      if (pages[page_map[i].index].next (codepoint))
      {
B
Behdad Esfahbod 已提交
525
	*codepoint += page_map[i].major * page_t::PAGE_BITS;
B
Behdad Esfahbod 已提交
526
	return true;
527
      }
B
Behdad Esfahbod 已提交
528
      i++;
B
Behdad Esfahbod 已提交
529
    }
B
Behdad Esfahbod 已提交
530 531 532 533 534
    for (; i < page_map.len; i++)
    {
      hb_codepoint_t m = pages[page_map[i].index].get_min ();
      if (m != INVALID)
      {
B
Behdad Esfahbod 已提交
535
	*codepoint = page_map[i].major * page_t::PAGE_BITS + m;
B
Behdad Esfahbod 已提交
536 537
	return true;
      }
B
Behdad Esfahbod 已提交
538
    }
539
    *codepoint = INVALID;
B
Behdad Esfahbod 已提交
540 541
    return false;
  }
B
Behdad Esfahbod 已提交
542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572
  inline bool previous (hb_codepoint_t *codepoint) const
  {
    if (unlikely (*codepoint == INVALID)) {
      *codepoint = get_max ();
      return *codepoint != INVALID;
    }

    page_map_t map = {get_major (*codepoint), 0};
    unsigned int i;
    page_map.bfind (map, &i);
    if (i < page_map.len && page_map[i].major == map.major)
    {
      if (pages[page_map[i].index].previous (codepoint))
      {
	*codepoint += page_map[i].major * page_t::PAGE_BITS;
	return true;
      }
    }
    i--;
    for (; (int) i >= 0; i--)
    {
      hb_codepoint_t m = pages[page_map[i].index].get_max ();
      if (m != INVALID)
      {
	*codepoint = page_map[i].major * page_t::PAGE_BITS + m;
	return true;
      }
    }
    *codepoint = INVALID;
    return false;
  }
B
Behdad Esfahbod 已提交
573 574 575 576 577 578
  inline bool next_range (hb_codepoint_t *first, hb_codepoint_t *last) const
  {
    hb_codepoint_t i;

    i = *last;
    if (!next (&i))
579 580
    {
      *last = *first = INVALID;
B
Behdad Esfahbod 已提交
581
      return false;
582
    }
B
Behdad Esfahbod 已提交
583

B
Behdad Esfahbod 已提交
584
    /* TODO Speed up. */
B
Behdad Esfahbod 已提交
585 586 587 588 589 590
    *last = *first = i;
    while (next (&i) && i == *last + 1)
      (*last)++;

    return true;
  }
B
Behdad Esfahbod 已提交
591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608
  inline bool previous_range (hb_codepoint_t *first, hb_codepoint_t *last) const
  {
    hb_codepoint_t i;

    i = *first;
    if (!previous (&i))
    {
      *last = *first = INVALID;
      return false;
    }

    /* TODO Speed up. */
    *last = *first = i;
    while (previous (&i) && i == *first - 1)
      (*first)--;

    return true;
  }
B
Behdad Esfahbod 已提交
609 610 611

  inline unsigned int get_population (void) const
  {
B
Behdad Esfahbod 已提交
612 613 614
    if (population != (unsigned int) -1)
      return population;

B
Behdad Esfahbod 已提交
615 616 617 618
    unsigned int pop = 0;
    unsigned int count = pages.len;
    for (unsigned int i = 0; i < count; i++)
      pop += pages[i].get_population ();
B
Behdad Esfahbod 已提交
619 620

    population = pop;
B
Behdad Esfahbod 已提交
621
    return pop;
B
Behdad Esfahbod 已提交
622
  }
623
  inline hb_codepoint_t get_min (void) const
B
Behdad Esfahbod 已提交
624
  {
B
Behdad Esfahbod 已提交
625 626 627
    unsigned int count = pages.len;
    for (unsigned int i = 0; i < count; i++)
      if (!page_at (i).is_empty ())
B
Behdad Esfahbod 已提交
628
        return page_map[i].major * page_t::PAGE_BITS + page_at (i).get_min ();
629
    return INVALID;
B
Behdad Esfahbod 已提交
630
  }
631
  inline hb_codepoint_t get_max (void) const
B
Behdad Esfahbod 已提交
632
  {
B
Behdad Esfahbod 已提交
633 634 635
    unsigned int count = pages.len;
    for (int i = count - 1; i >= 0; i++)
      if (!page_at (i).is_empty ())
B
Behdad Esfahbod 已提交
636
        return page_map[i].major * page_t::PAGE_BITS + page_at (i).get_max ();
637
    return INVALID;
B
Behdad Esfahbod 已提交
638
  }
B
Behdad Esfahbod 已提交
639

640
  static  const hb_codepoint_t INVALID = HB_SET_VALUE_INVALID;
B
Behdad Esfahbod 已提交
641

B
Behdad Esfahbod 已提交
642
  inline page_t *page_for_insert (hb_codepoint_t g)
B
Behdad Esfahbod 已提交
643
  {
B
Behdad Esfahbod 已提交
644
    page_map_t map = {get_major (g), pages.len};
B
Behdad Esfahbod 已提交
645
    unsigned int i;
B
Behdad Esfahbod 已提交
646
    if (!page_map.bfind (map, &i))
B
Behdad Esfahbod 已提交
647 648 649
    {
      if (!resize (pages.len + 1))
	return nullptr;
B
Behdad Esfahbod 已提交
650

B
Behdad Esfahbod 已提交
651
      pages[map.index].init0 ();
B
Behdad Esfahbod 已提交
652 653 654 655 656
      memmove (&page_map[i + 1], &page_map[i], (page_map.len - 1 - i) * sizeof (page_map[0]));
      page_map[i] = map;
    }
    return &pages[page_map[i].index];
  }
B
Behdad Esfahbod 已提交
657
  inline page_t *page_for (hb_codepoint_t g)
B
Behdad Esfahbod 已提交
658
  {
B
Behdad Esfahbod 已提交
659
    page_map_t key = {get_major (g)};
B
Behdad Esfahbod 已提交
660
    const page_map_t *found = page_map.bsearch (key);
B
Behdad Esfahbod 已提交
661 662 663 664
    if (found)
      return &pages[found->index];
    return nullptr;
  }
B
Behdad Esfahbod 已提交
665
  inline const page_t *page_for (hb_codepoint_t g) const
B
Behdad Esfahbod 已提交
666
  {
B
Behdad Esfahbod 已提交
667
    page_map_t key = {get_major (g)};
B
Behdad Esfahbod 已提交
668
    const page_map_t *found = page_map.bsearch (key);
B
Behdad Esfahbod 已提交
669 670 671 672
    if (found)
      return &pages[found->index];
    return nullptr;
  }
B
Behdad Esfahbod 已提交
673 674 675 676
  inline page_t &page_at (unsigned int i) { return pages[page_map[i].index]; }
  inline const page_t &page_at (unsigned int i) const { return pages[page_map[i].index]; }
  inline unsigned int get_major (hb_codepoint_t g) const { return g / page_t::PAGE_BITS; }
  inline hb_codepoint_t major_start (unsigned int major) const { return major * page_t::PAGE_BITS; }
B
Behdad Esfahbod 已提交
677 678 679 680
};


#endif /* HB_SET_PRIVATE_HH */