Searched refs:n_con (Results 1 – 8 of 8) sorted by relevance
69 tab->n_con = 0; in isl_tab_alloc()114 if (tab->max_con < tab->n_con + n_new) { in isl_tab_extend_cons()247 for (i = 0; i < tab->n_con; ++i) in isl_tab_dup()279 dup->n_con = tab->n_con; in isl_tab_dup()485 for (i = 0; i < tab1->n_con; ++i) { in isl_tab_product()489 for (i = 0; i < tab2->n_con; ++i) { in isl_tab_product()490 prod->con[tab1->n_con + i] = tab2->con[i]; in isl_tab_product()491 update_index2(&prod->con[tab1->n_con + i], in isl_tab_product()509 t -= tab1->n_con; in isl_tab_product()526 t -= tab1->n_con; in isl_tab_product()[all …]
621 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) in add_chamber()696 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) in create_todo()747 for (i = 0; i < tab->n_con; ++i) { in init_todo()805 for (i = 0; i < tab->n_con; ++i) { in update_todo()924 if (isl_tab_freeze_constraint(tab, tab->n_con - 1) < 0) in compute_chambers()
230 for (i = 0; i < tab->n_con; ++i) in tab_freeze_constraints()245 int n_test = tab->n_con - offset; in n_non_redundant()389 offset = tab->n_con; in basic_map_collect_diff()
146 unsigned n_con; member
164 lp->con_offset = lp->tab->n_con; in init_lp()
3002 n_ineq = tab->n_con - tab->n_eq; in copy_ineq()3082 isl_tab_select_facet(info->tab, info->tab->n_con - 1) < 0) in fix_constant_divs()3134 if (info->bmap->n_eq + info->bmap->n_ineq != info->tab->n_con) in tab_insert_divs()3151 n_ineq = info->tab->n_con - info->tab->n_eq; in tab_insert_divs()
171 for (i = 0, j = 0; i < tab->n_con; ++i) { in tab_equalities()
2455 var = &context_tab->con[context_tab->n_con - 1]; in best_split()2741 var = &context_tab->con[context_tab->n_con - 1]; in tab_detect_nonnegative_parameters()