123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772 |
- /* Array bitsets.
- Copyright (C) 2002-2003, 2006, 2009-2015, 2018-2020 Free Software
- Foundation, Inc.
- Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
- This program is free software: you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation, either version 3 of the License, or
- (at your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program. If not, see <https://www.gnu.org/licenses/>. */
- #include <config.h>
- #include "bitset/array.h"
- #include <stddef.h>
- #include <stdlib.h>
- #include <string.h>
- /* This file implements fixed size bitsets stored as an array
- of words. Any unused bits in the last word must be zero. */
- #define ABITSET_N_WORDS(N) (((N) + BITSET_WORD_BITS - 1) / BITSET_WORD_BITS)
- #define ABITSET_WORDS(X) ((X)->a.words)
- static bitset_bindex
- abitset_resize (bitset src, bitset_bindex size)
- {
- /* These bitsets have a fixed size. */
- if (BITSET_SIZE_ (src) != size)
- abort ();
- return size;
- }
- /* Find list of up to NUM bits set in BSET starting from and including
- *NEXT and store in array LIST. Return with actual number of bits
- found and with *NEXT indicating where search stopped. */
- static bitset_bindex
- abitset_small_list (bitset src, bitset_bindex *list,
- bitset_bindex num, bitset_bindex *next)
- {
- bitset_word word = ABITSET_WORDS (src)[0];
- /* Short circuit common case. */
- if (!word)
- return 0;
- bitset_windex size = BITSET_SIZE_ (src);
- bitset_bindex bitno = *next;
- if (bitno >= size)
- return 0;
- word >>= bitno;
- /* If num is 1, we could speed things up with a binary search
- of the word of interest. */
- bitset_bindex count;
- if (num >= BITSET_WORD_BITS)
- {
- for (count = 0; word; bitno++)
- {
- if (word & 1)
- list[count++] = bitno;
- word >>= 1;
- }
- }
- else
- {
- for (count = 0; word; bitno++)
- {
- if (word & 1)
- {
- list[count++] = bitno;
- if (count >= num)
- {
- bitno++;
- break;
- }
- }
- word >>= 1;
- }
- }
- *next = bitno;
- return count;
- }
- /* Set bit BITNO in bitset DST. */
- static void
- abitset_set (bitset dst MAYBE_UNUSED, bitset_bindex bitno MAYBE_UNUSED)
- {
- /* This should never occur for abitsets since we should always hit
- the cache. It is likely someone is trying to access outside the
- bounds of the bitset. */
- abort ();
- }
- /* Reset bit BITNO in bitset DST. */
- static void
- abitset_reset (bitset dst MAYBE_UNUSED,
- bitset_bindex bitno MAYBE_UNUSED)
- {
- /* This should never occur for abitsets since we should always hit
- the cache. It is likely someone is trying to access outside the
- bounds of the bitset. Since the bit is zero anyway, let it pass. */
- }
- /* Test bit BITNO in bitset SRC. */
- static bool
- abitset_test (bitset src MAYBE_UNUSED,
- bitset_bindex bitno MAYBE_UNUSED)
- {
- /* This should never occur for abitsets since we should always
- hit the cache. */
- return false;
- }
- /* Find list of up to NUM bits set in BSET in reverse order, starting
- from and including NEXT and store in array LIST. Return with
- actual number of bits found and with *NEXT indicating where search
- stopped. */
- static bitset_bindex
- abitset_list_reverse (bitset src, bitset_bindex *list,
- bitset_bindex num, bitset_bindex *next)
- {
- bitset_bindex rbitno = *next;
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_bindex n_bits = BITSET_SIZE_ (src);
- /* If num is 1, we could speed things up with a binary search
- of the word of interest. */
- if (rbitno >= n_bits)
- return 0;
- bitset_bindex count = 0;
- bitset_bindex bitno = n_bits - (rbitno + 1);
- bitset_windex windex = bitno / BITSET_WORD_BITS;
- unsigned bitcnt = bitno % BITSET_WORD_BITS;
- bitset_bindex bitoff = windex * BITSET_WORD_BITS;
- do
- {
- bitset_word word = srcp[windex] << (BITSET_WORD_BITS - 1 - bitcnt);
- for (; word; bitcnt--)
- {
- if (word & BITSET_MSB)
- {
- list[count++] = bitoff + bitcnt;
- if (count >= num)
- {
- *next = n_bits - (bitoff + bitcnt);
- return count;
- }
- }
- word <<= 1;
- }
- bitoff -= BITSET_WORD_BITS;
- bitcnt = BITSET_WORD_BITS - 1;
- }
- while (windex--);
- *next = n_bits - (bitoff + 1);
- return count;
- }
- /* Find list of up to NUM bits set in BSET starting from and including
- *NEXT and store in array LIST. Return with actual number of bits
- found and with *NEXT indicating where search stopped. */
- static bitset_bindex
- abitset_list (bitset src, bitset_bindex *list,
- bitset_bindex num, bitset_bindex *next)
- {
- bitset_windex windex;
- bitset_bindex bitoff;
- bitset_windex size = src->b.csize;
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_bindex bitno = *next;
- bitset_bindex count = 0;
- if (!bitno)
- {
- /* Many bitsets are zero, so make this common case fast. */
- for (windex = 0; windex < size && !srcp[windex]; windex++)
- continue;
- if (windex >= size)
- return 0;
- /* If num is 1, we could speed things up with a binary search
- of the current word. */
- bitoff = windex * BITSET_WORD_BITS;
- }
- else
- {
- if (bitno >= BITSET_SIZE_ (src))
- return 0;
- windex = bitno / BITSET_WORD_BITS;
- bitno = bitno % BITSET_WORD_BITS;
- if (bitno)
- {
- /* Handle the case where we start within a word.
- Most often, this is executed with large bitsets
- with many set bits where we filled the array
- on the previous call to this function. */
- bitoff = windex * BITSET_WORD_BITS;
- bitset_word word = srcp[windex] >> bitno;
- for (bitno = bitoff + bitno; word; bitno++)
- {
- if (word & 1)
- {
- list[count++] = bitno;
- if (count >= num)
- {
- *next = bitno + 1;
- return count;
- }
- }
- word >>= 1;
- }
- windex++;
- }
- bitoff = windex * BITSET_WORD_BITS;
- }
- for (; windex < size; windex++, bitoff += BITSET_WORD_BITS)
- {
- bitset_word word = srcp[windex];
- if (!word)
- continue;
- if ((count + BITSET_WORD_BITS) < num)
- {
- for (bitno = bitoff; word; bitno++)
- {
- if (word & 1)
- list[count++] = bitno;
- word >>= 1;
- }
- }
- else
- {
- for (bitno = bitoff; word; bitno++)
- {
- if (word & 1)
- {
- list[count++] = bitno;
- if (count >= num)
- {
- *next = bitno + 1;
- return count;
- }
- }
- word >>= 1;
- }
- }
- }
- *next = bitoff;
- return count;
- }
- /* Ensure that any unused bits within the last word are clear. */
- static inline void
- abitset_unused_clear (bitset dst)
- {
- unsigned last_bit = BITSET_SIZE_ (dst) % BITSET_WORD_BITS;
- if (last_bit)
- ABITSET_WORDS (dst)[dst->b.csize - 1] &=
- ((bitset_word) 1 << last_bit) - 1;
- }
- static void
- abitset_ones (bitset dst)
- {
- bitset_word *dstp = ABITSET_WORDS (dst);
- size_t bytes = sizeof (bitset_word) * dst->b.csize;
- memset (dstp, -1, bytes);
- abitset_unused_clear (dst);
- }
- static void
- abitset_zero (bitset dst)
- {
- bitset_word *dstp = ABITSET_WORDS (dst);
- size_t bytes = sizeof (bitset_word) * dst->b.csize;
- memset (dstp, 0, bytes);
- }
- static bool
- abitset_empty_p (bitset dst)
- {
- bitset_word *dstp = ABITSET_WORDS (dst);
- for (bitset_windex i = 0; i < dst->b.csize; i++)
- if (dstp[i])
- return false;
- return true;
- }
- static void
- abitset_copy1 (bitset dst, bitset src)
- {
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_word *dstp = ABITSET_WORDS (dst);
- if (srcp == dstp)
- return;
- bitset_windex size = dst->b.csize;
- memcpy (dstp, srcp, sizeof (bitset_word) * size);
- }
- static void
- abitset_not (bitset dst, bitset src)
- {
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = ~(*srcp++);
- abitset_unused_clear (dst);
- }
- static bool
- abitset_equal_p (bitset dst, bitset src)
- {
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- if (*srcp++ != *dstp++)
- return false;
- return true;
- }
- static bool
- abitset_subset_p (bitset dst, bitset src)
- {
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++, srcp++)
- if (*dstp != (*srcp | *dstp))
- return false;
- return true;
- }
- static bool
- abitset_disjoint_p (bitset dst, bitset src)
- {
- bitset_word *srcp = ABITSET_WORDS (src);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- if (*srcp++ & *dstp++)
- return false;
- return true;
- }
- static void
- abitset_and (bitset dst, bitset src1, bitset src2)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = *src1p++ & *src2p++;
- }
- static bool
- abitset_and_cmp (bitset dst, bitset src1, bitset src2)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = *src1p++ & *src2p++;
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_andn (bitset dst, bitset src1, bitset src2)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = *src1p++ & ~(*src2p++);
- }
- static bool
- abitset_andn_cmp (bitset dst, bitset src1, bitset src2)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = *src1p++ & ~(*src2p++);
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_or (bitset dst, bitset src1, bitset src2)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = *src1p++ | *src2p++;
- }
- static bool
- abitset_or_cmp (bitset dst, bitset src1, bitset src2)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = *src1p++ | *src2p++;
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_xor (bitset dst, bitset src1, bitset src2)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = *src1p++ ^ *src2p++;
- }
- static bool
- abitset_xor_cmp (bitset dst, bitset src1, bitset src2)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = *src1p++ ^ *src2p++;
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_and_or (bitset dst, bitset src1, bitset src2, bitset src3)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *src3p = ABITSET_WORDS (src3);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = (*src1p++ & *src2p++) | *src3p++;
- }
- static bool
- abitset_and_or_cmp (bitset dst, bitset src1, bitset src2, bitset src3)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *src3p = ABITSET_WORDS (src3);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = (*src1p++ & *src2p++) | *src3p++;
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_andn_or (bitset dst, bitset src1, bitset src2, bitset src3)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *src3p = ABITSET_WORDS (src3);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = (*src1p++ & ~(*src2p++)) | *src3p++;
- }
- static bool
- abitset_andn_or_cmp (bitset dst, bitset src1, bitset src2, bitset src3)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *src3p = ABITSET_WORDS (src3);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = (*src1p++ & ~(*src2p++)) | *src3p++;
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_or_and (bitset dst, bitset src1, bitset src2, bitset src3)
- {
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *src3p = ABITSET_WORDS (src3);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++)
- *dstp++ = (*src1p++ | *src2p++) & *src3p++;
- }
- static bool
- abitset_or_and_cmp (bitset dst, bitset src1, bitset src2, bitset src3)
- {
- bool changed = false;
- bitset_word *src1p = ABITSET_WORDS (src1);
- bitset_word *src2p = ABITSET_WORDS (src2);
- bitset_word *src3p = ABITSET_WORDS (src3);
- bitset_word *dstp = ABITSET_WORDS (dst);
- bitset_windex size = dst->b.csize;
- for (bitset_windex i = 0; i < size; i++, dstp++)
- {
- bitset_word tmp = (*src1p++ | *src2p++) & *src3p++;
- if (*dstp != tmp)
- {
- changed = true;
- *dstp = tmp;
- }
- }
- return changed;
- }
- static void
- abitset_copy (bitset dst, bitset src)
- {
- if (BITSET_COMPATIBLE_ (dst, src))
- abitset_copy1 (dst, src);
- else
- bitset_copy_ (dst, src);
- }
- /* Vector of operations for single word bitsets. */
- struct bitset_vtable abitset_small_vtable = {
- abitset_set,
- abitset_reset,
- bitset_toggle_,
- abitset_test,
- abitset_resize,
- bitset_size_,
- bitset_count_,
- abitset_empty_p,
- abitset_ones,
- abitset_zero,
- abitset_copy,
- abitset_disjoint_p,
- abitset_equal_p,
- abitset_not,
- abitset_subset_p,
- abitset_and,
- abitset_and_cmp,
- abitset_andn,
- abitset_andn_cmp,
- abitset_or,
- abitset_or_cmp,
- abitset_xor,
- abitset_xor_cmp,
- abitset_and_or,
- abitset_and_or_cmp,
- abitset_andn_or,
- abitset_andn_or_cmp,
- abitset_or_and,
- abitset_or_and_cmp,
- abitset_small_list,
- abitset_list_reverse,
- NULL,
- BITSET_ARRAY
- };
- /* Vector of operations for multiple word bitsets. */
- struct bitset_vtable abitset_vtable = {
- abitset_set,
- abitset_reset,
- bitset_toggle_,
- abitset_test,
- abitset_resize,
- bitset_size_,
- bitset_count_,
- abitset_empty_p,
- abitset_ones,
- abitset_zero,
- abitset_copy,
- abitset_disjoint_p,
- abitset_equal_p,
- abitset_not,
- abitset_subset_p,
- abitset_and,
- abitset_and_cmp,
- abitset_andn,
- abitset_andn_cmp,
- abitset_or,
- abitset_or_cmp,
- abitset_xor,
- abitset_xor_cmp,
- abitset_and_or,
- abitset_and_or_cmp,
- abitset_andn_or,
- abitset_andn_or_cmp,
- abitset_or_and,
- abitset_or_and_cmp,
- abitset_list,
- abitset_list_reverse,
- NULL,
- BITSET_ARRAY
- };
- size_t
- abitset_bytes (bitset_bindex n_bits)
- {
- size_t header_size = offsetof (union bitset_union, a.words);
- struct bitset_align_struct { char a; union bitset_union b; };
- size_t bitset_alignment = offsetof (struct bitset_align_struct, b);
- bitset_windex size = ABITSET_N_WORDS (n_bits);
- size_t bytes = header_size + size * sizeof (bitset_word);
- /* Align the size properly for a vector of abitset objects. */
- if (header_size % bitset_alignment != 0
- || sizeof (bitset_word) % bitset_alignment != 0)
- {
- bytes += bitset_alignment - 1;
- bytes -= bytes % bitset_alignment;
- }
- return bytes;
- }
- bitset
- abitset_init (bitset bset, bitset_bindex n_bits)
- {
- bitset_windex size = ABITSET_N_WORDS (n_bits);
- BITSET_NBITS_ (bset) = n_bits;
- /* Use optimized routines if bitset fits within a single word.
- There is probably little merit if using caching since
- the small bitset will always fit in the cache. */
- bset->b.vtable = size == 1 ? &abitset_small_vtable : &abitset_vtable;
- bset->b.cindex = 0;
- bset->b.csize = size;
- bset->b.cdata = ABITSET_WORDS (bset);
- return bset;
- }
|