| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_convex_hull.c | 2516 __isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in select_shared_inequalities() argument
2520 bmap1 = isl_basic_map_cow(bmap1); in select_shared_inequalities()
2521 if (!bmap1 || !bmap2) in select_shared_inequalities()
2522 return isl_basic_map_free(bmap1); in select_shared_inequalities()
2524 i1 = bmap1->n_ineq - 1; in select_shared_inequalities()
2526 while (bmap1 && i1 >= 0 && i2 >= 0) { in select_shared_inequalities()
2529 cmp = isl_basic_map_constraint_cmp(bmap1, bmap1->ineq[i1], in select_shared_inequalities()
2536 if (isl_basic_map_drop_inequality(bmap1, i1) < 0) in select_shared_inequalities()
2537 bmap1 = isl_basic_map_free(bmap1); in select_shared_inequalities()
2541 if (isl_int_lt(bmap1->ineq[i1][0], bmap2->ineq[i2][0])) in select_shared_inequalities()
[all …]
|
| H A D | isl_map.c | 281 static isl_bool isl_basic_map_has_equal_params(__isl_keep isl_basic_map *bmap1, in isl_basic_map_has_equal_params() argument
286 space1 = isl_basic_map_peek_space(bmap1); in isl_basic_map_has_equal_params()
1579 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_equal_params() argument
1583 match = isl_basic_map_has_equal_params(bmap1, bmap2); in isl_basic_map_check_equal_params()
1587 isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid, in isl_basic_map_check_equal_params()
1947 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2, in add_constraints() argument
1957 if (!bmap1 || !space) in add_constraints()
1960 total = isl_basic_map_dim(bmap1, isl_dim_all); in add_constraints()
1963 o_in = isl_basic_map_offset(bmap1, isl_dim_in) - 1 + i_pos; in add_constraints()
1965 o_out = isl_basic_map_offset(bmap1, isl_dim_out) - 1 + o_pos; in add_constraints()
[all …]
|
| H A D | isl_map_simplify.c | 2956 __isl_keep isl_basic_map *bmap1, int n1, in combined_variable_compression() argument
2963 ctx = isl_basic_map_get_ctx(bmap1); in combined_variable_compression()
2964 if (bmap1->n_eq == n1) { in combined_variable_compression()
2970 E1 = isl_mat_sub_alloc6(ctx, bmap1->eq, in combined_variable_compression()
2971 n1, bmap1->n_eq - n1, 0, 1 + total); in combined_variable_compression()
2974 E1 = isl_mat_sub_alloc6(ctx, bmap1->eq, in combined_variable_compression()
2975 n1, bmap1->n_eq - n1, 0, 1 + total); in combined_variable_compression()
2979 bmap = basic_map_from_equalities(isl_basic_map_get_space(bmap1), E1); in combined_variable_compression()
3810 isl_bool isl_basic_map_plain_is_disjoint(__isl_keep isl_basic_map *bmap1, in isl_basic_map_plain_is_disjoint() argument
3818 if (isl_basic_map_check_equal_space(bmap1, bmap2) < 0) in isl_basic_map_plain_is_disjoint()
[all …]
|
| H A D | 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,
|
| H A D | isl_coalesce.c | 2932 isl_basic_map *bmap1, *bmap2; in harmonize_divs() local
2947 bmap1 = isl_basic_map_copy(info1->bmap); in harmonize_divs()
2949 eq1 = isl_basic_map_wrap(isl_basic_map_plain_affine_hull(bmap1)); in harmonize_divs()
2969 static isl_bool same_divs(__isl_keep isl_basic_map *bmap1, in same_divs() argument
2976 if (!bmap1 || !bmap2) in same_divs()
2978 if (bmap1->n_div != bmap2->n_div) in same_divs()
2981 if (bmap1->n_div == 0) in same_divs()
2984 known = isl_basic_map_divs_known(bmap1); in same_divs()
2991 total = isl_basic_map_dim(bmap1, isl_dim_all); in same_divs()
2994 for (i = 0; i < bmap1->n_div; ++i) in same_divs()
[all …]
|
| H A D | isl_ast_build.c | 1503 isl_basic_map *bmap1, *bmap2; in construct_insertion_map() local
1511 bmap1 = isl_basic_map_from_constraint(isl_constraint_copy(c)); in construct_insertion_map()
1515 bmap1 = isl_basic_map_upper_bound_si(bmap1, isl_dim_in, 0, pos - 1); in construct_insertion_map()
1518 return isl_basic_map_union(bmap1, bmap2); in construct_insertion_map()
|
| H A D | isl_test.c | 9393 isl_basic_map *bmap1, *bmap2; in test_curry() local
9397 bmap1 = isl_basic_map_read_from_str(ctx, str); in test_curry()
9398 bmap2 = isl_basic_map_curry(isl_basic_map_copy(bmap1)); in test_curry()
9399 equal = isl_basic_map_is_equal(bmap1, bmap2); in test_curry()
9400 isl_basic_map_free(bmap1); in test_curry()
|
| /netbsd-src/external/mit/isl/dist/include/isl/ |
| H A D | 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 …]
|
| /netbsd-src/external/mit/isl/dist/doc/ |
| H A D | user.pod | 5213 __isl_keep isl_basic_map *bmap1,
5298 __isl_keep isl_basic_map *bmap1,
5330 __isl_keep isl_basic_map *bmap1,
5333 __isl_keep isl_basic_map *bmap1,
7490 __isl_take isl_basic_map *bmap1,
7795 __isl_take isl_basic_map *bmap1,
7943 __isl_take isl_basic_map *bmap1,
7946 __isl_take isl_basic_map *bmap1,
8394 __isl_take isl_basic_map *bmap1,
8397 __isl_take isl_basic_map *bmap1,
[all …]
|