projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6068227) | patch
isl_basic_map_gist: be more aggressive in removing constraints
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Apr 2010 10:00:58 +0000 (12:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Apr 2010 10:47:08 +0000 (12:47 +0200)
commitd5e1701d566a8311eeaf72cfb85a05c40b300fd1
treead912cd04d01d5d13dab7f7ab58c00970b924fedtree | snapshot
parent6068227c04afae66dfa349505c3ef5b955bdb07ecommit | diff
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.
isl_map_simplify.c diff | blob | history
Domain: System / Uncategorized;