*
* -aff + (d - 1)
*/
-static __isl_give isl_aff *oppose_div_arg(__isl_take isl_aff *aff, isl_int d)
+static __isl_give isl_aff *oppose_div_arg(__isl_take isl_aff *aff,
+ __isl_take isl_val *d)
{
aff = isl_aff_neg(aff);
- aff = isl_aff_add_constant(aff, d);
+ aff = isl_aff_add_constant_val(aff, d);
aff = isl_aff_add_constant_si(aff, -1);
return aff;
isl_ctx *ctx = isl_local_space_get_ctx(ls);
isl_aff *aff;
isl_ast_expr *num, *den;
- isl_int d;
+ isl_val *d;
enum isl_ast_op_type type;
aff = isl_local_space_get_div(ls, pos);
- isl_int_init(d);
- isl_aff_get_denominator(aff, &d);
- aff = isl_aff_scale(aff, d);
- den = isl_ast_expr_alloc_int(ctx, d);
+ d = isl_aff_get_denominator_val(aff);
+ aff = isl_aff_scale_val(aff, isl_val_copy(d));
+ den = isl_ast_expr_from_val(isl_val_copy(d));
type = isl_ast_op_fdiv_q;
if (isl_options_get_ast_build_prefer_pdiv(ctx)) {
int non_neg = isl_ast_build_aff_is_nonneg(build, aff);
if (non_neg >= 0 && !non_neg) {
- isl_aff *opp = oppose_div_arg(isl_aff_copy(aff), d);
+ isl_aff *opp = oppose_div_arg(isl_aff_copy(aff),
+ isl_val_copy(d));
non_neg = isl_ast_build_aff_is_nonneg(build, opp);
if (non_neg >= 0 && non_neg) {
*change_sign = 1;
type = isl_ast_op_pdiv_q;
}
- isl_int_clear(d);
+ isl_val_free(d);
num = isl_ast_expr_from_aff(aff, build);
return isl_ast_expr_alloc_binary(type, num, den);
}
* v is assumed to be non-negative.
* The result is simplified in terms of build->domain.
*/
-static __isl_give isl_ast_expr *isl_ast_expr_mod(isl_int v,
- __isl_keep isl_aff *aff, isl_int d, __isl_keep isl_ast_build *build)
+static __isl_give isl_ast_expr *isl_ast_expr_mod(__isl_keep isl_val *v,
+ __isl_keep isl_aff *aff, __isl_keep isl_val *d,
+ __isl_keep isl_ast_build *build)
{
isl_ctx *ctx;
isl_ast_expr *expr;
ctx = isl_aff_get_ctx(aff);
expr = isl_ast_expr_from_aff(isl_aff_copy(aff), build);
- c = isl_ast_expr_alloc_int(ctx, d);
+ c = isl_ast_expr_from_val(isl_val_copy(d));
expr = isl_ast_expr_alloc_binary(isl_ast_op_pdiv_r, expr, c);
- if (!isl_int_is_one(v)) {
- c = isl_ast_expr_alloc_int(ctx, v);
+ if (!isl_val_is_one(v)) {
+ c = isl_ast_expr_from_val(isl_val_copy(v));
expr = isl_ast_expr_mul(c, expr);
}
*
* (isl_ast_op_mul, expr(v), expr)
*/
-static __isl_give isl_ast_expr *scale(__isl_take isl_ast_expr *expr, isl_int v)
+static __isl_give isl_ast_expr *scale(__isl_take isl_ast_expr *expr,
+ __isl_take isl_val *v)
{
- isl_ctx *ctx;
isl_ast_expr *c;
- if (!expr)
- return NULL;
- if (isl_int_is_one(v))
+ if (!expr || !v)
+ goto error;
+ if (isl_val_is_one(v)) {
+ isl_val_free(v);
return expr;
+ }
- if (isl_int_is_negone(v)) {
+ if (isl_val_is_negone(v)) {
+ isl_val_free(v);
expr = isl_ast_expr_neg(expr);
} else {
- ctx = isl_ast_expr_get_ctx(expr);
- c = isl_ast_expr_alloc_int(ctx, v);
+ c = isl_ast_expr_from_val(v);
expr = isl_ast_expr_mul(c, expr);
}
return expr;
+error:
+ isl_val_free(v);
+ isl_ast_expr_free(expr);
+ return NULL;
}
/* Add an expression for "*v" times the specified dimension of "ls"
static __isl_give isl_ast_expr *isl_ast_expr_add_term(
__isl_take isl_ast_expr *expr,
__isl_keep isl_local_space *ls, enum isl_dim_type type, int pos,
- isl_int v, __isl_keep isl_ast_build *build)
+ __isl_take isl_val *v, __isl_keep isl_ast_build *build)
{
isl_ast_expr *term;
int change_sign;
change_sign = 0;
term = var(&change_sign, ls, type, pos, build);
if (change_sign)
- isl_int_neg(v, v);
+ v = isl_val_neg(v);
- if (isl_int_is_neg(v) && !ast_expr_is_zero(expr)) {
- isl_int_neg(v, v);
+ if (isl_val_is_neg(v) && !ast_expr_is_zero(expr)) {
+ v = isl_val_neg(v);
term = scale(term, v);
return ast_expr_sub(expr, term);
} else {
/* Add an expression for "v" to expr.
*/
static __isl_give isl_ast_expr *isl_ast_expr_add_int(
- __isl_take isl_ast_expr *expr, isl_int v)
+ __isl_take isl_ast_expr *expr, __isl_take isl_val *v)
{
isl_ctx *ctx;
isl_ast_expr *expr_int;
- if (!expr)
- return NULL;
+ if (!expr || !v)
+ goto error;
- if (isl_int_is_zero(v))
+ if (isl_val_is_zero(v)) {
+ isl_val_free(v);
return expr;
+ }
ctx = isl_ast_expr_get_ctx(expr);
- if (isl_int_is_neg(v) && !ast_expr_is_zero(expr)) {
- isl_int_neg(v, v);
- expr_int = isl_ast_expr_alloc_int(ctx, v);
+ if (isl_val_is_neg(v) && !ast_expr_is_zero(expr)) {
+ v = isl_val_neg(v);
+ expr_int = isl_ast_expr_from_val(v);
return ast_expr_sub(expr, expr_int);
} else {
- expr_int = isl_ast_expr_alloc_int(ctx, v);
+ expr_int = isl_ast_expr_from_val(v);
return ast_expr_add(expr, expr_int);
}
+error:
+ isl_ast_expr_free(expr);
+ isl_val_free(v);
+ return NULL;
}
/* Check if "aff" involves any (implicit) modulo computations based
*/
static __isl_give isl_aff *extract_modulo(__isl_take isl_aff *aff,
__isl_keep isl_ast_expr **pos, __isl_keep isl_ast_expr **neg,
- __isl_keep isl_ast_build *build, int j, isl_int v)
+ __isl_keep isl_ast_build *build, int j, __isl_take isl_val *v)
{
isl_ast_expr *expr;
isl_aff *div;
int s;
int mod;
- isl_int d;
+ isl_val *d;
- isl_int_init(d);
div = isl_aff_get_div(aff, j);
- isl_aff_get_denominator(div, &d);
- mod = isl_int_is_divisible_by(v, d);
+ d = isl_aff_get_denominator_val(div);
+ mod = isl_val_is_divisible_by(v, d);
if (mod) {
- div = isl_aff_scale(div, d);
+ div = isl_aff_scale_val(div, isl_val_copy(d));
mod = isl_ast_build_aff_is_nonneg(build, div);
if (mod >= 0 && !mod) {
- isl_aff *opp = oppose_div_arg(isl_aff_copy(div), d);
+ isl_aff *opp = oppose_div_arg(isl_aff_copy(div),
+ isl_val_copy(d));
mod = isl_ast_build_aff_is_nonneg(build, opp);
if (mod >= 0 && mod) {
isl_aff_free(div);
div = opp;
- isl_int_neg(v, v);
+ v = isl_val_neg(v);
} else
isl_aff_free(opp);
}
}
if (mod < 0) {
isl_aff_free(div);
- isl_int_clear(d);
+ isl_val_free(d);
+ isl_val_free(v);
return isl_aff_free(aff);
} else if (!mod) {
isl_aff_free(div);
- isl_int_clear(d);
+ isl_val_free(d);
+ isl_val_free(v);
return aff;
}
- isl_int_divexact(v, v, d);
- s = isl_int_sgn(v);
- isl_int_abs(v, v);
+ v = isl_val_div(v, isl_val_copy(d));
+ s = isl_val_sgn(v);
+ v = isl_val_abs(v);
expr = isl_ast_expr_mod(v, div, d, build);
+ isl_val_free(d);
if (s > 0)
*neg = ast_expr_add(*neg, expr);
else
*pos = ast_expr_add(*pos, expr);
aff = isl_aff_set_coefficient_si(aff, isl_dim_div, j, 0);
if (s < 0)
- isl_int_neg(v, v);
- div = isl_aff_scale(div, v);
- isl_aff_get_denominator(aff, &d);
- div = isl_aff_scale_down(div, d);
+ v = isl_val_neg(v);
+ div = isl_aff_scale_val(div, v);
+ d = isl_aff_get_denominator_val(aff);
+ div = isl_aff_scale_down_val(div, d);
aff = isl_aff_add(aff, div);
- isl_int_clear(d);
return aff;
}
{
isl_ctx *ctx;
int j, n;
- isl_int v;
if (!aff)
return NULL;
if (!isl_options_get_ast_build_prefer_pdiv(ctx))
return aff;
- isl_int_init(v);
-
n = isl_aff_dim(aff, isl_dim_div);
for (j = 0; j < n; ++j) {
- isl_aff_get_coefficient(aff, isl_dim_div, j, &v);
- if (isl_int_is_zero(v) ||
- isl_int_is_one(v) || isl_int_is_negone(v))
+ isl_val *v;
+
+ v = isl_aff_get_coefficient_val(aff, isl_dim_div, j);
+ if (!v)
+ return isl_aff_free(aff);
+ if (isl_val_is_zero(v) ||
+ isl_val_is_one(v) || isl_val_is_negone(v)) {
+ isl_val_free(v);
continue;
+ }
aff = extract_modulo(aff, pos, neg, build, j, v);
if (!aff)
break;
}
- isl_int_clear(v);
-
return aff;
}
__isl_keep isl_ast_build *build)
{
int i, j;
- isl_int v;
int n;
+ isl_val *v, *d;
isl_ctx *ctx = isl_aff_get_ctx(aff);
isl_ast_expr *expr, *expr_neg;
enum isl_dim_type t[] = { isl_dim_param, isl_dim_in, isl_dim_div };
aff = extract_modulos(aff, &expr, &expr_neg, build);
expr = ast_expr_sub(expr, expr_neg);
- isl_int_init(v);
+ d = isl_aff_get_denominator_val(aff);
+ aff = isl_aff_scale_val(aff, isl_val_copy(d));
+
ls = isl_aff_get_domain_local_space(aff);
for (i = 0; i < 3; ++i) {
n = isl_aff_dim(aff, t[i]);
for (j = 0; j < n; ++j) {
- isl_aff_get_coefficient(aff, t[i], j, &v);
- if (isl_int_is_zero(v))
+ v = isl_aff_get_coefficient_val(aff, t[i], j);
+ if (!v)
+ expr = isl_ast_expr_free(expr);
+ if (isl_val_is_zero(v)) {
+ isl_val_free(v);
continue;
+ }
expr = isl_ast_expr_add_term(expr,
ls, l[i], j, v, build);
}
}
- isl_aff_get_constant(aff, &v);
+ v = isl_aff_get_constant_val(aff);
expr = isl_ast_expr_add_int(expr, v);
- isl_aff_get_denominator(aff, &v);
- if (!isl_int_is_one(v)) {
- isl_ast_expr *d;
- d = isl_ast_expr_alloc_int(ctx, v);
- expr = isl_ast_expr_div(expr, d);
- }
+ if (!isl_val_is_one(d))
+ expr = isl_ast_expr_div(expr, isl_ast_expr_from_val(d));
+ else
+ isl_val_free(d);
isl_local_space_free(ls);
- isl_int_clear(v);
isl_aff_free(aff);
return expr;
}
__isl_keep isl_aff *aff, int sign, __isl_keep isl_ast_build *build)
{
int i, j;
- isl_int v;
+ isl_val *v;
enum isl_dim_type t[] = { isl_dim_param, isl_dim_in, isl_dim_div };
enum isl_dim_type l[] = { isl_dim_param, isl_dim_set, isl_dim_div };
isl_local_space *ls;
- isl_int_init(v);
ls = isl_aff_get_domain_local_space(aff);
for (i = 0; i < 3; ++i) {
int n = isl_aff_dim(aff, t[i]);
for (j = 0; j < n; ++j) {
- isl_aff_get_coefficient(aff, t[i], j, &v);
- if (sign * isl_int_sgn(v) <= 0)
+ v = isl_aff_get_coefficient_val(aff, t[i], j);
+ if (sign * isl_val_sgn(v) <= 0) {
+ isl_val_free(v);
continue;
- isl_int_abs(v, v);
+ }
+ v = isl_val_abs(v);
expr = isl_ast_expr_add_term(expr,
ls, l[i], j, v, build);
}
}
isl_local_space_free(ls);
- isl_int_clear(v);
return expr;
}
* This results in slightly shorter expressions and may reduce the risk
* of overflows.
*/
-static int constant_is_considered_positive(isl_int v,
+static int constant_is_considered_positive(__isl_keep isl_val *v,
__isl_keep isl_ast_expr *pos, __isl_keep isl_ast_expr *neg)
{
if (ast_expr_is_zero(pos))
return 1;
if (ast_expr_is_zero(neg))
return 0;
- return isl_int_is_pos(v);
+ return isl_val_is_pos(v);
}
/* Construct an isl_ast_expr that evaluates the condition "constraint",
isl_ast_expr *expr_neg;
isl_ast_expr *expr;
isl_aff *aff;
- isl_int v;
+ isl_val *v;
int eq;
enum isl_ast_op_type type;
expr_pos = add_signed_terms(expr_pos, aff, 1, build);
expr_neg = add_signed_terms(expr_neg, aff, -1, build);
- isl_int_init(v);
- isl_aff_get_constant(aff, &v);
+ v = isl_aff_get_constant_val(aff);
if (constant_is_considered_positive(v, expr_pos, expr_neg)) {
expr_pos = isl_ast_expr_add_int(expr_pos, v);
} else {
- isl_int_neg(v, v);
+ v = isl_val_neg(v);
expr_neg = isl_ast_expr_add_int(expr_neg, v);
}
- isl_int_clear(v);
eq = isl_constraint_is_equality(constraint);
projects / platform / upstream / isl.git / blobdiff