reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
61 bset = isl_basic_set_simplify(bset); 61 bset = isl_basic_set_simplify(bset); 62 if (!bset) 64 if (isl_basic_set_plain_is_empty(bset)) 65 return empty_sample(bset); 66 if (bset->n_eq == 0 && bset->n_ineq == 0) 66 if (bset->n_eq == 0 && bset->n_ineq == 0) 67 return zero_sample(bset); 69 sample = isl_vec_alloc(bset->ctx, 2); 72 if (!bset) 76 if (bset->n_eq > 0) { 77 isl_assert(bset->ctx, bset->n_eq == 1, goto error); 77 isl_assert(bset->ctx, bset->n_eq == 1, goto error); 78 isl_assert(bset->ctx, bset->n_ineq == 0, goto error); 78 isl_assert(bset->ctx, bset->n_ineq == 0, goto error); 79 if (isl_int_is_one(bset->eq[0][1])) 80 isl_int_neg(sample->el[1], bset->eq[0][0]); 82 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]), 82 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]), 84 isl_int_set(sample->el[1], bset->eq[0][0]); 86 isl_basic_set_free(bset); 91 if (isl_int_is_one(bset->ineq[0][1])) 92 isl_int_neg(sample->block.data[1], bset->ineq[0][0]); 94 isl_int_set(sample->block.data[1], bset->ineq[0][0]); 95 for (i = 1; i < bset->n_ineq; ++i) { 97 bset->ineq[i], 2, &t); 102 if (i < bset->n_ineq) { 104 return empty_sample(bset); 107 isl_basic_set_free(bset); 110 isl_basic_set_free(bset);