| commit | fc6598de0e3495d870aeb8d77ee927532434dc83 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 6 Jul 2016 16:12:18 +0000 (6 18:12 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 4 Sep 2016 20:05:46 +0000 (4 22:05 +0200) | ||
| tree | a2d1ad3bf384bb9b1bef6a521f849455cd6c9f0a | treesnapshot (tar.gz zip) |
| parent | edb15cfce93d85b66eefe6582f3cf5fa19595944 | commitdiff |
isl_basic_map_range_product: preserve rational flag
In particular, if both inputs are rational sets, then the output
should be a rational set as well.
There are several functions that do not properly handle the rational flag.
isl_basic_map_range_product is being singled out here because it is used
internally by isl_map_partial_lexopt. This latter function currently
does not preserve the rational flag in all cases either, but it used
to at least attempt to do so, so it seems appropriate to try and fix that
in a later commit and this fix requires the changes in the current commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if both inputs are rational sets, then the output
should be a rational set as well.
There are several functions that do not properly handle the rational flag.
isl_basic_map_range_product is being singled out here because it is used
internally by isl_map_partial_lexopt. This latter function currently
does not preserve the rational flag in all cases either, but it used
to at least attempt to do so, so it seems appropriate to try and fix that
in a later commit and this fix requires the changes in the current commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory |