reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1913 if (!tab) 1915 if (tab->bmap) { 1916 struct isl_basic_map *bmap = tab->bmap; 1918 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, 1918 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, 1920 isl_assert(tab->mat->ctx, 1921 tab->n_con == bmap->n_eq + bmap->n_ineq, 1923 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); 1923 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); 1924 if (isl_tab_push(tab, isl_tab_undo_bmap_ineq) < 0) 1926 if (!tab->bmap) 1929 if (tab->cone) { 1934 r = isl_tab_add_row(tab, ineq); 1935 if (tab->cone) { 1941 tab->con[r].is_nonneg = 1; 1942 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1942 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1944 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1944 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1945 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1945 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1950 sgn = restore_row(tab, &tab->con[r]); 1950 sgn = restore_row(tab, &tab->con[r]); 1954 return isl_tab_mark_empty(tab); 1955 if (tab->con[r].is_row && isl_tab_row_is_redundant(tab, tab->con[r].index)) 1955 if (tab->con[r].is_row && isl_tab_row_is_redundant(tab, tab->con[r].index)) 1955 if (tab->con[r].is_row && isl_tab_row_is_redundant(tab, tab->con[r].index)) 1956 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1956 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0)