add isl_constraint_negate

diff --git a/include/isl_constraint.h b/include/isl_constraint.h
index 5a021df..356039b 100644 (file)
--- a/include/isl_constraint.h
+++ b/include/isl_constraint.h
@@ -52,6 +52,7 @@ void isl_constraint_set_coefficient(struct isl_constraint *constraint,
        enum isl_dim_type type, int pos, isl_int v);
 
 void isl_constraint_clear(struct isl_constraint *constraint);
+struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint);
 
 int isl_constraint_is_equality(struct isl_constraint *constraint);
 

diff --git a/isl_constraint.c b/isl_constraint.c
index ad2a467..e0eaeec 100644 (file)
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -238,6 +238,26 @@ void isl_constraint_clear(struct isl_constraint *constraint)
        isl_seq_clr(constraint->line[0], 1 + total);
 }
 
+struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint)
+{
+       unsigned total;
+
+       if (!constraint)
+               return NULL;
+
+       isl_assert(constraint->ctx, !isl_constraint_is_equality(constraint),
+                       goto error);
+       isl_assert(constraint->ctx, constraint->bmap->ref == 1, goto error);
+       total = isl_basic_map_total_dim(constraint->bmap);
+       isl_seq_neg(constraint->line[0], constraint->line[0], 1 + total);
+       isl_int_sub_ui(constraint->line[0][0], constraint->line[0][0], 1);
+       F_CLR(constraint->bmap, ISL_BASIC_MAP_NORMALIZED);
+       return constraint;
+error:
+       isl_constraint_free(constraint);
+       return NULL;
+}
+
 int isl_constraint_is_equality(struct isl_constraint *constraint)
 {
        if (!constraint)