diff options
Diffstat (limited to 'polly/lib/External/isl/isl_map.c')
| -rw-r--r-- | polly/lib/External/isl/isl_map.c | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/polly/lib/External/isl/isl_map.c b/polly/lib/External/isl/isl_map.c index 64a9ba635d8..8d9196de07c 100644 --- a/polly/lib/External/isl/isl_map.c +++ b/polly/lib/External/isl/isl_map.c @@ -8485,7 +8485,7 @@ __isl_give isl_basic_map *isl_basic_map_align_divs( return dst; } -struct isl_map *isl_map_align_divs(struct isl_map *map) +__isl_give isl_map *isl_map_align_divs_internal(__isl_take isl_map *map) { int i; @@ -8510,9 +8510,14 @@ struct isl_map *isl_map_align_divs(struct isl_map *map) return map; } +__isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map) +{ + return isl_map_align_divs_internal(map); +} + struct isl_set *isl_set_align_divs(struct isl_set *set) { - return set_from_map(isl_map_align_divs(set_to_map(set))); + return set_from_map(isl_map_align_divs_internal(set_to_map(set))); } /* Align the divs of the basic maps in "map" to those @@ -8542,7 +8547,7 @@ __isl_give isl_map *isl_map_align_divs_to_basic_map_list( if (!map->p[0]) return isl_map_free(map); - return isl_map_align_divs(map); + return isl_map_align_divs_internal(map); } /* Align the divs of each element of "list" to those of "bmap". @@ -10041,7 +10046,7 @@ __isl_give isl_set *isl_set_lift(__isl_take isl_set *set) isl_space *dim; unsigned n_div; - set = isl_set_align_divs(set); + set = set_from_map(isl_map_align_divs_internal(set_to_map(set))); if (!set) return NULL; |

