summaryrefslogtreecommitdiff
path: root/isl_seq.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2009-05-22 12:33:20 +0200
committerSven Verdoolaege <skimo@kotnet.org>2009-06-07 14:05:02 +0200
commit381162eef9bb83481c9148b6062263eb8f21ddfa (patch)
tree53fa6325e0dfda50817d508a43df39967d264749 /isl_seq.c
parentfa551c02a8d071d0b88455d9828060dba76704a5 (diff)
downloadisl-381162eef9bb83481c9148b6062263eb8f21ddfa.tar.gz
isl-381162eef9bb83481c9148b6062263eb8f21ddfa.tar.bz2
isl-381162eef9bb83481c9148b6062263eb8f21ddfa.zip
add isl_seq_fdiv_r
Diffstat (limited to 'isl_seq.c')
-rw-r--r--isl_seq.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/isl_seq.c b/isl_seq.c
index a67c0e95..4ab31729 100644
--- a/isl_seq.c
+++ b/isl_seq.c
@@ -49,6 +49,13 @@ 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_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)
{