add isl_multi_val_mod_val

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index 29917da..29bf606 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3401,6 +3401,9 @@ Operations include
        __isl_give isl_multi_val *isl_multi_val_add_val(
                __isl_take isl_multi_val *mv,
                __isl_take isl_val *v);
+       __isl_give isl_multi_val *isl_multi_val_mod_val(
+               __isl_take isl_multi_val *mv,
+               __isl_take isl_val *v);
 
 =head2 Vectors
 

diff --git a/include/isl/val.h b/include/isl/val.h
index ab3bc63..f762a7b 100644 (file)
--- a/include/isl/val.h
+++ b/include/isl/val.h
@@ -91,6 +91,8 @@ __isl_give char *isl_val_to_str(__isl_keep isl_val *v);
 
 __isl_give isl_multi_val *isl_multi_val_add_val(__isl_take isl_multi_val *mv,
        __isl_take isl_val *v);
+__isl_give isl_multi_val *isl_multi_val_mod_val(__isl_take isl_multi_val *mv,
+       __isl_take isl_val *v);
 
 #if defined(__cplusplus)
 }

diff --git a/isl_val.c b/isl_val.c
index af3a781..3616fd0 100644 (file)
--- a/isl_val.c
+++ b/isl_val.c
@@ -1411,3 +1411,11 @@ __isl_give isl_multi_val *isl_multi_val_add_val(__isl_take isl_multi_val *mv,
        }
        return isl_multi_val_fn_val(mv, &isl_val_add, v);
 }
+
+/* Reduce the elements of "mv" modulo "v".
+ */
+__isl_give isl_multi_val *isl_multi_val_mod_val(__isl_take isl_multi_val *mv,
+       __isl_take isl_val *v)
+{
+       return isl_multi_val_fn_val(mv, &isl_val_mod, v);
+}