| commit | 3fe4714635e4940859d2fdb54a66546be278a1a8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 19 Feb 2011 17:35:24 +0000 (19 18:35 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 19 Feb 2011 19:25:37 +0000 (19 20:25 +0100) | ||
| tree | 7550e509930ddd4e601770f45958b099961110ae | treesnapshot (tar.gz zip) |
| parent | b854aa9687e6cc952c415409b96921fa6795b2e9 | commitdiff |
isl_map_coalesce: be more relaxed about multiple equalities being adjacent
We try to avoid wrapping in a basic map that has multiple equalities
that are adjacent to inequalities in the other basic map, because that
may lead to more complicated constraints.
The original check would, however, also prevent the extension of
one basic map with an other if they happened to lie in a shared
affine subspace. By moving the test for multiple equalities after
the check for extensions, we allow such extensions, while still
preventing undesired wrapping.
We can probably do better by explicitly detecting and exploiting
the shared affine subspace.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We try to avoid wrapping in a basic map that has multiple equalities
that are adjacent to inequalities in the other basic map, because that
may lead to more complicated constraints.
The original check would, however, also prevent the extension of
one basic map with an other if they happened to lie in a shared
affine subspace. By moving the test for multiple equalities after
the check for extensions, we allow such extensions, while still
preventing undesired wrapping.
We can probably do better by explicitly detecting and exploiting
the shared affine subspace.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |