Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_affine_hull.c89 isl_seq_scale(bset2->eq[row], bset2->eq[row], c, col+1); in set_common_multiple()
133 if (isl_int_is_zero(bset2->eq[r][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()
186 isl_seq_combine(bset2->eq[i], g, bset2->eq[i], a, bset2->eq[t], in transform_column()
193 delete_row(bset2, t); in transform_column()
211 if (dim < 0 || !bset2) in affine_hull()
220 int is_zero2 = row >= bset2->n_eq || in affine_hull()
221 isl_int_is_zero(bset2->eq[row][col]); in affine_hull()
242 isl_basic_set_free(bset2); in affine_hull()
[all …]
H A Disl_convex_hull.c753 if (dim < 0 || !bset2) 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()
879 if (dim < 0 || !bset2) in induced_lineality_space()
918 isl_basic_set_free(bset2); in induced_lineality_space()
1004 if (total < 0 || !bset2) in valid_direction_lp()
1008 2 * bset1->n_eq + bset1->n_ineq + 2 * bset2->n_eq + bset2->n_ineq; in valid_direction_lp()
1087 if (!bset1 || !bset2) in valid_direction()
1233 if (!bset1 || !bset2) in convex_hull_pair_pointed()
[all …]
H A Disl_test.c518 isl_basic_set *bset1, *bset2; in test_read() local
533 isl_basic_set_free(bset2); in test_read()
623 isl_basic_set *bset1, *bset2; in test_construction_2() local
635 isl_basic_set_free(bset2); in test_construction_2()
1282 isl_basic_set_free(bset2); in test_application_case()
1315 isl_basic_set_free(bset2); in test_affine_hull_case()
1368 isl_basic_set *bset, *bset2; in test_affine_hull() local
1410 isl_basic_set_free(bset2); in test_affine_hull()
1611 isl_basic_set_free(bset2); in test_convex_hull_case()
8771 isl_basic_set_free(bset2); in test_sample()
[all …]
H A Disl_map.c3781 bset_to_bmap(bset2))); in isl_basic_set_intersect()
9102 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_subset() argument
9122 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_equal() argument
9171 __isl_keep isl_basic_set *bset2) in isl_basic_set_check_equal_space() argument
9476 __isl_take isl_basic_set *bset2) in isl_basic_set_union() argument
9479 bset_to_bmap(bset2))); in isl_basic_set_union()
9888 if (nparam < 0 || dim1 < 0 || !bset2) in basic_set_maximal_difference_at()
9970 bmap = join_initial(bset1, bset2, pos); in isl_basic_set_follows_at()
10372 __isl_keep isl_basic_set *bset2) in isl_basic_set_plain_cmp() argument
10404 __isl_keep isl_basic_set *bset2) in isl_basic_set_plain_is_equal() argument
[all …]
H A Disl_map_private.h573 __isl_keep isl_basic_set *bset2);
H A Disl_map_simplify.c3876 __isl_keep isl_basic_set *bset2) in isl_basic_set_plain_is_disjoint() argument
3879 bset_to_bmap(bset2)); in isl_basic_set_plain_is_disjoint()
4072 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_disjoint() argument
4074 return isl_basic_map_is_disjoint(bset1, bset2); in isl_basic_set_is_disjoint()
/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dset.h111 __isl_take isl_basic_set *bset2);
114 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
192 __isl_keep isl_basic_set *bset2);
194 __isl_keep isl_basic_set *bset2);
236 __isl_take isl_basic_set *bset2);
239 __isl_keep isl_basic_set *bset2, int pos);
272 __isl_keep isl_basic_set *bset2);
274 __isl_keep isl_basic_set *bset2);
322 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
H A Disl-noexceptions.h1826 inline isl::set unite(isl::basic_set bset2) const;
1829 inline isl::set unite(const isl::point &bset2) const;
9364 return this->intersect(isl::basic_set(bset2)); in intersect()
9433 return this->is_equal(isl::basic_set(bset2)); in is_equal()
9474 return this->is_subset(isl::basic_set(bset2)); in is_subset()
9777 isl::set basic_set::unite(isl::basic_set bset2) const in unite() argument
9795 return this->unite(isl::basic_set(bset2)); in unite()
14549 return isl::basic_set(*this).intersect(bset2); in intersect()
14604 return isl::basic_set(*this).is_equal(bset2); in is_equal()
14639 return isl::basic_set(*this).is_subset(bset2); in is_subset()
[all …]
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Duser.pod5146 __isl_keep isl_basic_set *bset2);
5149 __isl_keep isl_basic_set *bset2);
5234 __isl_keep isl_basic_set *bset2);
5262 __isl_keep isl_basic_set *bset2);
7305 __isl_take isl_basic_set *bset2);
7308 __isl_take isl_basic_set *bset2);
7612 __isl_take isl_basic_set *bset2);
8306 __isl_take isl_basic_set *bset2);