blob: 85450101b800fd1b716f0ebe74635ecdc66f1fa7 [file] [log] [blame]
Neil Booth2a967f32001-05-20 06:26:45 +00001/* Hash tables.
Geoffrey Keatingb453c952004-05-30 00:49:06 +00002 Copyright (C) 2000, 2001, 2003, 2004 Free Software Foundation, Inc.
Neil Booth2a967f32001-05-20 06:26:45 +00003
4This program is free software; you can redistribute it and/or modify it
5under the terms of the GNU General Public License as published by the
6Free Software Foundation; either version 2, or (at your option) any
7later version.
8
9This program is distributed in the hope that it will be useful,
10but WITHOUT ANY WARRANTY; without even the implied warranty of
11MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12GNU General Public License for more details.
13
14You should have received a copy of the GNU General Public License
15along with this program; if not, write to the Free Software
16Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
17
18 In other words, you are welcome to use, share and improve this program.
19 You are forbidden to forbid anyone else to use, share and improve
20 what you give them. Help stamp out software-hoarding! */
21
22#include "config.h"
23#include "system.h"
Paolo Bonzini4f4e53dd2004-05-24 10:50:45 +000024#include "symtab.h"
Neil Booth2a967f32001-05-20 06:26:45 +000025
26/* The code below is a specialization of Vladimir Makarov's expandable
27 hash tables (see libiberty/hashtab.c). The abstraction penalty was
28 too high to continue using the generic form. This code knows
29 intrinsically how to calculate a hash value, and how to compare an
30 existing entry with a potential new one. Also, the ability to
31 delete members from the table has been removed. */
32
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000033static unsigned int calc_hash (const unsigned char *, size_t);
Andreas Jaeger1d088de2003-07-06 08:15:36 +020034static void ht_expand (hash_table *);
Zack Weinberga2f7be92003-07-22 16:24:53 +000035static double approx_sqrt (double);
Neil Booth2a967f32001-05-20 06:26:45 +000036
Neil Booth2a967f32001-05-20 06:26:45 +000037/* Calculate the hash of the string STR of length LEN. */
38
39static unsigned int
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000040calc_hash (const unsigned char *str, size_t len)
Neil Booth2a967f32001-05-20 06:26:45 +000041{
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000042 size_t n = len;
Neil Booth2a967f32001-05-20 06:26:45 +000043 unsigned int r = 0;
Neil Booth2a967f32001-05-20 06:26:45 +000044
45 while (n--)
Zack Weinbergc6e83802004-06-05 20:58:06 +000046 r = HT_HASHSTEP (r, *str++);
Neil Booth2a967f32001-05-20 06:26:45 +000047
Zack Weinbergc6e83802004-06-05 20:58:06 +000048 return HT_HASHFINISH (r, len);
Neil Booth2a967f32001-05-20 06:26:45 +000049}
50
51/* Initialize an identifier hashtable. */
52
53hash_table *
Andreas Jaeger1d088de2003-07-06 08:15:36 +020054ht_create (unsigned int order)
Neil Booth2a967f32001-05-20 06:26:45 +000055{
56 unsigned int nslots = 1 << order;
57 hash_table *table;
58
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +000059 table = XCNEW (hash_table);
Neil Booth2a967f32001-05-20 06:26:45 +000060
61 /* Strings need no alignment. */
Zack Weinberg43839642003-07-13 17:34:18 +000062 _obstack_begin (&table->stack, 0, 0,
63 (void *(*) (long)) xmalloc,
64 (void (*) (void *)) free);
65
Neil Booth2a967f32001-05-20 06:26:45 +000066 obstack_alignment_mask (&table->stack) = 0;
67
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +000068 table->entries = XCNEWVEC (hashnode, nslots);
Geoffrey Keatingb453c952004-05-30 00:49:06 +000069 table->entries_owned = true;
Neil Booth2a967f32001-05-20 06:26:45 +000070 table->nslots = nslots;
71 return table;
72}
73
Neil Boothbef985f2001-08-11 12:37:19 +000074/* Frees all memory associated with a hash table. */
75
76void
Andreas Jaeger1d088de2003-07-06 08:15:36 +020077ht_destroy (hash_table *table)
Neil Boothbef985f2001-08-11 12:37:19 +000078{
79 obstack_free (&table->stack, NULL);
Geoffrey Keatingb453c952004-05-30 00:49:06 +000080 if (table->entries_owned)
81 free (table->entries);
Neil Boothbef985f2001-08-11 12:37:19 +000082 free (table);
83}
84
Neil Booth2a967f32001-05-20 06:26:45 +000085/* Returns the hash entry for the a STR of length LEN. If that string
86 already exists in the table, returns the existing entry, and, if
87 INSERT is CPP_ALLOCED, frees the last obstack object. If the
88 identifier hasn't been seen before, and INSERT is CPP_NO_INSERT,
89 returns NULL. Otherwise insert and returns a new entry. A new
90 string is alloced if INSERT is CPP_ALLOC, otherwise INSERT is
91 CPP_ALLOCED and the item is assumed to be at the top of the
92 obstack. */
93hashnode
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000094ht_lookup (hash_table *table, const unsigned char *str, size_t len,
Andreas Jaeger1d088de2003-07-06 08:15:36 +020095 enum ht_lookup_option insert)
Neil Booth2a967f32001-05-20 06:26:45 +000096{
Zack Weinbergc6e83802004-06-05 20:58:06 +000097 return ht_lookup_with_hash (table, str, len, calc_hash (str, len),
98 insert);
99}
100
101hashnode
102ht_lookup_with_hash (hash_table *table, const unsigned char *str,
103 size_t len, unsigned int hash,
104 enum ht_lookup_option insert)
105{
Neil Booth2a967f32001-05-20 06:26:45 +0000106 unsigned int hash2;
107 unsigned int index;
108 size_t sizemask;
109 hashnode node;
110
111 sizemask = table->nslots - 1;
112 index = hash & sizemask;
Neil Booth2a967f32001-05-20 06:26:45 +0000113 table->searches++;
114
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000115 node = table->entries[index];
116
117 if (node != NULL)
Neil Booth2a967f32001-05-20 06:26:45 +0000118 {
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000119 if (node->hash_value == hash
120 && HT_LEN (node) == (unsigned int) len
121 && !memcmp (HT_STR (node), str, len))
Neil Booth2a967f32001-05-20 06:26:45 +0000122 {
123 if (insert == HT_ALLOCED)
124 /* The string we search for was placed at the end of the
125 obstack. Release it. */
Kaveh R. Ghazifad205f2003-06-16 21:41:10 +0000126 obstack_free (&table->stack, (void *) str);
Neil Booth2a967f32001-05-20 06:26:45 +0000127 return node;
128 }
129
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000130 /* hash2 must be odd, so we're guaranteed to visit every possible
131 location in the table during rehashing. */
132 hash2 = ((hash * 17) & sizemask) | 1;
133
134 for (;;)
135 {
136 table->collisions++;
137 index = (index + hash2) & sizemask;
138 node = table->entries[index];
139 if (node == NULL)
140 break;
141
142 if (node->hash_value == hash
143 && HT_LEN (node) == (unsigned int) len
144 && !memcmp (HT_STR (node), str, len))
145 {
146 if (insert == HT_ALLOCED)
147 /* The string we search for was placed at the end of the
148 obstack. Release it. */
149 obstack_free (&table->stack, (void *) str);
150 return node;
151 }
152 }
Neil Booth2a967f32001-05-20 06:26:45 +0000153 }
154
155 if (insert == HT_NO_INSERT)
156 return NULL;
157
158 node = (*table->alloc_node) (table);
159 table->entries[index] = node;
160
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000161 HT_LEN (node) = (unsigned int) len;
Gabriel Dos Reis5e0c54e2003-05-18 13:40:54 +0000162 node->hash_value = hash;
Neil Booth2a967f32001-05-20 06:26:45 +0000163 if (insert == HT_ALLOC)
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000164 HT_STR (node) = (const unsigned char *) obstack_copy0 (&table->stack,
165 str, len);
Neil Booth2a967f32001-05-20 06:26:45 +0000166 else
167 HT_STR (node) = str;
168
169 if (++table->nelements * 4 >= table->nslots * 3)
170 /* Must expand the string table. */
171 ht_expand (table);
172
173 return node;
174}
175
176/* Double the size of a hash table, re-hashing existing entries. */
177
178static void
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200179ht_expand (hash_table *table)
Neil Booth2a967f32001-05-20 06:26:45 +0000180{
181 hashnode *nentries, *p, *limit;
182 unsigned int size, sizemask;
183
184 size = table->nslots * 2;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000185 nentries = XCNEWVEC (hashnode, size);
Neil Booth2a967f32001-05-20 06:26:45 +0000186 sizemask = size - 1;
187
188 p = table->entries;
189 limit = p + table->nslots;
190 do
191 if (*p)
192 {
193 unsigned int index, hash, hash2;
194
Gabriel Dos Reis5e0c54e2003-05-18 13:40:54 +0000195 hash = (*p)->hash_value;
Neil Booth2a967f32001-05-20 06:26:45 +0000196 index = hash & sizemask;
197
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000198 if (nentries[index])
Neil Booth2a967f32001-05-20 06:26:45 +0000199 {
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000200 hash2 = ((hash * 17) & sizemask) | 1;
201 do
Neil Booth2a967f32001-05-20 06:26:45 +0000202 {
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000203 index = (index + hash2) & sizemask;
Neil Booth2a967f32001-05-20 06:26:45 +0000204 }
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000205 while (nentries[index]);
Neil Booth2a967f32001-05-20 06:26:45 +0000206 }
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000207 nentries[index] = *p;
Neil Booth2a967f32001-05-20 06:26:45 +0000208 }
209 while (++p < limit);
210
Geoffrey Keatingb453c952004-05-30 00:49:06 +0000211 if (table->entries_owned)
212 free (table->entries);
213 table->entries_owned = true;
Neil Booth2a967f32001-05-20 06:26:45 +0000214 table->entries = nentries;
215 table->nslots = size;
216}
217
218/* For all nodes in TABLE, callback CB with parameters TABLE->PFILE,
219 the node, and V. */
220void
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200221ht_forall (hash_table *table, ht_cb cb, const void *v)
Neil Booth2a967f32001-05-20 06:26:45 +0000222{
223 hashnode *p, *limit;
224
225 p = table->entries;
226 limit = p + table->nslots;
227 do
228 if (*p)
229 {
230 if ((*cb) (table->pfile, *p, v) == 0)
231 break;
232 }
233 while (++p < limit);
234}
235
Geoffrey Keatingb453c952004-05-30 00:49:06 +0000236/* Restore the hash table. */
237void
238ht_load (hash_table *ht, hashnode *entries,
239 unsigned int nslots, unsigned int nelements,
240 bool own)
241{
242 if (ht->entries_owned)
243 free (ht->entries);
244 ht->entries = entries;
245 ht->nslots = nslots;
246 ht->nelements = nelements;
247 ht->entries_owned = own;
248}
249
Neil Booth2a967f32001-05-20 06:26:45 +0000250/* Dump allocation statistics to stderr. */
251
252void
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200253ht_dump_statistics (hash_table *table)
Neil Booth2a967f32001-05-20 06:26:45 +0000254{
255 size_t nelts, nids, overhead, headers;
Serge Belyshev0fd9e8d2004-09-06 13:22:48 +0000256 size_t total_bytes, longest;
257 double sum_of_squares, exp_len, exp_len2, exp2_len;
Neil Booth2a967f32001-05-20 06:26:45 +0000258 hashnode *p, *limit;
259
260#define SCALE(x) ((unsigned long) ((x) < 1024*10 \
261 ? (x) \
262 : ((x) < 1024*1024*10 \
263 ? (x) / 1024 \
264 : (x) / (1024*1024))))
265#define LABEL(x) ((x) < 1024*10 ? ' ' : ((x) < 1024*1024*10 ? 'k' : 'M'))
266
267 total_bytes = longest = sum_of_squares = nids = 0;
268 p = table->entries;
269 limit = p + table->nslots;
270 do
271 if (*p)
272 {
273 size_t n = HT_LEN (*p);
274
275 total_bytes += n;
Serge Belyshev0fd9e8d2004-09-06 13:22:48 +0000276 sum_of_squares += (double) n * n;
Neil Booth2a967f32001-05-20 06:26:45 +0000277 if (n > longest)
278 longest = n;
279 nids++;
280 }
281 while (++p < limit);
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200282
Neil Booth2a967f32001-05-20 06:26:45 +0000283 nelts = table->nelements;
284 overhead = obstack_memory_used (&table->stack) - total_bytes;
285 headers = table->nslots * sizeof (hashnode);
286
287 fprintf (stderr, "\nString pool\nentries\t\t%lu\n",
288 (unsigned long) nelts);
289 fprintf (stderr, "identifiers\t%lu (%.2f%%)\n",
290 (unsigned long) nids, nids * 100.0 / nelts);
291 fprintf (stderr, "slots\t\t%lu\n",
292 (unsigned long) table->nslots);
293 fprintf (stderr, "bytes\t\t%lu%c (%lu%c overhead)\n",
294 SCALE (total_bytes), LABEL (total_bytes),
295 SCALE (overhead), LABEL (overhead));
296 fprintf (stderr, "table size\t%lu%c\n",
297 SCALE (headers), LABEL (headers));
298
299 exp_len = (double)total_bytes / (double)nelts;
300 exp2_len = exp_len * exp_len;
301 exp_len2 = (double) sum_of_squares / (double) nelts;
302
303 fprintf (stderr, "coll/search\t%.4f\n",
304 (double) table->collisions / (double) table->searches);
305 fprintf (stderr, "ins/search\t%.4f\n",
306 (double) nelts / (double) table->searches);
307 fprintf (stderr, "avg. entry\t%.2f bytes (+/- %.2f)\n",
308 exp_len, approx_sqrt (exp_len2 - exp2_len));
309 fprintf (stderr, "longest entry\t%lu\n",
310 (unsigned long) longest);
311#undef SCALE
312#undef LABEL
313}
314
315/* Return the approximate positive square root of a number N. This is for
316 statistical reports, not code generation. */
Zack Weinberga2f7be92003-07-22 16:24:53 +0000317static double
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200318approx_sqrt (double x)
Neil Booth2a967f32001-05-20 06:26:45 +0000319{
320 double s, d;
321
322 if (x < 0)
323 abort ();
324 if (x == 0)
325 return 0;
326
327 s = x;
328 do
329 {
330 d = (s * s - x) / (2 * s);
331 s -= d;
332 }
333 while (d > .0001);
334 return s;
335}