From bdd7fd2e3cc5ec83d9fe1de99ce7a5866e1f6910 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 22 Jan 2010 12:45:05 +0100 Subject: [PATCH] privately export isl_basic_map_add_div_constraints --- isl_map.c | 6 +++--- isl_map_private.h | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/isl_map.c b/isl_map.c index f78a00d..d0009de 100644 --- a/isl_map.c +++ b/isl_map.c @@ -2593,7 +2593,7 @@ error: * * f - m d >= n */ -static int add_div_constraints(struct isl_basic_map *bmap, unsigned div) +int isl_basic_map_add_div_constraints(struct isl_basic_map *bmap, unsigned div) { int i, j; unsigned total = isl_basic_map_total_dim(bmap); @@ -2695,7 +2695,7 @@ struct isl_basic_map *isl_basic_map_overlying_set( for (i = 0; i < like->n_div; ++i) { if (isl_int_is_zero(bmap->div[i][0])) continue; - if (add_div_constraints(bmap, i) < 0) + if (isl_basic_map_add_div_constraints(bmap, i) < 0) goto error; } } @@ -4521,7 +4521,7 @@ struct isl_basic_map *isl_basic_map_align_divs( goto error; isl_seq_cpy(dst->div[j], src->div[i], 1+1+total+i); isl_seq_clr(dst->div[j]+1+1+total+i, dst->n_div - i); - if (add_div_constraints(dst, j) < 0) + if (isl_basic_map_add_div_constraints(dst, j) < 0) goto error; } if (j != i) diff --git a/isl_map_private.h b/isl_map_private.h index 18082e6..a765e80 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -134,6 +134,7 @@ struct isl_basic_set *isl_basic_set_eliminate_vars( int isl_basic_set_constraint_is_redundant(struct isl_basic_set **bset, isl_int *c, isl_int *opt_n, isl_int *opt_d); +int isl_basic_map_add_div_constraints(struct isl_basic_map *bmap, unsigned div); struct isl_basic_map *isl_basic_map_drop_redundant_divs( struct isl_basic_map *bmap); struct isl_basic_set *isl_basic_set_drop_redundant_divs( -- 2.7.4