Home
last modified time | relevance | path

Searched refs:isl_basic_set (Results 1 – 25 of 92) sorted by relevance

1234

/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dset.h98 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset);
99 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset);
114 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
128 __isl_give isl_basic_set *isl_basic_set_sample(__isl_take isl_basic_set *bset);
154 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset,
156 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,
197 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
200 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
217 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
220 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *dom,
[all …]
H A Dconstraint.h43 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 Dmap_type.h18 #ifndef isl_basic_set
19 struct __isl_subclass(isl_set) isl_basic_set;
20 typedef struct isl_basic_set isl_basic_set; typedef
H A Dvertices.h22 __isl_give isl_basic_set *isl_vertex_get_domain(__isl_keep isl_vertex *vertex);
27 __isl_keep isl_basic_set *bset);
35 __isl_give isl_basic_set *isl_cell_get_domain(__isl_keep isl_cell *cell);
/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_map_private.h13 #define isl_basic_set isl_basic_map macro
81 #define EL isl_basic_set
126 __isl_take isl_basic_set *bset);
127 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset);
151 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *like);
198 __isl_give isl_basic_set *isl_basic_set_extend(__isl_take isl_basic_set *base,
242 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,
246 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,
258 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset);
332 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset,
[all …]
H A Disl_farkas.c216 isl_basic_set *bset; in rational_universe()
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset, in farkas()
356 isl_basic_set *coeff;
429 isl_basic_set *coeff; in isl_basic_set_coefficients_factor()
491 static __isl_give isl_basic_set *add_lines(__isl_take isl_basic_set *bset, in add_lines()
513 static __isl_give isl_basic_set *add_rays(__isl_take isl_basic_set *bset, in add_rays()
602 static __isl_give isl_basic_set *add_vertex(__isl_take isl_basic_set *bset, in add_vertex()
732 isl_basic_set *coeff; in isl_basic_set_coefficients_product()
772 isl_basic_set *coeff; in isl_basic_set_coefficients_morphed_product()
895 isl_basic_set *coeff; in isl_set_coefficients()
[all …]
H A Disl_morph.h31 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 Disl_affine_hull.c63 __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()
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()
203 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in affine_hull()
375 isl_basic_set *point; in add_adjacent_points()
422 __isl_take isl_basic_set *hull, __isl_keep isl_basic_set *bset) in extend_affine_hull()
478 static __isl_give isl_basic_set *initialize_hull(__isl_keep isl_basic_set *bset, in initialize_hull()
481 isl_basic_set *hull; in initialize_hull()
731 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone) in affine_hull_with_cone()
[all …]
H A Disl_convex_hull.c539 static __isl_give isl_basic_set *extend(__isl_take isl_basic_set *hull, in extend()
745 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in convex_hull_pair_elim()
872 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in induced_lineality_space()
994 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in valid_direction_lp()
1077 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in valid_direction()
1224 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in convex_hull_pair_pointed()
1283 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in convex_hull_pair()
2220 static __isl_give isl_basic_set *add_bound(__isl_take isl_basic_set *hull, in add_bound()
2836 isl_basic_set *bset; in collect_inequalities()
2890 isl_basic_set *hull; in uset_unshifted_simple_hull_from_basic_set_list()
[all …]
H A Disl_sample.h20 __isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset);
22 __isl_take isl_basic_set *bset);
24 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone);
26 __isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec);
H A Dpip.c66 static __isl_give isl_basic_set *set_bounds(__isl_take isl_basic_set *bset) in ISL_ARGS_START()
71 isl_basic_set *box; in ISL_ARGS_START()
91 static __isl_give isl_basic_set *to_parameter_domain( in to_parameter_domain()
92 __isl_take isl_basic_set *context) in to_parameter_domain()
108 static __isl_give isl_basic_set *move_parameters(__isl_take isl_basic_set *bset, in move_parameters()
109 __isl_keep isl_basic_set *context) in move_parameters()
132 static __isl_give isl_basic_set *plug_in_parameters( in plug_in_parameters()
133 __isl_take isl_basic_set *bset, __isl_take isl_vec *params) in plug_in_parameters()
243 isl_basic_set *bset;
294 static void check_solution(isl_basic_set *bset, isl_basic_set *context, in check_solution()
[all …]
H A Disl_vertices_private.h21 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 Disl_sample.c154 struct isl_basic_set *bset; in tab_equalities()
697 static __isl_give isl_basic_set *plug_in(__isl_take isl_basic_set *bset, in plug_in()
783 static __isl_give isl_basic_set *shift_cone(__isl_take isl_basic_set *cone, in shift_cone()
789 struct isl_basic_set *shift = NULL; in shift_cone()
944 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone) in isl_basic_set_sample_with_cone()
952 struct isl_basic_set *bounded; in isl_basic_set_sample_with_cone()
1026 struct isl_basic_set *bset = NULL; in tab_shift_cone()
1130 struct isl_basic_set *cone; in gbr_sample()
1212 struct isl_basic_set *bset = NULL; in isl_basic_set_from_vec()
1244 struct isl_basic_set *bset; in isl_basic_map_sample()
[all …]
H A Disl_morph.c32 __isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran, in isl_morph_alloc()
383 isl_basic_set *universe; in isl_morph_identity()
403 isl_basic_set *empty; in isl_morph_empty()
420 static __isl_give isl_basic_set *copy_equalities(__isl_keep isl_basic_set *bset, in copy_equalities()
424 isl_basic_set *eq; in copy_equalities()
483 isl_basic_set *dom, *ran; in isl_basic_set_variable_compression()
565 __isl_keep isl_basic_set *bset) in isl_basic_set_parameter_compression()
573 isl_basic_set *dom, *ran; in isl_basic_set_parameter_compression()
684 isl_basic_set *ran; in isl_morph_set()
715 isl_basic_set *dom, *ran; in isl_morph_compose()
[all …]
H A Disl_tab.h192 __isl_keep isl_basic_set *bset, int track);
193 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
198 __isl_give isl_basic_set *isl_basic_set_update_from_tab(
199 __isl_take isl_basic_set *bset, struct isl_tab *tab);
218 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
220 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab);
257 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
260 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
274 __isl_take isl_basic_set *bset, int n_op, int n_region,
282 __isl_take isl_basic_set *bset);
H A Disl_constraint.c123 __isl_take isl_basic_set *bset, isl_int **line) in isl_basic_set_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()
908 __isl_keep isl_basic_set *context, in set_smallest_upper_bound()
938 __isl_keep isl_basic_set *context, in set_largest_lower_bound()
965 __isl_take isl_basic_set *context, int n_upper, in foreach_upper_bound()
970 isl_basic_set *context_i; in foreach_upper_bound()
1007 __isl_take isl_basic_set *context, int n_lower, in foreach_lower_bound()
1012 isl_basic_set *context_i; in foreach_lower_bound()
1054 isl_basic_set *context_i, *context_j; in foreach_bound_pair()
[all …]
H A Disl_vertices.c327 __isl_take isl_basic_set *bset) in lower_dim_vertices()
350 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *copy, in lower_dim_vertices_free()
419 __isl_keep isl_basic_set *bset) in isl_basic_set_compute_vertices()
433 isl_basic_set *copy; in isl_basic_set_compute_vertices()
434 isl_basic_set *test; in isl_basic_set_compute_vertices()
622 __isl_keep isl_basic_set *bset) in can_intersect()
1076 isl_basic_set *bset; in isl_vertex_get_expr()
1237 __isl_keep isl_basic_set *bset) in isl_basic_set_interior_point()
1531 isl_basic_set *vertex; in triangulate()
1532 isl_basic_set *bset; in triangulate()
[all …]
H A Disl_ilp.c34 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()
311 enum isl_lp_result isl_basic_set_solve_ilp(__isl_keep isl_basic_set *bset, in isl_basic_set_solve_ilp()
[all …]
H A Disl_ast_graft_private.h34 isl_basic_set *enforced;
50 __isl_take isl_basic_set *enforced, __isl_keep isl_ast_build *build,
70 __isl_give isl_basic_set *isl_ast_graft_get_enforced(
80 __isl_take isl_ast_graft *graft, __isl_take isl_basic_set *enforced);
95 __isl_give isl_basic_set *isl_ast_graft_list_extract_shared_enforced(
H A Disl_map_lexopt_templ.c32 __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 Disl_factorization.h18 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 Disl_map.c1457 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset) in isl_basic_set_dup()
1465 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset) in isl_basic_set_copy()
2054 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset) in isl_basic_set_cow()
3778 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in isl_basic_set_intersect()
3785 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in isl_basic_set_intersect_params()
5783 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *like) in isl_basic_set_from_underlying_set()
6255 __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range) in isl_basic_map_from_domain_and_range()
8963 isl_basic_set *neg; in neg_halfspace()
8988 isl_basic_set *neg; in isl_set_split_dims()
9875 __isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2, in basic_set_maximal_difference_at()
[all …]
H A Disl_dim_map.h24 __isl_give isl_basic_set *isl_basic_set_add_constraints_dim_map(
25 __isl_take isl_basic_set *dst, __isl_take isl_basic_set *src,
H A Disl_factorization.c31 __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()
103 isl_basic_set *dom; in isl_factorizer_groups()
104 isl_basic_set *ran; in isl_factorizer_groups()
270 __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 Disl_map_simplify.c2009 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *context) in isl_basic_set_reduce_using_equalities()
2099 __isl_take isl_basic_set *bset, __isl_keep isl_basic_set *context) in remove_shifted_constraints()
2339 __isl_take isl_basic_set *context, __isl_keep isl_basic_set *bset) in drop_irrelevant_constraints()
2442 static __isl_give isl_basic_set *update_ineq(__isl_take isl_basic_set *bset, in update_ineq()
2589 isl_basic_set *test; in uset_gist_full()
2649 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *context) in uset_gist_uncompressed()
2700 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *context, in uset_gist_compressed()
2758 __isl_take isl_basic_set *bset, __isl_keep isl_basic_set *template) in project_onto_involved()
2807 static __isl_give isl_basic_set *uset_gist(__isl_take isl_basic_set *bset, in uset_gist()
2812 isl_basic_set *aff; in uset_gist()
[all …]

1234