Home
last modified time | relevance | path

Searched refs:bmap2 (Results 1 – 12 of 12) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_map.c282 __isl_keep isl_basic_map *bmap2) in isl_basic_map_has_equal_params() argument
287 space2 = isl_basic_map_peek_space(bmap2); 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()
1947 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2, in add_constraints() argument
1956 space = isl_basic_map_peek_space(bmap2); in add_constraints()
1961 n_param = isl_basic_map_dim(bmap2, isl_dim_param); in add_constraints()
1962 n_in = isl_basic_map_dim(bmap2, isl_dim_in); in add_constraints()
1964 n_out = isl_basic_map_dim(bmap2, isl_dim_out); in add_constraints()
1966 n_div = isl_basic_map_dim(bmap2, isl_dim_div); in add_constraints()
[all …]
H A Disl_convex_hull.c2516 __isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in select_shared_inequalities() argument
2521 if (!bmap1 || !bmap2) in select_shared_inequalities()
2525 i2 = bmap2->n_ineq - 1; in select_shared_inequalities()
2530 bmap2->ineq[i2]); in select_shared_inequalities()
2541 if (isl_int_lt(bmap1->ineq[i1][0], bmap2->ineq[i2][0])) in select_shared_inequalities()
2542 isl_int_set(bmap1->ineq[i1][0], bmap2->ineq[i2][0]); in select_shared_inequalities()
2562 __isl_take isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in select_shared_equalities() argument
2569 if (total < 0 || !bmap2) in select_shared_equalities()
2573 i2 = bmap2->n_eq - 1; in select_shared_equalities()
2578 last2 = isl_seq_last_non_zero(bmap2->eq[i2] + 1, total); in select_shared_equalities()
[all …]
H A Disl_map_private.h304 __isl_keep isl_basic_map *bmap2);
306 __isl_keep isl_basic_map *bmap2);
575 __isl_keep isl_basic_map *bmap2);
584 __isl_keep isl_basic_map *bmap2);
596 int pos1, __isl_keep isl_basic_map *bmap2, int pos2,
600 __isl_keep isl_basic_map *bmap2, int pos2);
H A Disl_map_simplify.c2957 __isl_keep isl_basic_map *bmap2, int n2, int total) in combined_variable_compression() argument
2965 E2 = isl_mat_sub_alloc6(ctx, bmap2->eq, in combined_variable_compression()
2966 n2, bmap2->n_eq - n2, 0, 1 + total); in combined_variable_compression()
2969 if (bmap2->n_eq == n2) { in combined_variable_compression()
2976 E2 = isl_mat_sub_alloc6(ctx, bmap2->eq, in combined_variable_compression()
2977 n2, bmap2->n_eq - n2, 0, 1 + total); in combined_variable_compression()
3811 __isl_keep isl_basic_map *bmap2) 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()
3820 if (bmap1->n_div || bmap2->n_div) in isl_basic_map_plain_is_disjoint()
3822 if (!bmap1->n_eq && !bmap2->n_eq) in isl_basic_map_plain_is_disjoint()
[all …]
H A Disl_ast_build.c1503 isl_basic_map *bmap1, *bmap2; in construct_insertion_map() local
1513 bmap2 = isl_basic_map_from_constraint(c); in construct_insertion_map()
1516 bmap2 = isl_basic_map_lower_bound_si(bmap2, isl_dim_in, 0, pos); in construct_insertion_map()
1518 return isl_basic_map_union(bmap1, bmap2); in construct_insertion_map()
H A Disl_coalesce.c2932 isl_basic_map *bmap1, *bmap2; in harmonize_divs() local
2948 bmap2 = isl_basic_map_copy(info2->bmap); in harmonize_divs()
2950 eq2 = isl_basic_map_wrap(isl_basic_map_plain_affine_hull(bmap2)); in harmonize_divs()
2970 __isl_keep isl_basic_map *bmap2) in same_divs() argument
2976 if (!bmap1 || !bmap2) in same_divs()
2978 if (bmap1->n_div != bmap2->n_div) in same_divs()
2987 known = isl_basic_map_divs_known(bmap2); in same_divs()
2995 if (!isl_seq_eq(bmap1->div[i], bmap2->div[i], 2 + total)) in same_divs()
H A Disl_test.c9393 isl_basic_map *bmap1, *bmap2; in test_curry() local
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()
9401 isl_basic_map_free(bmap2); in test_curry()
/netbsd-src/external/mit/isl/dist/include/isl/
H A Dmap.h156 __isl_take isl_basic_map *bmap2);
162 __isl_take isl_basic_map *bmap2);
166 __isl_take isl_basic_map *bmap2);
170 __isl_take isl_basic_map *bmap2);
231 __isl_take isl_basic_map *bmap2);
242 __isl_keep isl_basic_map *bmap2);
244 __isl_keep isl_basic_map *bmap2);
300 __isl_keep isl_basic_map *bmap2);
302 __isl_keep isl_basic_map *bmap2);
388 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
[all …]
H A Dcpp-checked.h1426 inline isl::checked::basic_map apply_domain(isl::checked::basic_map bmap2) const;
1429 inline isl::checked::basic_map apply_range(isl::checked::basic_map bmap2) const;
1477 inline isl::checked::basic_map intersect(isl::checked::basic_map bmap2) const;
1507 inline boolean is_equal(const isl::checked::basic_map &bmap2) const;
1514 inline boolean is_subset(const isl::checked::basic_map &bmap2) const;
1571 inline isl::checked::map unite(isl::checked::basic_map bmap2) const;
7539 isl::checked::basic_map basic_map::apply_domain(isl::checked::basic_map bmap2) const in apply_domain() argument
7541 auto res = isl_basic_map_apply_domain(copy(), bmap2.release()); in apply_domain()
7555 isl::checked::basic_map basic_map::apply_range(isl::checked::basic_map bmap2) const in apply_range() argument
7557 auto res = isl_basic_map_apply_range(copy(), bmap2.release()); in apply_range()
[all …]
H A Dcpp.h1492 inline isl::basic_map apply_domain(isl::basic_map bmap2) const;
1495 inline isl::basic_map apply_range(isl::basic_map bmap2) const;
1543 inline isl::basic_map intersect(isl::basic_map bmap2) const;
1573 inline bool is_equal(const isl::basic_map &bmap2) const;
1580 inline bool is_subset(const isl::basic_map &bmap2) const;
1637 inline isl::map unite(isl::basic_map bmap2) const;
8699 isl::basic_map basic_map::apply_domain(isl::basic_map bmap2) const in apply_domain() argument
8701 if (!ptr || bmap2.is_null()) in apply_domain()
8705 auto res = isl_basic_map_apply_domain(copy(), bmap2.release()); in apply_domain()
8725 isl::basic_map basic_map::apply_range(isl::basic_map bmap2) const in apply_range() argument
[all …]
H A Dtyped_cpp.h1041 …yped::basic_map<Domain2, Range> apply_domain(const typed::basic_map<Domain, Domain2> &bmap2) const;
1047 …inline typed::basic_map<Domain, Range2> apply_range(const typed::basic_map<Range, Range2> &bmap2) …
1087 …inline typed::basic_map<Domain, Range> intersect(const typed::basic_map<Domain, Range> &bmap2) con…
1167 inline typed::map<Domain, Range> unite(const typed::basic_map<Domain, Range> &bmap2) const;
1256 …p<Domain2, Range2> apply_domain(const typed::basic_map<pair<Domain, Range>, Domain2> &bmap2) const;
1262 …asic_map<pair<Domain, Range>, Arg3> apply_range(const typed::basic_map<Range2, Arg3> &bmap2) const;
1302 …omain, Range>, Range2> intersect(const typed::basic_map<pair<Domain, Range>, Range2> &bmap2) const;
1380 …ir<Domain, Range>, Range2> unite(const typed::basic_map<pair<Domain, Range>, Range2> &bmap2) const;
1467 …ped::basic_map<Domain2, Domain> apply_domain(const typed::basic_map<Domain, Domain2> &bmap2) const;
1473 …inline typed::basic_map<Domain, Range2> apply_range(const typed::basic_map<Domain, Range2> &bmap2)…
[all …]
/netbsd-src/external/mit/isl/dist/doc/
H A Duser.pod5214 __isl_keep isl_basic_map *bmap2);
5299 __isl_keep isl_basic_map *bmap2);
5331 __isl_keep isl_basic_map *bmap2);
5334 __isl_keep isl_basic_map *bmap2);
7491 __isl_take isl_basic_map *bmap2);
7796 __isl_take isl_basic_map *bmap2);
7944 __isl_take isl_basic_map *bmap2);
7947 __isl_take isl_basic_map *bmap2);
8395 __isl_take isl_basic_map *bmap2);
8398 __isl_take isl_basic_map *bmap2);
[all …]