diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2011-08-30 16:47:59 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2011-09-04 22:55:45 +0200 |
commit | 3280c051ef3dc4b05fbe855340547ace629071c6 (patch) | |
tree | 692136afa76796898a021335343b21d7aefe996c /isl_constraint.c | |
parent | ca69c58b8d1acc61cd71b7c51ee47803af4d902f (diff) | |
download | isl-3280c051ef3dc4b05fbe855340547ace629071c6.tar.gz isl-3280c051ef3dc4b05fbe855340547ace629071c6.tar.bz2 isl-3280c051ef3dc4b05fbe855340547ace629071c6.zip |
make isl_pw_* object live in a map space
Before, the space of an isl_pw_* object was that of the cells.
Conceptually, however, they map elements from these cells to something
and so their space should be that of a map.
This is especially useful for isl_pw_multi_aff objects that will
be introduced later. Since we want to be able to convert back and forth
between such objects and isl_maps, we need to keep track of the
complete map space.
isl_aff, isl_qpolynomial and isl_qpolynomial_fold objects now
also live in a map space, although internally, they still keep
track of the domain space.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_constraint.c')
-rw-r--r-- | isl_constraint.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/isl_constraint.c b/isl_constraint.c index 0371268c..a64a00dc 100644 --- a/isl_constraint.c +++ b/isl_constraint.c @@ -1124,12 +1124,14 @@ __isl_give isl_aff *isl_constraint_get_aff( __isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff) { int k; + isl_local_space *ls; isl_basic_set *bset; if (!aff) return NULL; - bset = isl_basic_set_from_local_space(isl_aff_get_local_space(aff)); + ls = isl_aff_get_domain_local_space(aff); + bset = isl_basic_set_from_local_space(ls); bset = isl_basic_set_extend_constraints(bset, 1, 0); k = isl_basic_set_alloc_equality(bset); if (k < 0) @@ -1151,12 +1153,14 @@ error: __isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff) { int k; + isl_local_space *ls; isl_basic_set *bset; if (!aff) return NULL; - bset = isl_basic_set_from_local_space(isl_aff_get_local_space(aff)); + ls = isl_aff_get_domain_local_space(aff); + bset = isl_basic_set_from_local_space(ls); bset = isl_basic_set_extend_constraints(bset, 0, 1); k = isl_basic_set_alloc_inequality(bset); if (k < 0) |