| commit | 92c506094e470df3aff210541433b1db4328ef2d | |
| author | Sven Verdoolaege <sven@cs.kuleuven.be> | |
| Sun, 8 Nov 2009 19:04:08 +0000 (8 19:04 +0000) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 11 Nov 2009 18:04:28 +0000 (11 19:04 +0100) | ||
| tree | 32bdea720a98d9e800d926659fb5fd4329b93b15 | treesnapshot (tar.gz zip) |
| parent | b364e1135733565a73e8e2bbb95ee37f38c36431 | commitdiff |
PolyLib backend: clean up simplification of constraints in cloog_equal_add
cloog_equal_add gets called when the lower and upper bound of a loop
are equal. When the bounds are constants, then they are rounded up/down
before checking equality. cloog_equal_add therefore needs to perform
the same rounding.
The original implementation was fairly complicated and apparently
had a bug (as witnessed by the walters test case that will be added later).
The new implementation does not have this bug.
Problem reported by Johan Walters <jwalters@compaandesign.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
cloog_equal_add gets called when the lower and upper bound of a loop
are equal. When the bounds are constants, then they are rounded up/down
before checking equality. cloog_equal_add therefore needs to perform
the same rounding.
The original implementation was fairly complicated and apparently
had a bug (as witnessed by the walters test case that will be added later).
The new implementation does not have this bug.
Problem reported by Johan Walters <jwalters@compaandesign.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| source/polylib/constraintset.c | diffblobblamehistory |