146 lines
3.9 KiB
C
146 lines
3.9 KiB
C
/*
|
|
* Copyright 2011 Sven Verdoolaege
|
|
* Copyright 2012-2013 Ecole Normale Superieure
|
|
*
|
|
* Use of this software is governed by the MIT license
|
|
*
|
|
* Written by Sven Verdoolaege,
|
|
* Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
|
|
*/
|
|
|
|
#include <isl/space.h>
|
|
|
|
#include <isl_multi_macro.h>
|
|
|
|
const char *FN(MULTI(BASE),get_tuple_name)(__isl_keep MULTI(BASE) *multi,
|
|
enum isl_dim_type type)
|
|
{
|
|
return multi ? isl_space_get_tuple_name(multi->space, type) : NULL;
|
|
}
|
|
|
|
/* Does the specified tuple have an id?
|
|
*/
|
|
isl_bool FN(MULTI(BASE),has_tuple_id)(__isl_keep MULTI(BASE) *multi,
|
|
enum isl_dim_type type)
|
|
{
|
|
if (!multi)
|
|
return isl_bool_error;
|
|
return isl_space_has_tuple_id(multi->space, type);
|
|
}
|
|
|
|
/* Does the (range) tuple of "multi" have an identifier?
|
|
*
|
|
* Technically, the implementation should use isl_dim_set if "multi"
|
|
* lives in a set space and isl_dim_out if it lives in a map space.
|
|
* Internally, however, it can be assumed that isl_dim_set is equal
|
|
* to isl_dim_out.
|
|
*/
|
|
isl_bool FN(MULTI(BASE),has_range_tuple_id)(__isl_keep MULTI(BASE) *multi)
|
|
{
|
|
return FN(MULTI(BASE),has_tuple_id)(multi, isl_dim_out);
|
|
}
|
|
|
|
/* Return the id of the specified tuple.
|
|
*/
|
|
__isl_give isl_id *FN(MULTI(BASE),get_tuple_id)(__isl_keep MULTI(BASE) *multi,
|
|
enum isl_dim_type type)
|
|
{
|
|
return multi ? isl_space_get_tuple_id(multi->space, type) : NULL;
|
|
}
|
|
|
|
/* Return the identifier of the (range) tuple of "multi", assuming it has one.
|
|
*
|
|
* Technically, the implementation should use isl_dim_set if "multi"
|
|
* lives in a set space and isl_dim_out if it lives in a map space.
|
|
* Internally, however, it can be assumed that isl_dim_set is equal
|
|
* to isl_dim_out.
|
|
*/
|
|
__isl_give isl_id *FN(MULTI(BASE),get_range_tuple_id)(
|
|
__isl_keep MULTI(BASE) *multi)
|
|
{
|
|
return FN(MULTI(BASE),get_tuple_id)(multi, isl_dim_out);
|
|
}
|
|
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),set_tuple_name)(
|
|
__isl_keep MULTI(BASE) *multi, enum isl_dim_type type,
|
|
const char *s)
|
|
{
|
|
isl_space *space;
|
|
|
|
multi = FN(MULTI(BASE),cow)(multi);
|
|
if (!multi)
|
|
return NULL;
|
|
|
|
space = FN(MULTI(BASE),get_space)(multi);
|
|
space = isl_space_set_tuple_name(space, type, s);
|
|
|
|
return FN(MULTI(BASE),reset_space)(multi, space);
|
|
}
|
|
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),set_tuple_id)(
|
|
__isl_take MULTI(BASE) *multi, enum isl_dim_type type,
|
|
__isl_take isl_id *id)
|
|
{
|
|
isl_space *space;
|
|
|
|
multi = FN(MULTI(BASE),cow)(multi);
|
|
if (!multi)
|
|
goto error;
|
|
|
|
space = FN(MULTI(BASE),get_space)(multi);
|
|
space = isl_space_set_tuple_id(space, type, id);
|
|
|
|
return FN(MULTI(BASE),reset_space)(multi, space);
|
|
error:
|
|
isl_id_free(id);
|
|
return NULL;
|
|
}
|
|
|
|
/* Replace the identifier of the (range) tuple of "multi" by "id".
|
|
*
|
|
* Technically, the implementation should use isl_dim_set if "multi"
|
|
* lives in a set space and isl_dim_out if it lives in a map space.
|
|
* Internally, however, it can be assumed that isl_dim_set is equal
|
|
* to isl_dim_out.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),set_range_tuple_id)(
|
|
__isl_take MULTI(BASE) *multi, __isl_take isl_id *id)
|
|
{
|
|
return FN(MULTI(BASE),set_tuple_id)(multi, isl_dim_out, id);
|
|
}
|
|
|
|
/* Drop the id on the specified tuple.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),reset_tuple_id)(
|
|
__isl_take MULTI(BASE) *multi, enum isl_dim_type type)
|
|
{
|
|
isl_space *space;
|
|
|
|
if (!multi)
|
|
return NULL;
|
|
if (!FN(MULTI(BASE),has_tuple_id)(multi, type))
|
|
return multi;
|
|
|
|
multi = FN(MULTI(BASE),cow)(multi);
|
|
if (!multi)
|
|
return NULL;
|
|
|
|
space = FN(MULTI(BASE),get_space)(multi);
|
|
space = isl_space_reset_tuple_id(space, type);
|
|
|
|
return FN(MULTI(BASE),reset_space)(multi, space);
|
|
}
|
|
|
|
/* Drop the identifier of the (range) tuple of "multi".
|
|
*
|
|
* Technically, the implementation should use isl_dim_set if "multi"
|
|
* lives in a set space and isl_dim_out if it lives in a map space.
|
|
* Internally, however, it can be assumed that isl_dim_set is equal
|
|
* to isl_dim_out.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),reset_range_tuple_id)(
|
|
__isl_take MULTI(BASE) *multi)
|
|
{
|
|
return FN(MULTI(BASE),reset_tuple_id)(multi, isl_dim_out);
|
|
}
|