Home
last modified time | relevance | path

Searched refs:isl_tab (Results 1 – 18 of 18) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_tab.h134 struct isl_tab { struct
185 void isl_tab_free(struct isl_tab *tab);
187 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab);
242 void isl_tab_clear_undo(struct isl_tab *tab);
297 struct isl_tab *isl_tab_dup(struct isl_tab *tab);
298 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2);
316 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab) WARN_UNUSED;
317 int isl_tab_add_sample(struct isl_tab *tab,
319 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s);
322 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
[all …]
H A Disl_tab.c37 struct isl_tab *tab; in isl_tab_alloc()
223 struct isl_tab *isl_tab_dup(struct isl_tab *tab) in isl_tab_dup()
226 struct isl_tab *dup; in isl_tab_dup()
434 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2) in isl_tab_product()
437 struct isl_tab *prod; in isl_tab_product()
865 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab) in isl_tab_init_samples()
913 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s) in isl_tab_drop_sample()
1991 static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq) in add_eq()
2388 struct isl_tab *tab; in isl_tab_from_basic_map()
2437 struct isl_tab *tab; in isl_tab_from_recession_cone()
[all …]
H A Disl_tab_pip.c100 struct isl_tab *tab);
131 struct isl_tab *tab;
601 struct isl_tab *tab; in sol_inc_level()
1876 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab, in cut_to_integer_lexmin()
1980 static struct isl_tab *check_integer_feasible(struct isl_tab *tab) in check_integer_feasible()
2304 struct isl_tab *tab; in tab_for_lexmin()
2401 static int best_split(struct isl_tab *tab, struct isl_tab *context_tab) in best_split()
2832 struct isl_tab *tab; in context_tab_for_lexmin()
2882 struct isl_tab *tab;
3092 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq) in add_gbr_eq()
[all …]
H A Disl_sample.h28 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab,
29 struct isl_tab *tab_cone);
30 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab);
H A Disl_basis_reduction.h21 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab);
H A Dbasis_reduction_tab.c20 struct isl_tab *tab;
90 static struct tab_lp *init_lp(struct isl_tab *tab);
118 static struct isl_tab *gbr_tab(struct isl_tab *tab, struct isl_vec *row) in gbr_tab()
121 struct isl_tab *prod; in gbr_tab()
135 static struct tab_lp *init_lp(struct isl_tab *tab) in init_lp()
H A Disl_vertices.c123 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in add_vertex()
269 struct isl_tab *tab, __isl_keep isl_mat *facets, int selected, in can_select()
351 struct isl_tab *tab) in lower_dim_vertices_free()
364 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in detect_implicit_equality_constraints()
421 struct isl_tab *tab; in isl_basic_set_compute_vertices()
571 struct isl_tab *tab) in bset_covers_tab()
621 static isl_bool can_intersect(struct isl_tab *tab, in can_intersect()
721 struct isl_tab *tab; /* A tableau representation of the facet */
921 struct isl_tab *tab = NULL; in compute_chambers()
1181 struct isl_tab *tab; in tab_for_shifted_cone()
[all …]
H A Disl_sample.c149 static struct isl_mat *tab_equalities(struct isl_tab *tab) in tab_equalities()
197 static struct isl_mat *initial_basis(struct isl_tab *tab) in initial_basis()
224 static enum isl_lp_result compute_min(isl_ctx *ctx, struct isl_tab *tab, in compute_min()
277 static int greedy_search(isl_ctx *ctx, struct isl_tab *tab, in greedy_search()
378 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab) in isl_tab_sample()
628 struct isl_tab *tab = NULL; in sample_bounded()
735 struct isl_tab *tab; in rational_sample()
1021 static int tab_shift_cone(struct isl_tab *tab, in tab_shift_cone()
1022 struct isl_tab *tab_cone, struct isl_mat *U) in tab_shift_cone()
1085 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab, in isl_tab_set_initial_basis_with_cone()
[all …]
H A Disl_affine_hull.c35 struct isl_tab *tab; in isl_basic_map_implicit_equalities()
266 static __isl_give isl_vec *outside_point(struct isl_tab *tab, isl_int *eq, in outside_point()
421 static __isl_give isl_basic_set *extend_affine_hull(struct isl_tab *tab, in extend_affine_hull()
503 struct isl_tab *tab = NULL; in uset_affine_hull_bounded()
575 static __isl_give isl_basic_set *initial_hull(struct isl_tab *tab, in initial_hull()
624 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab, in isl_tab_detect_equalities()
625 struct isl_tab *tab_cone) in isl_tab_detect_equalities()
H A Dbasis_reduction_templ.c49 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab) in isl_tab_compute_reduced_basis()
320 struct isl_tab *tab; in isl_basic_set_reduced_basis()
H A Disl_map_subtract.c49 static isl_stat tab_add_constraints(struct isl_tab *tab, in tab_add_constraints()
113 static isl_stat tab_add_constraint(struct isl_tab *tab, in tab_add_constraint()
170 static isl_stat tab_add_divs(struct isl_tab *tab, in tab_add_divs()
226 static int tab_freeze_constraints(struct isl_tab *tab) in tab_freeze_constraints()
241 static int n_non_redundant(isl_ctx *ctx, struct isl_tab *tab, in n_non_redundant()
317 struct isl_tab *tab = NULL; in basic_map_collect_diff()
H A Disl_scan.c55 static int add_solution(struct isl_tab *tab, struct isl_scan_callback *callback) in add_solution()
107 struct isl_tab *tab = NULL; in isl_basic_set_scan()
H A Disl_coalesce.c47 static int status_in(isl_int *ineq, struct isl_tab *tab) in status_in()
68 struct isl_tab *tab_j) in eq_status_in()
102 struct isl_tab *tab_i, struct isl_tab *tab_j) in ineq_status_in()
199 struct isl_tab *tab;
475 __isl_keep isl_basic_map *bmap, struct isl_tab *tab) in number_of_constraints_increases()
516 struct isl_tab *fused_tab = NULL; in fuse()
1435 struct isl_tab *tab, int keep) in check_wraps()
1473 struct isl_tab *tab) in set_from_updated_bmap()
2379 struct isl_tab *tab) in set_eq_status_in()
2391 struct isl_tab *tab) in set_ineq_status_in()
[all …]
H A Disl_lp.c29 struct isl_tab *tab; in isl_tab_solve_lp()
H A Disl_convex_hull.c54 struct isl_tab *tab; in isl_basic_map_remove_redundancies()
812 struct isl_tab *tab; in isl_basic_set_is_bounded()
1080 struct isl_tab *tab; in valid_direction()
1995 struct isl_tab *tab;
H A Disl_map_simplify.c2443 __isl_keep int *row, struct isl_tab *tab) in update_ineq()
2486 struct isl_tab *tab) in update_ineq_free()
2537 struct isl_tab *tab = NULL; in uset_gist_full()
4248 struct isl_tab *tab;
H A Disl_map.c11578 struct isl_tab *tab = NULL; in isl_basic_set_vars_get_sign()
/llvm-project-15.0.7/polly/lib/External/
H A DCMakeLists.txt264 isl/isl_tab.c