reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
874 if (!pw1 || !pw2) 877 isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error); 877 isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error); 879 if (isl_pw_qpolynomial_fold_is_zero(pw1)) { 880 isl_pw_qpolynomial_fold_free(pw1); 886 return pw1; 889 if (pw1->type != pw2->type) 890 isl_die(pw1->dim->ctx, isl_error_invalid, 893 n = (pw1->n + 1) * (pw2->n + 1); 894 res = isl_pw_qpolynomial_fold_alloc_size(isl_space_copy(pw1->dim), 895 pw1->type, n); 897 for (i = 0; i < pw1->n; ++i) { 898 set = isl_set_copy(pw1->p[i].set); 904 common = isl_set_intersect(isl_set_copy(pw1->p[i].set), 912 isl_qpolynomial_fold_copy(pw1->p[i].fold), 918 isl_qpolynomial_fold_copy(pw1->p[i].fold)); 923 for (i = 0; i < pw1->n; ++i) 924 set = isl_set_subtract(set, isl_set_copy(pw1->p[i].set)); 929 isl_pw_qpolynomial_fold_free(pw1); 934 isl_pw_qpolynomial_fold_free(pw1);