reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2336 if (!tab || !div) 2339 if (div->size != 1 + 1 + tab->n_var) 2340 isl_die(isl_tab_get_ctx(tab), isl_error_invalid, 2343 isl_assert(tab->mat->ctx, tab->bmap, return -1); 2343 isl_assert(tab->mat->ctx, tab->bmap, return -1); 2344 n_div = isl_basic_map_dim(tab->bmap, isl_dim_div); 2345 o_div = tab->n_var - n_div; 2346 if (pos < o_div || pos > tab->n_var) 2347 isl_die(isl_tab_get_ctx(tab), isl_error_invalid, 2350 nonneg = div_is_nonneg(tab, div); 2352 if (isl_tab_extend_cons(tab, 3) < 0) 2354 if (isl_tab_extend_vars(tab, 1) < 0) 2356 r = isl_tab_insert_var(tab, pos); 2361 tab->var[r].is_nonneg = 1; 2363 tab->bmap = isl_basic_map_insert_div(tab->bmap, pos - o_div, div); 2363 tab->bmap = isl_basic_map_insert_div(tab->bmap, pos - o_div, div); 2364 if (!tab->bmap) 2366 if (isl_tab_push_var(tab, isl_tab_undo_bmap_div, &tab->var[r]) < 0) 2366 if (isl_tab_push_var(tab, isl_tab_undo_bmap_div, &tab->var[r]) < 0) 2369 if (add_div_constraints(tab, pos - o_div, add_ineq, user) < 0)