/*
* Copyright 2008-2009 Katholieke Universiteit Leuven
*
- * Use of this software is governed by the GNU LGPLv2.1 license
+ * Use of this software is governed by the MIT license
*
* Written by Sven Verdoolaege, K.U.Leuven, Departement
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
#include <isl_ctx_private.h>
#include <isl_id_private.h>
+#undef BASE
+#define BASE id
+
+#include <isl_list_templ.c>
+
+/* A special, static isl_id to use as domains (and ranges)
+ * of sets and parameters domains.
+ * The user should never get a hold on this isl_id.
+ */
+isl_id isl_id_none = {
+ .ref = -1,
+ .ctx = NULL,
+ .name = "#none",
+ .user = NULL
+};
+
isl_ctx *isl_id_get_ctx(__isl_keep isl_id *id)
{
return id ? id->ctx : NULL;
if (name && !copy)
return NULL;
- id = isl_alloc_type(ctx, struct isl_id);
+ id = isl_calloc_type(ctx, struct isl_id);
if (!id)
goto error;
return NULL;
}
-static int isl_id_has_name(const void *entry, const void *val)
+struct isl_name_and_user {
+ const char *name;
+ void *user;
+};
+
+static int isl_id_has_name_and_user(const void *entry, const void *val)
{
isl_id *id = (isl_id *)entry;
- const char *s = (const char *)val;
+ struct isl_name_and_user *nu = (struct isl_name_and_user *) val;
+
+ if (id->user != nu->user)
+ return 0;
+ if (!id->name && !nu->name)
+ return 1;
- return !strcmp(id->name, s);
+ return !strcmp(id->name, nu->name);
}
__isl_give isl_id *isl_id_alloc(isl_ctx *ctx, const char *name, void *user)
{
struct isl_hash_table_entry *entry;
uint32_t id_hash;
+ struct isl_name_and_user nu = { name, user };
id_hash = isl_hash_init();
if (name)
else
id_hash = isl_hash_builtin(id_hash, user);
entry = isl_hash_table_find(ctx, &ctx->id_table, id_hash,
- isl_id_has_name, name, 1);
+ isl_id_has_name_and_user, &nu, 1);
if (!entry)
return NULL;
if (entry->data)
return hash;
}
+/* Replace the free_user callback by "free_user".
+ */
+__isl_give isl_id *isl_id_set_free_user(__isl_take isl_id *id,
+ __isl_give void (*free_user)(void *user))
+{
+ if (!id)
+ return NULL;
+
+ id->free_user = free_user;
+
+ return id;
+}
+
/* If the id has a negative refcount, then it is a static isl_id
* and should not be freed.
*/
else
isl_hash_table_remove(id->ctx, &id->ctx->id_table, entry);
+ if (id->free_user)
+ id->free_user(id->user);
+
free((char *)id->name);
isl_ctx_deref(id->ctx);
free(id);