libctf, hash: introduce the ctf_dynset
[deliverable/binutils-gdb.git] / libctf / ctf-hash.c
CommitLineData
c0754cdd 1/* Interface to hashtable implementations.
b3adc24a 2 Copyright (C) 2006-2020 Free Software Foundation, Inc.
c0754cdd
NA
3
4 This file is part of libctf.
5
6 libctf is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
10
11 This program is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
14 See the GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program; see the file COPYING. If not see
18 <http://www.gnu.org/licenses/>. */
19
20#include <ctf-impl.h>
21#include <string.h>
22#include "libiberty.h"
23#include "hashtab.h"
24
77648241
NA
25/* We have three hashtable implementations:
26
27 - ctf_hash_* is an interface to a fixed-size hash from const char * ->
28 ctf_id_t with number of elements specified at creation time, that should
29 support addition of items but need not support removal.
30
31 - ctf_dynhash_* is an interface to a dynamically-expanding hash with
32 unknown size that should support addition of large numbers of items, and
33 removal as well, and is used only at type-insertion time and during
34 linking.
35
36 - ctf_dynset_* is an interface to a dynamically-expanding hash that contains
37 only keys: no values.
38
39 These can be implemented by the same underlying hashmap if you wish. */
c0754cdd 40
a49c6c6a
NA
41/* The helem is used for general key/value mappings in both the ctf_hash and
42 ctf_dynhash: the owner may not have space allocated for it, and will be
43 garbage (not NULL!) in that case. */
44
c0754cdd
NA
45typedef struct ctf_helem
46{
47 void *key; /* Either a pointer, or a coerced ctf_id_t. */
48 void *value; /* The value (possibly a coerced int). */
a49c6c6a 49 ctf_dynhash_t *owner; /* The hash that owns us. */
c0754cdd
NA
50} ctf_helem_t;
51
a49c6c6a
NA
52/* Equally, the key_free and value_free may not exist. */
53
c0754cdd
NA
54struct ctf_dynhash
55{
56 struct htab *htab;
57 ctf_hash_free_fun key_free;
58 ctf_hash_free_fun value_free;
59};
60
77648241 61/* Hash and eq functions for the dynhash and hash. */
c0754cdd
NA
62
63unsigned int
64ctf_hash_integer (const void *ptr)
65{
66 ctf_helem_t *hep = (ctf_helem_t *) ptr;
67
68 return htab_hash_pointer (hep->key);
69}
70
71int
72ctf_hash_eq_integer (const void *a, const void *b)
73{
74 ctf_helem_t *hep_a = (ctf_helem_t *) a;
75 ctf_helem_t *hep_b = (ctf_helem_t *) b;
76
77 return htab_eq_pointer (hep_a->key, hep_b->key);
78}
79
80unsigned int
81ctf_hash_string (const void *ptr)
82{
83 ctf_helem_t *hep = (ctf_helem_t *) ptr;
84
85 return htab_hash_string (hep->key);
86}
87
88int
89ctf_hash_eq_string (const void *a, const void *b)
90{
91 ctf_helem_t *hep_a = (ctf_helem_t *) a;
92 ctf_helem_t *hep_b = (ctf_helem_t *) b;
93
94 return !strcmp((const char *) hep_a->key, (const char *) hep_b->key);
95}
96
886453cb
NA
97/* Hash a type_mapping_key. */
98unsigned int
99ctf_hash_type_mapping_key (const void *ptr)
100{
101 ctf_helem_t *hep = (ctf_helem_t *) ptr;
102 ctf_link_type_mapping_key_t *k = (ctf_link_type_mapping_key_t *) hep->key;
103
104 return htab_hash_pointer (k->cltm_fp) + 59 * htab_hash_pointer ((void *) k->cltm_idx);
105}
106
107int
108ctf_hash_eq_type_mapping_key (const void *a, const void *b)
109{
110 ctf_helem_t *hep_a = (ctf_helem_t *) a;
111 ctf_helem_t *hep_b = (ctf_helem_t *) b;
112 ctf_link_type_mapping_key_t *key_a = (ctf_link_type_mapping_key_t *) hep_a->key;
113 ctf_link_type_mapping_key_t *key_b = (ctf_link_type_mapping_key_t *) hep_b->key;
114
115 return (key_a->cltm_fp == key_b->cltm_fp)
116 && (key_a->cltm_idx == key_b->cltm_idx);
117}
118
77648241
NA
119
120/* Hash and eq functions for the dynset. Most of these can just use the
121 underlying hashtab functions directly. */
122
123int
124ctf_dynset_eq_string (const void *a, const void *b)
125{
126 return !strcmp((const char *) a, (const char *) b);
127}
128
c0754cdd
NA
129/* The dynhash, used for hashes whose size is not known at creation time. */
130
a49c6c6a 131/* Free a single ctf_helem with arbitrary key/value functions. */
c0754cdd
NA
132
133static void
134ctf_dynhash_item_free (void *item)
135{
136 ctf_helem_t *helem = item;
137
a49c6c6a
NA
138 if (helem->owner->key_free && helem->key)
139 helem->owner->key_free (helem->key);
140 if (helem->owner->value_free && helem->value)
141 helem->owner->value_free (helem->value);
c0754cdd
NA
142 free (helem);
143}
144
145ctf_dynhash_t *
146ctf_dynhash_create (ctf_hash_fun hash_fun, ctf_hash_eq_fun eq_fun,
147 ctf_hash_free_fun key_free, ctf_hash_free_fun value_free)
148{
149 ctf_dynhash_t *dynhash;
a49c6c6a 150 htab_del del = ctf_dynhash_item_free;
c0754cdd 151
a49c6c6a
NA
152 if (key_free || value_free)
153 dynhash = malloc (sizeof (ctf_dynhash_t));
154 else
155 dynhash = malloc (offsetof (ctf_dynhash_t, key_free));
c0754cdd
NA
156 if (!dynhash)
157 return NULL;
158
a49c6c6a
NA
159 if (key_free == NULL && value_free == NULL)
160 del = free;
161
162 /* 7 is arbitrary and untested for now. */
c0754cdd 163 if ((dynhash->htab = htab_create_alloc (7, (htab_hash) hash_fun, eq_fun,
a49c6c6a 164 del, xcalloc, free)) == NULL)
c0754cdd
NA
165 {
166 free (dynhash);
167 return NULL;
168 }
169
a49c6c6a
NA
170 if (key_free || value_free)
171 {
172 dynhash->key_free = key_free;
173 dynhash->value_free = value_free;
174 }
c0754cdd
NA
175
176 return dynhash;
177}
178
179static ctf_helem_t **
180ctf_hashtab_lookup (struct htab *htab, const void *key, enum insert_option insert)
181{
182 ctf_helem_t tmp = { .key = (void *) key };
183 return (ctf_helem_t **) htab_find_slot (htab, &tmp, insert);
184}
185
186static ctf_helem_t *
1820745a
NA
187ctf_hashtab_insert (struct htab *htab, void *key, void *value,
188 ctf_hash_free_fun key_free,
189 ctf_hash_free_fun value_free)
c0754cdd
NA
190{
191 ctf_helem_t **slot;
192
193 slot = ctf_hashtab_lookup (htab, key, INSERT);
194
195 if (!slot)
196 {
a49c6c6a 197 errno = ENOMEM;
c0754cdd
NA
198 return NULL;
199 }
200
201 if (!*slot)
202 {
a49c6c6a
NA
203 /* Only spend space on the owner if we're going to use it: if there is a
204 key or value freeing function. */
205 if (key_free || value_free)
206 *slot = malloc (sizeof (ctf_helem_t));
207 else
208 *slot = malloc (offsetof (ctf_helem_t, owner));
c0754cdd
NA
209 if (!*slot)
210 return NULL;
5ceee3db 211 (*slot)->key = key;
c0754cdd 212 }
1820745a
NA
213 else
214 {
215 if (key_free)
5ceee3db 216 key_free (key);
1820745a
NA
217 if (value_free)
218 value_free ((*slot)->value);
219 }
c0754cdd
NA
220 (*slot)->value = value;
221 return *slot;
222}
223
224int
225ctf_dynhash_insert (ctf_dynhash_t *hp, void *key, void *value)
226{
227 ctf_helem_t *slot;
a49c6c6a 228 ctf_hash_free_fun key_free = NULL, value_free = NULL;
c0754cdd 229
a49c6c6a
NA
230 if (hp->htab->del_f == ctf_dynhash_item_free)
231 {
232 key_free = hp->key_free;
233 value_free = hp->value_free;
234 }
1820745a 235 slot = ctf_hashtab_insert (hp->htab, key, value,
a49c6c6a 236 key_free, value_free);
c0754cdd
NA
237
238 if (!slot)
239 return errno;
240
a49c6c6a
NA
241 /* Keep track of the owner, so that the del function can get at the key_free
242 and value_free functions. Only do this if one of those functions is set:
243 if not, the owner is not even present in the helem. */
c0754cdd 244
a49c6c6a
NA
245 if (key_free || value_free)
246 slot->owner = hp;
c0754cdd
NA
247
248 return 0;
249}
250
251void
252ctf_dynhash_remove (ctf_dynhash_t *hp, const void *key)
253{
a49c6c6a 254 ctf_helem_t hep = { (void *) key, NULL, NULL };
3e10cffc 255 htab_remove_elt (hp->htab, &hep);
c0754cdd
NA
256}
257
886453cb
NA
258void
259ctf_dynhash_empty (ctf_dynhash_t *hp)
260{
261 htab_empty (hp->htab);
262}
263
809f6eb3
NA
264size_t
265ctf_dynhash_elements (ctf_dynhash_t *hp)
266{
267 return htab_elements (hp->htab);
268}
269
c0754cdd
NA
270void *
271ctf_dynhash_lookup (ctf_dynhash_t *hp, const void *key)
272{
273 ctf_helem_t **slot;
274
275 slot = ctf_hashtab_lookup (hp->htab, key, NO_INSERT);
276
277 if (slot)
278 return (*slot)->value;
279
280 return NULL;
281}
282
809f6eb3
NA
283/* TRUE/FALSE return. */
284int
285ctf_dynhash_lookup_kv (ctf_dynhash_t *hp, const void *key,
286 const void **orig_key, void **value)
287{
288 ctf_helem_t **slot;
289
290 slot = ctf_hashtab_lookup (hp->htab, key, NO_INSERT);
291
292 if (slot)
293 {
294 if (orig_key)
295 *orig_key = (*slot)->key;
296 if (value)
297 *value = (*slot)->value;
298 return 1;
299 }
300 return 0;
301}
302
9658dc39
NA
303typedef struct ctf_traverse_cb_arg
304{
305 ctf_hash_iter_f fun;
306 void *arg;
307} ctf_traverse_cb_arg_t;
308
309static int
310ctf_hashtab_traverse (void **slot, void *arg_)
311{
312 ctf_helem_t *helem = *((ctf_helem_t **) slot);
313 ctf_traverse_cb_arg_t *arg = (ctf_traverse_cb_arg_t *) arg_;
314
315 arg->fun (helem->key, helem->value, arg->arg);
316 return 1;
317}
318
319void
320ctf_dynhash_iter (ctf_dynhash_t *hp, ctf_hash_iter_f fun, void *arg_)
321{
322 ctf_traverse_cb_arg_t arg = { fun, arg_ };
323 htab_traverse (hp->htab, ctf_hashtab_traverse, &arg);
324}
325
809f6eb3
NA
326typedef struct ctf_traverse_find_cb_arg
327{
328 ctf_hash_iter_find_f fun;
329 void *arg;
330 void *found_key;
331} ctf_traverse_find_cb_arg_t;
332
333static int
334ctf_hashtab_traverse_find (void **slot, void *arg_)
335{
336 ctf_helem_t *helem = *((ctf_helem_t **) slot);
337 ctf_traverse_find_cb_arg_t *arg = (ctf_traverse_find_cb_arg_t *) arg_;
338
339 if (arg->fun (helem->key, helem->value, arg->arg))
340 {
341 arg->found_key = helem->key;
342 return 0;
343 }
344 return 1;
345}
346
347void *
348ctf_dynhash_iter_find (ctf_dynhash_t *hp, ctf_hash_iter_find_f fun, void *arg_)
349{
350 ctf_traverse_find_cb_arg_t arg = { fun, arg_, NULL };
351 htab_traverse (hp->htab, ctf_hashtab_traverse_find, &arg);
352 return arg.found_key;
353}
354
9658dc39
NA
355typedef struct ctf_traverse_remove_cb_arg
356{
357 struct htab *htab;
358 ctf_hash_iter_remove_f fun;
359 void *arg;
360} ctf_traverse_remove_cb_arg_t;
361
362static int
363ctf_hashtab_traverse_remove (void **slot, void *arg_)
364{
365 ctf_helem_t *helem = *((ctf_helem_t **) slot);
366 ctf_traverse_remove_cb_arg_t *arg = (ctf_traverse_remove_cb_arg_t *) arg_;
367
368 if (arg->fun (helem->key, helem->value, arg->arg))
369 htab_clear_slot (arg->htab, slot);
370 return 1;
371}
372
373void
374ctf_dynhash_iter_remove (ctf_dynhash_t *hp, ctf_hash_iter_remove_f fun,
375 void *arg_)
376{
377 ctf_traverse_remove_cb_arg_t arg = { hp->htab, fun, arg_ };
378 htab_traverse (hp->htab, ctf_hashtab_traverse_remove, &arg);
379}
380
c0754cdd
NA
381void
382ctf_dynhash_destroy (ctf_dynhash_t *hp)
383{
384 if (hp != NULL)
385 htab_delete (hp->htab);
386 free (hp);
387}
388
77648241
NA
389/* The dynset, used for sets of keys with no value. The implementation of this
390 can be much simpler, because without a value the slot can simply be the
391 stored key, which means we don't need to store the freeing functions and the
392 dynset itself is just a htab. */
393
394ctf_dynset_t *
395ctf_dynset_create (htab_hash hash_fun, htab_eq eq_fun,
396 ctf_hash_free_fun key_free)
397{
398 /* 7 is arbitrary and untested for now. */
399 return (ctf_dynset_t *) htab_create_alloc (7, (htab_hash) hash_fun, eq_fun,
400 key_free, xcalloc, free);
401}
402
403/* The dynset has one complexity: the underlying implementation reserves two
404 values for internal hash table implementation details (empty versus deleted
405 entries). These values are otherwise very useful for pointers cast to ints,
406 so transform the ctf_dynset_inserted value to allow for it. (This
407 introduces an ambiguity in that one can no longer store these two values in
408 the dynset, but if we pick high enough values this is very unlikely to be a
409 problem.)
410
411 We leak this implementation detail to the freeing functions on the grounds
412 that any use of these functions is overwhelmingly likely to be in sets using
413 real pointers, which will be unaffected. */
414
415#define DYNSET_EMPTY_ENTRY_REPLACEMENT ((void *) (uintptr_t) -64)
416#define DYNSET_DELETED_ENTRY_REPLACEMENT ((void *) (uintptr_t) -63)
417
418static void *
419key_to_internal (const void *key)
420{
421 if (key == HTAB_EMPTY_ENTRY)
422 return DYNSET_EMPTY_ENTRY_REPLACEMENT;
423 else if (key == HTAB_DELETED_ENTRY)
424 return DYNSET_DELETED_ENTRY_REPLACEMENT;
425
426 return (void *) key;
427}
428
429static void *
430internal_to_key (const void *internal)
431{
432 if (internal == DYNSET_EMPTY_ENTRY_REPLACEMENT)
433 return HTAB_EMPTY_ENTRY;
434 else if (internal == DYNSET_DELETED_ENTRY_REPLACEMENT)
435 return HTAB_DELETED_ENTRY;
436 return (void *) internal;
437}
438
439int
440ctf_dynset_insert (ctf_dynset_t *hp, void *key)
441{
442 struct htab *htab = (struct htab *) hp;
443 void **slot;
444
445 slot = htab_find_slot (htab, key, INSERT);
446
447 if (!slot)
448 {
449 errno = ENOMEM;
450 return -errno;
451 }
452
453 if (*slot)
454 {
455 if (htab->del_f)
456 (*htab->del_f) (*slot);
457 }
458
459 *slot = key_to_internal (key);
460
461 return 0;
462}
463
464void
465ctf_dynset_remove (ctf_dynset_t *hp, const void *key)
466{
467 htab_remove_elt ((struct htab *) hp, key_to_internal (key));
468}
469
470void
471ctf_dynset_destroy (ctf_dynset_t *hp)
472{
473 if (hp != NULL)
474 htab_delete ((struct htab *) hp);
475}
476
477void *
478ctf_dynset_lookup (ctf_dynset_t *hp, const void *key)
479{
480 void **slot = htab_find_slot ((struct htab *) hp,
481 key_to_internal (key), NO_INSERT);
482
483 if (slot)
484 return internal_to_key (*slot);
485 return NULL;
486}
487
488/* TRUE/FALSE return. */
489int
490ctf_dynset_exists (ctf_dynset_t *hp, const void *key, const void **orig_key)
491{
492 void **slot = htab_find_slot ((struct htab *) hp,
493 key_to_internal (key), NO_INSERT);
494
495 if (orig_key && slot)
496 *orig_key = internal_to_key (*slot);
497 return (slot != NULL);
498}
499
500/* Look up a completely random value from the set, if any exist.
501 Keys with value zero cannot be distinguished from a nonexistent key. */
502void *
503ctf_dynset_lookup_any (ctf_dynset_t *hp)
504{
505 struct htab *htab = (struct htab *) hp;
506 void **slot = htab->entries;
507 void **limit = slot + htab_size (htab);
508
509 while (slot < limit
510 && (*slot == HTAB_EMPTY_ENTRY || *slot == HTAB_DELETED_ENTRY))
511 slot++;
512
513 if (slot < limit)
514 return internal_to_key (*slot);
515 return NULL;
516}
517
c0754cdd
NA
518/* ctf_hash, used for fixed-size maps from const char * -> ctf_id_t without
519 removal. This is a straight cast of a hashtab. */
520
521ctf_hash_t *
522ctf_hash_create (unsigned long nelems, ctf_hash_fun hash_fun,
523 ctf_hash_eq_fun eq_fun)
524{
525 return (ctf_hash_t *) htab_create_alloc (nelems, (htab_hash) hash_fun,
526 eq_fun, free, xcalloc, free);
527}
528
529uint32_t
530ctf_hash_size (const ctf_hash_t *hp)
531{
532 return htab_elements ((struct htab *) hp);
533}
534
535int
536ctf_hash_insert_type (ctf_hash_t *hp, ctf_file_t *fp, uint32_t type,
537 uint32_t name)
538{
d851ecd3 539 const char *str = ctf_strraw (fp, name);
c0754cdd
NA
540
541 if (type == 0)
542 return EINVAL;
543
d851ecd3
NA
544 if (str == NULL
545 && CTF_NAME_STID (name) == CTF_STRTAB_1
546 && fp->ctf_syn_ext_strtab == NULL
547 && fp->ctf_str[CTF_NAME_STID (name)].cts_strs == NULL)
c0754cdd
NA
548 return ECTF_STRTAB;
549
d851ecd3 550 if (str == NULL)
c0754cdd
NA
551 return ECTF_BADNAME;
552
553 if (str[0] == '\0')
554 return 0; /* Just ignore empty strings on behalf of caller. */
555
556 if (ctf_hashtab_insert ((struct htab *) hp, (char *) str,
1820745a 557 (void *) (ptrdiff_t) type, NULL, NULL) != NULL)
c0754cdd
NA
558 return 0;
559 return errno;
560}
561
562/* if the key is already in the hash, override the previous definition with
563 this new official definition. If the key is not present, then call
77648241 564 ctf_hash_insert_type and hash it in. */
c0754cdd
NA
565int
566ctf_hash_define_type (ctf_hash_t *hp, ctf_file_t *fp, uint32_t type,
567 uint32_t name)
568{
77648241 569 /* This matches the semantics of ctf_hash_insert_type in this
c0754cdd
NA
570 implementation anyway. */
571
572 return ctf_hash_insert_type (hp, fp, type, name);
573}
574
575ctf_id_t
576ctf_hash_lookup_type (ctf_hash_t *hp, ctf_file_t *fp __attribute__ ((__unused__)),
577 const char *key)
578{
579 ctf_helem_t **slot;
580
581 slot = ctf_hashtab_lookup ((struct htab *) hp, key, NO_INSERT);
582
583 if (slot)
584 return (ctf_id_t) ((*slot)->value);
585
586 return 0;
587}
588
589void
590ctf_hash_destroy (ctf_hash_t *hp)
591{
592 if (hp != NULL)
593 htab_delete ((struct htab *) hp);
594}
This page took 0.099348 seconds and 4 git commands to generate.