isl_aff.c: pw_multi_aff_from_map_div: use isl_basic_map_var_offset
[isl.git] / isl_pw_range_tuple_id_templ.c
blob37392f5e9344fcdf716e6b891d661b9609783896
1 /*
2 * Copyright 2018 Sven Verdoolaege
3 * Copyright 2019 Cerebras Systems
5 * Use of this software is governed by the MIT license
7 * Written by Sven Verdoolaege,
8 * Cerebras Systems, 175 S San Antonio Rd, Los Altos, CA, USA
9 */
11 /* Does the (range) tuple of "pw" have an identifier?
13 * Technically, the implementation should use isl_dim_set if "pw"
14 * lives in a set space and isl_dim_out if it lives in a map space.
15 * Internally, however, it can be assumed that isl_dim_set is equal
16 * to isl_dim_out.
18 isl_bool FN(PW,has_range_tuple_id)(__isl_keep PW *pw)
20 return FN(PW,has_tuple_id)(pw, isl_dim_out);
23 /* Return the identifier of the (range) tuple of "pw", assuming it has one.
25 * Technically, the implementation should use isl_dim_set if "pw"
26 * lives in a set space and isl_dim_out if it lives in a map space.
27 * Internally, however, it can be assumed that isl_dim_set is equal
28 * to isl_dim_out.
30 __isl_give isl_id *FN(PW,get_range_tuple_id)(__isl_keep PW *pw)
32 return FN(PW,get_tuple_id)(pw, isl_dim_out);
35 /* Replace the identifier of the (range) tuple of "pw" by "id".
37 * Technically, the implementation should use isl_dim_set if "pw"
38 * lives in a set space and isl_dim_out if it lives in a map space.
39 * Internally, however, it can be assumed that isl_dim_set is equal
40 * to isl_dim_out.
42 __isl_give PW *FN(PW,set_range_tuple_id)(__isl_take PW *pw,
43 __isl_take isl_id *id)
45 return FN(PW,set_tuple_id)(pw, isl_dim_out, id);