| commit | 07bca32eef20102a070cc4c8d6a86f1aa8d8560e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 24 Mar 2013 12:46:44 +0000 (24 13:46 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 24 Mar 2013 12:51:24 +0000 (24 13:51 +0100) | ||
| tree | 179dc0c8a9c3fc45396afde056bd2e331140b5a0 | treesnapshot (tar.gz zip) |
| parent | b5e0bdc1e09a9d3c9807afe09032284841b5ba8f | commitdiff |
isl_tab_basic_map_partial_lexopt: disable use of shifted tableau on equalities
If the input context already involves equalities then the shfited tableau
is not used as it would be empty. However, if equalities are added at
a later stage (e.g., transferred for the input map), then we would fail
to disable the use of the shifted tableau, possibly resulting in invalid
sample values being computing from this shifted tableau.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the input context already involves equalities then the shfited tableau
is not used as it would be empty. However, if equalities are added at
a later stage (e.g., transferred for the input map), then we would fail
to disable the use of the shifted tableau, possibly resulting in invalid
sample values being computing from this shifted tableau.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab_pip.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |