X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/6aa452a643c65a8df244013e05d41854531ec762..f7737e2e16cb9a49c258ac4b82b2b5f4fa9d0f18:/lib/lbitset.c diff --git a/lib/lbitset.c b/lib/lbitset.c index 5ce9e903..d279c5ec 100644 --- a/lib/lbitset.c +++ b/lib/lbitset.c @@ -23,6 +23,7 @@ #include "lbitset.h" #include "obstack.h" +#include #include #include @@ -63,25 +64,6 @@ typedef struct lbitset_elt_struct lbitset_elt; -/* Head of lbitset linked list. */ -typedef struct lbitset_struct -{ - lbitset_elt *head; /* First element in linked list. */ - lbitset_elt *tail; /* Last element in linked list. */ -} -*lbitset; - - -struct bitset_struct -{ - struct bbitset_struct b; - struct lbitset_struct l; -}; - - -typedef void(*PFV)(); - - enum lbitset_find_mode { LBITSET_FIND, LBITSET_CREATE, LBITSET_SUBST }; @@ -92,34 +74,10 @@ static struct obstack lbitset_obstack; static int lbitset_obstack_init = 0; static lbitset_elt *lbitset_free_list; /* Free list of bitset elements. */ -static lbitset_elt *lbitset_elt_alloc PARAMS ((void)); -static lbitset_elt *lbitset_elt_calloc PARAMS ((void)); -static void lbitset_elt_link PARAMS ((bitset, lbitset_elt *)); -static void lbitset_elt_unlink PARAMS ((bitset, lbitset_elt *)); -static void lbitset_elt_free PARAMS ((lbitset_elt *)); -static lbitset_elt *lbitset_elt_find PARAMS ((bitset, bitset_windex, - enum lbitset_find_mode)); -static int lbitset_elt_zero_p PARAMS ((lbitset_elt *)); - -static void lbitset_prune PARAMS ((bitset, lbitset_elt *)); -static void lbitset_weed PARAMS ((bitset)); -static void lbitset_zero PARAMS ((bitset)); -static int lbitset_equal_p PARAMS ((bitset, bitset)); -static void lbitset_copy PARAMS ((bitset, bitset)); -static int lbitset_copy_cmp PARAMS ((bitset, bitset)); -static void lbitset_set PARAMS ((bitset, bitset_bindex)); -static void lbitset_reset PARAMS ((bitset, bitset_bindex)); -static int lbitset_test PARAMS ((bitset, bitset_bindex)); -static int lbitset_size PARAMS ((bitset)); -static int lbitset_op3_cmp PARAMS ((bitset, bitset, bitset, enum bitset_ops)); -static int lbitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex, - bitset_bindex *)); -static int lbitset_list_reverse -PARAMS ((bitset, bitset_bindex *, bitset_bindex, bitset_bindex *)); -static void lbitset_free PARAMS ((bitset)); - - -#define LBITSET_CURRENT1(X) (lbitset_elt *)((char *)(X) + ((char *)&(((lbitset_elt *)(X))->next) - (char *)&(((lbitset_elt *)(X))->words))) +extern void debug_lbitset PARAMS ((bitset)); + +#define LBITSET_CURRENT1(X) \ + ((lbitset_elt *) (void *) ((char *) (X) - offsetof (lbitset_elt, words))) #define LBITSET_CURRENT(X) LBITSET_CURRENT1((X)->b.cdata) @@ -128,7 +86,7 @@ static void lbitset_free PARAMS ((bitset)); /* Allocate a lbitset element. The bits are not cleared. */ static inline lbitset_elt * -lbitset_elt_alloc () +lbitset_elt_alloc (void) { lbitset_elt *elt; @@ -183,7 +141,7 @@ lbitset_elt_alloc () /* Allocate a lbitset element. The bits are cleared. */ static inline lbitset_elt * -lbitset_elt_calloc () +lbitset_elt_calloc (void) { lbitset_elt *elt; @@ -194,8 +152,7 @@ lbitset_elt_calloc () static inline void -lbitset_elt_free (elt) - lbitset_elt *elt; +lbitset_elt_free (lbitset_elt *elt) { elt->next = lbitset_free_list; lbitset_free_list = elt; @@ -204,9 +161,7 @@ lbitset_elt_free (elt) /* Unlink element ELT from bitset BSET. */ static inline void -lbitset_elt_unlink (bset, elt) - bitset bset; - lbitset_elt *elt; +lbitset_elt_unlink (bitset bset, lbitset_elt *elt) { lbitset_elt *next = elt->next; lbitset_elt *prev = elt->prev; @@ -251,9 +206,7 @@ lbitset_elt_unlink (bset, elt) /* Cut the chain of bitset BSET before element ELT and free the elements. */ static inline void -lbitset_prune (bset, elt) - bitset bset; - lbitset_elt *elt; +lbitset_prune (bitset bset, lbitset_elt *elt) { lbitset_elt *next; @@ -285,8 +238,7 @@ lbitset_prune (bset, elt) /* Return nonzero if all bits in an element are zero. */ static inline int -lbitset_elt_zero_p (elt) - lbitset_elt *elt; +lbitset_elt_zero_p (lbitset_elt *elt) { int i; @@ -300,9 +252,7 @@ lbitset_elt_zero_p (elt) /* Link the bitset element into the current bitset linked list. */ static inline void -lbitset_elt_link (bset, elt) - bitset bset; - lbitset_elt *elt; +lbitset_elt_link (bitset bset, lbitset_elt *elt) { bitset_windex windex = elt->index; lbitset_elt *ptr; @@ -364,10 +314,8 @@ lbitset_elt_link (bset, elt) static lbitset_elt * -lbitset_elt_find (bset, windex, mode) - bitset bset; - bitset_windex windex; - enum lbitset_find_mode mode; +lbitset_elt_find (bitset bset, bitset_windex windex, + enum lbitset_find_mode mode) { lbitset_elt *elt; lbitset_elt *current; @@ -417,7 +365,7 @@ lbitset_elt_find (bset, windex, mode) return 0; case LBITSET_CREATE: - windex = (windex / (unsigned) LBITSET_ELT_WORDS) * LBITSET_ELT_WORDS; + windex -= windex % LBITSET_ELT_WORDS; elt = lbitset_elt_calloc (); elt->index = windex; @@ -435,8 +383,7 @@ lbitset_elt_find (bset, windex, mode) /* Weed out the zero elements from the list. */ static inline void -lbitset_weed (bset) - bitset bset; +lbitset_weed (bitset bset) { lbitset_elt *elt; lbitset_elt *next; @@ -452,8 +399,7 @@ lbitset_weed (bset) /* Set all bits in the bitset to zero. */ static void -lbitset_zero (bset) - bitset bset; +lbitset_zero (bitset bset) { lbitset_elt *head; @@ -468,9 +414,7 @@ lbitset_zero (bset) /* Return 1 if DST == SRC. */ static inline int -lbitset_equal_p (dst, src) - bitset dst; - bitset src; +lbitset_equal_p (bitset dst, bitset src) { lbitset_elt *selt; lbitset_elt *delt; @@ -497,9 +441,7 @@ lbitset_equal_p (dst, src) /* Copy bits from bitset SRC to bitset DST. */ static inline void -lbitset_copy (dst, src) - bitset dst; - bitset src; +lbitset_copy (bitset dst, bitset src) { lbitset_elt *elt; lbitset_elt *head; @@ -541,9 +483,7 @@ lbitset_copy (dst, src) /* Copy bits from bitset SRC to bitset DST. Return non-zero if bitsets different. */ static inline int -lbitset_copy_cmp (dst, src) - bitset dst; - bitset src; +lbitset_copy_cmp (bitset dst, bitset src) { if (src == dst) return 0; @@ -563,9 +503,8 @@ lbitset_copy_cmp (dst, src) /* Return size in bits of bitset SRC. */ -static int -lbitset_size (src) - bitset src; +static bitset_bindex +lbitset_size (bitset src) { lbitset_elt *elt; @@ -580,9 +519,7 @@ lbitset_size (src) /* Set bit BITNO in bitset DST. */ static void -lbitset_set (dst, bitno) - bitset dst; - bitset_bindex bitno; +lbitset_set (bitset dst, bitset_bindex bitno) { bitset_windex windex = bitno / BITSET_WORD_BITS; @@ -595,9 +532,7 @@ lbitset_set (dst, bitno) /* Reset bit BITNO in bitset DST. */ static void -lbitset_reset (dst, bitno) - bitset dst; - bitset_bindex bitno; +lbitset_reset (bitset dst, bitset_bindex bitno) { bitset_windex windex = bitno / BITSET_WORD_BITS; @@ -613,23 +548,20 @@ lbitset_reset (dst, bitno) /* Test bit BITNO in bitset SRC. */ static int -lbitset_test (src, bitno) - bitset src; - bitset_bindex bitno; +lbitset_test (bitset src, bitset_bindex bitno) { bitset_windex windex = bitno / BITSET_WORD_BITS; if (!lbitset_elt_find (src, windex, LBITSET_FIND)) return 0; - return (src->b.cdata[windex - src->b.cindex] + return (src->b.cdata[windex - src->b.cindex] >> (bitno % BITSET_WORD_BITS)) & 1; } static void -lbitset_free (bset) - bitset bset; +lbitset_free (bitset bset) { lbitset_zero (bset); } @@ -638,12 +570,9 @@ lbitset_free (bset) /* 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 int -lbitset_list_reverse (bset, list, num, next) - bitset bset; - bitset_bindex *list; - bitset_bindex num; - bitset_bindex *next; +static bitset_bindex +lbitset_list_reverse (bitset bset, bitset_bindex *list, + bitset_bindex num, bitset_bindex *next) { bitset_bindex rbitno; bitset_bindex bitno; @@ -736,12 +665,9 @@ lbitset_list_reverse (bset, list, num, next) /* 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 int -lbitset_list (bset, list, num, next) - bitset bset; - bitset_bindex *list; - bitset_bindex num; - bitset_bindex *next; +static bitset_bindex +lbitset_list (bitset bset, bitset_bindex *list, + bitset_bindex num, bitset_bindex *next) { bitset_bindex bitno; bitset_windex windex; @@ -940,8 +866,7 @@ lbitset_list (bset, list, num, next) static int -lbitset_empty_p (dst) - bitset dst; +lbitset_empty_p (bitset dst) { lbitset_weed (dst); if (LBITSET_HEAD (dst)) @@ -951,10 +876,9 @@ lbitset_empty_p (dst) static void -lbitset_ones (dst) - bitset dst; +lbitset_ones (bitset dst) { - unsigned int i; + bitset_windex i; bitset_windex windex; lbitset_elt *elt; @@ -966,7 +890,7 @@ lbitset_ones (dst) /* Ignore empty set. */ if (!elt) return; - + windex = elt->index; for (i = 0; i < windex; i += LBITSET_ELT_WORDS) { @@ -978,14 +902,12 @@ lbitset_ones (dst) static void -lbitset_not (dst, src) - bitset dst; - bitset src; +lbitset_not (bitset dst, bitset src) { lbitset_elt *elt; lbitset_elt *selt; lbitset_elt *delt; - unsigned int i; + bitset_windex i; unsigned int j; bitset_windex windex; @@ -995,7 +917,7 @@ lbitset_not (dst, src) /* Ignore empty set. */ if (!elt) return; - + windex = elt->index; for (i = 0; i < windex; i += LBITSET_ELT_WORDS) { @@ -1003,7 +925,7 @@ lbitset_not (dst, src) or substitute zero elements if src elements not found. */ selt = lbitset_elt_find (src, i, LBITSET_SUBST); delt = lbitset_elt_find (dst, i, LBITSET_CREATE); - + for (j = 0; j < LBITSET_ELT_WORDS; j++) delt->words[j] = ~selt->words[j]; } @@ -1014,9 +936,7 @@ lbitset_not (dst, src) /* Return 1 if DST == DST | SRC. */ static int -lbitset_subset_p (dst, src) - bitset dst; - bitset src; +lbitset_subset_p (bitset dst, bitset src) { lbitset_elt *selt; lbitset_elt *delt; @@ -1042,7 +962,7 @@ lbitset_subset_p (dst, src) selt = &lbitset_zero_elts[1]; } } - + for (j = 0; j < LBITSET_ELT_WORDS; j++) if (delt->words[j] != (selt->words[j] | delt->words[j])) return 0; @@ -1053,9 +973,7 @@ lbitset_subset_p (dst, src) /* Return 1 if DST & SRC == 0. */ static int -lbitset_disjoint_p (dst, src) - bitset dst; - bitset src; +lbitset_disjoint_p (bitset dst, bitset src) { lbitset_elt *selt; lbitset_elt *delt; @@ -1080,7 +998,7 @@ lbitset_disjoint_p (dst, src) intersection of these elements. */ continue; } - + for (j = 0; j < LBITSET_ELT_WORDS; j++) if (selt->words[j] & delt->words[j]) return 0; @@ -1090,11 +1008,7 @@ lbitset_disjoint_p (dst, src) static int -lbitset_op3_cmp (dst, src1, src2, op) - bitset dst; - bitset src1; - bitset src2; - enum bitset_ops op; +lbitset_op3_cmp (bitset dst, bitset src1, bitset src2, enum bitset_ops op) { lbitset_elt *selt1 = LBITSET_HEAD (src1); lbitset_elt *selt2 = LBITSET_HEAD (src2); @@ -1114,8 +1028,8 @@ lbitset_op3_cmp (dst, src1, src2, op) LBITSET_HEAD (dst) = 0; dst->b.csize = 0; - windex1 = (selt1) ? selt1->index : BITSET_INDEX_MAX; - windex2 = (selt2) ? selt2->index : BITSET_INDEX_MAX; + windex1 = (selt1) ? selt1->index : BITSET_WINDEX_MAX; + windex2 = (selt2) ? selt2->index : BITSET_WINDEX_MAX; while (selt1 || selt2) { @@ -1127,9 +1041,9 @@ lbitset_op3_cmp (dst, src1, src2, op) stmp1 = selt1; stmp2 = selt2; selt1 = selt1->next; - windex1 = (selt1) ? selt1->index : BITSET_INDEX_MAX; + windex1 = (selt1) ? selt1->index : BITSET_WINDEX_MAX; selt2 = selt2->next; - windex2 = (selt2) ? selt2->index : BITSET_INDEX_MAX; + windex2 = (selt2) ? selt2->index : BITSET_WINDEX_MAX; } else if (windex1 < windex2) { @@ -1137,7 +1051,7 @@ lbitset_op3_cmp (dst, src1, src2, op) stmp1 = selt1; stmp2 = &lbitset_zero_elts[0]; selt1 = selt1->next; - windex1 = (selt1) ? selt1->index : BITSET_INDEX_MAX; + windex1 = (selt1) ? selt1->index : BITSET_WINDEX_MAX; } else { @@ -1145,7 +1059,7 @@ lbitset_op3_cmp (dst, src1, src2, op) stmp1 = &lbitset_zero_elts[0]; stmp2 = selt2; selt2 = selt2->next; - windex2 = (selt2) ? selt2->index : BITSET_INDEX_MAX; + windex2 = (selt2) ? selt2->index : BITSET_WINDEX_MAX; } /* Find the appropriate element from DST. Begin by discarding @@ -1252,10 +1166,7 @@ lbitset_op3_cmp (dst, src1, src2, op) static int -lbitset_and_cmp (dst, src1, src2) - bitset dst; - bitset src1; - bitset src2; +lbitset_and_cmp (bitset dst, bitset src1, bitset src2) { lbitset_elt *selt1 = LBITSET_HEAD (src1); lbitset_elt *selt2 = LBITSET_HEAD (src2); @@ -1279,11 +1190,15 @@ lbitset_and_cmp (dst, src1, src2) } +static void +lbitset_and (bitset dst, bitset src1, bitset src2) +{ + lbitset_and_cmp (dst, src1, src2); +} + + static int -lbitset_andn_cmp (dst, src1, src2) - bitset dst; - bitset src1; - bitset src2; +lbitset_andn_cmp (bitset dst, bitset src1, bitset src2) { lbitset_elt *selt1 = LBITSET_HEAD (src1); lbitset_elt *selt2 = LBITSET_HEAD (src2); @@ -1304,11 +1219,15 @@ lbitset_andn_cmp (dst, src1, src2) } +static void +lbitset_andn (bitset dst, bitset src1, bitset src2) +{ + lbitset_andn_cmp (dst, src1, src2); +} + + static int -lbitset_or_cmp (dst, src1, src2) - bitset dst; - bitset src1; - bitset src2; +lbitset_or_cmp (bitset dst, bitset src1, bitset src2) { lbitset_elt *selt1 = LBITSET_HEAD (src1); lbitset_elt *selt2 = LBITSET_HEAD (src2); @@ -1325,11 +1244,15 @@ lbitset_or_cmp (dst, src1, src2) } +static void +lbitset_or (bitset dst, bitset src1, bitset src2) +{ + lbitset_or_cmp (dst, src1, src2); +} + + static int -lbitset_xor_cmp (dst, src1, src2) - bitset dst; - bitset src1; - bitset src2; +lbitset_xor_cmp (bitset dst, bitset src1, bitset src2) { lbitset_elt *selt1 = LBITSET_HEAD (src1); lbitset_elt *selt2 = LBITSET_HEAD (src2); @@ -1346,6 +1269,13 @@ lbitset_xor_cmp (dst, src1, src2) } +static void +lbitset_xor (bitset dst, bitset src1, bitset src2) +{ + lbitset_xor_cmp (dst, src1, src2); +} + + /* Vector of operations for linked-list bitsets. */ struct bitset_vtable lbitset_vtable = { @@ -1363,19 +1293,19 @@ struct bitset_vtable lbitset_vtable = { lbitset_equal_p, lbitset_not, lbitset_subset_p, - (PFV) lbitset_and_cmp, + lbitset_and, lbitset_and_cmp, - (PFV) lbitset_andn_cmp, + lbitset_andn, lbitset_andn_cmp, - (PFV) lbitset_or_cmp, + lbitset_or, lbitset_or_cmp, - (PFV) lbitset_xor_cmp, + lbitset_xor, lbitset_xor_cmp, - (PFV) bitset_and_or_cmp_, + bitset_and_or_, bitset_and_or_cmp_, - (PFV) bitset_andn_or_cmp_, + bitset_andn_or_, bitset_andn_or_cmp_, - (PFV) bitset_or_and_cmp_, + bitset_or_and_, bitset_or_and_cmp_, lbitset_list, lbitset_list_reverse, @@ -1385,19 +1315,16 @@ struct bitset_vtable lbitset_vtable = { /* Return size of initial structure. */ -int -lbitset_bytes (n_bits) - bitset_bindex n_bits ATTRIBUTE_UNUSED; +size_t +lbitset_bytes (bitset_bindex n_bits ATTRIBUTE_UNUSED) { - return sizeof (struct bitset_struct); + return sizeof (struct lbitset_struct); } /* Initialize a bitset. */ bitset -lbitset_init (bset, n_bits) - bitset bset; - bitset_bindex n_bits ATTRIBUTE_UNUSED; +lbitset_init (bitset bset, bitset_bindex n_bits ATTRIBUTE_UNUSED) { bset->b.vtable = &lbitset_vtable; return bset; @@ -1405,7 +1332,7 @@ lbitset_init (bset, n_bits) void -lbitset_release_memory () +lbitset_release_memory (void) { lbitset_free_list = 0; if (lbitset_obstack_init) @@ -1418,29 +1345,28 @@ lbitset_release_memory () /* Function to be called from debugger to debug lbitset. */ void -debug_lbitset (bset) - bitset bset; +debug_lbitset (bitset bset) { lbitset_elt *elt; unsigned int i; if (!bset) return; - + for (elt = LBITSET_HEAD (bset); elt; elt = elt->next) { - fprintf (stderr, "Elt %d\n", elt->index); + fprintf (stderr, "Elt %lu\n", (unsigned long) elt->index); for (i = 0; i < LBITSET_ELT_WORDS; i++) { unsigned int j; bitset_word word; - + word = elt->words[i]; - - fprintf (stderr, " Word %d:", i); + + fprintf (stderr, " Word %u:", i); for (j = 0; j < LBITSET_WORD_BITS; j++) - if ((word & (1 << j))) - fprintf (stderr, " %d", j); + if ((word & ((bitset_word) 1 << j))) + fprintf (stderr, " %u", j); fprintf (stderr, "\n"); } }