From af42c7fc8994c39a743b131c3d77f11f084a44b5 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 14 Aug 2009 13:37:31 +0200 Subject: [PATCH] isl_basic_map_apply_{domain,range}: drop redundant divs in result --- isl_map.c | 1 + 1 file changed, 1 insertion(+) diff --git a/isl_map.c b/isl_map.c index 210327e..2b17f91 100644 --- a/isl_map.c +++ b/isl_map.c @@ -1939,6 +1939,7 @@ struct isl_basic_map *isl_basic_map_apply_range( bmap = add_constraints_dim_map(bmap, bmap2, dim_map2); bmap = add_divs(bmap, n); bmap = isl_basic_map_simplify(bmap); + bmap = isl_basic_map_drop_redundant_divs(bmap); return isl_basic_map_finalize(bmap); error: isl_basic_map_free(bmap1); -- 2.7.4