2 Copyright (C) 1999, 2000, 2002, 2003 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 2, 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 COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
23 #include "coretypes.h"
27 #include "hard-reg-set.h"
28 #include "basic-block.h"
30 /* Bitmap manipulation routines. */
32 /* Allocate a simple bitmap of N_ELMS bits. */
35 sbitmap_alloc (unsigned int n_elms
)
37 unsigned int bytes
, size
, amt
;
40 size
= SBITMAP_SET_SIZE (n_elms
);
41 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
42 amt
= (sizeof (struct simple_bitmap_def
)
43 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
45 bmap
->n_bits
= n_elms
;
51 /* Resize a simple bitmap BMAP to N_ELMS bits. If increasing the
52 size of BMAP, clear the new bits to zero if the DEF argument
53 is zero, and set them to one otherwise. */
56 sbitmap_resize (sbitmap bmap
, unsigned int n_elms
, int def
)
58 unsigned int bytes
, size
, amt
;
59 unsigned int last_bit
;
61 size
= SBITMAP_SET_SIZE (n_elms
);
62 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
63 if (bytes
> bmap
->bytes
)
65 amt
= (sizeof (struct simple_bitmap_def
)
66 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
67 bmap
= xrealloc (bmap
, amt
);
70 if (n_elms
> bmap
->n_bits
)
74 memset (bmap
->elms
+ bmap
->size
, -1, bytes
- bmap
->bytes
);
76 /* Set the new bits if the original last element. */
77 last_bit
= bmap
->n_bits
% SBITMAP_ELT_BITS
;
79 bmap
->elms
[bmap
->size
- 1]
80 |= ~((SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
));
82 /* Clear the unused bit in the new last element. */
83 last_bit
= n_elms
% SBITMAP_ELT_BITS
;
86 &= (SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
);
89 memset (bmap
->elms
+ bmap
->size
, 0, bytes
- bmap
->bytes
);
91 else if (n_elms
< bmap
->n_bits
)
93 /* Clear the surplus bits in the last word. */
94 last_bit
= n_elms
% SBITMAP_ELT_BITS
;
97 &= (SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
);
100 bmap
->n_bits
= n_elms
;
106 /* Re-allocate a simple bitmap of N_ELMS bits. New storage is uninitialized. */
109 sbitmap_realloc (sbitmap src
, unsigned int n_elms
)
111 unsigned int bytes
, size
, amt
;
114 size
= SBITMAP_SET_SIZE (n_elms
);
115 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
116 amt
= (sizeof (struct simple_bitmap_def
)
117 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
119 if (src
->bytes
>= bytes
)
121 src
->n_bits
= n_elms
;
125 bmap
= (sbitmap
) xrealloc (src
, amt
);
126 bmap
->n_bits
= n_elms
;
132 /* Allocate a vector of N_VECS bitmaps of N_ELMS bits. */
135 sbitmap_vector_alloc (unsigned int n_vecs
, unsigned int n_elms
)
137 unsigned int i
, bytes
, offset
, elm_bytes
, size
, amt
, vector_bytes
;
138 sbitmap
*bitmap_vector
;
140 size
= SBITMAP_SET_SIZE (n_elms
);
141 bytes
= size
* sizeof (SBITMAP_ELT_TYPE
);
142 elm_bytes
= (sizeof (struct simple_bitmap_def
)
143 + bytes
- sizeof (SBITMAP_ELT_TYPE
));
144 vector_bytes
= n_vecs
* sizeof (sbitmap
*);
146 /* Round up `vector_bytes' to account for the alignment requirements
147 of an sbitmap. One could allocate the vector-table and set of sbitmaps
148 separately, but that requires maintaining two pointers or creating
149 a cover struct to hold both pointers (so our result is still just
150 one pointer). Neither is a bad idea, but this is simpler for now. */
152 /* Based on DEFAULT_ALIGNMENT computation in obstack.c. */
153 struct { char x
; SBITMAP_ELT_TYPE y
; } align
;
154 int alignment
= (char *) & align
.y
- & align
.x
;
155 vector_bytes
= (vector_bytes
+ alignment
- 1) & ~ (alignment
- 1);
158 amt
= vector_bytes
+ (n_vecs
* elm_bytes
);
159 bitmap_vector
= xmalloc (amt
);
161 for (i
= 0, offset
= vector_bytes
; i
< n_vecs
; i
++, offset
+= elm_bytes
)
163 sbitmap b
= (sbitmap
) ((char *) bitmap_vector
+ offset
);
165 bitmap_vector
[i
] = b
;
171 return bitmap_vector
;
174 /* Copy sbitmap SRC to DST. */
177 sbitmap_copy (sbitmap dst
, sbitmap src
)
179 memcpy (dst
->elms
, src
->elms
, sizeof (SBITMAP_ELT_TYPE
) * dst
->size
);
182 /* Determine if a == b. */
184 sbitmap_equal (sbitmap a
, sbitmap b
)
186 return !memcmp (a
->elms
, b
->elms
, sizeof (SBITMAP_ELT_TYPE
) * a
->size
);
189 /* Zero all elements in a bitmap. */
192 sbitmap_zero (sbitmap bmap
)
194 memset (bmap
->elms
, 0, bmap
->bytes
);
197 /* Set all elements in a bitmap to ones. */
200 sbitmap_ones (sbitmap bmap
)
202 unsigned int last_bit
;
204 memset (bmap
->elms
, -1, bmap
->bytes
);
206 last_bit
= bmap
->n_bits
% SBITMAP_ELT_BITS
;
208 bmap
->elms
[bmap
->size
- 1]
209 = (SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
);
212 /* Zero a vector of N_VECS bitmaps. */
215 sbitmap_vector_zero (sbitmap
*bmap
, unsigned int n_vecs
)
219 for (i
= 0; i
< n_vecs
; i
++)
220 sbitmap_zero (bmap
[i
]);
223 /* Set a vector of N_VECS bitmaps to ones. */
226 sbitmap_vector_ones (sbitmap
*bmap
, unsigned int n_vecs
)
230 for (i
= 0; i
< n_vecs
; i
++)
231 sbitmap_ones (bmap
[i
]);
234 /* Set DST to be A union (B - C).
236 Returns true if any change is made. */
239 sbitmap_union_of_diff_cg (sbitmap dst
, sbitmap a
, sbitmap b
, sbitmap c
)
241 unsigned int i
, n
= dst
->size
;
242 sbitmap_ptr dstp
= dst
->elms
;
243 sbitmap_ptr ap
= a
->elms
;
244 sbitmap_ptr bp
= b
->elms
;
245 sbitmap_ptr cp
= c
->elms
;
246 SBITMAP_ELT_TYPE changed
= 0;
248 for (i
= 0; i
< n
; i
++)
250 SBITMAP_ELT_TYPE tmp
= *ap
++ | (*bp
++ & ~*cp
++);
251 changed
|= *dstp
^ tmp
;
259 sbitmap_union_of_diff (sbitmap dst
, sbitmap a
, sbitmap b
, sbitmap c
)
261 unsigned int i
, n
= dst
->size
;
262 sbitmap_ptr dstp
= dst
->elms
;
263 sbitmap_ptr ap
= a
->elms
;
264 sbitmap_ptr bp
= b
->elms
;
265 sbitmap_ptr cp
= c
->elms
;
267 for (i
= 0; i
< n
; i
++)
268 *dstp
++ = *ap
++ | (*bp
++ & ~*cp
++);
271 /* Set bitmap DST to the bitwise negation of the bitmap SRC. */
274 sbitmap_not (sbitmap dst
, sbitmap src
)
276 unsigned int i
, n
= dst
->size
;
277 sbitmap_ptr dstp
= dst
->elms
;
278 sbitmap_ptr srcp
= src
->elms
;
279 unsigned int last_bit
;
281 for (i
= 0; i
< n
; i
++)
284 /* Zero all bits past n_bits, by ANDing dst with sbitmap_ones. */
285 last_bit
= src
->n_bits
% SBITMAP_ELT_BITS
;
287 dst
->elms
[n
-1] = dst
->elms
[n
-1]
288 & ((SBITMAP_ELT_TYPE
)-1 >> (SBITMAP_ELT_BITS
- last_bit
));
291 /* Set the bits in DST to be the difference between the bits
292 in A and the bits in B. i.e. dst = a & (~b). */
295 sbitmap_difference (sbitmap dst
, sbitmap a
, sbitmap b
)
297 unsigned int i
, dst_size
= dst
->size
;
298 unsigned int min_size
= dst
->size
;
299 sbitmap_ptr dstp
= dst
->elms
;
300 sbitmap_ptr ap
= a
->elms
;
301 sbitmap_ptr bp
= b
->elms
;
303 /* A should be at least as large as DEST, to have a defined source. */
304 if (a
->size
< dst_size
)
306 /* If minuend is smaller, we simply pretend it to be zero bits, i.e.
307 only copy the subtrahend into dest. */
308 if (b
->size
< min_size
)
310 for (i
= 0; i
< min_size
; i
++)
311 *dstp
++ = *ap
++ & (~*bp
++);
312 /* Now fill the rest of dest from A, if B was too short.
313 This makes sense only when destination and A differ. */
314 if (dst
!= a
&& i
!= dst_size
)
315 for (; i
< dst_size
; i
++)
319 /* Set DST to be (A and B).
320 Return nonzero if any change is made. */
323 sbitmap_a_and_b_cg (sbitmap dst
, sbitmap a
, sbitmap b
)
325 unsigned int i
, n
= dst
->size
;
326 sbitmap_ptr dstp
= dst
->elms
;
327 sbitmap_ptr ap
= a
->elms
;
328 sbitmap_ptr bp
= b
->elms
;
329 SBITMAP_ELT_TYPE changed
= 0;
331 for (i
= 0; i
< n
; i
++)
333 SBITMAP_ELT_TYPE tmp
= *ap
++ & *bp
++;
334 changed
|= *dstp
^ tmp
;
342 sbitmap_a_and_b (sbitmap dst
, sbitmap a
, sbitmap b
)
344 unsigned int i
, n
= dst
->size
;
345 sbitmap_ptr dstp
= dst
->elms
;
346 sbitmap_ptr ap
= a
->elms
;
347 sbitmap_ptr bp
= b
->elms
;
349 for (i
= 0; i
< n
; i
++)
350 *dstp
++ = *ap
++ & *bp
++;
353 /* Set DST to be (A xor B)).
354 Return nonzero if any change is made. */
357 sbitmap_a_xor_b_cg (sbitmap dst
, sbitmap a
, sbitmap b
)
359 unsigned int i
, n
= dst
->size
;
360 sbitmap_ptr dstp
= dst
->elms
;
361 sbitmap_ptr ap
= a
->elms
;
362 sbitmap_ptr bp
= b
->elms
;
363 SBITMAP_ELT_TYPE changed
= 0;
365 for (i
= 0; i
< n
; i
++)
367 SBITMAP_ELT_TYPE tmp
= *ap
++ ^ *bp
++;
368 changed
|= *dstp
^ tmp
;
376 sbitmap_a_xor_b (sbitmap dst
, sbitmap a
, sbitmap b
)
378 unsigned int i
, n
= dst
->size
;
379 sbitmap_ptr dstp
= dst
->elms
;
380 sbitmap_ptr ap
= a
->elms
;
381 sbitmap_ptr bp
= b
->elms
;
383 for (i
= 0; i
< n
; i
++)
384 *dstp
++ = *ap
++ ^ *bp
++;
387 /* Set DST to be (A or B)).
388 Return nonzero if any change is made. */
391 sbitmap_a_or_b_cg (sbitmap dst
, sbitmap a
, sbitmap b
)
393 unsigned int i
, n
= dst
->size
;
394 sbitmap_ptr dstp
= dst
->elms
;
395 sbitmap_ptr ap
= a
->elms
;
396 sbitmap_ptr bp
= b
->elms
;
397 SBITMAP_ELT_TYPE changed
= 0;
399 for (i
= 0; i
< n
; i
++)
401 SBITMAP_ELT_TYPE tmp
= *ap
++ | *bp
++;
402 changed
|= *dstp
^ tmp
;
410 sbitmap_a_or_b (sbitmap dst
, sbitmap a
, sbitmap b
)
412 unsigned int i
, n
= dst
->size
;
413 sbitmap_ptr dstp
= dst
->elms
;
414 sbitmap_ptr ap
= a
->elms
;
415 sbitmap_ptr bp
= b
->elms
;
417 for (i
= 0; i
< n
; i
++)
418 *dstp
++ = *ap
++ | *bp
++;
421 /* Return nonzero if A is a subset of B. */
424 sbitmap_a_subset_b_p (sbitmap a
, sbitmap b
)
426 unsigned int i
, n
= a
->size
;
429 for (ap
= a
->elms
, bp
= b
->elms
, i
= 0; i
< n
; i
++, ap
++, bp
++)
430 if ((*ap
| *bp
) != *bp
)
436 /* Set DST to be (A or (B and C)).
437 Return nonzero if any change is made. */
440 sbitmap_a_or_b_and_c_cg (sbitmap dst
, sbitmap a
, sbitmap b
, sbitmap c
)
442 unsigned int i
, n
= dst
->size
;
443 sbitmap_ptr dstp
= dst
->elms
;
444 sbitmap_ptr ap
= a
->elms
;
445 sbitmap_ptr bp
= b
->elms
;
446 sbitmap_ptr cp
= c
->elms
;
447 SBITMAP_ELT_TYPE changed
= 0;
449 for (i
= 0; i
< n
; i
++)
451 SBITMAP_ELT_TYPE tmp
= *ap
++ | (*bp
++ & *cp
++);
452 changed
|= *dstp
^ tmp
;
460 sbitmap_a_or_b_and_c (sbitmap dst
, sbitmap a
, sbitmap b
, sbitmap c
)
462 unsigned int i
, n
= dst
->size
;
463 sbitmap_ptr dstp
= dst
->elms
;
464 sbitmap_ptr ap
= a
->elms
;
465 sbitmap_ptr bp
= b
->elms
;
466 sbitmap_ptr cp
= c
->elms
;
468 for (i
= 0; i
< n
; i
++)
469 *dstp
++ = *ap
++ | (*bp
++ & *cp
++);
472 /* Set DST to be (A and (B or C)).
473 Return nonzero if any change is made. */
476 sbitmap_a_and_b_or_c_cg (sbitmap dst
, sbitmap a
, sbitmap b
, sbitmap c
)
478 unsigned int i
, n
= dst
->size
;
479 sbitmap_ptr dstp
= dst
->elms
;
480 sbitmap_ptr ap
= a
->elms
;
481 sbitmap_ptr bp
= b
->elms
;
482 sbitmap_ptr cp
= c
->elms
;
483 SBITMAP_ELT_TYPE changed
= 0;
485 for (i
= 0; i
< n
; i
++)
487 SBITMAP_ELT_TYPE tmp
= *ap
++ & (*bp
++ | *cp
++);
488 changed
|= *dstp
^ tmp
;
496 sbitmap_a_and_b_or_c (sbitmap dst
, sbitmap a
, sbitmap b
, sbitmap c
)
498 unsigned int i
, n
= dst
->size
;
499 sbitmap_ptr dstp
= dst
->elms
;
500 sbitmap_ptr ap
= a
->elms
;
501 sbitmap_ptr bp
= b
->elms
;
502 sbitmap_ptr cp
= c
->elms
;
504 for (i
= 0; i
< n
; i
++)
505 *dstp
++ = *ap
++ & (*bp
++ | *cp
++);
509 /* Set the bitmap DST to the intersection of SRC of successors of
510 block number BB, using the new flow graph structures. */
513 sbitmap_intersection_of_succs (sbitmap dst
, sbitmap
*src
, int bb
)
515 basic_block b
= BASIC_BLOCK (bb
);
516 unsigned int set_size
= dst
->size
;
520 for (ix
= 0; ix
< EDGE_COUNT (b
->succs
); ix
++)
522 e
= EDGE_SUCC (b
, ix
);
523 if (e
->dest
== EXIT_BLOCK_PTR
)
526 sbitmap_copy (dst
, src
[e
->dest
->index
]);
533 for (++ix
; ix
< EDGE_COUNT (b
->succs
); ix
++)
538 e
= EDGE_SUCC (b
, ix
);
539 if (e
->dest
== EXIT_BLOCK_PTR
)
542 p
= src
[e
->dest
->index
]->elms
;
544 for (i
= 0; i
< set_size
; i
++)
549 /* Set the bitmap DST to the intersection of SRC of predecessors of
550 block number BB, using the new flow graph structures. */
553 sbitmap_intersection_of_preds (sbitmap dst
, sbitmap
*src
, int bb
)
555 basic_block b
= BASIC_BLOCK (bb
);
556 unsigned int set_size
= dst
->size
;
560 for (ix
= 0; ix
< EDGE_COUNT (b
->preds
); ix
++)
562 e
= EDGE_PRED (b
, ix
);
563 if (e
->src
== ENTRY_BLOCK_PTR
)
566 sbitmap_copy (dst
, src
[e
->src
->index
]);
573 for (++ix
; ix
< EDGE_COUNT (b
->preds
); ix
++)
578 e
= EDGE_PRED (b
, ix
);
579 if (e
->src
== ENTRY_BLOCK_PTR
)
582 p
= src
[e
->src
->index
]->elms
;
584 for (i
= 0; i
< set_size
; i
++)
589 /* Set the bitmap DST to the union of SRC of successors of
590 block number BB, using the new flow graph structures. */
593 sbitmap_union_of_succs (sbitmap dst
, sbitmap
*src
, int bb
)
595 basic_block b
= BASIC_BLOCK (bb
);
596 unsigned int set_size
= dst
->size
;
600 for (ix
= 0; ix
< EDGE_COUNT (b
->succs
); ix
++)
602 e
= EDGE_SUCC (b
, ix
);
603 if (e
->dest
== EXIT_BLOCK_PTR
)
606 sbitmap_copy (dst
, src
[e
->dest
->index
]);
610 if (ix
== EDGE_COUNT (b
->succs
))
613 for (ix
++; ix
< EDGE_COUNT (b
->succs
); ix
++)
618 e
= EDGE_SUCC (b
, ix
);
619 if (e
->dest
== EXIT_BLOCK_PTR
)
622 p
= src
[e
->dest
->index
]->elms
;
624 for (i
= 0; i
< set_size
; i
++)
629 /* Set the bitmap DST to the union of SRC of predecessors of
630 block number BB, using the new flow graph structures. */
633 sbitmap_union_of_preds (sbitmap dst
, sbitmap
*src
, int bb
)
635 basic_block b
= BASIC_BLOCK (bb
);
636 unsigned int set_size
= dst
->size
;
640 for (ix
= 0; ix
< EDGE_COUNT (b
->preds
); ix
++)
642 if (e
->src
== ENTRY_BLOCK_PTR
)
645 sbitmap_copy (dst
, src
[e
->src
->index
]);
649 if (ix
== EDGE_COUNT (b
->preds
))
652 for (ix
++; ix
< EDGE_COUNT (b
->preds
); ix
++)
657 e
= EDGE_PRED (b
, ix
);
658 if (e
->src
== ENTRY_BLOCK_PTR
)
661 p
= src
[e
->src
->index
]->elms
;
663 for (i
= 0; i
< set_size
; i
++)
669 /* Return number of first bit set in the bitmap, -1 if none. */
672 sbitmap_first_set_bit (sbitmap bmap
)
676 EXECUTE_IF_SET_IN_SBITMAP (bmap
, 0, n
, { return n
; });
680 /* Return number of last bit set in the bitmap, -1 if none. */
683 sbitmap_last_set_bit (sbitmap bmap
)
686 SBITMAP_ELT_TYPE
*ptr
= bmap
->elms
;
688 for (i
= bmap
->size
- 1; i
>= 0; i
--)
690 SBITMAP_ELT_TYPE word
= ptr
[i
];
694 unsigned int index
= (i
+ 1) * SBITMAP_ELT_BITS
- 1;
695 SBITMAP_ELT_TYPE mask
696 = (SBITMAP_ELT_TYPE
) 1 << (SBITMAP_ELT_BITS
- 1);
700 if ((word
& mask
) != 0)
713 dump_sbitmap (FILE *file
, sbitmap bmap
)
715 unsigned int i
, n
, j
;
716 unsigned int set_size
= bmap
->size
;
717 unsigned int total_bits
= bmap
->n_bits
;
720 for (i
= n
= 0; i
< set_size
&& n
< total_bits
; i
++)
721 for (j
= 0; j
< SBITMAP_ELT_BITS
&& n
< total_bits
; j
++, n
++)
723 if (n
!= 0 && n
% 10 == 0)
727 (bmap
->elms
[i
] & ((SBITMAP_ELT_TYPE
) 1 << j
)) != 0);
730 fprintf (file
, "\n");
734 dump_sbitmap_file (FILE *file
, sbitmap bmap
)
738 fprintf (file
, "n_bits = %d, set = {", bmap
->n_bits
);
740 for (pos
= 30, i
= 0; i
< bmap
->n_bits
; i
++)
741 if (TEST_BIT (bmap
, i
))
745 fprintf (file
, "\n ");
749 fprintf (file
, "%d ", i
);
750 pos
+= 2 + (i
>= 10) + (i
>= 100) + (i
>= 1000);
753 fprintf (file
, "}\n");
757 debug_sbitmap (sbitmap bmap
)
759 dump_sbitmap_file (stderr
, bmap
);
763 dump_sbitmap_vector (FILE *file
, const char *title
, const char *subtitle
,
764 sbitmap
*bmaps
, int n_maps
)
768 fprintf (file
, "%s\n", title
);
769 for (bb
= 0; bb
< n_maps
; bb
++)
771 fprintf (file
, "%s %d\n", subtitle
, bb
);
772 dump_sbitmap (file
, bmaps
[bb
]);
775 fprintf (file
, "\n");