summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 33ae790)
rawpatchinlineside by side (parent: 33ae790)
| author | Sven Verdoolaege <sven@cerebras.net> | |
| Tue, 9 Aug 2022 08:48:22 +0000 (9 10:48 +0200) | ||
| committer | Sven Verdoolaege <sven@cerebras.net> | |
| Tue, 1 Nov 2022 13:55:23 +0000 (1 14:55 +0100) |
This makes the definition of isl_pw_*_scale optional,
allowing some instances to be removed in the next commit.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
allowing some instances to be removed in the next commit.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
diff --git a/Makefile.am b/Makefile.am
--- a/Makefile.am
+++ b/Makefile.am
isl_pw_opt_templ.c \
isl_pw_pullback_templ.c \
isl_pw_range_tuple_id_templ.c \
+ isl_pw_scale_templ.c \
isl_pw_sub_templ.c \
isl_pw_un_op_templ.c \
isl_pw_union_opt.c \
diff --git a/isl_aff.c b/isl_aff.c
--- a/isl_aff.c
+++ b/isl_aff.c
#include <isl_pw_move_dims_templ.c>
#include <isl_pw_neg_templ.c>
#include <isl_pw_pullback_templ.c>
+#include <isl_pw_scale_templ.c>
#include <isl_pw_sub_templ.c>
#include <isl_pw_union_opt.c>
#include <isl_pw_neg_templ.c>
#include <isl_pw_pullback_templ.c>
#include <isl_pw_range_tuple_id_templ.c>
+#include <isl_pw_scale_templ.c>
#include <isl_pw_union_opt.c>
#undef BASE
diff --git a/isl_fold.c b/isl_fold.c
--- a/isl_fold.c
+++ b/isl_fold.c
#include <isl_pw_morph_templ.c>
#include <isl_pw_move_dims_templ.c>
#include <isl_pw_opt_templ.c>
+#include <isl_pw_scale_templ.c>
#undef BASE
#define BASE pw_qpolynomial_fold
diff --git a/isl_polynomial.c b/isl_polynomial.c
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
#include <isl_pw_move_dims_templ.c>
#include <isl_pw_neg_templ.c>
#include <isl_pw_opt_templ.c>
+#include <isl_pw_scale_templ.c>
#include <isl_pw_sub_templ.c>
#undef BASE
diff --git a/isl_pw_scale_templ.c b/isl_pw_scale_templ.c
--- /dev/null
+++ b/isl_pw_scale_templ.c
@@ -0,0 +1,42 @@
+/*
+ * Copyright 2010 INRIA Saclay
+ *
+ * Use of this software is governed by the MIT license
+ *
+ * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
+ * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
+ * 91893 Orsay, France
+ */
+
+#include <isl_pw_macro.h>
+
+__isl_give PW *FN(PW,scale)(__isl_take PW *pw, isl_int v)
+{
+ int i;
+ isl_size n;
+
+ if (isl_int_is_one(v))
+ return pw;
+ if (pw && DEFAULT_IS_ZERO && isl_int_is_zero(v)) {
+ PW *zero;
+ isl_space *space = FN(PW,get_space)(pw);
+ zero = FN(PW,ZERO)(space OPT_TYPE_ARG(pw->));
+ FN(PW,free)(pw);
+ return zero;
+ }
+ if (isl_int_is_neg(v))
+ pw = FN(PW,negate_type)(pw);
+
+ n = FN(PW,n_piece)(pw);
+ if (n < 0)
+ return FN(PW,free)(pw);
+ for (i = 0; i < n; ++i) {
+ EL *el;
+
+ el = FN(PW,take_base_at)(pw, i);
+ el = FN(EL,scale)(el, v);
+ pw = FN(PW,restore_base_at)(pw, i, el);
+ }
+
+ return pw;
+}
diff --git a/isl_pw_templ.c b/isl_pw_templ.c
--- a/isl_pw_templ.c
+++ b/isl_pw_templ.c
}
#endif
-__isl_give PW *FN(PW,scale)(__isl_take PW *pw, isl_int v)
-{
- int i;
- isl_size n;
-
- if (isl_int_is_one(v))
- return pw;
- if (pw && DEFAULT_IS_ZERO && isl_int_is_zero(v)) {
- PW *zero;
- isl_space *space = FN(PW,get_space)(pw);
- zero = FN(PW,ZERO)(space OPT_TYPE_ARG(pw->));
- FN(PW,free)(pw);
- return zero;
- }
- if (isl_int_is_neg(v))
- pw = FN(PW,negate_type)(pw);
-
- n = FN(PW,n_piece)(pw);
- if (n < 0)
- return FN(PW,free)(pw);
- for (i = 0; i < n; ++i) {
- EL *el;
-
- el = FN(PW,take_base_at)(pw, i);
- el = FN(EL,scale)(el, v);
- pw = FN(PW,restore_base_at)(pw, i, el);
- }
-
- return pw;
-}
-
/* Multiply the pieces of "pw" by "v" and return the result.
*/
__isl_give PW *FN(PW,scale_val)(__isl_take PW *pw, __isl_take isl_val *v)