| commit | 282ed4e199632390e6022b38995421527dfd5431 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 24 May 2016 15:38:11 +0000 (24 17:38 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 25 May 2016 16:59:22 +0000 (25 18:59 +0200) | ||
| tree | 57cbf860ed9a035be4e22381ccb6be02b132d022 | treesnapshot (tar.gz zip) |
| parent | 8771e9c9a88814f248b561aca7dcb58a969a1786 | commitdiff |
isl_map_simplify.c: int_between_bounds: special case constant test constraint
If the test constraint consists of only a constant term, then there is no
need to evaluate it over the input set. Instead, the sign of the constant
term determines whether it can attain negative values.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the test constraint consists of only a constant term, then there is no
need to evaluate it over the input set. Instead, the sign of the constant
term determines whether it can attain negative values.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |