reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
565 if (!pnt1 || !pnt2) 568 isl_assert(pnt1->dim->ctx, 569 isl_space_is_equal(pnt1->dim, pnt2->dim), goto error); 571 if (isl_point_is_void(pnt1) && isl_point_is_void(pnt2)) { 572 isl_space *dim = isl_space_copy(pnt1->dim); 573 isl_point_free(pnt1); 578 if (isl_point_is_void(pnt1)) { 579 isl_point_free(pnt1); 586 return isl_basic_set_from_point(pnt1); 589 total = isl_space_dim(pnt1->dim, isl_dim_all); 590 bset = isl_basic_set_alloc_space(isl_space_copy(pnt1->dim), 0, 0, 2 * total); 593 isl_int_mul(t, pnt1->vec->el[1 + i], pnt2->vec->el[0]); 594 isl_int_submul(t, pnt2->vec->el[1 + i], pnt1->vec->el[0]); 602 isl_int_set(bset->ineq[k][0], pnt1->vec->el[1 + i]); 605 isl_int_neg(bset->ineq[k][0], pnt1->vec->el[1 + i]); 607 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt1->vec->el[0]); 625 isl_point_free(pnt1); 632 isl_point_free(pnt1);