diff options
Diffstat (limited to 'polly/lib/External/isl/isl_pw_scale_templ.c')
-rw-r--r-- | polly/lib/External/isl/isl_pw_scale_templ.c | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_pw_scale_templ.c b/polly/lib/External/isl/isl_pw_scale_templ.c new file mode 100644 index 000000000000..81c8495e9cb7 --- /dev/null +++ b/polly/lib/External/isl/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; +} |