HomeSort by: relevance | last modified time | path
    Searched refs:bmap1 (Results 1 - 8 of 8) sorted by relevancy

  /src/external/mit/isl/dist/
isl_convex_hull.c 2499 /* Drop all inequalities from "bmap1" that do not also appear in "bmap2".
2501 * in "bmap1" and "bmap2" is also kept, with the least restrictive
2503 * "bmap1" and "bmap2" are assumed to have the same (known)
2505 * The constraints of both "bmap1" and "bmap2" are assumed
2508 * Run through the inequality constraints of "bmap1" and "bmap2"
2510 * Each constraint of "bmap1" without a matching constraint in "bmap2"
2516 __isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
2520 bmap1 = isl_basic_map_cow(bmap1);
2521 if (!bmap1 || !bmap2
    [all...]
isl_map.c 279 /* Do "bmap1" and "bmap2" have the same parameters?
281 static isl_bool isl_basic_map_has_equal_params(__isl_keep isl_basic_map *bmap1,
286 space1 = isl_basic_map_peek_space(bmap1);
1575 /* Check that "bmap1" and "bmap2" have the same parameters,
1579 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2)
1583 match = isl_basic_map_has_equal_params(bmap1, bmap2);
1587 isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid,
1947 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2,
1957 if (!bmap1 || !space)
1960 total = isl_basic_map_dim(bmap1, isl_dim_all)
9951 isl_basic_map *bmap1; local
9971 isl_basic_map *bmap1; local
10517 isl_basic_map *bmap1 = *(isl_basic_map **) p1; local
    [all...]
isl_map_private.h 303 int isl_basic_map_plain_cmp(__isl_keep isl_basic_map *bmap1,
305 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,
574 isl_stat isl_basic_map_check_equal_space(__isl_keep isl_basic_map *bmap1,
583 isl_bool isl_basic_map_applies_range(__isl_keep isl_basic_map *bmap1,
595 isl_bool isl_basic_map_equal_div_expr_part(__isl_keep isl_basic_map *bmap1,
599 __isl_keep isl_basic_map *bmap1, int pos1,
isl_map_simplify.c 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
    [all...]
isl_coalesce.c 2932 isl_basic_map *bmap1, *bmap2; local
2947 bmap1 = isl_basic_map_copy(info1->bmap);
2949 eq1 = isl_basic_map_wrap(isl_basic_map_plain_affine_hull(bmap1));
2969 static isl_bool same_divs(__isl_keep isl_basic_map *bmap1,
2976 if (!bmap1 || !bmap2)
2978 if (bmap1->n_div != bmap2->n_div)
2981 if (bmap1->n_div == 0)
2984 known = isl_basic_map_divs_known(bmap1);
2991 total = isl_basic_map_dim(bmap1, isl_dim_all);
2994 for (i = 0; i < bmap1->n_div; ++i
    [all...]
isl_ast_build.c 1503 isl_basic_map *bmap1, *bmap2; local
1511 bmap1 = isl_basic_map_from_constraint(isl_constraint_copy(c));
1515 bmap1 = isl_basic_map_upper_bound_si(bmap1, isl_dim_in, 0, pos - 1);
1518 return isl_basic_map_union(bmap1, bmap2);
isl_test.c 9393 isl_basic_map *bmap1, *bmap2; local
9397 bmap1 = isl_basic_map_read_from_str(ctx, str);
9398 bmap2 = isl_basic_map_curry(isl_basic_map_copy(bmap1));
9399 equal = isl_basic_map_is_equal(bmap1, bmap2);
9400 isl_basic_map_free(bmap1);
  /src/external/mit/isl/dist/include/isl/
map.h 155 __isl_take isl_basic_map *bmap1,
161 __isl_take isl_basic_map *bmap1,
165 __isl_take isl_basic_map *bmap1,
169 __isl_take isl_basic_map *bmap1,
230 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1,
241 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1,
243 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
299 isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1,
301 isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1,
388 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
    [all...]

Completed in 108 milliseconds