]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/bitmap.h
store the bitmap_head within the auto_bitmap
[thirdparty/gcc.git] / gcc / bitmap.h
CommitLineData
096ab9ea 1/* Functions to support general ended bitmaps.
cbe34bb5 2 Copyright (C) 1997-2017 Free Software Foundation, Inc.
096ab9ea 3
1322177d 4This file is part of GCC.
096ab9ea 5
1322177d
LB
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
1322177d 9version.
096ab9ea 10
1322177d
LB
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
096ab9ea
RK
15
16You should have received a copy of the GNU General Public License
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
096ab9ea 19
88657302 20#ifndef GCC_BITMAP_H
ca7fd9cd 21#define GCC_BITMAP_H
0263463d
SB
22
23/* Implementation of sparse integer sets as a linked list.
24
25 This sparse set representation is suitable for sparse sets with an
26 unknown (a priori) universe. The set is represented as a double-linked
84562394 27 list of container nodes (struct bitmap_element). Each node consists
0263463d
SB
28 of an index for the first member that could be held in the container,
29 a small array of integers that represent the members in the container,
30 and pointers to the next and previous element in the linked list. The
31 elements in the list are sorted in ascending order, i.e. the head of
32 the list holds the element with the smallest member of the set.
33
34 For a given member I in the set:
35 - the element for I will have index is I / (bits per element)
36 - the position for I within element is I % (bits per element)
37
38 This representation is very space-efficient for large sparse sets, and
39 the size of the set can be changed dynamically without much overhead.
40 An important parameter is the number of bits per element. In this
41 implementation, there are 128 bits per element. This results in a
42 high storage overhead *per element*, but a small overall overhead if
43 the set is very sparse.
44
45 The downside is that many operations are relatively slow because the
46 linked list has to be traversed to test membership (i.e. member_p/
47 add_member/remove_member). To improve the performance of this set
48 representation, the last accessed element and its index are cached.
49 For membership tests on members close to recently accessed members,
50 the cached last element improves membership test to a constant-time
51 operation.
52
53 The following operations can always be performed in O(1) time:
54
55 * clear : bitmap_clear
56 * choose_one : (not implemented, but could be
57 implemented in constant time)
58
59 The following operations can be performed in O(E) time worst-case (with
60 E the number of elements in the linked list), but in O(1) time with a
61 suitable access patterns:
62
63 * member_p : bitmap_bit_p
64 * add_member : bitmap_set_bit
65 * remove_member : bitmap_clear_bit
66
67 The following operations can be performed in O(E) time:
68
69 * cardinality : bitmap_count_bits
70 * set_size : bitmap_last_set_bit (but this could
71 in constant time with a pointer to
72 the last element in the chain)
73
74 Additionally, the linked-list sparse set representation supports
75 enumeration of the members in O(E) time:
76
77 * forall : EXECUTE_IF_SET_IN_BITMAP
78 * set_copy : bitmap_copy
79 * set_intersection : bitmap_intersect_p /
80 bitmap_and / bitmap_and_into /
81 EXECUTE_IF_AND_IN_BITMAP
82 * set_union : bitmap_ior / bitmap_ior_into
83 * set_difference : bitmap_intersect_compl_p /
84 bitmap_and_comp / bitmap_and_comp_into /
85 EXECUTE_IF_AND_COMPL_IN_BITMAP
86 * set_disjuction : bitmap_xor_comp / bitmap_xor_comp_into
87 * set_compare : bitmap_equal_p
88
026c3cfd 89 Some operations on 3 sets that occur frequently in data flow problems
0263463d
SB
90 are also implemented:
91
92 * A | (B & C) : bitmap_ior_and_into
93 * A | (B & ~C) : bitmap_ior_and_compl /
94 bitmap_ior_and_compl_into
95
96 The storage requirements for linked-list sparse sets are O(E), with E->N
97 in the worst case (a sparse set with large distances between the values
98 of the set members).
99
100 The linked-list set representation works well for problems involving very
101 sparse sets. The canonical example in GCC is, of course, the "set of
102 sets" for some CFG-based data flow problems (liveness analysis, dominance
103 frontiers, etc.).
104
105 This representation also works well for data flow problems where the size
106 of the set may grow dynamically, but care must be taken that the member_p,
107 add_member, and remove_member operations occur with a suitable access
108 pattern.
109
110 For random-access sets with a known, relatively small universe size, the
111 SparseSet or simple bitmap representations may be more efficient than a
112 linked-list set. For random-access sets of unknown universe, a hash table
113 or a balanced binary tree representation is likely to be a more suitable
114 choice.
115
116 Traversing linked lists is usually cache-unfriendly, even with the last
117 accessed element cached.
118
119 Cache performance can be improved by keeping the elements in the set
120 grouped together in memory, using a dedicated obstack for a set (or group
121 of related sets). Elements allocated on obstacks are released to a
122 free-list and taken off the free list. If multiple sets are allocated on
123 the same obstack, elements freed from one set may be re-used for one of
124 the other sets. This usually helps avoid cache misses.
125
126 A single free-list is used for all sets allocated in GGC space. This is
127 bad for persistent sets, so persistent sets should be allocated on an
128 obstack whenever possible. */
129
b60db1ba 130#include "obstack.h"
2d44c7de
ML
131
132/* Bitmap memory usage. */
133struct bitmap_usage: public mem_usage
134{
135 /* Default contructor. */
136 bitmap_usage (): m_nsearches (0), m_search_iter (0) {}
137 /* Constructor. */
138 bitmap_usage (size_t allocated, size_t times, size_t peak,
139 uint64_t nsearches, uint64_t search_iter)
140 : mem_usage (allocated, times, peak),
141 m_nsearches (nsearches), m_search_iter (search_iter) {}
142
143 /* Sum the usage with SECOND usage. */
80a4fe78
ML
144 bitmap_usage
145 operator+ (const bitmap_usage &second)
2d44c7de
ML
146 {
147 return bitmap_usage (m_allocated + second.m_allocated,
148 m_times + second.m_times,
149 m_peak + second.m_peak,
150 m_nsearches + second.m_nsearches,
151 m_search_iter + second.m_search_iter);
152 }
153
154 /* Dump usage coupled to LOC location, where TOTAL is sum of all rows. */
80a4fe78
ML
155 inline void
156 dump (mem_location *loc, mem_usage &total) const
2d44c7de 157 {
ac059261 158 char *location_string = loc->to_string ();
2d44c7de 159
43331dfb
RB
160 fprintf (stderr, "%-48s %10" PRIu64 ":%5.1f%%"
161 "%10" PRIu64 "%10" PRIu64 ":%5.1f%%"
162 "%12" PRIu64 "%12" PRIu64 "%10s\n",
163 location_string, (uint64_t)m_allocated,
164 get_percent (m_allocated, total.m_allocated),
165 (uint64_t)m_peak, (uint64_t)m_times,
2d44c7de 166 get_percent (m_times, total.m_times),
43331dfb 167 m_nsearches, m_search_iter,
2d44c7de 168 loc->m_ggc ? "ggc" : "heap");
ac059261
ML
169
170 free (location_string);
2d44c7de
ML
171 }
172
173 /* Dump header with NAME. */
80a4fe78
ML
174 static inline void
175 dump_header (const char *name)
2d44c7de
ML
176 {
177 fprintf (stderr, "%-48s %11s%16s%17s%12s%12s%10s\n", name, "Leak", "Peak",
178 "Times", "N searches", "Search iter", "Type");
179 print_dash_line ();
180 }
181
182 /* Number search operations. */
183 uint64_t m_nsearches;
184 /* Number of search iterations. */
185 uint64_t m_search_iter;
186};
187
188/* Bitmap memory description. */
189extern mem_alloc_description<bitmap_usage> bitmap_mem_desc;
a05924f9 190
72e42e26
SB
191/* Fundamental storage type for bitmap. */
192
72e42e26 193typedef unsigned long BITMAP_WORD;
65a6f342
NS
194/* BITMAP_WORD_BITS needs to be unsigned, but cannot contain casts as
195 it is used in preprocessor directives -- hence the 1u. */
196#define BITMAP_WORD_BITS (CHAR_BIT * SIZEOF_LONG * 1u)
72e42e26 197
096ab9ea
RK
198/* Number of words to use for each element in the linked list. */
199
200#ifndef BITMAP_ELEMENT_WORDS
65a6f342 201#define BITMAP_ELEMENT_WORDS ((128 + BITMAP_WORD_BITS - 1) / BITMAP_WORD_BITS)
096ab9ea
RK
202#endif
203
65a6f342 204/* Number of bits in each actual element of a bitmap. */
096ab9ea 205
65a6f342 206#define BITMAP_ELEMENT_ALL_BITS (BITMAP_ELEMENT_WORDS * BITMAP_WORD_BITS)
096ab9ea 207
7932a3db 208/* Obstack for allocating bitmaps and elements from. */
84562394
OE
209struct GTY (()) bitmap_obstack {
210 struct bitmap_element *elements;
211 struct bitmap_head *heads;
7932a3db 212 struct obstack GTY ((skip)) obstack;
84562394 213};
7932a3db 214
096ab9ea
RK
215/* Bitmap set element. We use a linked list to hold only the bits that
216 are set. This allows for use to grow the bitset dynamically without
c22cacf3 217 having to realloc and copy a giant bit array.
5765e552
KZ
218
219 The free list is implemented as a list of lists. There is one
220 outer list connected together by prev fields. Each element of that
221 outer is an inner list (that may consist only of the outer list
222 element) that are connected by the next fields. The prev pointer
223 is undefined for interior elements. This allows
224 bitmap_elt_clear_from to be implemented in unit time rather than
225 linear in the number of elements to be freed. */
096ab9ea 226
84562394
OE
227struct GTY((chain_next ("%h.next"), chain_prev ("%h.prev"))) bitmap_element {
228 struct bitmap_element *next; /* Next element. */
229 struct bitmap_element *prev; /* Previous element. */
eebedaa5 230 unsigned int indx; /* regno/BITMAP_ELEMENT_ALL_BITS. */
72e42e26 231 BITMAP_WORD bits[BITMAP_ELEMENT_WORDS]; /* Bits that are set. */
84562394 232};
096ab9ea 233
3c53f55a
SB
234/* Head of bitmap linked list. The 'current' member points to something
235 already pointed to by the chain started by first, so GTY((skip)) it. */
01d419ae 236
84562394 237struct GTY(()) bitmap_head {
3c53f55a
SB
238 unsigned int indx; /* Index of last element looked at. */
239 unsigned int descriptor_id; /* Unique identifier for the allocation
240 site of this bitmap, for detailed
241 statistics gathering. */
7f3f8d3f
RG
242 bitmap_element *first; /* First element in linked list. */
243 bitmap_element * GTY((skip(""))) current; /* Last element looked at. */
7f3f8d3f
RG
244 bitmap_obstack *obstack; /* Obstack to allocate elements from.
245 If NULL, then use GGC allocation. */
84562394 246};
7932a3db 247
096ab9ea 248/* Global data */
ae0ed63a 249extern bitmap_element bitmap_zero_bits; /* Zero bitmap element */
7932a3db 250extern bitmap_obstack bitmap_default_obstack; /* Default bitmap obstack */
096ab9ea
RK
251
252/* Clear a bitmap by freeing up the linked list. */
4682ae04 253extern void bitmap_clear (bitmap);
096ab9ea 254
eebedaa5 255/* Copy a bitmap to another bitmap. */
e326eeb5 256extern void bitmap_copy (bitmap, const_bitmap);
096ab9ea 257
43331dfb
RB
258/* Move a bitmap to another bitmap. */
259extern void bitmap_move (bitmap, bitmap);
260
8229306b 261/* True if two bitmaps are identical. */
e326eeb5 262extern bool bitmap_equal_p (const_bitmap, const_bitmap);
8229306b 263
55994078 264/* True if the bitmaps intersect (their AND is non-empty). */
e326eeb5 265extern bool bitmap_intersect_p (const_bitmap, const_bitmap);
55994078
NS
266
267/* True if the complement of the second intersects the first (their
268 AND_COMPL is non-empty). */
e326eeb5 269extern bool bitmap_intersect_compl_p (const_bitmap, const_bitmap);
55994078
NS
270
271/* True if MAP is an empty bitmap. */
f61e445a
LC
272inline bool bitmap_empty_p (const_bitmap map)
273{
274 return !map->first;
275}
eb59b8de 276
76e910c6
RG
277/* True if the bitmap has only a single bit set. */
278extern bool bitmap_single_bit_set_p (const_bitmap);
279
1bc40c7e 280/* Count the number of bits set in the bitmap. */
e326eeb5 281extern unsigned long bitmap_count_bits (const_bitmap);
1bc40c7e 282
478baf91
JL
283/* Count the number of unique bits set across the two bitmaps. */
284extern unsigned long bitmap_count_unique_bits (const_bitmap, const_bitmap);
285
88c4f655
NS
286/* Boolean operations on bitmaps. The _into variants are two operand
287 versions that modify the first source operand. The other variants
288 are three operand versions that to not destroy the source bitmaps.
289 The operations supported are &, & ~, |, ^. */
e326eeb5 290extern void bitmap_and (bitmap, const_bitmap, const_bitmap);
7b19209f 291extern bool bitmap_and_into (bitmap, const_bitmap);
e326eeb5
KG
292extern bool bitmap_and_compl (bitmap, const_bitmap, const_bitmap);
293extern bool bitmap_and_compl_into (bitmap, const_bitmap);
1bc40c7e 294#define bitmap_compl_and(DST, A, B) bitmap_and_compl (DST, B, A)
e326eeb5 295extern void bitmap_compl_and_into (bitmap, const_bitmap);
1bc40c7e 296extern void bitmap_clear_range (bitmap, unsigned int, unsigned int);
6fb5fa3c 297extern void bitmap_set_range (bitmap, unsigned int, unsigned int);
e326eeb5
KG
298extern bool bitmap_ior (bitmap, const_bitmap, const_bitmap);
299extern bool bitmap_ior_into (bitmap, const_bitmap);
300extern void bitmap_xor (bitmap, const_bitmap, const_bitmap);
301extern void bitmap_xor_into (bitmap, const_bitmap);
88c4f655 302
7ff23740
PB
303/* DST = A | (B & C). Return true if DST changes. */
304extern bool bitmap_ior_and_into (bitmap DST, const_bitmap B, const_bitmap C);
88c4f655 305/* DST = A | (B & ~C). Return true if DST changes. */
0263463d
SB
306extern bool bitmap_ior_and_compl (bitmap DST, const_bitmap A,
307 const_bitmap B, const_bitmap C);
88c4f655 308/* A |= (B & ~C). Return true if A changes. */
0263463d
SB
309extern bool bitmap_ior_and_compl_into (bitmap A,
310 const_bitmap B, const_bitmap C);
096ab9ea 311
5f0d975b
RG
312/* Clear a single bit in a bitmap. Return true if the bit changed. */
313extern bool bitmap_clear_bit (bitmap, int);
096ab9ea 314
5f0d975b
RG
315/* Set a single bit in a bitmap. Return true if the bit changed. */
316extern bool bitmap_set_bit (bitmap, int);
096ab9ea
RK
317
318/* Return true if a register is set in a register set. */
4682ae04 319extern int bitmap_bit_p (bitmap, int);
096ab9ea
RK
320
321/* Debug functions to print a bitmap linked list. */
e326eeb5
KG
322extern void debug_bitmap (const_bitmap);
323extern void debug_bitmap_file (FILE *, const_bitmap);
096ab9ea 324
f9da5064 325/* Print a bitmap. */
e326eeb5 326extern void bitmap_print (FILE *, const_bitmap, const char *, const char *);
22fa5b8a 327
5765e552 328/* Initialize and release a bitmap obstack. */
7932a3db
NS
329extern void bitmap_obstack_initialize (bitmap_obstack *);
330extern void bitmap_obstack_release (bitmap_obstack *);
f75709c6
JH
331extern void bitmap_register (bitmap MEM_STAT_DECL);
332extern void dump_bitmap_statistics (void);
096ab9ea 333
7932a3db
NS
334/* Initialize a bitmap header. OBSTACK indicates the bitmap obstack
335 to allocate from, NULL for GC'd bitmap. */
336
337static inline void
f75709c6 338bitmap_initialize_stat (bitmap head, bitmap_obstack *obstack MEM_STAT_DECL)
7932a3db
NS
339{
340 head->first = head->current = NULL;
341 head->obstack = obstack;
7aa6d18a
SB
342 if (GATHER_STATISTICS)
343 bitmap_register (head PASS_MEM_STAT);
7932a3db 344}
f75709c6 345#define bitmap_initialize(h,o) bitmap_initialize_stat (h,o MEM_STAT_INFO)
7932a3db
NS
346
347/* Allocate and free bitmaps from obstack, malloc and gc'd memory. */
f75709c6
JH
348extern bitmap bitmap_obstack_alloc_stat (bitmap_obstack *obstack MEM_STAT_DECL);
349#define bitmap_obstack_alloc(t) bitmap_obstack_alloc_stat (t MEM_STAT_INFO)
350extern bitmap bitmap_gc_alloc_stat (ALONE_MEM_STAT_DECL);
351#define bitmap_gc_alloc() bitmap_gc_alloc_stat (ALONE_MEM_STAT_INFO)
7932a3db 352extern void bitmap_obstack_free (bitmap);
096ab9ea 353
ea193996 354/* A few compatibility/functions macros for compatibility with sbitmaps */
f61e445a
LC
355inline void dump_bitmap (FILE *file, const_bitmap map)
356{
357 bitmap_print (file, map, "", "\n");
358}
84562394
OE
359extern void debug (const bitmap_head &ref);
360extern void debug (const bitmap_head *ptr);
f61e445a 361
e326eeb5 362extern unsigned bitmap_first_set_bit (const_bitmap);
12802c2b 363extern unsigned bitmap_last_set_bit (const_bitmap);
ea193996 364
1af4bba8 365/* Compute bitmap hash (for purposes of hashing etc.) */
c3284718 366extern hashval_t bitmap_hash (const_bitmap);
1af4bba8 367
7932a3db 368/* Allocate a bitmap from a bit obstack. */
cc175e7c 369#define BITMAP_ALLOC(OBSTACK) bitmap_obstack_alloc (OBSTACK)
e2500fed 370
7932a3db
NS
371/* Allocate a gc'd bitmap. */
372#define BITMAP_GGC_ALLOC() bitmap_gc_alloc ()
ca7fd9cd 373
096ab9ea 374/* Do any cleanup needed on a bitmap when it is no longer used. */
61ad0914
BE
375#define BITMAP_FREE(BITMAP) \
376 ((void) (bitmap_obstack_free ((bitmap) BITMAP), (BITMAP) = (bitmap) NULL))
e7749837 377
87c476a2 378/* Iterator for bitmaps. */
096ab9ea 379
84562394 380struct bitmap_iterator
87c476a2 381{
e90ea8cb
NS
382 /* Pointer to the current bitmap element. */
383 bitmap_element *elt1;
c22cacf3 384
e90ea8cb
NS
385 /* Pointer to 2nd bitmap element when two are involved. */
386 bitmap_element *elt2;
387
388 /* Word within the current element. */
389 unsigned word_no;
c22cacf3 390
87c476a2
ZD
391 /* Contents of the actually processed word. When finding next bit
392 it is shifted right, so that the actual bit is always the least
393 significant bit of ACTUAL. */
e90ea8cb 394 BITMAP_WORD bits;
84562394 395};
87c476a2 396
e90ea8cb
NS
397/* Initialize a single bitmap iterator. START_BIT is the first bit to
398 iterate from. */
87c476a2 399
e90ea8cb 400static inline void
e326eeb5 401bmp_iter_set_init (bitmap_iterator *bi, const_bitmap map,
e90ea8cb 402 unsigned start_bit, unsigned *bit_no)
87c476a2 403{
e90ea8cb
NS
404 bi->elt1 = map->first;
405 bi->elt2 = NULL;
406
407 /* Advance elt1 until it is not before the block containing start_bit. */
408 while (1)
87c476a2 409 {
e90ea8cb
NS
410 if (!bi->elt1)
411 {
412 bi->elt1 = &bitmap_zero_bits;
413 break;
414 }
c22cacf3 415
e90ea8cb
NS
416 if (bi->elt1->indx >= start_bit / BITMAP_ELEMENT_ALL_BITS)
417 break;
418 bi->elt1 = bi->elt1->next;
87c476a2
ZD
419 }
420
e90ea8cb
NS
421 /* We might have gone past the start bit, so reinitialize it. */
422 if (bi->elt1->indx != start_bit / BITMAP_ELEMENT_ALL_BITS)
423 start_bit = bi->elt1->indx * BITMAP_ELEMENT_ALL_BITS;
c22cacf3 424
e90ea8cb
NS
425 /* Initialize for what is now start_bit. */
426 bi->word_no = start_bit / BITMAP_WORD_BITS % BITMAP_ELEMENT_WORDS;
427 bi->bits = bi->elt1->bits[bi->word_no];
428 bi->bits >>= start_bit % BITMAP_WORD_BITS;
429
430 /* If this word is zero, we must make sure we're not pointing at the
431 first bit, otherwise our incrementing to the next word boundary
432 will fail. It won't matter if this increment moves us into the
433 next word. */
434 start_bit += !bi->bits;
c22cacf3 435
e90ea8cb 436 *bit_no = start_bit;
87c476a2
ZD
437}
438
e90ea8cb
NS
439/* Initialize an iterator to iterate over the intersection of two
440 bitmaps. START_BIT is the bit to commence from. */
87c476a2 441
e90ea8cb 442static inline void
e326eeb5 443bmp_iter_and_init (bitmap_iterator *bi, const_bitmap map1, const_bitmap map2,
e90ea8cb 444 unsigned start_bit, unsigned *bit_no)
87c476a2 445{
e90ea8cb
NS
446 bi->elt1 = map1->first;
447 bi->elt2 = map2->first;
87c476a2 448
e90ea8cb
NS
449 /* Advance elt1 until it is not before the block containing
450 start_bit. */
87c476a2
ZD
451 while (1)
452 {
e90ea8cb 453 if (!bi->elt1)
87c476a2 454 {
e90ea8cb
NS
455 bi->elt2 = NULL;
456 break;
87c476a2 457 }
c22cacf3 458
e90ea8cb
NS
459 if (bi->elt1->indx >= start_bit / BITMAP_ELEMENT_ALL_BITS)
460 break;
461 bi->elt1 = bi->elt1->next;
87c476a2 462 }
c22cacf3 463
e90ea8cb
NS
464 /* Advance elt2 until it is not before elt1. */
465 while (1)
87c476a2 466 {
e90ea8cb
NS
467 if (!bi->elt2)
468 {
469 bi->elt1 = bi->elt2 = &bitmap_zero_bits;
470 break;
471 }
c22cacf3 472
e90ea8cb
NS
473 if (bi->elt2->indx >= bi->elt1->indx)
474 break;
475 bi->elt2 = bi->elt2->next;
87c476a2
ZD
476 }
477
e28d0cfb 478 /* If we're at the same index, then we have some intersecting bits. */
e90ea8cb 479 if (bi->elt1->indx == bi->elt2->indx)
87c476a2 480 {
e90ea8cb 481 /* We might have advanced beyond the start_bit, so reinitialize
c22cacf3 482 for that. */
e90ea8cb
NS
483 if (bi->elt1->indx != start_bit / BITMAP_ELEMENT_ALL_BITS)
484 start_bit = bi->elt1->indx * BITMAP_ELEMENT_ALL_BITS;
c22cacf3 485
e90ea8cb
NS
486 bi->word_no = start_bit / BITMAP_WORD_BITS % BITMAP_ELEMENT_WORDS;
487 bi->bits = bi->elt1->bits[bi->word_no] & bi->elt2->bits[bi->word_no];
488 bi->bits >>= start_bit % BITMAP_WORD_BITS;
87c476a2
ZD
489 }
490 else
491 {
e90ea8cb
NS
492 /* Otherwise we must immediately advance elt1, so initialize for
493 that. */
494 bi->word_no = BITMAP_ELEMENT_WORDS - 1;
495 bi->bits = 0;
87c476a2 496 }
c22cacf3 497
e90ea8cb
NS
498 /* If this word is zero, we must make sure we're not pointing at the
499 first bit, otherwise our incrementing to the next word boundary
500 will fail. It won't matter if this increment moves us into the
501 next word. */
502 start_bit += !bi->bits;
c22cacf3 503
e90ea8cb 504 *bit_no = start_bit;
87c476a2
ZD
505}
506
e90ea8cb
NS
507/* Initialize an iterator to iterate over the bits in MAP1 & ~MAP2.
508 */
87c476a2 509
e90ea8cb 510static inline void
0263463d
SB
511bmp_iter_and_compl_init (bitmap_iterator *bi,
512 const_bitmap map1, const_bitmap map2,
e90ea8cb 513 unsigned start_bit, unsigned *bit_no)
87c476a2 514{
e90ea8cb
NS
515 bi->elt1 = map1->first;
516 bi->elt2 = map2->first;
87c476a2 517
e90ea8cb 518 /* Advance elt1 until it is not before the block containing start_bit. */
87c476a2
ZD
519 while (1)
520 {
e90ea8cb 521 if (!bi->elt1)
87c476a2 522 {
e90ea8cb
NS
523 bi->elt1 = &bitmap_zero_bits;
524 break;
87c476a2 525 }
c22cacf3 526
e90ea8cb
NS
527 if (bi->elt1->indx >= start_bit / BITMAP_ELEMENT_ALL_BITS)
528 break;
529 bi->elt1 = bi->elt1->next;
87c476a2 530 }
e90ea8cb
NS
531
532 /* Advance elt2 until it is not before elt1. */
533 while (bi->elt2 && bi->elt2->indx < bi->elt1->indx)
534 bi->elt2 = bi->elt2->next;
535
536 /* We might have advanced beyond the start_bit, so reinitialize for
537 that. */
538 if (bi->elt1->indx != start_bit / BITMAP_ELEMENT_ALL_BITS)
539 start_bit = bi->elt1->indx * BITMAP_ELEMENT_ALL_BITS;
c22cacf3 540
e90ea8cb
NS
541 bi->word_no = start_bit / BITMAP_WORD_BITS % BITMAP_ELEMENT_WORDS;
542 bi->bits = bi->elt1->bits[bi->word_no];
543 if (bi->elt2 && bi->elt1->indx == bi->elt2->indx)
544 bi->bits &= ~bi->elt2->bits[bi->word_no];
545 bi->bits >>= start_bit % BITMAP_WORD_BITS;
c22cacf3 546
e90ea8cb
NS
547 /* If this word is zero, we must make sure we're not pointing at the
548 first bit, otherwise our incrementing to the next word boundary
549 will fail. It won't matter if this increment moves us into the
550 next word. */
551 start_bit += !bi->bits;
c22cacf3 552
e90ea8cb 553 *bit_no = start_bit;
87c476a2
ZD
554}
555
e90ea8cb 556/* Advance to the next bit in BI. We don't advance to the next
d46aed51 557 nonzero bit yet. */
87c476a2 558
e90ea8cb
NS
559static inline void
560bmp_iter_next (bitmap_iterator *bi, unsigned *bit_no)
87c476a2 561{
e90ea8cb
NS
562 bi->bits >>= 1;
563 *bit_no += 1;
564}
87c476a2 565
d5568f03
JH
566/* Advance to first set bit in BI. */
567
568static inline void
569bmp_iter_next_bit (bitmap_iterator * bi, unsigned *bit_no)
570{
571#if (GCC_VERSION >= 3004)
572 {
573 unsigned int n = __builtin_ctzl (bi->bits);
574 gcc_assert (sizeof (unsigned long) == sizeof (BITMAP_WORD));
575 bi->bits >>= n;
576 *bit_no += n;
577 }
578#else
579 while (!(bi->bits & 1))
580 {
581 bi->bits >>= 1;
582 *bit_no += 1;
583 }
584#endif
585}
586
d46aed51 587/* Advance to the next nonzero bit of a single bitmap, we will have
e90ea8cb
NS
588 already advanced past the just iterated bit. Return true if there
589 is a bit to iterate. */
87c476a2 590
e90ea8cb
NS
591static inline bool
592bmp_iter_set (bitmap_iterator *bi, unsigned *bit_no)
593{
d46aed51 594 /* If our current word is nonzero, it contains the bit we want. */
e90ea8cb 595 if (bi->bits)
87c476a2 596 {
e90ea8cb 597 next_bit:
d5568f03 598 bmp_iter_next_bit (bi, bit_no);
e90ea8cb 599 return true;
87c476a2
ZD
600 }
601
e90ea8cb
NS
602 /* Round up to the word boundary. We might have just iterated past
603 the end of the last word, hence the -1. It is not possible for
604 bit_no to point at the beginning of the now last word. */
605 *bit_no = ((*bit_no + BITMAP_WORD_BITS - 1)
606 / BITMAP_WORD_BITS * BITMAP_WORD_BITS);
607 bi->word_no++;
87c476a2 608
e90ea8cb 609 while (1)
87c476a2 610 {
d46aed51 611 /* Find the next nonzero word in this elt. */
e90ea8cb
NS
612 while (bi->word_no != BITMAP_ELEMENT_WORDS)
613 {
614 bi->bits = bi->elt1->bits[bi->word_no];
615 if (bi->bits)
616 goto next_bit;
617 *bit_no += BITMAP_WORD_BITS;
618 bi->word_no++;
619 }
c22cacf3 620
a30fe4b6
RB
621 /* Make sure we didn't remove the element while iterating. */
622 gcc_checking_assert (bi->elt1->indx != -1U);
623
e90ea8cb
NS
624 /* Advance to the next element. */
625 bi->elt1 = bi->elt1->next;
626 if (!bi->elt1)
627 return false;
628 *bit_no = bi->elt1->indx * BITMAP_ELEMENT_ALL_BITS;
629 bi->word_no = 0;
87c476a2 630 }
87c476a2
ZD
631}
632
d46aed51
KH
633/* Advance to the next nonzero bit of an intersecting pair of
634 bitmaps. We will have already advanced past the just iterated bit.
e90ea8cb 635 Return true if there is a bit to iterate. */
87c476a2 636
e90ea8cb
NS
637static inline bool
638bmp_iter_and (bitmap_iterator *bi, unsigned *bit_no)
87c476a2 639{
d46aed51 640 /* If our current word is nonzero, it contains the bit we want. */
e90ea8cb
NS
641 if (bi->bits)
642 {
643 next_bit:
d5568f03 644 bmp_iter_next_bit (bi, bit_no);
e90ea8cb
NS
645 return true;
646 }
87c476a2 647
e90ea8cb
NS
648 /* Round up to the word boundary. We might have just iterated past
649 the end of the last word, hence the -1. It is not possible for
650 bit_no to point at the beginning of the now last word. */
651 *bit_no = ((*bit_no + BITMAP_WORD_BITS - 1)
652 / BITMAP_WORD_BITS * BITMAP_WORD_BITS);
653 bi->word_no++;
c22cacf3 654
87c476a2
ZD
655 while (1)
656 {
d46aed51 657 /* Find the next nonzero word in this elt. */
e90ea8cb 658 while (bi->word_no != BITMAP_ELEMENT_WORDS)
87c476a2 659 {
e90ea8cb
NS
660 bi->bits = bi->elt1->bits[bi->word_no] & bi->elt2->bits[bi->word_no];
661 if (bi->bits)
662 goto next_bit;
663 *bit_no += BITMAP_WORD_BITS;
664 bi->word_no++;
87c476a2 665 }
c22cacf3 666
e90ea8cb 667 /* Advance to the next identical element. */
87c476a2
ZD
668 do
669 {
a30fe4b6
RB
670 /* Make sure we didn't remove the element while iterating. */
671 gcc_checking_assert (bi->elt1->indx != -1U);
672
e90ea8cb
NS
673 /* Advance elt1 while it is less than elt2. We always want
674 to advance one elt. */
675 do
87c476a2 676 {
e90ea8cb
NS
677 bi->elt1 = bi->elt1->next;
678 if (!bi->elt1)
679 return false;
680 }
681 while (bi->elt1->indx < bi->elt2->indx);
c22cacf3 682
a30fe4b6
RB
683 /* Make sure we didn't remove the element while iterating. */
684 gcc_checking_assert (bi->elt2->indx != -1U);
685
e90ea8cb
NS
686 /* Advance elt2 to be no less than elt1. This might not
687 advance. */
688 while (bi->elt2->indx < bi->elt1->indx)
689 {
690 bi->elt2 = bi->elt2->next;
691 if (!bi->elt2)
692 return false;
87c476a2
ZD
693 }
694 }
e90ea8cb 695 while (bi->elt1->indx != bi->elt2->indx);
c22cacf3 696
e90ea8cb
NS
697 *bit_no = bi->elt1->indx * BITMAP_ELEMENT_ALL_BITS;
698 bi->word_no = 0;
87c476a2
ZD
699 }
700}
701
d46aed51 702/* Advance to the next nonzero bit in the intersection of
e90ea8cb
NS
703 complemented bitmaps. We will have already advanced past the just
704 iterated bit. */
87c476a2 705
e90ea8cb
NS
706static inline bool
707bmp_iter_and_compl (bitmap_iterator *bi, unsigned *bit_no)
87c476a2 708{
d46aed51 709 /* If our current word is nonzero, it contains the bit we want. */
e90ea8cb 710 if (bi->bits)
87c476a2 711 {
e90ea8cb 712 next_bit:
d5568f03 713 bmp_iter_next_bit (bi, bit_no);
e90ea8cb 714 return true;
87c476a2
ZD
715 }
716
e90ea8cb
NS
717 /* Round up to the word boundary. We might have just iterated past
718 the end of the last word, hence the -1. It is not possible for
719 bit_no to point at the beginning of the now last word. */
720 *bit_no = ((*bit_no + BITMAP_WORD_BITS - 1)
721 / BITMAP_WORD_BITS * BITMAP_WORD_BITS);
722 bi->word_no++;
87c476a2 723
e90ea8cb 724 while (1)
87c476a2 725 {
d46aed51 726 /* Find the next nonzero word in this elt. */
e90ea8cb
NS
727 while (bi->word_no != BITMAP_ELEMENT_WORDS)
728 {
729 bi->bits = bi->elt1->bits[bi->word_no];
730 if (bi->elt2 && bi->elt2->indx == bi->elt1->indx)
731 bi->bits &= ~bi->elt2->bits[bi->word_no];
732 if (bi->bits)
733 goto next_bit;
734 *bit_no += BITMAP_WORD_BITS;
735 bi->word_no++;
736 }
c22cacf3 737
a30fe4b6
RB
738 /* Make sure we didn't remove the element while iterating. */
739 gcc_checking_assert (bi->elt1->indx != -1U);
740
e90ea8cb
NS
741 /* Advance to the next element of elt1. */
742 bi->elt1 = bi->elt1->next;
743 if (!bi->elt1)
744 return false;
745
a30fe4b6
RB
746 /* Make sure we didn't remove the element while iterating. */
747 gcc_checking_assert (! bi->elt2 || bi->elt2->indx != -1U);
748
e90ea8cb
NS
749 /* Advance elt2 until it is no less than elt1. */
750 while (bi->elt2 && bi->elt2->indx < bi->elt1->indx)
751 bi->elt2 = bi->elt2->next;
c22cacf3 752
e90ea8cb
NS
753 *bit_no = bi->elt1->indx * BITMAP_ELEMENT_ALL_BITS;
754 bi->word_no = 0;
87c476a2 755 }
87c476a2
ZD
756}
757
7a18d752
RB
758/* If you are modifying a bitmap you are currently iterating over you
759 have to ensure to
760 - never remove the current bit;
761 - if you set or clear a bit before the current bit this operation
762 will not affect the set of bits you are visiting during the iteration;
763 - if you set or clear a bit after the current bit it is unspecified
764 whether that affects the set of bits you are visiting during the
765 iteration.
766 If you want to remove the current bit you can delay this to the next
767 iteration (and after the iteration in case the last iteration is
768 affected). */
769
e90ea8cb
NS
770/* Loop over all bits set in BITMAP, starting with MIN and setting
771 BITNUM to the bit number. ITER is a bitmap iterator. BITNUM
772 should be treated as a read-only variable as it contains loop
773 state. */
87c476a2 774
d4ac4ce2
LC
775#ifndef EXECUTE_IF_SET_IN_BITMAP
776/* See sbitmap.h for the other definition of EXECUTE_IF_SET_IN_BITMAP. */
e90ea8cb
NS
777#define EXECUTE_IF_SET_IN_BITMAP(BITMAP, MIN, BITNUM, ITER) \
778 for (bmp_iter_set_init (&(ITER), (BITMAP), (MIN), &(BITNUM)); \
779 bmp_iter_set (&(ITER), &(BITNUM)); \
780 bmp_iter_next (&(ITER), &(BITNUM)))
d4ac4ce2 781#endif
e90ea8cb
NS
782
783/* Loop over all the bits set in BITMAP1 & BITMAP2, starting with MIN
784 and setting BITNUM to the bit number. ITER is a bitmap iterator.
785 BITNUM should be treated as a read-only variable as it contains
786 loop state. */
787
788#define EXECUTE_IF_AND_IN_BITMAP(BITMAP1, BITMAP2, MIN, BITNUM, ITER) \
c22cacf3 789 for (bmp_iter_and_init (&(ITER), (BITMAP1), (BITMAP2), (MIN), \
e90ea8cb
NS
790 &(BITNUM)); \
791 bmp_iter_and (&(ITER), &(BITNUM)); \
792 bmp_iter_next (&(ITER), &(BITNUM)))
793
794/* Loop over all the bits set in BITMAP1 & ~BITMAP2, starting with MIN
795 and setting BITNUM to the bit number. ITER is a bitmap iterator.
796 BITNUM should be treated as a read-only variable as it contains
797 loop state. */
798
799#define EXECUTE_IF_AND_COMPL_IN_BITMAP(BITMAP1, BITMAP2, MIN, BITNUM, ITER) \
800 for (bmp_iter_and_compl_init (&(ITER), (BITMAP1), (BITMAP2), (MIN), \
c22cacf3 801 &(BITNUM)); \
e90ea8cb
NS
802 bmp_iter_and_compl (&(ITER), &(BITNUM)); \
803 bmp_iter_next (&(ITER), &(BITNUM)))
a05924f9 804
8b670f93
AH
805/* A class that ties the lifetime of a bitmap to its scope. */
806class auto_bitmap
807{
808 public:
a4d51bfb
TS
809 auto_bitmap () { bitmap_initialize (&m_bits, &bitmap_default_obstack); }
810 ~auto_bitmap () { bitmap_clear (&m_bits); }
8b670f93 811 // Allow calling bitmap functions on our bitmap.
a4d51bfb 812 operator bitmap () { return &m_bits; }
8b670f93
AH
813
814 private:
815 // Prevent making a copy that references our bitmap.
816 auto_bitmap (const auto_bitmap &);
817 auto_bitmap &operator = (const auto_bitmap &);
818#if __cplusplus >= 201103L
819 auto_bitmap (auto_bitmap &&);
820 auto_bitmap &operator = (auto_bitmap &&);
821#endif
822
a4d51bfb 823 bitmap_head m_bits;
8b670f93
AH
824};
825
88657302 826#endif /* GCC_BITMAP_H */