]>
Commit | Line | Data |
---|---|---|
5f6c11d6 | 1 | /* Simple bitmaps. |
e360ab39 | 2 | Copyright (C) 1999, 2000, 2002, 2003 Free Software Foundation, Inc. |
5f6c11d6 | 3 | |
1322177d | 4 | This file is part of GCC. |
5f6c11d6 | 5 | |
1322177d LB |
6 | GCC is free software; you can redistribute it and/or modify it under |
7 | the terms of the GNU General Public License as published by the Free | |
8 | Software Foundation; either version 2, or (at your option) any later | |
9 | version. | |
5f6c11d6 | 10 | |
1322177d LB |
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
5f6c11d6 RH |
15 | |
16 | You should have received a copy of the GNU General Public License | |
1322177d LB |
17 | along with GCC; see the file COPYING. If not, write to the Free |
18 | Software Foundation, 59 Temple Place - Suite 330, Boston, MA | |
19 | 02111-1307, USA. */ | |
5f6c11d6 | 20 | |
88657302 RH |
21 | #ifndef GCC_SBITMAP_H |
22 | #define GCC_SBITMAP_H | |
4dc9341c | 23 | |
5f6c11d6 RH |
24 | /* It's not clear yet whether using bitmap.[ch] will be a win. |
25 | It should be straightforward to convert so for now we keep things simple | |
26 | while more important issues are dealt with. */ | |
27 | ||
be200dff | 28 | #define SBITMAP_ELT_BITS ((unsigned) HOST_BITS_PER_WIDE_INT) |
5f6c11d6 RH |
29 | #define SBITMAP_ELT_TYPE unsigned HOST_WIDE_INT |
30 | ||
08158df3 RK |
31 | typedef struct simple_bitmap_def |
32 | { | |
33 | unsigned int n_bits; /* Number of bits. */ | |
34 | unsigned int size; /* Size in elements. */ | |
35 | unsigned int bytes; /* Size in bytes. */ | |
36 | SBITMAP_ELT_TYPE elms[1]; /* The elements. */ | |
5f6c11d6 RH |
37 | } *sbitmap; |
38 | ||
39 | typedef SBITMAP_ELT_TYPE *sbitmap_ptr; | |
40 | ||
41 | /* Return the set size needed for N elements. */ | |
08158df3 | 42 | #define SBITMAP_SET_SIZE(N) (((N) + SBITMAP_ELT_BITS - 1) / SBITMAP_ELT_BITS) |
5f6c11d6 | 43 | |
08158df3 RK |
44 | /* Set bit number bitno in the bitmap. */ |
45 | #define SET_BIT(BITMAP, BITNO) \ | |
46 | ((BITMAP)->elms [(BITNO) / SBITMAP_ELT_BITS] \ | |
47 | |= (SBITMAP_ELT_TYPE) 1 << (BITNO) % SBITMAP_ELT_BITS) | |
5f6c11d6 | 48 | |
08158df3 RK |
49 | /* Test if bit number bitno in the bitmap is set. */ |
50 | #define TEST_BIT(BITMAP, BITNO) \ | |
51 | ((BITMAP)->elms [(BITNO) / SBITMAP_ELT_BITS] >> (BITNO) % SBITMAP_ELT_BITS & 1) | |
5f6c11d6 | 52 | |
08158df3 RK |
53 | /* Reset bit number bitno in the bitmap. */ |
54 | #define RESET_BIT(BITMAP, BITNO) \ | |
55 | ((BITMAP)->elms [(BITNO) / SBITMAP_ELT_BITS] \ | |
56 | &= ~((SBITMAP_ELT_TYPE) 1 << (BITNO) % SBITMAP_ELT_BITS)) | |
5f6c11d6 RH |
57 | |
58 | /* Loop over all elements of SBITSET, starting with MIN. */ | |
59 | #define EXECUTE_IF_SET_IN_SBITMAP(SBITMAP, MIN, N, CODE) \ | |
60 | do { \ | |
e0bf4f7b RK |
61 | unsigned int word_num_; \ |
62 | unsigned int bit_num_ = (MIN) % (unsigned int) SBITMAP_ELT_BITS; \ | |
63 | unsigned int size_ = (SBITMAP)->size; \ | |
64 | SBITMAP_ELT_TYPE *ptr_ = (SBITMAP)->elms; \ | |
5f6c11d6 | 65 | \ |
e0bf4f7b RK |
66 | for (word_num_ = (MIN) / (unsigned int) SBITMAP_ELT_BITS; \ |
67 | word_num_ < size_; word_num_++, bit_num_ = 0) \ | |
5f6c11d6 | 68 | { \ |
e0bf4f7b | 69 | SBITMAP_ELT_TYPE word_ = ptr_[word_num_]; \ |
08158df3 | 70 | \ |
e0bf4f7b RK |
71 | if (word_ != 0) \ |
72 | for (; bit_num_ < SBITMAP_ELT_BITS; bit_num_++) \ | |
08158df3 | 73 | { \ |
cf403648 | 74 | SBITMAP_ELT_TYPE _mask = (SBITMAP_ELT_TYPE) 1 << bit_num_; \ |
08158df3 | 75 | \ |
e0bf4f7b | 76 | if ((word_ & _mask) != 0) \ |
08158df3 | 77 | { \ |
e0bf4f7b RK |
78 | word_ &= ~ _mask; \ |
79 | (N) = word_num_ * SBITMAP_ELT_BITS + bit_num_; \ | |
08158df3 | 80 | CODE; \ |
e0bf4f7b | 81 | if (word_ == 0) \ |
08158df3 RK |
82 | break; \ |
83 | } \ | |
84 | } \ | |
85 | } \ | |
5f6c11d6 RH |
86 | } while (0) |
87 | ||
ed8d2920 MM |
88 | #define EXECUTE_IF_SET_IN_SBITMAP_REV(SBITMAP, N, CODE) \ |
89 | do { \ | |
90 | unsigned int word_num_; \ | |
91 | unsigned int bit_num_; \ | |
92 | unsigned int size_ = (SBITMAP)->size; \ | |
93 | SBITMAP_ELT_TYPE *ptr_ = (SBITMAP)->elms; \ | |
94 | \ | |
95 | for (word_num_ = size_; word_num_ > 0; word_num_--) \ | |
96 | { \ | |
97 | SBITMAP_ELT_TYPE word_ = ptr_[word_num_ - 1]; \ | |
98 | \ | |
99 | if (word_ != 0) \ | |
100 | for (bit_num_ = SBITMAP_ELT_BITS; bit_num_ > 0; bit_num_--) \ | |
101 | { \ | |
102 | SBITMAP_ELT_TYPE _mask = (SBITMAP_ELT_TYPE)1 << (bit_num_ - 1);\ | |
103 | \ | |
104 | if ((word_ & _mask) != 0) \ | |
105 | { \ | |
106 | word_ &= ~ _mask; \ | |
107 | (N) = (word_num_ - 1) * SBITMAP_ELT_BITS + bit_num_ - 1;\ | |
108 | CODE; \ | |
109 | if (word_ == 0) \ | |
110 | break; \ | |
111 | } \ | |
112 | } \ | |
113 | } \ | |
114 | } while (0) | |
115 | ||
08158df3 RK |
116 | #define sbitmap_free(MAP) free(MAP) |
117 | #define sbitmap_vector_free(VEC) free(VEC) | |
5f6c11d6 | 118 | |
08158df3 | 119 | struct int_list; |
5f6c11d6 | 120 | |
08158df3 | 121 | extern void dump_sbitmap PARAMS ((FILE *, sbitmap)); |
ed8d2920 | 122 | extern void dump_sbitmap_file PARAMS ((FILE *, sbitmap)); |
08158df3 RK |
123 | extern void dump_sbitmap_vector PARAMS ((FILE *, const char *, |
124 | const char *, sbitmap *, | |
125 | int)); | |
126 | extern sbitmap sbitmap_alloc PARAMS ((unsigned int)); | |
127 | extern sbitmap *sbitmap_vector_alloc PARAMS ((unsigned int, unsigned int)); | |
e360ab39 | 128 | extern sbitmap sbitmap_resize PARAMS ((sbitmap, unsigned int, int)); |
08158df3 | 129 | extern void sbitmap_copy PARAMS ((sbitmap, sbitmap)); |
b2d57793 | 130 | extern int sbitmap_equal PARAMS ((sbitmap, sbitmap)); |
08158df3 RK |
131 | extern void sbitmap_zero PARAMS ((sbitmap)); |
132 | extern void sbitmap_ones PARAMS ((sbitmap)); | |
133 | extern void sbitmap_vector_zero PARAMS ((sbitmap *, unsigned int)); | |
134 | extern void sbitmap_vector_ones PARAMS ((sbitmap *, unsigned int)); | |
135 | ||
b47374fa RH |
136 | extern void sbitmap_union_of_diff PARAMS ((sbitmap, sbitmap, sbitmap, |
137 | sbitmap)); | |
138 | extern bool sbitmap_union_of_diff_cg PARAMS ((sbitmap, sbitmap, sbitmap, | |
08158df3 RK |
139 | sbitmap)); |
140 | extern void sbitmap_difference PARAMS ((sbitmap, sbitmap, sbitmap)); | |
141 | extern void sbitmap_not PARAMS ((sbitmap, sbitmap)); | |
b47374fa RH |
142 | extern void sbitmap_a_or_b_and_c PARAMS ((sbitmap, sbitmap, sbitmap, |
143 | sbitmap)); | |
144 | extern bool sbitmap_a_or_b_and_c_cg PARAMS ((sbitmap, sbitmap, sbitmap, | |
145 | sbitmap)); | |
146 | extern void sbitmap_a_and_b_or_c PARAMS ((sbitmap, sbitmap, sbitmap, | |
08158df3 | 147 | sbitmap)); |
b47374fa | 148 | extern bool sbitmap_a_and_b_or_c_cg PARAMS ((sbitmap, sbitmap, sbitmap, |
08158df3 | 149 | sbitmap)); |
b47374fa RH |
150 | extern void sbitmap_a_and_b PARAMS ((sbitmap, sbitmap, sbitmap)); |
151 | extern bool sbitmap_a_and_b_cg PARAMS ((sbitmap, sbitmap, sbitmap)); | |
152 | extern void sbitmap_a_or_b PARAMS ((sbitmap, sbitmap, sbitmap)); | |
153 | extern bool sbitmap_a_or_b_cg PARAMS ((sbitmap, sbitmap, sbitmap)); | |
154 | extern void sbitmap_a_xor_b PARAMS ((sbitmap, sbitmap, sbitmap)); | |
155 | extern bool sbitmap_a_xor_b_cg PARAMS ((sbitmap, sbitmap, sbitmap)); | |
156 | extern bool sbitmap_a_subset_b_p PARAMS ((sbitmap, sbitmap)); | |
08158df3 RK |
157 | |
158 | extern int sbitmap_first_set_bit PARAMS ((sbitmap)); | |
159 | extern int sbitmap_last_set_bit PARAMS ((sbitmap)); | |
65169dcf | 160 | |
cdadb1dd | 161 | extern void sbitmap_intersect_of_predsucc PARAMS ((sbitmap, sbitmap *, |
5f6c11d6 RH |
162 | int, struct int_list **)); |
163 | #define sbitmap_intersect_of_predecessors sbitmap_intersect_of_predsucc | |
164 | #define sbitmap_intersect_of_successors sbitmap_intersect_of_predsucc | |
165 | ||
08158df3 RK |
166 | extern void sbitmap_union_of_predsucc PARAMS ((sbitmap, sbitmap *, int, |
167 | struct int_list **)); | |
5f6c11d6 RH |
168 | #define sbitmap_union_of_predecessors sbitmap_union_of_predsucc |
169 | #define sbitmap_union_of_successors sbitmap_union_of_predsucc | |
36349f8b AM |
170 | |
171 | /* Intersection and Union of preds/succs using the new flow graph | |
172 | structure instead of the pred/succ arrays. */ | |
173 | ||
08158df3 RK |
174 | extern void sbitmap_intersection_of_succs PARAMS ((sbitmap, sbitmap *, int)); |
175 | extern void sbitmap_intersection_of_preds PARAMS ((sbitmap, sbitmap *, int)); | |
176 | extern void sbitmap_union_of_succs PARAMS ((sbitmap, sbitmap *, int)); | |
177 | extern void sbitmap_union_of_preds PARAMS ((sbitmap, sbitmap *, int)); | |
36349f8b | 178 | |
36244024 | 179 | extern void debug_sbitmap PARAMS ((sbitmap)); |
88657302 | 180 | #endif /* ! GCC_SBITMAP_H */ |