reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
337 isl_tab_free(info[i].tab); 350 isl_tab_free(info->tab); 351 info->tab = NULL; 557 isl_tab_free(info[i].tab); 558 info[i].tab = fused_tab; 604 snap = isl_tab_snap(info[i].tab); 605 if (isl_tab_mark_rational(info[i].tab) < 0) 607 snap2 = isl_tab_snap(info[i].tab); 612 if (isl_tab_select_facet(info[i].tab, n_eq + k) < 0) 618 stat = status_in(info[j].bmap->ineq[l], info[i].tab); 624 if (isl_tab_rollback(info[i].tab, snap2) < 0) 631 if (isl_tab_rollback(info[i].tab, snap) < 0) 730 if (isl_tab_extend_cons(info[i].tab, 1 + info[j].bmap->n_ineq) < 0) 739 snap = isl_tab_snap(info[i].tab); 741 if (isl_tab_unrestrict(info[i].tab, n_eq + k) < 0) 746 r = isl_tab_add_ineq(info[i].tab, info[i].bmap->ineq[k]); 755 if (isl_tab_add_ineq(info[i].tab, info[j].bmap->ineq[k]) < 0) 758 if (isl_tab_detect_constants(info[i].tab) < 0) 761 super = contains(&info[j], info[i].tab); 767 if (isl_tab_rollback(info[i].tab, snap) < 0) 930 if (isl_tab_extend_cons(info->tab, 1) < 0) 935 r = isl_tab_add_ineq(info->tab, info->bmap->ineq[ineq]); 1135 if (isl_tab_is_equality(info[i].tab, n_eq + relax[l])) 1138 snap = isl_tab_snap(info[i].tab); 1140 if (isl_tab_relax(info[i].tab, n_eq + relax[l]) < 0) 1143 if (!isl_tab_is_redundant(info[i].tab, n_eq + relax[l])) 1145 if (isl_tab_rollback(info[i].tab, snap) < 0) 1149 snap2 = isl_tab_snap(info[i].tab); 1151 if (isl_tab_rollback(info[i].tab, snap2) < 0) 1153 if (isl_tab_select_facet(info[i].tab, n_eq + relax[l]) < 0) 1157 super = contains(&info[j], info[i].tab); 1162 if (isl_tab_rollback(info[i].tab, snap) < 0) 1167 if (isl_tab_rollback(info[i].tab, snap2) < 0) 1342 if (isl_tab_is_redundant(info->tab, bmap->n_eq + l)) 1445 snap = isl_tab_snap(info->tab); 1447 if (isl_tab_select_facet(info->tab, info->bmap->n_eq + k) < 0) 1449 if (isl_tab_detect_redundant(info->tab) < 0) 1458 if (isl_tab_rollback(info->tab, snap) < 0) 1460 if (check_wraps(wraps->mat, n, info->tab) < 0) 1499 set_i = set_from_updated_bmap(info[i].bmap, info[i].tab); 1500 set_j = set_from_updated_bmap(info[j].bmap, info[j].tab); 1576 if (isl_tab_add_eq(info_j->tab, wraps->mat->row[w]) < 0) 1578 if (isl_tab_detect_redundant(info_j->tab) < 0) 1581 if (info_j->tab->empty) 1586 if (isl_tab_rollback(info_j->tab, snap) < 0) 1619 snap = isl_tab_snap(info[j].tab); 1680 if (isl_tab_extend_cons(info[j].tab, 1) < 0) 1686 set_i = set_from_updated_bmap(info[i].bmap, info[i].tab); 1805 type = type_of_relaxed(info[j].tab, 1823 type = type_of_relaxed(info[j].tab, info[i].bmap->ineq[k]); 1865 type = type_of_relaxed(info[j].tab, info[i].bmap->ineq[l]); 2038 set_i = set_from_updated_bmap(info[i].bmap, info[i].tab); 2039 set_j = set_from_updated_bmap(info[j].bmap, info[j].tab); 2118 info->ineq = ineq_status_in(info->bmap, info->tab, tab); 2273 set_ineq_status_in(&info[i], info[j].tab); 2281 set_ineq_status_in(&info[j], info[i].tab); 2289 set_eq_status_in(&info[i], info[j].tab); 2295 set_eq_status_in(&info[j], info[i].tab); 2383 if (isl_tab_shift_var(info->tab, total + div, shift) < 0) 2778 ineq = isl_vec_alloc(isl_tab_get_ctx(info->tab), 1 + info->tab->n_var); 2778 ineq = isl_vec_alloc(isl_tab_get_ctx(info->tab), 1 + info->tab->n_var); 2781 isl_seq_clr(ineq->el + 1, info->tab->n_var); 2801 if (copy_ineq(info->tab, info->bmap) < 0) 2804 isl_tab_select_facet(info->tab, info->tab->n_con - 1) < 0) 2804 isl_tab_select_facet(info->tab, info->tab->n_con - 1) < 0) 2856 if (info->bmap->n_eq + info->bmap->n_ineq != info->tab->n_con) 2861 if (isl_tab_extend_vars(info->tab, n) < 0) 2863 if (isl_tab_extend_cons(info->tab, 2 * n) < 0) 2867 if (isl_tab_insert_var(info->tab, expanded[i].pos) < 0) 2871 snap = isl_tab_snap(info->tab); 2873 n_ineq = info->tab->n_con - info->tab->n_eq; 2873 n_ineq = info->tab->n_con - info->tab->n_eq; 2874 if (copy_ineq(info->tab, bmap) < 0) 2882 expanded[i].cst = isl_tab_is_constant(info->tab, 2891 if (isl_tab_rollback(info->tab, snap) < 0) 2902 if (isl_tab_is_redundant(info->tab, n_eq + i)) 2938 extra_var = total - info->tab->n_var; 3018 snap = isl_tab_snap(info[i].tab); 3033 if (isl_tab_rollback(info[i].tab, snap) < 0) 3081 info_i->eq = eq_status_in(bmap, info[j].tab); 3089 info_i->ineq = ineq_status_in(bmap, NULL, info[j].tab); 3436 if (isl_tab_insert_var(info->tab, dim + i) < 0) 3517 extra_var = n - (info->tab->n_var - dim); 3519 if (isl_tab_extend_vars(info->tab, extra_var) < 0) 3521 if (isl_tab_extend_cons(info->tab, 2 * extra_var) < 0) 3526 return add_sub_equalities(info->tab, list, dim); 3551 snap = isl_tab_snap(info[j].tab); 3565 if (isl_tab_rollback(info[j].tab, snap) < 0) 3835 info[i].tab); 3903 info[i].tab = isl_tab_from_basic_map(info[i].bmap, 0); 3904 if (!info[i].tab) 3907 if (isl_tab_detect_implicit_equalities(info[i].tab) < 0) 3909 info[i].bmap = isl_tab_make_equalities_explicit(info[i].tab, 3914 if (isl_tab_detect_redundant(info[i].tab) < 0) 3920 if (info[i].tab->empty)