| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
| #include <config.h> |
|
|
| #include "bitset/array.h" |
| #include <stddef.h> |
| #include <stdlib.h> |
| #include <string.h> |
|
|
| |
| |
|
|
| #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) |
| { |
| |
| if (BITSET_SIZE_ (src) != size) |
| abort (); |
|
|
| return size; |
| } |
|
|
| |
| |
| |
| static bitset_bindex |
| abitset_small_list (bitset src, bitset_bindex *list, |
| bitset_bindex num, bitset_bindex *next) |
| { |
| bitset_word word = ABITSET_WORDS (src)[0]; |
|
|
| |
| if (!word) |
| return 0; |
|
|
| bitset_windex size = BITSET_SIZE_ (src); |
| bitset_bindex bitno = *next; |
| if (bitno >= size) |
| return 0; |
|
|
| word >>= bitno; |
|
|
| bitset_bindex count = 0; |
| |
| if (num >= BITSET_WORD_BITS) |
| BITSET_FOR_EACH_BIT (pos, word) |
| list[count++] = bitno + pos; |
| else |
| BITSET_FOR_EACH_BIT (pos, word) |
| { |
| list[count++] = bitno + pos; |
| if (count >= num) |
| { |
| *next = bitno + pos + 1; |
| return count; |
| } |
| } |
| *next = bitno + BITSET_WORD_BITS; |
| return count; |
| } |
|
|
|
|
| |
| static void |
| abitset_set (MAYBE_UNUSED bitset dst, MAYBE_UNUSED bitset_bindex bitno) |
| { |
| |
| |
| |
| abort (); |
| } |
|
|
|
|
| |
| static void |
| abitset_reset (MAYBE_UNUSED bitset dst, |
| MAYBE_UNUSED bitset_bindex bitno) |
| { |
| |
| |
| |
| } |
|
|
|
|
| |
| static bool |
| abitset_test (MAYBE_UNUSED bitset src, |
| MAYBE_UNUSED bitset_bindex bitno) |
| { |
| |
| |
| return false; |
| } |
|
|
|
|
| |
| |
| |
| |
| 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 (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]; |
| if (bitcnt + 1 < BITSET_WORD_BITS) |
| |
| word &= ((bitset_word) 1 << (bitcnt + 1)) - 1; |
| BITSET_FOR_EACH_BIT_REVERSE(pos, word) |
| { |
| list[count++] = bitoff + pos; |
| if (count >= num) |
| { |
| *next = n_bits - (bitoff + pos); |
| return count; |
| } |
| } |
| bitoff -= BITSET_WORD_BITS; |
| bitcnt = BITSET_WORD_BITS - 1; |
| } |
| while (windex--); |
|
|
| *next = n_bits - (bitoff + 1); |
| return count; |
| } |
|
|
|
|
| |
| |
| |
| 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) |
| { |
| |
| for (windex = 0; windex < size && !srcp[windex]; windex++) |
| continue; |
| if (windex >= size) |
| return 0; |
|
|
| 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) |
| { |
| |
| |
| |
| |
|
|
| bitoff = windex * BITSET_WORD_BITS; |
| bitset_word word = srcp[windex] >> bitno; |
| bitno = bitoff + bitno; |
| BITSET_FOR_EACH_BIT (pos, word) |
| { |
| list[count++] = bitno + pos; |
| if (count >= num) |
| { |
| *next = bitno + pos + 1; |
| return count; |
| } |
| } |
| 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) |
| BITSET_FOR_EACH_BIT (pos, word) |
| list[count++] = bitoff + pos; |
| else |
| BITSET_FOR_EACH_BIT (pos, word) |
| { |
| list[count++] = bitoff + pos; |
| if (count >= num) |
| { |
| *next = bitoff + pos + 1; |
| return count; |
| } |
| } |
| } |
|
|
| *next = bitoff; |
| return count; |
| } |
|
|
|
|
| |
| 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); |
| } |
|
|
|
|
| |
| static 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 |
| }; |
|
|
|
|
| |
| static 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); |
|
|
| |
| 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; |
|
|
| |
| |
| |
| 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; |
| } |
|
|