| commit | b0d9a298e52a1f5b0c56b087cff542304a664a38 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 27 Jun 2011 08:14:44 +0000 (27 10:14 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 2 Jul 2011 10:01:48 +0000 (2 12:01 +0200) | ||
| tree | 4bef5094f8f9622e36322730ed809b095c04dc6c | treesnapshot (tar.gz zip) |
| parent | 753cf3529e70c041de5e01b66b25df4d319f4d8f | commitdiff |
isl backend: represent equalities as isl_constraints
We used to represent the equalities in the CloogEqualities object
as isl_basic_sets. Sometimes such a representation is convenient
because we need to perform operations on basic sets. Some other
times, however, we would have to extract the equality constraint
from the isl_basic_set. Since this latter operation is more
fragile than converting a constraint into an isl_basic_set,
it is much better to store the equalities as isl_constraints
instead and to convert them to isl_basic_sets when needed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We used to represent the equalities in the CloogEqualities object
as isl_basic_sets. Sometimes such a representation is convenient
because we need to perform operations on basic sets. Some other
times, however, we would have to extract the equality constraint
from the isl_basic_set. Since this latter operation is more
fragile than converting a constraint into an isl_basic_set,
it is much better to store the equalities as isl_constraints
instead and to convert them to isl_basic_sets when needed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| include/cloog/isl/constraintset.h | diffblobblamehistory | |
| source/isl/constraints.c | diffblobblamehistory |