reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2257 ineq = ineq_for_div(tab->bmap, div); 2258 if (!ineq) 2262 if (add_ineq(user, ineq->el) < 0) 2265 if (isl_tab_add_ineq(tab, ineq->el) < 0) 2269 isl_seq_neg(ineq->el, tab->bmap->div[div] + 1, 1 + total); 2270 isl_int_set(ineq->el[div_pos], tab->bmap->div[div][0]); 2271 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]); 2271 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]); 2271 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]); 2272 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 2272 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 2275 if (add_ineq(user, ineq->el) < 0) 2278 if (isl_tab_add_ineq(tab, ineq->el) < 0) 2282 isl_vec_free(ineq); 2286 isl_vec_free(ineq);