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