Lines Matching refs:bmap2
262 __isl_keep isl_basic_map *bmap2) in isl_basic_map_has_equal_params() argument
267 space2 = isl_basic_map_peek_space(bmap2); in isl_basic_map_has_equal_params()
1522 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_equal_params() argument
1526 match = isl_basic_map_has_equal_params(bmap1, bmap2); in isl_basic_map_check_equal_params()
1890 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2, in add_constraints() argument
1899 space = isl_basic_map_peek_space(bmap2); in add_constraints()
1904 n_param = isl_basic_map_dim(bmap2, isl_dim_param); in add_constraints()
1905 n_in = isl_basic_map_dim(bmap2, isl_dim_in); in add_constraints()
1907 n_out = isl_basic_map_dim(bmap2, isl_dim_out); in add_constraints()
1909 n_div = isl_basic_map_dim(bmap2, isl_dim_div); in add_constraints()
1917 isl_dim_map_div(dim_map, bmap2, total); in add_constraints()
1919 return isl_basic_map_add_constraints_dim_map(bmap1, bmap2, dim_map); in add_constraints()
1922 isl_basic_map_free(bmap2); in add_constraints()
3636 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_intersect() argument
3642 if (isl_basic_map_check_equal_params(bmap1, bmap2) < 0) in isl_basic_map_intersect()
3645 space2 = isl_basic_map_peek_space(bmap2); in isl_basic_map_intersect()
3653 return isl_basic_map_intersect(bmap2, bmap1); in isl_basic_map_intersect()
3656 isl_basic_map_check_equal_space(bmap1, bmap2) < 0) in isl_basic_map_intersect()
3660 isl_basic_map_free(bmap2); in isl_basic_map_intersect()
3663 if (isl_basic_map_plain_is_empty(bmap2)) { in isl_basic_map_intersect()
3665 return bmap2; in isl_basic_map_intersect()
3670 isl_basic_map_contains(bmap2, bmap1->sample) > 0) in isl_basic_map_intersect()
3672 else if (bmap2->sample && in isl_basic_map_intersect()
3673 isl_basic_map_contains(bmap1, bmap2->sample) > 0 && in isl_basic_map_intersect()
3674 isl_basic_map_contains(bmap2, bmap2->sample) > 0) in isl_basic_map_intersect()
3675 sample = isl_vec_copy(bmap2->sample); in isl_basic_map_intersect()
3681 bmap2->n_div, bmap2->n_eq, bmap2->n_ineq); in isl_basic_map_intersect()
3682 bmap1 = add_constraints(bmap1, bmap2, 0, 0); in isl_basic_map_intersect()
3697 isl_basic_map_free(bmap2); in isl_basic_map_intersect()
4649 __isl_keep isl_basic_map *bmap2) in isl_basic_map_applies_range() argument
4654 space2 = isl_basic_map_peek_space(bmap2); in isl_basic_map_applies_range()
4662 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_applies_range() argument
4666 equal = isl_basic_map_applies_range(bmap1, bmap2); in isl_basic_map_check_applies_range()
4676 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_apply_range() argument
4684 if (isl_basic_map_check_equal_params(bmap1, bmap2) < 0) in isl_basic_map_apply_range()
4686 if (isl_basic_map_check_applies_range(bmap1, bmap2) < 0) in isl_basic_map_apply_range()
4690 n_out = isl_basic_map_dim(bmap2, isl_dim_out); in isl_basic_map_apply_range()
4697 isl_basic_map_get_space(bmap2)); in isl_basic_map_apply_range()
4699 total = nparam + n_in + n_out + bmap1->n_div + bmap2->n_div + n; in isl_basic_map_apply_range()
4703 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0); in isl_basic_map_apply_range()
4705 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += n_in); in isl_basic_map_apply_range()
4707 isl_dim_map_div(dim_map2, bmap2, pos += bmap1->n_div); in isl_basic_map_apply_range()
4708 isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += bmap2->n_div); in isl_basic_map_apply_range()
4709 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos); in isl_basic_map_apply_range()
4712 bmap1->n_div + bmap2->n_div + n, in isl_basic_map_apply_range()
4713 bmap1->n_eq + bmap2->n_eq, in isl_basic_map_apply_range()
4714 bmap1->n_ineq + bmap2->n_ineq); in isl_basic_map_apply_range()
4716 bmap = isl_basic_map_add_constraints_dim_map(bmap, bmap2, dim_map2); in isl_basic_map_apply_range()
4723 isl_basic_map_free(bmap2); in isl_basic_map_apply_range()
4742 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_apply_domain() argument
4744 if (isl_basic_map_check_equal_params(bmap1, bmap2) < 0) in isl_basic_map_apply_domain()
4747 bmap2->dim, isl_dim_in)) in isl_basic_map_apply_domain()
4752 bmap1 = isl_basic_map_apply_range(bmap1, bmap2); in isl_basic_map_apply_domain()
4756 isl_basic_map_free(bmap2); in isl_basic_map_apply_domain()
4764 __isl_take isl_basic_map *bmap2) in isl_basic_map_sum() argument
4772 if (isl_basic_map_check_equal_space(bmap1, bmap2) < 0) in isl_basic_map_sum()
4781 total = nparam + n_in + n_out + bmap1->n_div + bmap2->n_div + 2 * n_out; in isl_basic_map_sum()
4783 dim_map2 = isl_dim_map_alloc(bmap2->ctx, total); in isl_basic_map_sum()
4785 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos); in isl_basic_map_sum()
4787 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos); in isl_basic_map_sum()
4789 isl_dim_map_div(dim_map2, bmap2, pos += bmap1->n_div); in isl_basic_map_sum()
4790 isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += bmap2->n_div); in isl_basic_map_sum()
4791 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += n_out); in isl_basic_map_sum()
4794 bmap1->n_div + bmap2->n_div + 2 * n_out, in isl_basic_map_sum()
4795 bmap1->n_eq + bmap2->n_eq + n_out, in isl_basic_map_sum()
4796 bmap1->n_ineq + bmap2->n_ineq); in isl_basic_map_sum()
4807 bmap = isl_basic_map_add_constraints_dim_map(bmap, bmap2, dim_map2); in isl_basic_map_sum()
4815 isl_basic_map_free(bmap2); in isl_basic_map_sum()
8924 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_subset() argument
8930 if (!bmap1 || !bmap2) in isl_basic_map_is_subset()
8934 map2 = isl_map_from_basic_map(isl_basic_map_copy(bmap2)); in isl_basic_map_is_subset()
8951 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_equal() argument
8955 if (!bmap1 || !bmap2) in isl_basic_map_is_equal()
8957 is_subset = isl_basic_map_is_subset(bmap1, bmap2); in isl_basic_map_is_equal()
8960 is_subset = isl_basic_map_is_subset(bmap2, bmap1); in isl_basic_map_is_equal()
9082 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_strict_subset() argument
9086 if (!bmap1 || !bmap2) in isl_basic_map_is_strict_subset()
9088 is_subset = isl_basic_map_is_subset(bmap1, bmap2); in isl_basic_map_is_strict_subset()
9091 is_subset = isl_basic_map_is_subset(bmap2, bmap1); in isl_basic_map_is_strict_subset()
9298 __isl_take isl_basic_map *bmap2) in isl_basic_map_union() argument
9302 if (isl_basic_map_check_equal_space(bmap1, bmap2) < 0) in isl_basic_map_union()
9309 map = isl_map_add_basic_map(map, bmap2); in isl_basic_map_union()
9313 isl_basic_map_free(bmap2); in isl_basic_map_union()
9698 isl_basic_map *bmap2; in join_initial() local
9701 bmap2 = isl_basic_map_from_range(isl_basic_set_copy(bset2)); in join_initial()
9704 bmap2 = isl_basic_map_move_dims(bmap2, isl_dim_in, 0, in join_initial()
9706 return isl_basic_map_range_product(bmap1, bmap2); in join_initial()
10157 __isl_keep isl_basic_map *bmap2) in isl_basic_map_plain_cmp() argument
10163 if (!bmap1 || !bmap2) in isl_basic_map_plain_cmp()
10166 if (bmap1 == bmap2) in isl_basic_map_plain_cmp()
10169 space2 = isl_basic_map_peek_space(bmap2); in isl_basic_map_plain_cmp()
10174 ISL_F_ISSET(bmap2, ISL_BASIC_MAP_RATIONAL)) in isl_basic_map_plain_cmp()
10177 ISL_F_ISSET(bmap2, ISL_BASIC_MAP_EMPTY)) in isl_basic_map_plain_cmp()
10181 if (ISL_F_ISSET(bmap2, ISL_BASIC_MAP_EMPTY)) in isl_basic_map_plain_cmp()
10183 if (bmap1->n_eq != bmap2->n_eq) in isl_basic_map_plain_cmp()
10184 return bmap1->n_eq - bmap2->n_eq; in isl_basic_map_plain_cmp()
10185 if (bmap1->n_ineq != bmap2->n_ineq) in isl_basic_map_plain_cmp()
10186 return bmap1->n_ineq - bmap2->n_ineq; in isl_basic_map_plain_cmp()
10187 if (bmap1->n_div != bmap2->n_div) in isl_basic_map_plain_cmp()
10188 return bmap1->n_div - bmap2->n_div; in isl_basic_map_plain_cmp()
10193 cmp = isl_seq_cmp(bmap1->eq[i], bmap2->eq[i], 1+total); in isl_basic_map_plain_cmp()
10198 cmp = isl_seq_cmp(bmap1->ineq[i], bmap2->ineq[i], 1+total); in isl_basic_map_plain_cmp()
10203 cmp = isl_seq_cmp(bmap1->div[i], bmap2->div[i], 1+1+total); in isl_basic_map_plain_cmp()
10235 __isl_keep isl_basic_map *bmap2) in isl_basic_map_plain_is_equal() argument
10237 if (!bmap1 || !bmap2) in isl_basic_map_plain_is_equal()
10239 return isl_basic_map_plain_cmp(bmap1, bmap2) == 0; in isl_basic_map_plain_is_equal()
10252 isl_basic_map *bmap2 = *(isl_basic_map **) p2; in qsort_bmap_cmp() local
10254 return isl_basic_map_plain_cmp(bmap1, bmap2); in qsort_bmap_cmp()
10527 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_product() argument
10534 if (isl_basic_map_check_equal_params(bmap1, bmap2) < 0) in isl_basic_map_product()
10537 isl_space_copy(bmap2->dim)); in isl_basic_map_product()
10540 in2 = isl_basic_map_dim(bmap2, isl_dim_in); in isl_basic_map_product()
10542 out2 = isl_basic_map_dim(bmap2, isl_dim_out); in isl_basic_map_product()
10545 total = nparam + in1 + in2 + out1 + out2 + bmap1->n_div + bmap2->n_div; in isl_basic_map_product()
10549 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0); in isl_basic_map_product()
10551 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos += in1); in isl_basic_map_product()
10553 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += out1); in isl_basic_map_product()
10555 isl_dim_map_div(dim_map2, bmap2, pos += bmap1->n_div); in isl_basic_map_product()
10558 bmap1->n_div + bmap2->n_div, in isl_basic_map_product()
10559 bmap1->n_eq + bmap2->n_eq, in isl_basic_map_product()
10560 bmap1->n_ineq + bmap2->n_ineq); in isl_basic_map_product()
10562 bmap = isl_basic_map_add_constraints_dim_map(bmap, bmap2, dim_map2); in isl_basic_map_product()
10567 isl_basic_map_free(bmap2); in isl_basic_map_product()
10572 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_flat_product() argument
10576 prod = isl_basic_map_product(bmap1, bmap2); in isl_basic_map_flat_product()
10588 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_domain_product() argument
10598 in2 = isl_basic_map_dim(bmap2, isl_dim_in); in isl_basic_map_domain_product()
10605 space2 = isl_basic_map_get_space(bmap2); in isl_basic_map_domain_product()
10608 total = nparam + in1 + in2 + out + bmap1->n_div + bmap2->n_div; in isl_basic_map_domain_product()
10612 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0); in isl_basic_map_domain_product()
10614 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos += in1); in isl_basic_map_domain_product()
10616 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos); in isl_basic_map_domain_product()
10618 isl_dim_map_div(dim_map2, bmap2, pos += bmap1->n_div); in isl_basic_map_domain_product()
10621 bmap1->n_div + bmap2->n_div, in isl_basic_map_domain_product()
10622 bmap1->n_eq + bmap2->n_eq, in isl_basic_map_domain_product()
10623 bmap1->n_ineq + bmap2->n_ineq); in isl_basic_map_domain_product()
10625 bmap = isl_basic_map_add_constraints_dim_map(bmap, bmap2, dim_map2); in isl_basic_map_domain_product()
10630 isl_basic_map_free(bmap2); in isl_basic_map_domain_product()
10635 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_range_product() argument
10646 rational = isl_basic_map_is_rational(bmap2); in isl_basic_map_range_product()
10649 out2 = isl_basic_map_dim(bmap2, isl_dim_out); in isl_basic_map_range_product()
10654 if (isl_basic_map_check_equal_params(bmap1, bmap2) < 0) in isl_basic_map_range_product()
10658 isl_space_copy(bmap2->dim)); in isl_basic_map_range_product()
10660 total = nparam + in + out1 + out2 + bmap1->n_div + bmap2->n_div; in isl_basic_map_range_product()
10664 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_param, pos = 0); in isl_basic_map_range_product()
10666 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_in, pos); in isl_basic_map_range_product()
10668 isl_dim_map_dim(dim_map2, bmap2->dim, isl_dim_out, pos += out1); in isl_basic_map_range_product()
10670 isl_dim_map_div(dim_map2, bmap2, pos += bmap1->n_div); in isl_basic_map_range_product()
10673 bmap1->n_div + bmap2->n_div, in isl_basic_map_range_product()
10674 bmap1->n_eq + bmap2->n_eq, in isl_basic_map_range_product()
10675 bmap1->n_ineq + bmap2->n_ineq); in isl_basic_map_range_product()
10677 bmap = isl_basic_map_add_constraints_dim_map(bmap, bmap2, dim_map2); in isl_basic_map_range_product()
10684 isl_basic_map_free(bmap2); in isl_basic_map_range_product()
10689 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_flat_range_product() argument
10693 prod = isl_basic_map_range_product(bmap1, bmap2); in isl_basic_map_flat_range_product()
14219 int pos1, __isl_keep isl_basic_map *bmap2, int pos2, in isl_basic_map_equal_div_expr_part() argument
14224 if (isl_basic_map_check_range(bmap2, isl_dim_div, pos2, 1) < 0) in isl_basic_map_equal_div_expr_part()
14227 bmap2->div[pos2] + first, n); in isl_basic_map_equal_div_expr_part()
14236 __isl_keep isl_basic_map *bmap2, int pos2) in isl_basic_map_equal_div_expr_except_constant() argument
14242 total2 = isl_basic_map_dim(bmap2, isl_dim_all); in isl_basic_map_equal_div_expr_except_constant()
14248 equal = isl_basic_map_equal_div_expr_part(bmap1, pos1, bmap2, pos2, in isl_basic_map_equal_div_expr_except_constant()
14252 equal = isl_basic_map_equal_div_expr_part(bmap1, pos1, bmap2, pos2, in isl_basic_map_equal_div_expr_except_constant()
14256 return isl_basic_map_equal_div_expr_part(bmap1, pos1, bmap2, pos2, in isl_basic_map_equal_div_expr_except_constant()