-/* Ident --- unique handles for identifiers
- Copyright (C) 1995, 1996 Markus Armbruster
- All rights reserved. */
-
-#ifdef HAVE_CONFIG_H
-# include <config.h>
-#endif
+/*
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
+
+/**
+ * @file
+ * @brief Hash table to store names.
+ * @author Goetz Lindenmaier
+ * @version $Id$
+ */
+#include "config.h"
#include <assert.h>
#include <ctype.h>
+#include <stdio.h>
#include <string.h>
-#include "array.h"
-#include "tune.h"
-#include "ident_t.h"
-#include "xprintf.h"
+#include <stddef.h>
+#include <stdlib.h>
-#define XX_USER(name) ident *id_##name;
-#define XX_INTERNAL(name, str) XX_USER(name)
-#undef XX_USER
-#undef XX_INTERNAL
+#include "ident_t.h"
+#include "set.h"
+#include "xmalloc.h"
+
+/* for debugging only, not the real implementation */
+struct _ident {
+ char reserved[sizeof(unsigned) + sizeof(size_t)];
+ char data[1];
+};
+
+/** The current ident module implementation. */
+static ident_if_t impl;
+
+/**
+ * Stores a string in the ident module and returns a handle for the string.
+ *
+ * @param handle the handle for the set
+ * @param str the string which shall be stored
+ * @param len length of str in bytes
+ *
+ * @return id - a handle for the generated ident
+ *
+ * Default implementation using libfirm sets.
+ */
+static ident *set_new_id_from_chars(void *handle, const char *str, int len)
+{
+ set *id_set = handle;
-set *id_set;
+ /* GL: Who added this assert? And why? */
+ //assert(len > 0);
+ return (ident *)set_hinsert0(id_set, str, len, ID_HASH(unsigned char, str, len));
+}
+/**
+ * Stores a string in the ident module and returns a handle for the string.
+ *
+ * @param handle the handle for the set
+ * @param str the string (or whatever) which shall be stored
+ *
+ * Default implementation using libfirm sets.
+ */
+static ident *set_new_id_from_str(void *handle, const char *str)
+{
+ assert(str);
+ return set_new_id_from_chars(handle, str, strlen(str));
+}
-ident *
-new_id_derived (const char *pfx, ident *id)
+/**
+ * Returns a string represented by an ident.
+ *
+ * @param handle the handle for the set
+ * @param id the ident
+ *
+ * Default implementation using libfirm sets.
+ */
+static const char *set_get_id_str(void *handle, ident *id)
{
- int pfx_len = strlen (pfx);
- int len = pfx_len + ID_TO_STRLEN (id);
- char *str = alloca (len);
+ struct set_entry *entry = (struct set_entry *)id;
+ (void) handle;
- memcpy (str, pfx, pfx_len);
- memcpy (str+pfx_len, ID_TO_STR (id), ID_TO_STRLEN (id));
- return ID_FROM_STR (str, pfx_len + ID_TO_STRLEN (id));
+ return (const char *)entry->dptr;
}
-
-ident *
-new_id_internal (void)
+/**
+ * Returns the length of the string represented by an ident.
+ *
+ * @param handle the handle for the set
+ * @param id the ident
+ *
+ * Default implementation using libfirm sets.
+ */
+static int set_get_id_strlen(void *handle, ident *id)
{
- static char str[] = "_0000000";
- int i;
-
- i = sizeof (str) - 2;
- while (++str[i] == '9'+1) {
- str[i--] = '0';
- /* if following assertion fails, we get called far too often ;-) */
- assert (i >= 0);
- }
- assert (('0' <= str[i]) && (str[i] <= '9'));
+ struct set_entry *entry = (struct set_entry *)id;
+ (void) handle;
- return ID_FROM_STR (str, sizeof (str) - 1);
+ return entry->size;
}
+/**
+ * Default implementation using libfirm sets.
+ */
+void set_finish_ident(void *handle) {
+ set *id_set = handle;
-bool
-id_is_internal (ident *id)
-{
- assert (ID_TO_STRLEN (id));
- return !!ispunct (ID_TO_STR(id)[0]);
+ del_set(id_set);
}
+/**
+ * Default implementation if no new_id_from_str() is provided.
+ */
+static ident *def_new_id_from_str(void *handle, const char *str)
+{
+ return impl.new_id_from_chars(handle, str, strlen(str));
+}
-#ifndef NDEBUG
-
-void
-ids_vrfy (ident **id)
+/**
+ * Default implementation if no get_id_strlen() is provided.
+ */
+static int def_get_id_strlen(void *handle, ident *id)
{
- int i;
+ return strlen(impl.get_id_str(handle, id));
+}
- for (i = 0; i < ARR_LEN (id); ++i) {
- ID_VRFY (id[i]);
+/* Initialize the ident module. */
+void init_ident(ident_if_t *id_if, int initial_n_idents)
+{
+ if (id_if) {
+ memcpy(&impl, id_if, sizeof(impl));
+
+ if (! impl.new_id_from_str)
+ impl.new_id_from_str = def_new_id_from_str;
+ if (! impl.get_id_strlen)
+ impl.get_id_strlen = def_get_id_strlen;
+ } else {
+ impl.new_id_from_str = set_new_id_from_str;
+ impl.new_id_from_chars = set_new_id_from_chars;
+ impl.get_id_str = set_get_id_str;
+ impl.get_id_strlen = set_get_id_strlen;
+ impl.finish_ident = set_finish_ident;
+
+ /* it's ok to use memcmp here, we check only strings */
+ impl.handle = new_set(memcmp, initial_n_idents);
}
}
-#endif
-
-int
-ident_print (XP_PAR1, const xprintf_info *info ATTRIBUTE((unused)), XP_PARN)
+ident *new_id_from_str(const char *str)
{
- ident *id = XP_GETARG (ident *, 0);
- return XPMR (ID_TO_STR (id), ID_TO_STRLEN (id));
+ assert(str);
+ return impl.new_id_from_str(impl.handle, str);
}
+ident *new_id_from_chars(const char *str, int len)
+{
+ assert(len > 0);
+ return impl.new_id_from_chars(impl.handle, str, len);
+}
-void
-id_init (void)
+const char *get_id_str(ident *id)
{
- id_set = new_set (memcmp, TUNE_NIDENTS);
+ return impl.get_id_str(impl.handle, id);
+}
-#define XX_USER(name) id_##name = ID_FROM_STR(#name, sizeof(#name)- 1);
-#define XX_INTERNAL(name, str) id_##name = ID_FROM_STR((str), sizeof((str))-1);
-#undef XX_USER
-#undef XX_INTERNAL
+int get_id_strlen(ident *id)
+{
+ return impl.get_id_strlen(impl.handle, id);
}
+void finish_ident(void) {
+ if (impl.finish_ident)
+ impl.finish_ident(impl.handle);
+}
-#if 1
-inline ident *id_from_str (char *str, int len) {
- assert (len > 0);
- return (const set_entry *)set_hinsert (id_set, (str), (len), ID_HASH ((str), (len)));
+int id_is_prefix(ident *prefix, ident *id)
+{
+ if (get_id_strlen(prefix) > get_id_strlen(id)) return 0;
+ return 0 == memcmp(get_id_str(prefix), get_id_str(id), get_id_strlen(prefix));
}
-inline const char *id_to_str (ident *id) {
- return ((const char *)&(id)->dptr[0]);
+int id_is_suffix(ident *suffix, ident *id)
+{
+ int suflen = get_id_strlen(suffix);
+ int idlen = get_id_strlen(id);
+ const char *part;
+
+ if (suflen > idlen) return 0;
+
+ part = get_id_str(id);
+ part = part + (idlen - suflen);
+
+ return 0 == memcmp(get_id_str(suffix), part, suflen);
}
-inline int id_to_strlen(ident *id) {
- return ((id)->size);
+int id_contains_char(ident *id, char c)
+{
+ return strchr(get_id_str(id), c) != NULL;
}
-#endif
+ident *id_unique(const char *tag)
+{
+ static unsigned unique_id = 0;
+ char buf[256];
+
+ snprintf(buf, sizeof(buf), tag, unique_id);
+ unique_id++;
+ return new_id_from_str(buf);
+}
projects / libfirm / blobdiff