blob: 5414ff05fc9dc3a5143b2818830a57b6565b6981 [file] [log] [blame]
Neil Booth2a967f32001-05-20 06:26:45 +00001/* Hash tables.
Tom Tromeydae41742008-05-21 15:00:59 +00002 Copyright (C) 2000, 2001, 2003, 2004, 2008 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
Kelley Cook200031d2005-06-29 02:34:39 +000016Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
Neil Booth2a967f32001-05-20 06:26:45 +000017
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
Tom Tromeydae41742008-05-21 15:00:59 +000030 existing entry with a potential new one. */
Neil Booth2a967f32001-05-20 06:26:45 +000031
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000032static unsigned int calc_hash (const unsigned char *, size_t);
Andreas Jaeger1d088de2003-07-06 08:15:36 +020033static void ht_expand (hash_table *);
Zack Weinberga2f7be92003-07-22 16:24:53 +000034static double approx_sqrt (double);
Neil Booth2a967f32001-05-20 06:26:45 +000035
Tom Tromeydae41742008-05-21 15:00:59 +000036/* A deleted entry. */
37#define DELETED ((hashnode) -1)
38
Neil Booth2a967f32001-05-20 06:26:45 +000039/* Calculate the hash of the string STR of length LEN. */
40
41static unsigned int
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000042calc_hash (const unsigned char *str, size_t len)
Neil Booth2a967f32001-05-20 06:26:45 +000043{
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000044 size_t n = len;
Neil Booth2a967f32001-05-20 06:26:45 +000045 unsigned int r = 0;
Neil Booth2a967f32001-05-20 06:26:45 +000046
47 while (n--)
Zack Weinbergc6e83802004-06-05 20:58:06 +000048 r = HT_HASHSTEP (r, *str++);
Neil Booth2a967f32001-05-20 06:26:45 +000049
Zack Weinbergc6e83802004-06-05 20:58:06 +000050 return HT_HASHFINISH (r, len);
Neil Booth2a967f32001-05-20 06:26:45 +000051}
52
53/* Initialize an identifier hashtable. */
54
55hash_table *
Andreas Jaeger1d088de2003-07-06 08:15:36 +020056ht_create (unsigned int order)
Neil Booth2a967f32001-05-20 06:26:45 +000057{
58 unsigned int nslots = 1 << order;
59 hash_table *table;
60
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +000061 table = XCNEW (hash_table);
Neil Booth2a967f32001-05-20 06:26:45 +000062
63 /* Strings need no alignment. */
Zack Weinberg43839642003-07-13 17:34:18 +000064 _obstack_begin (&table->stack, 0, 0,
65 (void *(*) (long)) xmalloc,
66 (void (*) (void *)) free);
67
Neil Booth2a967f32001-05-20 06:26:45 +000068 obstack_alignment_mask (&table->stack) = 0;
69
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +000070 table->entries = XCNEWVEC (hashnode, nslots);
Geoffrey Keatingb453c952004-05-30 00:49:06 +000071 table->entries_owned = true;
Neil Booth2a967f32001-05-20 06:26:45 +000072 table->nslots = nslots;
73 return table;
74}
75
Neil Boothbef985f2001-08-11 12:37:19 +000076/* Frees all memory associated with a hash table. */
77
78void
Andreas Jaeger1d088de2003-07-06 08:15:36 +020079ht_destroy (hash_table *table)
Neil Boothbef985f2001-08-11 12:37:19 +000080{
81 obstack_free (&table->stack, NULL);
Geoffrey Keatingb453c952004-05-30 00:49:06 +000082 if (table->entries_owned)
83 free (table->entries);
Neil Boothbef985f2001-08-11 12:37:19 +000084 free (table);
85}
86
Neil Booth2a967f32001-05-20 06:26:45 +000087/* Returns the hash entry for the a STR of length LEN. If that string
Tom Tromeydae41742008-05-21 15:00:59 +000088 already exists in the table, returns the existing entry. If the
Neil Booth2a967f32001-05-20 06:26:45 +000089 identifier hasn't been seen before, and INSERT is CPP_NO_INSERT,
90 returns NULL. Otherwise insert and returns a new entry. A new
Tom Tromeydae41742008-05-21 15:00:59 +000091 string is allocated. */
Neil Booth2a967f32001-05-20 06:26:45 +000092hashnode
Roger Sayle7bb3fbb2003-08-08 20:23:06 +000093ht_lookup (hash_table *table, const unsigned char *str, size_t len,
Andreas Jaeger1d088de2003-07-06 08:15:36 +020094 enum ht_lookup_option insert)
Neil Booth2a967f32001-05-20 06:26:45 +000095{
Zack Weinbergc6e83802004-06-05 20:58:06 +000096 return ht_lookup_with_hash (table, str, len, calc_hash (str, len),
97 insert);
98}
99
100hashnode
101ht_lookup_with_hash (hash_table *table, const unsigned char *str,
102 size_t len, unsigned int hash,
103 enum ht_lookup_option insert)
104{
Neil Booth2a967f32001-05-20 06:26:45 +0000105 unsigned int hash2;
106 unsigned int index;
Tom Tromeydae41742008-05-21 15:00:59 +0000107 unsigned int deleted_index = table->nslots;
Neil Booth2a967f32001-05-20 06:26:45 +0000108 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];
Tom Tromeydae41742008-05-21 15:00:59 +0000116
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000117 if (node != NULL)
Neil Booth2a967f32001-05-20 06:26:45 +0000118 {
Tom Tromeydae41742008-05-21 15:00:59 +0000119 if (node == DELETED)
120 deleted_index = index;
121 else if (node->hash_value == hash
122 && HT_LEN (node) == (unsigned int) len
123 && !memcmp (HT_STR (node), str, len))
124 return node;
Neil Booth2a967f32001-05-20 06:26:45 +0000125
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000126 /* hash2 must be odd, so we're guaranteed to visit every possible
127 location in the table during rehashing. */
128 hash2 = ((hash * 17) & sizemask) | 1;
129
130 for (;;)
131 {
132 table->collisions++;
133 index = (index + hash2) & sizemask;
134 node = table->entries[index];
135 if (node == NULL)
136 break;
137
Tom Tromeydae41742008-05-21 15:00:59 +0000138 if (node == DELETED)
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000139 {
Tom Tromeydae41742008-05-21 15:00:59 +0000140 if (deleted_index != table->nslots)
141 deleted_index = index;
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000142 }
Tom Tromeydae41742008-05-21 15:00:59 +0000143 else if (node->hash_value == hash
144 && HT_LEN (node) == (unsigned int) len
145 && !memcmp (HT_STR (node), str, len))
146 return node;
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000147 }
Neil Booth2a967f32001-05-20 06:26:45 +0000148 }
149
150 if (insert == HT_NO_INSERT)
151 return NULL;
152
Tom Tromeydae41742008-05-21 15:00:59 +0000153 /* We prefer to overwrite the first deleted slot we saw. */
154 if (deleted_index != table->nslots)
155 index = deleted_index;
156
Neil Booth2a967f32001-05-20 06:26:45 +0000157 node = (*table->alloc_node) (table);
158 table->entries[index] = node;
159
Roger Sayle7bb3fbb2003-08-08 20:23:06 +0000160 HT_LEN (node) = (unsigned int) len;
Gabriel Dos Reis5e0c54e2003-05-18 13:40:54 +0000161 node->hash_value = hash;
Tom Tromeydae41742008-05-21 15:00:59 +0000162
163 if (table->alloc_subobject)
164 {
165 char *chars = table->alloc_subobject (len + 1);
166 memcpy (chars, str, len);
167 chars[len] = '\0';
168 HT_STR (node) = (const unsigned char *) chars;
169 }
Neil Booth2a967f32001-05-20 06:26:45 +0000170 else
Tom Tromeydae41742008-05-21 15:00:59 +0000171 HT_STR (node) = (const unsigned char *) obstack_copy0 (&table->stack,
172 str, len);
Neil Booth2a967f32001-05-20 06:26:45 +0000173
174 if (++table->nelements * 4 >= table->nslots * 3)
175 /* Must expand the string table. */
176 ht_expand (table);
177
178 return node;
179}
180
181/* Double the size of a hash table, re-hashing existing entries. */
182
183static void
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200184ht_expand (hash_table *table)
Neil Booth2a967f32001-05-20 06:26:45 +0000185{
186 hashnode *nentries, *p, *limit;
187 unsigned int size, sizemask;
188
189 size = table->nslots * 2;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000190 nentries = XCNEWVEC (hashnode, size);
Neil Booth2a967f32001-05-20 06:26:45 +0000191 sizemask = size - 1;
192
193 p = table->entries;
194 limit = p + table->nslots;
195 do
Tom Tromeydae41742008-05-21 15:00:59 +0000196 if (*p && *p != DELETED)
Neil Booth2a967f32001-05-20 06:26:45 +0000197 {
198 unsigned int index, hash, hash2;
199
Gabriel Dos Reis5e0c54e2003-05-18 13:40:54 +0000200 hash = (*p)->hash_value;
Neil Booth2a967f32001-05-20 06:26:45 +0000201 index = hash & sizemask;
202
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000203 if (nentries[index])
Neil Booth2a967f32001-05-20 06:26:45 +0000204 {
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000205 hash2 = ((hash * 17) & sizemask) | 1;
206 do
Neil Booth2a967f32001-05-20 06:26:45 +0000207 {
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000208 index = (index + hash2) & sizemask;
Neil Booth2a967f32001-05-20 06:26:45 +0000209 }
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000210 while (nentries[index]);
Neil Booth2a967f32001-05-20 06:26:45 +0000211 }
Roger Sayle4ae2e3e2003-08-22 22:29:17 +0000212 nentries[index] = *p;
Neil Booth2a967f32001-05-20 06:26:45 +0000213 }
214 while (++p < limit);
215
Geoffrey Keatingb453c952004-05-30 00:49:06 +0000216 if (table->entries_owned)
217 free (table->entries);
218 table->entries_owned = true;
Neil Booth2a967f32001-05-20 06:26:45 +0000219 table->entries = nentries;
220 table->nslots = size;
221}
222
223/* For all nodes in TABLE, callback CB with parameters TABLE->PFILE,
224 the node, and V. */
225void
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200226ht_forall (hash_table *table, ht_cb cb, const void *v)
Neil Booth2a967f32001-05-20 06:26:45 +0000227{
228 hashnode *p, *limit;
229
230 p = table->entries;
231 limit = p + table->nslots;
232 do
Tom Tromeydae41742008-05-21 15:00:59 +0000233 if (*p && *p != DELETED)
Neil Booth2a967f32001-05-20 06:26:45 +0000234 {
235 if ((*cb) (table->pfile, *p, v) == 0)
236 break;
237 }
238 while (++p < limit);
239}
240
Tom Tromeydae41742008-05-21 15:00:59 +0000241/* Like ht_forall, but a nonzero return from the callback means that
242 the entry should be removed from the table. */
243void
244ht_purge (hash_table *table, ht_cb cb, const void *v)
245{
246 hashnode *p, *limit;
247
248 p = table->entries;
249 limit = p + table->nslots;
250 do
251 if (*p && *p != DELETED)
252 {
253 if ((*cb) (table->pfile, *p, v))
254 *p = DELETED;
255 }
256 while (++p < limit);
257}
258
Geoffrey Keatingb453c952004-05-30 00:49:06 +0000259/* Restore the hash table. */
260void
261ht_load (hash_table *ht, hashnode *entries,
262 unsigned int nslots, unsigned int nelements,
263 bool own)
264{
265 if (ht->entries_owned)
266 free (ht->entries);
267 ht->entries = entries;
268 ht->nslots = nslots;
269 ht->nelements = nelements;
270 ht->entries_owned = own;
271}
272
Neil Booth2a967f32001-05-20 06:26:45 +0000273/* Dump allocation statistics to stderr. */
274
275void
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200276ht_dump_statistics (hash_table *table)
Neil Booth2a967f32001-05-20 06:26:45 +0000277{
278 size_t nelts, nids, overhead, headers;
Tom Tromeydae41742008-05-21 15:00:59 +0000279 size_t total_bytes, longest, deleted = 0;
Serge Belyshev0fd9e8d2004-09-06 13:22:48 +0000280 double sum_of_squares, exp_len, exp_len2, exp2_len;
Neil Booth2a967f32001-05-20 06:26:45 +0000281 hashnode *p, *limit;
282
283#define SCALE(x) ((unsigned long) ((x) < 1024*10 \
284 ? (x) \
285 : ((x) < 1024*1024*10 \
286 ? (x) / 1024 \
287 : (x) / (1024*1024))))
288#define LABEL(x) ((x) < 1024*10 ? ' ' : ((x) < 1024*1024*10 ? 'k' : 'M'))
289
290 total_bytes = longest = sum_of_squares = nids = 0;
291 p = table->entries;
292 limit = p + table->nslots;
293 do
Tom Tromeydae41742008-05-21 15:00:59 +0000294 if (*p == DELETED)
295 ++deleted;
296 else if (*p)
Neil Booth2a967f32001-05-20 06:26:45 +0000297 {
298 size_t n = HT_LEN (*p);
299
300 total_bytes += n;
Serge Belyshev0fd9e8d2004-09-06 13:22:48 +0000301 sum_of_squares += (double) n * n;
Neil Booth2a967f32001-05-20 06:26:45 +0000302 if (n > longest)
303 longest = n;
304 nids++;
305 }
306 while (++p < limit);
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200307
Neil Booth2a967f32001-05-20 06:26:45 +0000308 nelts = table->nelements;
309 overhead = obstack_memory_used (&table->stack) - total_bytes;
310 headers = table->nslots * sizeof (hashnode);
311
312 fprintf (stderr, "\nString pool\nentries\t\t%lu\n",
313 (unsigned long) nelts);
314 fprintf (stderr, "identifiers\t%lu (%.2f%%)\n",
315 (unsigned long) nids, nids * 100.0 / nelts);
316 fprintf (stderr, "slots\t\t%lu\n",
317 (unsigned long) table->nslots);
Tom Tromeydae41742008-05-21 15:00:59 +0000318 fprintf (stderr, "deleted\t\t%lu\n",
319 (unsigned long) deleted);
Neil Booth2a967f32001-05-20 06:26:45 +0000320 fprintf (stderr, "bytes\t\t%lu%c (%lu%c overhead)\n",
321 SCALE (total_bytes), LABEL (total_bytes),
322 SCALE (overhead), LABEL (overhead));
323 fprintf (stderr, "table size\t%lu%c\n",
324 SCALE (headers), LABEL (headers));
325
326 exp_len = (double)total_bytes / (double)nelts;
327 exp2_len = exp_len * exp_len;
328 exp_len2 = (double) sum_of_squares / (double) nelts;
329
330 fprintf (stderr, "coll/search\t%.4f\n",
331 (double) table->collisions / (double) table->searches);
332 fprintf (stderr, "ins/search\t%.4f\n",
333 (double) nelts / (double) table->searches);
334 fprintf (stderr, "avg. entry\t%.2f bytes (+/- %.2f)\n",
335 exp_len, approx_sqrt (exp_len2 - exp2_len));
336 fprintf (stderr, "longest entry\t%lu\n",
337 (unsigned long) longest);
338#undef SCALE
339#undef LABEL
340}
341
342/* Return the approximate positive square root of a number N. This is for
343 statistical reports, not code generation. */
Zack Weinberga2f7be92003-07-22 16:24:53 +0000344static double
Andreas Jaeger1d088de2003-07-06 08:15:36 +0200345approx_sqrt (double x)
Neil Booth2a967f32001-05-20 06:26:45 +0000346{
347 double s, d;
348
349 if (x < 0)
350 abort ();
351 if (x == 0)
352 return 0;
353
354 s = x;
355 do
356 {
357 d = (s * s - x) / (2 * s);
358 s -= d;
359 }
360 while (d > .0001);
361 return s;
362}