|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/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)
118 static struct isl_tab *gbr_tab(struct isl_tab *tab, struct isl_vec *row)
121 struct isl_tab *prod;
135 static struct tab_lp *init_lp(struct isl_tab *tab)
tools/polly/lib/External/isl/basis_reduction_templ.c 49 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab)
49 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab)
320 struct isl_tab *tab;
tools/polly/lib/External/isl/isl_affine_hull.c 35 struct isl_tab *tab;
250 static struct isl_vec *outside_point(struct isl_tab *tab, isl_int *eq, int up)
402 static __isl_give isl_basic_set *extend_affine_hull(struct isl_tab *tab,
483 struct isl_tab *tab = NULL;
553 static __isl_give isl_basic_set *initial_hull(struct isl_tab *tab,
601 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
601 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
602 struct isl_tab *tab_cone)
tools/polly/lib/External/isl/isl_basis_reduction.h 21 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab);
21 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab);
tools/polly/lib/External/isl/isl_coalesce.c 45 static int status_in(isl_int *ineq, struct isl_tab *tab)
66 struct isl_tab *tab_j)
96 struct isl_tab *tab_i, struct isl_tab *tab_j)
96 struct isl_tab *tab_i, struct isl_tab *tab_j)
191 struct isl_tab *tab;
457 __isl_keep isl_basic_map *bmap, struct isl_tab *tab)
493 struct isl_tab *fused_tab = NULL;
644 static isl_bool contains(struct isl_coalesce_info *info, struct isl_tab *tab)
1383 struct isl_tab *tab)
1418 struct isl_tab *tab)
1709 static enum isl_ineq_type type_of_relaxed(struct isl_tab *tab, isl_int *ineq)
2102 struct isl_tab *tab)
2114 struct isl_tab *tab)
2716 static isl_stat copy_ineq(struct isl_tab *tab, __isl_keep isl_basic_map *bmap)
3459 static int add_sub_equalities(struct isl_tab *tab,
tools/polly/lib/External/isl/isl_convex_hull.c 54 struct isl_tab *tab;
833 struct isl_tab *tab;
1096 struct isl_tab *tab;
1950 struct isl_tab *tab;
tools/polly/lib/External/isl/isl_lp.c 29 struct isl_tab *tab;
tools/polly/lib/External/isl/isl_map.c10828 struct isl_tab *tab = NULL;
tools/polly/lib/External/isl/isl_map_simplify.c 2242 __isl_keep int *row, struct isl_tab *tab)
2285 struct isl_tab *tab)
2336 struct isl_tab *tab = NULL;
3992 struct isl_tab *tab;
tools/polly/lib/External/isl/isl_map_subtract.c 49 static isl_stat tab_add_constraints(struct isl_tab *tab,
109 static isl_stat tab_add_constraint(struct isl_tab *tab,
162 static isl_stat tab_add_divs(struct isl_tab *tab,
216 static int tab_freeze_constraints(struct isl_tab *tab)
231 static int n_non_redundant(isl_ctx *ctx, struct isl_tab *tab,
307 struct isl_tab *tab = NULL;
tools/polly/lib/External/isl/isl_sample.c 144 static struct isl_mat *tab_equalities(struct isl_tab *tab)
192 static struct isl_mat *initial_basis(struct isl_tab *tab)
219 static enum isl_lp_result compute_min(isl_ctx *ctx, struct isl_tab *tab,
232 static enum isl_lp_result compute_max(isl_ctx *ctx, struct isl_tab *tab,
272 static int greedy_search(isl_ctx *ctx, struct isl_tab *tab,
373 struct isl_vec *isl_tab_sample(struct isl_tab *tab)
608 struct isl_tab *tab = NULL;
713 struct isl_tab *tab;
998 static int tab_shift_cone(struct isl_tab *tab,
999 struct isl_tab *tab_cone, struct isl_mat *U)
1062 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab,
1063 struct isl_tab *tab_cone)
tools/polly/lib/External/isl/isl_sample.h 28 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab,
29 struct isl_tab *tab_cone);
30 struct isl_vec *isl_tab_sample(struct isl_tab *tab);
tools/polly/lib/External/isl/isl_scan.c 55 static int add_solution(struct isl_tab *tab, struct isl_scan_callback *callback)
107 struct isl_tab *tab = NULL;
tools/polly/lib/External/isl/isl_tab.c 33 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx,
37 struct isl_tab *tab;
100 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab)
105 int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new)
151 int isl_tab_extend_vars(struct isl_tab *tab, unsigned n_new)
193 static void free_undo(struct isl_tab *tab)
204 void isl_tab_free(struct isl_tab *tab)
223 struct isl_tab *isl_tab_dup(struct isl_tab *tab)
223 struct isl_tab *isl_tab_dup(struct isl_tab *tab)
226 struct isl_tab *dup;
434 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2)
434 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2)
434 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2)
437 struct isl_tab *prod;
563 static struct isl_tab_var *var_from_index(struct isl_tab *tab, int i)
571 struct isl_tab_var *isl_tab_var_from_row(struct isl_tab *tab, int i)
576 static struct isl_tab_var *var_from_col(struct isl_tab *tab, int i)
585 static int max_is_manifestly_unbounded(struct isl_tab *tab,
606 static int min_is_manifestly_unbounded(struct isl_tab *tab,
623 static int row_cmp(struct isl_tab *tab, int r1, int r2, int c, isl_int *t)
660 static int pivot_row(struct isl_tab *tab,
705 static void find_pivot(struct isl_tab *tab,
742 int isl_tab_row_is_redundant(struct isl_tab *tab, int row)
770 static void swap_rows(struct isl_tab *tab, int row1, int row2)
789 static isl_stat push_union(struct isl_tab *tab,
799 static isl_stat push_union(struct isl_tab *tab,
824 isl_stat isl_tab_push_var(struct isl_tab *tab,
835 isl_stat isl_tab_push(struct isl_tab *tab, enum isl_tab_undo_type type)
844 isl_stat isl_tab_push_basis(struct isl_tab *tab)
857 isl_stat isl_tab_push_callback(struct isl_tab *tab,
865 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab)
865 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab)
884 int isl_tab_add_sample(struct isl_tab *tab, __isl_take isl_vec *sample)
913 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s)
913 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s)
933 isl_stat isl_tab_save_samples(struct isl_tab *tab)
956 int isl_tab_mark_redundant(struct isl_tab *tab, int row)
985 int isl_tab_mark_rational(struct isl_tab *tab)
996 isl_stat isl_tab_mark_empty(struct isl_tab *tab)
1007 int isl_tab_freeze_constraint(struct isl_tab *tab, int con)
1044 static void update_row_sign(struct isl_tab *tab, int row, int col, int row_sgn)
1125 int isl_tab_pivot(struct isl_tab *tab, int row, int col)
1204 static int to_row(struct isl_tab *tab, struct isl_tab_var *var, int sign) WARN_UNUSED;
1205 static int to_row(struct isl_tab *tab, struct isl_tab_var *var, int sign)
1230 static void check_table(struct isl_tab *tab) __attribute__ ((unused));
1231 static void check_table(struct isl_tab *tab)
1264 static int sign_of_max(struct isl_tab *tab, struct isl_tab_var *var)
1284 int isl_tab_sign_of_max(struct isl_tab *tab, int con)
1298 static int row_is_neg(struct isl_tab *tab, int row)
1309 static int row_sgn(struct isl_tab *tab, int row)
1324 static int restore_row(struct isl_tab *tab, struct isl_tab_var *var)
1345 static int at_least_zero(struct isl_tab *tab, struct isl_tab_var *var)
1378 static int sign_of_min(struct isl_tab *tab, struct isl_tab_var *var)
1432 static int row_at_most_neg_one(struct isl_tab *tab, int row)
1454 int isl_tab_min_at_most_neg_one(struct isl_tab *tab, struct isl_tab_var *var)
1513 static int at_least_one(struct isl_tab *tab, struct isl_tab_var *var)
1535 static void swap_cols(struct isl_tab *tab, int col1, int col2)
1559 int isl_tab_kill_col(struct isl_tab *tab, int col)
1579 static int row_is_manifestly_non_integral(struct isl_tab *tab, int row)
1597 static int tab_is_manifestly_empty(struct isl_tab *tab)
1633 static isl_stat close_row(struct isl_tab *tab, struct isl_tab_var *var,
1635 static isl_stat close_row(struct isl_tab *tab, struct isl_tab_var *var,
1677 int isl_tab_allocate_con(struct isl_tab *tab)
1707 static int var_insert_entry(struct isl_tab *tab, int first)
1736 static int var_drop_entry(struct isl_tab *tab, int first)
1761 int isl_tab_insert_var(struct isl_tab *tab, int r)
1793 int isl_tab_allocate_var(struct isl_tab *tab)
1823 int isl_tab_add_row(struct isl_tab *tab, isl_int *line)
1871 static isl_stat drop_row(struct isl_tab *tab, int row)
1888 static isl_stat drop_col(struct isl_tab *tab, int col)
1907 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq)
1964 static int to_col(struct isl_tab *tab, struct isl_tab_var *var) WARN_UNUSED;
1965 static int to_col(struct isl_tab *tab, struct isl_tab_var *var)
2002 static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq)
2002 static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq)
2033 static int row_is_big(struct isl_tab *tab, int row)
2038 static int row_is_manifestly_zero(struct isl_tab *tab, int row)
2055 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq)
2096 static int add_zero_row(struct isl_tab *tab)
2119 int isl_tab_add_eq(struct isl_tab *tab, isl_int *eq)
2247 static isl_stat add_div_constraints(struct isl_tab *tab, unsigned div,
2296 static int div_is_nonneg(struct isl_tab *tab, __isl_keep isl_vec *div)
2329 int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div,
2378 int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div)
2390 __isl_give struct isl_tab *isl_tab_from_basic_map(
2394 struct isl_tab *tab;
2430 __isl_give struct isl_tab *isl_tab_from_basic_set(
2438 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
2443 struct isl_tab *tab;
2493 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab)
2527 int isl_tab_sample_is_integer(struct isl_tab *tab)
2546 static struct isl_vec *extract_integer_sample(struct isl_tab *tab)
2569 struct isl_vec *isl_tab_get_sample_value(struct isl_tab *tab)
2607 static void get_rounded_sample_value(struct isl_tab *tab,
2629 struct isl_tab *tab)
2658 struct isl_tab *tab)
2667 static isl_stat drop_last_con_in_row(struct isl_tab *tab, int r)
2692 static isl_stat cut_to_hyperplane(struct isl_tab *tab, struct isl_tab_var *var)
2770 int isl_tab_relax(struct isl_tab *tab, int con)
2834 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift)
2880 int isl_tab_unrestrict(struct isl_tab *tab, int con)
2898 int isl_tab_select_facet(struct isl_tab *tab, int con)
2906 static int may_be_equality(struct isl_tab *tab, int row)
2924 static struct isl_tab_var *select_marked(struct isl_tab *tab)
2961 int isl_tab_detect_implicit_equalities(struct isl_tab *tab)
3023 static int update_con_after_move(struct isl_tab *tab, int i, int old)
3043 static int rotate_constraints(struct isl_tab *tab, int first, int n)
3095 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
3120 static int con_is_redundant(struct isl_tab *tab, struct isl_tab_var *var)
3150 int isl_tab_detect_redundant(struct isl_tab *tab)
3204 int isl_tab_is_equality(struct isl_tab *tab, int con)
3237 enum isl_lp_result isl_tab_min(struct isl_tab *tab,
3314 int isl_tab_is_redundant(struct isl_tab *tab, int con)
3336 static isl_bool is_constant(struct isl_tab *tab, struct isl_tab_var *var,
3369 static int reached(struct isl_tab *tab, struct isl_tab_var *var, int sgn,
3397 static isl_bool var_reaches(struct isl_tab *tab, struct isl_tab_var *var,
3440 static isl_bool detect_constant_with_tmp(struct isl_tab *tab,
3494 static isl_bool get_constant(struct isl_tab *tab, struct isl_tab_var *var,
3527 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value)
3546 isl_stat isl_tab_detect_constants(struct isl_tab *tab)
3566 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab)
3577 isl_bool isl_tab_need_undo(struct isl_tab *tab)
3590 void isl_tab_clear_undo(struct isl_tab *tab)
3601 static isl_stat unrelax(struct isl_tab *tab, struct isl_tab_var *var)
3603 static isl_stat unrelax(struct isl_tab *tab, struct isl_tab_var *var)
3639 static isl_stat ununrestrict(struct isl_tab *tab, struct isl_tab_var *var)
3656 static isl_stat restore_last_redundant(struct isl_tab *tab)
3672 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)
3674 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)
3733 isl_stat isl_tab_restore_redundant(struct isl_tab *tab)
3759 static isl_stat drop_bmap_div(struct isl_tab *tab, int pos)
3786 static int restore_basis(struct isl_tab *tab, int *col_var)
3835 static void drop_samples_since(struct isl_tab *tab, int n)
3853 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
3855 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
3899 int isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap)
3936 static enum isl_ineq_type separation_type(struct isl_tab *tab, unsigned row)
3975 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq)
4025 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
4051 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
4064 static void isl_tab_print_internal(__isl_keep struct isl_tab *tab,
4141 void isl_tab_dump(__isl_keep struct isl_tab *tab)
tools/polly/lib/External/isl/isl_tab.h 183 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx,
185 void isl_tab_free(struct isl_tab *tab);
187 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab);
189 __isl_give struct isl_tab *isl_tab_from_basic_map(
191 __isl_give struct isl_tab *isl_tab_from_basic_set(
193 struct isl_tab *isl_tab_from_recession_cone(struct isl_basic_set *bset,
195 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab);
197 struct isl_tab *tab);
199 struct isl_tab *tab);
200 int isl_tab_detect_implicit_equalities(struct isl_tab *tab) WARN_UNUSED;
201 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
203 int isl_tab_detect_redundant(struct isl_tab *tab) WARN_UNUSED;
204 isl_stat isl_tab_restore_redundant(struct isl_tab *tab);
206 enum isl_lp_result isl_tab_min(struct isl_tab *tab,
210 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) WARN_UNUSED;
211 int isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
212 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
214 int isl_tab_freeze_constraint(struct isl_tab *tab, int con) WARN_UNUSED;
216 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
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);
222 int isl_tab_is_equality(struct isl_tab *tab, int con);
223 int isl_tab_is_redundant(struct isl_tab *tab, int con);
225 int isl_tab_sample_is_integer(struct isl_tab *tab);
226 struct isl_vec *isl_tab_get_sample_value(struct isl_tab *tab);
237 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq);
239 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab);
240 int isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap) WARN_UNUSED;
241 isl_bool isl_tab_need_undo(struct isl_tab *tab);
242 void isl_tab_clear_undo(struct isl_tab *tab);
244 int isl_tab_relax(struct isl_tab *tab, int con) WARN_UNUSED;
245 int isl_tab_select_facet(struct isl_tab *tab, int con) WARN_UNUSED;
246 int isl_tab_unrestrict(struct isl_tab *tab, int con) WARN_UNUSED;
248 void isl_tab_dump(__isl_keep struct isl_tab *tab);
293 struct isl_tab_var *isl_tab_var_from_row(struct isl_tab *tab, int i);
294 int isl_tab_mark_redundant(struct isl_tab *tab, int row) WARN_UNUSED;
295 int isl_tab_mark_rational(struct isl_tab *tab) WARN_UNUSED;
296 isl_stat isl_tab_mark_empty(struct isl_tab *tab) WARN_UNUSED;
297 struct isl_tab *isl_tab_dup(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);
298 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2);
298 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2);
299 int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new) WARN_UNUSED;
300 int isl_tab_allocate_con(struct isl_tab *tab) WARN_UNUSED;
301 int isl_tab_extend_vars(struct isl_tab *tab, unsigned n_new) WARN_UNUSED;
302 int isl_tab_allocate_var(struct isl_tab *tab) WARN_UNUSED;
303 int isl_tab_insert_var(struct isl_tab *tab, int pos) WARN_UNUSED;
304 int isl_tab_pivot(struct isl_tab *tab, int row, int col) WARN_UNUSED;
305 int isl_tab_add_row(struct isl_tab *tab, isl_int *line) WARN_UNUSED;
306 int isl_tab_row_is_redundant(struct isl_tab *tab, int row);
307 int isl_tab_min_at_most_neg_one(struct isl_tab *tab, struct isl_tab_var *var);
308 int isl_tab_sign_of_max(struct isl_tab *tab, int con);
309 int isl_tab_kill_col(struct isl_tab *tab, int col) WARN_UNUSED;
311 isl_stat isl_tab_push(struct isl_tab *tab, enum isl_tab_undo_type type)
313 isl_stat isl_tab_push_var(struct isl_tab *tab,
315 isl_stat isl_tab_push_basis(struct isl_tab *tab) WARN_UNUSED;
317 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab) WARN_UNUSED;
317 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab) WARN_UNUSED;
318 int isl_tab_add_sample(struct isl_tab *tab,
320 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s);
320 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s);
321 isl_stat isl_tab_save_samples(struct isl_tab *tab) WARN_UNUSED;
323 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
323 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
324 struct isl_tab *tab_cone) WARN_UNUSED;
325 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value);
326 isl_stat isl_tab_detect_constants(struct isl_tab *tab);
328 isl_stat isl_tab_push_callback(struct isl_tab *tab,
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);
335 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift) WARN_UNUSED;
tools/polly/lib/External/isl/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;
591 struct isl_tab *tab;
662 static void sol_add(struct isl_sol *sol, struct isl_tab *tab)
832 static void get_row_parameter_line(struct isl_tab *tab, int row, isl_int *line)
863 static int identical_parameter_line(struct isl_tab *tab, int row1, int row2)
895 static struct isl_vec *get_row_parameter_ineq(struct isl_tab *tab, int row)
945 static struct isl_vec *get_row_parameter_div(struct isl_tab *tab, int row)
973 static struct isl_vec *get_row_split_div(struct isl_tab *tab, int row)
1034 static struct isl_tab *set_row_cst_to_div(struct isl_tab *tab, int row, int div)
1034 static struct isl_tab *set_row_cst_to_div(struct isl_tab *tab, int row, int div)
1071 static int is_obviously_neg(struct isl_tab *tab, int row)
1120 static int is_obviously_nonneg(struct isl_tab *tab, int row)
1177 static int lexmin_col_pair(struct isl_tab *tab,
1226 static int is_parameter_var(struct isl_tab *tab, int index)
1239 static int col_is_parameter_var(struct isl_tab *tab, int col)
1246 static int row_is_parameter_var(struct isl_tab *tab, int row)
1257 static int lexmin_pivot_col(struct isl_tab *tab, int row)
1296 static int first_neg(struct isl_tab *tab)
1330 static void check_lexpos(struct isl_tab *tab) __attribute__ ((unused));
1331 static void check_lexpos(struct isl_tab *tab)
1364 static int report_conflicting_constraint(struct isl_tab *tab, int con)
1374 static int report_conflict(struct isl_tab *tab, int row)
1409 static int restore_lexmin(struct isl_tab *tab) WARN_UNUSED;
1410 static int restore_lexmin(struct isl_tab *tab)
1456 static int last_var_col_or_int_par_col(struct isl_tab *tab, int row)
1489 static struct isl_tab *add_lexmin_valid_eq(struct isl_tab *tab, isl_int *eq)
1489 static struct isl_tab *add_lexmin_valid_eq(struct isl_tab *tab, isl_int *eq)
1529 static int is_constant(struct isl_tab *tab, int row)
1540 static int is_parametric_constant(struct isl_tab *tab, int row)
1568 static int add_lexmin_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
1569 static int add_lexmin_eq(struct isl_tab *tab, isl_int *eq)
1647 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq)
1647 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq)
1686 static int integer_parameter(struct isl_tab *tab, int row)
1714 static int integer_variable(struct isl_tab *tab, int row)
1731 static int integer_constant(struct isl_tab *tab, int row)
1752 static int next_non_integer_var(struct isl_tab *tab, int var, int *f)
1786 static int first_non_integer_row(struct isl_tab *tab, int *f)
1815 static int add_cut(struct isl_tab *tab, int row)
1866 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab,
1866 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab,
1907 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq)
1907 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq)
1944 static int sample_is_finite(struct isl_tab *tab)
1970 static struct isl_tab *check_integer_feasible(struct isl_tab *tab)
1970 static struct isl_tab *check_integer_feasible(struct isl_tab *tab)
2006 static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq)
2035 static isl_bool context_tab_insert_div(struct isl_tab *tab, int pos,
2080 static int add_div(struct isl_tab *tab, struct isl_context *context,
2086 struct isl_tab *context_tab = context->op->peek_tab(context);
2115 static int find_div(struct isl_tab *tab, isl_int *div, isl_int denom)
2133 static int get_div(struct isl_tab *tab, struct isl_context *context,
2137 struct isl_tab *context_tab = context->op->peek_tab(context);
2172 static int add_parametric_cut(struct isl_tab *tab, int row,
2279 static __isl_give struct isl_tab *tab_for_lexmin(__isl_keep isl_basic_map *bmap,
2283 struct isl_tab *tab;
2372 static int best_split(struct isl_tab *tab, struct isl_tab *context_tab)
2372 static int best_split(struct isl_tab *tab, struct isl_tab *context_tab)
2453 static struct isl_tab *context_lex_peek_tab(struct isl_context *context)
2514 static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq,
2587 static int context_lex_get_div(struct isl_context *context, struct isl_tab *tab,
2616 struct isl_tab *tab)
2622 struct isl_tab *tab)
2685 static struct isl_tab *tab_detect_nonnegative_parameters(struct isl_tab *tab,
2685 static struct isl_tab *tab_detect_nonnegative_parameters(struct isl_tab *tab,
2686 struct isl_tab *context_tab)
2739 static struct isl_tab *context_lex_detect_nonnegative_parameters(
2740 struct isl_context *context, struct isl_tab *tab)
2801 static struct isl_tab *context_tab_for_lexmin(__isl_take isl_basic_set *bset)
2803 struct isl_tab *tab;
2853 struct isl_tab *tab;
2854 struct isl_tab *shifted;
2855 struct isl_tab *cone;
2858 static struct isl_tab *context_gbr_detect_nonnegative_parameters(
2859 struct isl_context *context, struct isl_tab *tab)
2876 static struct isl_tab *context_gbr_peek_tab(struct isl_context *context)
3061 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq)
3061 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq)
3259 static int last_non_zero_var_col(struct isl_tab *tab, isl_int *p)
3298 struct isl_tab *tab, unsigned first)
3362 struct isl_tab *tab)
3394 static int context_gbr_get_div(struct isl_context *context, struct isl_tab *tab,
3430 struct isl_tab *tab)
3706 static int is_critical(struct isl_tab *tab, int row)
3801 static enum isl_tab_row_sign row_sign(struct isl_tab *tab,
3872 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab);
3888 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)
3917 struct isl_tab *tab, struct isl_vec *ineq)
3948 static void reset_any_to_unknown(struct isl_tab *tab)
4054 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab)
4206 static void find_solutions_main(struct isl_sol *sol, struct isl_tab *tab)
4368 struct isl_tab *tab;
4948 static __isl_give isl_vec *extract_sample_sequence(struct isl_tab *tab,
4979 static isl_bool region_is_trivial(struct isl_tab *tab, int pos,
5024 struct isl_tab *tab;
5078 static int force_better_solution(struct isl_tab *tab,
5123 static isl_stat fix_zero(struct isl_tab *tab, struct isl_trivial_region *region,
5148 static struct isl_tab *pos_neg(struct isl_tab *tab,
5148 static struct isl_tab *pos_neg(struct isl_tab *tab,
5510 struct isl_tab *tab;
tools/polly/lib/External/isl/isl_vertices.c 123 __isl_keep isl_basic_set *bset, struct isl_tab *tab)
267 struct isl_tab *tab, __isl_keep isl_mat *facets, int selected,
378 struct isl_tab *tab;
516 struct isl_tab *tab)
566 static isl_bool can_intersect(struct isl_tab *tab,
601 __isl_keep isl_vertices *vertices, struct isl_tab *tab, int *selection)
661 struct isl_tab *tab; /* A tableau representation of the facet */
681 static struct isl_facet_todo *create_todo(struct isl_tab *tab, int con)
733 static int init_todo(struct isl_facet_todo **next, struct isl_tab *tab)
791 static int update_todo(struct isl_facet_todo *first, struct isl_tab *tab)
860 struct isl_tab *tab = NULL;
1106 static struct isl_tab *tab_for_shifted_cone(__isl_keep isl_basic_set *bset)
1110 struct isl_tab *tab;
1167 struct isl_tab *tab;