isl_set_dim_residue_class: correctly consider all basic sets in the set
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 21 Aug 2012 09:37:57 +0000 (11:37 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Sep 2012 08:55:07 +0000 (10:55 +0200)
commitfdf9c99e27483b8c1c4938072119cd8b7c2a4a37
tree1df996583e6da8310a93231bc67753887f34827d
parentc292a3c9e8eaaae427abdfb0964c86767f3a390a
isl_set_dim_residue_class: correctly consider all basic sets in the set

This commit fixes two closely related problems.
Due to a typo, isl_set_dim_residue_class would only consider one of
the basic sets in the input set.  The information obtained from the
individual basic sets was also combined incorrectly.
In particular, the code would insist that all basic sets have the
same residue if they have the same modulo and not consider adjusting
the modulo of the combined basic sets to accommodate for the difference
in residues.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_equalities.c
isl_test.c