| /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()
86 isl_int_divexact(c, m, bset1->eq[row][col]); in set_common_multiple()
87 isl_seq_scale(bset1->eq[row], bset1->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
126 total = isl_basic_set_dim(bset1, isl_dim_set); in construct_column()
135 isl_int_gcd(b, bset2->eq[r][col], bset1->eq[row][col]); in construct_column()
136 isl_int_divexact(a, bset1->eq[row][col], b); in construct_column()
138 isl_seq_combine(bset1->eq[r], a, bset1->eq[r], 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
752 dim = isl_basic_set_dim(bset1, isl_dim_set); in convex_hull_pair_elim()
756 hull = isl_basic_set_alloc(bset1->ctx, 0, 2 + 3 * dim, 0, 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()
759 bset[0] = bset1; in convex_hull_pair_elim()
798 isl_basic_set_free(bset1); in convex_hull_pair_elim()
802 isl_basic_set_free(bset1); in convex_hull_pair_elim()
872 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in induced_lineality_space() argument
878 dim = isl_basic_set_dim(bset1, isl_dim_all); in induced_lineality_space()
[all …]
|
| D | isl_test.c | 475 isl_basic_set *bset1, *bset2; in test_read() local
484 bset1 = isl_basic_set_read_from_file(ctx, input); in test_read()
487 equal = isl_basic_set_is_equal(bset1, bset2); in test_read()
489 isl_basic_set_free(bset1); in test_read()
580 isl_basic_set *bset1, *bset2; in test_construction_2() local
584 bset1 = isl_basic_set_universe(space); in test_construction_2()
585 bset1 = isl_basic_set_upper_bound_val(bset1, isl_dim_set, 0, in test_construction_2()
587 bset1 = isl_basic_set_lower_bound_val(bset1, isl_dim_set, 0, in test_construction_2()
590 equal = isl_basic_set_is_equal(bset1, bset2); in test_construction_2()
591 isl_basic_set_free(bset1); in test_construction_2()
[all …]
|
| D | isl_map.c | 3702 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2) in isl_basic_set_intersect() argument
3704 return bset_from_bmap(isl_basic_map_intersect(bset_to_bmap(bset1), 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()
8944 isl_bool isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1, in isl_basic_set_is_subset() argument
8947 return isl_basic_map_is_subset(bset1, bset2); in isl_basic_set_is_subset()
8964 isl_bool isl_basic_set_is_equal(__isl_keep isl_basic_set *bset1, in isl_basic_set_is_equal() argument
8968 bset_to_bmap(bset1), bset_to_bmap(bset2)); in isl_basic_set_is_equal()
9013 isl_stat isl_basic_set_check_equal_space(__isl_keep isl_basic_set *bset1, in isl_basic_set_check_equal_space() argument
9016 return isl_basic_map_check_equal_space(bset_to_bmap(bset1), in isl_basic_set_check_equal_space()
[all …]
|
| D | isl_map_private.h | 568 isl_stat isl_basic_set_check_equal_space(__isl_keep isl_basic_set *bset1,
|
| D | isl_map_simplify.c | 3872 int isl_basic_set_plain_is_disjoint(__isl_keep isl_basic_set *bset1, in isl_basic_set_plain_is_disjoint() argument
3875 return isl_basic_map_plain_is_disjoint(bset_to_bmap(bset1), in isl_basic_set_plain_is_disjoint()
4068 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1, 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 | 108 __isl_take isl_basic_set *bset1,
112 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
189 isl_bool isl_basic_set_is_equal(__isl_keep isl_basic_set *bset1,
191 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1,
233 __isl_take isl_basic_set *bset1,
236 int isl_basic_set_compare_at(__isl_keep isl_basic_set *bset1,
269 isl_bool isl_basic_set_is_subset(__isl_keep isl_basic_set *bset1,
271 isl_bool isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1,
316 __isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2);
|
| /external/llvm-project/polly/lib/External/isl/doc/ |
| D | user.pod | 4784 __isl_keep isl_basic_set *bset1,
4787 __isl_keep isl_basic_set *bset1,
4872 __isl_keep isl_basic_set *bset1,
4900 __isl_keep isl_basic_set *bset1,
6917 __isl_take isl_basic_set *bset1,
6920 __isl_take isl_basic_set *bset1,
7216 __isl_take isl_basic_set *bset1,
7892 __isl_take isl_basic_set *bset1,
|