| /llvm-project/polly/lib/External/isl/ |
| H A D | isl_seq.h | 23 void isl_seq_clr(isl_int *p, unsigned len);
24 void isl_seq_set(isl_int *p, isl_int v, unsigned len);
25 void isl_seq_set_si(isl_int *p, int v, unsigned len);
26 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len);
27 void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len);
28 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
29 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len);
30 void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len);
31 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int f, unsigned len);
32 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int f, unsigned len);
[all …]
|
| H A D | isl_test_int.c | 21 static void int_test_hash(isl_int val) in int_test_hash()
24 isl_int demoted, promoted; in int_test_hash()
46 void (*fn)(isl_int);
67 isl_int val; in int_test_single_value()
79 void (*fn)(isl_int, isl_int)) in invoke_alternate_representations_2args() argument
82 isl_int int1, int2; in invoke_alternate_representations_2args()
109 char *arg3, void (*fn)(isl_int, isl_int, isl_int)) in invoke_alternate_representations_3args() argument
112 isl_int int1, int2, int3; in invoke_alternate_representations_3args()
152 void (*fn)(isl_int, isl_int)) in invoke_alternate_representations_2args() argument
154 isl_int int1, int2; in invoke_alternate_representations_2args()
[all …]
|
| H A D | isl_seq.c | 14 void isl_seq_clr(isl_int *p, unsigned len) in isl_seq_clr()
21 void isl_seq_set_si(isl_int *p, int v, unsigned len) in isl_seq_set_si()
28 void isl_seq_set(isl_int *p, isl_int v, unsigned len) in isl_seq_set()
35 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len) in isl_seq_neg()
42 void isl_seq_cpy(isl_int *dst, isl_int *src, unsigned len) in isl_seq_cpy()
49 void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len) in isl_seq_submul()
56 void isl_seq_addmul(isl_int *dst, isl_int f, isl_int *src, unsigned len) in isl_seq_addmul()
63 void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len) in isl_seq_swp_or_cpy()
70 void isl_seq_scale(isl_int *dst, isl_int *src, isl_int m, unsigned len) in isl_seq_scale()
77 void isl_seq_scale_down(isl_int *dst, isl_int *src, isl_int m, unsigned len) in isl_seq_scale_down()
[all …]
|
| H A D | isl_lp_private.h | 9 int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
12 int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
15 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
18 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
|
| H A D | isl_mat_private.h | 18 isl_int **row;
33 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
35 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
37 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
39 isl_stat isl_mat_sub_transform(isl_int **row, unsigned n_row,
41 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d);
45 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
47 isl_int m);
55 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
57 void isl_mat_col_mul(__isl_keep isl_mat *mat, int dst_col, isl_int f,
[all …]
|
| H A D | isl_lp.c | 26 int maximize, isl_int *f, isl_int denom, isl_int *opt, in isl_tab_solve_lp()
27 isl_int *opt_denom, __isl_give isl_vec **sol) in isl_tab_solve_lp()
67 int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom, in isl_basic_map_solve_lp()
80 int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom, in isl_basic_set_solve_lp()
88 isl_int *f, isl_int d, isl_int *opt, in isl_map_solve_lp()
89 isl_int *opt_denom, in isl_map_solve_lp()
93 isl_int o; in isl_map_solve_lp()
94 isl_int t; in isl_map_solve_lp()
95 isl_int opt_i; in isl_map_solve_lp()
96 isl_int opt_denom_i; in isl_map_solve_lp()
[all …]
|
| H A D | isl_polynomial_private.h | 20 isl_int n;
21 isl_int d;
52 isl_int n;
53 isl_int d;
125 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
145 __isl_take isl_poly *poly, isl_int v);
154 isl_int v);
156 __isl_take isl_space *domain, const isl_int n, const isl_int d);
163 isl_int *n, isl_int *d);
184 __isl_take isl_space *space, isl_int *f, isl_int denom);
[all …]
|
| H A D | isl_tab.h | 208 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
211 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) WARN_UNUSED;
212 isl_stat isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
213 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
238 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq);
286 isl_int *eq);
305 int isl_tab_add_row(struct isl_tab *tab, isl_int *line) WARN_UNUSED;
325 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value);
332 isl_stat (*add_ineq)(void *user, isl_int *), void *user);
335 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift) WARN_UNUSED;
|
| H A D | isl_ctx_private.h | 21 isl_int zero;
22 isl_int one;
23 isl_int two;
24 isl_int negone;
26 isl_int normalize_gcd;
|
| H A D | isl_aff_private.h | 90 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
92 enum isl_dim_type type, int pos, isl_int v);
93 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
128 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
130 isl_int f);
132 isl_int f);
181 isl_stat isl_seq_preimage(isl_int *dst, isl_int *src,
184 isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
|
| H A D | isl_val_private.h | 21 isl_int n;
22 isl_int d;
32 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n);
34 isl_int n, isl_int d);
37 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);
|
| H A D | isl_map_private.h | 67 isl_int **eq;
68 isl_int **ineq;
72 isl_int **div;
243 isl_int *eq);
245 isl_int *eq);
247 isl_int *ineq);
249 isl_int *ineq);
298 isl_int *c1, isl_int *c2);
423 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
424 isl_int *facet, isl_int *ridge);
[all …]
|
| H A D | isl_ilp.c | 86 isl_int *f) in initial_solution()
109 isl_int *f, isl_int l, isl_int u) in add_bounds()
154 isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u) in solve_ilp_search()
156 isl_int tmp; in solve_ilp_search()
213 isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p) in solve_ilp()
216 isl_int l, u; in solve_ilp()
268 int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p) in solve_ilp_with_eq()
312 int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p) in isl_basic_set_solve_ilp()
347 __isl_keep isl_aff *obj, isl_int *opt) in basic_set_opt()
361 __isl_keep isl_aff *obj, isl_int *opt) in isl_basic_set_opt()
[all …]
|
| H A D | isl_scan.c | 21 isl_int count;
22 isl_int max;
39 static int increment_range(struct isl_scan_callback *cb, isl_int min, isl_int max) in increment_range()
252 isl_int max, isl_int *count) in isl_basic_set_count_upto()
278 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count) in isl_set_count_upto()
304 int isl_set_count(__isl_keep isl_set *set, isl_int *count) in isl_set_count()
|
| H A D | basis_reduction_tab.c | 22 isl_int *obj;
23 isl_int opt;
24 isl_int opt_denom;
25 isl_int tmp;
26 isl_int tmp2;
91 static void set_lp_obj(struct tab_lp *lp, isl_int *row, int dim);
95 static int add_lp_row(struct tab_lp *lp, isl_int *row, int dim);
98 static int cut_lp_to_hyperplane(struct tab_lp *lp, isl_int *row);
174 static void set_lp_obj(struct tab_lp *lp, isl_int *row, int dim) in set_lp_obj()
220 static int cut_lp_to_hyperplane(struct tab_lp *lp, isl_int *row) in cut_lp_to_hyperplane()
[all …]
|
| H A D | isl_constraint_private.h | 22 __isl_take isl_basic_set *bset, isl_int **line);
25 isl_int *v);
27 enum isl_dim_type type, int pos, isl_int *v);
|
| H A D | isl_vec_private.h | 15 isl_int *el;
24 void isl_vec_lcm(__isl_keep isl_vec *vec, isl_int *lcm);
25 __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v);
|
| H A D | isl_mat.c | 67 mat->row = isl_calloc_array(ctx, isl_int *, n_row); in isl_mat_alloc()
95 isl_int *old; in isl_mat_extend()
96 isl_int **row; in isl_mat_extend()
129 row = isl_realloc_array(mat->ctx, mat->row, isl_int *, n_row); in isl_mat_extend()
148 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row, in isl_mat_sub_alloc6()
157 mat->row = isl_alloc_array(ctx, isl_int *, n_row); in isl_mat_sub_alloc6()
184 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src, in isl_mat_sub_copy()
193 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src, in isl_mat_sub_neg()
319 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v) in isl_mat_get_element()
345 int row, int col, isl_int v) in isl_mat_set_element()
[all …]
|
| H A D | isl_local_space_private.h | 68 isl_int *constraint, unsigned div);
70 isl_int *constraint, unsigned div);
72 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
76 enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,
|
| H A D | isl_ilp_private.h | 9 int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p);
|
| H A D | isl_convex_hull.c | 116 static isl_bool uset_is_bound(__isl_keep isl_set *set, isl_int *c, unsigned len) in uset_is_bound()
120 isl_int opt; in uset_is_bound()
121 isl_int opt_denom; in uset_is_bound()
161 __isl_take isl_set *set, isl_int *c) in isl_set_add_basic_set_equality()
308 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set, in isl_set_wrap_facet()
309 isl_int *facet, isl_int *ridge) in isl_set_wrap_facet()
317 isl_int num, den; in isl_set_wrap_facet()
483 isl_int *c) in compute_facet()
603 isl_int *lower = NULL; in convex_hull_1d()
604 isl_int *upper = NULL; in convex_hull_1d()
[all …]
|
| H A D | isl_vec.c | 270 int pos, isl_int v) in isl_vec_set_element()
388 __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v) in isl_vec_set()
435 void isl_vec_lcm(__isl_keep isl_vec *vec, isl_int *lcm) in isl_vec_lcm()
473 __isl_give isl_vec *isl_vec_scale(__isl_take isl_vec *vec, isl_int m) in isl_vec_scale()
486 __isl_give isl_vec *isl_vec_fdiv_r(__isl_take isl_vec *vec, isl_int m) in isl_vec_fdiv_r()
519 const isl_int *i1 = (const isl_int *) p1; in qsort_int_cmp()
520 const isl_int *i2 = (const isl_int *) p2; in qsort_int_cmp()
|
| H A D | isl_dim_map.c | 123 static void copy_constraint_dim_map(isl_int *dst, isl_int *src, in copy_constraint_dim_map()
138 static void copy_div_dim_map(isl_int *dst, isl_int *src, in copy_div_dim_map()
|
| H A D | isl_val.c | 185 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n) in isl_val_int_from_isl_int()
203 isl_int n, isl_int d) in isl_val_rat_from_isl_int()
299 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n) in isl_val_get_num_isl_int()
1049 static void isl_int_gcdext(isl_int *g, isl_int *x, isl_int *y, in isl_int_gcdext()
1050 isl_int a, isl_int b) in isl_int_gcdext()
1052 isl_int d, tmp; in isl_int_gcdext()
1053 isl_int a_copy, b_copy; in isl_int_gcdext()
1287 isl_int t; in isl_val_lt()
1352 isl_int t; in isl_val_le()
1396 isl_int t; in isl_val_cmp_si()
|
| H A D | isl_equalities.c | 164 isl_int D; in parameter_compression_multi()
315 isl_int D; in isl_mat_parameter_compression()
572 isl_int g; in isl_mat_final_variable_compression()
735 int pos, isl_int *modulo, isl_int *residue) in isl_basic_set_dim_residue_class()
818 int pos, isl_int *modulo, isl_int *residue) in isl_set_dim_residue_class()
820 isl_int m; in isl_set_dim_residue_class()
821 isl_int r; in isl_set_dim_residue_class()
|