From a96dd9a5328e6515391298f4fed92506f0f0dcaf Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 11 Mar 2009 10:43:38 +0100 Subject: [PATCH] isl_map_simple_hull: mark result as not having any implicit equalities --- isl_convex_hull.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index 587e91f..9430efc 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -1781,6 +1781,7 @@ struct isl_basic_map *isl_map_simple_hull(struct isl_map *map) return hull; } + map = isl_map_detect_equalities(map); map = isl_map_align_divs(map); model = isl_basic_map_copy(map->p[0]); @@ -1790,6 +1791,9 @@ struct isl_basic_map *isl_map_simple_hull(struct isl_map *map) hull = isl_basic_map_overlying_set(bset, model); + ISL_F_SET(hull, ISL_BASIC_MAP_NO_IMPLICIT); + ISL_F_SET(hull, ISL_BASIC_MAP_ALL_EQUALITIES); + return hull; } -- 2.7.4