Lines Matching refs:bmap1
2936 * constraints in "bmap1" and "bmap2" that do not involve the local variables.
2937 * "n1" is the number of (initial) equality constraints in "bmap1"
2943 * has been applied to the equality constraints in both "bmap1" and "bmap2"
2947 * If either of "bmap1" and "bmap2" does not have such equality constraints,
2956 __isl_keep isl_basic_map *bmap1, int n1,
2963 ctx = isl_basic_map_get_ctx(bmap1);
2964 if (bmap1->n_eq == n1) {
2970 E1 = isl_mat_sub_alloc6(ctx, bmap1->eq,
2971 n1, bmap1->n_eq - n1, 0, 1 + total);
2974 E1 = isl_mat_sub_alloc6(ctx, bmap1->eq,
2975 n1, bmap1->n_eq - n1, 0, 1 + total);
2979 bmap = basic_map_from_equalities(isl_basic_map_get_space(bmap1), E1);
3810 isl_bool isl_basic_map_plain_is_disjoint(__isl_keep isl_basic_map *bmap1,
3818 if (isl_basic_map_check_equal_space(bmap1, bmap2) < 0)
3820 if (bmap1->n_div || bmap2->n_div)
3822 if (!bmap1->n_eq && !bmap2->n_eq)
3825 total = isl_space_dim(bmap1->dim, isl_dim_all);
3830 v = isl_vec_alloc(bmap1->ctx, 1 + total);
3833 elim = isl_alloc_array(bmap1->ctx, int, total);
3836 compute_elimination_index(bmap1, elim, total);
3840 bmap1, elim, total);
3848 bmap2->ineq[i], bmap1, elim, total);
3854 for (i = 0; i < bmap1->n_ineq; ++i) {
3857 bmap1->ineq[i], bmap2, elim, total);
3885 isl_bool (*test)(__isl_keep isl_basic_map *bmap1,
4027 /* Are "bmap1" and "bmap2" disjoint?
4034 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
4041 disjoint = isl_basic_map_plain_is_disjoint(bmap1, bmap2);
4045 disjoint = isl_basic_map_is_empty(bmap1);
4053 intersect = isl_basic_map_plain_is_universe(bmap1);
4061 test = isl_basic_map_intersect(isl_basic_map_copy(bmap1),
Indexes created Sun Aug 30 00:27:18 UTC 2026