verify that all blocks can be found by walk_block_graph
[libfirm] / ir / ir / irlinkednodemap.c
1 /*
2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @author    Michael Beck
23  * @brief     A linked nodemap.
24  * @version   $Id$
25  */
26 #include "config.h"
27
28 #include "irlinkednodemap.h"
29 #include "irnode_t.h"
30 #include "hashptr.h"
31
32 static ir_lnk_nodemap_entry_t null_nodemap_entry;
33
34 #define DO_REHASH
35 #define HashSet                   ir_lnk_nodemap_t
36 #define HashSetIterator           ir_lnk_nodemap_iterator_t
37 #define ValueType                 ir_lnk_nodemap_entry_t
38 #define NullValue                 null_nodemap_entry
39 #define KeyType                   ir_node*
40 #define ConstKeyType              const ir_node*
41 #define GetKey(value)             (value).node
42 #define InitData(self,value,key)  do { (value).node = (key); (value).list.next = NULL; (value).list.prev = NULL; } while (0)
43 #define Hash(self,key)            ((unsigned)((key)->node_nr))
44 #define KeysEqual(self,key1,key2) (key1) == (key2)
45 #define SetRangeEmpty(ptr,size)   memset(ptr, 0, (size) * sizeof((ptr)[0]))
46 #define EntrySetEmpty(value)      (value).node = NULL
47 #define EntrySetDeleted(value)    do { (value).node = (ir_node*) -1; list_del(&(value).list); } while (0)
48 #define EntryIsEmpty(value)       ((value).node == NULL)
49 #define EntryIsDeleted(value)     ((value).node == (ir_node*)-1)
50
51 #define hashset_init            ir_lnk_nodemap_init
52 #define hashset_init_size       ir_lnk_nodemap_init_size
53 #define hashset_destroy         ir_lnk_nodemap_destroy
54 ir_lnk_nodemap_entry_t *ir_lnk_nodemap_insert_(ir_lnk_nodemap_t *self, ir_node *node);
55 #define hashset_insert          ir_lnk_nodemap_insert_
56 #define hashset_remove          ir_lnk_nodemap_remove
57 ir_lnk_nodemap_entry_t *ir_lnk_nodemap_find_(const ir_lnk_nodemap_t *self,
58                                              const ir_node *node);
59 #define hashset_find            ir_lnk_nodemap_find_
60 #define hashset_size            ir_lnk_nodemap_size
61
62 #define ADDITIONAL_INIT         INIT_LIST_HEAD(&self->elem_list); INIT_LIST_HEAD(&self->all_iters);
63 #define ADDITIONAL_TERM         INIT_LIST_HEAD(&self->elem_list); INIT_LIST_HEAD(&self->all_iters);
64
65 #define NO_ITERATOR
66 #define HAVE_OWN_RESIZE
67
68 #include "hashset.c"
69
70 /**
71  * Resize the hashset
72  * @internal
73  */
74 static void resize(HashSet *self, size_t new_size)
75 {
76         HashSetEntry *old_entries = self->entries;
77         HashSetEntry *new_entries;
78         list_head    list = self->elem_list;
79         HashSetEntry *entry;
80         int          res = 1;
81
82         /* allocate a new array with double size */
83         new_entries = Alloc(new_size);
84         SetRangeEmpty(new_entries, new_size);
85
86         /* use the new array */
87         self->entries      = new_entries;
88         self->num_buckets  = new_size;
89         self->num_elements = 0;
90         self->num_deleted  = 0;
91 #ifndef NDEBUG
92         self->entries_version++;
93 #endif
94         reset_thresholds(self);
95
96         assert(!list_empty(&self->elem_list));
97         list.next->prev = &list;
98         list.prev->next = &list;
99
100         /* reinsert all elements */
101         INIT_LIST_HEAD(&self->elem_list);
102         list_for_each_entry(ValueType, entry, &list, list) {
103                 res &= ir_lnk_nodemap_put(self, EntryGetValue(*entry).node, EntryGetValue(*entry).data);
104         }
105         /* all re-inserted data must be new, if not, we found a node twice ... */
106         assert(res == 1);
107
108         /* now we can free the old array */
109         Free(old_entries);
110 }
111
112
113 int ir_lnk_nodemap_put(ir_lnk_nodemap_t *nodemap, ir_node *node, void *data)
114 {
115         ir_lnk_nodemap_entry_t *entry = ir_lnk_nodemap_insert_(nodemap, node);
116
117         entry->data = data;
118         if (entry->list.next == NULL) {
119                 /* we have added a new element */
120                 list_add_tail(&entry->list, &nodemap->elem_list);
121                 return 1;
122         }
123         return 0;
124 }
125
126 void *ir_lnk_nodemap_get(const ir_lnk_nodemap_t *nodemap, const ir_node *node)
127 {
128         ir_lnk_nodemap_entry_t *entry = ir_lnk_nodemap_find_(nodemap, node);
129         return entry->data;
130 }
131
132 /**
133  * Initializes a nodemap iterator. Sets the iterator before the first element in
134  * the linked nodemap.
135  *
136  * @param iterator   Pointer to already allocated iterator memory
137  * @param nodemap       Pointer to the nodemap
138  */
139 void ir_lnk_nodemap_iterator_init(ir_lnk_nodemap_iterator_t *iterator,
140                                   const ir_lnk_nodemap_t *nodemap)
141 {
142         iterator->iter    = nodemap->elem_list.next;
143         iterator->nodemap = nodemap;
144 }
145
146 /**
147  * Advances the iterator and returns the current element or NULL if all elements
148  * in the linked nodemap have been processed.
149  * @attention It is not allowed to use ir_lnk_nodemap_insert or ir_lnk_nodemap_remove while
150  *            iterating over a nodemap.
151  *
152  * @param iterator  Pointer to the nodemap iterator.
153  * @returns         Next element in the nodemap or NULL
154  */
155 ir_node *ir_lnk_nodemap_iterator_next(ir_lnk_nodemap_iterator_t *iterator)
156 {
157         ir_node *res;
158         if (iterator->iter == &iterator->nodemap->elem_list)
159                 return NULL;
160
161         res = list_entry(iterator->iter, ir_lnk_nodemap_entry_t, list)->node;
162         iterator->iter = iterator->iter->next;
163
164         return res;
165 }
166
167 /**
168  * Removes the element the iterator currently points to.
169  *
170  * @param nodemap   Pointer to the linked nodemap
171  * @param iterator  Pointer to the nodemap iterator.
172  */
173 void ir_lnk_nodemap_remove_iterator(ir_lnk_nodemap_t *nodemap,
174                                     ir_lnk_nodemap_iterator_t *iterator)
175 {
176         ir_lnk_nodemap_entry_t *rem = list_entry(iterator->iter->prev, ir_lnk_nodemap_entry_t, list);
177
178         ir_lnk_nodemap_remove(nodemap, rem->node);
179 }