polly/isl/vec.h

0001 /*
0002  * Copyright 2008-2009 Katholieke Universiteit Leuven
0003  *
0004  * Use of this software is governed by the MIT license
0005  *
0006  * Written by Sven Verdoolaege, K.U.Leuven, Departement
0007  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
0008  */
0009
0010 #ifndef ISL_VEC_H
0011 #define ISL_VEC_H
0012
0013 #include <stdio.h>
0014
0015 #include <isl/ctx.h>
0016 #include <isl/val_type.h>
0017 #include <isl/printer.h>
0018
0019 #if defined(__cplusplus)
0020 extern "C" {
0021 #endif
0022
0023 struct isl_vec;
0024 typedef struct isl_vec isl_vec;
0025
0026 __isl_give isl_vec *isl_vec_alloc(isl_ctx *ctx, unsigned size);
0027 __isl_give isl_vec *isl_vec_zero(isl_ctx *ctx, unsigned size);
0028 __isl_give isl_vec *isl_vec_copy(__isl_keep isl_vec *vec);
0029 __isl_null isl_vec *isl_vec_free(__isl_take isl_vec *vec);
0030
0031 isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec);
0032
0033 isl_size isl_vec_size(__isl_keep isl_vec *vec);
0034 __isl_give isl_val *isl_vec_get_element_val(__isl_keep isl_vec *vec, int pos);
0035 __isl_give isl_vec *isl_vec_set_element_si(__isl_take isl_vec *vec,
0036     int pos, int v);
0037 __isl_give isl_vec *isl_vec_set_element_val(__isl_take isl_vec *vec,
0038     int pos, __isl_take isl_val *v);
0039
0040 isl_bool isl_vec_is_equal(__isl_keep isl_vec *vec1, __isl_keep isl_vec *vec2);
0041 int isl_vec_cmp_element(__isl_keep isl_vec *vec1, __isl_keep isl_vec *vec2,
0042     int pos);
0043
0044 void isl_vec_dump(__isl_keep isl_vec *vec);
0045 __isl_give isl_printer *isl_printer_print_vec(__isl_take isl_printer *printer,
0046     __isl_keep isl_vec *vec);
0047
0048 __isl_give isl_vec *isl_vec_ceil(__isl_take isl_vec *vec);
0049 __isl_give isl_vec *isl_vec_normalize(__isl_take isl_vec *vec);
0050 __isl_give isl_vec *isl_vec_set_si(__isl_take isl_vec *vec, int v);
0051 __isl_give isl_vec *isl_vec_set_val(__isl_take isl_vec *vec,
0052     __isl_take isl_val *v);
0053 __isl_give isl_vec *isl_vec_clr(__isl_take isl_vec *vec);
0054 __isl_give isl_vec *isl_vec_neg(__isl_take isl_vec *vec);
0055 __isl_give isl_vec *isl_vec_add(__isl_take isl_vec *vec1,
0056     __isl_take isl_vec *vec2);
0057 __isl_give isl_vec *isl_vec_extend(__isl_take isl_vec *vec, unsigned size);
0058 __isl_give isl_vec *isl_vec_zero_extend(__isl_take isl_vec *vec, unsigned size);
0059 __isl_give isl_vec *isl_vec_concat(__isl_take isl_vec *vec1,
0060     __isl_take isl_vec *vec2);
0061
0062 __isl_give isl_vec *isl_vec_sort(__isl_take isl_vec *vec);
0063
0064 __isl_give isl_vec *isl_vec_read_from_file(isl_ctx *ctx, FILE *input);
0065
0066 __isl_give isl_vec *isl_vec_drop_els(__isl_take isl_vec *vec,
0067     unsigned pos, unsigned n);
0068 __isl_give isl_vec *isl_vec_add_els(__isl_take isl_vec *vec, unsigned n);
0069 __isl_give isl_vec *isl_vec_insert_els(__isl_take isl_vec *vec,
0070     unsigned pos, unsigned n);
0071 __isl_give isl_vec *isl_vec_insert_zero_els(__isl_take isl_vec *vec,
0072     unsigned pos, unsigned n);
0073 __isl_give isl_vec *isl_vec_move_els(__isl_take isl_vec *vec,
0074     unsigned dst_col, unsigned src_col, unsigned n);
0075
0076 #if defined(__cplusplus)
0077 }
0078 #endif
0079
0080 #endif