isl_multi_tuple_id_templ.c

   1 /*
   2  * Copyright 2011      Sven Verdoolaege
   3  * Copyright 2012-2013 Ecole Normale Superieure
   4  *
   5  * Use of this software is governed by the MIT license
   6  *
   7  * Written by Sven Verdoolaege,
   8  * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
   9  */
  10
  11 #include <isl/space.h>
  12
  13 #include <isl_multi_macro.h>
  14
  15 const char *FN(MULTI(BASE),get_tuple_name)(__isl_keep MULTI(BASE) *multi,
  16         enum isl_dim_type type)
  17 {
  18         return multi ? isl_space_get_tuple_name(multi->space, type) : NULL;
  19 }
  20
  21 /* Does the specified tuple have an id?
  22  */
  23 isl_bool FN(MULTI(BASE),has_tuple_id)(__isl_keep MULTI(BASE) *multi,
  24         enum isl_dim_type type)
  25 {
  26         if (!multi)
  27                 return isl_bool_error;
  28         return isl_space_has_tuple_id(multi->space, type);
  29 }
  30
  31 /* Does the (range) tuple of "multi" have an identifier?
  32  *
  33  * Technically, the implementation should use isl_dim_set if "multi"
  34  * lives in a set space and isl_dim_out if it lives in a map space.
  35  * Internally, however, it can be assumed that isl_dim_set is equal
  36  * to isl_dim_out.
  37  */
  38 isl_bool FN(MULTI(BASE),has_range_tuple_id)(__isl_keep MULTI(BASE) *multi)
  39 {
  40         return FN(MULTI(BASE),has_tuple_id)(multi, isl_dim_out);
  41 }
  42
  43 /* Return the id of the specified tuple.
  44  */
  45 __isl_give isl_id *FN(MULTI(BASE),get_tuple_id)(__isl_keep MULTI(BASE) *multi,
  46         enum isl_dim_type type)
  47 {
  48         return multi ? isl_space_get_tuple_id(multi->space, type) : NULL;
  49 }
  50
  51 /* Return the identifier of the (range) tuple of "multi", assuming it has one.
  52  *
  53  * Technically, the implementation should use isl_dim_set if "multi"
  54  * lives in a set space and isl_dim_out if it lives in a map space.
  55  * Internally, however, it can be assumed that isl_dim_set is equal
  56  * to isl_dim_out.
  57  */
  58 __isl_give isl_id *FN(MULTI(BASE),get_range_tuple_id)(
  59         __isl_keep MULTI(BASE) *multi)
  60 {
  61         return FN(MULTI(BASE),get_tuple_id)(multi, isl_dim_out);
  62 }
  63
  64 __isl_give MULTI(BASE) *FN(MULTI(BASE),set_tuple_name)(
  65         __isl_keep MULTI(BASE) *multi, enum isl_dim_type type,
  66         const char *s)
  67 {
  68         isl_space *space;
  69
  70         multi = FN(MULTI(BASE),cow)(multi);
  71         if (!multi)
  72                 return NULL;
  73
  74         space = FN(MULTI(BASE),get_space)(multi);
  75         space = isl_space_set_tuple_name(space, type, s);
  76
  77         return FN(MULTI(BASE),reset_space)(multi, space);
  78 }
  79
  80 __isl_give MULTI(BASE) *FN(MULTI(BASE),set_tuple_id)(
  81         __isl_take MULTI(BASE) *multi, enum isl_dim_type type,
  82         __isl_take isl_id *id)
  83 {
  84         isl_space *space;
  85
  86         multi = FN(MULTI(BASE),cow)(multi);
  87         if (!multi)
  88                 goto error;
  89
  90         space = FN(MULTI(BASE),get_space)(multi);
  91         space = isl_space_set_tuple_id(space, type, id);
  92
  93         return FN(MULTI(BASE),reset_space)(multi, space);
  94 error:
  95         isl_id_free(id);
  96         return NULL;
  97 }
  98
  99 /* Replace the identifier of the (range) tuple of "multi" by "id".
 100  *
 101  * Technically, the implementation should use isl_dim_set if "multi"
 102  * lives in a set space and isl_dim_out if it lives in a map space.
 103  * Internally, however, it can be assumed that isl_dim_set is equal
 104  * to isl_dim_out.
 105  */
 106 __isl_give MULTI(BASE) *FN(MULTI(BASE),set_range_tuple_id)(
 107         __isl_take MULTI(BASE) *multi, __isl_take isl_id *id)
 108 {
 109         return FN(MULTI(BASE),set_tuple_id)(multi, isl_dim_out, id);
 110 }
 111
 112 /* Drop the id on the specified tuple.
 113  */
 114 __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_tuple_id)(
 115         __isl_take MULTI(BASE) *multi, enum isl_dim_type type)
 116 {
 117         isl_space *space;
 118
 119         if (!multi)
 120                 return NULL;
 121         if (!FN(MULTI(BASE),has_tuple_id)(multi, type))
 122                 return multi;
 123
 124         multi = FN(MULTI(BASE),cow)(multi);
 125         if (!multi)
 126                 return NULL;
 127
 128         space = FN(MULTI(BASE),get_space)(multi);
 129         space = isl_space_reset_tuple_id(space, type);
 130
 131         return FN(MULTI(BASE),reset_space)(multi, space);
 132 }
 133
 134 /* Drop the identifier of the (range) tuple of "multi".
 135  *
 136  * Technically, the implementation should use isl_dim_set if "multi"
 137  * lives in a set space and isl_dim_out if it lives in a map space.
 138  * Internally, however, it can be assumed that isl_dim_set is equal
 139  * to isl_dim_out.
 140  */
 141 __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_range_tuple_id)(
 142         __isl_take MULTI(BASE) *multi)
 143 {
 144         return FN(MULTI(BASE),reset_tuple_id)(multi, isl_dim_out);
 145 }