| commit | 4675cf11ddf199c1266bdedd62ff9c05aedb9854 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 23 May 2016 10:51:08 +0000 (23 12:51 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 25 May 2016 16:59:22 +0000 (25 18:59 +0200) | ||
| tree | 0edf61cdb73d775771c97f4e8e04bff777d2897b | treesnapshot (tar.gz zip) |
| parent | 282ed4e199632390e6022b38995421527dfd5431 | commitdiff |
isl_map_simplify.c: int_between_bounds: create tableau on demand
When looking for redundant existentially quantified variables
by checking that each pair of lower and upper bounds admits an intermediate
integer value, there may be no need to evaluate any test inequality
explicitly. This happens in particular when the Omega test applies.
If so, there is no need to create a tableau in the first place.
Only create it when needed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
When looking for redundant existentially quantified variables
by checking that each pair of lower and upper bounds admits an intermediate
integer value, there may be no need to evaluate any test inequality
explicitly. This happens in particular when the Omega test applies.
If so, there is no need to create a tableau in the first place.
Only create it when needed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |