reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2774 if (!tab) 2777 var = &tab->con[con]; 2779 if (var->is_row && (var->index < 0 || var->index < tab->n_redundant)) 2780 isl_die(tab->mat->ctx, isl_error_invalid, 2782 if (!var->is_row && (var->index < 0 || var->index < tab->n_dead)) 2783 isl_die(tab->mat->ctx, isl_error_invalid, 2786 if (!var->is_row && !max_is_manifestly_unbounded(tab, var)) 2787 if (to_row(tab, var, 1) < 0) 2789 if (!var->is_row && !min_is_manifestly_unbounded(tab, var)) 2790 if (to_row(tab, var, -1) < 0) 2794 isl_int_add(tab->mat->row[var->index][1], 2795 tab->mat->row[var->index][1], tab->mat->row[var->index][0]); 2795 tab->mat->row[var->index][1], tab->mat->row[var->index][0]); 2796 if (restore_row(tab, var) < 0) 2800 unsigned off = 2 + tab->M; 2802 for (i = 0; i < tab->n_row; ++i) { 2803 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) 2805 isl_int_sub(tab->mat->row[i][1], tab->mat->row[i][1], 2805 isl_int_sub(tab->mat->row[i][1], tab->mat->row[i][1], 2806 tab->mat->row[i][off + var->index]); 2811 if (isl_tab_push_var(tab, isl_tab_undo_relax, var) < 0)