| commit | 483011dd69205bffb75b07ec26107ed947b15651 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 19 Feb 2011 17:49:29 +0000 (19 18:49 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 19 Feb 2011 19:25:37 +0000 (19 20:25 +0100) | ||
| tree | 74870db6a167d429a328f90185a07328f52fe035 | treesnapshot (tar.gz zip) |
| parent | 3fe4714635e4940859d2fdb54a66546be278a1a8 | commitdiff |
isl_tab_ineq_type: classify more constraints as being adjacent to an inequality
In particular, if one constraint b is equal to a c * (-1 - a), with c
a positive constant and A some other constraints, then b can also
be considered to be adjacent to a as relaxing a by one will result
in an overlap with b. Note that if c is larger than one, then a
will not be considered to be adjacent to b, so this change will not
affect pairs of inequalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if one constraint b is equal to a c * (-1 - a), with c
a positive constant and A some other constraints, then b can also
be considered to be adjacent to a as relaxing a by one will result
in an overlap with b. Note that if c is larger than one, then a
will not be considered to be adjacent to b, so this change will not
affect pairs of inequalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |