reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
12636 if (bset && isl_basic_set_plain_is_empty(bset)) 12636 if (bset && isl_basic_set_plain_is_empty(bset)) 12637 return bset; 12639 bset = isl_basic_set_cow(bset); 12639 bset = isl_basic_set_cow(bset); 12640 if (!bset || !subs) 12643 ctx = isl_basic_set_get_ctx(bset); 12644 if (!isl_space_is_equal(bset->dim, subs->ls->dim)) 12654 pos += isl_basic_set_offset(bset, type); 12658 for (i = 0; i < bset->n_eq; ++i) { 12659 if (isl_int_is_zero(bset->eq[i][pos])) 12661 isl_int_set(v, bset->eq[i][pos]); 12662 isl_int_set_si(bset->eq[i][pos], 0); 12663 isl_seq_combine(bset->eq[i], subs->v->el[0], bset->eq[i], 12663 isl_seq_combine(bset->eq[i], subs->v->el[0], bset->eq[i], 12667 for (i = 0; i < bset->n_ineq; ++i) { 12668 if (isl_int_is_zero(bset->ineq[i][pos])) 12670 isl_int_set(v, bset->ineq[i][pos]); 12671 isl_int_set_si(bset->ineq[i][pos], 0); 12672 isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i], 12672 isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i], 12676 for (i = 0; i < bset->n_div; ++i) { 12677 if (isl_int_is_zero(bset->div[i][1 + pos])) 12679 isl_int_set(v, bset->div[i][1 + pos]); 12680 isl_int_set_si(bset->div[i][1 + pos], 0); 12681 isl_seq_combine(bset->div[i] + 1, 12682 subs->v->el[0], bset->div[i] + 1, 12684 isl_int_mul(bset->div[i][0], bset->div[i][0], subs->v->el[0]); 12684 isl_int_mul(bset->div[i][0], bset->div[i][0], subs->v->el[0]); 12689 bset = isl_basic_set_simplify(bset); 12689 bset = isl_basic_set_simplify(bset); 12690 return isl_basic_set_finalize(bset); 12692 isl_basic_set_free(bset);