| commit | 12ab42e1a97e01c32c16d87bfcf9055c85875c70 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 5 Jan 2011 08:50:28 +0000 (5 09:50 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 5 Jan 2011 09:15:26 +0000 (5 10:15 +0100) | ||
| tree | 866d48b9479013980440017227338194ed6d63bc | treesnapshot (tar.gz zip) |
| parent | d84f3b244a9407291a9acc38553c1d3db77b3a61 | commitdiff |
isl_tab_basic_map_partial_lexopt: fix up symmetry detection
The symmetry detection of a41dca9 (isl_tab_basic_map_partial_lexopt:
detect and exploit simple symmetries, Mon Dec 13 16:45:44 2010 +0100)
was a bit too eager in that it would also detect symmetries on affine
expressions involving existentially quantified variables.
Those variables are only available in the input and therefore the
mechanism for exploiting symmetries does not work on them, leading
to incorrect results.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The symmetry detection of a41dca9 (isl_tab_basic_map_partial_lexopt:
detect and exploit simple symmetries, Mon Dec 13 16:45:44 2010 +0100)
was a bit too eager in that it would also detect symmetries on affine
expressions involving existentially quantified variables.
Those variables are only available in the input and therefore the
mechanism for exploiting symmetries does not work on them, leading
to incorrect results.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab_pip.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |