reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1651 if (!tab) 1653 if (tab->bmap) { 1654 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); 1654 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); 1655 if (isl_tab_push(tab, isl_tab_undo_bmap_ineq) < 0) 1657 if (!tab->bmap) 1660 r = isl_tab_add_row(tab, ineq); 1663 tab->con[r].is_nonneg = 1; 1664 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1664 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1666 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1666 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1667 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1667 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1669 return tab; 1672 if (restore_lexmin(tab) < 0) 1674 if (!tab->empty && tab->con[r].is_row && 1674 if (!tab->empty && tab->con[r].is_row && 1675 isl_tab_row_is_redundant(tab, tab->con[r].index)) 1675 isl_tab_row_is_redundant(tab, tab->con[r].index)) 1676 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1676 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1678 return tab; 1680 isl_tab_free(tab);