| commit | 233f58920dd772bca9d74e1c63a53d2ada9b5680 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 14 Jul 2016 11:55:37 +0000 (14 13:55 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 14 Jul 2016 16:22:38 +0000 (14 18:22 +0200) | ||
| tree | 84b677adccce2e185d5ce47a68d02b66dda04d84 | treesnapshot (tar.gz zip) |
| parent | f6767d73e1bc38d4760f81abd165c236a502d896 | commitdiff |
isl_map_coalesce: add check that basic map and tableau have same constraints
The function expand_tab expands the tableau representation to match
the basic map representation, which has been extended with extra
variables and constraints since the tableau representation was
originally derived from the basic map.
Check that no constraints were added to the tableau in between
such that the two representations would still match after
adding the extra constraints in the basic map to the tableau.
That is, check that the situation that could occur before the previous
commit, where the original basic map having implicit equality constraints
caused additional constraints in the tableau, no longer occurs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The function expand_tab expands the tableau representation to match
the basic map representation, which has been extended with extra
variables and constraints since the tableau representation was
originally derived from the basic map.
Check that no constraints were added to the tableau in between
such that the two representations would still match after
adding the extra constraints in the basic map to the tableau.
That is, check that the situation that could occur before the previous
commit, where the original basic map having implicit equality constraints
caused additional constraints in the tableau, no longer occurs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory |