| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | isl_seq.h | 24 void isl_seq_set(isl_int *p, isl_int v, unsigned len);
26 void isl_seq_neg(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);
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);
33 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
34 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len);
35 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len);
36 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
[all …]
|
| H A D | isl_seq.c | 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()
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()
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()
84 void isl_seq_cdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len) in isl_seq_cdiv_q()
91 void isl_seq_fdiv_q(isl_int *dst, isl_int *src, isl_int m, unsigned len) in isl_seq_fdiv_q()
98 void isl_seq_fdiv_r(isl_int *dst, isl_int *src, isl_int m, unsigned len) in isl_seq_fdiv_r()
105 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1, in isl_seq_combine()
[all …]
|
| H A D | isl_test_int.c | 79 void (*fn)(isl_int, isl_int)) in invoke_alternate_representations_2args() argument
109 char *arg3, void (*fn)(isl_int, isl_int, isl_int)) in invoke_alternate_representations_3args() argument
152 void (*fn)(isl_int, isl_int)) in invoke_alternate_representations_2args() argument
169 char *arg3, void (*fn)(isl_int, isl_int, isl_int)) in invoke_alternate_representations_3args() argument
215 void (*fn)(isl_int, isl_int);
272 static void int_test_mul(isl_int expected, isl_int lhs, isl_int rhs) in int_test_mul()
309 static void int_test_add(isl_int expected, isl_int lhs, isl_int rhs) in int_test_add()
320 static void int_test_sub(isl_int expected, isl_int lhs, isl_int rhs) in int_test_sub()
334 static void int_test_sum(isl_int sum, isl_int term1, isl_int term2) in int_test_sum()
403 static void int_test_gcd(isl_int expected, isl_int lhs, isl_int rhs) in int_test_gcd()
[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,
45 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
47 isl_int m);
57 void isl_mat_col_mul(__isl_keep isl_mat *mat, int dst_col, isl_int f,
60 int dst_col, isl_int f, int src_col);
62 isl_int f, int src_col);
[all …]
|
| H A D | isl_lp.c | 26 int maximize, isl_int *f, isl_int denom, isl_int *opt, 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()
199 isl_int *f, isl_int d, isl_int *opt, in isl_set_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;
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);
280 __isl_take isl_qpolynomial *qp, isl_int v);
[all …]
|
| 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);
126 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
128 isl_int f);
130 isl_int f);
176 isl_stat isl_seq_preimage(isl_int *dst, isl_int *src,
179 isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
|
| H A D | isl_tab.h | 207 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
210 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) WARN_UNUSED;
211 isl_stat isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
212 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
237 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq);
285 isl_int *eq);
304 int isl_tab_add_row(struct isl_tab *tab, isl_int *line) WARN_UNUSED;
324 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value);
331 isl_stat (*add_ineq)(void *user, isl_int *), void *user);
334 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift) WARN_UNUSED;
|
| 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);
298 isl_int *c1, isl_int *c2);
424 isl_int *facet, isl_int *ridge);
533 int pos, isl_int *modulo, isl_int *residue);
535 int pos, isl_int *modulo, isl_int *residue);
[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 | 13 isl_int *el;
22 void isl_vec_lcm(__isl_keep isl_vec *vec, isl_int *lcm);
23 __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v);
|
| H A D | isl_local_space_private.h | 66 isl_int *constraint, unsigned div);
68 isl_int *constraint, unsigned div);
70 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
74 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_mat.c | 95 isl_int *old; in isl_mat_extend()
96 isl_int **row; in isl_mat_extend()
644 isl_int c; in isl_mat_left_hermite()
1012 isl_int a, b; in isl_mat_inverse_product()
1110 isl_int m1, unsigned src1, isl_int m2, unsigned src2) in isl_mat_col_combine()
1113 isl_int tmp; in isl_mat_col_combine()
1128 isl_int a, b; in isl_mat_right_inverse()
1251 isl_int *t; in isl_mat_swap_rows()
1923 isl_int g; in isl_mat_gcd()
1974 isl_int m) in isl_mat_scale_down_row()
[all …]
|
| H A D | isl_convex_hull.c | 120 isl_int opt; in uset_is_bound()
121 isl_int opt_denom; in uset_is_bound()
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()
606 isl_int a, b; in convex_hull_1d()
1524 isl_int *b = (isl_int *)val; in max_constraint_equal()
2030 isl_int *p;
2035 isl_int *row = (isl_int *)entry; in has_ineq()
2128 isl_int opt; in is_bound()
[all …]
|
| H A D | isl_vec.c | 269 int pos, isl_int v) in isl_vec_set_element()
387 __isl_give isl_vec *isl_vec_set(__isl_take isl_vec *vec, isl_int v) in isl_vec_set()
434 void isl_vec_lcm(__isl_keep isl_vec *vec, isl_int *lcm) in isl_vec_lcm()
472 __isl_give isl_vec *isl_vec_scale(__isl_take isl_vec *vec, isl_int m) in isl_vec_scale()
485 __isl_give isl_vec *isl_vec_fdiv_r(__isl_take isl_vec *vec, isl_int m) in isl_vec_fdiv_r()
518 const isl_int *i1 = (const isl_int *) p1; in qsort_int_cmp()
519 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()
|