| /netbsd-src/external/mit/isl/dist/include/isl/ |
| H A D | vec.h | 23 struct isl_vec;
24 typedef struct isl_vec isl_vec; typedef
26 __isl_give isl_vec *isl_vec_alloc(isl_ctx *ctx, unsigned size);
27 __isl_give isl_vec *isl_vec_zero(isl_ctx *ctx, unsigned size);
28 __isl_give isl_vec *isl_vec_copy(__isl_keep isl_vec *vec);
29 __isl_null isl_vec *isl_vec_free(__isl_take isl_vec *vec);
31 isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec);
33 isl_size isl_vec_size(__isl_keep isl_vec *vec);
34 __isl_give isl_val *isl_vec_get_element_val(__isl_keep isl_vec *vec, int pos);
35 __isl_give isl_vec *isl_vec_set_element_si(__isl_take isl_vec *vec,
[all …]
|
| H A D | mat.h | 50 __isl_give isl_vec *isl_mat_vec_product(__isl_take isl_mat *mat,
51 __isl_take isl_vec *vec);
52 __isl_give isl_vec *isl_vec_mat_product(__isl_take isl_vec *vec,
54 __isl_give isl_vec *isl_mat_vec_inverse_product(__isl_take isl_mat *mat,
55 __isl_take isl_vec *vec);
99 __isl_give isl_mat *isl_mat_from_row_vec(__isl_take isl_vec *vec);
103 __isl_take isl_vec *bot);
|
| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_vec.c | 18 isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec) in isl_vec_get_ctx()
25 uint32_t isl_vec_get_hash(__isl_keep isl_vec *vec) in isl_vec_get_hash()
33 __isl_give isl_vec *isl_vec_alloc(struct isl_ctx *ctx, unsigned size) in isl_vec_alloc()
35 struct isl_vec *vec; in isl_vec_alloc()
37 vec = isl_alloc_type(ctx, struct isl_vec); in isl_vec_alloc()
58 __isl_give isl_vec *isl_vec_extend(__isl_take isl_vec *vec, unsigned size) in isl_vec_extend()
87 __isl_give isl_vec *isl_vec_expand(__isl_take isl_vec *vec, int pos, int n, in isl_vec_expand()
131 __isl_give isl_vec *isl_vec_zero(isl_ctx *ctx, unsigned size) in isl_vec_zero()
133 isl_vec *vec; in isl_vec_zero()
142 __isl_give isl_vec *isl_vec_zero_extend(__isl_take isl_vec *vec, unsigned size) in isl_vec_zero_extend()
[all …]
|
| H A D | isl_vec_private.h | 9 struct isl_vec { struct
20 uint32_t isl_vec_get_hash(__isl_keep isl_vec *vec); argument
22 __isl_give isl_vec *isl_vec_cow(__isl_take isl_vec *vec);
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);
27 isl_bool isl_vec_is_zero(__isl_keep isl_vec *vec);
29 __isl_give isl_vec *isl_vec_expand(__isl_take isl_vec *vec, int pos, int n,
31 __isl_give isl_vec *isl_vec_reorder(__isl_take isl_vec *vec,
|
| H A D | isl_sample.c | 27 static __isl_give isl_vec *isl_basic_set_sample_bounded(
30 static __isl_give isl_vec *empty_sample(__isl_take isl_basic_set *bset) in empty_sample()
32 struct isl_vec *vec; in empty_sample()
43 static __isl_give isl_vec *zero_sample(__isl_take isl_basic_set *bset) in zero_sample()
46 struct isl_vec *sample; in zero_sample()
63 static __isl_give isl_vec *interval_sample(__isl_take isl_basic_set *bset) in interval_sample()
67 struct isl_vec *sample; in interval_sample()
130 static __isl_give isl_vec *sample_eq(__isl_take isl_basic_set *bset, in sample_eq()
131 __isl_give isl_vec *(*recurse)(__isl_take isl_basic_set *)) in sample_eq()
134 struct isl_vec *sample; in sample_eq()
[all …]
|
| H A D | isl_point_private.h | 11 struct isl_vec *vec;
15 __isl_take isl_vec *vec);
21 __isl_keep isl_vec *isl_point_peek_vec(__isl_keep isl_point *pnt);
22 __isl_give isl_vec *isl_point_get_vec(__isl_keep isl_point *pnt);
23 __isl_give isl_vec *isl_point_take_vec(__isl_keep isl_point *pnt);
25 __isl_take isl_vec *vec);
|
| H A D | polyhedron_minimize.c | 24 static __isl_give isl_vec *isl_vec_lin_to_aff(__isl_take isl_vec *vec) in isl_vec_lin_to_aff()
26 struct isl_vec *aff; in isl_vec_lin_to_aff()
46 static __isl_give isl_vec *vec_ror(__isl_take isl_vec *vec) in vec_ror()
61 struct isl_vec *obj; in main()
62 struct isl_vec *sol; in main()
|
| H A D | isl_sample.h | 20 __isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset);
21 __isl_give isl_vec *isl_basic_set_sample_with_cone(
24 __isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec);
28 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab);
|
| H A D | isl_lp_private.h | 10 __isl_give isl_vec **sol);
13 __isl_give isl_vec **sol);
16 __isl_give isl_vec **sol);
19 __isl_give isl_vec **sol);
|
| H A D | isl_tab.h | 159 struct isl_vec *dual;
227 __isl_give isl_vec *isl_tab_get_sample_value(struct isl_tab *tab);
274 __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(
289 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl);
319 __isl_take isl_vec *sample) WARN_UNUSED;
331 int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div,
333 int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div);
|
| H A D | pip.c | 132 __isl_take isl_basic_set *bset, __isl_take isl_vec *params) in plug_in_parameters()
157 __isl_take isl_vec *params) in set_plug_in_parameters()
179 static __isl_give isl_vec *opt_at(__isl_take isl_basic_set *bset, in opt_at()
180 __isl_take isl_vec *params, int max) in opt_at()
184 struct isl_vec *opt; in opt_at()
185 struct isl_vec *obj; in opt_at()
259 __isl_take isl_vec *sample) in scan_one()
262 struct isl_vec *opt; in scan_one()
|
| H A D | isl_lp.c | 27 isl_int *opt_denom, __isl_give isl_vec **sol) in isl_tab_solve_lp()
68 __isl_give isl_vec **sol) in isl_basic_map_solve_lp()
81 __isl_give isl_vec **sol) in isl_basic_set_solve_lp()
90 __isl_give isl_vec **sol) in isl_map_solve_lp()
99 isl_vec *v = NULL; in isl_map_solve_lp()
142 isl_vec *sol_i = NULL; in isl_map_solve_lp()
201 __isl_give isl_vec **sol) in isl_set_solve_lp()
|
| H A D | isl_ilp.c | 85 static __isl_give isl_vec *initial_solution(__isl_keep isl_basic_set *bset, in initial_solution()
90 struct isl_vec *sol; in initial_solution()
153 static __isl_give isl_vec *solve_ilp_search(__isl_keep isl_basic_set *bset, in solve_ilp_search()
154 isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u) in solve_ilp_search()
163 struct isl_vec *sample; in solve_ilp_search()
213 isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p) in solve_ilp()
217 struct isl_vec *sol; in solve_ilp()
268 int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p) in solve_ilp_with_eq()
273 struct isl_vec *v; 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()
|
| H A D | isl_scan.c | 26 __isl_take isl_vec *sample) in increment_counter()
57 struct isl_vec *sample; in add_solution()
71 struct isl_vec *sample; in scan_0D()
108 struct isl_vec *min; in isl_basic_set_scan()
109 struct isl_vec *max; in isl_basic_set_scan()
|
| H A D | isl_point.c | 67 __isl_take isl_vec *vec) in isl_point_alloc()
100 isl_vec *vec; in isl_point_zero()
233 __isl_keep isl_vec *isl_point_peek_vec(__isl_keep isl_point *pnt) in isl_point_peek_vec()
240 __isl_give isl_vec *isl_point_get_vec(__isl_keep isl_point *pnt) in isl_point_get_vec()
254 __isl_give isl_vec *isl_point_take_vec(__isl_keep isl_point *pnt) in isl_point_take_vec()
256 isl_vec *vec; in isl_point_take_vec()
274 __isl_take isl_vec *vec) in isl_point_restore_vec()
318 isl_vec *vec; in isl_point_reorder()
569 __isl_take isl_vec *sample) in foreach_point()
623 isl_vec *vec; in isl_basic_map_contains_point()
|
| H A D | isl_local.h | 30 __isl_give isl_vec *isl_local_extend_point_vec(__isl_keep isl_local *local,
31 __isl_take isl_vec *v);
|
| H A D | isl_tab_pip.c | 95 struct isl_vec *div);
98 __isl_keep isl_vec *div);
931 static struct isl_vec *get_row_parameter_ineq(struct isl_tab *tab, int row) in get_row_parameter_ineq()
933 struct isl_vec *ineq; in get_row_parameter_ineq()
954 static void normalize_div(__isl_keep isl_vec *div) in normalize_div()
981 static struct isl_vec *get_row_parameter_div(struct isl_tab *tab, int row) in get_row_parameter_div()
983 struct isl_vec *div; in get_row_parameter_div()
1009 static struct isl_vec *get_row_split_div(struct isl_tab *tab, int row) in get_row_split_div()
1011 struct isl_vec *div; in get_row_split_div()
1035 static __isl_give isl_vec *ineq_for_div(__isl_keep isl_basic_set *bset, in ineq_for_div()
[all …]
|
| H A D | isl_affine_hull.c | 266 static __isl_give isl_vec *outside_point(struct isl_tab *tab, isl_int *eq, in outside_point()
270 struct isl_vec *sample = NULL; in outside_point()
346 static void adjacent_point(__isl_keep isl_vec *sample, int pos, int up) in adjacent_point()
362 __isl_take isl_basic_set *hull, __isl_take isl_vec *sample, in add_adjacent_points()
436 struct isl_vec *sample; in extend_affine_hull()
479 __isl_take isl_vec *sample) in initialize_hull()
501 struct isl_vec *sample = NULL; in uset_affine_hull_bounded()
576 __isl_take isl_vec *vec) in initial_hull()
628 struct isl_vec *sample; in isl_tab_detect_equalities()
769 struct isl_vec *sample = isl_vec_copy(hull->sample); in affine_hull_with_cone()
[all …]
|
| H A D | isl_morph.h | 85 __isl_give isl_vec *isl_morph_vec(__isl_take isl_morph *morph,
86 __isl_take isl_vec *vec);
|
| H A D | isl_vertices.c | 725 isl_vec *constraint; /* Constraint pointing to the other side */
922 isl_vec *sample = NULL; in compute_chambers()
1182 isl_vec *c = NULL; in tab_for_shifted_cone()
1238 static __isl_give isl_vec *isl_basic_set_interior_point( in isl_basic_set_interior_point()
1241 isl_vec *vec; in isl_basic_set_interior_point()
1269 isl_vec *vec; in isl_vertices_foreach_disjoint_cell()
1498 __isl_keep isl_basic_set *bset, int facet, __isl_keep isl_vec *v) in vertex_on_facet()
1525 static isl_stat triangulate(__isl_keep isl_cell *cell, __isl_keep isl_vec *v, in triangulate()
1589 isl_vec *v = NULL; in isl_cell_foreach_simplex()
|
| 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_map_private.h | 74 struct isl_vec *sample;
205 __isl_keep isl_vec *vec);
207 __isl_keep isl_vec *vec);
232 __isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div);
252 __isl_take isl_basic_set *bset, __isl_keep isl_vec *vec);
586 __isl_give isl_vec *isl_basic_map_inequality_extract_output_upper_bound(
|
| H A D | isl_scan.h | 18 __isl_take isl_vec *sample);
|
| H A D | isl_scheduler.c | 648 isl_vec *v; in compute_max_coefficient()
2563 isl_vec *ineq; in node_add_coefficient_constraints()
2906 static __isl_give isl_vec *solve_lp(isl_ctx *ctx, struct isl_sched_graph *graph) in solve_lp()
2909 isl_vec *sol; in solve_lp()
2941 static __isl_give isl_vec *extract_var_coef(struct isl_sched_node *node, in extract_var_coef()
2942 __isl_keep isl_vec *sol) in extract_var_coef()
2946 isl_vec *csol; in extract_var_coef()
2973 __isl_take isl_vec *sol, int coincident) in update_schedule()
2976 isl_vec *csol = NULL; in update_schedule()
4365 static int is_trivial(struct isl_sched_node *node, __isl_keep isl_vec *sol) in is_trivial()
[all …]
|
| H A D | basis_reduction_tab.c | 19 struct isl_vec *row;
118 static struct isl_tab *gbr_tab(struct isl_tab *tab, struct isl_vec *row) in gbr_tab()
195 struct isl_vec *sample = isl_tab_get_sample_value(lp->tab); in solve_lp()
|