| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | isl_map.c | 3741 return bmap2; in isl_basic_map_intersect()
3750 isl_basic_map_contains(bmap2, bmap2->sample) > 0) in isl_basic_map_intersect()
3757 bmap2->n_div, bmap2->n_eq, bmap2->n_ineq); in isl_basic_map_intersect()
9087 if (!bmap1 || !bmap2) in isl_basic_map_is_subset()
9112 if (!bmap1 || !bmap2) in isl_basic_map_is_equal()
9244 if (!bmap1 || !bmap2) in isl_basic_map_is_strict_subset()
9859 isl_basic_map *bmap2; in join_initial() local
9865 bmap2 = isl_basic_map_move_dims(bmap2, isl_dim_in, 0, in join_initial()
10324 if (!bmap1 || !bmap2) in isl_basic_map_plain_cmp()
10327 if (bmap1 == bmap2) in isl_basic_map_plain_cmp()
[all …]
|
| H A D | isl_convex_hull.c | 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()
2569 if (total < 0 || !bmap2) in select_shared_equalities()
2573 i2 = bmap2->n_eq - 1; in select_shared_equalities()
2620 bmap2 = isl_basic_map_drop_constraints_involving_unknown_divs(bmap2); in isl_basic_map_plain_unshifted_simple_hull()
2622 bmap2 = isl_basic_map_align_divs(bmap2, bmap1); in isl_basic_map_plain_unshifted_simple_hull()
2623 bmap1 = isl_basic_map_align_divs(bmap1, bmap2); in isl_basic_map_plain_unshifted_simple_hull()
2625 bmap2 = isl_basic_map_sort_constraints(bmap2); in isl_basic_map_plain_unshifted_simple_hull()
2630 isl_basic_map_free(bmap2); in isl_basic_map_plain_unshifted_simple_hull()
[all …]
|
| H A D | isl_map_private.h | 304 __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);
590 int pos1, __isl_keep isl_basic_map *bmap2, int pos2,
594 __isl_keep isl_basic_map *bmap2, int pos2);
|
| H A D | isl_map_simplify.c | 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
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()
3837 for (i = 0; i < bmap2->n_eq; ++i) { in isl_basic_map_plain_is_disjoint()
3845 for (i = 0; i < bmap2->n_ineq; ++i) { in isl_basic_map_plain_is_disjoint()
3886 __isl_keep isl_basic_map *bmap2)) in all_pairs() argument
4035 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_disjoint() argument
[all …]
|
| H A D | isl_ast_build.c | 1503 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 D | isl_coalesce.c | 2930 isl_basic_map *bmap1, *bmap2; in harmonize_divs() local
2946 bmap2 = isl_basic_map_copy(info2->bmap); in harmonize_divs()
2948 eq2 = isl_basic_map_wrap(isl_basic_map_plain_affine_hull(bmap2)); in harmonize_divs()
2968 __isl_keep isl_basic_map *bmap2) in same_divs() argument
2974 if (!bmap1 || !bmap2) in same_divs()
2976 if (bmap1->n_div != bmap2->n_div) in same_divs()
2985 known = isl_basic_map_divs_known(bmap2); in same_divs()
2993 if (!isl_seq_eq(bmap1->div[i], bmap2->div[i], 2 + total)) in same_divs()
|
| H A D | isl_test.c | 9337 isl_basic_map *bmap1, *bmap2; in test_curry() local
9342 bmap2 = isl_basic_map_curry(isl_basic_map_copy(bmap1)); in test_curry()
9343 equal = isl_basic_map_is_equal(bmap1, bmap2); in test_curry()
9345 isl_basic_map_free(bmap2); in test_curry()
|
| /llvm-project-15.0.7/polly/lib/External/isl/include/isl/ |
| H A D | map.h | 156 __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);
380 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
[all …]
|
| H A D | isl-noexceptions.h | 1454 inline isl::basic_map apply_range(isl::basic_map bmap2) const;
1519 inline isl::basic_map intersect(isl::basic_map bmap2) const;
1546 inline boolean is_equal(const isl::basic_map &bmap2) const;
1553 inline boolean is_subset(const isl::basic_map &bmap2) const;
1616 inline isl::map unite(isl::basic_map bmap2) const;
8324 auto res = isl_basic_map_intersect(copy(), bmap2.release()); in intersect()
8461 boolean basic_map::is_equal(const isl::basic_map &bmap2) const in is_equal() argument
8463 auto res = isl_basic_map_is_equal(get(), bmap2.get()); in is_equal()
8499 auto res = isl_basic_map_is_subset(get(), bmap2.get()); in is_subset()
8819 isl::map basic_map::unite(isl::basic_map bmap2) const in unite() argument
[all …]
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | retain-release-inline.m | 365 …*bmap1, __attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap2) { // expected-war…
366 bmap1 = bmap2;
367 isl_basic_map_free(bmap2);
371 …*bmap1, __attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap2) { // expected-war…
372 bmap1 = bmap2;
374 return bmap2;
377 …*bmap1, __attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap2) { // expected-war…
379 if (!bmap1 || !bmap2)
382 isl_basic_map_free(bmap2);
|
| /llvm-project-15.0.7/polly/lib/External/isl/doc/ |
| H A D | user.pod | 5159 __isl_keep isl_basic_map *bmap2);
5244 __isl_keep isl_basic_map *bmap2);
5276 __isl_keep isl_basic_map *bmap2);
5279 __isl_keep isl_basic_map *bmap2);
7333 __isl_take isl_basic_map *bmap2);
7622 __isl_take isl_basic_map *bmap2);
7770 __isl_take isl_basic_map *bmap2);
7773 __isl_take isl_basic_map *bmap2);
8221 __isl_take isl_basic_map *bmap2);
8224 __isl_take isl_basic_map *bmap2);
[all …]
|