Home | History | Annotate | Download | only in dist

Lines Matching refs:isl_tab

20 #include "isl_tab.h"
33 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx,
37 	struct isl_tab *tab;
40 	tab = isl_calloc_type(ctx, struct isl_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)
226 	struct isl_tab *dup;
233 	dup = isl_calloc_type(tab->mat->ctx, struct isl_tab);
434 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2)
437 	struct isl_tab *prod;
459 	prod = isl_calloc_type(tab1->mat->ctx, struct isl_tab);
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)
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)
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
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)
1812 int isl_tab_add_row(struct isl_tab *tab, isl_int *line)
1860 static isl_stat drop_row(struct isl_tab *tab, int row)
1877 static isl_stat drop_col(struct isl_tab *tab, int col)
1896 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq)
1953 static int to_col(struct isl_tab *tab, struct isl_tab_var *var) WARN_UNUSED;
1954 static int to_col(struct isl_tab *tab, struct isl_tab_var *var)
1991 static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq)
2022 static int row_is_big(struct isl_tab *tab, int row)
2027 static int row_is_manifestly_zero(struct isl_tab *tab, int row)
2044 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq)
2085 static int add_zero_row(struct isl_tab *tab)
2108 isl_stat isl_tab_add_eq(struct isl_tab *tab, isl_int *eq)
2237 static isl_stat add_div_constraints(struct isl_tab *tab, unsigned div,
2288 static int div_is_nonneg(struct isl_tab *tab, __isl_keep isl_vec *div)
2321 int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div,
2372 int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div)
2384 __isl_give struct isl_tab *isl_tab_from_basic_map(
2388 	struct isl_tab *tab;
2424 __isl_give struct isl_tab *isl_tab_from_basic_set(
2432 struct isl_tab
2437 	struct isl_tab *tab;
2489 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab)
2523 int isl_tab_sample_is_integer(struct isl_tab *tab)
2542 static struct isl_vec *extract_integer_sample(struct isl_tab *tab)
2565 __isl_give isl_vec *isl_tab_get_sample_value(struct isl_tab *tab)
2603 static void get_rounded_sample_value(struct isl_tab *tab,
2625 	__isl_take isl_basic_map *bmap, struct isl_tab *tab)
2654 	__isl_take isl_basic_set *bset, struct isl_tab *tab)
2663 static isl_stat drop_last_con_in_row(struct isl_tab *tab, int r)
2688 static isl_stat cut_to_hyperplane(struct isl_tab *tab, struct isl_tab_var *var)
2751 static isl_stat isl_tab_check_con(struct isl_tab *tab, int con)
2778 int isl_tab_relax(struct isl_tab *tab, int con)
2842 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift)
2888 int isl_tab_unrestrict(struct isl_tab *tab, int con)
2906 int isl_tab_select_facet(struct isl_tab *tab, int con)
2914 static int may_be_equality(struct isl_tab *tab, int row)
2932 static struct isl_tab_var *select_marked(struct isl_tab *tab)
2969 int isl_tab_detect_implicit_equalities(struct isl_tab *tab)
3031 static int update_con_after_move(struct isl_tab *tab, int i, int old)
3053 isl_stat isl_tab_swap_constraints(struct isl_tab *tab, int con1, int con2)
3075 static int rotate_constraints(struct isl_tab *tab, int first, int n)
3102 static isl_stat con_drop_entries(struct isl_tab *tab,
3128 	struct isl_tab *tab = user;
3143 	struct isl_tab *tab = user;
3156 	struct isl_tab *tab)
3201 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
3231 static int con_is_redundant(struct isl_tab *tab, struct isl_tab_var *var)
3261 int isl_tab_detect_redundant(struct isl_tab *tab)
3315 int isl_tab_is_equality(struct isl_tab *tab, int con)
3348 enum isl_lp_result isl_tab_min(struct isl_tab *tab,
3425 int isl_tab_is_redundant(struct isl_tab *tab, int con)
3444 static isl_bool is_constant(struct isl_tab *tab, struct isl_tab_var *var,
3477 static int reached(struct isl_tab *tab, struct isl_tab_var *var, int sgn,
3505 static isl_bool var_reaches(struct isl_tab *tab, struct isl_tab_var *var,
3548 static isl_bool detect_constant_with_tmp(struct isl_tab *tab,
3602 static isl_bool get_constant(struct isl_tab *tab, struct isl_tab_var *var,
3635 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value)
3654 isl_stat isl_tab_detect_constants(struct isl_tab *tab)
3674 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab)
3685 isl_bool isl_tab_need_undo(struct isl_tab *tab)
3698 void isl_tab_clear_undo(struct isl_tab *tab)
3709 static isl_stat unrelax(struct isl_tab *tab, struct isl_tab_var *var)
3711 static isl_stat unrelax(struct isl_tab *tab, struct isl_tab_var *var)
3747 static isl_stat ununrestrict(struct isl_tab *tab, struct isl_tab_var *var)
3764 static isl_stat restore_last_redundant(struct isl_tab *tab)
3780 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)
3782 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)
3841 isl_stat isl_tab_restore_redundant(struct isl_tab *tab)
3867 static isl_stat drop_bmap_div(struct isl_tab *tab, int pos)
3899 static int restore_basis(struct isl_tab *tab, int *col_var)
3948 static void drop_samples_since(struct isl_tab *tab, int n)
3966 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
3968 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
4014 isl_stat isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap)
4051 static enum isl_ineq_type separation_type(struct isl_tab *tab, unsigned row)
4090 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq)
4140 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
4166 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
4171 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab)
4194 static void isl_tab_print_internal(__isl_keep struct isl_tab *tab,
4265 void isl_tab_dump(__isl_keep struct isl_tab *tab)