2 Copyright (C) 1999-2012 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
22 #include "coretypes.h"
25 /* This suffices for roughly 99% of the hosts we run on, and the rest
26 don't have 256 bit integers. */
27 #if SBITMAP_ELT_BITS > 255
28 #error Need to increase size of datatype used for popcount
31 #if GCC_VERSION >= 3400
32 # if SBITMAP_ELT_BITS == HOST_BITS_PER_LONG
33 # define do_popcount(x) __builtin_popcountl(x)
34 # elif SBITMAP_ELT_BITS == HOST_BITS_PER_LONGLONG
35 # define do_popcount(x) __builtin_popcountll(x)
37 # error "internal error: sbitmap.h and hwint.h are inconsistent"
40 static unsigned long sbitmap_elt_popcount (SBITMAP_ELT_TYPE
);
41 # define do_popcount(x) sbitmap_elt_popcount((x))
44 typedef SBITMAP_ELT_TYPE
*sbitmap_ptr
;
45 typedef const SBITMAP_ELT_TYPE
*const_sbitmap_ptr
;
47 /* Return the size in bytes of a bitmap MAP. */
49 static inline unsigned int sbitmap_size_bytes (const_sbitmap map
)
51 return map
->size
* sizeof (SBITMAP_ELT_TYPE
);
54 /* This macro controls debugging that is as expensive as the
55 operations it verifies. */
57 /* #define BITMAP_DEBUGGING */
58 #ifdef BITMAP_DEBUGGING
60 /* Verify the population count of sbitmap A matches the cached value,
61 if there is a cached value. */
64 sbitmap_verify_popcount (const_sbitmap a
)
67 unsigned int lastword
;
73 for (ix
= 0; ix
< lastword
; ix
++)
74 gcc_assert (a
->popcount
[ix
] == do_popcount (a
->elms
[ix
]));
78 /* Bitmap manipulation routines. */
80 /* Allocate a simple bitmap of N_ELMS bits. */
83 sbitmap_alloc (unsigned int n_elms
)
85 unsigned int bytes
, size
, amt
;
88 size
= SBITMAP_SET_SIZE (n_elms
);
89 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
90 amt
= (sizeof (struct simple_bitmap_def
)
91 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
92 bmap
= (sbitmap
) xmalloc (amt
);
93 bmap
->n_bits
= n_elms
;
95 bmap
->popcount
= NULL
;
99 /* Allocate a simple bitmap of N_ELMS bits, and a popcount array. */
102 sbitmap_alloc_with_popcount (unsigned int n_elms
)
104 sbitmap
const bmap
= sbitmap_alloc (n_elms
);
105 bmap
->popcount
= XNEWVEC (unsigned char, bmap
->size
);
109 /* Resize a simple bitmap BMAP to N_ELMS bits. If increasing the
110 size of BMAP, clear the new bits to zero if the DEF argument
111 is zero, and set them to one otherwise. */
114 sbitmap_resize (sbitmap bmap
, unsigned int n_elms
, int def
)
116 unsigned int bytes
, size
, amt
;
117 unsigned int last_bit
;
119 size
= SBITMAP_SET_SIZE (n_elms
);
120 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
121 if (bytes
> sbitmap_size_bytes (bmap
))
123 amt
= (sizeof (struct simple_bitmap_def
)
124 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
125 bmap
= (sbitmap
) xrealloc (bmap
, amt
);
127 bmap
->popcount
= XRESIZEVEC (unsigned char, bmap
->popcount
, size
);
130 if (n_elms
> bmap
->n_bits
)
134 memset (bmap
->elms
+ bmap
->size
, -1,
135 bytes
- sbitmap_size_bytes (bmap
));
137 /* Set the new bits if the original last element. */
138 last_bit
= bmap
->n_bits
% SBITMAP_ELT_BITS
;
140 bmap
->elms
[bmap
->size
- 1]
141 |= ~((SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
));
143 /* Clear the unused bit in the new last element. */
144 last_bit
= n_elms
% SBITMAP_ELT_BITS
;
147 &= (SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
);
151 memset (bmap
->elms
+ bmap
->size
, 0,
152 bytes
- sbitmap_size_bytes (bmap
));
154 memset (bmap
->popcount
+ bmap
->size
, 0,
155 (size
* sizeof (unsigned char))
156 - (bmap
->size
* sizeof (unsigned char)));
160 else if (n_elms
< bmap
->n_bits
)
162 /* Clear the surplus bits in the last word. */
163 last_bit
= n_elms
% SBITMAP_ELT_BITS
;
167 &= (SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
);
169 bmap
->popcount
[size
- 1] = do_popcount (bmap
->elms
[size
- 1]);
173 bmap
->n_bits
= n_elms
;
178 /* Re-allocate a simple bitmap of N_ELMS bits. New storage is uninitialized. */
181 sbitmap_realloc (sbitmap src
, unsigned int n_elms
)
183 unsigned int bytes
, size
, amt
;
186 size
= SBITMAP_SET_SIZE (n_elms
);
187 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
188 amt
= (sizeof (struct simple_bitmap_def
)
189 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
191 if (sbitmap_size_bytes (src
) >= bytes
)
193 src
->n_bits
= n_elms
;
197 bmap
= (sbitmap
) xrealloc (src
, amt
);
198 bmap
->n_bits
= n_elms
;
203 /* Allocate a vector of N_VECS bitmaps of N_ELMS bits. */
206 sbitmap_vector_alloc (unsigned int n_vecs
, unsigned int n_elms
)
208 unsigned int i
, bytes
, offset
, elm_bytes
, size
, amt
, vector_bytes
;
209 sbitmap
*bitmap_vector
;
211 size
= SBITMAP_SET_SIZE (n_elms
);
212 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
213 elm_bytes
= (sizeof (struct simple_bitmap_def
)
214 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
215 vector_bytes
= n_vecs
* sizeof (sbitmap
*);
217 /* Round up `vector_bytes' to account for the alignment requirements
218 of an sbitmap. One could allocate the vector-table and set of sbitmaps
219 separately, but that requires maintaining two pointers or creating
220 a cover struct to hold both pointers (so our result is still just
221 one pointer). Neither is a bad idea, but this is simpler for now. */
223 /* Based on DEFAULT_ALIGNMENT computation in obstack.c. */
224 struct { char x
; SBITMAP_ELT_TYPE y
; } align
;
225 int alignment
= (char *) & align
.y
- & align
.x
;
226 vector_bytes
= (vector_bytes
+ alignment
- 1) & ~ (alignment
- 1);
229 amt
= vector_bytes
+ (n_vecs
* elm_bytes
);
230 bitmap_vector
= (sbitmap
*) xmalloc (amt
);
232 for (i
= 0, offset
= vector_bytes
; i
< n_vecs
; i
++, offset
+= elm_bytes
)
234 sbitmap b
= (sbitmap
) ((char *) bitmap_vector
+ offset
);
236 bitmap_vector
[i
] = b
;
242 return bitmap_vector
;
245 /* Copy sbitmap SRC to DST. */
248 bitmap_copy (sbitmap dst
, const_sbitmap src
)
250 memcpy (dst
->elms
, src
->elms
, sizeof (SBITMAP_ELT_TYPE
) * dst
->size
);
252 memcpy (dst
->popcount
, src
->popcount
, sizeof (unsigned char) * dst
->size
);
255 /* Determine if a == b. */
257 bitmap_equal_p (const_sbitmap a
, const_sbitmap b
)
259 return !memcmp (a
->elms
, b
->elms
, sizeof (SBITMAP_ELT_TYPE
) * a
->size
);
262 /* Return true if the bitmap is empty. */
265 bitmap_empty_p (const_sbitmap bmap
)
268 for (i
=0; i
<bmap
->size
; i
++)
276 /* Zero all elements in a bitmap. */
279 bitmap_clear (sbitmap bmap
)
281 memset (bmap
->elms
, 0, sbitmap_size_bytes (bmap
));
283 memset (bmap
->popcount
, 0, bmap
->size
* sizeof (unsigned char));
286 /* Set all elements in a bitmap to ones. */
289 bitmap_ones (sbitmap bmap
)
291 unsigned int last_bit
;
293 memset (bmap
->elms
, -1, sbitmap_size_bytes (bmap
));
295 memset (bmap
->popcount
, -1, bmap
->size
* sizeof (unsigned char));
297 last_bit
= bmap
->n_bits
% SBITMAP_ELT_BITS
;
300 bmap
->elms
[bmap
->size
- 1]
301 = (SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
);
303 bmap
->popcount
[bmap
->size
- 1]
304 = do_popcount (bmap
->elms
[bmap
->size
- 1]);
308 /* Zero a vector of N_VECS bitmaps. */
311 bitmap_vector_clear (sbitmap
*bmap
, unsigned int n_vecs
)
315 for (i
= 0; i
< n_vecs
; i
++)
316 bitmap_clear (bmap
[i
]);
319 /* Set a vector of N_VECS bitmaps to ones. */
322 bitmap_vector_ones (sbitmap
*bmap
, unsigned int n_vecs
)
326 for (i
= 0; i
< n_vecs
; i
++)
327 bitmap_ones (bmap
[i
]);
330 /* Set DST to be A union (B - C).
332 Returns true if any change is made. */
335 bitmap_ior_and_compl (sbitmap dst
, const_sbitmap a
, const_sbitmap b
, const_sbitmap c
)
337 unsigned int i
, n
= dst
->size
;
338 sbitmap_ptr dstp
= dst
->elms
;
339 const_sbitmap_ptr ap
= a
->elms
;
340 const_sbitmap_ptr bp
= b
->elms
;
341 const_sbitmap_ptr cp
= c
->elms
;
342 SBITMAP_ELT_TYPE changed
= 0;
344 gcc_assert (!dst
->popcount
);
346 for (i
= 0; i
< n
; i
++)
348 const SBITMAP_ELT_TYPE tmp
= *ap
++ | (*bp
++ & ~*cp
++);
349 changed
|= *dstp
^ tmp
;
356 /* Set bitmap DST to the bitwise negation of the bitmap SRC. */
359 bitmap_not (sbitmap dst
, const_sbitmap src
)
361 unsigned int i
, n
= dst
->size
;
362 sbitmap_ptr dstp
= dst
->elms
;
363 const_sbitmap_ptr srcp
= src
->elms
;
364 unsigned int last_bit
;
366 gcc_assert (!dst
->popcount
);
368 for (i
= 0; i
< n
; i
++)
371 /* Zero all bits past n_bits, by ANDing dst with bitmap_ones. */
372 last_bit
= src
->n_bits
% SBITMAP_ELT_BITS
;
374 dst
->elms
[n
-1] = dst
->elms
[n
-1]
375 & ((SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
));
378 /* Set the bits in DST to be the difference between the bits
379 in A and the bits in B. i.e. dst = a & (~b). */
382 bitmap_and_compl (sbitmap dst
, const_sbitmap a
, const_sbitmap b
)
384 unsigned int i
, dst_size
= dst
->size
;
385 unsigned int min_size
= dst
->size
;
386 sbitmap_ptr dstp
= dst
->elms
;
387 const_sbitmap_ptr ap
= a
->elms
;
388 const_sbitmap_ptr bp
= b
->elms
;
390 gcc_assert (!dst
->popcount
);
392 /* A should be at least as large as DEST, to have a defined source. */
393 gcc_assert (a
->size
>= dst_size
);
394 /* If minuend is smaller, we simply pretend it to be zero bits, i.e.
395 only copy the subtrahend into dest. */
396 if (b
->size
< min_size
)
398 for (i
= 0; i
< min_size
; i
++)
399 *dstp
++ = *ap
++ & (~*bp
++);
400 /* Now fill the rest of dest from A, if B was too short.
401 This makes sense only when destination and A differ. */
402 if (dst
!= a
&& i
!= dst_size
)
403 for (; i
< dst_size
; i
++)
407 /* Return true if there are any bits set in A are also set in B.
408 Return false otherwise. */
411 bitmap_intersect_p (const_sbitmap a
, const_sbitmap b
)
413 const_sbitmap_ptr ap
= a
->elms
;
414 const_sbitmap_ptr bp
= b
->elms
;
417 n
= MIN (a
->size
, b
->size
);
418 for (i
= 0; i
< n
; i
++)
419 if ((*ap
++ & *bp
++) != 0)
425 /* Set DST to be (A and B).
426 Return nonzero if any change is made. */
429 bitmap_and (sbitmap dst
, const_sbitmap a
, const_sbitmap b
)
431 unsigned int i
, n
= dst
->size
;
432 sbitmap_ptr dstp
= dst
->elms
;
433 const_sbitmap_ptr ap
= a
->elms
;
434 const_sbitmap_ptr bp
= b
->elms
;
435 bool has_popcount
= dst
->popcount
!= NULL
;
436 unsigned char *popcountp
= dst
->popcount
;
437 bool anychange
= false;
439 for (i
= 0; i
< n
; i
++)
441 const SBITMAP_ELT_TYPE tmp
= *ap
++ & *bp
++;
444 bool wordchanged
= (*dstp
^ tmp
) != 0;
447 *popcountp
= do_popcount (tmp
);
454 #ifdef BITMAP_DEBUGGING
456 sbitmap_verify_popcount (dst
);
461 /* Set DST to be (A xor B)).
462 Return nonzero if any change is made. */
465 bitmap_xor (sbitmap dst
, const_sbitmap a
, const_sbitmap b
)
467 unsigned int i
, n
= dst
->size
;
468 sbitmap_ptr dstp
= dst
->elms
;
469 const_sbitmap_ptr ap
= a
->elms
;
470 const_sbitmap_ptr bp
= b
->elms
;
471 bool has_popcount
= dst
->popcount
!= NULL
;
472 unsigned char *popcountp
= dst
->popcount
;
473 bool anychange
= false;
475 for (i
= 0; i
< n
; i
++)
477 const SBITMAP_ELT_TYPE tmp
= *ap
++ ^ *bp
++;
480 bool wordchanged
= (*dstp
^ tmp
) != 0;
483 *popcountp
= do_popcount (tmp
);
490 #ifdef BITMAP_DEBUGGING
492 sbitmap_verify_popcount (dst
);
497 /* Set DST to be (A or B)).
498 Return nonzero if any change is made. */
501 bitmap_ior (sbitmap dst
, const_sbitmap a
, const_sbitmap b
)
503 unsigned int i
, n
= dst
->size
;
504 sbitmap_ptr dstp
= dst
->elms
;
505 const_sbitmap_ptr ap
= a
->elms
;
506 const_sbitmap_ptr bp
= b
->elms
;
507 bool has_popcount
= dst
->popcount
!= NULL
;
508 unsigned char *popcountp
= dst
->popcount
;
509 bool anychange
= false;
511 for (i
= 0; i
< n
; i
++)
513 const SBITMAP_ELT_TYPE tmp
= *ap
++ | *bp
++;
516 bool wordchanged
= (*dstp
^ tmp
) != 0;
519 *popcountp
= do_popcount (tmp
);
526 #ifdef BITMAP_DEBUGGING
528 sbitmap_verify_popcount (dst
);
533 /* Return nonzero if A is a subset of B. */
536 bitmap_subset_p (const_sbitmap a
, const_sbitmap b
)
538 unsigned int i
, n
= a
->size
;
539 const_sbitmap_ptr ap
, bp
;
541 for (ap
= a
->elms
, bp
= b
->elms
, i
= 0; i
< n
; i
++, ap
++, bp
++)
542 if ((*ap
| *bp
) != *bp
)
548 /* Set DST to be (A or (B and C)).
549 Return nonzero if any change is made. */
552 bitmap_or_and (sbitmap dst
, const_sbitmap a
, const_sbitmap b
, const_sbitmap c
)
554 unsigned int i
, n
= dst
->size
;
555 sbitmap_ptr dstp
= dst
->elms
;
556 const_sbitmap_ptr ap
= a
->elms
;
557 const_sbitmap_ptr bp
= b
->elms
;
558 const_sbitmap_ptr cp
= c
->elms
;
559 SBITMAP_ELT_TYPE changed
= 0;
561 gcc_assert (!dst
->popcount
);
563 for (i
= 0; i
< n
; i
++)
565 const SBITMAP_ELT_TYPE tmp
= *ap
++ | (*bp
++ & *cp
++);
566 changed
|= *dstp
^ tmp
;
573 /* Set DST to be (A and (B or C)).
574 Return nonzero if any change is made. */
577 bitmap_and_or (sbitmap dst
, const_sbitmap a
, const_sbitmap b
, const_sbitmap c
)
579 unsigned int i
, n
= dst
->size
;
580 sbitmap_ptr dstp
= dst
->elms
;
581 const_sbitmap_ptr ap
= a
->elms
;
582 const_sbitmap_ptr bp
= b
->elms
;
583 const_sbitmap_ptr cp
= c
->elms
;
584 SBITMAP_ELT_TYPE changed
= 0;
586 gcc_assert (!dst
->popcount
);
588 for (i
= 0; i
< n
; i
++)
590 const SBITMAP_ELT_TYPE tmp
= *ap
++ & (*bp
++ | *cp
++);
591 changed
|= *dstp
^ tmp
;
598 /* Return number of first bit set in the bitmap, -1 if none. */
601 bitmap_first_set_bit (const_sbitmap bmap
)
604 sbitmap_iterator sbi
;
606 EXECUTE_IF_SET_IN_BITMAP (bmap
, 0, n
, sbi
)
611 /* Return number of last bit set in the bitmap, -1 if none. */
614 bitmap_last_set_bit (const_sbitmap bmap
)
617 const SBITMAP_ELT_TYPE
*const ptr
= bmap
->elms
;
619 for (i
= bmap
->size
- 1; i
>= 0; i
--)
621 const SBITMAP_ELT_TYPE word
= ptr
[i
];
625 unsigned int index
= (i
+ 1) * SBITMAP_ELT_BITS
- 1;
626 SBITMAP_ELT_TYPE mask
627 = (SBITMAP_ELT_TYPE
) 1 << (SBITMAP_ELT_BITS
- 1);
631 if ((word
& mask
) != 0)
644 dump_bitmap (FILE *file
, const_sbitmap bmap
)
646 unsigned int i
, n
, j
;
647 unsigned int set_size
= bmap
->size
;
648 unsigned int total_bits
= bmap
->n_bits
;
651 for (i
= n
= 0; i
< set_size
&& n
< total_bits
; i
++)
652 for (j
= 0; j
< SBITMAP_ELT_BITS
&& n
< total_bits
; j
++, n
++)
654 if (n
!= 0 && n
% 10 == 0)
658 (bmap
->elms
[i
] & ((SBITMAP_ELT_TYPE
) 1 << j
)) != 0);
661 fprintf (file
, "\n");
665 dump_bitmap_file (FILE *file
, const_sbitmap bmap
)
669 fprintf (file
, "n_bits = %d, set = {", bmap
->n_bits
);
671 for (pos
= 30, i
= 0; i
< bmap
->n_bits
; i
++)
672 if (bitmap_bit_p (bmap
, i
))
676 fprintf (file
, "\n ");
680 fprintf (file
, "%d ", i
);
681 pos
+= 2 + (i
>= 10) + (i
>= 100) + (i
>= 1000);
684 fprintf (file
, "}\n");
688 debug_bitmap (const_sbitmap bmap
)
690 dump_bitmap_file (stderr
, bmap
);
694 dump_bitmap_vector (FILE *file
, const char *title
, const char *subtitle
,
695 sbitmap
*bmaps
, int n_maps
)
699 fprintf (file
, "%s\n", title
);
700 for (i
= 0; i
< n_maps
; i
++)
702 fprintf (file
, "%s %d\n", subtitle
, i
);
703 dump_bitmap (file
, bmaps
[i
]);
706 fprintf (file
, "\n");
709 #if GCC_VERSION < 3400
710 /* Table of number of set bits in a character, indexed by value of char. */
711 static const unsigned char popcount_table
[] =
713 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,
714 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,
715 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,
716 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,
717 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,
718 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,
719 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,
720 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,
723 /* Count the bits in an SBITMAP element A. */
726 sbitmap_elt_popcount (SBITMAP_ELT_TYPE a
)
728 unsigned long ret
= 0;
734 /* Just do this the table way for now */
735 for (i
= 0; i
< SBITMAP_ELT_BITS
; i
+= 8)
736 ret
+= popcount_table
[(a
>> i
) & 0xff];