reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3907 if (bmap->n_div <= 1) 3909 dim = isl_space_dim(bmap->dim, isl_dim_all); 3910 if (isl_seq_first_non_zero(bmap->ineq[l] + 1 + dim, div) != -1) 3912 if (isl_seq_first_non_zero(bmap->ineq[l] + 1 + dim + div + 1, 3913 bmap->n_div - div - 1) != -1) 3915 if (!isl_seq_is_neg(bmap->ineq[l] + 1, bmap->ineq[u] + 1, 3915 if (!isl_seq_is_neg(bmap->ineq[l] + 1, bmap->ineq[u] + 1, 3916 dim + bmap->n_div)) 3919 for (i = 0; i < bmap->n_div; ++i) { 3920 if (isl_int_is_zero(bmap->div[i][0])) 3922 if (!isl_int_is_zero(bmap->div[i][1 + 1 + dim + div])) 3926 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); 3926 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); 3926 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); 3927 if (isl_int_is_neg(bmap->ineq[l][0])) { 3928 isl_int_sub(bmap->ineq[l][0], 3929 bmap->ineq[l][0], bmap->ineq[u][0]); 3929 bmap->ineq[l][0], bmap->ineq[u][0]); 3930 bmap = isl_basic_map_copy(bmap); 3930 bmap = isl_basic_map_copy(bmap); 3931 bmap = isl_basic_map_set_to_empty(bmap); 3931 bmap = isl_basic_map_set_to_empty(bmap); 3932 isl_basic_map_free(bmap); 3935 isl_int_add_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1); 3935 isl_int_add_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1); 3936 for (i = 0; i < bmap->n_div; ++i) { 3941 for (j = 0; j < bmap->n_div; ++j) { 3942 if (isl_int_is_zero(bmap->div[j][0])) 3944 if (!isl_int_is_zero(bmap->div[j][1 + 1 + dim + i])) 3947 if (j < bmap->n_div) 3949 for (j = 0; j < bmap->n_ineq; ++j) { 3953 if (isl_int_is_zero(bmap->ineq[j][1 + dim + div])) { 3954 if (is_zero_or_one(bmap->ineq[j][1 + dim + i])) 3958 if (isl_int_is_zero(bmap->ineq[j][1 + dim + i])) 3960 isl_int_mul(bmap->ineq[j][1 + dim + div], 3961 bmap->ineq[j][1 + dim + div], 3962 bmap->ineq[l][0]); 3963 valid = isl_int_eq(bmap->ineq[j][1 + dim + div], 3964 bmap->ineq[j][1 + dim + i]); 3965 isl_int_divexact(bmap->ineq[j][1 + dim + div], 3966 bmap->ineq[j][1 + dim + div], 3967 bmap->ineq[l][0]); 3971 if (j < bmap->n_ineq) 3976 isl_int_sub_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1); 3976 isl_int_sub_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1); 3977 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); 3977 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); 3977 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);