| /netbsd-src/external/mit/isl/dist/include/isl/ |
| H A D | set.h | 29 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset);
30 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset);
31 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset);
32 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset,
41 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset);
43 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset);
49 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset,
53 __isl_keep isl_basic_set *bset);
55 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
58 __isl_give isl_basic_set *isl_basic_set_set_tuple_name(
[all …]
|
| H A D | constraint.h | 43 isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
46 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
51 __isl_keep isl_basic_set *bset);
55 isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
59 __isl_take isl_basic_set *bset, void *user), void *user);
63 __isl_give isl_basic_set *isl_basic_set_add_constraint(
64 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
74 struct isl_basic_set *bset, enum isl_dim_type type, int pos,
77 struct isl_basic_set *bset, enum isl_dim_type type, int pos,
125 __isl_give isl_basic_set *isl_basic_set_from_constraint(
|
| H A D | map_type.h | 18 #ifndef isl_basic_set
19 struct __isl_subclass(isl_set) isl_basic_set;
20 typedef struct isl_basic_set isl_basic_set; typedef
|
| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_map_private.h | 13 #define isl_basic_set isl_basic_map macro
81 #define EL isl_basic_set
120 __isl_give isl_basic_set *isl_basic_set_alloc(isl_ctx *ctx,
123 __isl_give isl_basic_set *isl_basic_set_extend_constraints(
124 __isl_take isl_basic_set *base, unsigned n_eq, unsigned n_ineq);
125 __isl_give isl_basic_set *isl_basic_set_finalize(
126 __isl_take isl_basic_set *bset);
127 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset);
128 __isl_give isl_basic_set *isl_basic_set_simplify(
129 __isl_take isl_basic_set *bset);
[all …]
|
| H A D | isl_farkas.c | 214 static __isl_give isl_basic_set *rational_universe(__isl_take isl_space *space) in rational_universe()
216 isl_basic_set *bset; in rational_universe()
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset, in farkas()
243 isl_basic_set *dual = NULL; in farkas()
321 static __isl_give isl_basic_set *isl_basic_set_coefficients_base( in isl_basic_set_coefficients_base()
322 __isl_take isl_basic_set *bset) in isl_basic_set_coefficients_base()
356 isl_basic_set *coeff;
414 static int is_ray(__isl_keep isl_basic_set *bset, int ineq) in is_ray()
426 __isl_keep isl_basic_set *bset, void *user) in isl_basic_set_coefficients_factor()
429 isl_basic_set *coeff; in isl_basic_set_coefficients_factor()
[all …]
|
| H A D | isl_affine_hull.c | 62 __isl_give isl_basic_set *isl_basic_set_implicit_equalities( in isl_basic_set_implicit_equalities()
63 __isl_take isl_basic_set *bset) in isl_basic_set_implicit_equalities()
75 struct isl_basic_set *bset1, struct isl_basic_set *bset2, in set_common_multiple()
96 static void delete_row(__isl_keep isl_basic_set *bset, unsigned row) in delete_row()
118 __isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2, in construct_column()
159 __isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2, in transform_column()
202 static __isl_give isl_basic_set *affine_hull( in affine_hull()
203 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in affine_hull()
317 __isl_give isl_basic_set *isl_basic_set_recession_cone( in isl_basic_set_recession_cone()
318 __isl_take isl_basic_set *bset) in isl_basic_set_recession_cone()
[all …]
|
| H A D | isl_morph.h | 31 isl_basic_set *dom;
32 isl_basic_set *ran;
42 __isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran,
45 __isl_give isl_morph *isl_morph_identity(__isl_keep isl_basic_set *bset);
73 __isl_keep isl_basic_set *bset, enum isl_dim_type type);
75 __isl_keep isl_basic_set *bset, __isl_keep isl_id *id);
77 __isl_keep isl_basic_set *bset);
79 __isl_keep isl_basic_set *bset);
81 __isl_give isl_basic_set *isl_morph_basic_set(__isl_take isl_morph *morph,
82 __isl_take isl_basic_set *bset);
|
| H A D | isl_convex_hull.c | 30 static __isl_give isl_basic_set *uset_convex_hull_wrap_bounded(
92 __isl_give isl_basic_set *isl_basic_set_remove_redundancies( in isl_basic_set_remove_redundancies()
93 __isl_take isl_basic_set *bset) in isl_basic_set_remove_redundancies()
196 static __isl_give isl_basic_set *wrap_constraints(__isl_keep isl_set *set) in wrap_constraints()
198 struct isl_basic_set *lp; in wrap_constraints()
314 struct isl_basic_set *lp = NULL; in isl_set_wrap_facet()
392 struct isl_basic_set *face = NULL; in initial_facet_constraint()
482 static __isl_give isl_basic_set *compute_facet(__isl_keep isl_set *set, in compute_facet()
486 struct isl_basic_set *facet = NULL; in compute_facet()
539 static __isl_give isl_basic_set *extend(__isl_take isl_basic_set *hull, in extend()
[all …]
|
| H A D | pip.c | 65 static __isl_give isl_basic_set *set_bounds(__isl_take isl_basic_set *bset) in ISL_ARGS_START()
70 isl_basic_set *box; in ISL_ARGS_START()
90 static __isl_give isl_basic_set *to_parameter_domain( in to_parameter_domain()
91 __isl_take isl_basic_set *context) in to_parameter_domain()
107 static __isl_give isl_basic_set *move_parameters(__isl_take isl_basic_set *bset, in move_parameters()
108 __isl_keep isl_basic_set *context) in move_parameters()
131 static __isl_give isl_basic_set *plug_in_parameters( in plug_in_parameters()
132 __isl_take isl_basic_set *bset, __isl_take isl_vec *params) in plug_in_parameters()
179 static __isl_give isl_vec *opt_at(__isl_take isl_basic_set *bset, in opt_at()
242 isl_basic_set *bset;
[all …]
|
| H A D | isl_sample.c | 28 __isl_take isl_basic_set *bset);
30 static __isl_give isl_vec *empty_sample(__isl_take isl_basic_set *bset) in empty_sample()
43 static __isl_give isl_vec *zero_sample(__isl_take isl_basic_set *bset) in zero_sample()
63 static __isl_give isl_vec *interval_sample(__isl_take isl_basic_set *bset) 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() argument
157 struct isl_basic_set *bset; in tab_equalities()
535 static __isl_give isl_vec *sample_bounded(__isl_take isl_basic_set *bset);
553 static isl_bool factor_sample(__isl_keep isl_basic_set *bset, void *user) in factor_sample()
581 static __isl_give isl_vec *factored_sample(__isl_take isl_basic_set *bset, in factored_sample()
[all …]
|
| H A D | isl_vertices_private.h | 21 isl_basic_set *dom;
22 isl_basic_set *vertex;
31 isl_basic_set *dom;
38 isl_basic_set *bset;
51 isl_basic_set *dom;
|
| H A D | isl_morph.c | 32 __isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran, in isl_morph_alloc()
384 __isl_give isl_morph *isl_morph_identity(__isl_keep isl_basic_set *bset) in isl_morph_identity()
387 isl_basic_set *universe; in isl_morph_identity()
404 __isl_give isl_morph *isl_morph_empty(__isl_keep isl_basic_set *bset) in isl_morph_empty()
407 isl_basic_set *empty; in isl_morph_empty()
424 static __isl_give isl_basic_set *copy_equalities(__isl_keep isl_basic_set *bset, in copy_equalities()
428 isl_basic_set *eq; in copy_equalities()
477 __isl_keep isl_basic_set *bset, enum isl_dim_type type) in isl_basic_set_variable_compression()
487 isl_basic_set *dom, *ran; in isl_basic_set_variable_compression()
543 __isl_keep isl_basic_set *bset, __isl_keep isl_id *id) in isl_basic_set_variable_compression_with_id()
[all …]
|
| H A D | isl_constraint.c | 123 __isl_take isl_basic_set *bset, isl_int **line) in isl_basic_set_constraint()
201 isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset) in isl_basic_set_n_constraint()
239 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, in isl_basic_set_foreach_constraint()
300 __isl_keep isl_basic_set *bset) in isl_basic_set_get_constraint_list()
345 __isl_give isl_basic_set *isl_basic_set_add_constraint( in isl_basic_set_add_constraint()
346 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint) in isl_basic_set_add_constraint()
744 __isl_give isl_basic_set *isl_basic_set_from_constraint( in isl_basic_set_from_constraint()
796 __isl_keep isl_basic_set *bset, enum isl_dim_type type, int pos, in isl_basic_set_has_defining_equality()
804 struct isl_basic_set *bset, enum isl_dim_type type, int pos, in isl_basic_set_has_defining_inequalities()
869 static __isl_give isl_basic_set *add_larger_bound_constraint( in add_larger_bound_constraint()
[all …]
|
| H A D | isl_tab.h | 193 __isl_keep isl_basic_set *bset, int track);
194 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
199 __isl_give isl_basic_set *isl_basic_set_update_from_tab(
200 __isl_take isl_basic_set *bset, struct isl_tab *tab);
219 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
221 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab);
258 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
261 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
275 __isl_take isl_basic_set *bset, int n_op, int n_region,
283 __isl_take isl_basic_set *bset);
|
| H A D | isl_sample.h | 20 __isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset);
22 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone);
24 __isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec);
|
| H A D | isl_vertices.c | 26 static __isl_give isl_vertices *compute_chambers(__isl_take isl_basic_set *bset,
85 static __isl_give isl_vertices *vertices_from_list(__isl_keep isl_basic_set *bset, in vertices_from_list()
123 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in add_vertex()
169 static __isl_give isl_vertices *vertices_empty(__isl_keep isl_basic_set *bset) in vertices_empty()
194 static __isl_give isl_vertices *vertices_0D(__isl_keep isl_basic_set *bset) in vertices_0D()
268 static isl_bool can_select(__isl_keep isl_basic_set *bset, int level, in can_select()
329 __isl_take isl_basic_set *bset) in lower_dim_vertices()
352 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *copy, in lower_dim_vertices_free()
365 static __isl_give isl_basic_set *detect_implicit_equality_constraints( in detect_implicit_equality_constraints()
366 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in detect_implicit_equality_constraints()
[all …]
|
| H A D | isl_ilp.c | 34 static __isl_give isl_basic_set *unit_box_base_points( in unit_box_base_points()
35 __isl_take isl_basic_set *bset) in unit_box_base_points()
38 struct isl_basic_set *unit_box = NULL; in unit_box_base_points()
85 static __isl_give isl_vec *initial_solution(__isl_keep isl_basic_set *bset, in initial_solution()
89 struct isl_basic_set *unit_box; in initial_solution()
108 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset, in add_bounds()
153 static __isl_give isl_vec *solve_ilp_search(__isl_keep isl_basic_set *bset, in solve_ilp_search()
162 struct isl_basic_set *slice; in solve_ilp_search()
212 static enum isl_lp_result solve_ilp(__isl_keep isl_basic_set *bset, in solve_ilp()
267 static enum isl_lp_result solve_ilp_with_eq(__isl_keep isl_basic_set *bset, in solve_ilp_with_eq()
[all …]
|
| H A D | isl_map.c | 62 __isl_keep const isl_basic_set *bset) in const_bset_to_bmap()
167 isl_size isl_basic_set_var_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_var_offset()
189 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_offset()
200 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset, in isl_basic_set_dim()
206 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset) in isl_basic_set_n_dim()
211 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset) in isl_basic_set_n_param()
216 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset) in isl_basic_set_total_dim()
256 isl_size isl_basic_set_n_equality(__isl_keep isl_basic_set *bset) in isl_basic_set_n_equality()
274 isl_size isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset) in isl_basic_set_n_inequality()
314 enum isl_dim_type type, __isl_keep isl_basic_set *bset) in isl_basic_map_set_tuple_is_equal()
[all …]
|
| H A D | isl_map_lexopt_templ.c | 32 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
40 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
48 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
56 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, in SF()
63 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom, in SF()
|
| H A D | isl_ast_graft_private.h | 35 isl_basic_set *enforced;
51 __isl_take isl_basic_set *enforced, __isl_keep isl_ast_build *build,
71 __isl_give isl_basic_set *isl_ast_graft_get_enforced(
81 __isl_take isl_ast_graft *graft, __isl_take isl_basic_set *enforced);
96 __isl_give isl_basic_set *isl_ast_graft_list_extract_shared_enforced(
|
| H A D | isl_map_simplify.c | 107 __isl_give isl_basic_set *isl_basic_set_normalize_constraints( in isl_basic_set_normalize_constraints()
108 __isl_take isl_basic_set *bset) in isl_basic_set_normalize_constraints()
667 __isl_give isl_basic_set *isl_basic_set_gauss( in isl_basic_set_gauss()
668 __isl_take isl_basic_set *bset, int *progress) in isl_basic_set_gauss()
764 __isl_keep isl_basic_set *bset, int k) in set_hash_index()
772 __isl_keep isl_basic_set *bset) in setup_constraint_index()
1548 __isl_give isl_basic_set *isl_basic_set_simplify( in isl_basic_set_simplify()
1549 __isl_take isl_basic_set *bset) in isl_basic_set_simplify()
1685 __isl_give isl_basic_set *isl_basic_set_finalize( in isl_basic_set_finalize()
1686 __isl_take isl_basic_set *bset) in isl_basic_set_finalize()
[all …]
|
| H A D | isl_factorization.h | 18 isl_basic_set *bset;
26 __isl_keep isl_basic_set *bset);
35 isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user),
|
| H A D | isl_factorization.c | 31 __isl_keep isl_basic_set *bset, __isl_take isl_morph *morph, in isl_factorizer_alloc()
91 __isl_give isl_factorizer *isl_factorizer_identity(__isl_keep isl_basic_set *bset) in isl_factorizer_identity()
96 __isl_give isl_factorizer *isl_factorizer_groups(__isl_keep isl_basic_set *bset, in isl_factorizer_groups()
102 isl_basic_set *dom; in isl_factorizer_groups()
103 isl_basic_set *ran; in isl_factorizer_groups()
269 __isl_keep isl_basic_set *bset) in isl_basic_set_factorizer()
348 isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user), in isl_factorizer_every_factor_basic_set()
354 isl_basic_set *bset; in isl_factorizer_every_factor_basic_set()
367 isl_basic_set *factor; in isl_factorizer_every_factor_basic_set()
|
| H A D | isl_ast_graft.c | 56 __isl_take isl_set *guard, __isl_take isl_basic_set *enforced) in graft_alloc()
89 isl_basic_set *enforced; in isl_ast_graft_alloc()
237 isl_basic_set *hull; in isl_ast_graft_list_extract_hoistable_guard()
270 isl_basic_set *enforced; in isl_ast_graft_list_extract_hoistable_guard()
301 static isl_stat insert_if(__isl_take isl_basic_set *bset, void *user);
354 static isl_stat insert_if(__isl_take isl_basic_set *bset, void *user) in insert_if()
414 __isl_take isl_ast_graft *graft, __isl_take isl_basic_set *enforced) in isl_ast_graft_set_enforced()
431 static __isl_give isl_basic_set *update_enforced( in update_enforced()
432 __isl_take isl_basic_set *enforced, __isl_keep isl_ast_graft *graft, in update_enforced()
436 isl_basic_set *enforced_g; in update_enforced()
[all …]
|
| H A D | isl_ast_build_private.h | 223 __isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds);
225 __isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds);
273 __isl_give isl_basic_set *isl_ast_build_specialize_basic_set(
274 __isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset);
275 __isl_give isl_basic_set *isl_ast_build_compute_gist_basic_set(
276 __isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset);
|