| commit | 6b483aff197c1bc0407346d091867e0007084800 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 5 Jun 2014 15:13:55 +0000 (5 17:13 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 22 Sep 2014 12:09:38 +0000 (22 14:09 +0200) | ||
| tree | d6ac5b44eac3f37e96fec6ad0c21e8a75f9d0a7a | treesnapshot (tar.gz zip) |
| parent | fb0f09f8eb630680d8c3eb727081b24136e24974 | commitdiff |
isl_union_map_is_single_valued: look at domain spaces individually
If the input consists of more than one map but is obviously
single-valued on some domain spaces, then we can now detect
the fact it is obviously single-valued on those domain spaces
and avoid potentially costly computations.
Similarly, if the input is not single-valued on at least one domain
space, then there is no need to consider any other domain spaces.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the input consists of more than one map but is obviously
single-valued on some domain spaces, then we can now detect
the fact it is obviously single-valued on those domain spaces
and avoid potentially costly computations.
Similarly, if the input is not single-valued on at least one domain
space, then there is no need to consider any other domain spaces.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_union_map.c | diffblobblamehistory |