privately export isl_tab_kill_col

[platform/upstream/isl.git] / isl_seq.c

diff --git a/isl_seq.c b/isl_seq.c
index a67c0e9..7c9459a 100644 (file)
--- a/isl_seq.c
+++ b/isl_seq.c
@@ -49,6 +49,27 @@ void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int m, unsigned len)
                isl_int_divexact(dst[i], src[i], m);
 }
 
                isl_int_divexact(dst[i], src[i], m);
 }
 

+void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
+{
+       int i;
+       for (i = 0; i < len; ++i)
+               isl_int_cdiv_q(dst[i], src[i], m);
+}
+
+void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len)
+{
+       int i;
+       for (i = 0; i < len; ++i)
+               isl_int_fdiv_q(dst[i], src[i], m);
+}
+
+void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len)
+{
+       int i;
+       for (i = 0; i < len; ++i)
+               isl_int_fdiv_r(dst[i], src[i], m);
+}
+

 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
                        isl_int m2, isl_int *src2, unsigned len)
 {
 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
                        isl_int m2, isl_int *src2, unsigned len)
 {


@@ -139,6 +160,16 @@ int isl_seq_first_non_zero(isl_int *p, unsigned len)
        return -1;
 }
 
        return -1;
 }
 

+int isl_seq_last_non_zero(isl_int *p, unsigned len)
+{
+       int i;
+
+       for (i = len - 1; i >= 0; --i)
+               if (!isl_int_is_zero(p[i]))
+                       return i;
+       return -1;
+}
+

 int isl_seq_abs_min_non_zero(isl_int *p, unsigned len)
 {
        int i, min = isl_seq_first_non_zero(p, len);
 int isl_seq_abs_min_non_zero(isl_int *p, unsigned len)
 {
        int i, min = isl_seq_first_non_zero(p, len);


@@ -171,17 +202,14 @@ void isl_seq_gcd(isl_int *p, unsigned len, isl_int *gcd)
        }
 }
 
        }
 }
 

-void isl_seq_normalize(isl_int *p, unsigned len)
+void isl_seq_normalize(struct isl_ctx *ctx, isl_int *p, unsigned len)

 {
 {

-       isl_int gcd;
-

        if (len == 0)
                return;
        if (len == 0)
                return;

-       isl_int_init(gcd);
-       isl_seq_gcd(p, len, &gcd);
-       if (!isl_int_is_zero(gcd))
-               isl_seq_scale_down(p, p, gcd, len);
-       isl_int_clear(gcd);
+       isl_seq_gcd(p, len, &ctx->normalize_gcd);
+       if (!isl_int_is_zero(ctx->normalize_gcd) &&
+           !isl_int_is_one(ctx->normalize_gcd))
+               isl_seq_scale_down(p, p, ctx->normalize_gcd, len);

 }
 
 void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm)
 }
 
 void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm)