Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-26 20:53:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

* lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,

Browse Source 
* lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
* lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
latest sources from Michael.
This commit is contained in:
Akim Demaille
2002-03-04 12:07:08 +00:00
parent 7651439487
commit ef01750240
13 changed files with 1288 additions and 962 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
ChangeLog
View File

@@ -1,3 +1,11 @@
2002-03-04 Akim Demaille <akim@epita.fr>
* lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
* lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
* lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
latest sources from Michael.
2002-03-04 Akim Demaille <akim@epita.fr> 2002-03-04 Akim Demaille <akim@epita.fr>
* src/output.c (output): Don't free the grammar. * src/output.c (output): Don't free the grammar.

1
lib/Makefile.am
View File

@@ -44,6 +44,7 @@ libbison_a_SOURCES = \
# Implementation of bitsets # Implementation of bitsets
libbison_a_SOURCES += \ libbison_a_SOURCES += \
bbitset.h \
bitset-int.h bitset.h bitsetv.h ebitset.h lbitset.h sbitset.h \ bitset-int.h bitset.h bitsetv.h ebitset.h lbitset.h sbitset.h \
bitset.c bitsetv.c ebitset.c lbitset.c sbitset.c bitset.c bitsetv.c ebitset.c lbitset.c sbitset.c

275
lib/bbitset.h Normal file
View File

@@ -0,0 +1,275 @@
/* Base bitset stuff.
Copyright (C) 2002 Free Software Foundation, Inc.
Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
This program 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 of the License, or
(at your option) any later version.
This program 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.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#ifndef _BBITSET_H
#define _BBITSET_H
/* Bison modifications: BEGIN. */
#define IN_BISON 1
#if IN_BISON
# if HAVE_CONFIG_H
# include <config.h>
# endif
# include <stdlib.h>
# define BITSET_STATS 1
/* This file is the public interface to the bitset abstract data type.
Only use the functions and macros defined in this file. */
# ifndef PARAMS
# if defined PROTOTYPES || (defined __STDC__ && __STDC__)
# define PARAMS(Args) Args
# else
# define PARAMS(Args) ()
# endif
# endif
# ifndef __attribute__
# if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 8) || __STRICT_ANSI__
# define __attribute__(x)
# endif
# endif
# ifndef ATTRIBUTE_NORETURN
# define ATTRIBUTE_NORETURN __attribute__ ((__noreturn__))
# endif
# ifndef ATTRIBUTE_UNUSED
# define ATTRIBUTE_UNUSED __attribute__ ((__unused__))
# endif
# include "xalloc.h"
#else /* ! IN_BISON */
# include "libiberty.h"
#endif
#ifdef HAVE_LIMITS_H
#include <limits.h>
#endif
/* Currently we support three flavours of bitsets:
BITSET_ARRAY: Array of bits (fixed size, faster).
BITSET_LIST: Linked list of array of bits (variable size, least storage
for large very sparse sets).
BITSET_TABLE: Expandable table of pointers to array of bits
(variable size, less storage for large sparse sets).
*/
enum bitset_type {BITSET_ARRAY, BITSET_LIST, BITSET_TABLE, BITSET_TYPE_NUM};
#define BITSET_TYPE_NAMES {"sbitset", "lbitset", "ebitset"}
/* Non-zero to enable bitset caching. */
#define BITSET_CACHE 1
/* Non-zero to use inline functions instead of macros. */
#define BITSET_INLINE 0
/* Non-zero to enable bitset statistics gathering. */
#define BITSET_STATS 1
/* Non-zero to enable bitset type checking. */
#define BITSET_CHECK 1
/* Data type used to store a word of bits. */
typedef unsigned long bitset_word;
#define BITSET_WORD_BITS ((unsigned) CHAR_BIT * sizeof (bitset_word))
/* Bit index. */
typedef unsigned long bitset_bindex;
/* Word index. */
typedef unsigned long bitset_windex;
#define BITSET_INDEX_MAX ((1U << (BITSET_WORD_BITS - 1)))
#define BITSET_MSB (1U << (BITSET_WORD_BITS - 1))
#define BITSET_LIST_SIZE 1024
enum bitset_ops {BITSET_OP_ZERO, BITSET_OP_ONES,
BITSET_OP_COPY, BITSET_OP_NOT,
BITSET_OP_EMPTY_P, BITSET_OP_EQUAL_P,
BITSET_OP_SUBSET_P, BITSET_OP_DISJOINT_P,
BITSET_OP_AND, BITSET_OP_OR, BITSET_OP_XOR,
BITSET_OP_ANDN, BITSET_OP_ORN,
BITSET_OP_OR_AND, BITSET_OP_AND_OR, BITSET_OP_ANDN_OR};
/* Return size in bits of bitset SRC. */
#define BITSET_SIZE_(SRC) (SRC)->b.ops->size (SRC)
/* Return type of bitset SRC. */
#define BITSET_TYPE_(DST) (DST)->b.ops->type
/* Set bit BITNO in bitset DST. */
#define BITSET_SET_(DST, BITNO) (DST)->b.ops->set (DST, BITNO)
/* Reset bit BITNO in bitset DST. */
#define BITSET_RESET_(DST, BITNO) (DST)->b.ops->reset (DST, BITNO)
/* Return non-zero if bit BITNO in bitset SRC is set. */
#define BITSET_TEST_(SRC, BITNO) (SRC)->b.ops->test (SRC, BITNO)
/* Free bitset SRC. */
#define BITSET_FREE_(SRC)\
((SRC)->b.ops->free ? (SRC)->b.ops->free (SRC) :(void)0)
/* Perform operation OP on DST. */
#define BITSET_OP1_(DST, OP) (DST)->b.ops->op1 (DST, OP)
/* Perform operation OP on SRC and store in DST. */
#define BITSET_OP2_(DST, SRC, OP) (DST)->b.ops->op2 (DST, SRC, OP)
/* DST = SRC1 OP SRC2. */
#define BITSET_OP3_(DST, SRC1, SRC2, OP) \
(DST)->b.ops->op3 (DST, SRC1, SRC2, OP)
/* DST = (SRC1 OP1 SRC2) OP2 SRC3. */
#define BITSET_OP4_(DST, SRC1, SRC2, SRC3, OP) \
(DST)->b.ops->op4 (DST, SRC1, SRC2, SRC3, OP)
/* DST = 0. */
#define BITSET_ZERO_(DST) BITSET_OP1_ (DST, BITSET_OP_ZERO);
/* DST = ~0. */
#define BITSET_ONES_(DST) BITSET_OP1_ (DST, BITSET_OP_ONES);
/* Return SRC == 0. */
#define BITSET_EMPTY_P_(SRC) BITSET_OP1_ (SRC, BITSET_OP_EMPTY_P);
/* Return DST == SRC. */
#define BITSET_EQUAL_P_(DST, SRC) BITSET_OP2_ (DST, SRC, BITSET_OP_EQUAL_P)
/* Return DST == DST | SRC. */
#define BITSET_SUBSET_P_(DST, SRC) BITSET_OP2_ (DST, SRC, BITSET_OP_SUBSET_P)
/* Return DST & SRC == 0. */
#define BITSET_DISJOINT_P_(DST, SRC)\
BITSET_OP2_ (DST, SRC, BITSET_OP_DISJOINT_P)
/* DST = SRC. */
#define BITSET_COPY_(DST, SRC) BITSET_OP2_ (DST, SRC, BITSET_OP_COPY)
/* DST = ~SRC. */
#define BITSET_NOT_(DST, SRC) BITSET_OP2_ (DST, SRC, BITSET_OP_NOT)
/* DST = SRC1 | SRC2. */
#define BITSET_OR_(DST, SRC1, SRC2) BITSET_OP3_ (DST, SRC1, SRC2,\
BITSET_OP_OR)
/* DST = SRC1 ^ SRC2. */
#define BITSET_XOR_(DST, SRC1, SRC2) BITSET_OP3_ (DST, SRC1, SRC2,\
BITSET_OP_XOR)
/* DST = SRC1 & SRC2. */
#define BITSET_AND_(DST, SRC1, SRC2) BITSET_OP3_ (DST, SRC1, SRC2, \
BITSET_OP_AND)
/* DST = SRC1 & ~SRC2. */
#define BITSET_ANDN_(DST, SRC1, SRC2) BITSET_OP3_ (DST, SRC1, SRC2, \
BITSET_OP_ANDN)
/* DST = SRC1 | ~SRC2. */
#define BITSET_ORN_(DST, SRC1, SRC2) BITSET_OP3_ (DST, SRC1, SRC2, \
BITSET_OP_ORN)
/* DST = (SRC1 & SRC2) | SRC3. Return non-zero if
DST != (SRC1 & SRC2) | SRC3. */
#define BITSET_AND_OR_(DST, SRC1, SRC2, SRC3)\
BITSET_OP4_ (DST, SRC1, SRC2, SRC3, BITSET_OP_AND_OR)
/* DST = (SRC1 | SRC2) & SRC3. Return non-zero if
DST != (SRC1 | SRC2) & SRC3. */
#define BITSET_OR_AND_(DST, SRC1, SRC2, SRC3)\
BITSET_OP4_ (DST, SRC1, SRC2, SRC3, BITSET_OP_OR_AND)
/* DST = (SRC1 & ~SRC2) | SRC3. Return non-zero if
DST != (SRC1 & ~SRC2) | SRC3. */
#define BITSET_ANDN_OR_(DST, SRC1, SRC2, SRC3)\
BITSET_OP4_ (DST, SRC1, SRC2, SRC3, BITSET_OP_ANDN_OR)
/* Find list of up to NUM bits set in BSET starting from and including
*NEXT. Return with actual number of bits found and with *NEXT
indicating where search stopped. */
#define BITSET_LIST_(BSET, LIST, NUM, NEXT) \
(BSET)->b.ops->list (BSET, LIST, NUM, NEXT)
/* Find reverse list of up to NUM bits set in BSET starting from and
including NEXT. Return with actual number of bits found and with
*NEXT indicating where search stopped. */
#define BITSET_REVERSE_LIST_(BSET, LIST, NUM, NEXT) \
(BSET)->b.ops->reverse_list (BSET, LIST, NUM, NEXT)
struct bbitset_struct
{
struct bitset_ops_struct *ops;
bitset_windex cindex; /* Cache word index. */
bitset_windex csize; /* Cache size in words. */
bitset_word *cdata; /* Cache data pointer. */
};
typedef struct bitset_struct *bitset;
/* The contents of this structure should be considered private. */
struct bitset_ops_struct
{
void (*set) PARAMS ((struct bitset_struct *, bitset_bindex));
void (*reset) PARAMS ((struct bitset_struct *, bitset_bindex));
int (*test) PARAMS ((struct bitset_struct *, bitset_bindex));
int (*size) PARAMS ((struct bitset_struct *));
int (*op1) PARAMS ((struct bitset_struct *, enum bitset_ops));
int (*op2) PARAMS ((struct bitset_struct *, struct bitset_struct *,
enum bitset_ops));
int (*op3) PARAMS ((struct bitset_struct *, struct bitset_struct *,
struct bitset_struct *, enum bitset_ops));
int (*op4) PARAMS ((struct bitset_struct *, struct bitset_struct *,
struct bitset_struct *, struct bitset_struct *,
enum bitset_ops));
int (*list) PARAMS ((struct bitset_struct *, bitset_bindex *,
bitset_bindex, bitset_bindex *));
int (*reverse_list) PARAMS ((struct bitset_struct *, bitset_bindex *,
bitset_bindex, bitset_bindex *));
void (*free) PARAMS ((struct bitset_struct *));
enum bitset_type type;
};
#define BITSET_COMPATIBLE_(BSET1, BSET2) ((BSET1)->b.ops == (BSET2)->b.ops)
#if BITSET_CHECK
#define BITSET_CHECK2_(DST, SRC) \
if (!BITSET_COMPATIBLE_ (DST, SRC)) abort ();
#define BITSET_CHECK3_(DST, SRC1, SRC2) \
if (!BITSET_COMPATIBLE_ (DST, SRC1) \
|| !BITSET_COMPATIBLE_ (DST, SRC2)) abort ();
#define BITSET_CHECK4_(DST, SRC1, SRC2, SRC3) \
if (!BITSET_COMPATIBLE_ (DST, SRC1) || !BITSET_COMPATIBLE_ (DST, SRC2) \
|| !BITSET_COMPATIBLE_ (DST, SRC3)) abort ();
#else
#define BITSET_CHECK2_(DST, SRC)
#define BITSET_CHECK3_(DST, SRC1, SRC2)
#define BITSET_CHECK4_(DST, SRC1, SRC2, SRC3)
#endif
extern int bitset_op4 PARAMS ((bitset, bitset, bitset, bitset,
enum bitset_ops op));
#endif /* _BBITSET_H */

225
lib/bitset.c
View File

@@ -22,28 +22,13 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#include <stdlib.h> #include <stdlib.h>
#include "bitset.h" #include "bitset.h"
#include "sbitset.h"
#include "lbitset.h"
#include "ebitset.h"
#include "obstack.h" #include "obstack.h"
static void bitset_print PARAMS ((FILE *, bitset, int)); static void bitset_print PARAMS ((FILE *, bitset, int));
#if BITSET_CHECK
#define BITSET__CHECK2(DST, SRC) \
if ((DST)->OPS != (SRC)->OPS) abort ();
#define BITSET__CHECK3(DST, SRC1, SRC2) \
if ((DST)->OPS != (SRC1)->OPS || (DST)->OPS != (SRC2)->OPS) abort ();
#define BITSET__CHECK4(DST, SRC1, SRC2) \
if ((DST)->OPS != (SRC1)->OPS || (DST)->OPS != (SRC2)->OPS \
|| (DST)->OPS != (SRC3)->OPS) abort ();
#else
#define BITSET__CHECK2(DST, SRC)
#define BITSET__CHECK3(DST, SRC1, SRC2)
#define BITSET__CHECK4(DST, SRC1, SRC2, SRC3)
#endif
#if BITSET_STATS #if BITSET_STATS
#define BITSET_STATS_FILE "bitset.dat" #define BITSET_STATS_FILE "bitset.dat"
@@ -78,9 +63,10 @@ static void bitset_percent_histogram_print PARAMS ((FILE *, const char *,
unsigned int *)); unsigned int *));
static void bitset_log_histogram_print PARAMS ((FILE *, const char *, static void bitset_log_histogram_print PARAMS ((FILE *, const char *,
const char *, const char *,
unsigned int, unsigned int *)); unsigned int,
static void bitset_stats_print_1 PARAMS ((FILE *, const char *, unsigned int *));
struct bitset_type_stats_struct *)); static void bitset_stats_print_1
PARAMS ((FILE *, const char *, struct bitset_type_stats_struct *));
static void bitset_stats_print PARAMS ((FILE *, int)); static void bitset_stats_print PARAMS ((FILE *, int));
static void bitset_stats_read PARAMS ((void)); static void bitset_stats_read PARAMS ((void));
static void bitset_stats_write PARAMS ((void)); static void bitset_stats_write PARAMS ((void));
@@ -91,7 +77,7 @@ static void bitset_stats_write PARAMS ((void));
#define BITSET_STATS_XFREES_INC(BSET) \ #define BITSET_STATS_XFREES_INC(BSET) \
if (bitset_stats) \ if (bitset_stats) \
bitset_stats->types[(BSET)->ops->type].xfrees++ bitset_stats->types[BITSET_TYPE_ (BSET)].xfrees++
#define BITSET_STATS_OBALLOCS_INC(TYPE) \ #define BITSET_STATS_OBALLOCS_INC(TYPE) \
if (bitset_stats) \ if (bitset_stats) \
@@ -99,23 +85,23 @@ static void bitset_stats_write PARAMS ((void));
#define BITSET_STATS_OBFREES_INC(BSET) \ #define BITSET_STATS_OBFREES_INC(BSET) \
if (bitset_stats) \ if (bitset_stats) \
bitset_stats->types[(BSET)->ops->type].obfrees++ bitset_stats->types[BITSET_TYPE_ (BSET)].obfrees++
#define BITSET_STATS_LISTS_INC(BSET) \ #define BITSET_STATS_LISTS_INC(BSET) \
if (bitset_stats) \ if (bitset_stats) \
bitset_stats->types[(BSET)->ops->type].lists++ bitset_stats->types[BITSET_TYPE_ (BSET)].lists++
#define BITSET_STATS_LIST_COUNTS_INC(BSET, I) \ #define BITSET_STATS_LIST_COUNTS_INC(BSET, I) \
if (bitset_stats) \ if (bitset_stats) \
bitset_stats->types[(BSET)->ops->type].list_counts[(I)]++ bitset_stats->types[BITSET_TYPE_ (BSET)].list_counts[(I)]++
#define BITSET_STATS_LIST_SIZES_INC(BSET, I) \ #define BITSET_STATS_LIST_SIZES_INC(BSET, I) \
if (bitset_stats) \ if (bitset_stats) \
bitset_stats->types[(BSET)->ops->type].list_sizes[(I)]++ bitset_stats->types[BITSET_TYPE_ (BSET)].list_sizes[(I)]++
#define BITSET_STATS_LIST_DENSITY_INC(BSET, I) \ #define BITSET_STATS_LIST_DENSITY_INC(BSET, I) \
if (bitset_stats) \ if (bitset_stats) \
bitset_stats->types[(BSET)->ops->type].list_density[(I)]++ bitset_stats->types[BITSET_TYPE_ (BSET)].list_density[(I)]++
#else #else
#define BITSET_STATS_XMALLOCS_INC(TYPE) #define BITSET_STATS_XMALLOCS_INC(TYPE)
@@ -136,7 +122,6 @@ static void bitset_stats_write PARAMS ((void));
#endif /* BITSET_STATS */ #endif /* BITSET_STATS */
/* Return number of bytes required to create a N_BIT bitset /* Return number of bytes required to create a N_BIT bitset
of TYPE. The bitset may grow to require more bytes than this. */ of TYPE. The bitset may grow to require more bytes than this. */
int int
@@ -202,7 +187,7 @@ bitset_type_choose (n_bits, attr)
{ {
enum bitset_type type; enum bitset_type type;
#ifdef ENABLE_CHECKING #if BITSET_CHECK
/* Check attributes. */ /* Check attributes. */
if (attr & BITSET_FIXED && attr & BITSET_VARIABLE) if (attr & BITSET_FIXED && attr & BITSET_VARIABLE)
abort (); abort ();
@@ -241,7 +226,11 @@ bitset_alloc (n_bits, type)
bytes = bitset_bytes (type, n_bits); bytes = bitset_bytes (type, n_bits);
bset = (bitset) xmalloc (bytes); bset = (bitset) xcalloc (1, bytes);
/* The cache is disabled until some elements are allocated. If we
have variable length arrays, then we may need to allocate dummy
element. */
return bitset_init (bset, n_bits, type); return bitset_init (bset, n_bits, type);
} }
@@ -255,12 +244,16 @@ bitset_obstack_alloc (bobstack, n_bits, type)
enum bitset_type type; enum bitset_type type;
{ {
unsigned int bytes; unsigned int bytes;
bitset bset;
BITSET_STATS_OBALLOCS_INC (type); BITSET_STATS_OBALLOCS_INC (type);
bytes = bitset_bytes (type, n_bits); bytes = bitset_bytes (type, n_bits);
return bitset_init (obstack_alloc (bobstack, bytes), n_bits, type); bset = obstack_alloc (bobstack, bytes);
memset (bset, 0, bytes);
return bitset_init (bset, n_bits, type);
} }
@@ -286,10 +279,7 @@ bitset_free (bset)
{ {
BITSET_STATS_XFREES_INC (bset); BITSET_STATS_XFREES_INC (bset);
if (bset->ops->free) BITSET_FREE_ (bset);
BITSET__FREE (bset);
bset->ops = NULL;
free (bset); free (bset);
} }
@@ -301,9 +291,7 @@ bitset_obstack_free (bset)
{ {
BITSET_STATS_OBFREES_INC (bset); BITSET_STATS_OBFREES_INC (bset);
if (bset->ops->free) BITSET_FREE_ (bset);
BITSET__FREE (bset);
bset->ops = NULL;
} }
@@ -357,6 +345,7 @@ bitset_last (src)
} }
/* Print contents of bitset BSET to FILE. */
static void static void
bitset_print (file, bset, verbose) bitset_print (file, bset, verbose)
FILE *file; FILE *file;
@@ -386,6 +375,7 @@ bitset_print (file, bset, verbose)
} }
/* DST = SRC. Return non-zero if DST != SRC. */
int int
bitset_copy (dst, src) bitset_copy (dst, src)
bitset dst; bitset dst;
@@ -393,8 +383,8 @@ bitset_copy (dst, src)
{ {
unsigned int i; unsigned int i;
if (dst->ops == src->ops) if (BITSET_COMPATIBLE_ (dst, src))
return BITSET__COPY (dst, src); return BITSET_COPY_ (dst, src);
/* Convert bitset types. We assume that the DST bitset /* Convert bitset types. We assume that the DST bitset
is large enough to hold the SRC bitset. */ is large enough to hold the SRC bitset. */
@@ -413,7 +403,26 @@ int
bitset_size (src) bitset_size (src)
bitset src; bitset src;
{ {
return BITSET__SIZE (src); return BITSET_SIZE_ (src);
}
/* Return number of bits set in bitset SRC. */
int
bitset_count (src)
bitset src;
{
bitset_bindex list[BITSET_LIST_SIZE];
bitset_bindex next;
int num;
int count;
next = 0;
for (count = 0; (num = bitset_list (src, list, BITSET_LIST_SIZE, &next));
count += num)
continue;
return count;
} }
@@ -422,7 +431,7 @@ int
bitset_zero (dst) bitset_zero (dst)
bitset dst; bitset dst;
{ {
return BITSET__OP1 (dst, BITSET_ZERO); return BITSET_ZERO_ (dst);
} }
@@ -431,16 +440,16 @@ int
bitset_ones (dst) bitset_ones (dst)
bitset dst; bitset dst;
{ {
return BITSET__OP1 (dst, BITSET_ONES); return BITSET_ONES_ (dst);
} }
/* Return non-zero if all bits in bitset SRC are reset. */ /* Return SRC == 0. */
int int
bitset_empty_p (src) bitset_empty_p (src)
bitset src; bitset src;
{ {
return BITSET__OP1 (src, BITSET_EMPTY_P); return BITSET_EMPTY_P_ (src);
} }
@@ -450,7 +459,8 @@ bitset_subset_p (dst, src)
bitset dst; bitset dst;
bitset src; bitset src;
{ {
return BITSET__OP2 (dst, src, BITSET_SUBSET_P); BITSET_CHECK2_ (dst, src);
return BITSET_SUBSET_P_ (dst, src);
} }
@@ -460,8 +470,19 @@ bitset_equal_p (dst, src)
bitset dst; bitset dst;
bitset src; bitset src;
{ {
BITSET__CHECK2 (dst, src); BITSET_CHECK2_ (dst, src);
return BITSET__OP2 (dst, src, BITSET_EQUAL_P); return BITSET_EQUAL_P_ (dst, src);
}
/* Return DST & SRC == 0. */
int
bitset_disjoint_p (dst, src)
bitset dst;
bitset src;
{
BITSET_CHECK2_ (dst, src);
return BITSET_DISJOINT_P_ (dst, src);
} }
@@ -471,8 +492,8 @@ bitset_not (dst, src)
bitset dst; bitset dst;
bitset src; bitset src;
{ {
BITSET__CHECK2 (dst, src); BITSET_CHECK2_ (dst, src);
return BITSET__OP2 (dst, src, BITSET_NOT); return BITSET_NOT_ (dst, src);
} }
@@ -483,8 +504,8 @@ bitset_or (dst, src1, src2)
bitset src1; bitset src1;
bitset src2; bitset src2;
{ {
BITSET__CHECK3 (dst, src1, src2); BITSET_CHECK3_ (dst, src1, src2);
return BITSET__OP3 (dst, src1, src2, BITSET_OR); return BITSET_OR_ (dst, src1, src2);
} }
@@ -495,8 +516,8 @@ bitset_and (dst, src1, src2)
bitset src1; bitset src1;
bitset src2; bitset src2;
{ {
BITSET__CHECK3 (dst, src1, src2); BITSET_CHECK3_ (dst, src1, src2);
return BITSET__OP3 (dst, src1, src2, BITSET_AND); return BITSET_AND_ (dst, src1, src2);
} }
@@ -507,8 +528,8 @@ bitset_xor (dst, src1, src2)
bitset src1; bitset src1;
bitset src2; bitset src2;
{ {
BITSET__CHECK3 (dst, src1, src2); BITSET_CHECK3_ (dst, src1, src2);
return BITSET__OP3 (dst, src1, src2, BITSET_XOR); return BITSET_XOR_ (dst, src1, src2);
} }
@@ -519,8 +540,8 @@ bitset_andn (dst, src1, src2)
bitset src1; bitset src1;
bitset src2; bitset src2;
{ {
BITSET__CHECK3 (dst, src1, src2); BITSET_CHECK3_ (dst, src1, src2);
return BITSET__OP3 (dst, src1, src2, BITSET_ANDN); return BITSET_ANDN_ (dst, src1, src2);
} }
@@ -531,8 +552,48 @@ bitset_orn (dst, src1, src2)
bitset src1; bitset src1;
bitset src2; bitset src2;
{ {
BITSET__CHECK3 (dst, src1, src2); BITSET_CHECK3_ (dst, src1, src2);
return BITSET__OP3 (dst, src1, src2, BITSET_ORN); return BITSET_ORN_ (dst, src1, src2);
}
int
bitset_op4 (dst, src1, src2, src3, op)
bitset dst;
bitset src1;
bitset src2;
bitset src3;
enum bitset_ops op;
{
int changed = 0;
bitset tmp;
/* Create temporary bitset. */
tmp = bitset_alloc (BITSET_TYPE_ (dst), 0);
switch (op)
{
case BITSET_OP_OR_AND:
BITSET_OR_ (tmp, src1, src2);
changed = BITSET_AND_ (dst, src3, tmp);
break;
case BITSET_OP_AND_OR:
BITSET_AND_ (tmp, src1, src2);
changed = BITSET_OR_ (dst, src3, tmp);
break;
case BITSET_OP_ANDN_OR:
BITSET_ANDN_ (tmp, src1, src2);
changed = BITSET_OR_ (dst, src3, tmp);
break;
default:
abort ();
}
bitset_free (tmp);
return changed;
} }
@@ -545,8 +606,8 @@ bitset_or_and (dst, src1, src2, src3)
bitset src2; bitset src2;
bitset src3; bitset src3;
{ {
BITSET__CHECK4 (dst, src1, src2, src3); BITSET_CHECK4_ (dst, src1, src2, src3);
return BITSET__OP4 (dst, src1, src2, src3, BITSET_OR_AND); return BITSET_OR_AND_ (dst, src1, src2, src3);
} }
@@ -559,8 +620,22 @@ bitset_and_or (dst, src1, src2, src3)
bitset src2; bitset src2;
bitset src3; bitset src3;
{ {
BITSET__CHECK4 (dst, src1, src2, src3); BITSET_CHECK4_ (dst, src1, src2, src3);
return BITSET__OP4 (dst, src1, src2, src3, BITSET_AND_OR); return BITSET_AND_OR_ (dst, src1, src2, src3);
}
/* DST = (SRC1 & ~SRC2) | SRC3. Return non-zero if
DST != (SRC1 & ~SRC2) | SRC3. */
int
bitset_andn_or (dst, src1, src2, src3)
bitset dst;
bitset src1;
bitset src2;
bitset src3;
{
BITSET_CHECK4_ (dst, src1, src2, src3);
return BITSET_ANDN_OR_ (dst, src1, src2, src3);
} }
@@ -579,6 +654,7 @@ void
debug_bitset (bset) debug_bitset (bset)
bitset bset; bitset bset;
{ {
if (bset)
bitset_print (stderr, bset, 1); bitset_print (stderr, bset, 1);
} }
@@ -602,7 +678,7 @@ bitset_list (bset, list, num, next)
{ {
bitset_bindex count; bitset_bindex count;
count = BITSET__LIST (bset, list, num, next); count = BITSET_LIST_ (bset, list, num, next);
if (bitset_stats) if (bitset_stats)
{ {
@@ -611,7 +687,7 @@ bitset_list (bset, list, num, next)
bitset_bindex i; bitset_bindex i;
enum bitset_type type; enum bitset_type type;
type = bset->ops->type; type = BITSET_TYPE_ (bset);
BITSET_STATS_LISTS_INC (bset); BITSET_STATS_LISTS_INC (bset);
/* Log histogram of number of set bits. */ /* Log histogram of number of set bits. */
@@ -662,8 +738,8 @@ bitset_percent_histogram_print (file, name, msg, n_bins, bins)
for (i = 0; i < n_bins; i++) for (i = 0; i < n_bins; i++)
fprintf (file, "%.0f-%.0f%%\t%8d (%5.1f%%)\n", fprintf (file, "%.0f-%.0f%%\t%8d (%5.1f%%)\n",
i * 100.0 / n_bins, i * 100.0 / n_bins,
(i + 1) * 100.0 / n_bins, (i + 1) * 100.0 / n_bins, bins[i],
bins[i], (100.0 * bins[i]) / total); (100.0 * bins[i]) / total);
} }
@@ -699,7 +775,8 @@ bitset_log_histogram_print (file, name, msg, n_bins, bins)
for (; i < n_bins; i++) for (; i < n_bins; i++)
fprintf (file, "%*d-%d\t%8d (%5.1f%%)\n", fprintf (file, "%*d-%d\t%8d (%5.1f%%)\n",
max_width - ((unsigned int) (0.30103 * (i) + 0.9999) + 1), max_width - ((unsigned int) (0.30103 * (i) + 0.9999) + 1),
1 << (i - 1), (1 << i) - 1, bins[i], (100.0 * bins[i]) / total); 1 << (i - 1), (1 << i) - 1, bins[i],
(100.0 * bins[i]) / total);
} }
@@ -738,7 +815,7 @@ bitset_stats_print (file, verbose)
int verbose ATTRIBUTE_UNUSED; int verbose ATTRIBUTE_UNUSED;
{ {
int i; int i;
static const char *names[] = BITSET__TYPE_NAMES; static const char *names[] = BITSET_TYPE_NAMES;
if (!bitset_stats) if (!bitset_stats)
return; return;
@@ -781,9 +858,9 @@ bitset_stats_read ()
1, file) != 1) 1, file) != 1)
{ {
if (ferror (file)) if (ferror (file))
perror ("Could not read stats file"); perror ("Could not read stats file.");
else else
fprintf (stderr, "Bad stats file size\n"); fprintf (stderr, "Bad stats file size.\n");
} }
fclose (file); fclose (file);
} }
@@ -805,11 +882,11 @@ bitset_stats_write ()
{ {
if (fwrite (&bitset_stats_data, sizeof (bitset_stats_data), if (fwrite (&bitset_stats_data, sizeof (bitset_stats_data),
1, file) != 1) 1, file) != 1)
perror ("Could not write stats file"); perror ("Could not write stats file.");
fclose (file); fclose (file);
} }
else else
perror ("Could not open stats file for writing"); perror ("Could not open stats file for writing.");
} }

161
lib/bitset.h
View File

@@ -19,42 +19,14 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#ifndef _BITSET_H #ifndef _BITSET_H
#define _BITSET_H #define _BITSET_H
#if HAVE_CONFIG_H /* This file is the public interface to the bitset abstract data type.
# include <config.h> Only use the functions and macros defined in this file. */
#endif
#define BITSET_STATS 1 #include "bbitset.h"
# ifndef PARAMS
# if defined PROTOTYPES || (defined __STDC__ && __STDC__)
# define PARAMS(Args) Args
# else
# define PARAMS(Args) ()
# endif
# endif
# ifndef __attribute__
# if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 8) || __STRICT_ANSI__
# define __attribute__(x)
# endif
# endif
# ifndef ATTRIBUTE_NORETURN
# define ATTRIBUTE_NORETURN __attribute__ ((__noreturn__))
# endif
# ifndef ATTRIBUTE_UNUSED
# define ATTRIBUTE_UNUSED __attribute__ ((__unused__))
# endif
#include "bitset-int.h"
#include "sbitset.h"
#include "lbitset.h"
#include "ebitset.h"
#include "obstack.h" #include "obstack.h"
#include <stdio.h> #include <stdio.h>
#include "xalloc.h"
/* Attributes used to select a bitset implementation. */
enum bitset_attr {BITSET_FIXED = 1, /* Bitset size fixed. */ enum bitset_attr {BITSET_FIXED = 1, /* Bitset size fixed. */
BITSET_VARIABLE = 2, /* Bitset size variable. */ BITSET_VARIABLE = 2, /* Bitset size variable. */
BITSET_DENSE = 4, /* Bitset dense. */ BITSET_DENSE = 4, /* Bitset dense. */
@@ -64,75 +36,48 @@ enum bitset_attr {BITSET_FIXED = 1, /* Bitset size fixed. */
typedef unsigned int bitset_attrs; typedef unsigned int bitset_attrs;
/* The elements of these structures should be considered /* The contents of the structure should be considered to be private.
to be private. */ While I would like to make this structure opaque, it needs to be
typedef struct bitset_struct visible for the inline bit set/test functions. */
struct bitset_struct
{ {
struct bitset_ops_struct *ops; struct bbitset_struct b;
bitset_windex cindex; /* Cache word index. */
bitset_windex csize; /* Cache size in words. */
bitset_word *cdata; /* Cache data pointer. */
union bitset_data
{
struct sbitset_struct s;
struct lbitset_struct l;
struct ebitset_struct e;
} u;
} *bitset;
/* The contents of this structure should be considered private. */
struct bitset_ops_struct
{
void (*set) PARAMS ((struct bitset_struct *, bitset_bindex));
void (*reset) PARAMS ((struct bitset_struct *, bitset_bindex));
int (*test) PARAMS ((struct bitset_struct *, bitset_bindex));
int (*size) PARAMS ((struct bitset_struct *));
int (*op1) PARAMS ((struct bitset_struct *, enum bitset_ops));
int (*op2) PARAMS ((struct bitset_struct *, struct bitset_struct *,
enum bitset_ops));
int (*op3) PARAMS ((struct bitset_struct *, struct bitset_struct *,
struct bitset_struct *, enum bitset_ops));
int (*op4) PARAMS ((struct bitset_struct *, struct bitset_struct *,
struct bitset_struct *, struct bitset_struct *,
enum bitset_ops));
int (*list) PARAMS ((struct bitset_struct *, bitset_bindex *,
bitset_bindex, bitset_bindex *));
int (*reverse_list) PARAMS ((struct bitset_struct *, bitset_bindex *,
bitset_bindex, bitset_bindex *));
void (*free) PARAMS ((struct bitset_struct *));
enum bitset_type type;
}; };
/* Return bytes required for bitset of desired type and size. */ /* Return bytes required for bitset of desired type and size. */
extern int bitset_bytes PARAMS ((enum bitset_type, bitset_bindex)); extern int bitset_bytes PARAMS ((enum bitset_type, bitset_bindex));
/* Initialise a bitset with desired type and size. */ /* Initialise a bitset with desired type and size. */
extern bitset bitset_init PARAMS ((bitset, bitset_bindex, enum bitset_type)); extern bitset bitset_init PARAMS ((bitset, bitset_bindex, enum bitset_type));
/* Select an implementation type based on the desired bitset size
and attributes. */
extern enum bitset_type bitset_type_choose PARAMS ((bitset_bindex, extern enum bitset_type bitset_type_choose PARAMS ((bitset_bindex,
bitset_attrs)); bitset_attrs));
/* Create a bitset of desired type and size. */ /* Create a bitset of desired type and size. The bitset is zeroed. */
extern bitset bitset_alloc PARAMS ((bitset_bindex, enum bitset_type)); extern bitset bitset_alloc PARAMS ((bitset_bindex, enum bitset_type));
/* Free bitset. */ /* Free bitset. */
extern void bitset_free PARAMS ((bitset)); extern void bitset_free PARAMS ((bitset));
/* Create a bitset of desired type and size using obstack. */ /* Create a bitset of desired type and size using an obstack. The
bitset is zeroed. */
extern bitset bitset_obstack_alloc PARAMS ((struct obstack *bobstack, extern bitset bitset_obstack_alloc PARAMS ((struct obstack *bobstack,
bitset_bindex, enum bitset_type)); bitset_bindex, enum bitset_type));
/* Free bitset allocated on obstack. */ /* Free bitset allocated on obstack. */
extern void bitset_obstack_free PARAMS ((bitset)); extern void bitset_obstack_free PARAMS ((bitset));
/* Create a bitset of desired size and attributes. */ /* Create a bitset of desired size and attributes. The bitset is zeroed. */
extern bitset bitset_create PARAMS ((bitset_bindex, bitset_attrs)); extern bitset bitset_create PARAMS ((bitset_bindex, bitset_attrs));
/* Return size in bits of bitset SRC. */ /* Return size in bits of bitset SRC. */
extern int bitset_size PARAMS ((bitset)); extern int bitset_size PARAMS ((bitset));
/* Return number of bits set in bitset SRC. */
extern int bitset_count PARAMS ((bitset));
#if BITSET_CACHE && BITSET_INLINE #if BITSET_CACHE && BITSET_INLINE
static inline void bitset_set PARAMS ((bitset, bitset_bindex)); static inline void bitset_set PARAMS ((bitset, bitset_bindex));
static inline void bitset_reset PARAMS ((bitset, bitset_bindex)); static inline void bitset_reset PARAMS ((bitset, bitset_bindex));
@@ -144,12 +89,12 @@ static inline void bitset_set (bset, bitno)
bitset_bindex bitno; bitset_bindex bitno;
{ {
bitset_windex index = bitno / BITSET_WORD_BITS; bitset_windex index = bitno / BITSET_WORD_BITS;
bitset_windex offset = index - bset->cindex; bitset_windex offset = index - bset->b.cindex;
if (offset < bset->csize) if (offset < bset->b.csize)
bset->cdata[offset] |= (1 << (bitno % BITSET_WORD_BITS)); bset->b.cdata[offset] |= (1 << (bitno % BITSET_WORD_BITS));
else else
BITSET__SET (bset, bitno); BITSET_SET_ (bset, bitno);
} }
@@ -159,12 +104,12 @@ static inline void bitset_reset (bset, bitno)
bitset_bindex bitno; bitset_bindex bitno;
{ {
bitset_windex index = bitno / BITSET_WORD_BITS; bitset_windex index = bitno / BITSET_WORD_BITS;
bitset_windex offset = index - bset->cindex; bitset_windex offset = index - bset->b.cindex;
if (offset < bset->csize) if (offset < bset->b.csize)
bset->cdata[offset] &= ~(1 << (bitno % BITSET_WORD_BITS)); bset->b.cdata[offset] &= ~(1 << (bitno % BITSET_WORD_BITS));
else else
BITSET__RESET (bset, bitno); BITSET_RESET_ (bset, bitno);
} }
@@ -174,12 +119,12 @@ static inline int bitset_test (bset, bitno)
bitset_bindex bitno; bitset_bindex bitno;
{ {
bitset_windex index = bitno / BITSET_WORD_BITS; bitset_windex index = bitno / BITSET_WORD_BITS;
bitset_windex offset = index - bset->cindex; bitset_windex offset = index - bset->b.cindex;
if (offset < bset->csize) if (offset < bset->b.csize)
return (bset->cdata[offset] >> (bitno % BITSET_WORD_BITS)) & 1; return (bset->b.cdata[offset] >> (bitno % BITSET_WORD_BITS)) & 1;
else else
return BITSET__TEST (bset, bitno); return BITSET_TEST_ (bset, bitno);
} }
#endif #endif
@@ -191,12 +136,12 @@ do \
{ \ { \
bitset_bindex _bitno = (bitno); \ bitset_bindex _bitno = (bitno); \
bitset_windex _index = _bitno / BITSET_WORD_BITS; \ bitset_windex _index = _bitno / BITSET_WORD_BITS; \
bitset_windex _offset = _index - (bset)->cindex; \ bitset_windex _offset = _index - (bset)->b.cindex; \
\ \
if (_offset < (bset)->csize) \ if (_offset < (bset)->b.csize) \
(bset)->cdata[_offset] |= (1 << (_bitno % BITSET_WORD_BITS)); \ (bset)->b.cdata[_offset] |= (1 << (_bitno % BITSET_WORD_BITS)); \
else \ else \
BITSET__SET ((bset), _bitno); \ BITSET_SET_ ((bset), _bitno); \
} while (0) } while (0)
@@ -206,32 +151,32 @@ do \
{ \ { \
bitset_bindex _bitno = (bitno); \ bitset_bindex _bitno = (bitno); \
bitset_windex _index = _bitno / BITSET_WORD_BITS; \ bitset_windex _index = _bitno / BITSET_WORD_BITS; \
bitset_windex _offset = _index - (bset)->cindex; \ bitset_windex _offset = _index - (bset)->b.cindex; \
\ \
if (_offset < (bset)->csize) \ if (_offset < (bset)->b.csize) \
(bset)->cdata[_offset] &= ~(1 << (_bitno % BITSET_WORD_BITS)); \ (bset)->b.cdata[_offset] &= ~(1 << (_bitno % BITSET_WORD_BITS)); \
else \ else \
BITSET__RESET ((bset), _bitno); \ BITSET_RESET_ ((bset), _bitno); \
} while (0) } while (0)
/* Test bit BITNO in bitset BSET. */ /* Test bit BITNO in bitset BSET. */
#define bitset_test(bset, bitno) \ #define bitset_test(bset, bitno) \
(((((bitno) / BITSET_WORD_BITS) - (bset)->cindex) < (bset)->csize) \ (((((bitno) / BITSET_WORD_BITS) - (bset)->b.cindex) < (bset)->b.csize) \
? ((bset)->cdata[(((bitno) / BITSET_WORD_BITS) - (bset)->cindex)] \ ? ((bset)->b.cdata[(((bitno) / BITSET_WORD_BITS) - (bset)->b.cindex)] \
>> ((bitno) % BITSET_WORD_BITS)) & 1 \ >> ((bitno) % BITSET_WORD_BITS)) & 1 \
: (unsigned int) BITSET__TEST ((bset), (bitno))) : (unsigned int) BITSET_TEST_ ((bset), (bitno)))
#endif #endif
#if ! BITSET_CACHE #if ! BITSET_CACHE
/* Set bit BITNO in bitset SRC. */ /* Set bit BITNO in bitset SRC. */
#define bitset_set(SRC, BITNO) BITSET__SET (SRC, BITNO) #define bitset_set(SRC, BITNO) BITSET_SET_ (SRC, BITNO)
/* Reset bit BITNO in bitset SRC. */ /* Reset bit BITNO in bitset SRC. */
#define bitset_reset(SRC, BITNO) BITSET__RESET (SRC, BITNO) #define bitset_reset(SRC, BITNO) BITSET_RESET_ (SRC, BITNO)
/* Return non-zero if bit BITNO in bitset SRC is set. */ /* Return non-zero if bit BITNO in bitset SRC is set. */
#define bitset_test(SRC, BITNO) BITSET__TEST (SRC, BITNO) #define bitset_test(SRC, BITNO) BITSET_TEST_ (SRC, BITNO)
#endif #endif
/* DST = 0. */ /* DST = 0. */
@@ -249,6 +194,9 @@ extern int bitset_subset_p PARAMS ((bitset, bitset));
/* Return DST == SRC. */ /* Return DST == SRC. */
extern int bitset_equal_p PARAMS ((bitset, bitset)); extern int bitset_equal_p PARAMS ((bitset, bitset));
/* Return DST & SRC == 0. */
extern int bitset_disjoint_p PARAMS ((bitset, bitset));
/* DST == SRC. */ /* DST == SRC. */
extern int bitset_copy PARAMS ((bitset, bitset)); extern int bitset_copy PARAMS ((bitset, bitset));
@@ -280,7 +228,7 @@ extern int bitset_and_or PARAMS ((bitset, bitset, bitset, bitset));
/* DST = (SRC1 & ~SRC2) | SRC3. Return non-zero if /* DST = (SRC1 & ~SRC2) | SRC3. Return non-zero if
DST != (SRC1 & ~SRC2) | SRC3. */ DST != (SRC1 & ~SRC2) | SRC3. */
#define bitset_andn_or(DST, SRC1, SRC2, SRC3) \ extern int bitset_andn_or PARAMS ((bitset, bitset, bitset, bitset));
/* Find next bit set in BSET starting from and including BITNO. */ /* Find next bit set in BSET starting from and including BITNO. */
extern int bitset_next PARAMS ((bitset, bitset_bindex)); extern int bitset_next PARAMS ((bitset, bitset_bindex));
@@ -296,14 +244,14 @@ extern int bitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex,
bitset_bindex *)); bitset_bindex *));
#else #else
#define bitset_list(BSET, LIST, NUM, NEXT) \ #define bitset_list(BSET, LIST, NUM, NEXT) \
BITSET__LIST (BSET, LIST, NUM, NEXT) BITSET_LIST_ (BSET, LIST, NUM, NEXT)
#endif #endif
/* Find reverse list of up to NUM bits set in BSET starting from and /* Find reverse list of up to NUM bits set in BSET starting from and
including NEXT. Return with actual number of bits found and with including NEXT. Return with actual number of bits found and with
*NEXT indicating where search stopped. */ *NEXT indicating where search stopped. */
#define bitset_reverse_list(BSET, LIST, NUM, NEXT) \ #define bitset_reverse_list(BSET, LIST, NUM, NEXT) \
BITSET__REVERSE_LIST (BSET, LIST, NUM, NEXT) BITSET_REVERSE_LIST_ (BSET, LIST, NUM, NEXT)
/* Find first set bit. */ /* Find first set bit. */
extern int bitset_first PARAMS ((bitset)); extern int bitset_first PARAMS ((bitset));
@@ -360,7 +308,7 @@ do { \
} while (0) } while (0)
/* Define set operations in terms of bit operations. */ /* Define set operations in terms of logical operations. */
#define bitset_diff(DST, SRC1, SRC2) bitset_andn (DST, SRC1, SRC2) #define bitset_diff(DST, SRC1, SRC2) bitset_andn (DST, SRC1, SRC2)
@@ -371,6 +319,7 @@ do { \
#define bitset_diff_union(DST, SRC1, SRC2, SRC3) \ #define bitset_diff_union(DST, SRC1, SRC2, SRC3) \
bitset_andn_or (DST, SRC1, SRC2, SRC3) bitset_andn_or (DST, SRC1, SRC2, SRC3)
/* Release any memory tied up with bitsets. */ /* Release any memory tied up with bitsets. */
extern void bitset_release_memory PARAMS ((void)); extern void bitset_release_memory PARAMS ((void));
@@ -386,10 +335,4 @@ extern void debug_bitset PARAMS ((bitset));
/* Function to debug bitset stats from debugger. */ /* Function to debug bitset stats from debugger. */
extern void debug_bitset_stats PARAMS ((void)); extern void debug_bitset_stats PARAMS ((void));
extern bitset sbitset_init PARAMS ((bitset, bitset_bindex));
extern bitset lbitset_init PARAMS ((bitset, bitset_bindex));
extern bitset ebitset_init PARAMS ((bitset, bitset_bindex));
#endif /* _BITSET_H */ #endif /* _BITSET_H */

46
lib/bitsetv.c
View File

@@ -43,8 +43,8 @@ bitsetv_alloc (n_vecs, n_bits, type)
bytes = bitset_bytes (type, n_bits); bytes = bitset_bytes (type, n_bits);
/* Allocate vector table at head of bitset array. */ /* Allocate vector table at head of bitset array. */
vector_bytes = n_vecs * sizeof (bitset); vector_bytes = (n_vecs + 1) * sizeof (bitset);
bsetv = (bitset *) xmalloc (vector_bytes + bytes * n_vecs); bsetv = (bitset *) xcalloc (1, vector_bytes + bytes * n_vecs);
for (i = 0; i < n_vecs; i++) for (i = 0; i < n_vecs; i++)
{ {
@@ -52,6 +52,9 @@ bitsetv_alloc (n_vecs, n_bits, type)
bitset_init (bsetv[i], n_bits, type); bitset_init (bsetv[i], n_bits, type);
} }
/* Null terminate table. */
bsetv[i] = 0;
return bsetv; return bsetv;
} }
@@ -76,32 +79,34 @@ void
bitsetv_free (bsetv) bitsetv_free (bsetv)
bitset *bsetv; bitset *bsetv;
{ {
unsigned int i;
for (i = 0; bsetv[i]; i++)
BITSET_FREE_ (bsetv[i]);
free (bsetv); free (bsetv);
} }
/* Zero a vector of N_VECS bitsets. */ /* Zero a vector of bitsets. */
void void
bitsetv_zero (bsetv, n_vecs) bitsetv_zero (bsetv)
struct bitset_struct **bsetv; struct bitset_struct **bsetv;
unsigned int n_vecs;
{ {
unsigned int i; unsigned int i;
for (i = 0; i < n_vecs; i++) for (i = 0; bsetv[i]; i++)
bitset_zero (bsetv[i]); bitset_zero (bsetv[i]);
} }
/* Set a vector of N_VECS bitsets to ones. */ /* Set a vector of bitsets to ones. */
void void
bitsetv_ones (bsetv, n_vecs) bitsetv_ones (bsetv)
bitset *bsetv; bitset *bsetv;
unsigned int n_vecs;
{ {
unsigned int i; unsigned int i;
for (i = 0; i < n_vecs; i++) for (i = 0; bsetv[i]; i++)
bitset_ones (bsetv[i]); bitset_ones (bsetv[i]);
} }
@@ -109,16 +114,15 @@ bitsetv_ones (bsetv, n_vecs)
/* Dump the contents of a bitset vector BSETV with N_VECS elements to /* Dump the contents of a bitset vector BSETV with N_VECS elements to
FILE. */ FILE. */
void void
bitsetv_dump (file, title, subtitle, bsetv, n_vecs) bitsetv_dump (file, title, subtitle, bsetv)
FILE *file; FILE *file;
const char *title, *subtitle; const char *title, *subtitle;
bitset *bsetv; bitset *bsetv;
unsigned int n_vecs;
{ {
unsigned int i; unsigned int i;
fprintf (file, "%s\n", title); fprintf (file, "%s\n", title);
for (i = 0; i < n_vecs; i++) for (i = 0; bsetv[i]; i++)
{ {
fprintf (file, "%s %d\n", subtitle, i); fprintf (file, "%s %d\n", subtitle, i);
bitset_dump (file, bsetv[i]); bitset_dump (file, bsetv[i]);
@@ -126,3 +130,19 @@ bitsetv_dump (file, title, subtitle, bsetv, n_vecs)
fprintf (file, "\n"); fprintf (file, "\n");
} }
void
debug_bitsetv (bsetv)
bitset *bsetv;
{
unsigned int i;
for (i = 0; bsetv[i]; i++)
{
fprintf (stderr, "%d: ", i);
debug_bitset (bsetv[i]);
}
fprintf (stderr, "\n");
}

7
lib/bitsetv.h
View File

@@ -37,13 +37,12 @@ extern bitsetv bitsetv_create PARAMS ((unsigned int, unsigned int,
extern void bitsetv_free PARAMS ((bitsetv)); extern void bitsetv_free PARAMS ((bitsetv));
/* Zero vector of bitsets. */ /* Zero vector of bitsets. */
extern void bitsetv_zero PARAMS ((bitsetv, unsigned int)); extern void bitsetv_zero PARAMS ((bitsetv));
/* Set vector of bitsets. */ /* Set vector of bitsets. */
extern void bitsetv_ones PARAMS ((bitsetv, unsigned int)); extern void bitsetv_ones PARAMS ((bitsetv));
/* Dump vector of bitsets. */ /* Dump vector of bitsets. */
extern void bitsetv_dump PARAMS ((FILE *, const char *, extern void bitsetv_dump PARAMS ((FILE *, const char *,
const char *, bitsetv, const char *, bitsetv));
unsigned int));
#endif /* _BITSETV_H */ #endif /* _BITSETV_H */

261
lib/ebitset.c
View File

@@ -1,4 +1,4 @@
/* Functions to support efficient bitsets. /* Functions to support expandable bitsets.
Copyright (C) 2002 Free Software Foundation, Inc. Copyright (C) 2002 Free Software Foundation, Inc.
Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz). Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
@@ -20,24 +20,14 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#include "config.h" #include "config.h"
#endif #endif
#include "bitset.h" #include "bbitset.h"
#include "obstack.h" #include "obstack.h"
#include <stdlib.h> #include <stdlib.h>
# if WITH_DMALLOC /* This file implements expandable bitsets. These bitsets can be of
# define DMALLOC_FUNC_CHECK
# include <dmalloc.h>
# endif /* WITH_DMALLOC */
/* This file implements linked-list bitsets. These bitsets can be of
arbitrary length and are more efficient than arrays of bits for arbitrary length and are more efficient than arrays of bits for
large sparse sets. large sparse sets.
Usually if all the bits in an element are zero we remove the element
from the list. However, a side effect of the bit caching is that we
do not always notice when an element becomes zero. Hence the
ebitset_weed function which removes zero elements.
Empty elements are represented by a NULL pointer in the table of Empty elements are represented by a NULL pointer in the table of
element pointers. An alternative is to point to a special zero element pointers. An alternative is to point to a special zero
element. Similarly, we could represent an all 1's element with element. Similarly, we could represent an all 1's element with
@@ -54,18 +44,61 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
cdata is changed. cdata is changed.
*/ */
/* Number of words to use for each element. */
#ifndef EBITSET_ELT_WORDS
#define EBITSET_ELT_WORDS 2
#endif
/* Number of bits stored in each element. */
#define EBITSET_ELT_BITS \
((unsigned) (EBITSET_ELT_WORDS * BITSET_WORD_BITS))
/* Ebitset element. We use an array of bits. */
typedef struct ebitset_elt_struct
{
union
{
bitset_word words[EBITSET_ELT_WORDS]; /* Bits that are set. */
struct ebitset_elt_struct *next;
}
u;
}
ebitset_elt;
typedef ebitset_elt *ebitset_elts;
/* Head of ebitset linked list. */
typedef struct ebitset_struct
{
unsigned int size; /* Number of elements. */
ebitset_elts *elts; /* Expanding array of pointers to elements. */
}
*ebitset;
/* Number of elements to initially allocate. */ /* Number of elements to initially allocate. */
#ifndef EBITSET_INITIAL_SIZE #ifndef EBITSET_INITIAL_SIZE
#define EBITSET_INITIAL_SIZE 2 #define EBITSET_INITIAL_SIZE 2
#endif #endif
/* Minimum number of elements to grow table. */ /* Minimum number of elements to grow table. */
#ifndef EBITSET_GROW_SIZE #ifndef EBITSET_GROW_SIZE
#define EBITSET_GROW_SIZE 4 #define EBITSET_GROW_SIZE 4
#endif #endif
struct bitset_struct
{
struct bbitset_struct b;
struct ebitset_struct e;
};
enum ebitset_find_mode {EBITSET_FIND, EBITSET_CREATE, EBITSET_SUBST}; enum ebitset_find_mode
{ EBITSET_FIND, EBITSET_CREATE, EBITSET_SUBST };
static ebitset_elt ebitset_zero_elts[1]; /* Elements of all zero bits. */ static ebitset_elt ebitset_zero_elts[1]; /* Elements of all zero bits. */
@@ -97,40 +130,37 @@ static int ebitset_size PARAMS((bitset));
static int ebitset_op1 PARAMS ((bitset, enum bitset_ops)); static int ebitset_op1 PARAMS ((bitset, enum bitset_ops));
static int ebitset_op2 PARAMS ((bitset, bitset, enum bitset_ops)); static int ebitset_op2 PARAMS ((bitset, bitset, enum bitset_ops));
static int ebitset_op3 PARAMS ((bitset, bitset, bitset, enum bitset_ops)); static int ebitset_op3 PARAMS ((bitset, bitset, bitset, enum bitset_ops));
static int ebitset_op4 PARAMS((bitset, bitset, bitset, bitset,
enum bitset_ops));
static int ebitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex, static int ebitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex,
bitset_bindex *)); bitset_bindex *));
static int ebitset_reverse_list PARAMS((bitset, bitset_bindex *, bitset_bindex, static int ebitset_reverse_list
bitset_bindex *)); PARAMS ((bitset, bitset_bindex *, bitset_bindex, bitset_bindex *));
static void ebitset_free PARAMS ((bitset)); static void ebitset_free PARAMS ((bitset));
#define EBITSET_ELTS(BSET) ((BSET)->e.elts)
#define EBITSET_ELTS(BSET) ((BSET)->u.e.elts) #define EBITSET_SIZE(BSET) ((BSET)->e.size)
#define EBITSET_SIZE(BSET) ((BSET)->u.e.size)
#define EBITSET_NEXT(ELT) ((ELT)->u.next) #define EBITSET_NEXT(ELT) ((ELT)->u.next)
#define EBITSET_WORDS(ELT) ((ELT)->u.words) #define EBITSET_WORDS(ELT) ((ELT)->u.words)
/* Disable bitset cache and mark BSET as being zero. */ /* Disable bitset cache and mark BSET as being zero. */
#define EBITSET_ZERO_SET(BSET) ((BSET)->cindex = BITSET_INDEX_MAX, \ #define EBITSET_OP_ZERO_SET(BSET) ((BSET)->b.cindex = BITSET_INDEX_MAX, \
(BSET)->cdata = 0) (BSET)->b.cdata = 0)
#define EBITSET_CACHE_DISABLE(BSET) ((BSET)->cindex = BITSET_INDEX_MAX) #define EBITSET_CACHE_DISABLE(BSET) ((BSET)->b.cindex = BITSET_INDEX_MAX)
/* Disable bitset cache and mark BSET as being possibly non-zero. */ /* Disable bitset cache and mark BSET as being possibly non-zero. */
#define EBITSET_NONZERO_SET(BSET) \ #define EBITSET_NONZERO_SET(BSET) \
(EBITSET_CACHE_DISABLE (BSET), (BSET)->cdata = (bitset_word *)~0) (EBITSET_CACHE_DISABLE (BSET), (BSET)->b.cdata = (bitset_word *)~0)
/* A conservative estimate of whether the bitset is zero. /* A conservative estimate of whether the bitset is zero.
This is non-zero only if we know for sure that the bitset is zero. */ This is non-zero only if we know for sure that the bitset is zero. */
#define EBITSET_ZERO_P(BSET) ((BSET)->cdata == 0) #define EBITSET_OP_ZERO_P(BSET) ((BSET)->b.cdata == 0)
/* Enable cache to point to element with table index EINDEX. /* Enable cache to point to element with table index EINDEX.
The element must exist. */ The element must exist. */
#define EBITSET_CACHE_SET(BSET, EINDEX) \ #define EBITSET_CACHE_SET(BSET, EINDEX) \
((BSET)->cindex = (EINDEX) * EBITSET_ELT_WORDS, \ ((BSET)->b.cindex = (EINDEX) * EBITSET_ELT_WORDS, \
(BSET)->cdata = EBITSET_WORDS (EBITSET_ELTS (BSET) [EINDEX])) (BSET)->b.cdata = EBITSET_WORDS (EBITSET_ELTS (BSET) [EINDEX]))
/* Grow the expandable table for BSET by SIZE elements. */ /* Grow the expandable table for BSET by SIZE elements. */
@@ -174,13 +204,17 @@ ebitset_elt_alloc ()
ebitset_obstack_init = 1; ebitset_obstack_init = 1;
/* Let particular systems override the size of a chunk. */ /* Let particular systems override the size of a chunk. */
#ifndef OBSTACK_CHUNK_SIZE #ifndef OBSTACK_CHUNK_SIZE
#define OBSTACK_CHUNK_SIZE 0 #define OBSTACK_CHUNK_SIZE 0
#endif #endif
/* Let them override the alloc and free routines too. */ /* Let them override the alloc and free routines too. */
#ifndef OBSTACK_CHUNK_ALLOC #ifndef OBSTACK_CHUNK_ALLOC
#define OBSTACK_CHUNK_ALLOC xmalloc #define OBSTACK_CHUNK_ALLOC xmalloc
#endif #endif
#ifndef OBSTACK_CHUNK_FREE #ifndef OBSTACK_CHUNK_FREE
#define OBSTACK_CHUNK_FREE free #define OBSTACK_CHUNK_FREE free
#endif #endif
@@ -191,8 +225,10 @@ ebitset_elt_alloc ()
obstack_specify_allocation (&ebitset_obstack, OBSTACK_CHUNK_SIZE, obstack_specify_allocation (&ebitset_obstack, OBSTACK_CHUNK_SIZE,
__alignof__ (ebitset_elt), __alignof__ (ebitset_elt),
(void *(*) PARAMS ((long))) OBSTACK_CHUNK_ALLOC, (void *(*)PARAMS ((long)))
(void (*) PARAMS ((void *))) OBSTACK_CHUNK_FREE); OBSTACK_CHUNK_ALLOC,
(void (*)PARAMS ((void *)))
OBSTACK_CHUNK_FREE);
} }
/* Perhaps we should add a number of new elements to the free /* Perhaps we should add a number of new elements to the free
@@ -296,7 +332,7 @@ ebitset_elt_find (bset, index, mode)
if ((elt = elts[eindex])) if ((elt = elts[eindex]))
{ {
if (EBITSET_WORDS (elt) == bset->cdata) if (EBITSET_WORDS (elt) == bset->b.cdata)
return elt; return elt;
EBITSET_CACHE_SET (bset, eindex); EBITSET_CACHE_SET (bset, eindex);
@@ -366,7 +402,7 @@ ebitset_weed (bset)
bitset_windex j; bitset_windex j;
int count; int count;
if (EBITSET_ZERO_P (bset)) if (EBITSET_OP_ZERO_P (bset))
return 0; return 0;
elts = EBITSET_ELTS (bset); elts = EBITSET_ELTS (bset);
@@ -392,7 +428,7 @@ ebitset_weed (bset)
{ {
/* All the bits are zero. We could shrink the elts. /* All the bits are zero. We could shrink the elts.
For now just mark BSET as known to be zero. */ For now just mark BSET as known to be zero. */
EBITSET_ZERO_SET (bset); EBITSET_OP_ZERO_SET (bset);
} }
else else
EBITSET_NONZERO_SET (bset); EBITSET_NONZERO_SET (bset);
@@ -409,7 +445,7 @@ ebitset_zero (bset)
ebitset_elts *elts; ebitset_elts *elts;
bitset_windex j; bitset_windex j;
if (EBITSET_ZERO_P (bset)) if (EBITSET_OP_ZERO_P (bset))
return; return;
elts = EBITSET_ELTS (bset); elts = EBITSET_ELTS (bset);
@@ -423,7 +459,7 @@ ebitset_zero (bset)
/* All the bits are zero. We could shrink the elts. /* All the bits are zero. We could shrink the elts.
For now just mark BSET as known to be zero. */ For now just mark BSET as known to be zero. */
EBITSET_ZERO_SET (bset); EBITSET_OP_ZERO_SET (bset);
} }
@@ -515,10 +551,10 @@ ebitset_copy_compare (dst, src)
if (src == dst) if (src == dst)
return 0; return 0;
if (EBITSET_ZERO_P (dst)) if (EBITSET_OP_ZERO_P (dst))
{ {
ebitset_copy (dst, src); ebitset_copy (dst, src);
return ! EBITSET_ZERO_P (src); return !EBITSET_OP_ZERO_P (src);
} }
if (ebitset_equal_p (dst, src)) if (ebitset_equal_p (dst, src))
@@ -549,7 +585,7 @@ ebitset_set (dst, bitno)
ebitset_elt_find (dst, index, EBITSET_CREATE); ebitset_elt_find (dst, index, EBITSET_CREATE);
dst->cdata[index - dst->cindex] |= (1 << (bitno % BITSET_WORD_BITS)); dst->b.cdata[index - dst->b.cindex] |= (1 << (bitno % BITSET_WORD_BITS));
} }
@@ -564,7 +600,7 @@ ebitset_reset (dst, bitno)
if (!ebitset_elt_find (dst, index, EBITSET_FIND)) if (!ebitset_elt_find (dst, index, EBITSET_FIND))
return; return;
dst->cdata[index - dst->cindex] &= ~(1 << (bitno % BITSET_WORD_BITS)); dst->b.cdata[index - dst->b.cindex] &= ~(1 << (bitno % BITSET_WORD_BITS));
/* If all the data is zero, perhaps we should remove it now... /* If all the data is zero, perhaps we should remove it now...
However, there could be a good chance that the element will be needed However, there could be a good chance that the element will be needed
@@ -583,7 +619,8 @@ ebitset_test (src, bitno)
if (!ebitset_elt_find (src, index, EBITSET_FIND)) if (!ebitset_elt_find (src, index, EBITSET_FIND))
return 0; return 0;
return (src->cdata[index - src->cindex] >> (bitno % BITSET_WORD_BITS)) & 1; return (src->b.
cdata[index - src->b.cindex] >> (bitno % BITSET_WORD_BITS)) & 1;
} }
@@ -619,7 +656,7 @@ ebitset_reverse_list (bset, list, num, next)
bitset_word word; bitset_word word;
ebitset_elts *elts; ebitset_elts *elts;
if (EBITSET_ZERO_P (bset)) if (EBITSET_OP_ZERO_P (bset))
return 0; return 0;
size = EBITSET_SIZE (bset); size = EBITSET_SIZE (bset);
@@ -702,7 +739,7 @@ ebitset_list (bset, list, num, next)
bitset_word word; bitset_word word;
ebitset_elts *elts; ebitset_elts *elts;
if (EBITSET_ZERO_P (bset)) if (EBITSET_OP_ZERO_P (bset))
return 0; return 0;
bitno = *next; bitno = *next;
@@ -837,21 +874,22 @@ ebitset_op1 (dst, op)
switch (op) switch (op)
{ {
case BITSET_ZERO: case BITSET_OP_ZERO:
ebitset_zero (dst); ebitset_zero (dst);
return 1; return 1;
case BITSET_ONES: case BITSET_OP_ONES:
for (j = 0; j < EBITSET_SIZE (dst); j++) for (j = 0; j < EBITSET_SIZE (dst); j++)
{ {
/* Create new elements if they cannot be found. Perhaps /* Create new elements if they cannot be found. Perhaps
we should just add pointers to a ones element. */ we should just add pointers to a ones element. */
elt = ebitset_elt_find (dst, j * EBITSET_ELT_WORDS, EBITSET_CREATE); elt =
ebitset_elt_find (dst, j * EBITSET_ELT_WORDS, EBITSET_CREATE);
memset (EBITSET_WORDS (elt), ~0, sizeof (EBITSET_WORDS (elt))); memset (EBITSET_WORDS (elt), ~0, sizeof (EBITSET_WORDS (elt)));
} }
break; break;
case BITSET_EMPTY_P: case BITSET_OP_EMPTY_P:
return !ebitset_weed (dst); return !ebitset_weed (dst);
default: default:
@@ -876,28 +914,31 @@ ebitset_op2 (dst, src, op)
switch (op) switch (op)
{ {
case BITSET_COPY: case BITSET_OP_COPY:
ebitset_copy (dst, src); ebitset_copy (dst, src);
break; break;
case BITSET_NOT: case BITSET_OP_NOT:
for (j = 0; j < EBITSET_SIZE (src); j++) for (j = 0; j < EBITSET_SIZE (src); j++)
{ {
/* Create new elements for dst if they cannot be found /* Create new elements for dst if they cannot be found
or substitute zero elements if src elements not found. */ or substitute zero elements if src elements not found. */
selt = ebitset_elt_find (dst, j * EBITSET_ELT_WORDS, EBITSET_SUBST); selt =
delt = ebitset_elt_find (dst, j * EBITSET_ELT_WORDS, EBITSET_CREATE); ebitset_elt_find (dst, j * EBITSET_ELT_WORDS, EBITSET_SUBST);
delt =
ebitset_elt_find (dst, j * EBITSET_ELT_WORDS, EBITSET_CREATE);
for (i = 0; i < EBITSET_ELT_WORDS; i++) for (i = 0; i < EBITSET_ELT_WORDS; i++)
EBITSET_WORDS (delt)[i] = ~EBITSET_WORDS (selt)[i]; EBITSET_WORDS (delt)[i] = ~EBITSET_WORDS (selt)[i];
} }
break; break;
case BITSET_EQUAL_P: /* Return 1 if DST == SRC. */
case BITSET_OP_EQUAL_P:
return ebitset_equal_p (dst, src); return ebitset_equal_p (dst, src);
/* Return 1 if DST == DST | SRC. */ /* Return 1 if DST == DST | SRC. */
case BITSET_SUBSET_P: case BITSET_OP_SUBSET_P:
{ {
ebitset_elts *selts; ebitset_elts *selts;
ebitset_elts *delts; ebitset_elts *delts;
@@ -935,6 +976,44 @@ ebitset_op2 (dst, src, op)
} }
break; break;
/* Return 1 if DST & SRC == 0. */
case BITSET_OP_DISJOINT_P:
{
ebitset_elts *selts;
ebitset_elts *delts;
bitset_windex ssize;
bitset_windex dsize;
selts = EBITSET_ELTS (src);
delts = EBITSET_ELTS (dst);
ssize = EBITSET_SIZE (src);
dsize = EBITSET_SIZE (dst);
for (j = 0; j < ssize; j++)
{
ebitset_elt *selt;
ebitset_elt *delt;
selt = j < ssize ? selts[j] : 0;
delt = j < dsize ? delts[j] : 0;
if (!selt && !delt)
continue;
if (!selt)
selt = &ebitset_zero_elts[0];
if (!delt)
delt = &ebitset_zero_elts[0];
for (i = 0; i < EBITSET_ELT_WORDS; i++)
if ((EBITSET_WORDS (selt)[i] & EBITSET_WORDS (delt)[i]))
return 0;
}
return 1;
}
break;
default: default:
abort (); abort ();
} }
@@ -966,30 +1045,31 @@ ebitset_op3 (dst, src1, src2, op)
bitset_windex j; bitset_windex j;
/* Fast track common, simple cases. */ /* Fast track common, simple cases. */
if (EBITSET_ZERO_P (src2)) if (EBITSET_OP_ZERO_P (src2))
{ {
if (op == BITSET_AND) if (op == BITSET_OP_AND)
{ {
ebitset_weed (dst); ebitset_weed (dst);
changed = EBITSET_ZERO_P (dst); changed = EBITSET_OP_ZERO_P (dst);
ebitset_zero (dst); ebitset_zero (dst);
return changed; return changed;
} }
else if (op == BITSET_ANDN || op == BITSET_OR || op == BITSET_XOR) else if (op == BITSET_OP_ANDN || op == BITSET_OP_OR
|| op == BITSET_OP_XOR)
{ {
return ebitset_copy_compare (dst, src1); return ebitset_copy_compare (dst, src1);
} }
} }
else if (EBITSET_ZERO_P (src1)) else if (EBITSET_OP_ZERO_P (src1))
{ {
if (op == BITSET_AND || op == BITSET_ANDN) if (op == BITSET_OP_AND || op == BITSET_OP_ANDN)
{ {
ebitset_weed (dst); ebitset_weed (dst);
changed = EBITSET_ZERO_P (dst); changed = EBITSET_OP_ZERO_P (dst);
ebitset_zero (dst); ebitset_zero (dst);
return changed; return changed;
} }
else if (op == BITSET_OR || op == BITSET_XOR) else if (op == BITSET_OP_OR || op == BITSET_OP_XOR)
{ {
return ebitset_copy_compare (dst, src2); return ebitset_copy_compare (dst, src2);
} }
@@ -1043,7 +1123,7 @@ ebitset_op3 (dst, src1, src2, op)
dstp = EBITSET_WORDS (delt); dstp = EBITSET_WORDS (delt);
switch (op) switch (op)
{ {
case BITSET_OR: case BITSET_OP_OR:
for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ | *srcp2++; bitset_word tmp = *srcp1++ | *srcp2++;
@@ -1056,7 +1136,7 @@ ebitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_AND: case BITSET_OP_AND:
for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ & *srcp2++; bitset_word tmp = *srcp1++ & *srcp2++;
@@ -1069,7 +1149,7 @@ ebitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_XOR: case BITSET_OP_XOR:
for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ ^ *srcp2++; bitset_word tmp = *srcp1++ ^ *srcp2++;
@@ -1082,7 +1162,7 @@ ebitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_ANDN: case BITSET_OP_ANDN:
for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ & ~(*srcp2++); bitset_word tmp = *srcp1++ & ~(*srcp2++);
@@ -1095,7 +1175,7 @@ ebitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_ORN: case BITSET_OP_ORN:
for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < EBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ | ~(*srcp2++); bitset_word tmp = *srcp1++ | ~(*srcp2++);
@@ -1140,49 +1220,8 @@ ebitset_op3 (dst, src1, src2, op)
} }
static int
ebitset_op4 (dst, src1, src2, src3, op)
bitset dst;
bitset src1;
bitset src2;
bitset src3;
enum bitset_ops op;
{
int changed = 0;
bitset tmp;
tmp = bitset_create (BITSET_LIST, 0);
switch (op)
{
case BITSET_OR_AND:
bitset_or (tmp, src1, src2);
changed = bitset_and (dst, src3, tmp);
break;
case BITSET_AND_OR:
bitset_and (tmp, src1, src2);
changed = bitset_or (dst, src3, tmp);
break;
case BITSET_ANDN_OR:
bitset_andn (tmp, src1, src2);
changed = bitset_or (dst, src3, tmp);
break;
default:
abort ();
}
bitset_free (tmp);
EBITSET_NONZERO_SET (dst);
return changed;
}
/* Vector of operations for linked-list bitsets. */ /* Vector of operations for linked-list bitsets. */
struct bitset_ops_struct ebitset_ops = struct bitset_ops_struct ebitset_ops = {
{
ebitset_set, ebitset_set,
ebitset_reset, ebitset_reset,
ebitset_test, ebitset_test,
@@ -1190,7 +1229,7 @@ struct bitset_ops_struct ebitset_ops =
ebitset_op1, ebitset_op1,
ebitset_op2, ebitset_op2,
ebitset_op3, ebitset_op3,
ebitset_op4, bitset_op4,
ebitset_list, ebitset_list,
ebitset_reverse_list, ebitset_reverse_list,
ebitset_free, ebitset_free,
@@ -1216,11 +1255,11 @@ ebitset_init (bset, n_bits)
{ {
unsigned int size; unsigned int size;
bset->ops = &ebitset_ops; bset->b.ops = &ebitset_ops;
bset->csize = EBITSET_ELT_WORDS; bset->b.csize = EBITSET_ELT_WORDS;
EBITSET_ZERO_SET (bset); EBITSET_OP_ZERO_SET (bset);
size = n_bits ? (n_bits + EBITSET_ELT_BITS - 1) / EBITSET_ELT_BITS size = n_bits ? (n_bits + EBITSET_ELT_BITS - 1) / EBITSET_ELT_BITS
: EBITSET_INITIAL_SIZE; : EBITSET_INITIAL_SIZE;

34
lib/ebitset.h
View File

@@ -19,40 +19,12 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#ifndef _EBITSET_H #ifndef _EBITSET_H
#define _EBITSET_H #define _EBITSET_H
#include "bitset-int.h" #include "bbitset.h"
/* Number of words to use for each element. */
#ifndef EBITSET_ELT_WORDS
#define EBITSET_ELT_WORDS 2
#endif
/* Number of bits stored in each element. */
#define EBITSET_ELT_BITS \
((unsigned) (EBITSET_ELT_WORDS * BITSET_WORD_BITS))
/* Ebitset element. We use an array of bits. */
typedef struct ebitset_elt_struct
{
union
{
bitset_word words[EBITSET_ELT_WORDS]; /* Bits that are set. */
struct ebitset_elt_struct *next;
} u;
} ebitset_elt;
typedef ebitset_elt *ebitset_elts;
/* Head of ebitset linked list. */
typedef struct ebitset_struct
{
unsigned int size; /* Number of elements. */
ebitset_elts *elts; /* Expanding array of pointers to elements. */
} *ebitset;
extern int ebitset_bytes PARAMS ((bitset_bindex)); extern int ebitset_bytes PARAMS ((bitset_bindex));
extern bitset ebitset_init PARAMS ((bitset, bitset_bindex));
extern void ebitset_release_memory PARAMS ((void)); extern void ebitset_release_memory PARAMS ((void));
#endif #endif

270
lib/lbitset.c
View File

@@ -20,15 +20,10 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#include "config.h" #include "config.h"
#endif #endif
#include "bitset.h" #include "bbitset.h"
#include "obstack.h" #include "obstack.h"
#include <stdlib.h> #include <stdlib.h>
# if WITH_DMALLOC
# define DMALLOC_FUNC_CHECK
# include <dmalloc.h>
# endif /* WITH_DMALLOC */
/* This file implements linked-list bitsets. These bitsets can be of /* This file implements linked-list bitsets. These bitsets can be of
arbitrary length and are more efficient than arrays of bits for arbitrary length and are more efficient than arrays of bits for
large sparse sets. large sparse sets.
@@ -38,7 +33,54 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
do not always notice when an element becomes zero. Hence the do not always notice when an element becomes zero. Hence the
lbitset_weed function which removes zero elements. */ lbitset_weed function which removes zero elements. */
enum lbitset_find_mode {LBITSET_FIND, LBITSET_CREATE, LBITSET_SUBST};
/* Number of words to use for each element. The larger the value the
greater the size of the cache and the shorter the time to find a given bit
but the more memory wasted for sparse bitsets and the longer the time
to search for set bits. */
#ifndef LBITSET_ELT_WORDS
#define LBITSET_ELT_WORDS 2
#endif
typedef bitset_word lbitset_word;
#define LBITSET_WORD_BITS BITSET_WORD_BITS
/* Number of bits stored in each element. */
#define LBITSET_ELT_BITS \
((unsigned) (LBITSET_ELT_WORDS * LBITSET_WORD_BITS))
/* Lbitset element. We use an array of bits for each element.
These are linked together in a doubly-linked list. */
typedef struct lbitset_elt_struct
{
struct lbitset_elt_struct *next; /* Next element. */
struct lbitset_elt_struct *prev; /* Previous element. */
bitset_windex index; /* bitno / BITSET_WORD_BITS. */
bitset_word words[LBITSET_ELT_WORDS]; /* Bits that are set. */
}
lbitset_elt;
/* Head of lbitset linked list. */
typedef struct lbitset_struct
{
lbitset_elt *head; /* First element in linked list. */
lbitset_elt *tail; /* Last element in linked list. */
}
*lbitset;
struct bitset_struct
{
struct bbitset_struct b;
struct lbitset_struct l;
};
enum lbitset_find_mode
{ LBITSET_FIND, LBITSET_CREATE, LBITSET_SUBST };
static lbitset_elt lbitset_zero_elts[3]; /* Elements of all zero bits. */ static lbitset_elt lbitset_zero_elts[3]; /* Elements of all zero bits. */
@@ -69,21 +111,19 @@ static int lbitset_size PARAMS((bitset));
static int lbitset_op1 PARAMS ((bitset, enum bitset_ops)); static int lbitset_op1 PARAMS ((bitset, enum bitset_ops));
static int lbitset_op2 PARAMS ((bitset, bitset, enum bitset_ops)); static int lbitset_op2 PARAMS ((bitset, bitset, enum bitset_ops));
static int lbitset_op3 PARAMS ((bitset, bitset, bitset, enum bitset_ops)); static int lbitset_op3 PARAMS ((bitset, bitset, bitset, enum bitset_ops));
static int lbitset_op4 PARAMS((bitset, bitset, bitset, bitset,
enum bitset_ops));
static int lbitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex, static int lbitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex,
bitset_bindex *)); bitset_bindex *));
static int lbitset_reverse_list PARAMS((bitset, bitset_bindex *, bitset_bindex, static int lbitset_reverse_list
bitset_bindex *)); PARAMS ((bitset, bitset_bindex *, bitset_bindex, bitset_bindex *));
static void lbitset_free PARAMS ((bitset)); static void lbitset_free PARAMS ((bitset));
#define LBITSET_CURRENT1(X) (lbitset_elt *)((char *)(X) + ((char *)&(((lbitset_elt *)(X))->next) - (char *)&(((lbitset_elt *)(X))->words))) #define LBITSET_CURRENT1(X) (lbitset_elt *)((char *)(X) + ((char *)&(((lbitset_elt *)(X))->next) - (char *)&(((lbitset_elt *)(X))->words)))
#define LBITSET_CURRENT(X) LBITSET_CURRENT1((X)->cdata) #define LBITSET_CURRENT(X) LBITSET_CURRENT1((X)->b.cdata)
#define LBITSET_HEAD(X) ((X)->u.l.head) #define LBITSET_HEAD(X) ((X)->l.head)
#define LBITSET_TAIL(X) ((X)->u.l.tail) #define LBITSET_TAIL(X) ((X)->l.tail)
/* Allocate a lbitset element. The bits are not cleared. */ /* Allocate a lbitset element. The bits are not cleared. */
static inline lbitset_elt * static inline lbitset_elt *
@@ -106,13 +146,17 @@ lbitset_elt_alloc ()
lbitset_obstack_init = 1; lbitset_obstack_init = 1;
/* Let particular systems override the size of a chunk. */ /* Let particular systems override the size of a chunk. */
#ifndef OBSTACK_CHUNK_SIZE #ifndef OBSTACK_CHUNK_SIZE
#define OBSTACK_CHUNK_SIZE 0 #define OBSTACK_CHUNK_SIZE 0
#endif #endif
/* Let them override the alloc and free routines too. */ /* Let them override the alloc and free routines too. */
#ifndef OBSTACK_CHUNK_ALLOC #ifndef OBSTACK_CHUNK_ALLOC
#define OBSTACK_CHUNK_ALLOC xmalloc #define OBSTACK_CHUNK_ALLOC xmalloc
#endif #endif
#ifndef OBSTACK_CHUNK_FREE #ifndef OBSTACK_CHUNK_FREE
#define OBSTACK_CHUNK_FREE free #define OBSTACK_CHUNK_FREE free
#endif #endif
@@ -123,8 +167,10 @@ lbitset_elt_alloc ()
obstack_specify_allocation (&lbitset_obstack, OBSTACK_CHUNK_SIZE, obstack_specify_allocation (&lbitset_obstack, OBSTACK_CHUNK_SIZE,
__alignof__ (lbitset_elt), __alignof__ (lbitset_elt),
(void *(*) PARAMS ((long))) OBSTACK_CHUNK_ALLOC, (void *(*)PARAMS ((long)))
(void (*) PARAMS ((void *))) OBSTACK_CHUNK_FREE); OBSTACK_CHUNK_ALLOC,
(void (*)PARAMS ((void *)))
OBSTACK_CHUNK_FREE);
} }
/* Perhaps we should add a number of new elements to the free /* Perhaps we should add a number of new elements to the free
@@ -185,18 +231,18 @@ lbitset_elt_unlink (bset, elt)
{ {
if (next) if (next)
{ {
bset->cdata = next->words; bset->b.cdata = next->words;
bset->cindex = next->index; bset->b.cindex = next->index;
} }
else if (prev) else if (prev)
{ {
bset->cdata = prev->words; bset->b.cdata = prev->words;
bset->cindex = prev->index; bset->b.cindex = prev->index;
} }
else else
{ {
bset->csize = 0; bset->b.csize = 0;
bset->cdata = 0; bset->b.cdata = 0;
} }
} }
@@ -219,16 +265,16 @@ lbitset_prune (bset, elt)
if (elt->prev) if (elt->prev)
{ {
LBITSET_TAIL (bset) = elt->prev; LBITSET_TAIL (bset) = elt->prev;
bset->cdata = elt->prev->words; bset->b.cdata = elt->prev->words;
bset->cindex = elt->prev->index; bset->b.cindex = elt->prev->index;
elt->prev->next = 0; elt->prev->next = 0;
} }
else else
{ {
LBITSET_HEAD (bset) = 0; LBITSET_HEAD (bset) = 0;
LBITSET_TAIL (bset) = 0; LBITSET_TAIL (bset) = 0;
bset->cdata = 0; bset->b.cdata = 0;
bset->csize = 0; bset->b.csize = 0;
} }
for (; elt; elt = next) for (; elt; elt = next)
@@ -264,7 +310,7 @@ lbitset_elt_link (bset, elt)
lbitset_elt *ptr; lbitset_elt *ptr;
lbitset_elt *current; lbitset_elt *current;
if (bset->csize) if (bset->b.csize)
current = LBITSET_CURRENT (bset); current = LBITSET_CURRENT (bset);
else else
current = LBITSET_HEAD (bset); current = LBITSET_HEAD (bset);
@@ -279,11 +325,10 @@ lbitset_elt_link (bset, elt)
/* If this index is less than that of the current element, it goes /* If this index is less than that of the current element, it goes
somewhere before the current element. */ somewhere before the current element. */
else if (index < bset->cindex) else if (index < bset->b.cindex)
{ {
for (ptr = current; for (ptr = current;
ptr->prev && ptr->prev->index > index; ptr->prev && ptr->prev->index > index; ptr = ptr->prev)
ptr = ptr->prev)
continue; continue;
if (ptr->prev) if (ptr->prev)
@@ -300,8 +345,7 @@ lbitset_elt_link (bset, elt)
else else
{ {
for (ptr = current; for (ptr = current;
ptr->next && ptr->next->index < index; ptr->next && ptr->next->index < index; ptr = ptr->next)
ptr = ptr->next)
continue; continue;
if (ptr->next) if (ptr->next)
@@ -315,9 +359,9 @@ lbitset_elt_link (bset, elt)
} }
/* Set up so this is the first element searched. */ /* Set up so this is the first element searched. */
bset->cindex = index; bset->b.cindex = index;
bset->csize = LBITSET_ELT_WORDS; bset->b.csize = LBITSET_ELT_WORDS;
bset->cdata = elt->words; bset->b.cdata = elt->words;
} }
@@ -330,11 +374,11 @@ lbitset_elt_find (bset, index, mode)
lbitset_elt *elt; lbitset_elt *elt;
lbitset_elt *current; lbitset_elt *current;
if (bset->csize) if (bset->b.csize)
{ {
current = LBITSET_CURRENT (bset); current = LBITSET_CURRENT (bset);
/* Check if element is the cached element. */ /* Check if element is the cached element. */
if ((index - bset->cindex) < bset->csize) if ((index - bset->b.cindex) < bset->b.csize)
return current; return current;
} }
else else
@@ -344,11 +388,10 @@ lbitset_elt_find (bset, index, mode)
if (current) if (current)
{ {
if (index < bset->cindex) if (index < bset->b.cindex)
{ {
for (elt = current; for (elt = current;
elt->prev && elt->index > index; elt->prev && elt->index > index; elt = elt->prev)
elt = elt->prev)
continue; continue;
} }
else else
@@ -363,9 +406,9 @@ lbitset_elt_find (bset, index, mode)
we want, the one we want does not exist. */ we want, the one we want does not exist. */
if (elt && (index - elt->index) < LBITSET_ELT_WORDS) if (elt && (index - elt->index) < LBITSET_ELT_WORDS)
{ {
bset->cindex = elt->index; bset->b.cindex = elt->index;
bset->csize = LBITSET_ELT_WORDS; bset->b.csize = LBITSET_ELT_WORDS;
bset->cdata = elt->words; bset->b.cdata = elt->words;
return elt; return elt;
} }
} }
@@ -490,9 +533,9 @@ lbitset_copy (dst, src)
} }
LBITSET_TAIL (dst) = tmp; LBITSET_TAIL (dst) = tmp;
dst->csize = LBITSET_ELT_WORDS; dst->b.csize = LBITSET_ELT_WORDS;
dst->cdata = LBITSET_HEAD (dst)->words; dst->b.cdata = LBITSET_HEAD (dst)->words;
dst->cindex = LBITSET_HEAD (dst)->index; dst->b.cindex = LBITSET_HEAD (dst)->index;
} }
@@ -546,7 +589,7 @@ lbitset_set (dst, bitno)
lbitset_elt_find (dst, index, LBITSET_CREATE); lbitset_elt_find (dst, index, LBITSET_CREATE);
dst->cdata[index - dst->cindex] |= (1 << (bitno % BITSET_WORD_BITS)); dst->b.cdata[index - dst->b.cindex] |= (1 << (bitno % BITSET_WORD_BITS));
} }
@@ -561,7 +604,7 @@ lbitset_reset (dst, bitno)
if (!lbitset_elt_find (dst, index, LBITSET_FIND)) if (!lbitset_elt_find (dst, index, LBITSET_FIND))
return; return;
dst->cdata[index - dst->cindex] &= ~(1 << (bitno % BITSET_WORD_BITS)); dst->b.cdata[index - dst->b.cindex] &= ~(1 << (bitno % BITSET_WORD_BITS));
/* If all the data is zero, perhaps we should unlink it now... */ /* If all the data is zero, perhaps we should unlink it now... */
} }
@@ -578,7 +621,8 @@ lbitset_test (src, bitno)
if (!lbitset_elt_find (src, index, LBITSET_FIND)) if (!lbitset_elt_find (src, index, LBITSET_FIND))
return 0; return 0;
return (src->cdata[index - src->cindex] >> (bitno % BITSET_WORD_BITS)) & 1; return (src->b.
cdata[index - src->b.cindex] >> (bitno % BITSET_WORD_BITS)) & 1;
} }
@@ -646,7 +690,8 @@ lbitset_reverse_list (bset, list, num, next)
index--, bitoff -= BITSET_WORD_BITS, index--, bitoff -= BITSET_WORD_BITS,
bitcnt = BITSET_WORD_BITS - 1) bitcnt = BITSET_WORD_BITS - 1)
{ {
word = srcp[index - elt->index] << (BITSET_WORD_BITS - 1 - bitcnt); word =
srcp[index - elt->index] << (BITSET_WORD_BITS - 1 - bitcnt);
for (; word; bitcnt--) for (; word; bitcnt--)
{ {
@@ -893,11 +938,11 @@ lbitset_op1 (dst, op)
switch (op) switch (op)
{ {
case BITSET_ZERO: case BITSET_OP_ZERO:
lbitset_zero (dst); lbitset_zero (dst);
break; break;
case BITSET_ONES: case BITSET_OP_ONES:
/* This is a decidedly unfriendly operation for a linked list /* This is a decidedly unfriendly operation for a linked list
bitset! */ bitset! */
elt = LBITSET_TAIL (dst); elt = LBITSET_TAIL (dst);
@@ -914,7 +959,7 @@ lbitset_op1 (dst, op)
} }
break; break;
case BITSET_EMPTY_P: case BITSET_OP_EMPTY_P:
lbitset_weed (dst); lbitset_weed (dst);
if (LBITSET_HEAD (dst)) if (LBITSET_HEAD (dst))
return 0; return 0;
@@ -943,11 +988,11 @@ lbitset_op2 (dst, src, op)
switch (op) switch (op)
{ {
case BITSET_COPY: case BITSET_OP_COPY:
lbitset_copy (dst, src); lbitset_copy (dst, src);
break; break;
case BITSET_NOT: case BITSET_OP_NOT:
/* This is another unfriendly operation for a linked list /* This is another unfriendly operation for a linked list
bitset! */ bitset! */
elt = LBITSET_TAIL (dst); elt = LBITSET_TAIL (dst);
@@ -969,11 +1014,13 @@ lbitset_op2 (dst, src, op)
lbitset_weed (dst); lbitset_weed (dst);
break; break;
case BITSET_EQUAL_P: /* Return 1 if DST == SRC. */
case BITSET_OP_EQUAL_P:
return lbitset_equal_p (dst, src); return lbitset_equal_p (dst, src);
break; break;
case BITSET_SUBSET_P: /* Return 1 if DST == DST | SRC. */
case BITSET_OP_SUBSET_P:
for (selt = LBITSET_HEAD (src), delt = LBITSET_HEAD (dst); for (selt = LBITSET_HEAD (src), delt = LBITSET_HEAD (dst);
selt || delt; selt = selt->next, delt = delt->next) selt || delt; selt = selt->next, delt = delt->next)
{ {
@@ -1001,6 +1048,31 @@ lbitset_op2 (dst, src, op)
} }
break; break;
/* Return 1 if DST & SRC == 0. */
case BITSET_OP_DISJOINT_P:
for (selt = LBITSET_HEAD (src), delt = LBITSET_HEAD (dst);
selt && delt; selt = selt->next, delt = delt->next)
{
if (selt->index != delt->index)
{
if (selt->index < delt->index)
{
lbitset_zero_elts[2].next = delt;
delt = &lbitset_zero_elts[2];
}
else
{
lbitset_zero_elts[1].next = selt;
selt = &lbitset_zero_elts[1];
}
}
for (j = 0; j < LBITSET_ELT_WORDS; j++)
if (selt->words[j] & delt->words[j])
return 0;
}
break;
default: default:
abort (); abort ();
} }
@@ -1034,36 +1106,36 @@ lbitset_op3 (dst, src1, src2, op)
/* Fast track common, simple cases. */ /* Fast track common, simple cases. */
if (!selt2) if (!selt2)
{ {
if (op == BITSET_AND) if (op == BITSET_OP_AND)
{ {
lbitset_weed (dst); lbitset_weed (dst);
changed = !LBITSET_HEAD (dst); changed = !LBITSET_HEAD (dst);
lbitset_zero (dst); lbitset_zero (dst);
return changed; return changed;
} }
else if (op == BITSET_ANDN || op == BITSET_OR || op == BITSET_XOR) else if (op == BITSET_OP_ANDN || op == BITSET_OP_OR
|| op == BITSET_OP_XOR)
{ {
return lbitset_copy_compare (dst, src1); return lbitset_copy_compare (dst, src1);
} }
} }
else if (!selt1) else if (!selt1)
{ {
if (op == BITSET_AND || op == BITSET_ANDN) if (op == BITSET_OP_AND || op == BITSET_OP_ANDN)
{ {
lbitset_weed (dst); lbitset_weed (dst);
changed = !LBITSET_HEAD (dst); changed = !LBITSET_HEAD (dst);
lbitset_zero (dst); lbitset_zero (dst);
return changed; return changed;
} }
else if (op == BITSET_OR || op == BITSET_XOR) else if (op == BITSET_OP_OR || op == BITSET_OP_XOR)
{ {
return lbitset_copy_compare (dst, src2); return lbitset_copy_compare (dst, src2);
} }
} }
LBITSET_HEAD (dst) = 0; LBITSET_HEAD (dst) = 0;
dst->csize = 0; dst->b.csize = 0;
index1 = (selt1) ? selt1->index : BITSET_INDEX_MAX; index1 = (selt1) ? selt1->index : BITSET_INDEX_MAX;
index2 = (selt2) ? selt2->index : BITSET_INDEX_MAX; index2 = (selt2) ? selt2->index : BITSET_INDEX_MAX;
@@ -1123,7 +1195,7 @@ lbitset_op3 (dst, src1, src2, op)
dstp = dtmp->words; dstp = dtmp->words;
switch (op) switch (op)
{ {
case BITSET_OR: case BITSET_OP_OR:
for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ | *srcp2++; bitset_word tmp = *srcp1++ | *srcp2++;
@@ -1136,7 +1208,7 @@ lbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_AND: case BITSET_OP_AND:
for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ & *srcp2++; bitset_word tmp = *srcp1++ & *srcp2++;
@@ -1149,7 +1221,7 @@ lbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_XOR: case BITSET_OP_XOR:
for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ ^ *srcp2++; bitset_word tmp = *srcp1++ ^ *srcp2++;
@@ -1162,7 +1234,7 @@ lbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_ANDN: case BITSET_OP_ANDN:
for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ & ~(*srcp2++); bitset_word tmp = *srcp1++ & ~(*srcp2++);
@@ -1175,7 +1247,7 @@ lbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_ORN: case BITSET_OP_ORN:
for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++) for (i = 0; i < LBITSET_ELT_WORDS; i++, dstp++)
{ {
bitset_word tmp = *srcp1++ | ~(*srcp2++); bitset_word tmp = *srcp1++ | ~(*srcp2++);
@@ -1215,54 +1287,8 @@ lbitset_op3 (dst, src1, src2, op)
} }
static int
lbitset_op4 (dst, src1, src2, src3, op)
bitset dst;
bitset src1;
bitset src2;
bitset src3;
enum bitset_ops op;
{
int changed = 0;
bitset tmp;
#ifdef ENABLE_CHECKING
/* Check for compatiblity. */
if (src1->ops != dst->ops || src2->ops != dst->ops || src3->ops != dst->ops)
abort ();
#endif
tmp = bitset_create (BITSET_LIST, 0);
switch (op)
{
case BITSET_OR_AND:
bitset_or (tmp, src1, src2);
changed = bitset_and (dst, src3, tmp);
break;
case BITSET_AND_OR:
bitset_and (tmp, src1, src2);
changed = bitset_or (dst, src3, tmp);
break;
case BITSET_ANDN_OR:
bitset_andn (tmp, src1, src2);
changed = bitset_or (dst, src3, tmp);
break;
default:
abort ();
}
bitset_free (tmp);
return changed;
}
/* Vector of operations for linked-list bitsets. */ /* Vector of operations for linked-list bitsets. */
struct bitset_ops_struct lbitset_ops = struct bitset_ops_struct lbitset_ops = {
{
lbitset_set, lbitset_set,
lbitset_reset, lbitset_reset,
lbitset_test, lbitset_test,
@@ -1270,7 +1296,7 @@ struct bitset_ops_struct lbitset_ops =
lbitset_op1, lbitset_op1,
lbitset_op2, lbitset_op2,
lbitset_op3, lbitset_op3,
lbitset_op4, bitset_op4,
lbitset_list, lbitset_list,
lbitset_reverse_list, lbitset_reverse_list,
lbitset_free, lbitset_free,
@@ -1294,17 +1320,7 @@ lbitset_init (bset, n_bits)
bitset bset; bitset bset;
bitset_bindex n_bits ATTRIBUTE_UNUSED; bitset_bindex n_bits ATTRIBUTE_UNUSED;
{ {
LBITSET_HEAD (bset) = 0; bset->b.ops = &lbitset_ops;
LBITSET_TAIL (bset) = 0;
bset->ops = &lbitset_ops;
bset->cindex = 0;
/* Disable cache until have some elements allocated.
If we have variable length arrays, then we may
need to allocate dummy element. */
bset->csize = 0;
bset->cdata = 0;
return bset; return bset;
} }

38
lib/lbitset.h
View File

@@ -19,44 +19,12 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#ifndef _LBITSET_H #ifndef _LBITSET_H
#define _LBITSET_H #define _LBITSET_H
#include "bitset-int.h" #include "bbitset.h"
/* Number of words to use for each element. The larger the value the
greater the size of the cache and the shorter the time to find a given bit
but the more memory wasted for sparse bitsets and the longer the time
to search for set bits. */
#ifndef LBITSET_ELT_WORDS
#define LBITSET_ELT_WORDS 2
#endif
typedef bitset_word lbitset_word;
#define LBITSET_WORD_BITS BITSET_WORD_BITS
/* Number of bits stored in each element. */
#define LBITSET_ELT_BITS \
((unsigned) (LBITSET_ELT_WORDS * LBITSET_WORD_BITS))
/* Lbitset element. We use an array of bits for each element.
These are linked together in a doubly-linked list. */
typedef struct lbitset_elt_struct
{
struct lbitset_elt_struct *next; /* Next element. */
struct lbitset_elt_struct *prev; /* Previous element. */
bitset_windex index; /* bitno / BITSET_WORD_BITS. */
bitset_word words[LBITSET_ELT_WORDS]; /* Bits that are set. */
} lbitset_elt;
/* Head of lbitset linked list. */
typedef struct lbitset_struct
{
lbitset_elt *head; /* First element in linked list. */
lbitset_elt *tail; /* Last element in linked list. */
} *lbitset;
extern int lbitset_bytes PARAMS ((bitset_bindex)); extern int lbitset_bytes PARAMS ((bitset_bindex));
extern bitset lbitset_init PARAMS ((bitset, bitset_bindex));
extern void lbitset_release_memory PARAMS ((void)); extern void lbitset_release_memory PARAMS ((void));
#endif #endif

113
lib/sbitset.c
View File

@@ -20,17 +20,27 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#include "config.h" #include "config.h"
#endif #endif
#include "bitset.h" #include "sbitset.h"
#include <stdlib.h> #include <stdlib.h>
#include <string.h>
# if WITH_DMALLOC
# define DMALLOC_FUNC_CHECK
# include <dmalloc.h>
# endif /* WITH_DMALLOC */
/* This file implements fixed size bitsets stored as an array /* This file implements fixed size bitsets stored as an array
of words. Any unused bits in the last word must be zero. */ of words. Any unused bits in the last word must be zero. */
typedef struct sbitset_struct
{
unsigned int n_bits; /* Number of bits. */
bitset_word words[1]; /* The array of bits. */
}
*sbitset;
struct bitset_struct
{
struct bbitset_struct b;
struct sbitset_struct s;
};
static void sbitset_unused_clear PARAMS ((bitset)); static void sbitset_unused_clear PARAMS ((bitset));
static int sbitset_small_list PARAMS ((bitset, bitset_bindex *, bitset_bindex, static int sbitset_small_list PARAMS ((bitset, bitset_bindex *, bitset_bindex,
@@ -47,12 +57,12 @@ static int sbitset_op4 PARAMS((bitset, bitset, bitset, bitset,
enum bitset_ops)); enum bitset_ops));
static int sbitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex, static int sbitset_list PARAMS ((bitset, bitset_bindex *, bitset_bindex,
bitset_bindex *)); bitset_bindex *));
static int sbitset_reverse_list PARAMS((bitset, bitset_bindex *, bitset_bindex, static int sbitset_reverse_list
bitset_bindex *)); PARAMS ((bitset, bitset_bindex *, bitset_bindex, bitset_bindex *));
#define SBITSET_N_WORDS(N) (((N) + BITSET_WORD_BITS - 1) / BITSET_WORD_BITS) #define SBITSET_N_WORDS(N) (((N) + BITSET_WORD_BITS - 1) / BITSET_WORD_BITS)
#define SBITSET_WORDS(X) ((X)->u.s.words) #define SBITSET_WORDS(X) ((X)->s.words)
#define SBITSET_N_BITS(X) ((X)->u.s.n_bits) #define SBITSET_N_BITS(X) ((X)->s.n_bits)
/* Return size in bits of bitset SRC. */ /* Return size in bits of bitset SRC. */
@@ -235,7 +245,7 @@ sbitset_list (src, list, num, next)
bitset_bindex count; bitset_bindex count;
bitset_windex index; bitset_windex index;
bitset_bindex bitoff; bitset_bindex bitoff;
bitset_windex size = src->csize; bitset_windex size = src->b.csize;
bitset_word *srcp = SBITSET_WORDS (src); bitset_word *srcp = SBITSET_WORDS (src);
bitset_word word; bitset_word word;
@@ -336,7 +346,8 @@ sbitset_unused_clear (dst)
last_bit = SBITSET_N_BITS (dst) % BITSET_WORD_BITS; last_bit = SBITSET_N_BITS (dst) % BITSET_WORD_BITS;
if (last_bit) if (last_bit)
SBITSET_WORDS (dst)[dst->csize - 1] &= (bitset_word)((1 << last_bit) - 1); SBITSET_WORDS (dst)[dst->b.csize - 1] &=
(bitset_word) ((1 << last_bit) - 1);
} }
@@ -349,21 +360,21 @@ sbitset_op1 (dst, op)
bitset_word *dstp = SBITSET_WORDS (dst); bitset_word *dstp = SBITSET_WORDS (dst);
unsigned int bytes; unsigned int bytes;
bytes = sizeof (bitset_word) * dst->csize; bytes = sizeof (bitset_word) * dst->b.csize;
switch (op) switch (op)
{ {
case BITSET_ZERO: case BITSET_OP_ZERO:
memset (dstp, 0, bytes); memset (dstp, 0, bytes);
break; break;
case BITSET_ONES: case BITSET_OP_ONES:
memset (dstp, ~0, bytes); memset (dstp, ~0, bytes);
sbitset_unused_clear (dst); sbitset_unused_clear (dst);
break; break;
case BITSET_EMPTY_P: case BITSET_OP_EMPTY_P:
for (i = 0; i < dst->csize; i++) for (i = 0; i < dst->b.csize; i++)
if (dstp[i]) if (dstp[i])
return 0; return 0;
break; break;
@@ -385,40 +396,44 @@ sbitset_op2 (dst, src, op)
unsigned int i; unsigned int i;
bitset_word *srcp = SBITSET_WORDS (src); bitset_word *srcp = SBITSET_WORDS (src);
bitset_word *dstp = SBITSET_WORDS (dst); bitset_word *dstp = SBITSET_WORDS (dst);
bitset_windex size = dst->csize; bitset_windex size = dst->b.csize;
#ifdef ENABLE_CHECKING #ifdef ENABLE_CHECKING
/* Check for compatiblity. */ /* Check for compatiblity. */
if (src->ops != dst->ops || SBITSET_N_BITS (src) != SBITSET_N_BITS (dst)) if (SBITSET_N_BITS (src) != SBITSET_N_BITS (dst))
abort (); abort ();
#endif #endif
switch (op) switch (op)
{ {
case BITSET_COPY: case BITSET_OP_COPY:
if (srcp == dstp) if (srcp == dstp)
break; break;
memcpy (dstp, srcp, sizeof (bitset_word) * size); memcpy (dstp, srcp, sizeof (bitset_word) * size);
break; break;
case BITSET_NOT: case BITSET_OP_NOT:
for (i = 0; i < size; i++) for (i = 0; i < size; i++)
*dstp++ = ~(*srcp++); *dstp++ = ~(*srcp++);
sbitset_unused_clear (dst); sbitset_unused_clear (dst);
break; break;
case BITSET_EQUAL_P: case BITSET_OP_EQUAL_P:
for (i = 0; i < size; i++) for (i = 0; i < size; i++)
if (*dstp++ != *srcp++) if (*srcp++ != *dstp++)
return 0; return 0;
break; break;
case BITSET_SUBSET_P: case BITSET_OP_SUBSET_P:
for (i = 0; i < size; i++, dstp++, srcp++) for (i = 0; i < size; i++, dstp++, srcp++)
{
if (*dstp != (*srcp | *dstp)) if (*dstp != (*srcp | *dstp))
return 0; return 0;
} break;
case BITSET_OP_DISJOINT_P:
for (i = 0; i < size; i++)
if (*srcp++ & *dstp++)
return 0;
break; break;
default: default:
@@ -441,18 +456,18 @@ sbitset_op3 (dst, src1, src2, op)
bitset_word *src1p = SBITSET_WORDS (src1); bitset_word *src1p = SBITSET_WORDS (src1);
bitset_word *src2p = SBITSET_WORDS (src2); bitset_word *src2p = SBITSET_WORDS (src2);
bitset_word *dstp = SBITSET_WORDS (dst); bitset_word *dstp = SBITSET_WORDS (dst);
bitset_windex size = dst->csize; bitset_windex size = dst->b.csize;
#ifdef ENABLE_CHECKING #ifdef ENABLE_CHECKING
/* Check for compatiblity. */ /* Check for compatiblity. */
if (src1->ops != dst->ops || SBITSET_N_BITS (src1) != SBITSET_N_BITS (dst) if (SBITSET_N_BITS (src1) != SBITSET_N_BITS (dst)
|| src2->ops != dst->ops || SBITSET_N_BITS (src2) != SBITSET_N_BITS (dst)) SBITSET_N_BITS (src2) != SBITSET_N_BITS (dst))
abort (); abort ();
#endif #endif
switch (op) switch (op)
{ {
case BITSET_OR: case BITSET_OP_OR:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = *src1p++ | *src2p++; bitset_word tmp = *src1p++ | *src2p++;
@@ -465,7 +480,7 @@ sbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_AND: case BITSET_OP_AND:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = *src1p++ & *src2p++; bitset_word tmp = *src1p++ & *src2p++;
@@ -478,7 +493,7 @@ sbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_XOR: case BITSET_OP_XOR:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = *src1p++ ^ *src2p++; bitset_word tmp = *src1p++ ^ *src2p++;
@@ -491,7 +506,7 @@ sbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_ANDN: case BITSET_OP_ANDN:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = *src1p++ & ~(*src2p++); bitset_word tmp = *src1p++ & ~(*src2p++);
@@ -504,7 +519,7 @@ sbitset_op3 (dst, src1, src2, op)
} }
break; break;
case BITSET_ORN: case BITSET_OP_ORN:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = *src1p++ | ~(*src2p++); bitset_word tmp = *src1p++ | ~(*src2p++);
@@ -540,19 +555,19 @@ sbitset_op4 (dst, src1, src2, src3, op)
bitset_word *src2p = SBITSET_WORDS (src2); bitset_word *src2p = SBITSET_WORDS (src2);
bitset_word *src3p = SBITSET_WORDS (src3); bitset_word *src3p = SBITSET_WORDS (src3);
bitset_word *dstp = SBITSET_WORDS (dst); bitset_word *dstp = SBITSET_WORDS (dst);
bitset_windex size = dst->csize; bitset_windex size = dst->b.csize;
#ifdef ENABLE_CHECKING #ifdef ENABLE_CHECKING
/* Check for compatiblity. */ /* Check for compatiblity. */
if (src1->ops != dst->ops || SBITSET_N_BITS (src1) != SBITSET_N_BITS (dst) if (SBITSET_N_BITS (src1) != SBITSET_N_BITS (dst)
|| src2->ops != dst->ops || SBITSET_N_BITS (src2) != SBITSET_N_BITS (dst) || SBITSET_N_BITS (src2) != SBITSET_N_BITS (dst)
|| src3->ops != dst->ops || SBITSET_N_BITS (src3) != SBITSET_N_BITS (dst)) || SBITSET_N_BITS (src3) != SBITSET_N_BITS (dst))
abort (); abort ();
#endif #endif
switch (op) switch (op)
{ {
case BITSET_OR_AND: case BITSET_OP_OR_AND:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = (*src1p++ | *src2p++) & *src3p++; bitset_word tmp = (*src1p++ | *src2p++) & *src3p++;
@@ -565,7 +580,7 @@ sbitset_op4 (dst, src1, src2, src3, op)
} }
break; break;
case BITSET_AND_OR: case BITSET_OP_AND_OR:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = (*src1p++ & *src2p++) | *src3p++; bitset_word tmp = (*src1p++ & *src2p++) | *src3p++;
@@ -578,7 +593,7 @@ sbitset_op4 (dst, src1, src2, src3, op)
} }
break; break;
case BITSET_ANDN_OR: case BITSET_OP_ANDN_OR:
for (i = 0; i < size; i++, dstp++) for (i = 0; i < size; i++, dstp++)
{ {
bitset_word tmp = (*src1p++ & ~(*src2p++)) | *src3p++; bitset_word tmp = (*src1p++ & ~(*src2p++)) | *src3p++;
@@ -600,8 +615,7 @@ sbitset_op4 (dst, src1, src2, src3, op)
/* Vector of operations for single word bitsets. */ /* Vector of operations for single word bitsets. */
struct bitset_ops_struct sbitset_small_ops = struct bitset_ops_struct sbitset_small_ops = {
{
sbitset_set, sbitset_set,
sbitset_reset, sbitset_reset,
sbitset_test, sbitset_test,
@@ -618,8 +632,7 @@ struct bitset_ops_struct sbitset_small_ops =
/* Vector of operations for multiple word bitsets. */ /* Vector of operations for multiple word bitsets. */
struct bitset_ops_struct sbitset_ops = struct bitset_ops_struct sbitset_ops = {
{
sbitset_set, sbitset_set,
sbitset_reset, sbitset_reset,
sbitset_test, sbitset_test,
@@ -661,12 +674,12 @@ sbitset_init (bset, n_bits)
There is probably little merit if using caching since There is probably little merit if using caching since
the small bitset will always fit in the cache. */ the small bitset will always fit in the cache. */
if (size == 1) if (size == 1)
bset->ops = &sbitset_small_ops; bset->b.ops = &sbitset_small_ops;
else else
bset->ops = &sbitset_ops; bset->b.ops = &sbitset_ops;
bset->cindex = 0; bset->b.cindex = 0;
bset->csize = size; bset->b.csize = size;
bset->cdata = SBITSET_WORDS (bset); bset->b.cdata = SBITSET_WORDS (bset);
return bset; return bset;
} }

11
lib/sbitset.h
View File

@@ -19,15 +19,10 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
#ifndef _SBITSET_H #ifndef _SBITSET_H
#define _SBITSET_H #define _SBITSET_H
#include "bitset-int.h" #include "bbitset.h"
typedef struct sbitset_struct
{
unsigned int n_bits; /* Number of bits. */
bitset_word words[1]; /* The array of bits. */
} *sbitset;
extern int sbitset_bytes PARAMS ((bitset_bindex)); extern int sbitset_bytes PARAMS ((bitset_bindex));
extern bitset sbitset_init PARAMS ((bitset, bitset_bindex));
#endif #endif