projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b24f357) | patch
isl_map_coalesce: don't try to relax (implicit) equalities
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 10 Apr 2012 16:41:28 +0000 (18:41 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 13 Apr 2012 11:08:41 +0000 (13:08 +0200)
commit5b866b25daf76b8d820350eabbc15dc74e2bab4f
treeac5618392b0bc3ebf71bef2410ce9968323a34b5tree | snapshot
parentb24f3572c7356d60cac0b59b862954308a3342aacommit | diff
isl_map_coalesce: don't try to relax (implicit) equalities

An inequality that turns out to be an equality may have been removed
from the tableau, so we cannot relax it.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_coalesce.c diff | blob | history
isl_test.c diff | blob | history
Domain: System / Uncategorized;