reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
780 k = isl_basic_set_alloc_inequality(shift); 781 if (k < 0) 783 isl_seq_cpy(shift->ineq[k] + 1, cone->ineq[i] + 1, total); 784 isl_seq_inner_product(shift->ineq[k] + 1, vec->el + 1, total, 785 &shift->ineq[k][0]); 786 isl_int_cdiv_q(shift->ineq[k][0], 787 shift->ineq[k][0], vec->el[0]); 788 isl_int_neg(shift->ineq[k][0], shift->ineq[k][0]); 788 isl_int_neg(shift->ineq[k][0], shift->ineq[k][0]); 790 if (isl_int_is_nonneg(shift->ineq[k][1 + j])) 792 isl_int_add(shift->ineq[k][0], 793 shift->ineq[k][0], shift->ineq[k][1 + j]); 793 shift->ineq[k][0], shift->ineq[k][1 + j]);