]> git.saurik.com Git - bison.git/blame - lib/abitset.c
parse.lac: implement as %define variable.
[bison.git] / lib / abitset.c
CommitLineData
613f5e1a 1/* Array bitsets.
6e30ede8
PE
2
3 Copyright (C) 2002, 2003, 2006, 2009, 2010 Free Software
4 Foundation, Inc.
5
7086e707
AD
6 Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
7
f16b0819 8 This program is free software: you can redistribute it and/or modify
ef017502 9 it under the terms of the GNU General Public License as published by
f16b0819 10 the Free Software Foundation, either version 3 of the License, or
ef017502 11 (at your option) any later version.
7086e707 12
ef017502
AD
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
7086e707 17
ef017502 18 You should have received a copy of the GNU General Public License
f16b0819 19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
7086e707 20
231ed89a 21#include <config.h>
7086e707 22
613f5e1a 23#include "abitset.h"
d4d399fc 24#include <stddef.h>
7086e707 25#include <stdlib.h>
ef017502 26#include <string.h>
7086e707
AD
27
28/* This file implements fixed size bitsets stored as an array
29 of words. Any unused bits in the last word must be zero. */
30
613f5e1a
AD
31#define ABITSET_N_WORDS(N) (((N) + BITSET_WORD_BITS - 1) / BITSET_WORD_BITS)
32#define ABITSET_WORDS(X) ((X)->a.words)
7086e707
AD
33
34
62a34c3e 35static bitset_bindex
68cae94e 36abitset_resize (bitset src, bitset_bindex size)
7086e707 37{
eaef5507 38 /* These bitsets have a fixed size. */
c21493b8
PE
39 if (BITSET_SIZE_ (src) != size)
40 abort ();
41
42 return size;
eaef5507 43}
7086e707
AD
44
45/* Find list of up to NUM bits set in BSET starting from and including
ef017502
AD
46 *NEXT and store in array LIST. Return with actual number of bits
47 found and with *NEXT indicating where search stopped. */
62a34c3e 48static bitset_bindex
a911db9c
PE
49abitset_small_list (bitset src, bitset_bindex *list,
50 bitset_bindex num, bitset_bindex *next)
7086e707
AD
51{
52 bitset_bindex bitno;
53 bitset_bindex count;
54 bitset_windex size;
55 bitset_word word;
56
613f5e1a 57 word = ABITSET_WORDS (src)[0];
7086e707
AD
58
59 /* Short circuit common case. */
60 if (!word)
61 return 0;
62
eaef5507 63 size = BITSET_SIZE_ (src);
7086e707
AD
64 bitno = *next;
65 if (bitno >= size)
66 return 0;
67
68 word >>= bitno;
69
70 /* If num is 1, we could speed things up with a binary search
71 of the word of interest. */
72
73 if (num >= BITSET_WORD_BITS)
ef017502 74 {
7086e707 75 for (count = 0; word; bitno++)
ef017502 76 {
7086e707 77 if (word & 1)
ef017502 78 list[count++] = bitno;
7086e707 79 word >>= 1;
ef017502
AD
80 }
81 }
7086e707 82 else
ef017502 83 {
7086e707 84 for (count = 0; word; bitno++)
ef017502 85 {
7086e707 86 if (word & 1)
ef017502 87 {
7086e707
AD
88 list[count++] = bitno;
89 if (count >= num)
ef017502 90 {
7086e707
AD
91 bitno++;
92 break;
ef017502
AD
93 }
94 }
7086e707 95 word >>= 1;
ef017502
AD
96 }
97 }
7086e707
AD
98
99 *next = bitno;
100 return count;
101}
102
103
104/* Set bit BITNO in bitset DST. */
105static void
a911db9c 106abitset_set (bitset dst ATTRIBUTE_UNUSED, bitset_bindex bitno ATTRIBUTE_UNUSED)
7086e707 107{
eaef5507
PE
108 /* This should never occur for abitsets since we should always hit
109 the cache. It is likely someone is trying to access outside the
110 bounds of the bitset. */
ef017502 111 abort ();
7086e707
AD
112}
113
114
115/* Reset bit BITNO in bitset DST. */
116static void
a911db9c
PE
117abitset_reset (bitset dst ATTRIBUTE_UNUSED,
118 bitset_bindex bitno ATTRIBUTE_UNUSED)
7086e707 119{
eaef5507
PE
120 /* This should never occur for abitsets since we should always hit
121 the cache. It is likely someone is trying to access outside the
122 bounds of the bitset. Since the bit is zero anyway, let it pass. */
7086e707
AD
123}
124
125
126/* Test bit BITNO in bitset SRC. */
d0829076 127static bool
a911db9c
PE
128abitset_test (bitset src ATTRIBUTE_UNUSED,
129 bitset_bindex bitno ATTRIBUTE_UNUSED)
7086e707 130{
6aa452a6
AD
131 /* This should never occur for abitsets since we should always
132 hit the cache. */
d0829076 133 return false;
7086e707
AD
134}
135
136
137/* Find list of up to NUM bits set in BSET in reverse order, starting
138 from and including NEXT and store in array LIST. Return with
139 actual number of bits found and with *NEXT indicating where search
140 stopped. */
62a34c3e 141static bitset_bindex
a911db9c
PE
142abitset_list_reverse (bitset src, bitset_bindex *list,
143 bitset_bindex num, bitset_bindex *next)
7086e707
AD
144{
145 bitset_bindex bitno;
146 bitset_bindex rbitno;
147 bitset_bindex count;
345cea78 148 bitset_windex windex;
7086e707
AD
149 unsigned int bitcnt;
150 bitset_bindex bitoff;
613f5e1a 151 bitset_word *srcp = ABITSET_WORDS (src);
eaef5507 152 bitset_bindex n_bits = BITSET_SIZE_ (src);
7086e707
AD
153
154 rbitno = *next;
155
156 /* If num is 1, we could speed things up with a binary search
157 of the word of interest. */
158
159 if (rbitno >= n_bits)
ef017502 160 return 0;
7086e707
AD
161
162 count = 0;
163
164 bitno = n_bits - (rbitno + 1);
165
345cea78 166 windex = bitno / BITSET_WORD_BITS;
7086e707 167 bitcnt = bitno % BITSET_WORD_BITS;
345cea78 168 bitoff = windex * BITSET_WORD_BITS;
7086e707 169
d6eba423 170 do
7086e707 171 {
6aa452a6
AD
172 bitset_word word;
173
345cea78 174 word = srcp[windex] << (BITSET_WORD_BITS - 1 - bitcnt);
7086e707
AD
175 for (; word; bitcnt--)
176 {
177 if (word & BITSET_MSB)
178 {
179 list[count++] = bitoff + bitcnt;
180 if (count >= num)
181 {
182 *next = n_bits - (bitoff + bitcnt);
183 return count;
184 }
185 }
186 word <<= 1;
187 }
d6eba423
PE
188 bitoff -= BITSET_WORD_BITS;
189 bitcnt = BITSET_WORD_BITS - 1;
7086e707 190 }
d6eba423 191 while (windex--);
7086e707
AD
192
193 *next = n_bits - (bitoff + 1);
194 return count;
195}
196
197
198/* Find list of up to NUM bits set in BSET starting from and including
ef017502
AD
199 *NEXT and store in array LIST. Return with actual number of bits
200 found and with *NEXT indicating where search stopped. */
62a34c3e 201static bitset_bindex
a911db9c
PE
202abitset_list (bitset src, bitset_bindex *list,
203 bitset_bindex num, bitset_bindex *next)
7086e707
AD
204{
205 bitset_bindex bitno;
206 bitset_bindex count;
345cea78 207 bitset_windex windex;
7086e707 208 bitset_bindex bitoff;
ef017502 209 bitset_windex size = src->b.csize;
613f5e1a 210 bitset_word *srcp = ABITSET_WORDS (src);
7086e707
AD
211 bitset_word word;
212
213 bitno = *next;
214
215 count = 0;
ef017502 216 if (!bitno)
7086e707
AD
217 {
218 /* Many bitsets are zero, so make this common case fast. */
345cea78 219 for (windex = 0; windex < size && !srcp[windex]; windex++)
7086e707 220 continue;
345cea78 221 if (windex >= size)
7086e707
AD
222 return 0;
223
224 /* If num is 1, we could speed things up with a binary search
225 of the current word. */
226
345cea78 227 bitoff = windex * BITSET_WORD_BITS;
7086e707
AD
228 }
229 else
230 {
eaef5507 231 if (bitno >= BITSET_SIZE_ (src))
7086e707
AD
232 return 0;
233
345cea78 234 windex = bitno / BITSET_WORD_BITS;
7086e707
AD
235 bitno = bitno % BITSET_WORD_BITS;
236
237 if (bitno)
238 {
239 /* Handle the case where we start within a word.
240 Most often, this is executed with large bitsets
241 with many set bits where we filled the array
242 on the previous call to this function. */
243
345cea78
AD
244 bitoff = windex * BITSET_WORD_BITS;
245 word = srcp[windex] >> bitno;
7086e707
AD
246 for (bitno = bitoff + bitno; word; bitno++)
247 {
248 if (word & 1)
249 {
250 list[count++] = bitno;
251 if (count >= num)
252 {
253 *next = bitno + 1;
254 return count;
255 }
256 }
257 word >>= 1;
258 }
345cea78 259 windex++;
7086e707 260 }
345cea78 261 bitoff = windex * BITSET_WORD_BITS;
7086e707
AD
262 }
263
345cea78 264 for (; windex < size; windex++, bitoff += BITSET_WORD_BITS)
7086e707 265 {
345cea78 266 if (!(word = srcp[windex]))
7086e707
AD
267 continue;
268
269 if ((count + BITSET_WORD_BITS) < num)
ef017502
AD
270 {
271 for (bitno = bitoff; word; bitno++)
272 {
273 if (word & 1)
274 list[count++] = bitno;
275 word >>= 1;
276 }
277 }
7086e707
AD
278 else
279 {
280 for (bitno = bitoff; word; bitno++)
281 {
282 if (word & 1)
283 {
284 list[count++] = bitno;
285 if (count >= num)
286 {
287 *next = bitno + 1;
288 return count;
289 }
290 }
291 word >>= 1;
292 }
293 }
294 }
295
296 *next = bitoff;
297 return count;
298}
299
300
301/* Ensure that any unused bits within the last word are clear. */
302static inline void
a911db9c 303abitset_unused_clear (bitset dst)
7086e707
AD
304{
305 unsigned int last_bit;
306
eaef5507 307 last_bit = BITSET_SIZE_ (dst) % BITSET_WORD_BITS;
7086e707 308 if (last_bit)
613f5e1a 309 ABITSET_WORDS (dst)[dst->b.csize - 1] &=
d6eba423 310 ((bitset_word) 1 << last_bit) - 1;
7086e707
AD
311}
312
313
6aa452a6 314static void
a911db9c 315abitset_ones (bitset dst)
7086e707 316{
613f5e1a 317 bitset_word *dstp = ABITSET_WORDS (dst);
62a34c3e 318 size_t bytes;
7086e707 319
ef017502 320 bytes = sizeof (bitset_word) * dst->b.csize;
7086e707 321
6aa452a6
AD
322 memset (dstp, -1, bytes);
323 abitset_unused_clear (dst);
324}
325
326
327static void
a911db9c 328abitset_zero (bitset dst)
6aa452a6
AD
329{
330 bitset_word *dstp = ABITSET_WORDS (dst);
62a34c3e 331 size_t bytes;
6aa452a6
AD
332
333 bytes = sizeof (bitset_word) * dst->b.csize;
334
335 memset (dstp, 0, bytes);
336}
7086e707 337
6aa452a6 338
d0829076 339static bool
a911db9c 340abitset_empty_p (bitset dst)
6aa452a6 341{
62a34c3e 342 bitset_windex i;
6aa452a6
AD
343 bitset_word *dstp = ABITSET_WORDS (dst);
344
345 for (i = 0; i < dst->b.csize; i++)
346 if (dstp[i])
d0829076 347 return false;
7086e707 348
d0829076 349 return true;
7086e707
AD
350}
351
352
6aa452a6 353static void
a911db9c 354abitset_copy1 (bitset dst, bitset src)
6aa452a6
AD
355{
356 bitset_word *srcp = ABITSET_WORDS (src);
357 bitset_word *dstp = ABITSET_WORDS (dst);
358 bitset_windex size = dst->b.csize;
359
360 if (srcp == dstp)
361 return;
362 memcpy (dstp, srcp, sizeof (bitset_word) * size);
363}
364
365
366static void
a911db9c 367abitset_not (bitset dst, bitset src)
6aa452a6 368{
62a34c3e 369 bitset_windex i;
6aa452a6
AD
370 bitset_word *srcp = ABITSET_WORDS (src);
371 bitset_word *dstp = ABITSET_WORDS (dst);
372 bitset_windex size = dst->b.csize;
373
374 for (i = 0; i < size; i++)
375 *dstp++ = ~(*srcp++);
376 abitset_unused_clear (dst);
377}
378
a911db9c 379
d0829076 380static bool
a911db9c 381abitset_equal_p (bitset dst, bitset src)
7086e707 382{
62a34c3e 383 bitset_windex i;
613f5e1a
AD
384 bitset_word *srcp = ABITSET_WORDS (src);
385 bitset_word *dstp = ABITSET_WORDS (dst);
ef017502 386 bitset_windex size = dst->b.csize;
7086e707 387
6aa452a6
AD
388 for (i = 0; i < size; i++)
389 if (*srcp++ != *dstp++)
d0829076
PE
390 return false;
391 return true;
6aa452a6
AD
392}
393
394
d0829076 395static bool
a911db9c 396abitset_subset_p (bitset dst, bitset src)
6aa452a6 397{
62a34c3e 398 bitset_windex i;
6aa452a6
AD
399 bitset_word *srcp = ABITSET_WORDS (src);
400 bitset_word *dstp = ABITSET_WORDS (dst);
401 bitset_windex size = dst->b.csize;
a911db9c 402
6aa452a6
AD
403 for (i = 0; i < size; i++, dstp++, srcp++)
404 if (*dstp != (*srcp | *dstp))
d0829076
PE
405 return false;
406 return true;
6aa452a6
AD
407}
408
409
d0829076 410static bool
a911db9c 411abitset_disjoint_p (bitset dst, bitset src)
6aa452a6 412{
62a34c3e 413 bitset_windex i;
6aa452a6
AD
414 bitset_word *srcp = ABITSET_WORDS (src);
415 bitset_word *dstp = ABITSET_WORDS (dst);
416 bitset_windex size = dst->b.csize;
417
418 for (i = 0; i < size; i++)
419 if (*srcp++ & *dstp++)
d0829076 420 return false;
7086e707 421
d0829076 422 return true;
7086e707
AD
423}
424
425
6aa452a6 426static void
a911db9c 427abitset_and (bitset dst, bitset src1, bitset src2)
6aa452a6 428{
62a34c3e 429 bitset_windex i;
6aa452a6
AD
430 bitset_word *src1p = ABITSET_WORDS (src1);
431 bitset_word *src2p = ABITSET_WORDS (src2);
432 bitset_word *dstp = ABITSET_WORDS (dst);
433 bitset_windex size = dst->b.csize;
434
435 for (i = 0; i < size; i++)
436 *dstp++ = *src1p++ & *src2p++;
437}
438
439
d0829076 440static bool
a911db9c 441abitset_and_cmp (bitset dst, bitset src1, bitset src2)
7086e707 442{
62a34c3e 443 bitset_windex i;
d0829076 444 bool changed = false;
613f5e1a
AD
445 bitset_word *src1p = ABITSET_WORDS (src1);
446 bitset_word *src2p = ABITSET_WORDS (src2);
447 bitset_word *dstp = ABITSET_WORDS (dst);
ef017502 448 bitset_windex size = dst->b.csize;
7086e707 449
6aa452a6 450 for (i = 0; i < size; i++, dstp++)
7086e707 451 {
6aa452a6 452 bitset_word tmp = *src1p++ & *src2p++;
a911db9c 453
6aa452a6 454 if (*dstp != tmp)
7086e707 455 {
d0829076 456 changed = true;
6aa452a6 457 *dstp = tmp;
7086e707 458 }
6aa452a6
AD
459 }
460 return changed;
461}
7086e707 462
7086e707 463
6aa452a6 464static void
a911db9c 465abitset_andn (bitset dst, bitset src1, bitset src2)
6aa452a6 466{
62a34c3e 467 bitset_windex i;
6aa452a6
AD
468 bitset_word *src1p = ABITSET_WORDS (src1);
469 bitset_word *src2p = ABITSET_WORDS (src2);
470 bitset_word *dstp = ABITSET_WORDS (dst);
471 bitset_windex size = dst->b.csize;
7086e707 472
6aa452a6
AD
473 for (i = 0; i < size; i++)
474 *dstp++ = *src1p++ & ~(*src2p++);
475}
7086e707 476
7086e707 477
d0829076 478static bool
a911db9c 479abitset_andn_cmp (bitset dst, bitset src1, bitset src2)
6aa452a6 480{
62a34c3e 481 bitset_windex i;
d0829076 482 bool changed = false;
6aa452a6
AD
483 bitset_word *src1p = ABITSET_WORDS (src1);
484 bitset_word *src2p = ABITSET_WORDS (src2);
485 bitset_word *dstp = ABITSET_WORDS (dst);
486 bitset_windex size = dst->b.csize;
a911db9c 487
6aa452a6
AD
488 for (i = 0; i < size; i++, dstp++)
489 {
490 bitset_word tmp = *src1p++ & ~(*src2p++);
a911db9c 491
6aa452a6 492 if (*dstp != tmp)
7086e707 493 {
d0829076 494 changed = true;
6aa452a6 495 *dstp = tmp;
7086e707 496 }
6aa452a6
AD
497 }
498 return changed;
499}
500
501
502static void
a911db9c 503abitset_or (bitset dst, bitset src1, bitset src2)
6aa452a6 504{
62a34c3e 505 bitset_windex i;
6aa452a6
AD
506 bitset_word *src1p = ABITSET_WORDS (src1);
507 bitset_word *src2p = ABITSET_WORDS (src2);
508 bitset_word *dstp = ABITSET_WORDS (dst);
509 bitset_windex size = dst->b.csize;
510
511 for (i = 0; i < size; i++)
512 *dstp++ = *src1p++ | *src2p++;
513}
514
7086e707 515
d0829076 516static bool
a911db9c 517abitset_or_cmp (bitset dst, bitset src1, bitset src2)
6aa452a6 518{
62a34c3e 519 bitset_windex i;
d0829076 520 bool changed = false;
6aa452a6
AD
521 bitset_word *src1p = ABITSET_WORDS (src1);
522 bitset_word *src2p = ABITSET_WORDS (src2);
523 bitset_word *dstp = ABITSET_WORDS (dst);
524 bitset_windex size = dst->b.csize;
525
526 for (i = 0; i < size; i++, dstp++)
527 {
528 bitset_word tmp = *src1p++ | *src2p++;
a911db9c 529
6aa452a6
AD
530 if (*dstp != tmp)
531 {
d0829076 532 changed = true;
6aa452a6
AD
533 *dstp = tmp;
534 }
7086e707 535 }
6aa452a6
AD
536 return changed;
537}
7086e707 538
6aa452a6
AD
539
540static void
a911db9c 541abitset_xor (bitset dst, bitset src1, bitset src2)
6aa452a6 542{
62a34c3e 543 bitset_windex i;
6aa452a6
AD
544 bitset_word *src1p = ABITSET_WORDS (src1);
545 bitset_word *src2p = ABITSET_WORDS (src2);
546 bitset_word *dstp = ABITSET_WORDS (dst);
547 bitset_windex size = dst->b.csize;
548
549 for (i = 0; i < size; i++)
550 *dstp++ = *src1p++ ^ *src2p++;
551}
552
553
d0829076 554static bool
a911db9c 555abitset_xor_cmp (bitset dst, bitset src1, bitset src2)
6aa452a6 556{
62a34c3e 557 bitset_windex i;
d0829076 558 bool changed = false;
6aa452a6
AD
559 bitset_word *src1p = ABITSET_WORDS (src1);
560 bitset_word *src2p = ABITSET_WORDS (src2);
561 bitset_word *dstp = ABITSET_WORDS (dst);
562 bitset_windex size = dst->b.csize;
563
564 for (i = 0; i < size; i++, dstp++)
565 {
566 bitset_word tmp = *src1p++ ^ *src2p++;
a911db9c 567
6aa452a6
AD
568 if (*dstp != tmp)
569 {
d0829076 570 changed = true;
6aa452a6
AD
571 *dstp = tmp;
572 }
573 }
7086e707
AD
574 return changed;
575}
576
577
6aa452a6 578static void
a911db9c 579abitset_and_or (bitset dst, bitset src1, bitset src2, bitset src3)
6aa452a6 580{
62a34c3e 581 bitset_windex i;
6aa452a6
AD
582 bitset_word *src1p = ABITSET_WORDS (src1);
583 bitset_word *src2p = ABITSET_WORDS (src2);
584 bitset_word *src3p = ABITSET_WORDS (src3);
585 bitset_word *dstp = ABITSET_WORDS (dst);
586 bitset_windex size = dst->b.csize;
a911db9c 587
6aa452a6
AD
588 for (i = 0; i < size; i++)
589 *dstp++ = (*src1p++ & *src2p++) | *src3p++;
590}
591
592
d0829076 593static bool
a911db9c 594abitset_and_or_cmp (bitset dst, bitset src1, bitset src2, bitset src3)
7086e707 595{
62a34c3e 596 bitset_windex i;
d0829076 597 bool changed = false;
613f5e1a
AD
598 bitset_word *src1p = ABITSET_WORDS (src1);
599 bitset_word *src2p = ABITSET_WORDS (src2);
600 bitset_word *src3p = ABITSET_WORDS (src3);
601 bitset_word *dstp = ABITSET_WORDS (dst);
ef017502 602 bitset_windex size = dst->b.csize;
a911db9c 603
6aa452a6 604 for (i = 0; i < size; i++, dstp++)
7086e707 605 {
6aa452a6 606 bitset_word tmp = (*src1p++ & *src2p++) | *src3p++;
a911db9c 607
6aa452a6 608 if (*dstp != tmp)
7086e707 609 {
d0829076 610 changed = true;
6aa452a6 611 *dstp = tmp;
7086e707 612 }
6aa452a6
AD
613 }
614 return changed;
615}
7086e707 616
7086e707 617
6aa452a6 618static void
a911db9c 619abitset_andn_or (bitset dst, bitset src1, bitset src2, bitset src3)
6aa452a6 620{
62a34c3e 621 bitset_windex i;
6aa452a6
AD
622 bitset_word *src1p = ABITSET_WORDS (src1);
623 bitset_word *src2p = ABITSET_WORDS (src2);
624 bitset_word *src3p = ABITSET_WORDS (src3);
625 bitset_word *dstp = ABITSET_WORDS (dst);
626 bitset_windex size = dst->b.csize;
a911db9c 627
6aa452a6
AD
628 for (i = 0; i < size; i++)
629 *dstp++ = (*src1p++ & ~(*src2p++)) | *src3p++;
630}
7086e707 631
7086e707 632
d0829076 633static bool
a911db9c 634abitset_andn_or_cmp (bitset dst, bitset src1, bitset src2, bitset src3)
6aa452a6 635{
62a34c3e 636 bitset_windex i;
d0829076 637 bool changed = false;
6aa452a6
AD
638 bitset_word *src1p = ABITSET_WORDS (src1);
639 bitset_word *src2p = ABITSET_WORDS (src2);
640 bitset_word *src3p = ABITSET_WORDS (src3);
641 bitset_word *dstp = ABITSET_WORDS (dst);
642 bitset_windex size = dst->b.csize;
a911db9c 643
6aa452a6
AD
644 for (i = 0; i < size; i++, dstp++)
645 {
646 bitset_word tmp = (*src1p++ & ~(*src2p++)) | *src3p++;
a911db9c 647
6aa452a6
AD
648 if (*dstp != tmp)
649 {
d0829076 650 changed = true;
6aa452a6 651 *dstp = tmp;
7086e707 652 }
7086e707 653 }
6aa452a6
AD
654 return changed;
655}
656
657
658static void
a911db9c 659abitset_or_and (bitset dst, bitset src1, bitset src2, bitset src3)
6aa452a6 660{
62a34c3e 661 bitset_windex i;
6aa452a6
AD
662 bitset_word *src1p = ABITSET_WORDS (src1);
663 bitset_word *src2p = ABITSET_WORDS (src2);
664 bitset_word *src3p = ABITSET_WORDS (src3);
665 bitset_word *dstp = ABITSET_WORDS (dst);
666 bitset_windex size = dst->b.csize;
a911db9c 667
6aa452a6
AD
668 for (i = 0; i < size; i++)
669 *dstp++ = (*src1p++ | *src2p++) & *src3p++;
670}
671
7086e707 672
d0829076 673static bool
a911db9c 674abitset_or_and_cmp (bitset dst, bitset src1, bitset src2, bitset src3)
6aa452a6 675{
62a34c3e 676 bitset_windex i;
d0829076 677 bool changed = false;
6aa452a6
AD
678 bitset_word *src1p = ABITSET_WORDS (src1);
679 bitset_word *src2p = ABITSET_WORDS (src2);
680 bitset_word *src3p = ABITSET_WORDS (src3);
681 bitset_word *dstp = ABITSET_WORDS (dst);
682 bitset_windex size = dst->b.csize;
a911db9c 683
6aa452a6
AD
684 for (i = 0; i < size; i++, dstp++)
685 {
686 bitset_word tmp = (*src1p++ | *src2p++) & *src3p++;
a911db9c 687
6aa452a6
AD
688 if (*dstp != tmp)
689 {
d0829076 690 changed = true;
6aa452a6
AD
691 *dstp = tmp;
692 }
693 }
7086e707
AD
694 return changed;
695}
696
697
d4d399fc 698static void
a911db9c 699abitset_copy (bitset dst, bitset src)
6aa452a6
AD
700{
701 if (BITSET_COMPATIBLE_ (dst, src))
702 abitset_copy1 (dst, src);
703 else
704 bitset_copy_ (dst, src);
705}
706
707
7086e707 708/* Vector of operations for single word bitsets. */
6aa452a6 709struct bitset_vtable abitset_small_vtable = {
613f5e1a
AD
710 abitset_set,
711 abitset_reset,
6aa452a6 712 bitset_toggle_,
613f5e1a 713 abitset_test,
eaef5507
PE
714 abitset_resize,
715 bitset_size_,
6aa452a6
AD
716 bitset_count_,
717 abitset_empty_p,
718 abitset_ones,
719 abitset_zero,
720 abitset_copy,
721 abitset_disjoint_p,
722 abitset_equal_p,
723 abitset_not,
724 abitset_subset_p,
725 abitset_and,
726 abitset_and_cmp,
727 abitset_andn,
728 abitset_andn_cmp,
729 abitset_or,
730 abitset_or_cmp,
731 abitset_xor,
732 abitset_xor_cmp,
733 abitset_and_or,
734 abitset_and_or_cmp,
735 abitset_andn_or,
736 abitset_andn_or_cmp,
737 abitset_or_and,
738 abitset_or_and_cmp,
613f5e1a 739 abitset_small_list,
6aa452a6 740 abitset_list_reverse,
ef017502
AD
741 NULL,
742 BITSET_ARRAY
743};
7086e707
AD
744
745
746/* Vector of operations for multiple word bitsets. */
6aa452a6 747struct bitset_vtable abitset_vtable = {
613f5e1a
AD
748 abitset_set,
749 abitset_reset,
6aa452a6 750 bitset_toggle_,
613f5e1a 751 abitset_test,
eaef5507
PE
752 abitset_resize,
753 bitset_size_,
6aa452a6
AD
754 bitset_count_,
755 abitset_empty_p,
756 abitset_ones,
757 abitset_zero,
758 abitset_copy,
759 abitset_disjoint_p,
760 abitset_equal_p,
761 abitset_not,
762 abitset_subset_p,
763 abitset_and,
764 abitset_and_cmp,
765 abitset_andn,
766 abitset_andn_cmp,
767 abitset_or,
768 abitset_or_cmp,
769 abitset_xor,
770 abitset_xor_cmp,
771 abitset_and_or,
772 abitset_and_or_cmp,
773 abitset_andn_or,
774 abitset_andn_or_cmp,
775 abitset_or_and,
776 abitset_or_and_cmp,
613f5e1a 777 abitset_list,
6aa452a6 778 abitset_list_reverse,
ef017502
AD
779 NULL,
780 BITSET_ARRAY
7086e707
AD
781};
782
783
62a34c3e 784size_t
a911db9c 785abitset_bytes (bitset_bindex n_bits)
7086e707 786{
62a34c3e
PE
787 bitset_windex size;
788 size_t bytes;
d4d399fc
PE
789 size_t header_size = offsetof (union bitset_union, a.words);
790 struct bitset_align_struct { char a; union bitset_union b; };
791 size_t bitset_alignment = offsetof (struct bitset_align_struct, b);
7086e707 792
613f5e1a 793 size = ABITSET_N_WORDS (n_bits);
d4d399fc
PE
794 bytes = header_size + size * sizeof (bitset_word);
795
796 /* Align the size properly for a vector of abitset objects. */
797 if (header_size % bitset_alignment != 0
798 || sizeof (bitset_word) % bitset_alignment != 0)
799 {
800 bytes += bitset_alignment - 1;
801 bytes -= bytes % bitset_alignment;
802 }
803
804 return bytes;
7086e707
AD
805}
806
807
808bitset
a911db9c 809abitset_init (bitset bset, bitset_bindex n_bits)
7086e707
AD
810{
811 bitset_windex size;
812
613f5e1a 813 size = ABITSET_N_WORDS (n_bits);
eaef5507 814 BITSET_NBITS_ (bset) = n_bits;
7086e707
AD
815
816 /* Use optimized routines if bitset fits within a single word.
817 There is probably little merit if using caching since
818 the small bitset will always fit in the cache. */
819 if (size == 1)
6aa452a6 820 bset->b.vtable = &abitset_small_vtable;
7086e707 821 else
6aa452a6 822 bset->b.vtable = &abitset_vtable;
7086e707 823
ef017502
AD
824 bset->b.cindex = 0;
825 bset->b.csize = size;
613f5e1a 826 bset->b.cdata = ABITSET_WORDS (bset);
7086e707
AD
827 return bset;
828}