| commit | 88d9f9fc79e354f9c2f2ffb02f9b151147813bb8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 20 Jun 2015 15:30:19 +0000 (20 17:30 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 Jul 2015 14:11:59 +0000 (28 16:11 +0200) | ||
| tree | f1a2a6a4511403d33918a2d96e10185c95237c50 | treesnapshot (tar.gz zip) |
| parent | 60ad3344285c7bbb8edccd49e2992ff153bd98e9 | commitdiff |
isl_map_simplify.c: uset_gist_full: negate constraint in copy
While constructing a test set for checking whether a constraint is redundant,
negate the constraint that is to be tested in the copy rather than
first dropping the constraint by pretending it is redundant and then
adding the opposite.
This should make the code easier to follow and it makes it easier
to change the meaning of bset and combined in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
While constructing a test set for checking whether a constraint is redundant,
negate the constraint that is to be tested in the copy rather than
first dropping the constraint by pretending it is redundant and then
adding the opposite.
This should make the code easier to follow and it makes it easier
to change the meaning of bset and combined in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |