3 struct isl_vec *isl_vec_alloc(struct isl_ctx *ctx, unsigned size)
7 vec = isl_alloc_type(ctx, struct isl_vec);
11 vec->block = isl_blk_alloc(ctx, size);
12 if (isl_blk_is_error(vec->block))
20 isl_blk_free(ctx, vec->block);
24 struct isl_vec *isl_vec_copy(struct isl_ctx *ctx, struct isl_vec *vec)
33 void isl_vec_free(struct isl_ctx *ctx, struct isl_vec *vec)
41 isl_blk_free(ctx, vec->block);
45 void isl_vec_dump(struct isl_ctx *ctx, struct isl_vec *vec,
46 FILE *out, int indent)
49 fprintf(out, "%*s[", indent, "");
50 for (i = 0; i < vec->size; ++i) {
53 isl_int_print(out, vec->block.data[i]);