diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2011-09-13 10:39:55 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2011-09-13 12:53:30 +0200 |
| commit | b266ab3f65c881822ecb3b9a2e3a43775e360e8c (patch) | |
| tree | 880605f8232bfb5e2cec48e2e5b16c80254063fa /isl_schedule.c | |
| parent | 1d0235f9c37fa19a5b8be35f90dccda5de8cd206 (diff) | |
| download | isl-b266ab3f65c881822ecb3b9a2e3a43775e360e8c.tar.gz isl-b266ab3f65c881822ecb3b9a2e3a43775e360e8c.tar.bz2 isl-b266ab3f65c881822ecb3b9a2e3a43775e360e8c.zip | |
isl_{in,}equality_alloc: take isl_local_space intead of isl_space
This makes it easier to construct constraints involving existentially
quantified variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_schedule.c')
| -rw-r--r-- | isl_schedule.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/isl_schedule.c b/isl_schedule.c index f14fbd95..b2792817 100644 --- a/isl_schedule.c +++ b/isl_schedule.c @@ -1388,6 +1388,7 @@ static __isl_give isl_map *node_extract_schedule(struct isl_sched_node *node) { int i, j; isl_space *dim; + isl_local_space *ls; isl_basic_map *bmap; isl_constraint *c; int nrow, ncol; @@ -1401,11 +1402,12 @@ static __isl_give isl_map *node_extract_schedule(struct isl_sched_node *node) dim = isl_space_from_domain(isl_space_copy(node->dim)); dim = isl_space_add_dims(dim, isl_dim_out, nrow); bmap = isl_basic_map_universe(isl_space_copy(dim)); + ls = isl_local_space_from_space(dim); isl_int_init(v); for (i = 0; i < nrow; ++i) { - c = isl_equality_alloc(isl_space_copy(dim)); + c = isl_equality_alloc(isl_local_space_copy(ls)); isl_constraint_set_coefficient_si(c, isl_dim_out, i, -1); isl_mat_get_element(node->sched, i, 0, &v); isl_constraint_set_constant(c, v); @@ -1423,7 +1425,7 @@ static __isl_give isl_map *node_extract_schedule(struct isl_sched_node *node) isl_int_clear(v); - isl_space_free(dim); + isl_local_space_free(ls); node->sched_map = isl_map_from_basic_map(bmap); return isl_map_copy(node->sched_map); |