Searched refs:n_extra (Results 1 – 2 of 2) sorted by relevance
764 isl_size n_eq_i, n_ineq_j, n_extra; in is_adj_ineq_extension_with_wraps() local774 n_extra = isl_mat_rows(extra); in is_adj_ineq_extension_with_wraps()775 if (n_eq_i < 0 || n_ineq_j < 0 || n_extra < 0) in is_adj_ineq_extension_with_wraps()778 if (isl_tab_extend_cons(info[i].tab, 1 + n_ineq_j + n_extra) < 0) in is_adj_ineq_extension_with_wraps()800 for (k = 0; k < n_extra; ++k) { in is_adj_ineq_extension_with_wraps()
3902 int n_extra = 0; in restore_basis() local3915 extra[n_extra++] = i; in restore_basis()3917 for (i = 0; i < tab->n_col && n_extra > 0; ++i) { in restore_basis()3928 for (j = 0; j < n_extra; ++j) in restore_basis()3931 isl_assert(tab->mat->ctx, j < n_extra, goto error); in restore_basis()3934 extra[j] = extra[--n_extra]; in restore_basis()