1999-08-26 09:30:50 +00:00
|
|
|
/* Functions to support general ended bitmaps.
|
2002-02-01 18:16:02 +00:00
|
|
|
Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002
|
|
|
|
Free Software Foundation, Inc.
|
1999-08-26 09:30:50 +00:00
|
|
|
|
2002-02-01 18:16:02 +00:00
|
|
|
This file is part of GCC.
|
1999-08-26 09:30:50 +00:00
|
|
|
|
2002-02-01 18:16:02 +00:00
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
|
|
the terms of the GNU General Public License as published by the Free
|
|
|
|
Software Foundation; either version 2, or (at your option) any later
|
|
|
|
version.
|
1999-08-26 09:30:50 +00:00
|
|
|
|
2002-02-01 18:16:02 +00:00
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
|
for more details.
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
2002-02-01 18:16:02 +00:00
|
|
|
along with GCC; see the file COPYING. If not, write to the Free
|
|
|
|
Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
|
|
|
02111-1307, USA. */
|
|
|
|
|
|
|
|
#ifndef GCC_BITMAP_H
|
|
|
|
#define GCC_BITMAP_H
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Number of words to use for each element in the linked list. */
|
|
|
|
|
|
|
|
#ifndef BITMAP_ELEMENT_WORDS
|
|
|
|
#define BITMAP_ELEMENT_WORDS 2
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Number of bits in each actual element of a bitmap. We get slightly better
|
|
|
|
code for bit % BITMAP_ELEMENT_ALL_BITS and bit / BITMAP_ELEMENT_ALL_BITS if
|
|
|
|
bits is unsigned, assuming it is a power of 2. */
|
|
|
|
|
|
|
|
#define BITMAP_ELEMENT_ALL_BITS \
|
|
|
|
((unsigned) (BITMAP_ELEMENT_WORDS * HOST_BITS_PER_WIDE_INT))
|
|
|
|
|
|
|
|
/* Bitmap set element. We use a linked list to hold only the bits that
|
|
|
|
are set. This allows for use to grow the bitset dynamically without
|
|
|
|
having to realloc and copy a giant bit array. The `prev' field is
|
|
|
|
undefined for an element on the free list. */
|
|
|
|
|
|
|
|
typedef struct bitmap_element_def
|
|
|
|
{
|
2002-02-01 18:16:02 +00:00
|
|
|
struct bitmap_element_def *next; /* Next element. */
|
|
|
|
struct bitmap_element_def *prev; /* Previous element. */
|
|
|
|
unsigned int indx; /* regno/BITMAP_ELEMENT_ALL_BITS. */
|
|
|
|
unsigned HOST_WIDE_INT bits[BITMAP_ELEMENT_WORDS]; /* Bits that are set. */
|
1999-08-26 09:30:50 +00:00
|
|
|
} bitmap_element;
|
|
|
|
|
|
|
|
/* Head of bitmap linked list. */
|
|
|
|
typedef struct bitmap_head_def {
|
2002-02-01 18:16:02 +00:00
|
|
|
bitmap_element *first; /* First element in linked list. */
|
|
|
|
bitmap_element *current; /* Last element looked at. */
|
|
|
|
unsigned int indx; /* Index of last element looked at. */
|
|
|
|
|
1999-08-26 09:30:50 +00:00
|
|
|
} bitmap_head, *bitmap;
|
|
|
|
|
|
|
|
/* Enumeration giving the various operations we support. */
|
|
|
|
enum bitmap_bits {
|
|
|
|
BITMAP_AND, /* TO = FROM1 & FROM2 */
|
|
|
|
BITMAP_AND_COMPL, /* TO = FROM1 & ~ FROM2 */
|
2002-02-01 18:16:02 +00:00
|
|
|
BITMAP_IOR, /* TO = FROM1 | FROM2 */
|
|
|
|
BITMAP_XOR, /* TO = FROM1 ^ FROM2 */
|
|
|
|
BITMAP_IOR_COMPL /* TO = FROM1 | ~FROM2 */
|
1999-08-26 09:30:50 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/* Global data */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern bitmap_element bitmap_zero_bits; /* Zero bitmap element */
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Clear a bitmap by freeing up the linked list. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void bitmap_clear PARAMS ((bitmap));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
2002-02-01 18:16:02 +00:00
|
|
|
/* Copy a bitmap to another bitmap. */
|
|
|
|
extern void bitmap_copy PARAMS ((bitmap, bitmap));
|
|
|
|
|
|
|
|
/* True if two bitmaps are identical. */
|
|
|
|
extern int bitmap_equal_p PARAMS ((bitmap, bitmap));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Perform an operation on two bitmaps, yielding a third. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern int bitmap_operation PARAMS ((bitmap, bitmap, bitmap, enum bitmap_bits));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* `or' into one bitmap the `and' of a second bitmap witih the complement
|
|
|
|
of a third. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void bitmap_ior_and_compl PARAMS ((bitmap, bitmap, bitmap));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Clear a single register in a register set. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void bitmap_clear_bit PARAMS ((bitmap, int));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Set a single register in a register set. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void bitmap_set_bit PARAMS ((bitmap, int));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Return true if a register is set in a register set. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern int bitmap_bit_p PARAMS ((bitmap, int));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Debug functions to print a bitmap linked list. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void debug_bitmap PARAMS ((bitmap));
|
|
|
|
extern void debug_bitmap_file PARAMS ((FILE *, bitmap));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Print a bitmap */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void bitmap_print PARAMS ((FILE *, bitmap, const char *, const char *));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Initialize a bitmap header. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern bitmap bitmap_initialize PARAMS ((bitmap));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Release all memory held by bitmaps. */
|
2002-02-01 18:16:02 +00:00
|
|
|
extern void bitmap_release_memory PARAMS ((void));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
2002-02-01 18:16:02 +00:00
|
|
|
/* A few compatibility/functions macros for compatibility with sbitmaps */
|
|
|
|
#define dump_bitmap(file, bitmap) bitmap_print (file, bitmap, "", "\n")
|
|
|
|
#define bitmap_zero(a) bitmap_clear (a)
|
|
|
|
#define bitmap_a_or_b(a,b,c) bitmap_operation (a, b, c, BITMAP_IOR)
|
|
|
|
#define bitmap_a_and_b(a,b,c) bitmap_operation (a, b, c, BITMAP_AND)
|
|
|
|
extern int bitmap_union_of_diff PARAMS((bitmap, bitmap, bitmap, bitmap));
|
|
|
|
extern int bitmap_first_set_bit PARAMS((bitmap));
|
|
|
|
extern int bitmap_last_set_bit PARAMS((bitmap));
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Allocate a bitmap with oballoc. */
|
|
|
|
#define BITMAP_OBSTACK_ALLOC(OBSTACK) \
|
|
|
|
bitmap_initialize ((bitmap) obstack_alloc (OBSTACK, sizeof (bitmap_head)))
|
|
|
|
|
2002-02-01 18:16:02 +00:00
|
|
|
/* Allocate a bitmap with alloca. Note alloca cannot be passed as an
|
|
|
|
argument to a function, so we set a temporary variable to the value
|
|
|
|
returned by alloca and pass that variable to bitmap_initialize().
|
|
|
|
PTR is then set to the value returned from bitmap_initialize() to
|
|
|
|
avoid having it appear more than once in case it has side effects. */
|
|
|
|
#define BITMAP_ALLOCA(PTR) \
|
|
|
|
do { \
|
|
|
|
bitmap temp_bitmap_ = (bitmap) alloca (sizeof (bitmap_head)); \
|
|
|
|
(PTR) = bitmap_initialize (temp_bitmap_); \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
/* Allocate a bitmap with xmalloc. */
|
|
|
|
#define BITMAP_XMALLOC() \
|
|
|
|
bitmap_initialize ((bitmap) xmalloc (sizeof (bitmap_head)))
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
/* Do any cleanup needed on a bitmap when it is no longer used. */
|
2002-02-01 18:16:02 +00:00
|
|
|
#define BITMAP_FREE(BITMAP) \
|
|
|
|
do { \
|
|
|
|
if (BITMAP) \
|
|
|
|
{ \
|
|
|
|
bitmap_clear (BITMAP); \
|
|
|
|
(BITMAP) = 0; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
/* Do any cleanup needed on an xmalloced bitmap when it is no longer used. */
|
|
|
|
#define BITMAP_XFREE(BITMAP) \
|
|
|
|
do { \
|
|
|
|
if (BITMAP) \
|
|
|
|
{ \
|
|
|
|
bitmap_clear (BITMAP); \
|
|
|
|
free (BITMAP); \
|
|
|
|
(BITMAP) = 0; \
|
|
|
|
} \
|
1999-08-26 09:30:50 +00:00
|
|
|
} while (0)
|
|
|
|
|
|
|
|
/* Do any one-time initializations needed for bitmaps. */
|
|
|
|
#define BITMAP_INIT_ONCE()
|
|
|
|
|
|
|
|
/* Loop over all bits in BITMAP, starting with MIN, setting BITNUM to the
|
2002-02-01 18:16:02 +00:00
|
|
|
bit number and executing CODE for all bits that are set. */
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
#define EXECUTE_IF_SET_IN_BITMAP(BITMAP, MIN, BITNUM, CODE) \
|
|
|
|
do { \
|
|
|
|
bitmap_element *ptr_ = (BITMAP)->first; \
|
|
|
|
unsigned int indx_ = (MIN) / BITMAP_ELEMENT_ALL_BITS; \
|
|
|
|
unsigned bit_num_ = (MIN) % ((unsigned) HOST_BITS_PER_WIDE_INT); \
|
|
|
|
unsigned word_num_ = (((MIN) / ((unsigned) HOST_BITS_PER_WIDE_INT)) \
|
|
|
|
% BITMAP_ELEMENT_WORDS); \
|
|
|
|
\
|
|
|
|
\
|
|
|
|
/* Find the block the minimum bit is in. */ \
|
|
|
|
while (ptr_ != 0 && ptr_->indx < indx_) \
|
|
|
|
ptr_ = ptr_->next; \
|
|
|
|
\
|
|
|
|
if (ptr_ != 0 && ptr_->indx != indx_) \
|
|
|
|
{ \
|
|
|
|
bit_num_ = 0; \
|
|
|
|
word_num_ = 0; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
for (; ptr_ != 0; ptr_ = ptr_->next) \
|
|
|
|
{ \
|
|
|
|
for (; word_num_ < BITMAP_ELEMENT_WORDS; word_num_++) \
|
|
|
|
{ \
|
|
|
|
unsigned HOST_WIDE_INT word_ = ptr_->bits[word_num_]; \
|
|
|
|
\
|
|
|
|
if (word_ != 0) \
|
|
|
|
{ \
|
|
|
|
for (; bit_num_ < HOST_BITS_PER_WIDE_INT; bit_num_++) \
|
|
|
|
{ \
|
|
|
|
unsigned HOST_WIDE_INT mask_ \
|
|
|
|
= ((unsigned HOST_WIDE_INT) 1) << bit_num_; \
|
|
|
|
\
|
|
|
|
if ((word_ & mask_) != 0) \
|
|
|
|
{ \
|
|
|
|
word_ &= ~ mask_; \
|
|
|
|
(BITNUM) = (ptr_->indx * BITMAP_ELEMENT_ALL_BITS \
|
|
|
|
+ word_num_ * HOST_BITS_PER_WIDE_INT \
|
|
|
|
+ bit_num_); \
|
|
|
|
CODE; \
|
|
|
|
\
|
|
|
|
if (word_ == 0) \
|
|
|
|
break; \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
bit_num_ = 0; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
word_num_ = 0; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
/* Loop over all bits in BITMAP1 and BITMAP2, starting with MIN, setting
|
|
|
|
BITNUM to the bit number and executing CODE for all bits that are set in
|
2002-02-01 18:16:02 +00:00
|
|
|
the first bitmap and not set in the second. */
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
#define EXECUTE_IF_AND_COMPL_IN_BITMAP(BITMAP1, BITMAP2, MIN, BITNUM, CODE) \
|
|
|
|
do { \
|
|
|
|
bitmap_element *ptr1_ = (BITMAP1)->first; \
|
|
|
|
bitmap_element *ptr2_ = (BITMAP2)->first; \
|
|
|
|
unsigned int indx_ = (MIN) / BITMAP_ELEMENT_ALL_BITS; \
|
|
|
|
unsigned bit_num_ = (MIN) % ((unsigned) HOST_BITS_PER_WIDE_INT); \
|
|
|
|
unsigned word_num_ = (((MIN) / ((unsigned) HOST_BITS_PER_WIDE_INT)) \
|
|
|
|
% BITMAP_ELEMENT_WORDS); \
|
|
|
|
\
|
|
|
|
/* Find the block the minimum bit is in in the first bitmap. */ \
|
|
|
|
while (ptr1_ != 0 && ptr1_->indx < indx_) \
|
|
|
|
ptr1_ = ptr1_->next; \
|
|
|
|
\
|
|
|
|
if (ptr1_ != 0 && ptr1_->indx != indx_) \
|
|
|
|
{ \
|
|
|
|
bit_num_ = 0; \
|
|
|
|
word_num_ = 0; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
for (; ptr1_ != 0 ; ptr1_ = ptr1_->next) \
|
|
|
|
{ \
|
|
|
|
/* Advance BITMAP2 to the equivalent link, using an all \
|
|
|
|
zero element if an equivalent link doesn't exist. */ \
|
|
|
|
bitmap_element *tmp2_; \
|
|
|
|
\
|
|
|
|
while (ptr2_ != 0 && ptr2_->indx < ptr1_->indx) \
|
|
|
|
ptr2_ = ptr2_->next; \
|
|
|
|
\
|
|
|
|
tmp2_ = ((ptr2_ != 0 && ptr2_->indx == ptr1_->indx) \
|
2002-02-01 18:16:02 +00:00
|
|
|
? ptr2_ : &bitmap_zero_bits); \
|
1999-08-26 09:30:50 +00:00
|
|
|
\
|
|
|
|
for (; word_num_ < BITMAP_ELEMENT_WORDS; word_num_++) \
|
|
|
|
{ \
|
|
|
|
unsigned HOST_WIDE_INT word_ = (ptr1_->bits[word_num_] \
|
|
|
|
& ~ tmp2_->bits[word_num_]); \
|
|
|
|
if (word_ != 0) \
|
|
|
|
{ \
|
|
|
|
for (; bit_num_ < HOST_BITS_PER_WIDE_INT; bit_num_++) \
|
|
|
|
{ \
|
|
|
|
unsigned HOST_WIDE_INT mask_ \
|
|
|
|
= ((unsigned HOST_WIDE_INT)1) << bit_num_; \
|
|
|
|
\
|
|
|
|
if ((word_ & mask_) != 0) \
|
|
|
|
{ \
|
|
|
|
word_ &= ~ mask_; \
|
|
|
|
(BITNUM) = (ptr1_->indx * BITMAP_ELEMENT_ALL_BITS \
|
|
|
|
+ word_num_ * HOST_BITS_PER_WIDE_INT \
|
|
|
|
+ bit_num_); \
|
|
|
|
\
|
|
|
|
CODE; \
|
|
|
|
if (word_ == 0) \
|
|
|
|
break; \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
bit_num_ = 0; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
word_num_ = 0; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
/* Loop over all bits in BITMAP1 and BITMAP2, starting with MIN, setting
|
|
|
|
BITNUM to the bit number and executing CODE for all bits that are set in
|
2002-02-01 18:16:02 +00:00
|
|
|
the both bitmaps. */
|
1999-08-26 09:30:50 +00:00
|
|
|
|
|
|
|
#define EXECUTE_IF_AND_IN_BITMAP(BITMAP1, BITMAP2, MIN, BITNUM, CODE) \
|
|
|
|
do { \
|
|
|
|
bitmap_element *ptr1_ = (BITMAP1)->first; \
|
|
|
|
bitmap_element *ptr2_ = (BITMAP2)->first; \
|
|
|
|
unsigned int indx_ = (MIN) / BITMAP_ELEMENT_ALL_BITS; \
|
|
|
|
unsigned bit_num_ = (MIN) % ((unsigned) HOST_BITS_PER_WIDE_INT); \
|
|
|
|
unsigned word_num_ = (((MIN) / ((unsigned) HOST_BITS_PER_WIDE_INT)) \
|
|
|
|
% BITMAP_ELEMENT_WORDS); \
|
|
|
|
\
|
|
|
|
/* Find the block the minimum bit is in in the first bitmap. */ \
|
|
|
|
while (ptr1_ != 0 && ptr1_->indx < indx_) \
|
|
|
|
ptr1_ = ptr1_->next; \
|
|
|
|
\
|
|
|
|
if (ptr1_ != 0 && ptr1_->indx != indx_) \
|
|
|
|
{ \
|
|
|
|
bit_num_ = 0; \
|
|
|
|
word_num_ = 0; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
for (; ptr1_ != 0 ; ptr1_ = ptr1_->next) \
|
|
|
|
{ \
|
|
|
|
/* Advance BITMAP2 to the equivalent link */ \
|
|
|
|
while (ptr2_ != 0 && ptr2_->indx < ptr1_->indx) \
|
|
|
|
ptr2_ = ptr2_->next; \
|
|
|
|
\
|
|
|
|
if (ptr2_ == 0) \
|
|
|
|
{ \
|
2002-02-01 18:16:02 +00:00
|
|
|
/* If there are no more elements in BITMAP2, exit loop now. */ \
|
1999-08-26 09:30:50 +00:00
|
|
|
ptr1_ = (bitmap_element *)0; \
|
|
|
|
break; \
|
|
|
|
} \
|
|
|
|
else if (ptr2_->indx > ptr1_->indx) \
|
|
|
|
{ \
|
|
|
|
bit_num_ = word_num_ = 0; \
|
|
|
|
continue; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
for (; word_num_ < BITMAP_ELEMENT_WORDS; word_num_++) \
|
|
|
|
{ \
|
|
|
|
unsigned HOST_WIDE_INT word_ = (ptr1_->bits[word_num_] \
|
|
|
|
& ptr2_->bits[word_num_]); \
|
|
|
|
if (word_ != 0) \
|
|
|
|
{ \
|
|
|
|
for (; bit_num_ < HOST_BITS_PER_WIDE_INT; bit_num_++) \
|
|
|
|
{ \
|
|
|
|
unsigned HOST_WIDE_INT mask_ \
|
|
|
|
= ((unsigned HOST_WIDE_INT)1) << bit_num_; \
|
|
|
|
\
|
|
|
|
if ((word_ & mask_) != 0) \
|
|
|
|
{ \
|
|
|
|
word_ &= ~ mask_; \
|
|
|
|
(BITNUM) = (ptr1_->indx * BITMAP_ELEMENT_ALL_BITS \
|
|
|
|
+ word_num_ * HOST_BITS_PER_WIDE_INT \
|
|
|
|
+ bit_num_); \
|
|
|
|
\
|
|
|
|
CODE; \
|
|
|
|
if (word_ == 0) \
|
|
|
|
break; \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
bit_num_ = 0; \
|
|
|
|
} \
|
|
|
|
\
|
|
|
|
word_num_ = 0; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
2002-02-01 18:16:02 +00:00
|
|
|
|
|
|
|
#endif /* GCC_BITMAP_H */
|