xref: /dflybsd-src/contrib/gcc-8.0/gcc/bitmap.c (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj /* Functions to support general ended bitmaps.
2*38fd1498Szrj    Copyright (C) 1997-2018 Free Software Foundation, Inc.
3*38fd1498Szrj 
4*38fd1498Szrj This file is part of GCC.
5*38fd1498Szrj 
6*38fd1498Szrj GCC is free software; you can redistribute it and/or modify it under
7*38fd1498Szrj the terms of the GNU General Public License as published by the Free
8*38fd1498Szrj Software Foundation; either version 3, or (at your option) any later
9*38fd1498Szrj version.
10*38fd1498Szrj 
11*38fd1498Szrj GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12*38fd1498Szrj WARRANTY; without even the implied warranty of MERCHANTABILITY or
13*38fd1498Szrj FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14*38fd1498Szrj for more details.
15*38fd1498Szrj 
16*38fd1498Szrj You should have received a copy of the GNU General Public License
17*38fd1498Szrj along with GCC; see the file COPYING3.  If not see
18*38fd1498Szrj <http://www.gnu.org/licenses/>.  */
19*38fd1498Szrj 
20*38fd1498Szrj #include "config.h"
21*38fd1498Szrj #include "system.h"
22*38fd1498Szrj #include "coretypes.h"
23*38fd1498Szrj #include "bitmap.h"
24*38fd1498Szrj #include "selftest.h"
25*38fd1498Szrj 
26*38fd1498Szrj /* Memory allocation statistics purpose instance.  */
27*38fd1498Szrj mem_alloc_description<bitmap_usage> bitmap_mem_desc;
28*38fd1498Szrj 
29*38fd1498Szrj /* Register new bitmap.  */
30*38fd1498Szrj void
bitmap_register(bitmap b MEM_STAT_DECL)31*38fd1498Szrj bitmap_register (bitmap b MEM_STAT_DECL)
32*38fd1498Szrj {
33*38fd1498Szrj   bitmap_mem_desc.register_descriptor (b, BITMAP_ORIGIN, false
34*38fd1498Szrj 				       FINAL_PASS_MEM_STAT);
35*38fd1498Szrj }
36*38fd1498Szrj 
37*38fd1498Szrj /* Account the overhead.  */
38*38fd1498Szrj static void
register_overhead(bitmap b,size_t amount)39*38fd1498Szrj register_overhead (bitmap b, size_t amount)
40*38fd1498Szrj {
41*38fd1498Szrj   if (bitmap_mem_desc.contains_descriptor_for_instance (b))
42*38fd1498Szrj     bitmap_mem_desc.register_instance_overhead (amount, b);
43*38fd1498Szrj }
44*38fd1498Szrj 
45*38fd1498Szrj /* Global data */
46*38fd1498Szrj bitmap_element bitmap_zero_bits;  /* An element of all zero bits.  */
47*38fd1498Szrj bitmap_obstack bitmap_default_obstack;    /* The default bitmap obstack.  */
48*38fd1498Szrj static int bitmap_default_obstack_depth;
49*38fd1498Szrj static GTY((deletable)) bitmap_element *bitmap_ggc_free; /* Freelist of
50*38fd1498Szrj 							    GC'd elements.  */
51*38fd1498Szrj 
52*38fd1498Szrj static void bitmap_elem_to_freelist (bitmap, bitmap_element *);
53*38fd1498Szrj static void bitmap_element_free (bitmap, bitmap_element *);
54*38fd1498Szrj static bitmap_element *bitmap_element_allocate (bitmap);
55*38fd1498Szrj static int bitmap_element_zerop (const bitmap_element *);
56*38fd1498Szrj static void bitmap_element_link (bitmap, bitmap_element *);
57*38fd1498Szrj static bitmap_element *bitmap_elt_insert_after (bitmap, bitmap_element *, unsigned int);
58*38fd1498Szrj static void bitmap_elt_clear_from (bitmap, bitmap_element *);
59*38fd1498Szrj static bitmap_element *bitmap_find_bit (bitmap, unsigned int);
60*38fd1498Szrj 
61*38fd1498Szrj 
62*38fd1498Szrj /* Add ELEM to the appropriate freelist.  */
63*38fd1498Szrj static inline void
bitmap_elem_to_freelist(bitmap head,bitmap_element * elt)64*38fd1498Szrj bitmap_elem_to_freelist (bitmap head, bitmap_element *elt)
65*38fd1498Szrj {
66*38fd1498Szrj   bitmap_obstack *bit_obstack = head->obstack;
67*38fd1498Szrj 
68*38fd1498Szrj   elt->next = NULL;
69*38fd1498Szrj   elt->indx = -1;
70*38fd1498Szrj   if (bit_obstack)
71*38fd1498Szrj     {
72*38fd1498Szrj       elt->prev = bit_obstack->elements;
73*38fd1498Szrj       bit_obstack->elements = elt;
74*38fd1498Szrj     }
75*38fd1498Szrj   else
76*38fd1498Szrj     {
77*38fd1498Szrj       elt->prev = bitmap_ggc_free;
78*38fd1498Szrj       bitmap_ggc_free = elt;
79*38fd1498Szrj     }
80*38fd1498Szrj }
81*38fd1498Szrj 
82*38fd1498Szrj /* Free a bitmap element.  Since these are allocated off the
83*38fd1498Szrj    bitmap_obstack, "free" actually means "put onto the freelist".  */
84*38fd1498Szrj 
85*38fd1498Szrj static inline void
bitmap_element_free(bitmap head,bitmap_element * elt)86*38fd1498Szrj bitmap_element_free (bitmap head, bitmap_element *elt)
87*38fd1498Szrj {
88*38fd1498Szrj   bitmap_element *next = elt->next;
89*38fd1498Szrj   bitmap_element *prev = elt->prev;
90*38fd1498Szrj 
91*38fd1498Szrj   if (prev)
92*38fd1498Szrj     prev->next = next;
93*38fd1498Szrj 
94*38fd1498Szrj   if (next)
95*38fd1498Szrj     next->prev = prev;
96*38fd1498Szrj 
97*38fd1498Szrj   if (head->first == elt)
98*38fd1498Szrj     head->first = next;
99*38fd1498Szrj 
100*38fd1498Szrj   /* Since the first thing we try is to insert before current,
101*38fd1498Szrj      make current the next entry in preference to the previous.  */
102*38fd1498Szrj   if (head->current == elt)
103*38fd1498Szrj     {
104*38fd1498Szrj       head->current = next != 0 ? next : prev;
105*38fd1498Szrj       if (head->current)
106*38fd1498Szrj 	head->indx = head->current->indx;
107*38fd1498Szrj       else
108*38fd1498Szrj 	head->indx = 0;
109*38fd1498Szrj     }
110*38fd1498Szrj 
111*38fd1498Szrj   if (GATHER_STATISTICS)
112*38fd1498Szrj     register_overhead (head, -((int)sizeof (bitmap_element)));
113*38fd1498Szrj 
114*38fd1498Szrj   bitmap_elem_to_freelist (head, elt);
115*38fd1498Szrj }
116*38fd1498Szrj 
117*38fd1498Szrj /* Allocate a bitmap element.  The bits are cleared, but nothing else is.  */
118*38fd1498Szrj 
119*38fd1498Szrj static inline bitmap_element *
bitmap_element_allocate(bitmap head)120*38fd1498Szrj bitmap_element_allocate (bitmap head)
121*38fd1498Szrj {
122*38fd1498Szrj   bitmap_element *element;
123*38fd1498Szrj   bitmap_obstack *bit_obstack = head->obstack;
124*38fd1498Szrj 
125*38fd1498Szrj   if (bit_obstack)
126*38fd1498Szrj     {
127*38fd1498Szrj       element = bit_obstack->elements;
128*38fd1498Szrj 
129*38fd1498Szrj       if (element)
130*38fd1498Szrj 	/* Use up the inner list first before looking at the next
131*38fd1498Szrj 	   element of the outer list.  */
132*38fd1498Szrj 	if (element->next)
133*38fd1498Szrj 	  {
134*38fd1498Szrj 	    bit_obstack->elements = element->next;
135*38fd1498Szrj 	    bit_obstack->elements->prev = element->prev;
136*38fd1498Szrj 	  }
137*38fd1498Szrj 	else
138*38fd1498Szrj 	  /*  Inner list was just a singleton.  */
139*38fd1498Szrj 	  bit_obstack->elements = element->prev;
140*38fd1498Szrj       else
141*38fd1498Szrj 	element = XOBNEW (&bit_obstack->obstack, bitmap_element);
142*38fd1498Szrj     }
143*38fd1498Szrj   else
144*38fd1498Szrj     {
145*38fd1498Szrj       element = bitmap_ggc_free;
146*38fd1498Szrj       if (element)
147*38fd1498Szrj 	/* Use up the inner list first before looking at the next
148*38fd1498Szrj 	   element of the outer list.  */
149*38fd1498Szrj 	if (element->next)
150*38fd1498Szrj 	  {
151*38fd1498Szrj 	    bitmap_ggc_free = element->next;
152*38fd1498Szrj 	    bitmap_ggc_free->prev = element->prev;
153*38fd1498Szrj 	  }
154*38fd1498Szrj 	else
155*38fd1498Szrj 	  /*  Inner list was just a singleton.  */
156*38fd1498Szrj 	  bitmap_ggc_free = element->prev;
157*38fd1498Szrj       else
158*38fd1498Szrj 	element = ggc_alloc<bitmap_element> ();
159*38fd1498Szrj     }
160*38fd1498Szrj 
161*38fd1498Szrj   if (GATHER_STATISTICS)
162*38fd1498Szrj     register_overhead (head, sizeof (bitmap_element));
163*38fd1498Szrj 
164*38fd1498Szrj   memset (element->bits, 0, sizeof (element->bits));
165*38fd1498Szrj 
166*38fd1498Szrj   return element;
167*38fd1498Szrj }
168*38fd1498Szrj 
169*38fd1498Szrj /* Remove ELT and all following elements from bitmap HEAD.  */
170*38fd1498Szrj 
171*38fd1498Szrj void
bitmap_elt_clear_from(bitmap head,bitmap_element * elt)172*38fd1498Szrj bitmap_elt_clear_from (bitmap head, bitmap_element *elt)
173*38fd1498Szrj {
174*38fd1498Szrj   bitmap_element *prev;
175*38fd1498Szrj   bitmap_obstack *bit_obstack = head->obstack;
176*38fd1498Szrj 
177*38fd1498Szrj   if (!elt) return;
178*38fd1498Szrj 
179*38fd1498Szrj   if (GATHER_STATISTICS)
180*38fd1498Szrj     {
181*38fd1498Szrj       int n = 0;
182*38fd1498Szrj       for (prev = elt; prev; prev = prev->next)
183*38fd1498Szrj 	n++;
184*38fd1498Szrj       register_overhead (head, -sizeof (bitmap_element) * n);
185*38fd1498Szrj     }
186*38fd1498Szrj 
187*38fd1498Szrj   prev = elt->prev;
188*38fd1498Szrj   if (prev)
189*38fd1498Szrj     {
190*38fd1498Szrj       prev->next = NULL;
191*38fd1498Szrj       if (head->current->indx > prev->indx)
192*38fd1498Szrj 	{
193*38fd1498Szrj 	  head->current = prev;
194*38fd1498Szrj 	  head->indx = prev->indx;
195*38fd1498Szrj 	}
196*38fd1498Szrj     }
197*38fd1498Szrj   else
198*38fd1498Szrj     {
199*38fd1498Szrj       head->first = NULL;
200*38fd1498Szrj       head->current = NULL;
201*38fd1498Szrj       head->indx = 0;
202*38fd1498Szrj     }
203*38fd1498Szrj 
204*38fd1498Szrj   /* Put the entire list onto the free list in one operation. */
205*38fd1498Szrj   if (bit_obstack)
206*38fd1498Szrj     {
207*38fd1498Szrj       elt->prev = bit_obstack->elements;
208*38fd1498Szrj       bit_obstack->elements = elt;
209*38fd1498Szrj     }
210*38fd1498Szrj   else
211*38fd1498Szrj     {
212*38fd1498Szrj       elt->prev = bitmap_ggc_free;
213*38fd1498Szrj       bitmap_ggc_free = elt;
214*38fd1498Szrj     }
215*38fd1498Szrj }
216*38fd1498Szrj 
217*38fd1498Szrj /* Clear a bitmap by freeing the linked list.  */
218*38fd1498Szrj 
219*38fd1498Szrj void
bitmap_clear(bitmap head)220*38fd1498Szrj bitmap_clear (bitmap head)
221*38fd1498Szrj {
222*38fd1498Szrj   if (head->first)
223*38fd1498Szrj     bitmap_elt_clear_from (head, head->first);
224*38fd1498Szrj }
225*38fd1498Szrj 
226*38fd1498Szrj /* Initialize a bitmap obstack.  If BIT_OBSTACK is NULL, initialize
227*38fd1498Szrj    the default bitmap obstack.  */
228*38fd1498Szrj 
229*38fd1498Szrj void
bitmap_obstack_initialize(bitmap_obstack * bit_obstack)230*38fd1498Szrj bitmap_obstack_initialize (bitmap_obstack *bit_obstack)
231*38fd1498Szrj {
232*38fd1498Szrj   if (!bit_obstack)
233*38fd1498Szrj     {
234*38fd1498Szrj       if (bitmap_default_obstack_depth++)
235*38fd1498Szrj 	return;
236*38fd1498Szrj       bit_obstack = &bitmap_default_obstack;
237*38fd1498Szrj     }
238*38fd1498Szrj 
239*38fd1498Szrj #if !defined(__GNUC__) || (__GNUC__ < 2)
240*38fd1498Szrj #define __alignof__(type) 0
241*38fd1498Szrj #endif
242*38fd1498Szrj 
243*38fd1498Szrj   bit_obstack->elements = NULL;
244*38fd1498Szrj   bit_obstack->heads = NULL;
245*38fd1498Szrj   obstack_specify_allocation (&bit_obstack->obstack, OBSTACK_CHUNK_SIZE,
246*38fd1498Szrj 			      __alignof__ (bitmap_element),
247*38fd1498Szrj 			      obstack_chunk_alloc,
248*38fd1498Szrj 			      obstack_chunk_free);
249*38fd1498Szrj }
250*38fd1498Szrj 
251*38fd1498Szrj /* Release the memory from a bitmap obstack.  If BIT_OBSTACK is NULL,
252*38fd1498Szrj    release the default bitmap obstack.  */
253*38fd1498Szrj 
254*38fd1498Szrj void
bitmap_obstack_release(bitmap_obstack * bit_obstack)255*38fd1498Szrj bitmap_obstack_release (bitmap_obstack *bit_obstack)
256*38fd1498Szrj {
257*38fd1498Szrj   if (!bit_obstack)
258*38fd1498Szrj     {
259*38fd1498Szrj       if (--bitmap_default_obstack_depth)
260*38fd1498Szrj 	{
261*38fd1498Szrj 	  gcc_assert (bitmap_default_obstack_depth > 0);
262*38fd1498Szrj 	  return;
263*38fd1498Szrj 	}
264*38fd1498Szrj       bit_obstack = &bitmap_default_obstack;
265*38fd1498Szrj     }
266*38fd1498Szrj 
267*38fd1498Szrj   bit_obstack->elements = NULL;
268*38fd1498Szrj   bit_obstack->heads = NULL;
269*38fd1498Szrj   obstack_free (&bit_obstack->obstack, NULL);
270*38fd1498Szrj }
271*38fd1498Szrj 
272*38fd1498Szrj /* Create a new bitmap on an obstack.  If BIT_OBSTACK is NULL, create
273*38fd1498Szrj    it on the default bitmap obstack.  */
274*38fd1498Szrj 
275*38fd1498Szrj bitmap
bitmap_alloc(bitmap_obstack * bit_obstack MEM_STAT_DECL)276*38fd1498Szrj bitmap_alloc (bitmap_obstack *bit_obstack MEM_STAT_DECL)
277*38fd1498Szrj {
278*38fd1498Szrj   bitmap map;
279*38fd1498Szrj 
280*38fd1498Szrj   if (!bit_obstack)
281*38fd1498Szrj     bit_obstack = &bitmap_default_obstack;
282*38fd1498Szrj   map = bit_obstack->heads;
283*38fd1498Szrj   if (map)
284*38fd1498Szrj     bit_obstack->heads = (struct bitmap_head *) map->first;
285*38fd1498Szrj   else
286*38fd1498Szrj     map = XOBNEW (&bit_obstack->obstack, bitmap_head);
287*38fd1498Szrj   bitmap_initialize (map, bit_obstack PASS_MEM_STAT);
288*38fd1498Szrj 
289*38fd1498Szrj   if (GATHER_STATISTICS)
290*38fd1498Szrj     register_overhead (map, sizeof (bitmap_head));
291*38fd1498Szrj 
292*38fd1498Szrj   return map;
293*38fd1498Szrj }
294*38fd1498Szrj 
295*38fd1498Szrj /* Create a new GCd bitmap.  */
296*38fd1498Szrj 
297*38fd1498Szrj bitmap
bitmap_gc_alloc(ALONE_MEM_STAT_DECL)298*38fd1498Szrj bitmap_gc_alloc (ALONE_MEM_STAT_DECL)
299*38fd1498Szrj {
300*38fd1498Szrj   bitmap map;
301*38fd1498Szrj 
302*38fd1498Szrj   map = ggc_alloc<bitmap_head> ();
303*38fd1498Szrj   bitmap_initialize (map, NULL PASS_MEM_STAT);
304*38fd1498Szrj 
305*38fd1498Szrj   if (GATHER_STATISTICS)
306*38fd1498Szrj     register_overhead (map, sizeof (bitmap_head));
307*38fd1498Szrj 
308*38fd1498Szrj   return map;
309*38fd1498Szrj }
310*38fd1498Szrj 
311*38fd1498Szrj /* Release an obstack allocated bitmap.  */
312*38fd1498Szrj 
313*38fd1498Szrj void
bitmap_obstack_free(bitmap map)314*38fd1498Szrj bitmap_obstack_free (bitmap map)
315*38fd1498Szrj {
316*38fd1498Szrj   if (map)
317*38fd1498Szrj     {
318*38fd1498Szrj       bitmap_clear (map);
319*38fd1498Szrj       map->first = (bitmap_element *) map->obstack->heads;
320*38fd1498Szrj 
321*38fd1498Szrj       if (GATHER_STATISTICS)
322*38fd1498Szrj 	register_overhead (map, -((int)sizeof (bitmap_head)));
323*38fd1498Szrj 
324*38fd1498Szrj       map->obstack->heads = map;
325*38fd1498Szrj     }
326*38fd1498Szrj }
327*38fd1498Szrj 
328*38fd1498Szrj 
329*38fd1498Szrj /* Return nonzero if all bits in an element are zero.  */
330*38fd1498Szrj 
331*38fd1498Szrj static inline int
bitmap_element_zerop(const bitmap_element * element)332*38fd1498Szrj bitmap_element_zerop (const bitmap_element *element)
333*38fd1498Szrj {
334*38fd1498Szrj #if BITMAP_ELEMENT_WORDS == 2
335*38fd1498Szrj   return (element->bits[0] | element->bits[1]) == 0;
336*38fd1498Szrj #else
337*38fd1498Szrj   unsigned i;
338*38fd1498Szrj 
339*38fd1498Szrj   for (i = 0; i < BITMAP_ELEMENT_WORDS; i++)
340*38fd1498Szrj     if (element->bits[i] != 0)
341*38fd1498Szrj       return 0;
342*38fd1498Szrj 
343*38fd1498Szrj   return 1;
344*38fd1498Szrj #endif
345*38fd1498Szrj }
346*38fd1498Szrj 
347*38fd1498Szrj /* Link the bitmap element into the current bitmap linked list.  */
348*38fd1498Szrj 
349*38fd1498Szrj static inline void
bitmap_element_link(bitmap head,bitmap_element * element)350*38fd1498Szrj bitmap_element_link (bitmap head, bitmap_element *element)
351*38fd1498Szrj {
352*38fd1498Szrj   unsigned int indx = element->indx;
353*38fd1498Szrj   bitmap_element *ptr;
354*38fd1498Szrj 
355*38fd1498Szrj   /* If this is the first and only element, set it in.  */
356*38fd1498Szrj   if (head->first == 0)
357*38fd1498Szrj     {
358*38fd1498Szrj       element->next = element->prev = 0;
359*38fd1498Szrj       head->first = element;
360*38fd1498Szrj     }
361*38fd1498Szrj 
362*38fd1498Szrj   /* If this index is less than that of the current element, it goes someplace
363*38fd1498Szrj      before the current element.  */
364*38fd1498Szrj   else if (indx < head->indx)
365*38fd1498Szrj     {
366*38fd1498Szrj       for (ptr = head->current;
367*38fd1498Szrj 	   ptr->prev != 0 && ptr->prev->indx > indx;
368*38fd1498Szrj 	   ptr = ptr->prev)
369*38fd1498Szrj 	;
370*38fd1498Szrj 
371*38fd1498Szrj       if (ptr->prev)
372*38fd1498Szrj 	ptr->prev->next = element;
373*38fd1498Szrj       else
374*38fd1498Szrj 	head->first = element;
375*38fd1498Szrj 
376*38fd1498Szrj       element->prev = ptr->prev;
377*38fd1498Szrj       element->next = ptr;
378*38fd1498Szrj       ptr->prev = element;
379*38fd1498Szrj     }
380*38fd1498Szrj 
381*38fd1498Szrj   /* Otherwise, it must go someplace after the current element.  */
382*38fd1498Szrj   else
383*38fd1498Szrj     {
384*38fd1498Szrj       for (ptr = head->current;
385*38fd1498Szrj 	   ptr->next != 0 && ptr->next->indx < indx;
386*38fd1498Szrj 	   ptr = ptr->next)
387*38fd1498Szrj 	;
388*38fd1498Szrj 
389*38fd1498Szrj       if (ptr->next)
390*38fd1498Szrj 	ptr->next->prev = element;
391*38fd1498Szrj 
392*38fd1498Szrj       element->next = ptr->next;
393*38fd1498Szrj       element->prev = ptr;
394*38fd1498Szrj       ptr->next = element;
395*38fd1498Szrj     }
396*38fd1498Szrj 
397*38fd1498Szrj   /* Set up so this is the first element searched.  */
398*38fd1498Szrj   head->current = element;
399*38fd1498Szrj   head->indx = indx;
400*38fd1498Szrj }
401*38fd1498Szrj 
402*38fd1498Szrj /* Insert a new uninitialized element into bitmap HEAD after element
403*38fd1498Szrj    ELT.  If ELT is NULL, insert the element at the start.  Return the
404*38fd1498Szrj    new element.  */
405*38fd1498Szrj 
406*38fd1498Szrj static bitmap_element *
bitmap_elt_insert_after(bitmap head,bitmap_element * elt,unsigned int indx)407*38fd1498Szrj bitmap_elt_insert_after (bitmap head, bitmap_element *elt, unsigned int indx)
408*38fd1498Szrj {
409*38fd1498Szrj   bitmap_element *node = bitmap_element_allocate (head);
410*38fd1498Szrj   node->indx = indx;
411*38fd1498Szrj 
412*38fd1498Szrj   if (!elt)
413*38fd1498Szrj     {
414*38fd1498Szrj       if (!head->current)
415*38fd1498Szrj 	{
416*38fd1498Szrj 	  head->current = node;
417*38fd1498Szrj 	  head->indx = indx;
418*38fd1498Szrj 	}
419*38fd1498Szrj       node->next = head->first;
420*38fd1498Szrj       if (node->next)
421*38fd1498Szrj 	node->next->prev = node;
422*38fd1498Szrj       head->first = node;
423*38fd1498Szrj       node->prev = NULL;
424*38fd1498Szrj     }
425*38fd1498Szrj   else
426*38fd1498Szrj     {
427*38fd1498Szrj       gcc_checking_assert (head->current);
428*38fd1498Szrj       node->next = elt->next;
429*38fd1498Szrj       if (node->next)
430*38fd1498Szrj 	node->next->prev = node;
431*38fd1498Szrj       elt->next = node;
432*38fd1498Szrj       node->prev = elt;
433*38fd1498Szrj     }
434*38fd1498Szrj   return node;
435*38fd1498Szrj }
436*38fd1498Szrj 
437*38fd1498Szrj /* Copy a bitmap to another bitmap.  */
438*38fd1498Szrj 
439*38fd1498Szrj void
bitmap_copy(bitmap to,const_bitmap from)440*38fd1498Szrj bitmap_copy (bitmap to, const_bitmap from)
441*38fd1498Szrj {
442*38fd1498Szrj   const bitmap_element *from_ptr;
443*38fd1498Szrj   bitmap_element *to_ptr = 0;
444*38fd1498Szrj 
445*38fd1498Szrj   bitmap_clear (to);
446*38fd1498Szrj 
447*38fd1498Szrj   /* Copy elements in forward direction one at a time.  */
448*38fd1498Szrj   for (from_ptr = from->first; from_ptr; from_ptr = from_ptr->next)
449*38fd1498Szrj     {
450*38fd1498Szrj       bitmap_element *to_elt = bitmap_element_allocate (to);
451*38fd1498Szrj 
452*38fd1498Szrj       to_elt->indx = from_ptr->indx;
453*38fd1498Szrj       memcpy (to_elt->bits, from_ptr->bits, sizeof (to_elt->bits));
454*38fd1498Szrj 
455*38fd1498Szrj       /* Here we have a special case of bitmap_element_link, for the case
456*38fd1498Szrj 	 where we know the links are being entered in sequence.  */
457*38fd1498Szrj       if (to_ptr == 0)
458*38fd1498Szrj 	{
459*38fd1498Szrj 	  to->first = to->current = to_elt;
460*38fd1498Szrj 	  to->indx = from_ptr->indx;
461*38fd1498Szrj 	  to_elt->next = to_elt->prev = 0;
462*38fd1498Szrj 	}
463*38fd1498Szrj       else
464*38fd1498Szrj 	{
465*38fd1498Szrj 	  to_elt->prev = to_ptr;
466*38fd1498Szrj 	  to_elt->next = 0;
467*38fd1498Szrj 	  to_ptr->next = to_elt;
468*38fd1498Szrj 	}
469*38fd1498Szrj 
470*38fd1498Szrj       to_ptr = to_elt;
471*38fd1498Szrj     }
472*38fd1498Szrj }
473*38fd1498Szrj 
474*38fd1498Szrj /* Move a bitmap to another bitmap.  */
475*38fd1498Szrj 
476*38fd1498Szrj void
bitmap_move(bitmap to,bitmap from)477*38fd1498Szrj bitmap_move (bitmap to, bitmap from)
478*38fd1498Szrj {
479*38fd1498Szrj   gcc_assert (to->obstack == from->obstack);
480*38fd1498Szrj 
481*38fd1498Szrj   bitmap_clear (to);
482*38fd1498Szrj 
483*38fd1498Szrj   *to = *from;
484*38fd1498Szrj 
485*38fd1498Szrj   if (GATHER_STATISTICS)
486*38fd1498Szrj     {
487*38fd1498Szrj       size_t sz = 0;
488*38fd1498Szrj       for (bitmap_element *e = to->first; e; e = e->next)
489*38fd1498Szrj 	sz += sizeof (bitmap_element);
490*38fd1498Szrj       register_overhead (to, sz);
491*38fd1498Szrj       register_overhead (from, -sz);
492*38fd1498Szrj     }
493*38fd1498Szrj }
494*38fd1498Szrj 
495*38fd1498Szrj /* Find a bitmap element that would hold a bitmap's bit.
496*38fd1498Szrj    Update the `current' field even if we can't find an element that
497*38fd1498Szrj    would hold the bitmap's bit to make eventual allocation
498*38fd1498Szrj    faster.  */
499*38fd1498Szrj 
500*38fd1498Szrj static inline bitmap_element *
bitmap_find_bit(bitmap head,unsigned int bit)501*38fd1498Szrj bitmap_find_bit (bitmap head, unsigned int bit)
502*38fd1498Szrj {
503*38fd1498Szrj   bitmap_element *element;
504*38fd1498Szrj   unsigned int indx = bit / BITMAP_ELEMENT_ALL_BITS;
505*38fd1498Szrj 
506*38fd1498Szrj   if (head->current == NULL
507*38fd1498Szrj       || head->indx == indx)
508*38fd1498Szrj     return head->current;
509*38fd1498Szrj   if (head->current == head->first
510*38fd1498Szrj       && head->first->next == NULL)
511*38fd1498Szrj     return NULL;
512*38fd1498Szrj 
513*38fd1498Szrj   /* Usage can be NULL due to allocated bitmaps for which we do not
514*38fd1498Szrj      call initialize function.  */
515*38fd1498Szrj   bitmap_usage *usage = NULL;
516*38fd1498Szrj   if (GATHER_STATISTICS)
517*38fd1498Szrj     usage = bitmap_mem_desc.get_descriptor_for_instance (head);
518*38fd1498Szrj 
519*38fd1498Szrj   /* This bitmap has more than one element, and we're going to look
520*38fd1498Szrj      through the elements list.  Count that as a search.  */
521*38fd1498Szrj   if (GATHER_STATISTICS && usage)
522*38fd1498Szrj     usage->m_nsearches++;
523*38fd1498Szrj 
524*38fd1498Szrj   if (head->indx < indx)
525*38fd1498Szrj     /* INDX is beyond head->indx.  Search from head->current
526*38fd1498Szrj        forward.  */
527*38fd1498Szrj     for (element = head->current;
528*38fd1498Szrj 	 element->next != 0 && element->indx < indx;
529*38fd1498Szrj 	 element = element->next)
530*38fd1498Szrj       {
531*38fd1498Szrj 	if (GATHER_STATISTICS && usage)
532*38fd1498Szrj 	  usage->m_search_iter++;
533*38fd1498Szrj       }
534*38fd1498Szrj 
535*38fd1498Szrj   else if (head->indx / 2 < indx)
536*38fd1498Szrj     /* INDX is less than head->indx and closer to head->indx than to
537*38fd1498Szrj        0.  Search from head->current backward.  */
538*38fd1498Szrj     for (element = head->current;
539*38fd1498Szrj 	 element->prev != 0 && element->indx > indx;
540*38fd1498Szrj 	 element = element->prev)
541*38fd1498Szrj       {
542*38fd1498Szrj 	if (GATHER_STATISTICS && usage)
543*38fd1498Szrj 	  usage->m_search_iter++;
544*38fd1498Szrj       }
545*38fd1498Szrj 
546*38fd1498Szrj   else
547*38fd1498Szrj     /* INDX is less than head->indx and closer to 0 than to
548*38fd1498Szrj        head->indx.  Search from head->first forward.  */
549*38fd1498Szrj     for (element = head->first;
550*38fd1498Szrj 	 element->next != 0 && element->indx < indx;
551*38fd1498Szrj 	 element = element->next)
552*38fd1498Szrj       if (GATHER_STATISTICS && usage)
553*38fd1498Szrj 	{
554*38fd1498Szrj 	  usage->m_search_iter++;
555*38fd1498Szrj 	}
556*38fd1498Szrj 
557*38fd1498Szrj   /* `element' is the nearest to the one we want.  If it's not the one we
558*38fd1498Szrj      want, the one we want doesn't exist.  */
559*38fd1498Szrj   head->current = element;
560*38fd1498Szrj   head->indx = element->indx;
561*38fd1498Szrj   if (element->indx != indx)
562*38fd1498Szrj     element = 0;
563*38fd1498Szrj 
564*38fd1498Szrj   return element;
565*38fd1498Szrj }
566*38fd1498Szrj 
567*38fd1498Szrj /* Clear a single bit in a bitmap.  Return true if the bit changed.  */
568*38fd1498Szrj 
569*38fd1498Szrj bool
bitmap_clear_bit(bitmap head,int bit)570*38fd1498Szrj bitmap_clear_bit (bitmap head, int bit)
571*38fd1498Szrj {
572*38fd1498Szrj   bitmap_element *const ptr = bitmap_find_bit (head, bit);
573*38fd1498Szrj 
574*38fd1498Szrj   if (ptr != 0)
575*38fd1498Szrj     {
576*38fd1498Szrj       unsigned bit_num  = bit % BITMAP_WORD_BITS;
577*38fd1498Szrj       unsigned word_num = bit / BITMAP_WORD_BITS % BITMAP_ELEMENT_WORDS;
578*38fd1498Szrj       BITMAP_WORD bit_val = ((BITMAP_WORD) 1) << bit_num;
579*38fd1498Szrj       bool res = (ptr->bits[word_num] & bit_val) != 0;
580*38fd1498Szrj       if (res)
581*38fd1498Szrj 	{
582*38fd1498Szrj 	  ptr->bits[word_num] &= ~bit_val;
583*38fd1498Szrj 	  /* If we cleared the entire word, free up the element.  */
584*38fd1498Szrj 	  if (!ptr->bits[word_num]
585*38fd1498Szrj 	      && bitmap_element_zerop (ptr))
586*38fd1498Szrj 	    bitmap_element_free (head, ptr);
587*38fd1498Szrj 	}
588*38fd1498Szrj 
589*38fd1498Szrj       return res;
590*38fd1498Szrj     }
591*38fd1498Szrj 
592*38fd1498Szrj   return false;
593*38fd1498Szrj }
594*38fd1498Szrj 
595*38fd1498Szrj /* Set a single bit in a bitmap.  Return true if the bit changed.  */
596*38fd1498Szrj 
597*38fd1498Szrj bool
bitmap_set_bit(bitmap head,int bit)598*38fd1498Szrj bitmap_set_bit (bitmap head, int bit)
599*38fd1498Szrj {
600*38fd1498Szrj   bitmap_element *ptr = bitmap_find_bit (head, bit);
601*38fd1498Szrj   unsigned word_num = bit / BITMAP_WORD_BITS % BITMAP_ELEMENT_WORDS;
602*38fd1498Szrj   unsigned bit_num  = bit % BITMAP_WORD_BITS;
603*38fd1498Szrj   BITMAP_WORD bit_val = ((BITMAP_WORD) 1) << bit_num;
604*38fd1498Szrj 
605*38fd1498Szrj   if (ptr == 0)
606*38fd1498Szrj     {
607*38fd1498Szrj       ptr = bitmap_element_allocate (head);
608*38fd1498Szrj       ptr->indx = bit / BITMAP_ELEMENT_ALL_BITS;
609*38fd1498Szrj       ptr->bits[word_num] = bit_val;
610*38fd1498Szrj       bitmap_element_link (head, ptr);
611*38fd1498Szrj       return true;
612*38fd1498Szrj     }
613*38fd1498Szrj   else
614*38fd1498Szrj     {
615*38fd1498Szrj       bool res = (ptr->bits[word_num] & bit_val) == 0;
616*38fd1498Szrj       if (res)
617*38fd1498Szrj 	ptr->bits[word_num] |= bit_val;
618*38fd1498Szrj       return res;
619*38fd1498Szrj     }
620*38fd1498Szrj }
621*38fd1498Szrj 
622*38fd1498Szrj /* Return whether a bit is set within a bitmap.  */
623*38fd1498Szrj 
624*38fd1498Szrj int
bitmap_bit_p(bitmap head,int bit)625*38fd1498Szrj bitmap_bit_p (bitmap head, int bit)
626*38fd1498Szrj {
627*38fd1498Szrj   bitmap_element *ptr;
628*38fd1498Szrj   unsigned bit_num;
629*38fd1498Szrj   unsigned word_num;
630*38fd1498Szrj 
631*38fd1498Szrj   ptr = bitmap_find_bit (head, bit);
632*38fd1498Szrj   if (ptr == 0)
633*38fd1498Szrj     return 0;
634*38fd1498Szrj 
635*38fd1498Szrj   bit_num = bit % BITMAP_WORD_BITS;
636*38fd1498Szrj   word_num = bit / BITMAP_WORD_BITS % BITMAP_ELEMENT_WORDS;
637*38fd1498Szrj 
638*38fd1498Szrj   return (ptr->bits[word_num] >> bit_num) & 1;
639*38fd1498Szrj }
640*38fd1498Szrj 
641*38fd1498Szrj #if GCC_VERSION < 3400
642*38fd1498Szrj /* Table of number of set bits in a character, indexed by value of char.  */
643*38fd1498Szrj static const unsigned char popcount_table[] =
644*38fd1498Szrj {
645*38fd1498Szrj     0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
646*38fd1498Szrj     1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
647*38fd1498Szrj     1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
648*38fd1498Szrj     2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
649*38fd1498Szrj     1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
650*38fd1498Szrj     2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
651*38fd1498Szrj     2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
652*38fd1498Szrj     3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8,
653*38fd1498Szrj };
654*38fd1498Szrj 
655*38fd1498Szrj static unsigned long
bitmap_popcount(BITMAP_WORD a)656*38fd1498Szrj bitmap_popcount (BITMAP_WORD a)
657*38fd1498Szrj {
658*38fd1498Szrj   unsigned long ret = 0;
659*38fd1498Szrj   unsigned i;
660*38fd1498Szrj 
661*38fd1498Szrj   /* Just do this the table way for now  */
662*38fd1498Szrj   for (i = 0; i < BITMAP_WORD_BITS; i+= 8)
663*38fd1498Szrj     ret += popcount_table[(a >> i) & 0xff];
664*38fd1498Szrj   return ret;
665*38fd1498Szrj }
666*38fd1498Szrj #endif
667*38fd1498Szrj 
668*38fd1498Szrj /* Count and return the number of bits set in the bitmap word BITS.  */
669*38fd1498Szrj static unsigned long
bitmap_count_bits_in_word(const BITMAP_WORD * bits)670*38fd1498Szrj bitmap_count_bits_in_word (const BITMAP_WORD *bits)
671*38fd1498Szrj {
672*38fd1498Szrj   unsigned long count = 0;
673*38fd1498Szrj 
674*38fd1498Szrj   for (unsigned ix = 0; ix != BITMAP_ELEMENT_WORDS; ix++)
675*38fd1498Szrj     {
676*38fd1498Szrj #if GCC_VERSION >= 3400
677*38fd1498Szrj       /* Note that popcountl matches BITMAP_WORD in type, so the actual size
678*38fd1498Szrj 	 of BITMAP_WORD is not material.  */
679*38fd1498Szrj       count += __builtin_popcountl (bits[ix]);
680*38fd1498Szrj #else
681*38fd1498Szrj       count += bitmap_popcount (bits[ix]);
682*38fd1498Szrj #endif
683*38fd1498Szrj     }
684*38fd1498Szrj   return count;
685*38fd1498Szrj }
686*38fd1498Szrj 
687*38fd1498Szrj /* Count the number of bits set in the bitmap, and return it.  */
688*38fd1498Szrj 
689*38fd1498Szrj unsigned long
bitmap_count_bits(const_bitmap a)690*38fd1498Szrj bitmap_count_bits (const_bitmap a)
691*38fd1498Szrj {
692*38fd1498Szrj   unsigned long count = 0;
693*38fd1498Szrj   const bitmap_element *elt;
694*38fd1498Szrj 
695*38fd1498Szrj   for (elt = a->first; elt; elt = elt->next)
696*38fd1498Szrj     count += bitmap_count_bits_in_word (elt->bits);
697*38fd1498Szrj 
698*38fd1498Szrj   return count;
699*38fd1498Szrj }
700*38fd1498Szrj 
701*38fd1498Szrj /* Count the number of unique bits set in A and B and return it.  */
702*38fd1498Szrj 
703*38fd1498Szrj unsigned long
bitmap_count_unique_bits(const_bitmap a,const_bitmap b)704*38fd1498Szrj bitmap_count_unique_bits (const_bitmap a, const_bitmap b)
705*38fd1498Szrj {
706*38fd1498Szrj   unsigned long count = 0;
707*38fd1498Szrj   const bitmap_element *elt_a, *elt_b;
708*38fd1498Szrj 
709*38fd1498Szrj   for (elt_a = a->first, elt_b = b->first; elt_a && elt_b; )
710*38fd1498Szrj     {
711*38fd1498Szrj       /* If we're at different indices, then count all the bits
712*38fd1498Szrj 	 in the lower element.  If we're at the same index, then
713*38fd1498Szrj 	 count the bits in the IOR of the two elements.  */
714*38fd1498Szrj       if (elt_a->indx < elt_b->indx)
715*38fd1498Szrj 	{
716*38fd1498Szrj 	  count += bitmap_count_bits_in_word (elt_a->bits);
717*38fd1498Szrj 	  elt_a = elt_a->next;
718*38fd1498Szrj 	}
719*38fd1498Szrj       else if (elt_b->indx < elt_a->indx)
720*38fd1498Szrj 	{
721*38fd1498Szrj 	  count += bitmap_count_bits_in_word (elt_b->bits);
722*38fd1498Szrj 	  elt_b = elt_b->next;
723*38fd1498Szrj 	}
724*38fd1498Szrj       else
725*38fd1498Szrj 	{
726*38fd1498Szrj 	  BITMAP_WORD bits[BITMAP_ELEMENT_WORDS];
727*38fd1498Szrj 	  for (unsigned ix = 0; ix != BITMAP_ELEMENT_WORDS; ix++)
728*38fd1498Szrj 	    bits[ix] = elt_a->bits[ix] | elt_b->bits[ix];
729*38fd1498Szrj 	  count += bitmap_count_bits_in_word (bits);
730*38fd1498Szrj 	  elt_a = elt_a->next;
731*38fd1498Szrj 	  elt_b = elt_b->next;
732*38fd1498Szrj 	}
733*38fd1498Szrj     }
734*38fd1498Szrj   return count;
735*38fd1498Szrj }
736*38fd1498Szrj 
737*38fd1498Szrj /* Return true if the bitmap has a single bit set.  Otherwise return
738*38fd1498Szrj    false.  */
739*38fd1498Szrj 
740*38fd1498Szrj bool
bitmap_single_bit_set_p(const_bitmap a)741*38fd1498Szrj bitmap_single_bit_set_p (const_bitmap a)
742*38fd1498Szrj {
743*38fd1498Szrj   unsigned long count = 0;
744*38fd1498Szrj   const bitmap_element *elt;
745*38fd1498Szrj   unsigned ix;
746*38fd1498Szrj 
747*38fd1498Szrj   if (bitmap_empty_p (a))
748*38fd1498Szrj     return false;
749*38fd1498Szrj 
750*38fd1498Szrj   elt = a->first;
751*38fd1498Szrj   /* As there are no completely empty bitmap elements, a second one
752*38fd1498Szrj      means we have more than one bit set.  */
753*38fd1498Szrj   if (elt->next != NULL)
754*38fd1498Szrj     return false;
755*38fd1498Szrj 
756*38fd1498Szrj   for (ix = 0; ix != BITMAP_ELEMENT_WORDS; ix++)
757*38fd1498Szrj     {
758*38fd1498Szrj #if GCC_VERSION >= 3400
759*38fd1498Szrj       /* Note that popcountl matches BITMAP_WORD in type, so the actual size
760*38fd1498Szrj 	 of BITMAP_WORD is not material.  */
761*38fd1498Szrj       count += __builtin_popcountl (elt->bits[ix]);
762*38fd1498Szrj #else
763*38fd1498Szrj       count += bitmap_popcount (elt->bits[ix]);
764*38fd1498Szrj #endif
765*38fd1498Szrj       if (count > 1)
766*38fd1498Szrj 	return false;
767*38fd1498Szrj     }
768*38fd1498Szrj 
769*38fd1498Szrj   return count == 1;
770*38fd1498Szrj }
771*38fd1498Szrj 
772*38fd1498Szrj 
773*38fd1498Szrj /* Return the bit number of the first set bit in the bitmap.  The
774*38fd1498Szrj    bitmap must be non-empty.  */
775*38fd1498Szrj 
776*38fd1498Szrj unsigned
bitmap_first_set_bit(const_bitmap a)777*38fd1498Szrj bitmap_first_set_bit (const_bitmap a)
778*38fd1498Szrj {
779*38fd1498Szrj   const bitmap_element *elt = a->first;
780*38fd1498Szrj   unsigned bit_no;
781*38fd1498Szrj   BITMAP_WORD word;
782*38fd1498Szrj   unsigned ix;
783*38fd1498Szrj 
784*38fd1498Szrj   gcc_checking_assert (elt);
785*38fd1498Szrj   bit_no = elt->indx * BITMAP_ELEMENT_ALL_BITS;
786*38fd1498Szrj   for (ix = 0; ix != BITMAP_ELEMENT_WORDS; ix++)
787*38fd1498Szrj     {
788*38fd1498Szrj       word = elt->bits[ix];
789*38fd1498Szrj       if (word)
790*38fd1498Szrj 	goto found_bit;
791*38fd1498Szrj     }
792*38fd1498Szrj   gcc_unreachable ();
793*38fd1498Szrj  found_bit:
794*38fd1498Szrj   bit_no += ix * BITMAP_WORD_BITS;
795*38fd1498Szrj 
796*38fd1498Szrj #if GCC_VERSION >= 3004
797*38fd1498Szrj   gcc_assert (sizeof (long) == sizeof (word));
798*38fd1498Szrj   bit_no += __builtin_ctzl (word);
799*38fd1498Szrj #else
800*38fd1498Szrj   /* Binary search for the first set bit.  */
801*38fd1498Szrj #if BITMAP_WORD_BITS > 64
802*38fd1498Szrj #error "Fill out the table."
803*38fd1498Szrj #endif
804*38fd1498Szrj #if BITMAP_WORD_BITS > 32
805*38fd1498Szrj   if (!(word & 0xffffffff))
806*38fd1498Szrj     word >>= 32, bit_no += 32;
807*38fd1498Szrj #endif
808*38fd1498Szrj   if (!(word & 0xffff))
809*38fd1498Szrj     word >>= 16, bit_no += 16;
810*38fd1498Szrj   if (!(word & 0xff))
811*38fd1498Szrj     word >>= 8, bit_no += 8;
812*38fd1498Szrj   if (!(word & 0xf))
813*38fd1498Szrj     word >>= 4, bit_no += 4;
814*38fd1498Szrj   if (!(word & 0x3))
815*38fd1498Szrj     word >>= 2, bit_no += 2;
816*38fd1498Szrj   if (!(word & 0x1))
817*38fd1498Szrj     word >>= 1, bit_no += 1;
818*38fd1498Szrj 
819*38fd1498Szrj  gcc_checking_assert (word & 1);
820*38fd1498Szrj #endif
821*38fd1498Szrj  return bit_no;
822*38fd1498Szrj }
823*38fd1498Szrj 
824*38fd1498Szrj /* Return the bit number of the first set bit in the bitmap.  The
825*38fd1498Szrj    bitmap must be non-empty.  */
826*38fd1498Szrj 
827*38fd1498Szrj unsigned
bitmap_last_set_bit(const_bitmap a)828*38fd1498Szrj bitmap_last_set_bit (const_bitmap a)
829*38fd1498Szrj {
830*38fd1498Szrj   const bitmap_element *elt = a->current ? a->current : a->first;
831*38fd1498Szrj   unsigned bit_no;
832*38fd1498Szrj   BITMAP_WORD word;
833*38fd1498Szrj   int ix;
834*38fd1498Szrj 
835*38fd1498Szrj   gcc_checking_assert (elt);
836*38fd1498Szrj   while (elt->next)
837*38fd1498Szrj     elt = elt->next;
838*38fd1498Szrj   bit_no = elt->indx * BITMAP_ELEMENT_ALL_BITS;
839*38fd1498Szrj   for (ix = BITMAP_ELEMENT_WORDS - 1; ix >= 0; ix--)
840*38fd1498Szrj     {
841*38fd1498Szrj       word = elt->bits[ix];
842*38fd1498Szrj       if (word)
843*38fd1498Szrj 	goto found_bit;
844*38fd1498Szrj     }
845*38fd1498Szrj   gcc_unreachable ();
846*38fd1498Szrj  found_bit:
847*38fd1498Szrj   bit_no += ix * BITMAP_WORD_BITS;
848*38fd1498Szrj #if GCC_VERSION >= 3004
849*38fd1498Szrj   gcc_assert (sizeof (long) == sizeof (word));
850*38fd1498Szrj   bit_no += BITMAP_WORD_BITS - __builtin_clzl (word) - 1;
851*38fd1498Szrj #else
852*38fd1498Szrj   /* Hopefully this is a twos-complement host...  */
853*38fd1498Szrj   BITMAP_WORD x = word;
854*38fd1498Szrj   x |= (x >> 1);
855*38fd1498Szrj   x |= (x >> 2);
856*38fd1498Szrj   x |= (x >> 4);
857*38fd1498Szrj   x |= (x >> 8);
858*38fd1498Szrj   x |= (x >> 16);
859*38fd1498Szrj #if BITMAP_WORD_BITS > 32
860*38fd1498Szrj   x |= (x >> 32);
861*38fd1498Szrj #endif
862*38fd1498Szrj   bit_no += bitmap_popcount (x) - 1;
863*38fd1498Szrj #endif
864*38fd1498Szrj 
865*38fd1498Szrj   return bit_no;
866*38fd1498Szrj }
867*38fd1498Szrj 
868*38fd1498Szrj 
869*38fd1498Szrj /* DST = A & B.  */
870*38fd1498Szrj 
871*38fd1498Szrj void
bitmap_and(bitmap dst,const_bitmap a,const_bitmap b)872*38fd1498Szrj bitmap_and (bitmap dst, const_bitmap a, const_bitmap b)
873*38fd1498Szrj {
874*38fd1498Szrj   bitmap_element *dst_elt = dst->first;
875*38fd1498Szrj   const bitmap_element *a_elt = a->first;
876*38fd1498Szrj   const bitmap_element *b_elt = b->first;
877*38fd1498Szrj   bitmap_element *dst_prev = NULL;
878*38fd1498Szrj 
879*38fd1498Szrj   gcc_assert (dst != a && dst != b);
880*38fd1498Szrj 
881*38fd1498Szrj   if (a == b)
882*38fd1498Szrj     {
883*38fd1498Szrj       bitmap_copy (dst, a);
884*38fd1498Szrj       return;
885*38fd1498Szrj     }
886*38fd1498Szrj 
887*38fd1498Szrj   while (a_elt && b_elt)
888*38fd1498Szrj     {
889*38fd1498Szrj       if (a_elt->indx < b_elt->indx)
890*38fd1498Szrj 	a_elt = a_elt->next;
891*38fd1498Szrj       else if (b_elt->indx < a_elt->indx)
892*38fd1498Szrj 	b_elt = b_elt->next;
893*38fd1498Szrj       else
894*38fd1498Szrj 	{
895*38fd1498Szrj 	  /* Matching elts, generate A & B.  */
896*38fd1498Szrj 	  unsigned ix;
897*38fd1498Szrj 	  BITMAP_WORD ior = 0;
898*38fd1498Szrj 
899*38fd1498Szrj 	  if (!dst_elt)
900*38fd1498Szrj 	    dst_elt = bitmap_elt_insert_after (dst, dst_prev, a_elt->indx);
901*38fd1498Szrj 	  else
902*38fd1498Szrj 	    dst_elt->indx = a_elt->indx;
903*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
904*38fd1498Szrj 	    {
905*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] & b_elt->bits[ix];
906*38fd1498Szrj 
907*38fd1498Szrj 	      dst_elt->bits[ix] = r;
908*38fd1498Szrj 	      ior |= r;
909*38fd1498Szrj 	    }
910*38fd1498Szrj 	  if (ior)
911*38fd1498Szrj 	    {
912*38fd1498Szrj 	      dst_prev = dst_elt;
913*38fd1498Szrj 	      dst_elt = dst_elt->next;
914*38fd1498Szrj 	    }
915*38fd1498Szrj 	  a_elt = a_elt->next;
916*38fd1498Szrj 	  b_elt = b_elt->next;
917*38fd1498Szrj 	}
918*38fd1498Szrj     }
919*38fd1498Szrj   /* Ensure that dst->current is valid.  */
920*38fd1498Szrj   dst->current = dst->first;
921*38fd1498Szrj   bitmap_elt_clear_from (dst, dst_elt);
922*38fd1498Szrj   gcc_checking_assert (!dst->current == !dst->first);
923*38fd1498Szrj   if (dst->current)
924*38fd1498Szrj     dst->indx = dst->current->indx;
925*38fd1498Szrj }
926*38fd1498Szrj 
927*38fd1498Szrj /* A &= B.  Return true if A changed.  */
928*38fd1498Szrj 
929*38fd1498Szrj bool
bitmap_and_into(bitmap a,const_bitmap b)930*38fd1498Szrj bitmap_and_into (bitmap a, const_bitmap b)
931*38fd1498Szrj {
932*38fd1498Szrj   bitmap_element *a_elt = a->first;
933*38fd1498Szrj   const bitmap_element *b_elt = b->first;
934*38fd1498Szrj   bitmap_element *next;
935*38fd1498Szrj   bool changed = false;
936*38fd1498Szrj 
937*38fd1498Szrj   if (a == b)
938*38fd1498Szrj     return false;
939*38fd1498Szrj 
940*38fd1498Szrj   while (a_elt && b_elt)
941*38fd1498Szrj     {
942*38fd1498Szrj       if (a_elt->indx < b_elt->indx)
943*38fd1498Szrj 	{
944*38fd1498Szrj 	  next = a_elt->next;
945*38fd1498Szrj 	  bitmap_element_free (a, a_elt);
946*38fd1498Szrj 	  a_elt = next;
947*38fd1498Szrj 	  changed = true;
948*38fd1498Szrj 	}
949*38fd1498Szrj       else if (b_elt->indx < a_elt->indx)
950*38fd1498Szrj 	b_elt = b_elt->next;
951*38fd1498Szrj       else
952*38fd1498Szrj 	{
953*38fd1498Szrj 	  /* Matching elts, generate A &= B.  */
954*38fd1498Szrj 	  unsigned ix;
955*38fd1498Szrj 	  BITMAP_WORD ior = 0;
956*38fd1498Szrj 
957*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
958*38fd1498Szrj 	    {
959*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] & b_elt->bits[ix];
960*38fd1498Szrj 	      if (a_elt->bits[ix] != r)
961*38fd1498Szrj 		changed = true;
962*38fd1498Szrj 	      a_elt->bits[ix] = r;
963*38fd1498Szrj 	      ior |= r;
964*38fd1498Szrj 	    }
965*38fd1498Szrj 	  next = a_elt->next;
966*38fd1498Szrj 	  if (!ior)
967*38fd1498Szrj 	    bitmap_element_free (a, a_elt);
968*38fd1498Szrj 	  a_elt = next;
969*38fd1498Szrj 	  b_elt = b_elt->next;
970*38fd1498Szrj 	}
971*38fd1498Szrj     }
972*38fd1498Szrj 
973*38fd1498Szrj   if (a_elt)
974*38fd1498Szrj     {
975*38fd1498Szrj       changed = true;
976*38fd1498Szrj       bitmap_elt_clear_from (a, a_elt);
977*38fd1498Szrj     }
978*38fd1498Szrj 
979*38fd1498Szrj   gcc_checking_assert (!a->current == !a->first
980*38fd1498Szrj 		       && (!a->current || a->indx == a->current->indx));
981*38fd1498Szrj 
982*38fd1498Szrj   return changed;
983*38fd1498Szrj }
984*38fd1498Szrj 
985*38fd1498Szrj 
986*38fd1498Szrj /* Insert an element equal to SRC_ELT after DST_PREV, overwriting DST_ELT
987*38fd1498Szrj    if non-NULL.  CHANGED is true if the destination bitmap had already been
988*38fd1498Szrj    changed; the new value of CHANGED is returned.  */
989*38fd1498Szrj 
990*38fd1498Szrj static inline bool
bitmap_elt_copy(bitmap dst,bitmap_element * dst_elt,bitmap_element * dst_prev,const bitmap_element * src_elt,bool changed)991*38fd1498Szrj bitmap_elt_copy (bitmap dst, bitmap_element *dst_elt, bitmap_element *dst_prev,
992*38fd1498Szrj 		 const bitmap_element *src_elt, bool changed)
993*38fd1498Szrj {
994*38fd1498Szrj   if (!changed && dst_elt && dst_elt->indx == src_elt->indx)
995*38fd1498Szrj     {
996*38fd1498Szrj       unsigned ix;
997*38fd1498Szrj 
998*38fd1498Szrj       for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
999*38fd1498Szrj 	if (src_elt->bits[ix] != dst_elt->bits[ix])
1000*38fd1498Szrj 	  {
1001*38fd1498Szrj 	    dst_elt->bits[ix] = src_elt->bits[ix];
1002*38fd1498Szrj 	    changed = true;
1003*38fd1498Szrj 	  }
1004*38fd1498Szrj     }
1005*38fd1498Szrj   else
1006*38fd1498Szrj     {
1007*38fd1498Szrj       changed = true;
1008*38fd1498Szrj       if (!dst_elt)
1009*38fd1498Szrj 	dst_elt = bitmap_elt_insert_after (dst, dst_prev, src_elt->indx);
1010*38fd1498Szrj       else
1011*38fd1498Szrj 	dst_elt->indx = src_elt->indx;
1012*38fd1498Szrj       memcpy (dst_elt->bits, src_elt->bits, sizeof (dst_elt->bits));
1013*38fd1498Szrj     }
1014*38fd1498Szrj   return changed;
1015*38fd1498Szrj }
1016*38fd1498Szrj 
1017*38fd1498Szrj 
1018*38fd1498Szrj 
1019*38fd1498Szrj /* DST = A & ~B  */
1020*38fd1498Szrj 
1021*38fd1498Szrj bool
bitmap_and_compl(bitmap dst,const_bitmap a,const_bitmap b)1022*38fd1498Szrj bitmap_and_compl (bitmap dst, const_bitmap a, const_bitmap b)
1023*38fd1498Szrj {
1024*38fd1498Szrj   bitmap_element *dst_elt = dst->first;
1025*38fd1498Szrj   const bitmap_element *a_elt = a->first;
1026*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1027*38fd1498Szrj   bitmap_element *dst_prev = NULL;
1028*38fd1498Szrj   bitmap_element **dst_prev_pnext = &dst->first;
1029*38fd1498Szrj   bool changed = false;
1030*38fd1498Szrj 
1031*38fd1498Szrj   gcc_assert (dst != a && dst != b);
1032*38fd1498Szrj 
1033*38fd1498Szrj   if (a == b)
1034*38fd1498Szrj     {
1035*38fd1498Szrj       changed = !bitmap_empty_p (dst);
1036*38fd1498Szrj       bitmap_clear (dst);
1037*38fd1498Szrj       return changed;
1038*38fd1498Szrj     }
1039*38fd1498Szrj 
1040*38fd1498Szrj   while (a_elt)
1041*38fd1498Szrj     {
1042*38fd1498Szrj       while (b_elt && b_elt->indx < a_elt->indx)
1043*38fd1498Szrj 	b_elt = b_elt->next;
1044*38fd1498Szrj 
1045*38fd1498Szrj       if (!b_elt || b_elt->indx > a_elt->indx)
1046*38fd1498Szrj 	{
1047*38fd1498Szrj 	  changed = bitmap_elt_copy (dst, dst_elt, dst_prev, a_elt, changed);
1048*38fd1498Szrj 	  dst_prev = *dst_prev_pnext;
1049*38fd1498Szrj 	  dst_prev_pnext = &dst_prev->next;
1050*38fd1498Szrj 	  dst_elt = *dst_prev_pnext;
1051*38fd1498Szrj 	  a_elt = a_elt->next;
1052*38fd1498Szrj 	}
1053*38fd1498Szrj 
1054*38fd1498Szrj       else
1055*38fd1498Szrj 	{
1056*38fd1498Szrj 	  /* Matching elts, generate A & ~B.  */
1057*38fd1498Szrj 	  unsigned ix;
1058*38fd1498Szrj 	  BITMAP_WORD ior = 0;
1059*38fd1498Szrj 
1060*38fd1498Szrj 	  if (!changed && dst_elt && dst_elt->indx == a_elt->indx)
1061*38fd1498Szrj 	    {
1062*38fd1498Szrj 	      for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1063*38fd1498Szrj 		{
1064*38fd1498Szrj 		  BITMAP_WORD r = a_elt->bits[ix] & ~b_elt->bits[ix];
1065*38fd1498Szrj 
1066*38fd1498Szrj 		  if (dst_elt->bits[ix] != r)
1067*38fd1498Szrj 		    {
1068*38fd1498Szrj 		      changed = true;
1069*38fd1498Szrj 		      dst_elt->bits[ix] = r;
1070*38fd1498Szrj 		    }
1071*38fd1498Szrj 		  ior |= r;
1072*38fd1498Szrj 		}
1073*38fd1498Szrj 	    }
1074*38fd1498Szrj 	  else
1075*38fd1498Szrj 	    {
1076*38fd1498Szrj 	      bool new_element;
1077*38fd1498Szrj 	      if (!dst_elt || dst_elt->indx > a_elt->indx)
1078*38fd1498Szrj 		{
1079*38fd1498Szrj 		  dst_elt = bitmap_elt_insert_after (dst, dst_prev, a_elt->indx);
1080*38fd1498Szrj 		  new_element = true;
1081*38fd1498Szrj 		}
1082*38fd1498Szrj 	      else
1083*38fd1498Szrj 		{
1084*38fd1498Szrj 		  dst_elt->indx = a_elt->indx;
1085*38fd1498Szrj 		  new_element = false;
1086*38fd1498Szrj 		}
1087*38fd1498Szrj 
1088*38fd1498Szrj 	      for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1089*38fd1498Szrj 		{
1090*38fd1498Szrj 		  BITMAP_WORD r = a_elt->bits[ix] & ~b_elt->bits[ix];
1091*38fd1498Szrj 
1092*38fd1498Szrj 		  dst_elt->bits[ix] = r;
1093*38fd1498Szrj 		  ior |= r;
1094*38fd1498Szrj 		}
1095*38fd1498Szrj 
1096*38fd1498Szrj 	      if (ior)
1097*38fd1498Szrj 	        changed = true;
1098*38fd1498Szrj 	      else
1099*38fd1498Szrj 	        {
1100*38fd1498Szrj 	          changed |= !new_element;
1101*38fd1498Szrj 		  bitmap_element_free (dst, dst_elt);
1102*38fd1498Szrj 		  dst_elt = *dst_prev_pnext;
1103*38fd1498Szrj 		}
1104*38fd1498Szrj 	    }
1105*38fd1498Szrj 
1106*38fd1498Szrj 	  if (ior)
1107*38fd1498Szrj 	    {
1108*38fd1498Szrj 	      dst_prev = *dst_prev_pnext;
1109*38fd1498Szrj 	      dst_prev_pnext = &dst_prev->next;
1110*38fd1498Szrj 	      dst_elt = *dst_prev_pnext;
1111*38fd1498Szrj 	    }
1112*38fd1498Szrj 	  a_elt = a_elt->next;
1113*38fd1498Szrj 	  b_elt = b_elt->next;
1114*38fd1498Szrj 	}
1115*38fd1498Szrj     }
1116*38fd1498Szrj 
1117*38fd1498Szrj   /* Ensure that dst->current is valid.  */
1118*38fd1498Szrj   dst->current = dst->first;
1119*38fd1498Szrj 
1120*38fd1498Szrj   if (dst_elt)
1121*38fd1498Szrj     {
1122*38fd1498Szrj       changed = true;
1123*38fd1498Szrj       bitmap_elt_clear_from (dst, dst_elt);
1124*38fd1498Szrj     }
1125*38fd1498Szrj   gcc_checking_assert (!dst->current == !dst->first);
1126*38fd1498Szrj   if (dst->current)
1127*38fd1498Szrj     dst->indx = dst->current->indx;
1128*38fd1498Szrj 
1129*38fd1498Szrj   return changed;
1130*38fd1498Szrj }
1131*38fd1498Szrj 
1132*38fd1498Szrj /* A &= ~B. Returns true if A changes */
1133*38fd1498Szrj 
1134*38fd1498Szrj bool
bitmap_and_compl_into(bitmap a,const_bitmap b)1135*38fd1498Szrj bitmap_and_compl_into (bitmap a, const_bitmap b)
1136*38fd1498Szrj {
1137*38fd1498Szrj   bitmap_element *a_elt = a->first;
1138*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1139*38fd1498Szrj   bitmap_element *next;
1140*38fd1498Szrj   BITMAP_WORD changed = 0;
1141*38fd1498Szrj 
1142*38fd1498Szrj   if (a == b)
1143*38fd1498Szrj     {
1144*38fd1498Szrj       if (bitmap_empty_p (a))
1145*38fd1498Szrj 	return false;
1146*38fd1498Szrj       else
1147*38fd1498Szrj 	{
1148*38fd1498Szrj 	  bitmap_clear (a);
1149*38fd1498Szrj 	  return true;
1150*38fd1498Szrj 	}
1151*38fd1498Szrj     }
1152*38fd1498Szrj 
1153*38fd1498Szrj   while (a_elt && b_elt)
1154*38fd1498Szrj     {
1155*38fd1498Szrj       if (a_elt->indx < b_elt->indx)
1156*38fd1498Szrj 	a_elt = a_elt->next;
1157*38fd1498Szrj       else if (b_elt->indx < a_elt->indx)
1158*38fd1498Szrj 	b_elt = b_elt->next;
1159*38fd1498Szrj       else
1160*38fd1498Szrj 	{
1161*38fd1498Szrj 	  /* Matching elts, generate A &= ~B.  */
1162*38fd1498Szrj 	  unsigned ix;
1163*38fd1498Szrj 	  BITMAP_WORD ior = 0;
1164*38fd1498Szrj 
1165*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1166*38fd1498Szrj 	    {
1167*38fd1498Szrj 	      BITMAP_WORD cleared = a_elt->bits[ix] & b_elt->bits[ix];
1168*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] ^ cleared;
1169*38fd1498Szrj 
1170*38fd1498Szrj 	      a_elt->bits[ix] = r;
1171*38fd1498Szrj 	      changed |= cleared;
1172*38fd1498Szrj 	      ior |= r;
1173*38fd1498Szrj 	    }
1174*38fd1498Szrj 	  next = a_elt->next;
1175*38fd1498Szrj 	  if (!ior)
1176*38fd1498Szrj 	    bitmap_element_free (a, a_elt);
1177*38fd1498Szrj 	  a_elt = next;
1178*38fd1498Szrj 	  b_elt = b_elt->next;
1179*38fd1498Szrj 	}
1180*38fd1498Szrj     }
1181*38fd1498Szrj   gcc_checking_assert (!a->current == !a->first
1182*38fd1498Szrj 		       && (!a->current || a->indx == a->current->indx));
1183*38fd1498Szrj   return changed != 0;
1184*38fd1498Szrj }
1185*38fd1498Szrj 
1186*38fd1498Szrj /* Set COUNT bits from START in HEAD.  */
1187*38fd1498Szrj void
bitmap_set_range(bitmap head,unsigned int start,unsigned int count)1188*38fd1498Szrj bitmap_set_range (bitmap head, unsigned int start, unsigned int count)
1189*38fd1498Szrj {
1190*38fd1498Szrj   unsigned int first_index, end_bit_plus1, last_index;
1191*38fd1498Szrj   bitmap_element *elt, *elt_prev;
1192*38fd1498Szrj   unsigned int i;
1193*38fd1498Szrj 
1194*38fd1498Szrj   if (!count)
1195*38fd1498Szrj     return;
1196*38fd1498Szrj 
1197*38fd1498Szrj   if (count == 1)
1198*38fd1498Szrj     {
1199*38fd1498Szrj       bitmap_set_bit (head, start);
1200*38fd1498Szrj       return;
1201*38fd1498Szrj     }
1202*38fd1498Szrj 
1203*38fd1498Szrj   first_index = start / BITMAP_ELEMENT_ALL_BITS;
1204*38fd1498Szrj   end_bit_plus1 = start + count;
1205*38fd1498Szrj   last_index = (end_bit_plus1 - 1) / BITMAP_ELEMENT_ALL_BITS;
1206*38fd1498Szrj   elt = bitmap_find_bit (head, start);
1207*38fd1498Szrj 
1208*38fd1498Szrj   /* If bitmap_find_bit returns zero, the current is the closest block
1209*38fd1498Szrj      to the result.  Otherwise, just use bitmap_element_allocate to
1210*38fd1498Szrj      ensure ELT is set; in the loop below, ELT == NULL means "insert
1211*38fd1498Szrj      at the end of the bitmap".  */
1212*38fd1498Szrj   if (!elt)
1213*38fd1498Szrj     {
1214*38fd1498Szrj       elt = bitmap_element_allocate (head);
1215*38fd1498Szrj       elt->indx = first_index;
1216*38fd1498Szrj       bitmap_element_link (head, elt);
1217*38fd1498Szrj     }
1218*38fd1498Szrj 
1219*38fd1498Szrj   gcc_checking_assert (elt->indx == first_index);
1220*38fd1498Szrj   elt_prev = elt->prev;
1221*38fd1498Szrj   for (i = first_index; i <= last_index; i++)
1222*38fd1498Szrj     {
1223*38fd1498Szrj       unsigned elt_start_bit = i * BITMAP_ELEMENT_ALL_BITS;
1224*38fd1498Szrj       unsigned elt_end_bit_plus1 = elt_start_bit + BITMAP_ELEMENT_ALL_BITS;
1225*38fd1498Szrj 
1226*38fd1498Szrj       unsigned int first_word_to_mod;
1227*38fd1498Szrj       BITMAP_WORD first_mask;
1228*38fd1498Szrj       unsigned int last_word_to_mod;
1229*38fd1498Szrj       BITMAP_WORD last_mask;
1230*38fd1498Szrj       unsigned int ix;
1231*38fd1498Szrj 
1232*38fd1498Szrj       if (!elt || elt->indx != i)
1233*38fd1498Szrj 	elt = bitmap_elt_insert_after (head, elt_prev, i);
1234*38fd1498Szrj 
1235*38fd1498Szrj       if (elt_start_bit <= start)
1236*38fd1498Szrj 	{
1237*38fd1498Szrj 	  /* The first bit to turn on is somewhere inside this
1238*38fd1498Szrj 	     elt.  */
1239*38fd1498Szrj 	  first_word_to_mod = (start - elt_start_bit) / BITMAP_WORD_BITS;
1240*38fd1498Szrj 
1241*38fd1498Szrj 	  /* This mask should have 1s in all bits >= start position. */
1242*38fd1498Szrj 	  first_mask =
1243*38fd1498Szrj 	    (((BITMAP_WORD) 1) << ((start % BITMAP_WORD_BITS))) - 1;
1244*38fd1498Szrj 	  first_mask = ~first_mask;
1245*38fd1498Szrj 	}
1246*38fd1498Szrj       else
1247*38fd1498Szrj 	{
1248*38fd1498Szrj 	  /* The first bit to turn on is below this start of this elt.  */
1249*38fd1498Szrj 	  first_word_to_mod = 0;
1250*38fd1498Szrj 	  first_mask = ~(BITMAP_WORD) 0;
1251*38fd1498Szrj 	}
1252*38fd1498Szrj 
1253*38fd1498Szrj       if (elt_end_bit_plus1 <= end_bit_plus1)
1254*38fd1498Szrj 	{
1255*38fd1498Szrj 	  /* The last bit to turn on is beyond this elt.  */
1256*38fd1498Szrj 	  last_word_to_mod = BITMAP_ELEMENT_WORDS - 1;
1257*38fd1498Szrj 	  last_mask = ~(BITMAP_WORD) 0;
1258*38fd1498Szrj 	}
1259*38fd1498Szrj       else
1260*38fd1498Szrj 	{
1261*38fd1498Szrj 	  /* The last bit to turn on is inside to this elt.  */
1262*38fd1498Szrj 	  last_word_to_mod =
1263*38fd1498Szrj 	    (end_bit_plus1 - elt_start_bit) / BITMAP_WORD_BITS;
1264*38fd1498Szrj 
1265*38fd1498Szrj 	  /* The last mask should have 1s below the end bit.  */
1266*38fd1498Szrj 	  last_mask =
1267*38fd1498Szrj 	    (((BITMAP_WORD) 1) << ((end_bit_plus1 % BITMAP_WORD_BITS))) - 1;
1268*38fd1498Szrj 	}
1269*38fd1498Szrj 
1270*38fd1498Szrj       if (first_word_to_mod == last_word_to_mod)
1271*38fd1498Szrj 	{
1272*38fd1498Szrj 	  BITMAP_WORD mask = first_mask & last_mask;
1273*38fd1498Szrj 	  elt->bits[first_word_to_mod] |= mask;
1274*38fd1498Szrj 	}
1275*38fd1498Szrj       else
1276*38fd1498Szrj 	{
1277*38fd1498Szrj 	  elt->bits[first_word_to_mod] |= first_mask;
1278*38fd1498Szrj 	  if (BITMAP_ELEMENT_WORDS > 2)
1279*38fd1498Szrj 	    for (ix = first_word_to_mod + 1; ix < last_word_to_mod; ix++)
1280*38fd1498Szrj 	      elt->bits[ix] = ~(BITMAP_WORD) 0;
1281*38fd1498Szrj 	  elt->bits[last_word_to_mod] |= last_mask;
1282*38fd1498Szrj 	}
1283*38fd1498Szrj 
1284*38fd1498Szrj       elt_prev = elt;
1285*38fd1498Szrj       elt = elt->next;
1286*38fd1498Szrj     }
1287*38fd1498Szrj 
1288*38fd1498Szrj   head->current = elt ? elt : elt_prev;
1289*38fd1498Szrj   head->indx = head->current->indx;
1290*38fd1498Szrj }
1291*38fd1498Szrj 
1292*38fd1498Szrj /* Clear COUNT bits from START in HEAD.  */
1293*38fd1498Szrj void
bitmap_clear_range(bitmap head,unsigned int start,unsigned int count)1294*38fd1498Szrj bitmap_clear_range (bitmap head, unsigned int start, unsigned int count)
1295*38fd1498Szrj {
1296*38fd1498Szrj   unsigned int first_index, end_bit_plus1, last_index;
1297*38fd1498Szrj   bitmap_element *elt;
1298*38fd1498Szrj 
1299*38fd1498Szrj   if (!count)
1300*38fd1498Szrj     return;
1301*38fd1498Szrj 
1302*38fd1498Szrj   if (count == 1)
1303*38fd1498Szrj     {
1304*38fd1498Szrj       bitmap_clear_bit (head, start);
1305*38fd1498Szrj       return;
1306*38fd1498Szrj     }
1307*38fd1498Szrj 
1308*38fd1498Szrj   first_index = start / BITMAP_ELEMENT_ALL_BITS;
1309*38fd1498Szrj   end_bit_plus1 = start + count;
1310*38fd1498Szrj   last_index = (end_bit_plus1 - 1) / BITMAP_ELEMENT_ALL_BITS;
1311*38fd1498Szrj   elt = bitmap_find_bit (head, start);
1312*38fd1498Szrj 
1313*38fd1498Szrj   /* If bitmap_find_bit returns zero, the current is the closest block
1314*38fd1498Szrj      to the result.  If the current is less than first index, find the
1315*38fd1498Szrj      next one.  Otherwise, just set elt to be current.  */
1316*38fd1498Szrj   if (!elt)
1317*38fd1498Szrj     {
1318*38fd1498Szrj       if (head->current)
1319*38fd1498Szrj 	{
1320*38fd1498Szrj 	  if (head->indx < first_index)
1321*38fd1498Szrj 	    {
1322*38fd1498Szrj 	      elt = head->current->next;
1323*38fd1498Szrj 	      if (!elt)
1324*38fd1498Szrj 		return;
1325*38fd1498Szrj 	    }
1326*38fd1498Szrj 	  else
1327*38fd1498Szrj 	    elt = head->current;
1328*38fd1498Szrj 	}
1329*38fd1498Szrj       else
1330*38fd1498Szrj 	return;
1331*38fd1498Szrj     }
1332*38fd1498Szrj 
1333*38fd1498Szrj   while (elt && (elt->indx <= last_index))
1334*38fd1498Szrj     {
1335*38fd1498Szrj       bitmap_element * next_elt = elt->next;
1336*38fd1498Szrj       unsigned elt_start_bit = (elt->indx) * BITMAP_ELEMENT_ALL_BITS;
1337*38fd1498Szrj       unsigned elt_end_bit_plus1 = elt_start_bit + BITMAP_ELEMENT_ALL_BITS;
1338*38fd1498Szrj 
1339*38fd1498Szrj 
1340*38fd1498Szrj       if (elt_start_bit >= start && elt_end_bit_plus1 <= end_bit_plus1)
1341*38fd1498Szrj 	/* Get rid of the entire elt and go to the next one.  */
1342*38fd1498Szrj 	bitmap_element_free (head, elt);
1343*38fd1498Szrj       else
1344*38fd1498Szrj 	{
1345*38fd1498Szrj 	  /* Going to have to knock out some bits in this elt.  */
1346*38fd1498Szrj 	  unsigned int first_word_to_mod;
1347*38fd1498Szrj 	  BITMAP_WORD first_mask;
1348*38fd1498Szrj 	  unsigned int last_word_to_mod;
1349*38fd1498Szrj 	  BITMAP_WORD last_mask;
1350*38fd1498Szrj 	  unsigned int i;
1351*38fd1498Szrj 	  bool clear = true;
1352*38fd1498Szrj 
1353*38fd1498Szrj 	  if (elt_start_bit <= start)
1354*38fd1498Szrj 	    {
1355*38fd1498Szrj 	      /* The first bit to turn off is somewhere inside this
1356*38fd1498Szrj 		 elt.  */
1357*38fd1498Szrj 	      first_word_to_mod = (start - elt_start_bit) / BITMAP_WORD_BITS;
1358*38fd1498Szrj 
1359*38fd1498Szrj 	      /* This mask should have 1s in all bits >= start position. */
1360*38fd1498Szrj 	      first_mask =
1361*38fd1498Szrj 		(((BITMAP_WORD) 1) << ((start % BITMAP_WORD_BITS))) - 1;
1362*38fd1498Szrj 	      first_mask = ~first_mask;
1363*38fd1498Szrj 	    }
1364*38fd1498Szrj 	  else
1365*38fd1498Szrj 	    {
1366*38fd1498Szrj 	      /* The first bit to turn off is below this start of this elt.  */
1367*38fd1498Szrj 	      first_word_to_mod = 0;
1368*38fd1498Szrj 	      first_mask = 0;
1369*38fd1498Szrj 	      first_mask = ~first_mask;
1370*38fd1498Szrj 	    }
1371*38fd1498Szrj 
1372*38fd1498Szrj 	  if (elt_end_bit_plus1 <= end_bit_plus1)
1373*38fd1498Szrj 	    {
1374*38fd1498Szrj 	      /* The last bit to turn off is beyond this elt.  */
1375*38fd1498Szrj 	      last_word_to_mod = BITMAP_ELEMENT_WORDS - 1;
1376*38fd1498Szrj 	      last_mask = 0;
1377*38fd1498Szrj 	      last_mask = ~last_mask;
1378*38fd1498Szrj 	    }
1379*38fd1498Szrj 	  else
1380*38fd1498Szrj 	    {
1381*38fd1498Szrj 	      /* The last bit to turn off is inside to this elt.  */
1382*38fd1498Szrj 	      last_word_to_mod =
1383*38fd1498Szrj 		(end_bit_plus1 - elt_start_bit) / BITMAP_WORD_BITS;
1384*38fd1498Szrj 
1385*38fd1498Szrj 	      /* The last mask should have 1s below the end bit.  */
1386*38fd1498Szrj 	      last_mask =
1387*38fd1498Szrj 		(((BITMAP_WORD) 1) << (((end_bit_plus1) % BITMAP_WORD_BITS))) - 1;
1388*38fd1498Szrj 	    }
1389*38fd1498Szrj 
1390*38fd1498Szrj 
1391*38fd1498Szrj 	  if (first_word_to_mod == last_word_to_mod)
1392*38fd1498Szrj 	    {
1393*38fd1498Szrj 	      BITMAP_WORD mask = first_mask & last_mask;
1394*38fd1498Szrj 	      elt->bits[first_word_to_mod] &= ~mask;
1395*38fd1498Szrj 	    }
1396*38fd1498Szrj 	  else
1397*38fd1498Szrj 	    {
1398*38fd1498Szrj 	      elt->bits[first_word_to_mod] &= ~first_mask;
1399*38fd1498Szrj 	      if (BITMAP_ELEMENT_WORDS > 2)
1400*38fd1498Szrj 	        for (i = first_word_to_mod + 1; i < last_word_to_mod; i++)
1401*38fd1498Szrj 		  elt->bits[i] = 0;
1402*38fd1498Szrj 	      elt->bits[last_word_to_mod] &= ~last_mask;
1403*38fd1498Szrj 	    }
1404*38fd1498Szrj 	  for (i = 0; i < BITMAP_ELEMENT_WORDS; i++)
1405*38fd1498Szrj 	    if (elt->bits[i])
1406*38fd1498Szrj 	      {
1407*38fd1498Szrj 		clear = false;
1408*38fd1498Szrj 		break;
1409*38fd1498Szrj 	      }
1410*38fd1498Szrj 	  /* Check to see if there are any bits left.  */
1411*38fd1498Szrj 	  if (clear)
1412*38fd1498Szrj 	    bitmap_element_free (head, elt);
1413*38fd1498Szrj 	}
1414*38fd1498Szrj       elt = next_elt;
1415*38fd1498Szrj     }
1416*38fd1498Szrj 
1417*38fd1498Szrj   if (elt)
1418*38fd1498Szrj     {
1419*38fd1498Szrj       head->current = elt;
1420*38fd1498Szrj       head->indx = head->current->indx;
1421*38fd1498Szrj     }
1422*38fd1498Szrj }
1423*38fd1498Szrj 
1424*38fd1498Szrj /* A = ~A & B. */
1425*38fd1498Szrj 
1426*38fd1498Szrj void
bitmap_compl_and_into(bitmap a,const_bitmap b)1427*38fd1498Szrj bitmap_compl_and_into (bitmap a, const_bitmap b)
1428*38fd1498Szrj {
1429*38fd1498Szrj   bitmap_element *a_elt = a->first;
1430*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1431*38fd1498Szrj   bitmap_element *a_prev = NULL;
1432*38fd1498Szrj   bitmap_element *next;
1433*38fd1498Szrj 
1434*38fd1498Szrj   gcc_assert (a != b);
1435*38fd1498Szrj 
1436*38fd1498Szrj   if (bitmap_empty_p (a))
1437*38fd1498Szrj     {
1438*38fd1498Szrj       bitmap_copy (a, b);
1439*38fd1498Szrj       return;
1440*38fd1498Szrj     }
1441*38fd1498Szrj   if (bitmap_empty_p (b))
1442*38fd1498Szrj     {
1443*38fd1498Szrj       bitmap_clear (a);
1444*38fd1498Szrj       return;
1445*38fd1498Szrj     }
1446*38fd1498Szrj 
1447*38fd1498Szrj   while (a_elt || b_elt)
1448*38fd1498Szrj     {
1449*38fd1498Szrj       if (!b_elt || (a_elt && a_elt->indx < b_elt->indx))
1450*38fd1498Szrj 	{
1451*38fd1498Szrj 	  /* A is before B.  Remove A */
1452*38fd1498Szrj 	  next = a_elt->next;
1453*38fd1498Szrj 	  a_prev = a_elt->prev;
1454*38fd1498Szrj 	  bitmap_element_free (a, a_elt);
1455*38fd1498Szrj 	  a_elt = next;
1456*38fd1498Szrj 	}
1457*38fd1498Szrj       else if (!a_elt || b_elt->indx < a_elt->indx)
1458*38fd1498Szrj 	{
1459*38fd1498Szrj 	  /* B is before A.  Copy B. */
1460*38fd1498Szrj 	  next = bitmap_elt_insert_after (a, a_prev, b_elt->indx);
1461*38fd1498Szrj 	  memcpy (next->bits, b_elt->bits, sizeof (next->bits));
1462*38fd1498Szrj 	  a_prev = next;
1463*38fd1498Szrj 	  b_elt = b_elt->next;
1464*38fd1498Szrj 	}
1465*38fd1498Szrj       else
1466*38fd1498Szrj 	{
1467*38fd1498Szrj 	  /* Matching elts, generate A = ~A & B.  */
1468*38fd1498Szrj 	  unsigned ix;
1469*38fd1498Szrj 	  BITMAP_WORD ior = 0;
1470*38fd1498Szrj 
1471*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1472*38fd1498Szrj 	    {
1473*38fd1498Szrj 	      BITMAP_WORD cleared = a_elt->bits[ix] & b_elt->bits[ix];
1474*38fd1498Szrj 	      BITMAP_WORD r = b_elt->bits[ix] ^ cleared;
1475*38fd1498Szrj 
1476*38fd1498Szrj 	      a_elt->bits[ix] = r;
1477*38fd1498Szrj 	      ior |= r;
1478*38fd1498Szrj 	    }
1479*38fd1498Szrj 	  next = a_elt->next;
1480*38fd1498Szrj 	  if (!ior)
1481*38fd1498Szrj 	    bitmap_element_free (a, a_elt);
1482*38fd1498Szrj 	  else
1483*38fd1498Szrj 	    a_prev = a_elt;
1484*38fd1498Szrj 	  a_elt = next;
1485*38fd1498Szrj 	  b_elt = b_elt->next;
1486*38fd1498Szrj 	}
1487*38fd1498Szrj     }
1488*38fd1498Szrj   gcc_checking_assert (!a->current == !a->first
1489*38fd1498Szrj 		       && (!a->current || a->indx == a->current->indx));
1490*38fd1498Szrj   return;
1491*38fd1498Szrj }
1492*38fd1498Szrj 
1493*38fd1498Szrj 
1494*38fd1498Szrj /* Insert an element corresponding to A_ELT | B_ELT after DST_PREV,
1495*38fd1498Szrj    overwriting DST_ELT if non-NULL.  CHANGED is true if the destination bitmap
1496*38fd1498Szrj    had already been changed; the new value of CHANGED is returned.  */
1497*38fd1498Szrj 
1498*38fd1498Szrj static inline bool
bitmap_elt_ior(bitmap dst,bitmap_element * dst_elt,bitmap_element * dst_prev,const bitmap_element * a_elt,const bitmap_element * b_elt,bool changed)1499*38fd1498Szrj bitmap_elt_ior (bitmap dst, bitmap_element *dst_elt, bitmap_element *dst_prev,
1500*38fd1498Szrj 		const bitmap_element *a_elt, const bitmap_element *b_elt,
1501*38fd1498Szrj 		bool changed)
1502*38fd1498Szrj {
1503*38fd1498Szrj   gcc_assert (a_elt || b_elt);
1504*38fd1498Szrj 
1505*38fd1498Szrj   if (a_elt && b_elt && a_elt->indx == b_elt->indx)
1506*38fd1498Szrj     {
1507*38fd1498Szrj       /* Matching elts, generate A | B.  */
1508*38fd1498Szrj       unsigned ix;
1509*38fd1498Szrj 
1510*38fd1498Szrj       if (!changed && dst_elt && dst_elt->indx == a_elt->indx)
1511*38fd1498Szrj 	{
1512*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1513*38fd1498Szrj 	    {
1514*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] | b_elt->bits[ix];
1515*38fd1498Szrj 	      if (r != dst_elt->bits[ix])
1516*38fd1498Szrj 		{
1517*38fd1498Szrj 		  dst_elt->bits[ix] = r;
1518*38fd1498Szrj 		  changed = true;
1519*38fd1498Szrj 		}
1520*38fd1498Szrj 	    }
1521*38fd1498Szrj 	}
1522*38fd1498Szrj       else
1523*38fd1498Szrj 	{
1524*38fd1498Szrj 	  changed = true;
1525*38fd1498Szrj 	  if (!dst_elt)
1526*38fd1498Szrj 	    dst_elt = bitmap_elt_insert_after (dst, dst_prev, a_elt->indx);
1527*38fd1498Szrj 	  else
1528*38fd1498Szrj 	    dst_elt->indx = a_elt->indx;
1529*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1530*38fd1498Szrj 	    {
1531*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] | b_elt->bits[ix];
1532*38fd1498Szrj 	      dst_elt->bits[ix] = r;
1533*38fd1498Szrj 	    }
1534*38fd1498Szrj 	}
1535*38fd1498Szrj     }
1536*38fd1498Szrj   else
1537*38fd1498Szrj     {
1538*38fd1498Szrj       /* Copy a single element.  */
1539*38fd1498Szrj       const bitmap_element *src;
1540*38fd1498Szrj 
1541*38fd1498Szrj       if (!b_elt || (a_elt && a_elt->indx < b_elt->indx))
1542*38fd1498Szrj 	src = a_elt;
1543*38fd1498Szrj       else
1544*38fd1498Szrj 	src = b_elt;
1545*38fd1498Szrj 
1546*38fd1498Szrj       gcc_checking_assert (src);
1547*38fd1498Szrj       changed = bitmap_elt_copy (dst, dst_elt, dst_prev, src, changed);
1548*38fd1498Szrj     }
1549*38fd1498Szrj   return changed;
1550*38fd1498Szrj }
1551*38fd1498Szrj 
1552*38fd1498Szrj 
1553*38fd1498Szrj /* DST = A | B.  Return true if DST changes.  */
1554*38fd1498Szrj 
1555*38fd1498Szrj bool
bitmap_ior(bitmap dst,const_bitmap a,const_bitmap b)1556*38fd1498Szrj bitmap_ior (bitmap dst, const_bitmap a, const_bitmap b)
1557*38fd1498Szrj {
1558*38fd1498Szrj   bitmap_element *dst_elt = dst->first;
1559*38fd1498Szrj   const bitmap_element *a_elt = a->first;
1560*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1561*38fd1498Szrj   bitmap_element *dst_prev = NULL;
1562*38fd1498Szrj   bitmap_element **dst_prev_pnext = &dst->first;
1563*38fd1498Szrj   bool changed = false;
1564*38fd1498Szrj 
1565*38fd1498Szrj   gcc_assert (dst != a && dst != b);
1566*38fd1498Szrj 
1567*38fd1498Szrj   while (a_elt || b_elt)
1568*38fd1498Szrj     {
1569*38fd1498Szrj       changed = bitmap_elt_ior (dst, dst_elt, dst_prev, a_elt, b_elt, changed);
1570*38fd1498Szrj 
1571*38fd1498Szrj       if (a_elt && b_elt && a_elt->indx == b_elt->indx)
1572*38fd1498Szrj 	{
1573*38fd1498Szrj 	  a_elt = a_elt->next;
1574*38fd1498Szrj 	  b_elt = b_elt->next;
1575*38fd1498Szrj 	}
1576*38fd1498Szrj       else
1577*38fd1498Szrj 	{
1578*38fd1498Szrj 	  if (a_elt && (!b_elt || a_elt->indx <= b_elt->indx))
1579*38fd1498Szrj             a_elt = a_elt->next;
1580*38fd1498Szrj           else if (b_elt && (!a_elt || b_elt->indx <= a_elt->indx))
1581*38fd1498Szrj             b_elt = b_elt->next;
1582*38fd1498Szrj 	}
1583*38fd1498Szrj 
1584*38fd1498Szrj       dst_prev = *dst_prev_pnext;
1585*38fd1498Szrj       dst_prev_pnext = &dst_prev->next;
1586*38fd1498Szrj       dst_elt = *dst_prev_pnext;
1587*38fd1498Szrj     }
1588*38fd1498Szrj 
1589*38fd1498Szrj   if (dst_elt)
1590*38fd1498Szrj     {
1591*38fd1498Szrj       changed = true;
1592*38fd1498Szrj       /* Ensure that dst->current is valid.  */
1593*38fd1498Szrj       dst->current = dst->first;
1594*38fd1498Szrj       bitmap_elt_clear_from (dst, dst_elt);
1595*38fd1498Szrj     }
1596*38fd1498Szrj   gcc_checking_assert (!dst->current == !dst->first);
1597*38fd1498Szrj   if (dst->current)
1598*38fd1498Szrj     dst->indx = dst->current->indx;
1599*38fd1498Szrj   return changed;
1600*38fd1498Szrj }
1601*38fd1498Szrj 
1602*38fd1498Szrj /* A |= B.  Return true if A changes.  */
1603*38fd1498Szrj 
1604*38fd1498Szrj bool
bitmap_ior_into(bitmap a,const_bitmap b)1605*38fd1498Szrj bitmap_ior_into (bitmap a, const_bitmap b)
1606*38fd1498Szrj {
1607*38fd1498Szrj   bitmap_element *a_elt = a->first;
1608*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1609*38fd1498Szrj   bitmap_element *a_prev = NULL;
1610*38fd1498Szrj   bitmap_element **a_prev_pnext = &a->first;
1611*38fd1498Szrj   bool changed = false;
1612*38fd1498Szrj 
1613*38fd1498Szrj   if (a == b)
1614*38fd1498Szrj     return false;
1615*38fd1498Szrj 
1616*38fd1498Szrj   while (b_elt)
1617*38fd1498Szrj     {
1618*38fd1498Szrj       /* If A lags behind B, just advance it.  */
1619*38fd1498Szrj       if (!a_elt || a_elt->indx == b_elt->indx)
1620*38fd1498Szrj 	{
1621*38fd1498Szrj 	  changed = bitmap_elt_ior (a, a_elt, a_prev, a_elt, b_elt, changed);
1622*38fd1498Szrj 	  b_elt = b_elt->next;
1623*38fd1498Szrj 	}
1624*38fd1498Szrj       else if (a_elt->indx > b_elt->indx)
1625*38fd1498Szrj 	{
1626*38fd1498Szrj           changed = bitmap_elt_copy (a, NULL, a_prev, b_elt, changed);
1627*38fd1498Szrj 	  b_elt = b_elt->next;
1628*38fd1498Szrj 	}
1629*38fd1498Szrj 
1630*38fd1498Szrj       a_prev = *a_prev_pnext;
1631*38fd1498Szrj       a_prev_pnext = &a_prev->next;
1632*38fd1498Szrj       a_elt = *a_prev_pnext;
1633*38fd1498Szrj     }
1634*38fd1498Szrj 
1635*38fd1498Szrj   gcc_checking_assert (!a->current == !a->first);
1636*38fd1498Szrj   if (a->current)
1637*38fd1498Szrj     a->indx = a->current->indx;
1638*38fd1498Szrj   return changed;
1639*38fd1498Szrj }
1640*38fd1498Szrj 
1641*38fd1498Szrj /* DST = A ^ B  */
1642*38fd1498Szrj 
1643*38fd1498Szrj void
bitmap_xor(bitmap dst,const_bitmap a,const_bitmap b)1644*38fd1498Szrj bitmap_xor (bitmap dst, const_bitmap a, const_bitmap b)
1645*38fd1498Szrj {
1646*38fd1498Szrj   bitmap_element *dst_elt = dst->first;
1647*38fd1498Szrj   const bitmap_element *a_elt = a->first;
1648*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1649*38fd1498Szrj   bitmap_element *dst_prev = NULL;
1650*38fd1498Szrj 
1651*38fd1498Szrj   gcc_assert (dst != a && dst != b);
1652*38fd1498Szrj   if (a == b)
1653*38fd1498Szrj     {
1654*38fd1498Szrj       bitmap_clear (dst);
1655*38fd1498Szrj       return;
1656*38fd1498Szrj     }
1657*38fd1498Szrj 
1658*38fd1498Szrj   while (a_elt || b_elt)
1659*38fd1498Szrj     {
1660*38fd1498Szrj       if (a_elt && b_elt && a_elt->indx == b_elt->indx)
1661*38fd1498Szrj 	{
1662*38fd1498Szrj 	  /* Matching elts, generate A ^ B.  */
1663*38fd1498Szrj 	  unsigned ix;
1664*38fd1498Szrj 	  BITMAP_WORD ior = 0;
1665*38fd1498Szrj 
1666*38fd1498Szrj 	  if (!dst_elt)
1667*38fd1498Szrj 	    dst_elt = bitmap_elt_insert_after (dst, dst_prev, a_elt->indx);
1668*38fd1498Szrj 	  else
1669*38fd1498Szrj 	    dst_elt->indx = a_elt->indx;
1670*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1671*38fd1498Szrj 	    {
1672*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] ^ b_elt->bits[ix];
1673*38fd1498Szrj 
1674*38fd1498Szrj 	      ior |= r;
1675*38fd1498Szrj 	      dst_elt->bits[ix] = r;
1676*38fd1498Szrj 	    }
1677*38fd1498Szrj 	  a_elt = a_elt->next;
1678*38fd1498Szrj 	  b_elt = b_elt->next;
1679*38fd1498Szrj 	  if (ior)
1680*38fd1498Szrj 	    {
1681*38fd1498Szrj 	      dst_prev = dst_elt;
1682*38fd1498Szrj 	      dst_elt = dst_elt->next;
1683*38fd1498Szrj 	    }
1684*38fd1498Szrj 	}
1685*38fd1498Szrj       else
1686*38fd1498Szrj 	{
1687*38fd1498Szrj 	  /* Copy a single element.  */
1688*38fd1498Szrj 	  const bitmap_element *src;
1689*38fd1498Szrj 
1690*38fd1498Szrj 	  if (!b_elt || (a_elt && a_elt->indx < b_elt->indx))
1691*38fd1498Szrj 	    {
1692*38fd1498Szrj 	      src = a_elt;
1693*38fd1498Szrj 	      a_elt = a_elt->next;
1694*38fd1498Szrj 	    }
1695*38fd1498Szrj 	  else
1696*38fd1498Szrj 	    {
1697*38fd1498Szrj 	      src = b_elt;
1698*38fd1498Szrj 	      b_elt = b_elt->next;
1699*38fd1498Szrj 	    }
1700*38fd1498Szrj 
1701*38fd1498Szrj 	  if (!dst_elt)
1702*38fd1498Szrj 	    dst_elt = bitmap_elt_insert_after (dst, dst_prev, src->indx);
1703*38fd1498Szrj 	  else
1704*38fd1498Szrj 	    dst_elt->indx = src->indx;
1705*38fd1498Szrj 	  memcpy (dst_elt->bits, src->bits, sizeof (dst_elt->bits));
1706*38fd1498Szrj 	  dst_prev = dst_elt;
1707*38fd1498Szrj 	  dst_elt = dst_elt->next;
1708*38fd1498Szrj 	}
1709*38fd1498Szrj     }
1710*38fd1498Szrj   /* Ensure that dst->current is valid.  */
1711*38fd1498Szrj   dst->current = dst->first;
1712*38fd1498Szrj   bitmap_elt_clear_from (dst, dst_elt);
1713*38fd1498Szrj   gcc_checking_assert (!dst->current == !dst->first);
1714*38fd1498Szrj   if (dst->current)
1715*38fd1498Szrj     dst->indx = dst->current->indx;
1716*38fd1498Szrj }
1717*38fd1498Szrj 
1718*38fd1498Szrj /* A ^= B */
1719*38fd1498Szrj 
1720*38fd1498Szrj void
bitmap_xor_into(bitmap a,const_bitmap b)1721*38fd1498Szrj bitmap_xor_into (bitmap a, const_bitmap b)
1722*38fd1498Szrj {
1723*38fd1498Szrj   bitmap_element *a_elt = a->first;
1724*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1725*38fd1498Szrj   bitmap_element *a_prev = NULL;
1726*38fd1498Szrj 
1727*38fd1498Szrj   if (a == b)
1728*38fd1498Szrj     {
1729*38fd1498Szrj       bitmap_clear (a);
1730*38fd1498Szrj       return;
1731*38fd1498Szrj     }
1732*38fd1498Szrj 
1733*38fd1498Szrj   while (b_elt)
1734*38fd1498Szrj     {
1735*38fd1498Szrj       if (!a_elt || b_elt->indx < a_elt->indx)
1736*38fd1498Szrj 	{
1737*38fd1498Szrj 	  /* Copy b_elt.  */
1738*38fd1498Szrj 	  bitmap_element *dst = bitmap_elt_insert_after (a, a_prev, b_elt->indx);
1739*38fd1498Szrj 	  memcpy (dst->bits, b_elt->bits, sizeof (dst->bits));
1740*38fd1498Szrj 	  a_prev = dst;
1741*38fd1498Szrj 	  b_elt = b_elt->next;
1742*38fd1498Szrj 	}
1743*38fd1498Szrj       else if (a_elt->indx < b_elt->indx)
1744*38fd1498Szrj 	{
1745*38fd1498Szrj 	  a_prev = a_elt;
1746*38fd1498Szrj 	  a_elt = a_elt->next;
1747*38fd1498Szrj 	}
1748*38fd1498Szrj       else
1749*38fd1498Szrj 	{
1750*38fd1498Szrj 	  /* Matching elts, generate A ^= B.  */
1751*38fd1498Szrj 	  unsigned ix;
1752*38fd1498Szrj 	  BITMAP_WORD ior = 0;
1753*38fd1498Szrj 	  bitmap_element *next = a_elt->next;
1754*38fd1498Szrj 
1755*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1756*38fd1498Szrj 	    {
1757*38fd1498Szrj 	      BITMAP_WORD r = a_elt->bits[ix] ^ b_elt->bits[ix];
1758*38fd1498Szrj 
1759*38fd1498Szrj 	      ior |= r;
1760*38fd1498Szrj 	      a_elt->bits[ix] = r;
1761*38fd1498Szrj 	    }
1762*38fd1498Szrj 	  b_elt = b_elt->next;
1763*38fd1498Szrj 	  if (ior)
1764*38fd1498Szrj 	    a_prev = a_elt;
1765*38fd1498Szrj 	  else
1766*38fd1498Szrj 	    bitmap_element_free (a, a_elt);
1767*38fd1498Szrj 	  a_elt = next;
1768*38fd1498Szrj 	}
1769*38fd1498Szrj     }
1770*38fd1498Szrj   gcc_checking_assert (!a->current == !a->first);
1771*38fd1498Szrj   if (a->current)
1772*38fd1498Szrj     a->indx = a->current->indx;
1773*38fd1498Szrj }
1774*38fd1498Szrj 
1775*38fd1498Szrj /* Return true if two bitmaps are identical.
1776*38fd1498Szrj    We do not bother with a check for pointer equality, as that never
1777*38fd1498Szrj    occurs in practice.  */
1778*38fd1498Szrj 
1779*38fd1498Szrj bool
bitmap_equal_p(const_bitmap a,const_bitmap b)1780*38fd1498Szrj bitmap_equal_p (const_bitmap a, const_bitmap b)
1781*38fd1498Szrj {
1782*38fd1498Szrj   const bitmap_element *a_elt;
1783*38fd1498Szrj   const bitmap_element *b_elt;
1784*38fd1498Szrj   unsigned ix;
1785*38fd1498Szrj 
1786*38fd1498Szrj   for (a_elt = a->first, b_elt = b->first;
1787*38fd1498Szrj        a_elt && b_elt;
1788*38fd1498Szrj        a_elt = a_elt->next, b_elt = b_elt->next)
1789*38fd1498Szrj     {
1790*38fd1498Szrj       if (a_elt->indx != b_elt->indx)
1791*38fd1498Szrj 	return false;
1792*38fd1498Szrj       for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1793*38fd1498Szrj 	if (a_elt->bits[ix] != b_elt->bits[ix])
1794*38fd1498Szrj 	  return false;
1795*38fd1498Szrj     }
1796*38fd1498Szrj   return !a_elt && !b_elt;
1797*38fd1498Szrj }
1798*38fd1498Szrj 
1799*38fd1498Szrj /* Return true if A AND B is not empty.  */
1800*38fd1498Szrj 
1801*38fd1498Szrj bool
bitmap_intersect_p(const_bitmap a,const_bitmap b)1802*38fd1498Szrj bitmap_intersect_p (const_bitmap a, const_bitmap b)
1803*38fd1498Szrj {
1804*38fd1498Szrj   const bitmap_element *a_elt;
1805*38fd1498Szrj   const bitmap_element *b_elt;
1806*38fd1498Szrj   unsigned ix;
1807*38fd1498Szrj 
1808*38fd1498Szrj   for (a_elt = a->first, b_elt = b->first;
1809*38fd1498Szrj        a_elt && b_elt;)
1810*38fd1498Szrj     {
1811*38fd1498Szrj       if (a_elt->indx < b_elt->indx)
1812*38fd1498Szrj 	a_elt = a_elt->next;
1813*38fd1498Szrj       else if (b_elt->indx < a_elt->indx)
1814*38fd1498Szrj 	b_elt = b_elt->next;
1815*38fd1498Szrj       else
1816*38fd1498Szrj 	{
1817*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1818*38fd1498Szrj 	    if (a_elt->bits[ix] & b_elt->bits[ix])
1819*38fd1498Szrj 	      return true;
1820*38fd1498Szrj 	  a_elt = a_elt->next;
1821*38fd1498Szrj 	  b_elt = b_elt->next;
1822*38fd1498Szrj 	}
1823*38fd1498Szrj     }
1824*38fd1498Szrj   return false;
1825*38fd1498Szrj }
1826*38fd1498Szrj 
1827*38fd1498Szrj /* Return true if A AND NOT B is not empty.  */
1828*38fd1498Szrj 
1829*38fd1498Szrj bool
bitmap_intersect_compl_p(const_bitmap a,const_bitmap b)1830*38fd1498Szrj bitmap_intersect_compl_p (const_bitmap a, const_bitmap b)
1831*38fd1498Szrj {
1832*38fd1498Szrj   const bitmap_element *a_elt;
1833*38fd1498Szrj   const bitmap_element *b_elt;
1834*38fd1498Szrj   unsigned ix;
1835*38fd1498Szrj   for (a_elt = a->first, b_elt = b->first;
1836*38fd1498Szrj        a_elt && b_elt;)
1837*38fd1498Szrj     {
1838*38fd1498Szrj       if (a_elt->indx < b_elt->indx)
1839*38fd1498Szrj 	return true;
1840*38fd1498Szrj       else if (b_elt->indx < a_elt->indx)
1841*38fd1498Szrj 	b_elt = b_elt->next;
1842*38fd1498Szrj       else
1843*38fd1498Szrj 	{
1844*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1845*38fd1498Szrj 	    if (a_elt->bits[ix] & ~b_elt->bits[ix])
1846*38fd1498Szrj 	      return true;
1847*38fd1498Szrj 	  a_elt = a_elt->next;
1848*38fd1498Szrj 	  b_elt = b_elt->next;
1849*38fd1498Szrj 	}
1850*38fd1498Szrj     }
1851*38fd1498Szrj   return a_elt != NULL;
1852*38fd1498Szrj }
1853*38fd1498Szrj 
1854*38fd1498Szrj 
1855*38fd1498Szrj /* DST = A | (FROM1 & ~FROM2).  Return true if DST changes.  */
1856*38fd1498Szrj 
1857*38fd1498Szrj bool
bitmap_ior_and_compl(bitmap dst,const_bitmap a,const_bitmap b,const_bitmap kill)1858*38fd1498Szrj bitmap_ior_and_compl (bitmap dst, const_bitmap a, const_bitmap b, const_bitmap kill)
1859*38fd1498Szrj {
1860*38fd1498Szrj   bool changed = false;
1861*38fd1498Szrj 
1862*38fd1498Szrj   bitmap_element *dst_elt = dst->first;
1863*38fd1498Szrj   const bitmap_element *a_elt = a->first;
1864*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1865*38fd1498Szrj   const bitmap_element *kill_elt = kill->first;
1866*38fd1498Szrj   bitmap_element *dst_prev = NULL;
1867*38fd1498Szrj   bitmap_element **dst_prev_pnext = &dst->first;
1868*38fd1498Szrj 
1869*38fd1498Szrj   gcc_assert (dst != a && dst != b && dst != kill);
1870*38fd1498Szrj 
1871*38fd1498Szrj   /* Special cases.  We don't bother checking for bitmap_equal_p (b, kill).  */
1872*38fd1498Szrj   if (b == kill || bitmap_empty_p (b))
1873*38fd1498Szrj     {
1874*38fd1498Szrj       changed = !bitmap_equal_p (dst, a);
1875*38fd1498Szrj       if (changed)
1876*38fd1498Szrj 	bitmap_copy (dst, a);
1877*38fd1498Szrj       return changed;
1878*38fd1498Szrj     }
1879*38fd1498Szrj   if (bitmap_empty_p (kill))
1880*38fd1498Szrj     return bitmap_ior (dst, a, b);
1881*38fd1498Szrj   if (bitmap_empty_p (a))
1882*38fd1498Szrj     return bitmap_and_compl (dst, b, kill);
1883*38fd1498Szrj 
1884*38fd1498Szrj   while (a_elt || b_elt)
1885*38fd1498Szrj     {
1886*38fd1498Szrj       bool new_element = false;
1887*38fd1498Szrj 
1888*38fd1498Szrj       if (b_elt)
1889*38fd1498Szrj 	while (kill_elt && kill_elt->indx < b_elt->indx)
1890*38fd1498Szrj 	  kill_elt = kill_elt->next;
1891*38fd1498Szrj 
1892*38fd1498Szrj       if (b_elt && kill_elt && kill_elt->indx == b_elt->indx
1893*38fd1498Szrj 	  && (!a_elt || a_elt->indx >= b_elt->indx))
1894*38fd1498Szrj         {
1895*38fd1498Szrj 	  bitmap_element tmp_elt;
1896*38fd1498Szrj 	  unsigned ix;
1897*38fd1498Szrj 
1898*38fd1498Szrj 	  BITMAP_WORD ior = 0;
1899*38fd1498Szrj 	  tmp_elt.indx = b_elt->indx;
1900*38fd1498Szrj 	  for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
1901*38fd1498Szrj             {
1902*38fd1498Szrj               BITMAP_WORD r = b_elt->bits[ix] & ~kill_elt->bits[ix];
1903*38fd1498Szrj               ior |= r;
1904*38fd1498Szrj               tmp_elt.bits[ix] = r;
1905*38fd1498Szrj             }
1906*38fd1498Szrj 
1907*38fd1498Szrj 	  if (ior)
1908*38fd1498Szrj 	    {
1909*38fd1498Szrj 	      changed = bitmap_elt_ior (dst, dst_elt, dst_prev,
1910*38fd1498Szrj 				        a_elt, &tmp_elt, changed);
1911*38fd1498Szrj 	      new_element = true;
1912*38fd1498Szrj 	      if (a_elt && a_elt->indx == b_elt->indx)
1913*38fd1498Szrj                 a_elt = a_elt->next;
1914*38fd1498Szrj 	    }
1915*38fd1498Szrj 
1916*38fd1498Szrj 	  b_elt = b_elt->next;
1917*38fd1498Szrj 	  kill_elt = kill_elt->next;
1918*38fd1498Szrj 	}
1919*38fd1498Szrj       else
1920*38fd1498Szrj 	{
1921*38fd1498Szrj 	  changed = bitmap_elt_ior (dst, dst_elt, dst_prev,
1922*38fd1498Szrj 				    a_elt, b_elt, changed);
1923*38fd1498Szrj 	  new_element = true;
1924*38fd1498Szrj 
1925*38fd1498Szrj           if (a_elt && b_elt && a_elt->indx == b_elt->indx)
1926*38fd1498Szrj 	    {
1927*38fd1498Szrj 	      a_elt = a_elt->next;
1928*38fd1498Szrj 	      b_elt = b_elt->next;
1929*38fd1498Szrj 	    }
1930*38fd1498Szrj           else
1931*38fd1498Szrj 	    {
1932*38fd1498Szrj 	      if (a_elt && (!b_elt || a_elt->indx <= b_elt->indx))
1933*38fd1498Szrj                 a_elt = a_elt->next;
1934*38fd1498Szrj               else if (b_elt && (!a_elt || b_elt->indx <= a_elt->indx))
1935*38fd1498Szrj                 b_elt = b_elt->next;
1936*38fd1498Szrj 	    }
1937*38fd1498Szrj 	}
1938*38fd1498Szrj 
1939*38fd1498Szrj       if (new_element)
1940*38fd1498Szrj 	{
1941*38fd1498Szrj 	  dst_prev = *dst_prev_pnext;
1942*38fd1498Szrj 	  dst_prev_pnext = &dst_prev->next;
1943*38fd1498Szrj 	  dst_elt = *dst_prev_pnext;
1944*38fd1498Szrj 	}
1945*38fd1498Szrj     }
1946*38fd1498Szrj 
1947*38fd1498Szrj   if (dst_elt)
1948*38fd1498Szrj     {
1949*38fd1498Szrj       changed = true;
1950*38fd1498Szrj       /* Ensure that dst->current is valid.  */
1951*38fd1498Szrj       dst->current = dst->first;
1952*38fd1498Szrj       bitmap_elt_clear_from (dst, dst_elt);
1953*38fd1498Szrj     }
1954*38fd1498Szrj   gcc_checking_assert (!dst->current == !dst->first);
1955*38fd1498Szrj   if (dst->current)
1956*38fd1498Szrj     dst->indx = dst->current->indx;
1957*38fd1498Szrj 
1958*38fd1498Szrj   return changed;
1959*38fd1498Szrj }
1960*38fd1498Szrj 
1961*38fd1498Szrj /* A |= (FROM1 & ~FROM2).  Return true if A changes.  */
1962*38fd1498Szrj 
1963*38fd1498Szrj bool
bitmap_ior_and_compl_into(bitmap a,const_bitmap from1,const_bitmap from2)1964*38fd1498Szrj bitmap_ior_and_compl_into (bitmap a, const_bitmap from1, const_bitmap from2)
1965*38fd1498Szrj {
1966*38fd1498Szrj   bitmap_head tmp;
1967*38fd1498Szrj   bool changed;
1968*38fd1498Szrj 
1969*38fd1498Szrj   bitmap_initialize (&tmp, &bitmap_default_obstack);
1970*38fd1498Szrj   bitmap_and_compl (&tmp, from1, from2);
1971*38fd1498Szrj   changed = bitmap_ior_into (a, &tmp);
1972*38fd1498Szrj   bitmap_clear (&tmp);
1973*38fd1498Szrj 
1974*38fd1498Szrj   return changed;
1975*38fd1498Szrj }
1976*38fd1498Szrj 
1977*38fd1498Szrj /* A |= (B & C).  Return true if A changes.  */
1978*38fd1498Szrj 
1979*38fd1498Szrj bool
bitmap_ior_and_into(bitmap a,const_bitmap b,const_bitmap c)1980*38fd1498Szrj bitmap_ior_and_into (bitmap a, const_bitmap b, const_bitmap c)
1981*38fd1498Szrj {
1982*38fd1498Szrj   bitmap_element *a_elt = a->first;
1983*38fd1498Szrj   const bitmap_element *b_elt = b->first;
1984*38fd1498Szrj   const bitmap_element *c_elt = c->first;
1985*38fd1498Szrj   bitmap_element and_elt;
1986*38fd1498Szrj   bitmap_element *a_prev = NULL;
1987*38fd1498Szrj   bitmap_element **a_prev_pnext = &a->first;
1988*38fd1498Szrj   bool changed = false;
1989*38fd1498Szrj   unsigned ix;
1990*38fd1498Szrj 
1991*38fd1498Szrj   if (b == c)
1992*38fd1498Szrj     return bitmap_ior_into (a, b);
1993*38fd1498Szrj   if (bitmap_empty_p (b) || bitmap_empty_p (c))
1994*38fd1498Szrj     return false;
1995*38fd1498Szrj 
1996*38fd1498Szrj   and_elt.indx = -1;
1997*38fd1498Szrj   while (b_elt && c_elt)
1998*38fd1498Szrj     {
1999*38fd1498Szrj       BITMAP_WORD overall;
2000*38fd1498Szrj 
2001*38fd1498Szrj       /* Find a common item of B and C.  */
2002*38fd1498Szrj       while (b_elt->indx != c_elt->indx)
2003*38fd1498Szrj 	{
2004*38fd1498Szrj           if (b_elt->indx < c_elt->indx)
2005*38fd1498Szrj 	    {
2006*38fd1498Szrj 	      b_elt = b_elt->next;
2007*38fd1498Szrj 	      if (!b_elt)
2008*38fd1498Szrj 		goto done;
2009*38fd1498Szrj 	    }
2010*38fd1498Szrj           else
2011*38fd1498Szrj 	    {
2012*38fd1498Szrj 	      c_elt = c_elt->next;
2013*38fd1498Szrj 	      if (!c_elt)
2014*38fd1498Szrj 		goto done;
2015*38fd1498Szrj 	    }
2016*38fd1498Szrj 	}
2017*38fd1498Szrj 
2018*38fd1498Szrj       overall = 0;
2019*38fd1498Szrj       and_elt.indx = b_elt->indx;
2020*38fd1498Szrj       for (ix = 0; ix < BITMAP_ELEMENT_WORDS; ix++)
2021*38fd1498Szrj 	{
2022*38fd1498Szrj 	  and_elt.bits[ix] = b_elt->bits[ix] & c_elt->bits[ix];
2023*38fd1498Szrj 	  overall |= and_elt.bits[ix];
2024*38fd1498Szrj 	}
2025*38fd1498Szrj 
2026*38fd1498Szrj       b_elt = b_elt->next;
2027*38fd1498Szrj       c_elt = c_elt->next;
2028*38fd1498Szrj       if (!overall)
2029*38fd1498Szrj 	continue;
2030*38fd1498Szrj 
2031*38fd1498Szrj       /* Now find a place to insert AND_ELT.  */
2032*38fd1498Szrj       do
2033*38fd1498Szrj 	{
2034*38fd1498Szrj 	  ix = a_elt ? a_elt->indx : and_elt.indx;
2035*38fd1498Szrj           if (ix == and_elt.indx)
2036*38fd1498Szrj 	    changed = bitmap_elt_ior (a, a_elt, a_prev, a_elt, &and_elt, changed);
2037*38fd1498Szrj           else if (ix > and_elt.indx)
2038*38fd1498Szrj 	    changed = bitmap_elt_copy (a, NULL, a_prev, &and_elt, changed);
2039*38fd1498Szrj 
2040*38fd1498Szrj           a_prev = *a_prev_pnext;
2041*38fd1498Szrj           a_prev_pnext = &a_prev->next;
2042*38fd1498Szrj           a_elt = *a_prev_pnext;
2043*38fd1498Szrj 
2044*38fd1498Szrj           /* If A lagged behind B/C, we advanced it so loop once more.  */
2045*38fd1498Szrj 	}
2046*38fd1498Szrj       while (ix < and_elt.indx);
2047*38fd1498Szrj     }
2048*38fd1498Szrj 
2049*38fd1498Szrj  done:
2050*38fd1498Szrj   gcc_checking_assert (!a->current == !a->first);
2051*38fd1498Szrj   if (a->current)
2052*38fd1498Szrj     a->indx = a->current->indx;
2053*38fd1498Szrj   return changed;
2054*38fd1498Szrj }
2055*38fd1498Szrj 
2056*38fd1498Szrj /* Compute hash of bitmap (for purposes of hashing).  */
2057*38fd1498Szrj hashval_t
bitmap_hash(const_bitmap head)2058*38fd1498Szrj bitmap_hash (const_bitmap head)
2059*38fd1498Szrj {
2060*38fd1498Szrj   const bitmap_element *ptr;
2061*38fd1498Szrj   BITMAP_WORD hash = 0;
2062*38fd1498Szrj   int ix;
2063*38fd1498Szrj 
2064*38fd1498Szrj   for (ptr = head->first; ptr; ptr = ptr->next)
2065*38fd1498Szrj     {
2066*38fd1498Szrj       hash ^= ptr->indx;
2067*38fd1498Szrj       for (ix = 0; ix != BITMAP_ELEMENT_WORDS; ix++)
2068*38fd1498Szrj 	hash ^= ptr->bits[ix];
2069*38fd1498Szrj     }
2070*38fd1498Szrj   return (hashval_t)hash;
2071*38fd1498Szrj }
2072*38fd1498Szrj 
2073*38fd1498Szrj 
2074*38fd1498Szrj /* Debugging function to print out the contents of a bitmap.  */
2075*38fd1498Szrj 
2076*38fd1498Szrj DEBUG_FUNCTION void
debug_bitmap_file(FILE * file,const_bitmap head)2077*38fd1498Szrj debug_bitmap_file (FILE *file, const_bitmap head)
2078*38fd1498Szrj {
2079*38fd1498Szrj   const bitmap_element *ptr;
2080*38fd1498Szrj 
2081*38fd1498Szrj   fprintf (file, "\nfirst = " HOST_PTR_PRINTF
2082*38fd1498Szrj 	   " current = " HOST_PTR_PRINTF " indx = %u\n",
2083*38fd1498Szrj 	   (void *) head->first, (void *) head->current, head->indx);
2084*38fd1498Szrj 
2085*38fd1498Szrj   for (ptr = head->first; ptr; ptr = ptr->next)
2086*38fd1498Szrj     {
2087*38fd1498Szrj       unsigned int i, j, col = 26;
2088*38fd1498Szrj 
2089*38fd1498Szrj       fprintf (file, "\t" HOST_PTR_PRINTF " next = " HOST_PTR_PRINTF
2090*38fd1498Szrj 	       " prev = " HOST_PTR_PRINTF " indx = %u\n\t\tbits = {",
2091*38fd1498Szrj 	       (const void*) ptr, (const void*) ptr->next,
2092*38fd1498Szrj 	       (const void*) ptr->prev, ptr->indx);
2093*38fd1498Szrj 
2094*38fd1498Szrj       for (i = 0; i < BITMAP_ELEMENT_WORDS; i++)
2095*38fd1498Szrj 	for (j = 0; j < BITMAP_WORD_BITS; j++)
2096*38fd1498Szrj 	  if ((ptr->bits[i] >> j) & 1)
2097*38fd1498Szrj 	    {
2098*38fd1498Szrj 	      if (col > 70)
2099*38fd1498Szrj 		{
2100*38fd1498Szrj 		  fprintf (file, "\n\t\t\t");
2101*38fd1498Szrj 		  col = 24;
2102*38fd1498Szrj 		}
2103*38fd1498Szrj 
2104*38fd1498Szrj 	      fprintf (file, " %u", (ptr->indx * BITMAP_ELEMENT_ALL_BITS
2105*38fd1498Szrj 				     + i * BITMAP_WORD_BITS + j));
2106*38fd1498Szrj 	      col += 4;
2107*38fd1498Szrj 	    }
2108*38fd1498Szrj 
2109*38fd1498Szrj       fprintf (file, " }\n");
2110*38fd1498Szrj     }
2111*38fd1498Szrj }
2112*38fd1498Szrj 
2113*38fd1498Szrj /* Function to be called from the debugger to print the contents
2114*38fd1498Szrj    of a bitmap.  */
2115*38fd1498Szrj 
2116*38fd1498Szrj DEBUG_FUNCTION void
debug_bitmap(const_bitmap head)2117*38fd1498Szrj debug_bitmap (const_bitmap head)
2118*38fd1498Szrj {
2119*38fd1498Szrj   debug_bitmap_file (stderr, head);
2120*38fd1498Szrj }
2121*38fd1498Szrj 
2122*38fd1498Szrj /* Function to print out the contents of a bitmap.  Unlike debug_bitmap_file,
2123*38fd1498Szrj    it does not print anything but the bits.  */
2124*38fd1498Szrj 
2125*38fd1498Szrj DEBUG_FUNCTION void
bitmap_print(FILE * file,const_bitmap head,const char * prefix,const char * suffix)2126*38fd1498Szrj bitmap_print (FILE *file, const_bitmap head, const char *prefix,
2127*38fd1498Szrj 	      const char *suffix)
2128*38fd1498Szrj {
2129*38fd1498Szrj   const char *comma = "";
2130*38fd1498Szrj   unsigned i;
2131*38fd1498Szrj   bitmap_iterator bi;
2132*38fd1498Szrj 
2133*38fd1498Szrj   fputs (prefix, file);
2134*38fd1498Szrj   EXECUTE_IF_SET_IN_BITMAP (head, 0, i, bi)
2135*38fd1498Szrj     {
2136*38fd1498Szrj       fprintf (file, "%s%d", comma, i);
2137*38fd1498Szrj       comma = ", ";
2138*38fd1498Szrj     }
2139*38fd1498Szrj   fputs (suffix, file);
2140*38fd1498Szrj }
2141*38fd1498Szrj 
2142*38fd1498Szrj /* Output per-bitmap memory usage statistics.  */
2143*38fd1498Szrj void
dump_bitmap_statistics(void)2144*38fd1498Szrj dump_bitmap_statistics (void)
2145*38fd1498Szrj {
2146*38fd1498Szrj   if (!GATHER_STATISTICS)
2147*38fd1498Szrj     return;
2148*38fd1498Szrj 
2149*38fd1498Szrj   bitmap_mem_desc.dump (BITMAP_ORIGIN);
2150*38fd1498Szrj }
2151*38fd1498Szrj 
2152*38fd1498Szrj DEBUG_FUNCTION void
debug(const bitmap_head & ref)2153*38fd1498Szrj debug (const bitmap_head &ref)
2154*38fd1498Szrj {
2155*38fd1498Szrj   dump_bitmap (stderr, &ref);
2156*38fd1498Szrj }
2157*38fd1498Szrj 
2158*38fd1498Szrj DEBUG_FUNCTION void
debug(const bitmap_head * ptr)2159*38fd1498Szrj debug (const bitmap_head *ptr)
2160*38fd1498Szrj {
2161*38fd1498Szrj   if (ptr)
2162*38fd1498Szrj     debug (*ptr);
2163*38fd1498Szrj   else
2164*38fd1498Szrj     fprintf (stderr, "<nil>\n");
2165*38fd1498Szrj }
2166*38fd1498Szrj 
2167*38fd1498Szrj #if CHECKING_P
2168*38fd1498Szrj 
2169*38fd1498Szrj namespace selftest {
2170*38fd1498Szrj 
2171*38fd1498Szrj /* Selftests for bitmaps.  */
2172*38fd1498Szrj 
2173*38fd1498Szrj /* Freshly-created bitmaps ought to be empty.  */
2174*38fd1498Szrj 
2175*38fd1498Szrj static void
test_gc_alloc()2176*38fd1498Szrj test_gc_alloc ()
2177*38fd1498Szrj {
2178*38fd1498Szrj   bitmap b = bitmap_gc_alloc ();
2179*38fd1498Szrj   ASSERT_TRUE (bitmap_empty_p (b));
2180*38fd1498Szrj }
2181*38fd1498Szrj 
2182*38fd1498Szrj /* Verify bitmap_set_range.  */
2183*38fd1498Szrj 
2184*38fd1498Szrj static void
test_set_range()2185*38fd1498Szrj test_set_range ()
2186*38fd1498Szrj {
2187*38fd1498Szrj   bitmap b = bitmap_gc_alloc ();
2188*38fd1498Szrj   ASSERT_TRUE (bitmap_empty_p (b));
2189*38fd1498Szrj 
2190*38fd1498Szrj   bitmap_set_range (b, 7, 5);
2191*38fd1498Szrj   ASSERT_FALSE (bitmap_empty_p (b));
2192*38fd1498Szrj   ASSERT_EQ (5, bitmap_count_bits (b));
2193*38fd1498Szrj 
2194*38fd1498Szrj   /* Verify bitmap_bit_p at the boundaries.  */
2195*38fd1498Szrj   ASSERT_FALSE (bitmap_bit_p (b, 6));
2196*38fd1498Szrj   ASSERT_TRUE (bitmap_bit_p (b, 7));
2197*38fd1498Szrj   ASSERT_TRUE (bitmap_bit_p (b, 11));
2198*38fd1498Szrj   ASSERT_FALSE (bitmap_bit_p (b, 12));
2199*38fd1498Szrj }
2200*38fd1498Szrj 
2201*38fd1498Szrj /* Verify splitting a range into two pieces using bitmap_clear_bit.  */
2202*38fd1498Szrj 
2203*38fd1498Szrj static void
test_clear_bit_in_middle()2204*38fd1498Szrj test_clear_bit_in_middle ()
2205*38fd1498Szrj {
2206*38fd1498Szrj   bitmap b = bitmap_gc_alloc ();
2207*38fd1498Szrj 
2208*38fd1498Szrj   /* Set b to [100..200].  */
2209*38fd1498Szrj   bitmap_set_range (b, 100, 100);
2210*38fd1498Szrj   ASSERT_EQ (100, bitmap_count_bits (b));
2211*38fd1498Szrj 
2212*38fd1498Szrj   /* Clear a bit in the middle.  */
2213*38fd1498Szrj   bool changed = bitmap_clear_bit (b, 150);
2214*38fd1498Szrj   ASSERT_TRUE (changed);
2215*38fd1498Szrj   ASSERT_EQ (99, bitmap_count_bits (b));
2216*38fd1498Szrj   ASSERT_TRUE (bitmap_bit_p (b, 149));
2217*38fd1498Szrj   ASSERT_FALSE (bitmap_bit_p (b, 150));
2218*38fd1498Szrj   ASSERT_TRUE (bitmap_bit_p (b, 151));
2219*38fd1498Szrj }
2220*38fd1498Szrj 
2221*38fd1498Szrj /* Verify bitmap_copy.  */
2222*38fd1498Szrj 
2223*38fd1498Szrj static void
test_copying()2224*38fd1498Szrj test_copying ()
2225*38fd1498Szrj {
2226*38fd1498Szrj   bitmap src = bitmap_gc_alloc ();
2227*38fd1498Szrj   bitmap_set_range (src, 40, 10);
2228*38fd1498Szrj 
2229*38fd1498Szrj   bitmap dst = bitmap_gc_alloc ();
2230*38fd1498Szrj   ASSERT_FALSE (bitmap_equal_p (src, dst));
2231*38fd1498Szrj   bitmap_copy (dst, src);
2232*38fd1498Szrj   ASSERT_TRUE (bitmap_equal_p (src, dst));
2233*38fd1498Szrj 
2234*38fd1498Szrj   /* Verify that we can make them unequal again...  */
2235*38fd1498Szrj   bitmap_set_range (src, 70, 5);
2236*38fd1498Szrj   ASSERT_FALSE (bitmap_equal_p (src, dst));
2237*38fd1498Szrj 
2238*38fd1498Szrj   /* ...and that changing src after the copy didn't affect
2239*38fd1498Szrj      the other: */
2240*38fd1498Szrj   ASSERT_FALSE (bitmap_bit_p (dst, 70));
2241*38fd1498Szrj }
2242*38fd1498Szrj 
2243*38fd1498Szrj /* Verify bitmap_single_bit_set_p.  */
2244*38fd1498Szrj 
2245*38fd1498Szrj static void
test_bitmap_single_bit_set_p()2246*38fd1498Szrj test_bitmap_single_bit_set_p ()
2247*38fd1498Szrj {
2248*38fd1498Szrj   bitmap b = bitmap_gc_alloc ();
2249*38fd1498Szrj 
2250*38fd1498Szrj   ASSERT_FALSE (bitmap_single_bit_set_p (b));
2251*38fd1498Szrj 
2252*38fd1498Szrj   bitmap_set_range (b, 42, 1);
2253*38fd1498Szrj   ASSERT_TRUE (bitmap_single_bit_set_p (b));
2254*38fd1498Szrj   ASSERT_EQ (42, bitmap_first_set_bit (b));
2255*38fd1498Szrj 
2256*38fd1498Szrj   bitmap_set_range (b, 1066, 1);
2257*38fd1498Szrj   ASSERT_FALSE (bitmap_single_bit_set_p (b));
2258*38fd1498Szrj   ASSERT_EQ (42, bitmap_first_set_bit (b));
2259*38fd1498Szrj 
2260*38fd1498Szrj   bitmap_clear_range (b, 0, 100);
2261*38fd1498Szrj   ASSERT_TRUE (bitmap_single_bit_set_p (b));
2262*38fd1498Szrj   ASSERT_EQ (1066, bitmap_first_set_bit (b));
2263*38fd1498Szrj }
2264*38fd1498Szrj 
2265*38fd1498Szrj /* Run all of the selftests within this file.  */
2266*38fd1498Szrj 
2267*38fd1498Szrj void
bitmap_c_tests()2268*38fd1498Szrj bitmap_c_tests ()
2269*38fd1498Szrj {
2270*38fd1498Szrj   test_gc_alloc ();
2271*38fd1498Szrj   test_set_range ();
2272*38fd1498Szrj   test_clear_bit_in_middle ();
2273*38fd1498Szrj   test_copying ();
2274*38fd1498Szrj   test_bitmap_single_bit_set_p ();
2275*38fd1498Szrj }
2276*38fd1498Szrj 
2277*38fd1498Szrj } // namespace selftest
2278*38fd1498Szrj #endif /* CHECKING_P */
2279*38fd1498Szrj 
2280*38fd1498Szrj #include "gt-bitmap.h"
2281