projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3da5eb) | patch
isl_basic_map_simplify: remove duplicate divs before dropping divs
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Mar 2009 17:21:09 +0000 (18:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Mar 2009 09:00:20 +0000 (10:00 +0100)
commitac5e44583e192a33322189207f06298c8011667b
treef9c628e0072433c3dfb2d1862ae83ee048d81309tree | snapshot
parentc3da5eba570b2c12a4cddc03f4f2c848b2cf2c93commit | diff
isl_basic_map_simplify: remove duplicate divs before dropping divs

The equalities on the duplicate but separate divs may
entail additional equalities among the variables that we do
not want to ignore.
isl_map_simplify.c diff | blob | history
Domain: System / Uncategorized;