| commit | 4a09fd44ac0ba5e745efc5703cf672e3a45c1e28 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 9 May 2014 06:53:29 +0000 (9 08:53 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 3 Sep 2014 11:00:30 +0000 (3 13:00 +0200) | ||
| tree | 323112f02ce580c85b5c6ac57cbd0fb2119681cf | treesnapshot (tar.gz zip) |
| parent | ba00ed30a0eb3c8739e43d1a897f348eaa31be26 | commitdiff |
isl_map_normalize: remove empty parts before sorting
If there are any empty parts in the map, then isl_map_remove_empty_parts
may change the order of the basic maps. It will then clear the
ISL_MAP_NORMALIZED, so technically the result is not wrong,
but users of isl_map_normalize probably expect the result to
effectively be normalized.
Remove the empty parts first so that the result of isl_map_normalize
is always normalized.
This change should not have any effect on the correctness.
It is not even clear if it will have any effect at all as it
is the result of code review rather than any particular issue.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If there are any empty parts in the map, then isl_map_remove_empty_parts
may change the order of the basic maps. It will then clear the
ISL_MAP_NORMALIZED, so technically the result is not wrong,
but users of isl_map_normalize probably expect the result to
effectively be normalized.
Remove the empty parts first so that the result of isl_map_normalize
is always normalized.
This change should not have any effect on the correctness.
It is not even clear if it will have any effect at all as it
is the result of code review rather than any particular issue.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory |