| commit | fdf9c99e27483b8c1c4938072119cd8b7c2a4a37 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 21 Aug 2012 09:37:57 +0000 (21 11:37 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 2 Sep 2012 08:55:07 +0000 (2 10:55 +0200) | ||
| tree | 1df996583e6da8310a93231bc67753887f34827d | treesnapshot (tar.gz zip) |
| parent | c292a3c9e8eaaae427abdfb0964c86767f3a390a | commitdiff |
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>
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 | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |