Home
last modified time | relevance | path

Searched refs:bset2 (Results 1 – 11 of 11) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_affine_hull.c75 struct isl_basic_set *bset1, struct isl_basic_set *bset2, in set_common_multiple() argument
80 if (isl_int_eq(bset1->eq[row][col], bset2->eq[row][col])) in set_common_multiple()
85 isl_int_lcm(m, bset1->eq[row][col], bset2->eq[row][col]); in set_common_multiple()
88 isl_int_divexact(c, m, bset2->eq[row][col]); in set_common_multiple()
89 isl_seq_scale(bset2->eq[row], bset2->eq[row], c, col+1); in set_common_multiple()
118 __isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2, in construct_column() argument
133 if (isl_int_is_zero(bset2->eq[r][col])) in construct_column()
135 isl_int_gcd(b, bset2->eq[r][col], bset1->eq[row][col]); in construct_column()
137 isl_int_divexact(b, bset2->eq[r][col], b); in construct_column()
140 isl_seq_scale(bset2->eq[r], bset2->eq[r], a, 1 + total); in construct_column()
[all …]
Disl_convex_hull.c745 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in convex_hull_pair_elim() argument
753 if (dim < 0 || !bset2) in convex_hull_pair_elim()
757 1 + dim + bset1->n_eq + bset2->n_eq, in convex_hull_pair_elim()
758 2 + bset1->n_ineq + bset2->n_ineq); in convex_hull_pair_elim()
760 bset[1] = bset2; in convex_hull_pair_elim()
799 isl_basic_set_free(bset2); in convex_hull_pair_elim()
803 isl_basic_set_free(bset2); in convex_hull_pair_elim()
872 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in induced_lineality_space() argument
879 if (dim < 0 || !bset2) in induced_lineality_space()
883 bset1->n_eq + bset2->n_eq, in induced_lineality_space()
[all …]
Disl_test.c475 isl_basic_set *bset1, *bset2; in test_read() local
485 bset2 = isl_basic_set_read_from_str(ctx, str); in test_read()
487 equal = isl_basic_set_is_equal(bset1, bset2); in test_read()
490 isl_basic_set_free(bset2); in test_read()
580 isl_basic_set *bset1, *bset2; in test_construction_2() local
589 bset2 = isl_basic_set_read_from_str(ctx, "{ [x] : -100 <= x <= 100 }"); in test_construction_2()
590 equal = isl_basic_set_is_equal(bset1, bset2); in test_construction_2()
592 isl_basic_set_free(bset2); in test_construction_2()
1221 struct isl_basic_set *bset1, *bset2; in test_application_case() local
1234 bset2 = isl_basic_set_read_from_file(ctx, input); in test_application_case()
[all …]
Disl_map.c3702 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in isl_basic_set_intersect() argument
3705 bset_to_bmap(bset2))); in isl_basic_set_intersect()
3709 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in isl_basic_set_intersect_params() argument
3711 return isl_basic_set_intersect(bset1, bset2); in isl_basic_set_intersect_params()
8945 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_subset() argument
8947 return isl_basic_map_is_subset(bset1, bset2); in isl_basic_set_is_subset()
8965 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_equal() argument
8968 bset_to_bmap(bset1), bset_to_bmap(bset2)); in isl_basic_set_is_equal()
9014 __isl_keep isl_basic_set *bset2) in isl_basic_set_check_equal_space() argument
9318 __isl_take isl_basic_set *bset2) in isl_basic_set_union() argument
[all …]
Disl_map_private.h569 __isl_keep isl_basic_set *bset2);
Disl_map_simplify.c3873 __isl_keep isl_basic_set *bset2) in isl_basic_set_plain_is_disjoint() argument
3876 bset_to_bmap(bset2)); in isl_basic_set_plain_is_disjoint()
4069 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_disjoint() argument
4071 return isl_basic_map_is_disjoint(bset1, bset2); in isl_basic_set_is_disjoint()
/external/llvm-project/polly/lib/External/isl/include/isl/
Dset.h109 __isl_take isl_basic_set *bset2);
112 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
190 __isl_keep isl_basic_set *bset2);
192 __isl_keep isl_basic_set *bset2);
234 __isl_take isl_basic_set *bset2);
237 __isl_keep isl_basic_set *bset2, int pos);
270 __isl_keep isl_basic_set *bset2);
272 __isl_keep isl_basic_set *bset2);
316 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
Disl-noexceptions.h820 inline basic_set flat_product(basic_set bset2) const;
837 inline basic_set intersect(basic_set bset2) const;
838 inline basic_set intersect_params(basic_set bset2) const;
841 inline boolean is_disjoint(const basic_set &bset2) const;
843 inline boolean is_equal(const basic_set &bset2) const;
845 inline boolean is_subset(const basic_set &bset2) const;
859 inline boolean plain_is_equal(const basic_set &bset2) const;
875 inline set unite(basic_set bset2) const;
6396 basic_set basic_set::flat_product(basic_set bset2) const in flat_product() argument
6398 auto res = isl_basic_set_flat_product(copy(), bset2.release()); in flat_product()
[all …]
Dcpp-checked.h1319 inline isl::checked::basic_set intersect(isl::checked::basic_set bset2) const;
1320 inline isl::checked::basic_set intersect_params(isl::checked::basic_set bset2) const;
1322 inline boolean is_equal(const isl::checked::basic_set &bset2) const;
1323 inline boolean is_subset(const isl::checked::basic_set &bset2) const;
1330 inline isl::checked::set unite(isl::checked::basic_set bset2) const;
5676 isl::checked::basic_set basic_set::intersect(isl::checked::basic_set bset2) const in intersect() argument
5678 auto res = isl_basic_set_intersect(copy(), bset2.release()); in intersect()
5682 isl::checked::basic_set basic_set::intersect_params(isl::checked::basic_set bset2) const in intersect_params() argument
5684 auto res = isl_basic_set_intersect_params(copy(), bset2.release()); in intersect_params()
5694 boolean basic_set::is_equal(const isl::checked::basic_set &bset2) const in is_equal() argument
[all …]
Dcpp.h1384 inline isl::basic_set intersect(isl::basic_set bset2) const;
1385 inline isl::basic_set intersect_params(isl::basic_set bset2) const;
1387 inline bool is_equal(const isl::basic_set &bset2) const;
1388 inline bool is_subset(const isl::basic_set &bset2) const;
1395 inline isl::set unite(isl::basic_set bset2) const;
6623 isl::basic_set basic_set::intersect(isl::basic_set bset2) const in intersect() argument
6625 if (!ptr || bset2.is_null()) in intersect()
6629 auto res = isl_basic_set_intersect(copy(), bset2.release()); in intersect()
6635 isl::basic_set basic_set::intersect_params(isl::basic_set bset2) const in intersect_params() argument
6637 if (!ptr || bset2.is_null()) in intersect_params()
[all …]
/external/llvm-project/polly/lib/External/isl/doc/
Duser.pod4785 __isl_keep isl_basic_set *bset2);
4788 __isl_keep isl_basic_set *bset2);
4873 __isl_keep isl_basic_set *bset2);
4901 __isl_keep isl_basic_set *bset2);
6918 __isl_take isl_basic_set *bset2);
6921 __isl_take isl_basic_set *bset2);
7217 __isl_take isl_basic_set *bset2);
7893 __isl_take isl_basic_set *bset2);