projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b52349d) | patch
isl_basic_map_compute_divs: recursively remove parameter equalities
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 19 Mar 2013 10:23:20 +0000 (11:23 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 19 Mar 2013 12:37:04 +0000 (13:37 +0100)
commit1be3f4afff27402f0fd1ed9715936a953204c675
treee359394246d28a23e20d0e7c688096281d92ab87tree | snapshot
parentb52349d88c70f3d52c5084dab7637b6f8e0599c8commit | diff
isl_basic_map_compute_divs: recursively remove parameter equalities

The removal of explicit equalities among the parameters may uncover
additional equalities.  If so, we now recurse in parameter_compute_divs
so that also these extra equalities are removed.
This will be important for the next commit where we will try to compress
the existentially quantified variables and this requires the absence
of equalities among the parameters.

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