]> git.saurik.com Git - bison.git/blame_incremental - lib/bitset.h
Alphabetical order in src/local.mk.
[bison.git] / lib / bitset.h
... / ...
CommitLineData
1/* Generic bitsets.
2 Copyright (C) 2002, 2003, 2004 Free Software Foundation, Inc.
3 Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
4
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation, either version 3 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>. */
17
18#ifndef _BITSET_H
19#define _BITSET_H
20
21/* This file is the public interface to the bitset abstract data type.
22 Only use the functions and macros defined in this file. */
23
24#include "bbitset.h"
25#include "obstack.h"
26#include <stdio.h>
27
28#if USE_UNLOCKED_IO
29# include "unlocked-io.h"
30#endif
31
32/* Attributes used to select a bitset implementation. */
33enum bitset_attr {BITSET_FIXED = 1, /* Bitset size fixed. */
34 BITSET_VARIABLE = 2, /* Bitset size variable. */
35 BITSET_DENSE = 4, /* Bitset dense. */
36 BITSET_SPARSE = 8, /* Bitset sparse. */
37 BITSET_FRUGAL = 16, /* Prefer most compact. */
38 BITSET_GREEDY = 32}; /* Prefer fastest at memory expense. */
39
40typedef unsigned int bitset_attrs;
41
42/* The contents of the union should be considered to be private.
43 While I would like to make this union opaque, it needs to be
44 visible for the inline bit set/test functions, and for delegation
45 to the proper implementation. */
46union bitset_union
47{
48 /* This must be the first member of every other structure that is a
49 member of this union. */
50 struct bbitset_struct b; /* Base bitset data. */
51
52 struct abitset_struct
53 {
54 struct bbitset_struct b;
55 bitset_word words[1]; /* The array of bits. */
56 } a;
57
58 struct ebitset_struct
59 {
60 struct bbitset_struct b;
61 bitset_windex size; /* Number of elements. */
62 struct ebitset_elt_struct **elts; /* Expanding array of ptrs to elts. */
63 } e;
64
65 struct lbitset_struct
66 {
67 struct bbitset_struct b;
68 struct lbitset_elt_struct *head; /* First element in linked list. */
69 struct lbitset_elt_struct *tail; /* Last element in linked list. */
70 } l;
71
72 struct bitset_stats_struct
73 {
74 struct bbitset_struct b;
75 bitset bset;
76 } s;
77
78 struct vbitset_struct
79 {
80 struct bbitset_struct b;
81 bitset_windex size; /* Allocated size of array. */
82 } v;
83
84};
85
86
87/* The contents of this structure should be considered private.
88 It is used for iterating over set bits. */
89typedef struct
90{
91 bitset_bindex list[BITSET_LIST_SIZE];
92 bitset_bindex next;
93 bitset_bindex num;
94 bitset_bindex i;
95} bitset_iterator;
96
97
98/* Return bytes required for bitset of desired type and size. */
99extern size_t bitset_bytes (enum bitset_type, bitset_bindex);
100
101/* Initialise a bitset with desired type and size. */
102extern bitset bitset_init (bitset, bitset_bindex, enum bitset_type);
103
104/* Select an implementation type based on the desired bitset size
105 and attributes. */
106extern enum bitset_type bitset_type_choose (bitset_bindex, bitset_attrs);
107
108/* Create a bitset of desired type and size. The bitset is zeroed. */
109extern bitset bitset_alloc (bitset_bindex, enum bitset_type);
110
111/* Free bitset. */
112extern void bitset_free (bitset);
113
114/* Create a bitset of desired type and size using an obstack. The
115 bitset is zeroed. */
116extern bitset bitset_obstack_alloc (struct obstack *bobstack,
117 bitset_bindex, enum bitset_type);
118
119/* Free bitset allocated on obstack. */
120extern void bitset_obstack_free (bitset);
121
122/* Create a bitset of desired size and attributes. The bitset is zeroed. */
123extern bitset bitset_create (bitset_bindex, bitset_attrs);
124
125/* Return bitset type. */
126extern enum bitset_type bitset_type_get (bitset);
127
128/* Return bitset type name. */
129extern const char *bitset_type_name_get (bitset);
130
131
132/* Set bit BITNO in bitset BSET. */
133static inline void
134bitset_set (bitset bset, bitset_bindex bitno)
135{
136 bitset_windex windex = bitno / BITSET_WORD_BITS;
137 bitset_windex offset = windex - bset->b.cindex;
138
139 if (offset < bset->b.csize)
140 bset->b.cdata[offset] |= ((bitset_word) 1 << (bitno % BITSET_WORD_BITS));
141 else
142 BITSET_SET_ (bset, bitno);
143}
144
145
146/* Reset bit BITNO in bitset BSET. */
147static inline void
148bitset_reset (bitset bset, bitset_bindex bitno)
149{
150 bitset_windex windex = bitno / BITSET_WORD_BITS;
151 bitset_windex offset = windex - bset->b.cindex;
152
153 if (offset < bset->b.csize)
154 bset->b.cdata[offset] &= ~((bitset_word) 1 << (bitno % BITSET_WORD_BITS));
155 else
156 BITSET_RESET_ (bset, bitno);
157}
158
159
160/* Test bit BITNO in bitset BSET. */
161static inline bool
162bitset_test (bitset bset, bitset_bindex bitno)
163{
164 bitset_windex windex = bitno / BITSET_WORD_BITS;
165 bitset_windex offset = windex - bset->b.cindex;
166
167 if (offset < bset->b.csize)
168 return (bset->b.cdata[offset] >> (bitno % BITSET_WORD_BITS)) & 1;
169 else
170 return BITSET_TEST_ (bset, bitno);
171}
172
173
174/* Toggle bit BITNO in bitset BSET and return non-zero if now set. */
175#define bitset_toggle(bset, bitno) BITSET_TOGGLE_ (bset, bitno)
176
177/* Return size in bits of bitset SRC. */
178#define bitset_size(SRC) BITSET_SIZE_ (SRC)
179
180/* Change size of bitset. */
181extern void bitset_resize (bitset, bitset_bindex);
182
183/* Return number of bits set in bitset SRC. */
184#define bitset_count(SRC) BITSET_COUNT_ (SRC)
185
186
187/* Return SRC == 0. */
188#define bitset_empty_p(SRC) BITSET_EMPTY_P_ (SRC)
189
190/* DST = ~0. */
191#define bitset_ones(DST) BITSET_ONES_ (DST)
192
193/* DST = 0. */
194#define bitset_zero(DST) BITSET_ZERO_ (DST)
195
196
197
198/* DST = SRC. */
199#define bitset_copy(DST, SRC) BITSET_COPY_ (DST, SRC)
200
201/* Return DST & SRC == 0. */
202#define bitset_disjoint_p(DST, SRC) BITSET_DISJOINT_P_ (DST, SRC)
203
204/* Return DST == SRC. */
205#define bitset_equal_p(DST, SRC) BITSET_EQUAL_P_ (DST, SRC)
206
207/* DST = ~SRC. */
208#define bitset_not(DST, SRC) BITSET_NOT_ (DST, SRC)
209
210/* Return DST == DST | SRC. */
211#define bitset_subset_p(DST, SRC) BITSET_SUBSET_P_ (DST, SRC)
212
213
214
215/* DST = SRC1 & SRC2. */
216#define bitset_and(DST, SRC1, SRC2) BITSET_AND_ (DST, SRC1, SRC2)
217
218/* DST = SRC1 & SRC2. Return non-zero if DST != SRC1 & SRC2. */
219#define bitset_and_cmp(DST, SRC1, SRC2) BITSET_AND_CMP_ (DST, SRC1, SRC2)
220
221/* DST = SRC1 & ~SRC2. */
222#define bitset_andn(DST, SRC1, SRC2) BITSET_ANDN_ (DST, SRC1, SRC2)
223
224/* DST = SRC1 & ~SRC2. Return non-zero if DST != SRC1 & ~SRC2. */
225#define bitset_andn_cmp(DST, SRC1, SRC2) BITSET_ANDN_CMP_ (DST, SRC1, SRC2)
226
227/* DST = SRC1 | SRC2. */
228#define bitset_or(DST, SRC1, SRC2) BITSET_OR_ (DST, SRC1, SRC2)
229
230/* DST = SRC1 | SRC2. Return non-zero if DST != SRC1 | SRC2. */
231#define bitset_or_cmp(DST, SRC1, SRC2) BITSET_OR_CMP_ (DST, SRC1, SRC2)
232
233/* DST = SRC1 ^ SRC2. */
234#define bitset_xor(DST, SRC1, SRC2) BITSET_XOR_ (DST, SRC1, SRC2)
235
236/* DST = SRC1 ^ SRC2. Return non-zero if DST != SRC1 ^ SRC2. */
237#define bitset_xor_cmp(DST, SRC1, SRC2) BITSET_XOR_CMP_ (DST, SRC1, SRC2)
238
239
240
241/* DST = (SRC1 & SRC2) | SRC3. */
242#define bitset_and_or(DST, SRC1, SRC2, SRC3) \
243 BITSET_AND_OR_ (DST, SRC1, SRC2, SRC3)
244
245/* DST = (SRC1 & SRC2) | SRC3. Return non-zero if
246 DST != (SRC1 & SRC2) | SRC3. */
247#define bitset_and_or_cmp(DST, SRC1, SRC2, SRC3) \
248 BITSET_AND_OR_CMP_ (DST, SRC1, SRC2, SRC3)
249
250/* DST = (SRC1 & ~SRC2) | SRC3. */
251#define bitset_andn_or(DST, SRC1, SRC2, SRC3) \
252 BITSET_ANDN_OR_ (DST, SRC1, SRC2, SRC3)
253
254/* DST = (SRC1 & ~SRC2) | SRC3. Return non-zero if
255 DST != (SRC1 & ~SRC2) | SRC3. */
256#define bitset_andn_or_cmp(DST, SRC1, SRC2, SRC3) \
257 BITSET_ANDN_OR_CMP_ (DST, SRC1, SRC2, SRC3)
258
259/* DST = (SRC1 | SRC2) & SRC3. */
260#define bitset_or_and(DST, SRC1, SRC2, SRC3)\
261 BITSET_OR_AND_ (DST, SRC1, SRC2, SRC3)
262
263/* DST = (SRC1 | SRC2) & SRC3. Return non-zero if
264 DST != (SRC1 | SRC2) & SRC3. */
265#define bitset_or_and_cmp(DST, SRC1, SRC2, SRC3)\
266 BITSET_OR_AND_CMP_ (DST, SRC1, SRC2, SRC3)
267
268/* Find list of up to NUM bits set in BSET starting from and including
269 *NEXT. Return with actual number of bits found and with *NEXT
270 indicating where search stopped. */
271#define bitset_list(BSET, LIST, NUM, NEXT) \
272 BITSET_LIST_ (BSET, LIST, NUM, NEXT)
273
274/* Find reverse list of up to NUM bits set in BSET starting from and
275 including NEXT. Return with actual number of bits found and with
276 *NEXT indicating where search stopped. */
277#define bitset_list_reverse(BSET, LIST, NUM, NEXT) \
278 BITSET_LIST_REVERSE_ (BSET, LIST, NUM, NEXT)
279
280/* Return true if both bitsets are of the same type and size. */
281extern bool bitset_compatible_p (bitset bset1, bitset bset2);
282
283/* Find next set bit from the given bit index. */
284extern bitset_bindex bitset_next (bitset, bitset_bindex);
285
286/* Find previous set bit from the given bit index. */
287extern bitset_bindex bitset_prev (bitset, bitset_bindex);
288
289/* Find first set bit. */
290extern bitset_bindex bitset_first (bitset);
291
292/* Find last set bit. */
293extern bitset_bindex bitset_last (bitset);
294
295/* Return nonzero if this is the only set bit. */
296extern bool bitset_only_set_p (bitset, bitset_bindex);
297
298/* Dump bitset. */
299extern void bitset_dump (FILE *, bitset);
300
301/* Loop over all elements of BSET, starting with MIN, setting INDEX
302 to the index of each set bit. For example, the following will print
303 the bits set in a bitset:
304
305 bitset_bindex i;
306 bitset_iterator iter;
307
308 BITSET_FOR_EACH (iter, src, i, 0)
309 {
310 printf ("%lu ", (unsigned long int) i);
311 };
312*/
313#define BITSET_FOR_EACH(ITER, BSET, INDEX, MIN) \
314 for (ITER.next = (MIN), ITER.num = BITSET_LIST_SIZE; \
315 (ITER.num == BITSET_LIST_SIZE) \
316 && (ITER.num = bitset_list (BSET, ITER.list, \
317 BITSET_LIST_SIZE, &ITER.next));) \
318 for (ITER.i = 0; \
319 ITER.i < ITER.num && ((INDEX) = ITER.list[ITER.i], 1); \
320 ITER.i++)
321
322
323/* Loop over all elements of BSET, in reverse order starting with
324 MIN, setting INDEX to the index of each set bit. For example, the
325 following will print the bits set in a bitset in reverse order:
326
327 bitset_bindex i;
328 bitset_iterator iter;
329
330 BITSET_FOR_EACH_REVERSE (iter, src, i, 0)
331 {
332 printf ("%lu ", (unsigned long int) i);
333 };
334*/
335#define BITSET_FOR_EACH_REVERSE(ITER, BSET, INDEX, MIN) \
336 for (ITER.next = (MIN), ITER.num = BITSET_LIST_SIZE; \
337 (ITER.num == BITSET_LIST_SIZE) \
338 && (ITER.num = bitset_list_reverse (BSET, ITER.list, \
339 BITSET_LIST_SIZE, &ITER.next));) \
340 for (ITER.i = 0; \
341 ITER.i < ITER.num && ((INDEX) = ITER.list[ITER.i], 1); \
342 ITER.i++)
343
344
345/* Define set operations in terms of logical operations. */
346
347#define bitset_diff(DST, SRC1, SRC2) bitset_andn (DST, SRC1, SRC2)
348#define bitset_diff_cmp(DST, SRC1, SRC2) bitset_andn_cmp (DST, SRC1, SRC2)
349
350#define bitset_intersection(DST, SRC1, SRC2) bitset_and (DST, SRC1, SRC2)
351#define bitset_intersection_cmp(DST, SRC1, SRC2) bitset_and_cmp (DST, SRC1, SRC2)
352
353#define bitset_union(DST, SRC1, SRC2) bitset_or (DST, SRC1, SRC2)
354#define bitset_union_cmp(DST, SRC1, SRC2) bitset_or_cmp (DST, SRC1, SRC2)
355
356/* Symmetrical difference. */
357#define bitset_symdiff(DST, SRC1, SRC2) bitset_xor (DST, SRC1, SRC2)
358#define bitset_symdiff_cmp(DST, SRC1, SRC2) bitset_xor_cmp (DST, SRC1, SRC2)
359
360/* Union of difference. */
361#define bitset_diff_union(DST, SRC1, SRC2, SRC3) \
362 bitset_andn_or (DST, SRC1, SRC2, SRC3)
363#define bitset_diff_union_cmp(DST, SRC1, SRC2, SRC3) \
364 bitset_andn_or_cmp (DST, SRC1, SRC2, SRC3)
365
366
367/* Release any memory tied up with bitsets. */
368extern void bitset_release_memory (void);
369
370/* Enable bitset stats gathering. */
371extern void bitset_stats_enable (void);
372
373/* Disable bitset stats gathering. */
374extern void bitset_stats_disable (void);
375
376/* Read bitset stats file of accummulated stats. */
377void bitset_stats_read (const char *file_name);
378
379/* Write bitset stats file of accummulated stats. */
380void bitset_stats_write (const char *file_name);
381
382/* Dump bitset stats. */
383extern void bitset_stats_dump (FILE *);
384
385/* Function to debug bitset from debugger. */
386extern void debug_bitset (bitset);
387
388/* Function to debug bitset stats from debugger. */
389extern void debug_bitset_stats (void);
390
391#endif /* _BITSET_H */