reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3304 needs_undo = isl_tab_need_undo(tab); 3307 eq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 3307 eq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 3311 if (isl_tab_extend_cons(tab, (cgbr->tab->bmap->n_ineq - first)/2) < 0) 3314 isl_seq_clr(eq->el + 1 + tab->n_param, 3315 tab->n_var - tab->n_param - tab->n_div); 3315 tab->n_var - tab->n_param - tab->n_div); 3315 tab->n_var - tab->n_param - tab->n_div); 3320 snap = isl_tab_snap(tab); 3322 isl_seq_cpy(eq->el, cgbr->tab->bmap->ineq[i], 1 + tab->n_param); 3323 isl_seq_cpy(eq->el + 1 + tab->n_var - tab->n_div, 3323 isl_seq_cpy(eq->el + 1 + tab->n_var - tab->n_div, 3324 cgbr->tab->bmap->ineq[i] + 1 + tab->n_param, 3325 tab->n_div); 3327 r = isl_tab_add_row(tab, eq->el); 3330 r = tab->con[r].index; 3331 j = last_non_zero_var_col(tab, tab->mat->row[r] + 2 + tab->M); 3331 j = last_non_zero_var_col(tab, tab->mat->row[r] + 2 + tab->M); 3331 j = last_non_zero_var_col(tab, tab->mat->row[r] + 2 + tab->M); 3332 if (j < 0 || j < tab->n_dead || 3333 !isl_int_is_one(tab->mat->row[r][0]) || 3334 (!isl_int_is_one(tab->mat->row[r][2 + tab->M + j]) && 3334 (!isl_int_is_one(tab->mat->row[r][2 + tab->M + j]) && 3335 !isl_int_is_negone(tab->mat->row[r][2 + tab->M + j]))) { 3335 !isl_int_is_negone(tab->mat->row[r][2 + tab->M + j]))) { 3336 if (isl_tab_rollback(tab, snap) < 0) 3340 if (isl_tab_pivot(tab, r, j) < 0) 3342 if (isl_tab_kill_col(tab, j) < 0) 3345 if (restore_lexmin(tab) < 0) 3350 isl_tab_clear_undo(tab);