From 92582a5c7062f991aacca7da6eb4398d4beda8f3 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 19 Sep 2016 15:11:27 +0200 Subject: [PATCH] drop isl_map_drop_redundant_divs This function was introduced in 41b415e (isl_basic_set_project_out: drop redundant divs in result, Thu Aug 13 16:49:43 2009 +0200) but never ended up getting used. Signed-off-by: Sven Verdoolaege --- isl_map_simplify.c | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/isl_map_simplify.c b/isl_map_simplify.c index ba872eb7..955e08d8 100644 --- a/isl_map_simplify.c +++ b/isl_map_simplify.c @@ -5191,24 +5191,6 @@ struct isl_basic_set *isl_basic_set_drop_redundant_divs( return bset_from_bmap(isl_basic_map_drop_redundant_divs(bmap)); } -struct isl_map *isl_map_drop_redundant_divs(struct isl_map *map) -{ - int i; - - if (!map) - return NULL; - for (i = 0; i < map->n; ++i) { - map->p[i] = isl_basic_map_drop_redundant_divs(map->p[i]); - if (!map->p[i]) - goto error; - } - ISL_F_CLR(map, ISL_MAP_NORMALIZED); - return map; -error: - isl_map_free(map); - return NULL; -} - /* Does "bmap" satisfy any equality that involves more than 2 variables * and/or has coefficients different from -1 and 1? */ -- 2.11.4.GIT