1 /*
2 * Copyright 2011 Sven Verdoolaege
3 * Copyright 2012 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_multi_macro.h>
12
13 /* Extract a multi expression with domain space "dom_space"
14 * from a tuple "tuple" that was read by read_tuple.
15 *
16 * Check that none of the expressions depend on any other output/set dimensions.
17 */
MULTI(BASE)18 static MULTI(BASE) *FN(MULTI(BASE),from_tuple)(
19 __isl_take isl_space *dom_space, __isl_take isl_multi_pw_aff *tuple)
20 {
21 int i;
22 isl_size dim, n;
23 isl_space *space;
24 MULTI(BASE) *multi;
25
26 n = isl_multi_pw_aff_dim(tuple, isl_dim_out);
27 dim = isl_space_dim(dom_space, isl_dim_all);
28 if (n < 0 || dim < 0)
29 dom_space = isl_space_free(dom_space);
30 space = isl_space_range(isl_multi_pw_aff_get_space(tuple));
31 space = isl_space_align_params(space, isl_space_copy(dom_space));
32 if (!isl_space_is_params(dom_space))
33 space = isl_space_map_from_domain_and_range(
34 isl_space_copy(dom_space), space);
35 isl_space_free(dom_space);
36 multi = FN(MULTI(BASE),alloc)(space);
37
38 for (i = 0; i < n; ++i) {
39 isl_pw_aff *pa;
40 pa = isl_multi_pw_aff_get_pw_aff(tuple, i);
41 multi = FN(MULTI(BASE),set_tuple_entry)(multi, pa, i, dim, n);
42 }
43
44 isl_multi_pw_aff_free(tuple);
45 return multi;
46 }
47