|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/isl_aff.c 4680 bmap = isl_basic_map_copy(map->p[i]);
tools/polly/lib/External/isl/isl_affine_hull.c 1131 map->p[i] = isl_basic_map_affine_hull(map->p[i]);
1131 map->p[i] = isl_basic_map_affine_hull(map->p[i]);
1132 map->p[i] = isl_basic_map_gauss(map->p[i], NULL);
1132 map->p[i] = isl_basic_map_gauss(map->p[i], NULL);
1133 map->p[i] = isl_basic_map_make_strides_explicit(map->p[i]);
1133 map->p[i] = isl_basic_map_make_strides_explicit(map->p[i]);
1134 if (!map->p[i])
1196 model = isl_basic_map_copy(map->p[0]);
1204 set->p[0] = affine_hull(set->p[0], set->p[--set->n]);
1204 set->p[0] = affine_hull(set->p[0], set->p[--set->n]);
1204 set->p[0] = affine_hull(set->p[0], set->p[--set->n]);
1206 bset = isl_basic_set_copy(set->p[0]);
tools/polly/lib/External/isl/isl_coalesce.c 3827 isl_basic_map_free(map->p[i]);
3829 map->p[i] = map->p[map->n - 1];
3829 map->p[i] = map->p[map->n - 1];
3844 isl_basic_map_free(map->p[i]);
3845 map->p[i] = info[i].bmap;
3899 map->p[i] = isl_basic_map_reduce_coefficients(map->p[i]);
3899 map->p[i] = isl_basic_map_reduce_coefficients(map->p[i]);
3900 if (!map->p[i])
3902 info[i].bmap = isl_basic_map_copy(map->p[i]);
tools/polly/lib/External/isl/isl_convex_hull.c 129 if (ISL_F_ISSET(set->p[j], ISL_BASIC_SET_EMPTY))
132 res = isl_basic_set_solve_lp(set->p[j],
139 set->p[j] = isl_basic_set_set_to_empty(set->p[j]);
139 set->p[j] = isl_basic_set_set_to_empty(set->p[j]);
140 if (!set->p[j])
196 set->p[i] = isl_basic_set_add_equality(set->p[i], c);
196 set->p[i] = isl_basic_set_add_equality(set->p[i], c);
197 if (!set->p[i])
238 n_eq += set->p[i]->n_eq;
239 n_ineq += set->p[i]->n_ineq;
258 for (j = 0; j < set->p[i]->n_eq; ++j) {
261 isl_seq_cpy(lp->eq[k]+1+dim*i, set->p[i]->eq[j], dim);
265 for (j = 0; j < set->p[i]->n_ineq; ++j) {
268 isl_seq_cpy(lp->ineq[k]+1+dim*i, set->p[i]->ineq[j], dim);
631 set->p[i] = isl_basic_set_simplify(set->p[i]);
631 set->p[i] = isl_basic_set_simplify(set->p[i]);
632 if (!set->p[i])
643 if (set->p[0]->n_eq > 0) {
644 isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error);
647 if (isl_int_is_pos(set->p[0]->eq[0][1])) {
648 isl_seq_cpy(lower, set->p[0]->eq[0], 2);
649 isl_seq_neg(upper, set->p[0]->eq[0], 2);
651 isl_seq_neg(lower, set->p[0]->eq[0], 2);
652 isl_seq_cpy(upper, set->p[0]->eq[0], 2);
655 for (j = 0; j < set->p[0]->n_ineq; ++j) {
656 if (isl_int_is_pos(set->p[0]->ineq[j][1])) {
658 isl_seq_cpy(lower, set->p[0]->ineq[j], 2);
661 isl_seq_cpy(upper, set->p[0]->ineq[j], 2);
669 struct isl_basic_set *bset = set->p[i];
876 isl_bool bounded = isl_basic_set_is_bounded(set->p[i]);
1422 isl_basic_set_lineality_space(isl_basic_set_copy(set->p[i])));
1604 if (set->p[i]->n_eq == 0)
1608 min_constraints = set->p[i]->n_ineq;
1611 if (set->p[i]->n_eq != 0)
1613 if (set->p[i]->n_ineq >= min_constraints)
1615 min_constraints = set->p[i]->n_ineq;
1627 for (i = 0; i < set->p[best]->n_ineq; ++i) {
1629 set->p[best]->ineq + i, 0, 1, 0, 1 + total);
1651 for (i = 0; i < set->p[s]->n_eq; ++i) {
1652 isl_int *eq = set->p[s]->eq[i];
1659 for (i = 0; i < set->p[s]->n_ineq; ++i) {
1660 isl_int *ineq = set->p[s]->ineq[i];
1662 set->p[s]->n_eq == 0);
1679 if (set->p[s]->n_eq)
1681 if (set->p[s]->n_ineq != hull->n_ineq)
1683 for (i = 0; i < set->p[s]->n_ineq; ++i) {
1684 isl_int *ineq = set->p[s]->ineq[i];
1688 if (i == set->p[s]->n_ineq)
1721 n_ineq += set->p[i]->n_eq;
1722 n_ineq += set->p[i]->n_ineq;
1768 convex_hull = isl_basic_set_copy(set->p[0]);
1823 convex_hull = isl_basic_set_copy(set->p[0]);
1901 model = isl_basic_map_copy(map->p[0]);
2055 2 * set->p[i]->n_eq + set->p[i]->n_ineq);
2055 2 * set->p[i]->n_eq + set->p[i]->n_ineq);
2058 if (hash_basic_set(data->p[i].table, set->p[i]) < 0)
2084 data->p[j].tab = isl_tab_from_basic_set(set->p[j], 0);
2256 for (j = 0; j < set->p[i]->n_eq; ++j) {
2258 isl_seq_neg(set->p[i]->eq[j], set->p[i]->eq[j], 1+dim);
2258 isl_seq_neg(set->p[i]->eq[j], set->p[i]->eq[j], 1+dim);
2259 bset = add_bound(bset, data, set, i, set->p[i]->eq[j],
2263 for (j = 0; j < set->p[i]->n_ineq; ++j)
2264 bset = add_bound(bset, data, set, i, set->p[i]->ineq[j], shift);
2285 if (!set->p[i])
2287 n_ineq += 2 * set->p[i]->n_eq + set->p[i]->n_ineq;
2287 n_ineq += 2 * set->p[i]->n_eq + set->p[i]->n_ineq;
2326 hull = isl_basic_map_copy(map->p[0]);
2387 model = map ? isl_basic_map_copy(map->p[0]) : NULL;
2597 hull = isl_basic_map_copy(map->p[0]);
2601 bmap_i = isl_basic_map_copy(map->p[i]);
2901 list = isl_basic_map_list_align_divs_to_basic_map(list, map->p[0]);
tools/polly/lib/External/isl/isl_equalities.c 832 if (isl_basic_set_dim_residue_class(set->p[0], pos, modulo, residue)<0)
845 if (isl_basic_set_dim_residue_class(set->p[i], pos, &m, &r) < 0)
tools/polly/lib/External/isl/isl_farkas.c 361 coeff = isl_basic_set_coefficients(isl_basic_set_copy(set->p[0]));
365 bset = isl_basic_set_copy(set->p[i]);
410 sol = isl_basic_set_solutions(isl_basic_set_copy(set->p[0]));
414 bset = isl_basic_set_copy(set->p[i]);
tools/polly/lib/External/isl/isl_ilp.c 451 res = isl_basic_set_opt(set->p[0], max, obj, opt);
461 res = isl_basic_set_opt(set->p[i], max, obj, &opt_i);
tools/polly/lib/External/isl/isl_input.c 2852 bmap = isl_basic_map_copy(map->p[0]);
tools/polly/lib/External/isl/isl_lp.c 107 if (map->p[i]->n_div > max_div)
108 max_div = map->p[i]->n_div;
130 res = isl_basic_map_solve_lp(map->p[0], max, f, d,
143 res_i = isl_basic_map_solve_lp(map->p[i], max, f, d,
tools/polly/lib/External/isl/isl_map.c 549 map->p[i] = isl_basic_map_set_tuple_name(map->p[i], type, s);
549 map->p[i] = isl_basic_map_set_tuple_name(map->p[i], type, s);
550 if (!map->p[i])
760 map->p[i] = isl_basic_map_set_dim_name(map->p[i], type, pos, s);
760 map->p[i] = isl_basic_map_set_dim_name(map->p[i], type, pos, s);
761 if (!map->p[i])
976 rational = isl_basic_map_is_rational(map->p[0]);
982 rational_i = isl_basic_map_is_rational(map->p[i]);
1064 has_rational = isl_basic_map_has_rational(map->p[i]);
2116 map->p[i] = isl_basic_map_set_rational(map->p[i]);
2116 map->p[i] = isl_basic_map_set_rational(map->p[i]);
2117 if (!map->p[i])
2324 map->p[i] = isl_basic_map_drop(map->p[i], type, first, n);
2324 map->p[i] = isl_basic_map_drop(map->p[i], type, first, n);
2325 if (!map->p[i])
2412 map->p[i] = isl_basic_map_eliminate(map->p[i], type, first, n);
2412 map->p[i] = isl_basic_map_eliminate(map->p[i], type, first, n);
2413 if (!map->p[i])
2475 map->p[i] = isl_basic_map_remove_divs(map->p[i]);
2475 map->p[i] = isl_basic_map_remove_divs(map->p[i]);
2476 if (!map->p[i])
2780 map->p[i] = isl_basic_map_remove_divs_involving_dims(map->p[i],
2780 map->p[i] = isl_basic_map_remove_divs_involving_dims(map->p[i],
2782 if (!map->p[i])
2838 isl_bool involves = isl_basic_map_involves_dims(map->p[i],
2998 map->p[i] = drop(map->p[i], type, first, n);
2998 map->p[i] = drop(map->p[i], type, first, n);
2999 if (!map->p[i])
3131 map->p[i] = isl_basic_map_remove_unknown_divs(map->p[i]);
3131 map->p[i] = isl_basic_map_remove_unknown_divs(map->p[i]);
3132 if (!map->p[i])
3168 map->p[i] = isl_basic_map_eliminate_vars(map->p[i],
3168 map->p[i] = isl_basic_map_eliminate_vars(map->p[i],
3169 isl_basic_map_offset(map->p[i], type) - 1 + first, n);
3170 if (!map->p[i])
3385 grown->p[i] = isl_basic_map_copy(map->p[i]);
3385 grown->p[i] = isl_basic_map_copy(map->p[i]);
3386 if (!grown->p[i])
3449 isl_basic_set_print_internal(set->p[i], out, indent+4);
3470 isl_basic_map_print_internal(map->p[i], out, indent+4);
3678 isl_assert(map1->ctx, map1->p[0]->n_div == 0, goto error);
3679 isl_assert(map2->ctx, map1->p[0]->n_div == 0, goto error);
3681 if (map2->p[0]->n_eq + map2->p[0]->n_ineq != 1)
3681 if (map2->p[0]->n_eq + map2->p[0]->n_ineq != 1)
3691 map1->p[0] = isl_basic_map_cow(map1->p[0]);
3691 map1->p[0] = isl_basic_map_cow(map1->p[0]);
3692 if (map2->p[0]->n_eq == 1)
3693 map1->p[0] = isl_basic_map_add_eq(map1->p[0], map2->p[0]->eq[0]);
3693 map1->p[0] = isl_basic_map_add_eq(map1->p[0], map2->p[0]->eq[0]);
3693 map1->p[0] = isl_basic_map_add_eq(map1->p[0], map2->p[0]->eq[0]);
3695 map1->p[0] = isl_basic_map_add_ineq(map1->p[0],
3695 map1->p[0] = isl_basic_map_add_ineq(map1->p[0],
3696 map2->p[0]->ineq[0]);
3698 map1->p[0] = isl_basic_map_simplify(map1->p[0]);
3698 map1->p[0] = isl_basic_map_simplify(map1->p[0]);
3699 map1->p[0] = isl_basic_map_finalize(map1->p[0]);
3699 map1->p[0] = isl_basic_map_finalize(map1->p[0]);
3700 if (!map1->p[0])
3703 if (isl_basic_map_plain_is_empty(map1->p[0])) {
3704 isl_basic_map_free(map1->p[0]);
3746 map1->p[0]->n_div == 0 && map2->p[0]->n_div == 0 &&
3746 map1->p[0]->n_div == 0 && map2->p[0]->n_div == 0 &&
3748 (map1->p[0]->n_eq + map1->p[0]->n_ineq == 1 ||
3748 (map1->p[0]->n_eq + map1->p[0]->n_ineq == 1 ||
3749 map2->p[0]->n_eq + map2->p[0]->n_ineq == 1))
3749 map2->p[0]->n_eq + map2->p[0]->n_ineq == 1))
3777 isl_basic_map_copy(map1->p[i]),
3778 isl_basic_map_copy(map2->p[j]));
3987 map->p[i] = isl_basic_map_insert_dims(map->p[i], type, pos, n);
3987 map->p[i] = isl_basic_map_insert_dims(map->p[i], type, pos, n);
3988 if (!map->p[i])
4171 map->p[i] = isl_basic_map_move_dims(map->p[i],
4171 map->p[i] = isl_basic_map_move_dims(map->p[i],
4174 if (!map->p[i])
4398 map->p[i] = isl_basic_map_project_out(map->p[i], type, first, n);
4398 map->p[i] = isl_basic_map_project_out(map->p[i], type, first, n);
4399 if (!map->p[i])
4651 isl_basic_map_copy(map1->p[i]),
4652 isl_basic_map_copy(map2->p[j]));
4717 map->p[i] = isl_basic_map_neg(map->p[i]);
4717 map->p[i] = isl_basic_map_neg(map->p[i]);
4718 if (!map->p[i])
4800 map->p[i] = isl_basic_map_floordiv(map->p[i], d);
4800 map->p[i] = isl_basic_map_floordiv(map->p[i], d);
4801 if (!map->p[i])
5480 isl_assert(map->ctx, map->p[0]->n_div == map->p[i]->n_div,
5480 isl_assert(map->ctx, map->p[0]->n_div == map->p[i]->n_div,
5483 map->p[i] = bset_to_bmap(
5484 isl_basic_map_underlying_set(map->p[i]));
5485 if (!map->p[i])
5492 map->dim = isl_space_copy(map->p[0]->dim);
5573 map->p[i] = isl_basic_map_reset_space(map->p[i],
5573 map->p[i] = isl_basic_map_reset_space(map->p[i],
5575 if (!map->p[i])
5846 set->p[i] = isl_basic_map_range(map->p[i]);
5846 set->p[i] = isl_basic_map_range(map->p[i]);
5847 if (!set->p[i])
5870 map->p[i] = isl_basic_map_domain_map(map->p[i]);
5870 map->p[i] = isl_basic_map_domain_map(map->p[i]);
5871 if (!map->p[i])
5898 map->p[i] = isl_basic_map_range_map(map->p[i]);
5898 map->p[i] = isl_basic_map_range_map(map->p[i]);
5899 if (!map->p[i])
6119 dup = isl_map_add_basic_map(dup, isl_basic_map_copy(map->p[i]));
6134 map->p[map->n] = bmap;
6159 isl_basic_map_free(map->p[i]);
6293 empty = isl_basic_map_plain_is_empty(map->p[i]);
6299 isl_basic_map_free(map->p[i]);
6302 map->p[i] = map->p[map->n];
6302 map->p[i] = map->p[map->n];
6327 bmap = isl_basic_map_copy(map->p[i]);
6331 isl_basic_map_free(map->p[i]);
6332 map->p[i] = bmap;
6355 map->p[i] = isl_basic_map_fix_si(map->p[i], type, pos, value);
6355 map->p[i] = isl_basic_map_fix_si(map->p[i], type, pos, value);
6384 map->p[i] = isl_basic_map_fix(map->p[i], type, pos, value);
6384 map->p[i] = isl_basic_map_fix(map->p[i], type, pos, value);
6385 if (!map->p[i])
6420 map->p[i] = isl_basic_map_fix_val(map->p[i], type, pos,
6420 map->p[i] = isl_basic_map_fix_val(map->p[i], type, pos,
6512 map->p[i] = basic_map_bound_si(map->p[i],
6512 map->p[i] = basic_map_bound_si(map->p[i],
6514 if (!map->p[i])
6597 map->p[i] = basic_map_bound(map->p[i], type, pos, value, upper);
6597 map->p[i] = basic_map_bound(map->p[i], type, pos, value, upper);
6735 map->p[i] = isl_basic_map_reverse(map->p[i]);
6735 map->p[i] = isl_basic_map_reverse(map->p[i]);
6736 if (!map->p[i])
6795 isl_basic_map_copy(map->p[0]),
6804 isl_basic_map_copy(map->p[i]),
6885 res = basic_map_partial_lexopt(isl_basic_map_copy(map->p[0]),
7015 pwaff = basic_map_dim_opt(map->p[0], max);
7019 pwaff_i = basic_map_dim_opt(map->p[i], max);
7189 set->p[i] = basic_set_append_equalities(set->p[i],
7189 set->p[i] = basic_set_append_equalities(set->p[i],
7191 if (!set->p[i])
7416 map->p[i] = basic_replace_space_by_local_space(map->p[i],
7416 map->p[i] = basic_replace_space_by_local_space(map->p[i],
7418 if (!map->p[i])
7591 int known = isl_basic_map_divs_known(map->p[i]);
7649 res = isl_basic_map_compute_divs(isl_basic_map_copy(map->p[0]));
7652 r2 = isl_basic_map_compute_divs(isl_basic_map_copy(map->p[i]));
7690 set->p[i] = isl_basic_map_domain(map->p[i]);
7690 set->p[i] = isl_basic_map_domain(map->p[i]);
7691 if (!set->p[i])
7762 isl_basic_map_copy(map1->p[i]));
7768 isl_basic_map_copy(map2->p[i]));
7884 fn(isl_basic_map_copy(map->p[i]),
7885 isl_basic_set_copy(set->p[j])));
8043 isl_basic_map_copy(map1->p[i]),
8044 isl_basic_map_copy(map2->p[j])));
8128 isl_basic_map_deltas(isl_basic_map_copy(map->p[i])));
8208 map->p[i] = isl_basic_map_deltas_map(map->p[i]);
8208 map->p[i] = isl_basic_map_deltas_map(map->p[i]);
8209 if (!map->p[i])
8505 is_empty = isl_basic_map_is_empty(map->p[i]);
8692 isl_bool r = isl_basic_map_plain_is_universe(map->p[i]);
8858 map->p[i] = isl_basic_map_order_divs(map->p[i]);
8858 map->p[i] = isl_basic_map_order_divs(map->p[i]);
8859 if (!map->p[i])
9041 map->p[0] = isl_basic_map_align_divs(map->p[0], map->p[i]);
9041 map->p[0] = isl_basic_map_align_divs(map->p[0], map->p[i]);
9041 map->p[0] = isl_basic_map_align_divs(map->p[0], map->p[i]);
9043 map->p[i] = isl_basic_map_align_divs(map->p[i], map->p[0]);
9043 map->p[i] = isl_basic_map_align_divs(map->p[i], map->p[0]);
9043 map->p[i] = isl_basic_map_align_divs(map->p[i], map->p[0]);
9044 if (!map->p[i])
9083 map->p[0] = isl_basic_map_align_divs(map->p[0], bmap);
9083 map->p[0] = isl_basic_map_align_divs(map->p[0], bmap);
9086 if (!map->p[0])
9326 f = isl_basic_set_follows_at(set1->p[i], set2->p[j], pos);
9326 f = isl_basic_set_follows_at(set1->p[i], set2->p[j], pos);
9378 return isl_basic_map_plain_has_fixed_var(map->p[0], pos, val);
9381 fixed = isl_basic_map_plain_has_fixed_var(map->p[0], pos, &v);
9383 fixed = isl_basic_map_plain_has_fixed_var(map->p[i], pos, &tmp);
9660 cmp = isl_basic_set_plain_cmp(set1->p[i], set2->p[i]);
9660 cmp = isl_basic_set_plain_cmp(set1->p[i], set2->p[i]);
9704 qsort(map->p, map->n, sizeof(struct isl_basic_map *), qsort_bmap_cmp);
9706 if (!isl_basic_map_plain_is_equal(map->p[i - 1], map->p[i]))
9706 if (!isl_basic_map_plain_is_equal(map->p[i - 1], map->p[i]))
9708 isl_basic_map_free(map->p[i-1]);
9710 map->p[j - 1] = map->p[j];
9710 map->p[j - 1] = map->p[j];
9739 bmap = isl_basic_map_copy(map->p[i]);
9743 isl_basic_map_free(map->p[i]);
9744 map->p[i] = bmap;
9765 bmap = isl_basic_map_normalize(isl_basic_map_copy(map->p[i]));
9768 isl_basic_map_free(map->p[i]);
9769 map->p[i] = bmap;
9808 equal = isl_basic_map_plain_is_equal(map1->p[i], map2->p[i]);
9808 equal = isl_basic_map_plain_is_equal(map1->p[i], map2->p[i]);
9844 bmap = isl_basic_map_copy(map->p[i]);
10167 part = basic_map_product(isl_basic_map_copy(map1->p[i]),
10168 isl_basic_map_copy(map2->p[j]));
10487 bmap_hash = isl_basic_map_get_hash(map->p[i]);
10522 if (fn(isl_basic_map_copy(map->p[i]), user) < 0)
10537 if (fn(isl_basic_set_copy(set->p[i]), user) < 0)
10558 bset = isl_basic_set_copy(set->p[i]);
10608 n_div = set->p[0]->n_div;
10617 set->p[i] = isl_basic_set_lift(set->p[i]);
10617 set->p[i] = isl_basic_set_lift(set->p[i]);
10618 if (!set->p[i])
10653 size += isl_basic_set_size(set->p[i]);
10721 bounded = isl_basic_map_dim_is_bounded(map->p[i], type, pos);
10752 bounded = fn(map->p[i], type, pos);
10792 bounded = fn(map->p[i], type, pos);
11176 return isl_basic_map_plain_is_single_valued(map->p[0]);
11349 return isl_basic_set_is_box(set->p[0]);
11517 map->p[i] = isl_basic_map_reset(map->p[i], type);
11517 map->p[i] = isl_basic_map_reset(map->p[i], type);
11518 if (!map->p[i])
11717 dim_map_i = isl_dim_map_extend(dim_map, map->p[i]);
11720 map->p[i] = isl_basic_map_realign(map->p[i], space, dim_map_i);
11720 map->p[i] = isl_basic_map_realign(map->p[i], space, dim_map_i);
11722 if (!map->p[i])
12163 map->p[i] = isl_basic_map_zip(map->p[i]);
12163 map->p[i] = isl_basic_map_zip(map->p[i]);
12164 if (!map->p[i])
12711 set->p[i] = isl_basic_set_substitute(set->p[i], type, pos, subs);
12711 set->p[i] = isl_basic_set_substitute(set->p[i], type, pos, subs);
13129 map->p[i] = isl_basic_map_preimage_multi_aff(map->p[i], type,
13129 map->p[i] = isl_basic_map_preimage_multi_aff(map->p[i], type,
13131 if (!map->p[i])
tools/polly/lib/External/isl/isl_map_lexopt_templ.c 113 isl_basic_set_copy(dom->p[0]), empty, flags);
122 isl_basic_set_copy(dom->p[i]), empty, flags);
tools/polly/lib/External/isl/isl_map_simplify.c 1749 map->p[i] =
1751 map->p[i]);
1752 if (!map->p[i])
3130 map->p[i] = isl_basic_map_gist(map->p[i],
3130 map->p[i] = isl_basic_map_gist(map->p[i],
3132 if (!map->p[i])
3134 if (isl_basic_map_plain_is_empty(map->p[i])) {
3135 isl_basic_map_free(map->p[i]);
3137 map->p[i] = map->p[map->n - 1];
3137 map->p[i] = map->p[map->n - 1];
3318 bmap = isl_basic_map_copy(map->p[pos]);
3354 map->p[i] = isl_basic_map_plain_gist(map->p[i],
3354 map->p[i] = isl_basic_map_plain_gist(map->p[i],
3356 univ = isl_basic_map_plain_is_universe(map->p[i]);
3666 isl_bool d = test(map1->p[i], map2->p[j]);
3666 isl_bool d = test(map1->p[i], map2->p[j]);
tools/polly/lib/External/isl/isl_map_subtract.c 376 if (tab_add_divs(tab, map->p[level],
383 if (tab_add_constraints(tab, map->p[level],
406 if (tab_add_constraint(tab, map->p[level],
418 if (tab_add_constraint(tab, map->p[level],
424 if (tab_add_constraint(tab, map->p[level],
560 d = basic_map_subtract(isl_basic_map_copy(map1->p[i]),
709 is_empty = basic_map_diff_is_empty(map1->p[i], map2);
739 return isl_basic_map_plain_is_singleton(map->p[0]);
813 point = singleton_extract_point(map1->p[0]);
818 is_subset = isl_basic_map_contains_point(map2->p[i], point);
907 sdc.diff = isl_map_from_basic_map(isl_basic_map_copy(map->p[0]));
910 struct isl_basic_map *bmap = isl_basic_map_copy(map->p[i]);
tools/polly/lib/External/isl/isl_mat.c 1419 set->p[i] = isl_basic_set_preimage(set->p[i],
1419 set->p[i] = isl_basic_set_preimage(set->p[i],
1421 if (!set->p[i])
tools/polly/lib/External/isl/isl_morph.c 725 set->p[i] = isl_morph_basic_set(isl_morph_copy(morph), set->p[i]);
725 set->p[i] = isl_morph_basic_set(isl_morph_copy(morph), set->p[i]);
726 if (!set->p[i])
tools/polly/lib/External/isl/isl_output.c 156 p = isl_basic_map_print_polylib(map->p[i], p, ext);
1021 p = basic_map_print_omega(map->p[i], p);
1034 p = basic_set_print_omega(set->p[i], p);
1086 if (map->n > 1 && map->p[i]->n_eq + map->p[i]->n_ineq > 1)
1086 if (map->n > 1 && map->p[i]->n_eq + map->p[i]->n_ineq > 1)
1088 p = print_disjunct(map->p[i], space, p, latex);
1089 if (map->n > 1 && map->p[i]->n_eq + map->p[i]->n_ineq > 1)
1089 if (map->n > 1 && map->p[i]->n_eq + map->p[i]->n_ineq > 1)
1298 split[i].aff = get_aff(isl_basic_map_copy(map->p[i]));
1299 bmap = isl_basic_map_copy(map->p[i]);
1397 ISL_F_ISSET(split[i].map->p[0], ISL_BASIC_MAP_RATIONAL);
1423 ISL_F_ISSET(map->p[0], ISL_BASIC_MAP_RATIONAL);
2231 p = print_basic_set_c(p, dim, set->p[i]);
tools/polly/lib/External/isl/isl_point.c 425 if (isl_basic_set_scan(isl_basic_set_copy(set->p[i]),
493 found = isl_basic_map_contains_point(map->p[i], point);
tools/polly/lib/External/isl/isl_pw_templ.c 1714 if (set->p[i]->n_div > 0)
1734 lift = isl_set_from_basic_set(isl_basic_set_copy(set->p[i]));
tools/polly/lib/External/isl/isl_sample.c 1251 sample = isl_basic_map_sample(isl_basic_map_copy(map->p[i]));
1293 pnt = isl_basic_set_sample_point(isl_basic_set_copy(set->p[i]));
tools/polly/lib/External/isl/isl_scan.c 238 if (isl_basic_set_scan(isl_basic_set_copy(set->p[i]),
tools/polly/lib/External/isl/isl_tab_pip.c 4748 split = need_split_basic_set(set->p[i], cst);
4789 set = isl_set_from_basic_set(isl_basic_set_copy(empty->p[i]));
4790 split = need_split_basic_set(empty->p[i], cst);
4839 map = isl_map_from_basic_map(isl_basic_map_copy(opt->p[i]));
4840 split = need_split_basic_map(opt->p[i], cst);
tools/polly/lib/External/isl/isl_test.c 1817 if (isl_basic_map_dim(map1->p[0], isl_dim_div) != 1)
tools/polly/lib/External/isl/isl_transitive_closure.c 777 delta = isl_basic_map_deltas(isl_basic_map_copy(map->p[i]));
1052 isl_basic_map_copy(map->p[j])));
1075 isl_basic_map_copy(map->p[j])));
1122 map_j = isl_map_from_basic_map(isl_basic_map_copy(map->p[j]));
1166 map_i = isl_map_from_basic_map(isl_basic_map_copy(map->p[i]));
1242 isl_basic_map_copy(map->p[i])));
1244 isl_basic_map_copy(map->p[i])));
1246 map->p[i], &exact_i);
1336 isl_basic_map_copy(map->p[i])));
1342 isl_basic_map_copy(map->p[i])));
1361 qc = q_closure(isl_space_copy(dim), C, map->p[i], &exact_i);
1605 isl_basic_map_copy(map->p[k])));
1726 group = setup_groups(map->ctx, map->p, map->n, &set, &n);
1869 data.list = map->p;
1893 isl_basic_map_copy(map->p[g->order[i]]));
2396 map_i = isl_map_from_basic_map(isl_basic_map_copy(map->p[i]));
2413 isl_basic_map_copy(map->p[j]));
2504 isl_basic_map_copy(map->p[j]));
2585 **next = isl_basic_map_copy(map->p[i]);