/external/llvm-project/polly/lib/External/isl/ |
D | isl_affine_hull.c | 75 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 …]
|
D | isl_convex_hull.c | 745 __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 …]
|
D | isl_test.c | 475 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 …]
|
D | isl_map.c | 3702 __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 …]
|
D | isl_map_private.h | 569 __isl_keep isl_basic_set *bset2);
|
D | isl_map_simplify.c | 3873 __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/ |
D | set.h | 109 __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);
|
D | isl-noexceptions.h | 820 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 …]
|
D | cpp-checked.h | 1319 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 …]
|
D | cpp.h | 1384 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/ |
D | user.pod | 4785 __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);
|