reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2128 if (!tab) 2130 isl_assert(tab->mat->ctx, !tab->M, return -1); 2130 isl_assert(tab->mat->ctx, !tab->M, return -1); 2132 if (tab->need_undo) 2133 snap = isl_tab_snap(tab); 2135 if (tab->cone) { 2140 r = isl_tab_add_row(tab, eq); 2141 if (tab->cone) { 2148 var = &tab->con[r]; 2150 if (row_is_manifestly_zero(tab, row)) { 2152 return isl_tab_rollback(tab, snap); 2153 return drop_row(tab, row); 2156 if (tab->bmap) { 2157 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 2157 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 2158 if (isl_tab_push(tab, isl_tab_undo_bmap_ineq) < 0) 2160 isl_seq_neg(eq, eq, 1 + tab->n_var); 2161 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 2161 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 2162 isl_seq_neg(eq, eq, 1 + tab->n_var); 2163 if (isl_tab_push(tab, isl_tab_undo_bmap_ineq) < 0) 2165 if (!tab->bmap) 2167 if (add_zero_row(tab) < 0) 2171 sgn = isl_int_sgn(tab->mat->row[row][1]); 2174 isl_seq_neg(tab->mat->row[row] + 1, tab->mat->row[row] + 1, 2174 isl_seq_neg(tab->mat->row[row] + 1, tab->mat->row[row] + 1, 2175 1 + tab->n_col); 2181 sgn = sign_of_max(tab, var); 2185 if (isl_tab_mark_empty(tab) < 0) 2192 if (to_col(tab, var) < 0) 2195 if (isl_tab_kill_col(tab, var->index) < 0)