projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef6a13e) | patch
isl_basic_map_gauss: also set progress if a div expression has been detected
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 13 Aug 2012 16:54:13 +0000 (18:54 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 6 Sep 2012 12:41:41 +0000 (14:41 +0200)
commit2f6c5a1dd4aacefe809fac3a1a82729f26f9906f
tree7d47aec6a46306c5146d5acaeafbb7a292d0c8aftree | snapshot
parentef6a13e2472e654c188a5d4de58e8dcecfb40273commit | diff
isl_basic_map_gauss: also set progress if a div expression has been detected

The div expression may be equal to that of another div and one of them
should then be eliminated in the next iteration of isl_basic_map_simplify.

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