| commit | d5e1701d566a8311eeaf72cfb85a05c40b300fd1 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 23 Apr 2010 10:00:58 +0000 (23 12:00 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 23 Apr 2010 10:47:08 +0000 (23 12:47 +0200) | ||
| tree | ad912cd04d01d5d13dab7f7ab58c00970b924fed | treesnapshot (tar.gz zip) |
| parent | 6068227c04afae66dfa349505c3ef5b955bdb07e | commitdiff |
isl_basic_map_gist: be more aggressive in removing constraints
In particular, detect equalities in intersection of input and context
and check for each constraint if negating it would lead to a contradiction.
In particular, detect equalities in intersection of input and context
and check for each constraint if negating it would lead to a contradiction.
| isl_map_simplify.c | diffblobblamehistory |