isl_id.c | Explore in Territory

/*
 * Copyright 2008-2009 Katholieke Universiteit Leuven
 *
 * 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 <string.h>
#include <isl_ctx_private.h>
#include <isl_id_private.h>

#undef EL_BASE
#define EL_BASE …

#include <isl_list_templ.c>
#include <isl_list_read_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 = …;

isl_ctx *isl_id_get_ctx(__isl_keep isl_id *id)
{ … }

void *isl_id_get_user(__isl_keep isl_id *id)
{ … }

const char *isl_id_get_name(__isl_keep isl_id *id)
{ … }

static __isl_give isl_id *id_alloc(isl_ctx *ctx, const char *name, void *user)
{ … }

uint32_t isl_id_get_hash(__isl_keep isl_id *id)
{ … }

struct isl_name_and_user { … };

static isl_bool isl_id_has_name_and_user(const void *entry, const void *val)
{ … }

__isl_give isl_id *isl_id_alloc(isl_ctx *ctx, const char *name, void *user)
{ … }

/* If the id has a negative refcount, then it is a static isl_id
 * which should not be changed.
 */
__isl_give isl_id *isl_id_copy(isl_id *id)
{ … }

/* Compare two isl_ids.
 *
 * The order is fairly arbitrary.  We do keep the comparison of
 * the user pointers as a last resort since these pointer values
 * may not be stable across different systems or even different runs.
 */
int isl_id_cmp(__isl_keep isl_id *id1, __isl_keep isl_id *id2)
{ … }

static isl_bool isl_id_eq(const void *entry, const void *name)
{ … }

uint32_t isl_hash_id(uint32_t hash, __isl_keep isl_id *id)
{ … }

/* Replace the free_user callback by "free_user".
 */
__isl_give isl_id *isl_id_set_free_user(__isl_take isl_id *id,
	void (*free_user)(void *user))
{ … }

/* Retrieve the callback set by isl_id_set_free_user,
 * or NULL if no such callback was set.
 */
void (*isl_id_get_free_user(__isl_keep isl_id *id))(void *user)
{ … }

/* If the id has a negative refcount, then it is a static isl_id
 * and should not be freed.
 */
__isl_null isl_id *isl_id_free(__isl_take isl_id *id)
{ … }

__isl_give isl_printer *isl_printer_print_id(__isl_take isl_printer *p,
	__isl_keep isl_id *id)
{ … }

/* Read an isl_id from "s" based on its name.
 */
__isl_give isl_id *isl_stream_read_id(__isl_keep isl_stream *s)
{ … }

#undef TYPE_BASE
#define TYPE_BASE …
#include "isl_read_from_str_templ.c"

/* Is "id1" (obviously) equal to "id2"?
 *
 * isl_id objects can be compared by pointer value, but
 * isl_multi_*_plain_is_equal needs an isl_*_plain_is_equal.
 */
static isl_bool isl_id_plain_is_equal(__isl_keep isl_id *id1,
	__isl_keep isl_id *id2)
{ … }

#undef BASE
#define BASE …

#include <isl_multi_no_domain_templ.c>
#include <isl_multi_no_explicit_domain.c>
#include <isl_multi_templ.c>
llvm/polly/lib/External/isl/isl_id.c
