X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_map_subtract.c;h=510937743a4ed4f7d349e54668b5ee9f809c5ffc;hb=ca69c58b8d1acc61cd71b7c51ee47803af4d902f;hp=509e0f80ec059f194b706334e416206ef63b0605;hpb=890e13b4486f876822bfad8919864db8571b75b7;p=platform%2Fupstream%2Fisl.git diff --git a/isl_map_subtract.c b/isl_map_subtract.c index 509e0f8..5109377 100644 --- a/isl_map_subtract.c +++ b/isl_map_subtract.c @@ -43,7 +43,7 @@ static int tab_add_constraints(struct isl_tab *tab, tab_total = isl_basic_map_total_dim(tab->bmap); bmap_total = isl_basic_map_total_dim(bmap); - dim = isl_dim_total(tab->bmap->dim); + dim = isl_space_dim(tab->bmap->dim, isl_dim_all); if (isl_tab_extend_cons(tab, 2 * bmap->n_eq + bmap->n_ineq) < 0) return -1; @@ -99,7 +99,7 @@ static int tab_add_constraint(struct isl_tab *tab, tab_total = isl_basic_map_total_dim(tab->bmap); bmap_total = isl_basic_map_total_dim(bmap); - dim = isl_dim_total(tab->bmap->dim); + dim = isl_space_dim(tab->bmap->dim, isl_dim_all); v = isl_vec_alloc(bmap->ctx, 1 + tab_total); if (!v) @@ -487,7 +487,7 @@ static __isl_give isl_map *map_subtract( __isl_take isl_map *map1, if (!map1 || !map2) goto error; - isl_assert(map1->ctx, isl_dim_equal(map1->dim, map2->dim), goto error); + isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error); if (isl_map_is_empty(map2)) { isl_map_free(map2); @@ -672,7 +672,7 @@ static __isl_give isl_point *singleton_extract_point( } isl_int_clear(m); - return isl_point_alloc(isl_basic_map_get_dim(bmap), point); + return isl_point_alloc(isl_basic_map_get_space(bmap), point); error: isl_int_clear(m); isl_vec_free(point); @@ -716,6 +716,9 @@ int isl_map_is_subset(struct isl_map *map1, struct isl_map *map2) if (!map1 || !map2) return -1; + if (!isl_map_has_equal_space(map1, map2)) + return 0; + if (isl_map_is_empty(map1)) return 1; @@ -791,7 +794,7 @@ __isl_give isl_set *isl_set_complement(__isl_take isl_set *set) if (!set) return NULL; - universe = isl_set_universe(isl_set_get_dim(set)); + universe = isl_set_universe(isl_set_get_space(set)); return isl_set_subtract(universe, set); }