X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_seq.c;h=36d6b65cda8c6cde20a2434b542314c7ca116fc2;hb=f3c292bf31fbb13ce50a8877ee71910897276a24;hp=3923158e33a956fdfad5ea0201e2e1d952e9dc2e;hpb=ae3696c84beb2f8ac21f122974677499f01608af;p=platform%2Fupstream%2Fisl.git diff --git a/isl_seq.c b/isl_seq.c index 3923158..36d6b65 100644 --- a/isl_seq.c +++ b/isl_seq.c @@ -1,4 +1,13 @@ -#include "isl_seq.h" +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + +#include void isl_seq_clr(isl_int *p, unsigned len) { @@ -7,6 +16,13 @@ void isl_seq_clr(isl_int *p, unsigned len) isl_int_set_si(p[i], 0); } +void isl_seq_set(isl_int *p, isl_int v, unsigned len) +{ + int i; + for (i = 0; i < len; ++i) + isl_int_set(p[i], v); +} + void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len) { int i; @@ -21,6 +37,13 @@ void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len) isl_int_set(dst[i], src[i]); } +void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len) +{ + int i; + for (i = 0; i < len; ++i) + isl_int_submul(dst[i], f, src[i]); +} + void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len) { int i; @@ -42,6 +65,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); } +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) { @@ -132,6 +176,16 @@ int isl_seq_first_non_zero(isl_int *p, unsigned len) 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); @@ -164,6 +218,29 @@ void isl_seq_gcd(isl_int *p, unsigned len, isl_int *gcd) } } +void isl_seq_normalize(struct isl_ctx *ctx, isl_int *p, unsigned len) +{ + if (len == 0) + return; + 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) +{ + int i; + + if (len == 0) { + isl_int_set_si(*lcm, 1); + return; + } + isl_int_set(*lcm, p[0]); + for (i = 1; i < len; ++i) + isl_int_lcm(*lcm, *lcm, p[i]); +} + void isl_seq_inner_product(isl_int *p1, isl_int *p2, unsigned len, isl_int *prod) {