1999-10-16 08:09:09 +02:00
|
|
|
/* Simple bitmaps.
|
2003-07-11 05:40:53 +02:00
|
|
|
Copyright (C) 1999, 2000, 2002, 2003 Free Software Foundation, Inc.
|
1999-10-16 08:09:09 +02:00
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
This file is part of GCC.
|
1999-10-16 08:09:09 +02:00
|
|
|
|
2002-02-01 19:16:02 +01: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-10-16 08:09:09 +02:00
|
|
|
|
2002-02-01 19:16:02 +01: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-10-16 08:09:09 +02:00
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
2002-02-01 19:16:02 +01: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_SBITMAP_H
|
2004-07-28 05:11:36 +02:00
|
|
|
#define GCC_SBITMAP_H
|
1999-10-16 08:09:09 +02:00
|
|
|
|
|
|
|
/* It's not clear yet whether using bitmap.[ch] will be a win.
|
|
|
|
It should be straightforward to convert so for now we keep things simple
|
|
|
|
while more important issues are dealt with. */
|
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
#define SBITMAP_ELT_BITS ((unsigned) HOST_BITS_PER_WIDE_INT)
|
1999-10-16 08:09:09 +02:00
|
|
|
#define SBITMAP_ELT_TYPE unsigned HOST_WIDE_INT
|
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
typedef struct simple_bitmap_def
|
|
|
|
{
|
|
|
|
unsigned int n_bits; /* Number of bits. */
|
|
|
|
unsigned int size; /* Size in elements. */
|
|
|
|
unsigned int bytes; /* Size in bytes. */
|
|
|
|
SBITMAP_ELT_TYPE elms[1]; /* The elements. */
|
1999-10-16 08:09:09 +02:00
|
|
|
} *sbitmap;
|
|
|
|
|
|
|
|
typedef SBITMAP_ELT_TYPE *sbitmap_ptr;
|
|
|
|
|
|
|
|
/* Return the set size needed for N elements. */
|
2002-02-01 19:16:02 +01:00
|
|
|
#define SBITMAP_SET_SIZE(N) (((N) + SBITMAP_ELT_BITS - 1) / SBITMAP_ELT_BITS)
|
1999-10-16 08:09:09 +02:00
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
/* Set bit number bitno in the bitmap. */
|
|
|
|
#define SET_BIT(BITMAP, BITNO) \
|
|
|
|
((BITMAP)->elms [(BITNO) / SBITMAP_ELT_BITS] \
|
|
|
|
|= (SBITMAP_ELT_TYPE) 1 << (BITNO) % SBITMAP_ELT_BITS)
|
1999-10-16 08:09:09 +02:00
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
/* Test if bit number bitno in the bitmap is set. */
|
|
|
|
#define TEST_BIT(BITMAP, BITNO) \
|
|
|
|
((BITMAP)->elms [(BITNO) / SBITMAP_ELT_BITS] >> (BITNO) % SBITMAP_ELT_BITS & 1)
|
1999-10-16 08:09:09 +02:00
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
/* Reset bit number bitno in the bitmap. */
|
|
|
|
#define RESET_BIT(BITMAP, BITNO) \
|
|
|
|
((BITMAP)->elms [(BITNO) / SBITMAP_ELT_BITS] \
|
|
|
|
&= ~((SBITMAP_ELT_TYPE) 1 << (BITNO) % SBITMAP_ELT_BITS))
|
1999-10-16 08:09:09 +02:00
|
|
|
|
|
|
|
/* Loop over all elements of SBITSET, starting with MIN. */
|
|
|
|
#define EXECUTE_IF_SET_IN_SBITMAP(SBITMAP, MIN, N, CODE) \
|
|
|
|
do { \
|
2002-02-01 19:16:02 +01:00
|
|
|
unsigned int word_num_; \
|
|
|
|
unsigned int bit_num_ = (MIN) % (unsigned int) SBITMAP_ELT_BITS; \
|
1999-10-16 08:09:09 +02:00
|
|
|
unsigned int size_ = (SBITMAP)->size; \
|
|
|
|
SBITMAP_ELT_TYPE *ptr_ = (SBITMAP)->elms; \
|
|
|
|
\
|
2002-02-01 19:16:02 +01:00
|
|
|
for (word_num_ = (MIN) / (unsigned int) SBITMAP_ELT_BITS; \
|
|
|
|
word_num_ < size_; word_num_++, bit_num_ = 0) \
|
1999-10-16 08:09:09 +02:00
|
|
|
{ \
|
|
|
|
SBITMAP_ELT_TYPE word_ = ptr_[word_num_]; \
|
2002-02-01 19:16:02 +01:00
|
|
|
\
|
1999-10-16 08:09:09 +02:00
|
|
|
if (word_ != 0) \
|
2002-02-01 19:16:02 +01:00
|
|
|
for (; bit_num_ < SBITMAP_ELT_BITS; bit_num_++) \
|
|
|
|
{ \
|
|
|
|
SBITMAP_ELT_TYPE _mask = (SBITMAP_ELT_TYPE) 1 << bit_num_; \
|
|
|
|
\
|
|
|
|
if ((word_ & _mask) != 0) \
|
|
|
|
{ \
|
|
|
|
word_ &= ~ _mask; \
|
|
|
|
(N) = word_num_ * SBITMAP_ELT_BITS + bit_num_; \
|
|
|
|
CODE; \
|
|
|
|
if (word_ == 0) \
|
|
|
|
break; \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} \
|
1999-10-16 08:09:09 +02:00
|
|
|
} while (0)
|
|
|
|
|
2003-07-11 05:40:53 +02:00
|
|
|
#define EXECUTE_IF_SET_IN_SBITMAP_REV(SBITMAP, N, CODE) \
|
|
|
|
do { \
|
|
|
|
unsigned int word_num_; \
|
|
|
|
unsigned int bit_num_; \
|
|
|
|
unsigned int size_ = (SBITMAP)->size; \
|
|
|
|
SBITMAP_ELT_TYPE *ptr_ = (SBITMAP)->elms; \
|
|
|
|
\
|
|
|
|
for (word_num_ = size_; word_num_ > 0; word_num_--) \
|
|
|
|
{ \
|
|
|
|
SBITMAP_ELT_TYPE word_ = ptr_[word_num_ - 1]; \
|
|
|
|
\
|
|
|
|
if (word_ != 0) \
|
|
|
|
for (bit_num_ = SBITMAP_ELT_BITS; bit_num_ > 0; bit_num_--) \
|
|
|
|
{ \
|
|
|
|
SBITMAP_ELT_TYPE _mask = (SBITMAP_ELT_TYPE)1 << (bit_num_ - 1);\
|
|
|
|
\
|
|
|
|
if ((word_ & _mask) != 0) \
|
|
|
|
{ \
|
|
|
|
word_ &= ~ _mask; \
|
|
|
|
(N) = (word_num_ - 1) * SBITMAP_ELT_BITS + bit_num_ - 1;\
|
|
|
|
CODE; \
|
|
|
|
if (word_ == 0) \
|
|
|
|
break; \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
2002-02-01 19:16:02 +01:00
|
|
|
#define sbitmap_free(MAP) free(MAP)
|
|
|
|
#define sbitmap_vector_free(VEC) free(VEC)
|
1999-10-16 08:09:09 +02:00
|
|
|
|
|
|
|
struct int_list;
|
2002-02-01 19:16:02 +01:00
|
|
|
|
2004-07-28 05:11:36 +02:00
|
|
|
extern void dump_sbitmap (FILE *, sbitmap);
|
|
|
|
extern void dump_sbitmap_file (FILE *, sbitmap);
|
|
|
|
extern void dump_sbitmap_vector (FILE *, const char *, const char *, sbitmap *,
|
|
|
|
int);
|
|
|
|
extern sbitmap sbitmap_alloc (unsigned int);
|
|
|
|
extern sbitmap *sbitmap_vector_alloc (unsigned int, unsigned int);
|
|
|
|
extern sbitmap sbitmap_resize (sbitmap, unsigned int, int);
|
|
|
|
extern void sbitmap_copy (sbitmap, sbitmap);
|
|
|
|
extern int sbitmap_equal (sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_zero (sbitmap);
|
|
|
|
extern void sbitmap_ones (sbitmap);
|
|
|
|
extern void sbitmap_vector_zero (sbitmap *, unsigned int);
|
|
|
|
extern void sbitmap_vector_ones (sbitmap *, unsigned int);
|
|
|
|
|
|
|
|
extern void sbitmap_union_of_diff (sbitmap, sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_union_of_diff_cg (sbitmap, sbitmap, sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_difference (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_not (sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_a_or_b_and_c (sbitmap, sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_a_or_b_and_c_cg (sbitmap, sbitmap, sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_a_and_b_or_c (sbitmap, sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_a_and_b_or_c_cg (sbitmap, sbitmap, sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_a_and_b (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_a_and_b_cg (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_a_or_b (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_a_or_b_cg (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern void sbitmap_a_xor_b (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_a_xor_b_cg (sbitmap, sbitmap, sbitmap);
|
|
|
|
extern bool sbitmap_a_subset_b_p (sbitmap, sbitmap);
|
|
|
|
|
|
|
|
extern int sbitmap_first_set_bit (sbitmap);
|
|
|
|
extern int sbitmap_last_set_bit (sbitmap);
|
|
|
|
|
|
|
|
extern void sbitmap_intersect_of_predsucc (sbitmap, sbitmap *, int,
|
|
|
|
struct int_list **);
|
1999-10-16 08:09:09 +02:00
|
|
|
#define sbitmap_intersect_of_predecessors sbitmap_intersect_of_predsucc
|
|
|
|
#define sbitmap_intersect_of_successors sbitmap_intersect_of_predsucc
|
|
|
|
|
2004-07-28 05:11:36 +02:00
|
|
|
extern void sbitmap_union_of_predsucc (sbitmap, sbitmap *, int,
|
|
|
|
struct int_list **);
|
1999-10-16 08:09:09 +02:00
|
|
|
#define sbitmap_union_of_predecessors sbitmap_union_of_predsucc
|
|
|
|
#define sbitmap_union_of_successors sbitmap_union_of_predsucc
|
2002-02-01 19:16:02 +01:00
|
|
|
|
2004-07-28 05:11:36 +02:00
|
|
|
/* Intersection and Union of preds/succs using the new flow graph
|
2002-02-01 19:16:02 +01:00
|
|
|
structure instead of the pred/succ arrays. */
|
|
|
|
|
2004-07-28 05:11:36 +02:00
|
|
|
extern void sbitmap_intersection_of_succs (sbitmap, sbitmap *, int);
|
|
|
|
extern void sbitmap_intersection_of_preds (sbitmap, sbitmap *, int);
|
|
|
|
extern void sbitmap_union_of_succs (sbitmap, sbitmap *, int);
|
|
|
|
extern void sbitmap_union_of_preds (sbitmap, sbitmap *, int);
|
2002-02-01 19:16:02 +01:00
|
|
|
|
2004-07-28 05:11:36 +02:00
|
|
|
extern void debug_sbitmap (sbitmap);
|
2002-02-01 19:16:02 +01:00
|
|
|
#endif /* ! GCC_SBITMAP_H */
|