| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_tab.h | 135 struct isl_tab { struct
184 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx, argument
186 void isl_tab_free(struct isl_tab *tab);
188 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab);
190 __isl_give struct isl_tab *isl_tab_from_basic_map(
192 __isl_give struct isl_tab *isl_tab_from_basic_set(
194 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
196 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab);
198 __isl_take isl_basic_map *bmap, struct isl_tab *tab);
200 __isl_take isl_basic_set *bset, struct isl_tab *tab);
[all …]
|
| H A D | isl_tab.c | 33 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx, in isl_tab_alloc()
37 struct isl_tab *tab; in isl_tab_alloc()
40 tab = isl_calloc_type(ctx, struct isl_tab); in isl_tab_alloc()
100 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab) in isl_tab_get_ctx()
105 int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new) in isl_tab_extend_cons()
151 int isl_tab_extend_vars(struct isl_tab *tab, unsigned n_new) in isl_tab_extend_vars()
193 static void free_undo(struct isl_tab *tab) in free_undo()
204 void isl_tab_free(struct isl_tab *tab) in isl_tab_free()
223 struct isl_tab *isl_tab_dup(struct isl_tab *tab) in isl_tab_dup()
226 struct isl_tab *dup; in isl_tab_dup()
[all …]
|
| H A D | isl_tab_pip.c | 70 struct isl_tab *(*detect_nonnegative_parameters)(
71 struct isl_context *context, struct isl_tab *tab);
75 struct isl_tab *(*peek_tab)(struct isl_context *context);
94 int (*get_div)(struct isl_context *context, struct isl_tab *tab,
100 struct isl_tab *tab);
102 int (*best_split)(struct isl_context *context, struct isl_tab *tab);
131 struct isl_tab *tab;
627 struct isl_tab *tab; in sol_inc_level()
698 static void sol_add(struct isl_sol *sol, struct isl_tab *tab) in sol_add()
868 static void get_row_parameter_line(struct isl_tab *tab, int row, isl_int *line) in get_row_parameter_line()
[all …]
|
| H A D | isl_sample.h | 26 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab,
27 struct isl_tab *tab_cone);
28 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab);
|
| H A D | isl_basis_reduction.h | 21 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab);
|
| H A D | basis_reduction_tab.c | 20 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 D | isl_vertices.c | 123 __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()
353 struct isl_tab *tab) in lower_dim_vertices_free()
366 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in detect_implicit_equality_constraints()
423 struct isl_tab *tab; in isl_basic_set_compute_vertices()
573 struct isl_tab *tab) in bset_covers_tab()
623 static isl_bool can_intersect(struct isl_tab *tab, in can_intersect()
663 __isl_keep isl_vertices *vertices, struct isl_tab *tab, int *selection) in add_chamber()
723 struct isl_tab *tab; /* A tableau representation of the facet */
743 static struct isl_facet_todo *create_todo(struct isl_tab *tab, int con) in create_todo()
[all …]
|
| H A D | isl_sample.c | 152 static struct isl_mat *tab_equalities(struct isl_tab *tab) in tab_equalities()
200 static struct isl_mat *initial_basis(struct isl_tab *tab) in initial_basis()
227 static enum isl_lp_result compute_min(isl_ctx *ctx, struct isl_tab *tab, in compute_min()
240 static enum isl_lp_result compute_max(isl_ctx *ctx, struct isl_tab *tab, in compute_max()
280 static int greedy_search(isl_ctx *ctx, struct isl_tab *tab, in greedy_search()
381 __isl_give isl_vec *isl_tab_sample(struct isl_tab *tab) in isl_tab_sample()
631 struct isl_tab *tab = NULL; in sample_bounded()
738 struct isl_tab *tab; in rational_sample()
1024 static int tab_shift_cone(struct isl_tab *tab, in tab_shift_cone()
1025 struct isl_tab *tab_cone, struct isl_mat *U) in tab_shift_cone()
[all …]
|
| H A D | isl_affine_hull.c | 35 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 D | basis_reduction_templ.c | 49 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab) in isl_tab_compute_reduced_basis()
319 struct isl_tab *tab; in isl_basic_set_reduced_basis()
|
| H A D | isl_map_subtract.c | 49 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 D | isl_scan.c | 55 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 D | isl_coalesce.c | 47 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()
671 static isl_bool contains(struct isl_coalesce_info *info, struct isl_tab *tab) in contains()
1435 struct isl_tab *tab, int keep) in check_wraps()
1473 struct isl_tab *tab) in set_from_updated_bmap()
1984 static enum isl_ineq_type type_of_relaxed(struct isl_tab *tab, isl_int *ineq) in type_of_relaxed()
[all …]
|
| H A D | isl_lp.c | 29 struct isl_tab *tab; in isl_tab_solve_lp()
|
| H A D | Makefile.am | 219 isl_tab.c \
220 isl_tab.h \
|
| H A D | Makefile.in | 252 isl_stride.c isl_tab.c isl_tab.h isl_tab_pip.c isl_tarjan.c \
293 isl_tab.lo isl_tab_pip.lo isl_tarjan.lo \
507 ./$(DEPDIR)/isl_tab.Plo ./$(DEPDIR)/isl_tab_pip.Plo \
1213 isl_tab.c \
1214 isl_tab.h \
1945 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/isl_tab.Plo@am__quote@ # am--include-marker
2841 -rm -f ./$(DEPDIR)/isl_tab.Plo
3003 -rm -f ./$(DEPDIR)/isl_tab.Plo
|
| H A D | isl_convex_hull.c | 54 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 D | isl_map_simplify.c | 2443 __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 D | isl_map.c | 11683 struct isl_tab *tab = NULL; in isl_basic_set_vars_get_sign()
|
| /netbsd-src/external/mit/isl/lib/libisl/ |
| H A D | Makefile | 157 isl_tab.c \
|