isl_vec.c

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the GNU LGPLv2.1 license
   5  *
   6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
   7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
   8  */
   9
  10 #include <isl/seq.h>
  11 #include <isl/vec.h>
  12
  13 struct isl_vec *isl_vec_alloc(struct isl_ctx *ctx, unsigned size)
  14 {
  15         struct isl_vec *vec;
  16
  17         vec = isl_alloc_type(ctx, struct isl_vec);
  18         if (!vec)
  19                 return NULL;
  20
  21         vec->block = isl_blk_alloc(ctx, size);
  22         if (isl_blk_is_error(vec->block))
  23                 goto error;
  24
  25         vec->ctx = ctx;
  26         isl_ctx_ref(ctx);
  27         vec->ref = 1;
  28         vec->size = size;
  29         vec->el = vec->block.data;
  30
  31         return vec;
  32 error:
  33         isl_blk_free(ctx, vec->block);
  34         return NULL;
  35 }
  36
  37 __isl_give isl_vec *isl_vec_extend(__isl_take isl_vec *vec, unsigned size)
  38 {
  39         if (!vec)
  40                 return NULL;
  41         if (size <= vec->size)
  42                 return vec;
  43
  44         vec = isl_vec_cow(vec);
  45         if (!vec)
  46                 return NULL;
  47
  48         vec->block = isl_blk_extend(vec->ctx, vec->block, size);
  49         if (!vec->block.data)
  50                 goto error;
  51
  52         vec->size = size;
  53         vec->el = vec->block.data;
  54
  55         return vec;
  56 error:
  57         isl_vec_free(vec);
  58         return NULL;
  59 }
  60
  61 __isl_give isl_vec *isl_vec_zero_extend(__isl_take isl_vec *vec, unsigned size)
  62 {
  63         int extra;
  64
  65         if (!vec)
  66                 return NULL;
  67         if (size <= vec->size)
  68                 return vec;
  69
  70         vec = isl_vec_cow(vec);
  71         if (!vec)
  72                 return NULL;
  73
  74         extra = size - vec->size;
  75         vec = isl_vec_extend(vec, size);
  76         if (!vec)
  77                 return NULL;
  78
  79         isl_seq_clr(vec->el + size - extra, extra);
  80
  81         return vec;
  82 }
  83
  84 struct isl_vec *isl_vec_copy(struct isl_vec *vec)
  85 {
  86         if (!vec)
  87                 return NULL;
  88
  89         vec->ref++;
  90         return vec;
  91 }
  92
  93 struct isl_vec *isl_vec_dup(struct isl_vec *vec)
  94 {
  95         struct isl_vec *vec2;
  96
  97         if (!vec)
  98                 return NULL;
  99         vec2 = isl_vec_alloc(vec->ctx, vec->size);
 100         isl_seq_cpy(vec2->el, vec->el, vec->size);
 101         return vec2;
 102 }
 103
 104 struct isl_vec *isl_vec_cow(struct isl_vec *vec)
 105 {
 106         struct isl_vec *vec2;
 107         if (!vec)
 108                 return NULL;
 109
 110         if (vec->ref == 1)
 111                 return vec;
 112
 113         vec2 = isl_vec_dup(vec);
 114         isl_vec_free(vec);
 115         return vec2;
 116 }
 117
 118 void isl_vec_free(struct isl_vec *vec)
 119 {
 120         if (!vec)
 121                 return;
 122
 123         if (--vec->ref > 0)
 124                 return;
 125
 126         isl_ctx_deref(vec->ctx);
 127         isl_blk_free(vec->ctx, vec->block);
 128         free(vec);
 129 }
 130
 131 void isl_vec_dump(struct isl_vec *vec, FILE *out, int indent)
 132 {
 133         int i;
 134
 135         if (!vec) {
 136                 fprintf(out, "%*snull vec\n", indent, "");
 137                 return;
 138         }
 139
 140         fprintf(out, "%*s[", indent, "");
 141         for (i = 0; i < vec->size; ++i) {
 142                 if (i)
 143                     fprintf(out, ",");
 144                 isl_int_print(out, vec->el[i], 0);
 145         }
 146         fprintf(out, "]\n");
 147 }
 148
 149 __isl_give isl_vec *isl_vec_clr(__isl_take isl_vec *vec)
 150 {
 151         vec = isl_vec_cow(vec);
 152         if (!vec)
 153                 return NULL;
 154         isl_seq_clr(vec->el, vec->size);
 155         return vec;
 156 }
 157
 158 void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm)
 159 {
 160         isl_seq_lcm(vec->block.data, vec->size, lcm);
 161 }
 162
 163 /* Given a rational vector, with the denominator in the first element
 164  * of the vector, round up all coordinates.
 165  */
 166 struct isl_vec *isl_vec_ceil(struct isl_vec *vec)
 167 {
 168         vec = isl_vec_cow(vec);
 169         if (!vec)
 170                 return NULL;
 171
 172         isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
 173
 174         isl_int_set_si(vec->el[0], 1);
 175
 176         return vec;
 177 }
 178
 179 struct isl_vec *isl_vec_normalize(struct isl_vec *vec)
 180 {
 181         if (!vec)
 182                 return NULL;
 183         isl_seq_normalize(vec->ctx, vec->el, vec->size);
 184         return vec;
 185 }
 186
 187 __isl_give isl_vec *isl_vec_scale(__isl_take isl_vec *vec, isl_int m)
 188 {
 189         if (isl_int_is_one(m))
 190                 return vec;
 191         vec = isl_vec_cow(vec);
 192         if (!vec)
 193                 return NULL;
 194         isl_seq_scale(vec->el, vec->el, m, vec->size);
 195         return vec;
 196 }
 197
 198 __isl_give isl_vec *isl_vec_add(__isl_take isl_vec *vec1,
 199         __isl_take isl_vec *vec2)
 200 {
 201         vec1 = isl_vec_cow(vec1);
 202         if (!vec1 || !vec2)
 203                 goto error;
 204
 205         isl_assert(vec1->ctx, vec1->size == vec2->size, goto error);
 206
 207         isl_seq_combine(vec1->el, vec1->ctx->one, vec1->el,
 208                         vec1->ctx->one, vec2->el, vec1->size);
 209
 210         isl_vec_free(vec2);
 211         return vec1;
 212 error:
 213         isl_vec_free(vec1);
 214         isl_vec_free(vec2);
 215         return NULL;
 216 }