2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
11 #include <isl_ctx_private.h>
12 #include <isl_id_private.h>
17 #include <isl_list_templ.c>
19 /* A special, static isl_id to use as domains (and ranges)
20 * of sets and parameters domains.
21 * The user should never get a hold on this isl_id.
23 isl_id isl_id_none
= {
30 isl_ctx
*isl_id_get_ctx(__isl_keep isl_id
*id
)
32 return id
? id
->ctx
: NULL
;
35 void *isl_id_get_user(__isl_keep isl_id
*id
)
37 return id
? id
->user
: NULL
;
40 const char *isl_id_get_name(__isl_keep isl_id
*id
)
42 return id
? id
->name
: NULL
;
45 static __isl_give isl_id
*id_alloc(isl_ctx
*ctx
, const char *name
, void *user
)
47 const char *copy
= name
? strdup(name
) : NULL
;
52 id
= isl_calloc_type(ctx
, struct isl_id
);
62 id
->hash
= isl_hash_init();
64 id
->hash
= isl_hash_string(id
->hash
, name
);
66 id
->hash
= isl_hash_builtin(id
->hash
, user
);
74 struct isl_name_and_user
{
79 static int isl_id_has_name_and_user(const void *entry
, const void *val
)
81 isl_id
*id
= (isl_id
*)entry
;
82 struct isl_name_and_user
*nu
= (struct isl_name_and_user
*) val
;
84 if (id
->user
!= nu
->user
)
86 if (!id
->name
&& !nu
->name
)
89 return !strcmp(id
->name
, nu
->name
);
92 __isl_give isl_id
*isl_id_alloc(isl_ctx
*ctx
, const char *name
, void *user
)
94 struct isl_hash_table_entry
*entry
;
96 struct isl_name_and_user nu
= { name
, user
};
98 id_hash
= isl_hash_init();
100 id_hash
= isl_hash_string(id_hash
, name
);
102 id_hash
= isl_hash_builtin(id_hash
, user
);
103 entry
= isl_hash_table_find(ctx
, &ctx
->id_table
, id_hash
,
104 isl_id_has_name_and_user
, &nu
, 1);
108 return isl_id_copy(entry
->data
);
109 entry
->data
= id_alloc(ctx
, name
, user
);
115 /* If the id has a negative refcount, then it is a static isl_id
116 * which should not be changed.
118 __isl_give isl_id
*isl_id_copy(isl_id
*id
)
130 static int isl_id_eq(const void *entry
, const void *name
)
132 return entry
== name
;
135 uint32_t isl_hash_id(uint32_t hash
, __isl_keep isl_id
*id
)
138 isl_hash_hash(hash
, id
->hash
);
143 /* Replace the free_user callback by "free_user".
145 __isl_give isl_id
*isl_id_set_free_user(__isl_take isl_id
*id
,
146 __isl_give
void (*free_user
)(void *user
))
151 id
->free_user
= free_user
;
156 /* If the id has a negative refcount, then it is a static isl_id
157 * and should not be freed.
159 void *isl_id_free(__isl_take isl_id
*id
)
161 struct isl_hash_table_entry
*entry
;
172 entry
= isl_hash_table_find(id
->ctx
, &id
->ctx
->id_table
, id
->hash
,
175 isl_die(id
->ctx
, isl_error_unknown
,
176 "unable to find id", (void)0);
178 isl_hash_table_remove(id
->ctx
, &id
->ctx
->id_table
, entry
);
181 id
->free_user(id
->user
);
183 free((char *)id
->name
);
184 isl_ctx_deref(id
->ctx
);
190 __isl_give isl_printer
*isl_printer_print_id(__isl_take isl_printer
*p
,
191 __isl_keep isl_id
*id
)
197 p
= isl_printer_print_str(p
, id
->name
);
200 snprintf(buffer
, sizeof(buffer
), "@%p", id
->user
);
201 p
= isl_printer_print_str(p
, buffer
);