/*
- * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2011 University of Karlsruhe. All right reserved.
*
* This file is part of libFirm.
*
* @file
* @brief implementation of set
* @author Markus Armbruster
- * @version $Id$
*/
/* This code is derived from:
#include <stdio.h>
#include <string.h>
#include "xmalloc.h"
+#include "lc_printf.h"
#ifdef PSET
# include "pset.h"
#else
#include "obst.h"
-#define SEGMENT_SIZE_SHIFT 8
-#define SEGMENT_SIZE (1 << SEGMENT_SIZE_SHIFT)
-#define DIRECTORY_SIZE_SHIFT 8
-#define DIRECTORY_SIZE (1 << DIRECTORY_SIZE_SHIFT)
-#define MAX_LOAD_FACTOR 4
+#define SEGMENT_SIZE_SHIFT 8
+#define SEGMENT_SIZE (1 << SEGMENT_SIZE_SHIFT)
+#define DIRECTORY_SIZE_SHIFT 8
+#define DIRECTORY_SIZE (1 << DIRECTORY_SIZE_SHIFT)
+#define MAX_LOAD_FACTOR 4
typedef struct element {
- struct element *chain; /**< for chaining Elements */
- MANGLEP (entry) entry;
+ struct element *chain; /**< for chaining Elements */
+ MANGLEP (entry) entry;
} Element, *Segment;
struct SET {
- unsigned p; /**< Next bucket to be split */
- unsigned maxp; /**< upper bound on p during expansion */
- unsigned nkey; /**< current # keys */
- unsigned nseg; /**< current # segments */
- Segment *dir[DIRECTORY_SIZE];
- MANGLEP(cmp_fun) cmp; /**< function comparing entries */
- unsigned iter_i, iter_j;
- Element *iter_tail; /**< non-NULL while iterating over elts */
+ size_t p; /**< Next bucket to be split */
+ size_t maxp; /**< upper bound on p during expansion */
+ size_t nkey; /**< current # keys */
+ size_t nseg; /**< current # segments */
+ Segment *dir[DIRECTORY_SIZE];
+ MANGLEP(cmp_fun) cmp; /**< function comparing entries */
+ unsigned iter_i, iter_j;
+ Element *iter_tail; /**< non-NULL while iterating over elts */
#ifdef PSET
- Element *free_list; /**< list of free Elements */
-#endif
- struct obstack obst; /**< obstack for allocation all data */
-#ifdef STATS
- int naccess, ncollision, ndups;
- int max_chain_len;
-#endif
-#ifdef DEBUG
- const char *tag; /**< an optionally tag for distinguishing sets */
+ Element *free_list; /**< list of free Elements */
#endif
+ struct obstack obst; /**< obstack for allocation all data */
};
-#ifdef STATS
-
-void MANGLEP(stats) (SET *table)
+SET *(PMANGLE(new)) (MANGLEP(cmp_fun) cmp, size_t nslots)
{
- int nfree = 0;
+ SET *table = XMALLOC(SET);
+ size_t i;
+
+ if (nslots > SEGMENT_SIZE * DIRECTORY_SIZE)
+ nslots = DIRECTORY_SIZE;
+ else {
+ /* Adjust nslots up to next power of 2, minimum SEGMENT_SIZE */
+ for (i = SEGMENT_SIZE; i < nslots; i <<= 1) {
+ }
+ nslots = i >> SEGMENT_SIZE_SHIFT;
+ }
+
+ table->nseg = table->p = table->nkey = 0;
+ table->maxp = nslots << SEGMENT_SIZE_SHIFT;
+ table->cmp = cmp;
+ table->iter_tail = NULL;
#ifdef PSET
- Element *q = table->free_list;
- while (q) { q = q->chain; ++nfree; }
+ table->free_list = NULL;
#endif
- printf (" accesses collisions keys duplicates longest wasted\n%12d%12d%12d%12d%12d%12d\n",
- table->naccess, table->ncollision, table->nkey, table->ndups, table->max_chain_len, nfree);
-}
-
-static inline void stat_chain_len(SET *table, int chain_len)
-{
- table->ncollision += chain_len;
- if (table->max_chain_len < chain_len) table->max_chain_len = chain_len;
-}
-
-# define stat_access(table) (++(table)->naccess)
-# define stat_dup(table) (++(table)->ndups)
-
-#else /* !STATS */
+ obstack_init (&table->obst);
-# define stat_chain_len(table, chain_len) ((void)0)
-# define stat_access(table) ((void)0)
-# define stat_dup(table) ((void)0)
+ /* Make segments */
+ for (i = 0; i < nslots; ++i) {
+ table->dir[i] = OALLOCNZ(&table->obst, Segment, SEGMENT_SIZE);
+ table->nseg++;
+ }
-#endif /* !STATS */
-
-#ifdef DEBUG
-
-const char *MANGLEP(tag);
-
-
-void MANGLEP(describe) (SET *table)
-{
- unsigned i, j, collide;
- Element *ptr;
- Segment *seg;
-
- printf ("p=%u maxp=%u nkey=%u nseg=%u\n",
- table->p, table->maxp, table->nkey, table->nseg);
- for (i = 0; i < table->nseg; i++) {
- seg = table->dir[i];
- for (j = 0; j < SEGMENT_SIZE; j++) {
- collide = 0;
- ptr = seg[j];
- while (ptr) {
- if (collide) printf ("<%3d>", collide);
- else printf ("table");
- printf ("[%d][%3d]: %u %p\n", i, j, ptr->entry.hash, (void *)ptr->entry.dptr);
- ptr = ptr->chain;
- collide++;
- }
- }
- }
-#ifdef STATS
- MANGLEP(stats)(table);
-#endif
-}
-
-#endif /* !DEBUG */
-
-
-SET *(PMANGLE(new)) (MANGLEP(cmp_fun) cmp, int nslots)
-{
- int i;
- SET *table = XMALLOC(SET);
-
- if (nslots > SEGMENT_SIZE * DIRECTORY_SIZE)
- nslots = DIRECTORY_SIZE;
- else {
- assert (nslots >= 0);
- /* Adjust nslots up to next power of 2, minimum SEGMENT_SIZE */
- for (i = SEGMENT_SIZE; i < nslots; i <<= 1);
- nslots = i >> SEGMENT_SIZE_SHIFT;
- }
-
- table->nseg = table->p = table->nkey = 0;
- table->maxp = nslots << SEGMENT_SIZE_SHIFT;
- table->cmp = cmp;
- table->iter_tail = NULL;
-#ifdef PSET
- table->free_list = NULL;
-#endif
- obstack_init (&table->obst);
-
- /* Make segments */
- for (i = 0; i < nslots; ++i) {
- table->dir[i] = OALLOCNZ(&table->obst, Segment, SEGMENT_SIZE);
- table->nseg++;
- }
-
-#ifdef STATS
- table->naccess = table->ncollision = table->ndups = 0;
- table->max_chain_len = 0;
-#endif
-#ifdef DEBUG
- table->tag = MANGLEP(tag);
-#endif
- return table;
+ return table;
}
void PMANGLE(del) (SET *table)
{
-#ifdef DEBUG
- MANGLEP(tag) = table->tag;
-#endif
- obstack_free (&table->obst, NULL);
- xfree (table);
+ obstack_free (&table->obst, NULL);
+ xfree (table);
}
-int MANGLEP(count) (SET *table)
+size_t MANGLEP(count) (SET *table)
{
- return table->nkey;
+ return table->nkey;
}
/*
*/
static inline int iter_step(SET *table)
{
- if (++table->iter_j >= SEGMENT_SIZE) {
- table->iter_j = 0;
- if (++table->iter_i >= table->nseg) {
- table->iter_i = 0;
- return 0;
- }
- }
- return 1;
+ if (++table->iter_j >= SEGMENT_SIZE) {
+ table->iter_j = 0;
+ if (++table->iter_i >= table->nseg) {
+ table->iter_i = 0;
+ return 0;
+ }
+ }
+ return 1;
}
/*
* finds the first entry in the table
*/
-void * MANGLEP(first) (SET *table)
+void *(MANGLEP(first))(SET *table)
{
- assert (!table->iter_tail);
- table->iter_i = 0;
- table->iter_j = 0;
- while (!table->dir[table->iter_i][table->iter_j]) {
- if (!iter_step (table)) return NULL;
- }
- table->iter_tail = table->dir[table->iter_i][table->iter_j];
- assert (table->iter_tail->entry.dptr);
- return table->iter_tail->entry.dptr;
+ assert (!table->iter_tail);
+ table->iter_i = 0;
+ table->iter_j = 0;
+ while (!table->dir[table->iter_i][table->iter_j]) {
+ if (!iter_step (table)) return NULL;
+ }
+ table->iter_tail = table->dir[table->iter_i][table->iter_j];
+ assert (table->iter_tail->entry.dptr);
+ return table->iter_tail->entry.dptr;
}
/*
* returns next entry in the table
*/
-void *MANGLEP(next) (SET *table)
+void *(MANGLEP(next))(SET *table)
{
- if (!table->iter_tail)
- return NULL;
-
- /* follow collision chain */
- table->iter_tail = table->iter_tail->chain;
- if (!table->iter_tail) {
- /* go to next segment */
- do {
- if (!iter_step (table)) return NULL;
- } while (!table->dir[table->iter_i][table->iter_j]);
- table->iter_tail = table->dir[table->iter_i][table->iter_j];
- }
- assert (table->iter_tail->entry.dptr);
- return table->iter_tail->entry.dptr;
+ if (!table->iter_tail)
+ return NULL;
+
+ /* follow collision chain */
+ table->iter_tail = table->iter_tail->chain;
+ if (!table->iter_tail) {
+ /* go to next segment */
+ do {
+ if (!iter_step (table)) return NULL;
+ } while (!table->dir[table->iter_i][table->iter_j]);
+ table->iter_tail = table->dir[table->iter_i][table->iter_j];
+ }
+ assert (table->iter_tail->entry.dptr);
+ return table->iter_tail->entry.dptr;
}
void MANGLEP(break) (SET *table)
{
- table->iter_tail = NULL;
+ table->iter_tail = NULL;
}
/*
*/
static inline unsigned Hash(SET *table, unsigned h)
{
- unsigned address;
- address = h & (table->maxp - 1); /* h % table->maxp */
- if (address < (unsigned)table->p)
- address = h & ((table->maxp << 1) - 1); /* h % (2*table->maxp) */
- return address;
+ unsigned address;
+ address = h & (table->maxp - 1); /* h % table->maxp */
+ if (address < (unsigned)table->p)
+ address = h & ((table->maxp << 1) - 1); /* h % (2*table->maxp) */
+ return address;
}
/*
*/
static inline int loaded(SET *table)
{
- return ( ++table->nkey
- > (table->nseg << SEGMENT_SIZE_SHIFT) * MAX_LOAD_FACTOR);
+ return ( ++table->nkey
+ > (table->nseg << SEGMENT_SIZE_SHIFT) * MAX_LOAD_FACTOR);
}
/*
*/
static void expand_table(SET *table)
{
- unsigned NewAddress;
- int OldSegmentIndex, NewSegmentIndex;
- int OldSegmentDir, NewSegmentDir;
- Segment *OldSegment;
- Segment *NewSegment;
- Element *Current;
- Element **Previous;
- Element **LastOfNew;
-
- if (table->maxp + table->p < (DIRECTORY_SIZE << SEGMENT_SIZE_SHIFT)) {
- /* Locate the bucket to be split */
- OldSegmentDir = table->p >> SEGMENT_SIZE_SHIFT;
- OldSegment = table->dir[OldSegmentDir];
- OldSegmentIndex = table->p & (SEGMENT_SIZE-1);
-
- /* Expand address space; if necessary create a new segment */
- NewAddress = table->maxp + table->p;
- NewSegmentDir = NewAddress >> SEGMENT_SIZE_SHIFT;
- NewSegmentIndex = NewAddress & (SEGMENT_SIZE-1);
- if (NewSegmentIndex == 0) {
- table->dir[NewSegmentDir] = OALLOCNZ(&table->obst, Segment, SEGMENT_SIZE);
- table->nseg++;
- }
- NewSegment = table->dir[NewSegmentDir];
-
- /* Adjust state variables */
- table->p++;
- if (table->p == table->maxp) {
- table->maxp <<= 1; /* table->maxp *= 2 */
- table->p = 0;
- }
-
- /* Relocate records to the new bucket */
- Previous = &OldSegment[OldSegmentIndex];
- Current = *Previous;
- LastOfNew = &NewSegment[NewSegmentIndex];
- *LastOfNew = NULL;
- while (Current != NULL) {
- if (Hash (table, Current->entry.hash) == NewAddress) {
- /* move to new chain */
- *LastOfNew = Current;
- *Previous = Current->chain;
- LastOfNew = &Current->chain;
- Current = Current->chain;
- *LastOfNew = NULL;
- } else {
- /* leave on old chain */
- Previous = &Current->chain;
- Current = Current->chain;
- }
- }
- }
+ size_t NewAddress;
+ size_t OldSegmentIndex, NewSegmentIndex;
+ size_t OldSegmentDir, NewSegmentDir;
+ Segment *OldSegment;
+ Segment *NewSegment;
+ Element *Current;
+ Element **Previous;
+ Element **LastOfNew;
+
+ if (table->maxp + table->p < (DIRECTORY_SIZE << SEGMENT_SIZE_SHIFT)) {
+ /* Locate the bucket to be split */
+ OldSegmentDir = table->p >> SEGMENT_SIZE_SHIFT;
+ OldSegment = table->dir[OldSegmentDir];
+ OldSegmentIndex = table->p & (SEGMENT_SIZE-1);
+
+ /* Expand address space; if necessary create a new segment */
+ NewAddress = table->maxp + table->p;
+ NewSegmentDir = NewAddress >> SEGMENT_SIZE_SHIFT;
+ NewSegmentIndex = NewAddress & (SEGMENT_SIZE-1);
+ if (NewSegmentIndex == 0) {
+ table->dir[NewSegmentDir] = OALLOCNZ(&table->obst, Segment, SEGMENT_SIZE);
+ table->nseg++;
+ }
+ NewSegment = table->dir[NewSegmentDir];
+
+ /* Adjust state variables */
+ table->p++;
+ if (table->p == table->maxp) {
+ table->maxp <<= 1; /* table->maxp *= 2 */
+ table->p = 0;
+ }
+
+ /* Relocate records to the new bucket */
+ Previous = &OldSegment[OldSegmentIndex];
+ Current = *Previous;
+ LastOfNew = &NewSegment[NewSegmentIndex];
+ *LastOfNew = NULL;
+ while (Current != NULL) {
+ if (Hash (table, Current->entry.hash) == NewAddress) {
+ /* move to new chain */
+ *LastOfNew = Current;
+ *Previous = Current->chain;
+ LastOfNew = &Current->chain;
+ Current = Current->chain;
+ *LastOfNew = NULL;
+ } else {
+ /* leave on old chain */
+ Previous = &Current->chain;
+ Current = Current->chain;
+ }
+ }
+ }
}
void * MANGLE(_,_search) (SET *table,
- const void *key,
+ const void *key,
#ifndef PSET
- size_t size,
+ size_t size,
#endif
- unsigned hash,
- MANGLE(_,_action) action)
+ unsigned hash,
+ MANGLE(_,_action) action)
{
- unsigned h;
- Segment *CurrentSegment;
- int SegmentIndex;
- MANGLEP(cmp_fun) cmp = table->cmp;
- Segment q;
- int chain_len = 0;
-
- assert (table);
- assert (key);
-#ifdef DEBUG
- MANGLEP(tag) = table->tag;
-#endif
- stat_access (table);
-
- /* Find collision chain */
- h = Hash (table, hash);
- SegmentIndex = h & (SEGMENT_SIZE-1);
- CurrentSegment = table->dir[h >> SEGMENT_SIZE_SHIFT];
- assert (CurrentSegment != NULL);
- q = CurrentSegment[SegmentIndex];
-
- /* Follow collision chain */
- while (q && !EQUAL (cmp, q, key, size)) {
- q = q->chain;
- ++chain_len;
- }
-
- stat_chain_len (table, chain_len);
-
- if (!q && (action != MANGLE(_,_find))) { /* not found, insert */
- assert (!table->iter_tail && "insert an element into a set that is iterated");
-
- if (CurrentSegment[SegmentIndex]) stat_dup (table);
+ unsigned h;
+ Segment *CurrentSegment;
+ int SegmentIndex;
+ MANGLEP(cmp_fun) cmp = table->cmp;
+ Segment q;
+
+ assert (table);
+ assert (key);
+
+ /* Find collision chain */
+ h = Hash (table, hash);
+ SegmentIndex = h & (SEGMENT_SIZE-1);
+ CurrentSegment = table->dir[h >> SEGMENT_SIZE_SHIFT];
+ assert (CurrentSegment != NULL);
+ q = CurrentSegment[SegmentIndex];
+
+ /* Follow collision chain */
+ while (q && !EQUAL (cmp, q, key, size)) {
+ q = q->chain;
+ }
+
+ if (!q && (action != MANGLE(_,_find))) { /* not found, insert */
+ assert (!table->iter_tail && "insert an element into a set that is iterated");
#ifdef PSET
- if (table->free_list) {
- q = table->free_list;
- table->free_list = table->free_list->chain;
- } else {
- q = OALLOC(&table->obst, Element);
- }
- q->entry.dptr = (void *)key;
+ if (table->free_list) {
+ q = table->free_list;
+ table->free_list = table->free_list->chain;
+ } else {
+ q = OALLOC(&table->obst, Element);
+ }
+ q->entry.dptr = (void *)key;
#else
- obstack_blank (&table->obst, offsetof (Element, entry.dptr));
- if (action == _set_hinsert0)
- obstack_grow0 (&table->obst, key, size);
- else
- obstack_grow (&table->obst, key, size);
- q = obstack_finish (&table->obst);
- q->entry.size = size;
+ obstack_blank (&table->obst, offsetof (Element, entry.dptr));
+ if (action == _set_hinsert0)
+ obstack_grow0 (&table->obst, key, size);
+ else
+ obstack_grow (&table->obst, key, size);
+ q = (Segment) obstack_finish (&table->obst);
+ q->entry.size = size;
#endif
- q->chain = CurrentSegment[SegmentIndex];
- q->entry.hash = hash;
- CurrentSegment[SegmentIndex] = q;
+ q->chain = CurrentSegment[SegmentIndex];
+ q->entry.hash = hash;
+ CurrentSegment[SegmentIndex] = q;
- if (loaded (table)) {
- expand_table(table); /* doesn't affect q */
- }
- }
+ if (loaded (table)) {
+ expand_table(table); /* doesn't affect q */
+ }
+ }
- if (!q) return NULL;
+ if (!q) return NULL;
#ifdef PSET
- if (action == _pset_hinsert) return &q->entry;
+ if (action == _pset_hinsert) return &q->entry;
#else
- if (action == _set_hinsert || action == _set_hinsert0) return &q->entry;
+ if (action == _set_hinsert || action == _set_hinsert0) return &q->entry;
#endif
- return q->entry.dptr;
+ return q->entry.dptr;
}
void *pset_remove(SET *table, const void *key, unsigned hash)
{
- unsigned h;
- Segment *CurrentSegment;
- int SegmentIndex;
- pset_cmp_fun cmp = table->cmp;
- Segment *p;
- Segment q;
- int chain_len = 0;
-
- assert (table && !table->iter_tail);
- stat_access (table);
-
- /* Find collision chain */
- h = Hash (table, hash);
- SegmentIndex = h & (SEGMENT_SIZE-1);
- CurrentSegment = table->dir[h >> SEGMENT_SIZE_SHIFT];
- assert (CurrentSegment != NULL);
- p = &CurrentSegment[SegmentIndex];
-
- /* Follow collision chain */
- while (!EQUAL (cmp, *p, key, size)) {
- p = &(*p)->chain;
- assert (*p);
- ++chain_len;
- }
-
- stat_chain_len (table, chain_len);
-
- q = *p;
-
- if (q == table->iter_tail) {
- /* removing current element */
- table->iter_tail = q->chain;
- if (!table->iter_tail) {
- /* go to next segment */
- do {
- if (!iter_step (table))
- break;
- } while (!table->dir[table->iter_i][table->iter_j]);
- table->iter_tail = table->dir[table->iter_i][table->iter_j];
- }
- }
-
- *p = (*p)->chain;
- q->chain = table->free_list;
- table->free_list = q;
- --table->nkey;
-
- return q->entry.dptr;
+ unsigned h;
+ Segment *CurrentSegment;
+ int SegmentIndex;
+ pset_cmp_fun cmp = table->cmp;
+ Segment *p;
+ Segment q;
+
+ assert (table && !table->iter_tail);
+
+ /* Find collision chain */
+ h = Hash (table, hash);
+ SegmentIndex = h & (SEGMENT_SIZE-1);
+ CurrentSegment = table->dir[h >> SEGMENT_SIZE_SHIFT];
+ assert (CurrentSegment != NULL);
+ p = &CurrentSegment[SegmentIndex];
+
+ /* Follow collision chain */
+ while (!EQUAL (cmp, *p, key, size)) {
+ p = &(*p)->chain;
+ assert (*p);
+ }
+
+ q = *p;
+
+ if (q == table->iter_tail) {
+ /* removing current element */
+ table->iter_tail = q->chain;
+ if (!table->iter_tail) {
+ /* go to next segment */
+ do {
+ if (!iter_step (table))
+ break;
+ } while (!table->dir[table->iter_i][table->iter_j]);
+ table->iter_tail = table->dir[table->iter_i][table->iter_j];
+ }
+ }
+
+ *p = (*p)->chain;
+ q->chain = table->free_list;
+ table->free_list = q;
+ --table->nkey;
+
+ return q->entry.dptr;
}
void *(pset_find) (SET *se, const void *key, unsigned hash)
{
- return pset_find (se, key, hash);
+ return pset_find (se, key, hash);
}
void *(pset_insert) (SET *se, const void *key, unsigned hash)
{
- return pset_insert (se, key, hash);
+ return pset_insert (se, key, hash);
}
-MANGLEP(entry) *
+ MANGLEP(entry) *
(pset_hinsert) (SET *se, const void *key, unsigned hash)
{
- return pset_hinsert (se, key, hash);
+ return pset_hinsert (se, key, hash);
}
void pset_insert_pset_ptr(pset *target, pset *src)
{
- void *elt;
- for (elt = pset_first(src); elt; elt = pset_next(src)) {
- pset_insert_ptr(target, elt);
- }
+ foreach_pset(src, void, elt) {
+ pset_insert_ptr(target, elt);
+ }
}
#else /* !PSET */
void *(set_find) (set *se, const void *key, size_t size, unsigned hash)
{
- return set_find (se, key, size, hash);
+ return set_find(void, se, key, size, hash);
}
void *(set_insert) (set *se, const void *key, size_t size, unsigned hash)
{
- return set_insert (se, key, size, hash);
+ return set_insert(void, se, key, size, hash);
}
set_entry *(set_hinsert) (set *se, const void *key, size_t size, unsigned hash)
{
- return set_hinsert (se, key, size, hash);
+ return set_hinsert (se, key, size, hash);
}
#endif /* !PSET */