1*e4b17023SJohn Marino /* Sparse array based bitmaps.
2*e4b17023SJohn Marino Copyright (C) 2007, 2008, 2009 Free Software Foundation, Inc.
3*e4b17023SJohn Marino
4*e4b17023SJohn Marino This file is part of GCC.
5*e4b17023SJohn Marino
6*e4b17023SJohn Marino GCC is free software; you can redistribute it and/or modify it under
7*e4b17023SJohn Marino the terms of the GNU General Public License as published by the Free
8*e4b17023SJohn Marino Software Foundation; either version 3, or (at your option) any later
9*e4b17023SJohn Marino version.
10*e4b17023SJohn Marino
11*e4b17023SJohn Marino GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12*e4b17023SJohn Marino WARRANTY; without even the implied warranty of MERCHANTABILITY or
13*e4b17023SJohn Marino FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14*e4b17023SJohn Marino for more details.
15*e4b17023SJohn Marino
16*e4b17023SJohn Marino You should have received a copy of the GNU General Public License
17*e4b17023SJohn Marino along with GCC; see the file COPYING3. If not see
18*e4b17023SJohn Marino <http://www.gnu.org/licenses/>. */
19*e4b17023SJohn Marino
20*e4b17023SJohn Marino #ifndef GCC_EBITMAP_H
21*e4b17023SJohn Marino #define GCC_EBITMAP_H
22*e4b17023SJohn Marino
23*e4b17023SJohn Marino #include "sbitmap.h"
24*e4b17023SJohn Marino
25*e4b17023SJohn Marino #define EBITMAP_ELT_BITS ((unsigned) HOST_BITS_PER_WIDEST_FAST_INT)
26*e4b17023SJohn Marino #define EBITMAP_ELT_TYPE unsigned HOST_WIDEST_FAST_INT
27*e4b17023SJohn Marino
28*e4b17023SJohn Marino typedef struct ebitmap_def
29*e4b17023SJohn Marino {
30*e4b17023SJohn Marino unsigned int n_elts; /* number of elements in the array. */
31*e4b17023SJohn Marino sbitmap wordmask; /* wordmask saying which words are
32*e4b17023SJohn Marino nonzero. */
33*e4b17023SJohn Marino unsigned int numwords; /* number of nonzero words. */
34*e4b17023SJohn Marino unsigned int cacheindex; /* which word cache is. */
35*e4b17023SJohn Marino EBITMAP_ELT_TYPE *elts; /* nonzero element array. */
36*e4b17023SJohn Marino EBITMAP_ELT_TYPE *cache; /* last tested element, or NULL. */
37*e4b17023SJohn Marino } *ebitmap;
38*e4b17023SJohn Marino
39*e4b17023SJohn Marino
40*e4b17023SJohn Marino #define ebitmap_empty_p(MAP) ((MAP)->numwords == 0)
41*e4b17023SJohn Marino #define ebitmap_free(MAP) (free((MAP)->elts), \
42*e4b17023SJohn Marino sbitmap_free ((MAP)->wordmask), \
43*e4b17023SJohn Marino free((MAP)))
44*e4b17023SJohn Marino
45*e4b17023SJohn Marino extern void ebitmap_set_bit (ebitmap, unsigned int);
46*e4b17023SJohn Marino extern void ebitmap_clear_bit (ebitmap, unsigned int);
47*e4b17023SJohn Marino extern bool ebitmap_bit_p (ebitmap, unsigned int);
48*e4b17023SJohn Marino extern void dump_ebitmap (FILE *, ebitmap);
49*e4b17023SJohn Marino extern void dump_ebitmap_file (FILE *, ebitmap);
50*e4b17023SJohn Marino extern void dump_ebitmap_vector (FILE *, const char *, const char *, ebitmap *,
51*e4b17023SJohn Marino int);
52*e4b17023SJohn Marino extern ebitmap ebitmap_alloc (unsigned int);
53*e4b17023SJohn Marino extern ebitmap *ebitmap_vector_alloc (unsigned int, unsigned int);
54*e4b17023SJohn Marino extern void ebitmap_copy (ebitmap, ebitmap);
55*e4b17023SJohn Marino extern void ebitmap_and (ebitmap, ebitmap, ebitmap);
56*e4b17023SJohn Marino extern void ebitmap_and_into (ebitmap, ebitmap);
57*e4b17023SJohn Marino extern bool ebitmap_and_compl (ebitmap, ebitmap, ebitmap);
58*e4b17023SJohn Marino extern bool ebitmap_and_compl_into (ebitmap, ebitmap);
59*e4b17023SJohn Marino extern bool ebitmap_ior_into (ebitmap, ebitmap);
60*e4b17023SJohn Marino extern bool ebitmap_ior (ebitmap, ebitmap, ebitmap);
61*e4b17023SJohn Marino extern bool ebitmap_ior_and_compl (ebitmap, ebitmap, ebitmap, ebitmap);
62*e4b17023SJohn Marino extern bool ebitmap_ior_and_compl_into (ebitmap, ebitmap, ebitmap);
63*e4b17023SJohn Marino extern bool ebitmap_equal_p (ebitmap, ebitmap);
64*e4b17023SJohn Marino extern void ebitmap_clear (ebitmap);
65*e4b17023SJohn Marino extern int ebitmap_last_set_bit (ebitmap);
66*e4b17023SJohn Marino extern void debug_ebitmap (ebitmap);
67*e4b17023SJohn Marino extern unsigned long ebitmap_popcount(ebitmap, unsigned long);
68*e4b17023SJohn Marino
69*e4b17023SJohn Marino /* The iterator for ebitmap. */
70*e4b17023SJohn Marino typedef struct {
71*e4b17023SJohn Marino /* The pointer to the first word of the bitmap. */
72*e4b17023SJohn Marino EBITMAP_ELT_TYPE *ptr;
73*e4b17023SJohn Marino
74*e4b17023SJohn Marino /* Element number inside ptr that we are at. */
75*e4b17023SJohn Marino unsigned int eltnum;
76*e4b17023SJohn Marino
77*e4b17023SJohn Marino /* The size of the bitmap. */
78*e4b17023SJohn Marino unsigned int size;
79*e4b17023SJohn Marino
80*e4b17023SJohn Marino /* Current bit index. */
81*e4b17023SJohn Marino unsigned int bit_num;
82*e4b17023SJohn Marino
83*e4b17023SJohn Marino /* The words currently visited. */
84*e4b17023SJohn Marino EBITMAP_ELT_TYPE word;
85*e4b17023SJohn Marino
86*e4b17023SJohn Marino /* The word mask iterator. */
87*e4b17023SJohn Marino sbitmap_iterator maskiter;
88*e4b17023SJohn Marino } ebitmap_iterator;
89*e4b17023SJohn Marino
90*e4b17023SJohn Marino static inline void
ebitmap_iter_init(ebitmap_iterator * i,ebitmap bmp,unsigned int min)91*e4b17023SJohn Marino ebitmap_iter_init (ebitmap_iterator *i, ebitmap bmp, unsigned int min)
92*e4b17023SJohn Marino {
93*e4b17023SJohn Marino sbitmap_iter_init (&i->maskiter, bmp->wordmask,
94*e4b17023SJohn Marino min / EBITMAP_ELT_BITS);
95*e4b17023SJohn Marino i->size = bmp->numwords;
96*e4b17023SJohn Marino if (i->size == 0)
97*e4b17023SJohn Marino {
98*e4b17023SJohn Marino i->ptr = NULL;
99*e4b17023SJohn Marino i->eltnum = 0;
100*e4b17023SJohn Marino i->bit_num = 0;
101*e4b17023SJohn Marino i->word = 0;
102*e4b17023SJohn Marino return;
103*e4b17023SJohn Marino }
104*e4b17023SJohn Marino i->ptr = bmp->elts;
105*e4b17023SJohn Marino i->bit_num = min;
106*e4b17023SJohn Marino i->eltnum = 0;
107*e4b17023SJohn Marino
108*e4b17023SJohn Marino if ((min / EBITMAP_ELT_BITS) >= bmp->wordmask->n_bits)
109*e4b17023SJohn Marino {
110*e4b17023SJohn Marino i->word = 0;
111*e4b17023SJohn Marino }
112*e4b17023SJohn Marino else
113*e4b17023SJohn Marino {
114*e4b17023SJohn Marino if (TEST_BIT (bmp->wordmask, min / EBITMAP_ELT_BITS) == 0)
115*e4b17023SJohn Marino i->word = 0;
116*e4b17023SJohn Marino else
117*e4b17023SJohn Marino {
118*e4b17023SJohn Marino unsigned int wordindex = min / EBITMAP_ELT_BITS;
119*e4b17023SJohn Marino unsigned int count = sbitmap_popcount (bmp->wordmask, wordindex);
120*e4b17023SJohn Marino i->word = i->ptr[count] >> (i->bit_num % (unsigned int)EBITMAP_ELT_BITS);
121*e4b17023SJohn Marino i->eltnum = count + 1;
122*e4b17023SJohn Marino }
123*e4b17023SJohn Marino }
124*e4b17023SJohn Marino }
125*e4b17023SJohn Marino
126*e4b17023SJohn Marino static inline bool
ebitmap_iter_cond(ebitmap_iterator * i,unsigned int * n)127*e4b17023SJohn Marino ebitmap_iter_cond (ebitmap_iterator *i, unsigned int *n)
128*e4b17023SJohn Marino {
129*e4b17023SJohn Marino unsigned int ourn = 0;
130*e4b17023SJohn Marino
131*e4b17023SJohn Marino if (i->size == 0)
132*e4b17023SJohn Marino return false;
133*e4b17023SJohn Marino
134*e4b17023SJohn Marino if (i->word == 0)
135*e4b17023SJohn Marino {
136*e4b17023SJohn Marino sbitmap_iter_next (&i->maskiter);
137*e4b17023SJohn Marino if (!sbitmap_iter_cond (&i->maskiter, &ourn))
138*e4b17023SJohn Marino return false;
139*e4b17023SJohn Marino i->bit_num = ourn * EBITMAP_ELT_BITS;
140*e4b17023SJohn Marino i->word = i->ptr[i->eltnum++];
141*e4b17023SJohn Marino }
142*e4b17023SJohn Marino
143*e4b17023SJohn Marino /* Skip bits that are zero. */
144*e4b17023SJohn Marino
145*e4b17023SJohn Marino for (; (i->word & 1) == 0; i->word >>= 1)
146*e4b17023SJohn Marino i->bit_num++;
147*e4b17023SJohn Marino
148*e4b17023SJohn Marino *n = i->bit_num;
149*e4b17023SJohn Marino return true;
150*e4b17023SJohn Marino }
151*e4b17023SJohn Marino
152*e4b17023SJohn Marino static inline void
ebitmap_iter_next(ebitmap_iterator * i)153*e4b17023SJohn Marino ebitmap_iter_next (ebitmap_iterator *i)
154*e4b17023SJohn Marino {
155*e4b17023SJohn Marino i->word >>= 1;
156*e4b17023SJohn Marino i->bit_num++;
157*e4b17023SJohn Marino }
158*e4b17023SJohn Marino
159*e4b17023SJohn Marino /* Loop over all elements of EBITMAP, starting with MIN. In each
160*e4b17023SJohn Marino iteration, N is set to the index of the bit being visited. ITER is
161*e4b17023SJohn Marino an instance of ebitmap_iterator used to iterate the bitmap. */
162*e4b17023SJohn Marino
163*e4b17023SJohn Marino #define EXECUTE_IF_SET_IN_EBITMAP(EBITMAP, MIN, N, ITER) \
164*e4b17023SJohn Marino for (ebitmap_iter_init (&(ITER), (EBITMAP), (MIN)); \
165*e4b17023SJohn Marino ebitmap_iter_cond (&(ITER), &(N)); \
166*e4b17023SJohn Marino ebitmap_iter_next (&(ITER)))
167*e4b17023SJohn Marino
168*e4b17023SJohn Marino
169*e4b17023SJohn Marino #endif /* ! GCC_EBITMAP_H */
170