|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/basis_reduction_tab.c 186 isl_int_set_si(lp->row->el[0], 0);
187 isl_seq_cpy(lp->row->el + 1, lp->obj, lp->dim);
188 isl_seq_neg(lp->row->el + 1 + lp->dim, lp->obj, lp->dim);
191 res = isl_tab_min(lp->tab, lp->row->el, lp->ctx->one,
198 isl_seq_inner_product(lp->obj, sample->el + 1, lp->dim, &lp->tmp);
199 isl_seq_inner_product(lp->obj, sample->el + 1 + lp->dim, lp->dim, &lp->tmp2);
200 isl_int_cdiv_q(lp->tmp, lp->tmp, sample->el[0]);
201 isl_int_fdiv_q(lp->tmp2, lp->tmp2, sample->el[0]);
224 isl_int_set_si(lp->row->el[0], 0);
225 isl_seq_cpy(lp->row->el + 1, row, lp->dim);
226 isl_seq_clr(lp->row->el + 1 + lp->dim, lp->dim);
227 res = isl_tab_min(lp->tab, lp->row->el, lp->ctx->one,
232 isl_int_neg(lp->row->el[0], lp->tmp);
233 if (isl_tab_add_eq(lp->tab, lp->row->el) < 0)
236 isl_seq_cpy(lp->row->el + 1 + lp->dim, row, lp->dim);
237 isl_seq_clr(lp->row->el + 1, lp->dim);
238 if (isl_tab_add_eq(lp->tab, lp->row->el) < 0)
272 isl_int_set_si(lp->row->el[0], 0);
273 isl_seq_cpy(lp->row->el + 1, row, lp->dim);
274 isl_seq_neg(lp->row->el + 1 + lp->dim, row, lp->dim);
276 if (isl_tab_add_valid_eq(lp->tab, lp->row->el) < 0)
285 GBR_set_num_neg(alpha, lp->tab->dual->el[1 + row]);
286 GBR_set_den(alpha, lp->tab->dual->el[0]);
tools/polly/lib/External/isl/basis_reduction_templ.c 193 isl_seq_combine(b_tmp->el,
196 GBR_lp_set_obj(lp, b_tmp->el, dim);
tools/polly/lib/External/isl/isl_aff.c 115 isl_int_set_si(aff->v->el[0], 1);
116 isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
140 isl_seq_clr(aff->v->el, aff->v->size);
171 isl_seq_clr(aff->v->el + 2, aff->v->size - 2);
172 isl_int_set(aff->v->el[1], val->n);
173 isl_int_set(aff->v->el[0], val->d);
213 isl_int_set_si(aff->v->el[0], 1);
214 isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
215 isl_int_set_si(aff->v->el[1 + pos], 1);
512 isl_seq_cpy(res->el, vec->el, 2);
512 isl_seq_cpy(res->el, vec->el, 2);
513 isl_seq_clr(res->el + 2, res->size - 2);
515 isl_int_set(res->el[2 + r->pos[i]], vec->el[2 + i]);
515 isl_int_set(res->el[2 + r->pos[i]], vec->el[2 + i]);
588 if (isl_int_is_zero(aff->v->el[0]))
590 return isl_seq_first_non_zero(aff->v->el + 1, aff->v->size - 1) < 0;
600 return isl_seq_first_non_zero(aff->v->el, 2) < 0;
636 isl_int_set(*v, aff->v->el[0]);
652 return isl_val_int_from_isl_int(ctx, aff->v->el[0]);
668 v = isl_val_rat_from_isl_int(ctx, aff->v->el[1], aff->v->el[0]);
668 v = isl_val_rat_from_isl_int(ctx, aff->v->el[1], aff->v->el[0]);
699 v = isl_val_rat_from_isl_int(ctx, aff->v->el[1 + pos], aff->v->el[0]);
699 v = isl_val_rat_from_isl_int(ctx, aff->v->el[1 + pos], aff->v->el[0]);
727 return isl_int_sgn(aff->v->el[1 + pos]);
748 isl_int_set(aff->v->el[1], v);
772 if (isl_int_eq(aff->v->el[1], v->n) &&
773 isl_int_eq(aff->v->el[0], v->d)) {
785 if (isl_int_eq(aff->v->el[0], v->d)) {
786 isl_int_set(aff->v->el[1], v->n);
788 isl_int_mul(aff->v->el[1], aff->v->el[0], v->n);
788 isl_int_mul(aff->v->el[1], aff->v->el[0], v->n);
790 isl_seq_scale(aff->v->el + 1,
791 aff->v->el + 1, v->d, aff->v->size - 1);
792 isl_int_mul(aff->v->el[1], aff->v->el[0], v->n);
792 isl_int_mul(aff->v->el[1], aff->v->el[0], v->n);
793 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
793 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
828 isl_int_addmul(aff->v->el[1], aff->v->el[0], v);
828 isl_int_addmul(aff->v->el[1], aff->v->el[0], v);
861 isl_int_addmul(aff->v->el[1], aff->v->el[0], v->n);
861 isl_int_addmul(aff->v->el[1], aff->v->el[0], v->n);
862 } else if (isl_int_eq(aff->v->el[0], v->d)) {
863 isl_int_add(aff->v->el[1], aff->v->el[1], v->n);
863 isl_int_add(aff->v->el[1], aff->v->el[1], v->n);
868 isl_seq_scale(aff->v->el + 1,
869 aff->v->el + 1, v->d, aff->v->size - 1);
870 isl_int_addmul(aff->v->el[1], aff->v->el[0], v->n);
870 isl_int_addmul(aff->v->el[1], aff->v->el[0], v->n);
871 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
871 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
918 isl_int_add(aff->v->el[1], aff->v->el[1], v);
918 isl_int_add(aff->v->el[1], aff->v->el[1], v);
960 isl_int_set_si(aff->v->el[1], v);
998 isl_int_set(aff->v->el[1 + pos], v);
1028 if (isl_int_cmp_si(aff->v->el[1 + pos], v) == 0)
1039 isl_int_set_si(aff->v->el[1 + pos], v);
1075 if (isl_int_eq(aff->v->el[1 + pos], v->n) &&
1076 isl_int_eq(aff->v->el[0], v->d)) {
1088 if (isl_int_eq(aff->v->el[0], v->d)) {
1089 isl_int_set(aff->v->el[1 + pos], v->n);
1091 isl_int_mul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1091 isl_int_mul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1093 isl_seq_scale(aff->v->el + 1,
1094 aff->v->el + 1, v->d, aff->v->size - 1);
1095 isl_int_mul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1095 isl_int_mul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1096 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
1096 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
1143 isl_int_addmul(aff->v->el[1 + pos], aff->v->el[0], v);
1143 isl_int_addmul(aff->v->el[1 + pos], aff->v->el[0], v);
1193 isl_int_addmul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1193 isl_int_addmul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1194 } else if (isl_int_eq(aff->v->el[0], v->d)) {
1195 isl_int_add(aff->v->el[1 + pos], aff->v->el[1 + pos], v->n);
1195 isl_int_add(aff->v->el[1 + pos], aff->v->el[1 + pos], v->n);
1200 isl_seq_scale(aff->v->el + 1,
1201 aff->v->el + 1, v->d, aff->v->size - 1);
1202 isl_int_addmul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1202 isl_int_addmul(aff->v->el[1 + pos], aff->v->el[0], v->n);
1203 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
1203 isl_int_mul(aff->v->el[0], aff->v->el[0], v->d);
1255 isl_seq_neg(aff->v->el + 1, aff->v->el + 1, aff->v->size - 1);
1255 isl_seq_neg(aff->v->el + 1, aff->v->el + 1, aff->v->size - 1);
1279 pos = isl_seq_last_non_zero(aff->v->el + 1 + off, n) + 1;
1327 isl_seq_substitute(vec->el, pos, aff->ls->div->row[i],
1407 isl_int_swap(v->el[1 + off + a], v->el[1 + off + b]);
1407 isl_int_swap(v->el[1 + off + a], v->el[1 + off + b]);
1429 if (isl_int_is_zero(aff->v->el[1 + off + b]))
1436 isl_int_add(aff->v->el[1 + off + a],
1437 aff->v->el[1 + off + a], aff->v->el[1 + off + b]);
1437 aff->v->el[1 + off + a], aff->v->el[1 + off + b]);
1438 isl_int_set_si(aff->v->el[1 + off + b], 0);
1520 if (isl_int_is_one(aff->v->el[0]))
1532 isl_int_fdiv_q(aff->v->el[1], aff->v->el[1], aff->v->el[0]);
1532 isl_int_fdiv_q(aff->v->el[1], aff->v->el[1], aff->v->el[0]);
1532 isl_int_fdiv_q(aff->v->el[1], aff->v->el[1], aff->v->el[0]);
1533 isl_int_set_si(aff->v->el[0], 1);
1543 isl_int_fdiv_q(aff->v->el[0], aff->v->el[0], ctx->two);
1543 isl_int_fdiv_q(aff->v->el[0], aff->v->el[0], ctx->two);
1545 isl_int_fdiv_r(div->el[i], div->el[i], div->el[0]);
1545 isl_int_fdiv_r(div->el[i], div->el[i], div->el[0]);
1545 isl_int_fdiv_r(div->el[i], div->el[i], div->el[0]);
1546 isl_int_fdiv_q(aff->v->el[i], aff->v->el[i], div->el[0]);
1546 isl_int_fdiv_q(aff->v->el[i], aff->v->el[i], div->el[0]);
1546 isl_int_fdiv_q(aff->v->el[i], aff->v->el[i], div->el[0]);
1547 if (isl_int_gt(div->el[i], aff->v->el[0])) {
1547 if (isl_int_gt(div->el[i], aff->v->el[0])) {
1548 isl_int_sub(div->el[i], div->el[i], div->el[0]);
1548 isl_int_sub(div->el[i], div->el[i], div->el[0]);
1548 isl_int_sub(div->el[i], div->el[i], div->el[0]);
1549 isl_int_add_ui(aff->v->el[i], aff->v->el[i], 1);
1549 isl_int_add_ui(aff->v->el[i], aff->v->el[i], 1);
1561 isl_int_set_si(aff->v->el[0], 1);
1562 isl_int_set_si(aff->v->el[size], 1);
1659 if (isl_int_is_one(aff->v->el[0]))
1669 isl_int_add(aff->v->el[1], aff->v->el[1], aff->v->el[0]);
1669 isl_int_add(aff->v->el[1], aff->v->el[1], aff->v->el[0]);
1669 isl_int_add(aff->v->el[1], aff->v->el[1], aff->v->el[0]);
1670 isl_int_sub_ui(aff->v->el[1], aff->v->el[1], 1);
1670 isl_int_sub_ui(aff->v->el[1], aff->v->el[1], 1);
1723 isl_int_gcd(gcd, aff1->v->el[0], aff2->v->el[0]);
1723 isl_int_gcd(gcd, aff1->v->el[0], aff2->v->el[0]);
1724 isl_int_divexact(f, aff2->v->el[0], gcd);
1725 isl_seq_scale(aff1->v->el + 1, aff1->v->el + 1, f, aff1->v->size - 1);
1725 isl_seq_scale(aff1->v->el + 1, aff1->v->el + 1, f, aff1->v->size - 1);
1726 isl_int_divexact(f, aff1->v->el[0], gcd);
1727 isl_seq_addmul(aff1->v->el + 1, f, aff2->v->el + 1, aff1->v->size - 1);
1727 isl_seq_addmul(aff1->v->el + 1, f, aff2->v->el + 1, aff1->v->size - 1);
1728 isl_int_divexact(f, aff2->v->el[0], gcd);
1729 isl_int_mul(aff1->v->el[0], aff1->v->el[0], f);
1729 isl_int_mul(aff1->v->el[0], aff1->v->el[0], f);
1825 if (isl_int_is_pos(f) && isl_int_is_divisible_by(aff->v->el[0], f)) {
1826 isl_int_divexact(aff->v->el[0], aff->v->el[0], f);
1826 isl_int_divexact(aff->v->el[0], aff->v->el[0], f);
1831 isl_int_gcd(gcd, aff->v->el[0], f);
1832 isl_int_divexact(aff->v->el[0], aff->v->el[0], gcd);
1832 isl_int_divexact(aff->v->el[0], aff->v->el[0], gcd);
1834 isl_seq_scale(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
1834 isl_seq_scale(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
1897 isl_seq_gcd(aff->v->el + 1, aff->v->size - 1, &gcd);
1899 isl_seq_scale_down(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
1899 isl_seq_scale_down(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
1901 isl_int_mul(aff->v->el[0], aff->v->el[0], gcd);
1901 isl_int_mul(aff->v->el[0], aff->v->el[0], gcd);
2054 isl_seq_elim(aff->v->el + 1, eq->eq[i], j, total,
2055 &aff->v->el[0]);
2412 active = isl_local_space_get_active(aff->ls, aff->v->el + 2);
3307 return isl_seq_first_non_zero(aff->v->el + 2, aff->v->size - 2) == -1;
3379 aff1 = isl_aff_scale(aff1, aff2->v->el[1]);
3380 aff1 = isl_aff_scale_down(aff1, aff2->v->el[0]);
3422 neg = isl_int_is_neg(aff2->v->el[1]);
3424 isl_int_neg(aff2->v->el[0], aff2->v->el[0]);
3424 isl_int_neg(aff2->v->el[0], aff2->v->el[0]);
3425 isl_int_neg(aff2->v->el[1], aff2->v->el[1]);
3425 isl_int_neg(aff2->v->el[1], aff2->v->el[1]);
3428 aff1 = isl_aff_scale(aff1, aff2->v->el[0]);
3429 aff1 = isl_aff_scale_down(aff1, aff2->v->el[1]);
3432 isl_int_neg(aff2->v->el[0], aff2->v->el[0]);
3432 isl_int_neg(aff2->v->el[0], aff2->v->el[0]);
3433 isl_int_neg(aff2->v->el[1], aff2->v->el[1]);
3433 isl_int_neg(aff2->v->el[1], aff2->v->el[1]);
3869 isl_int_set(v->el[0], mat->row[0][0]);
3870 isl_seq_cpy(v->el + 1, mat->row[1 + i], n_col);
4512 isl_seq_cpy(aff->v->el + 1, bmap->eq[eq], o_out);
4513 isl_seq_cpy(aff->v->el + 1 + o_out,
4516 isl_seq_neg(aff->v->el + 1, bmap->eq[eq], o_out);
4517 isl_seq_neg(aff->v->el + 1 + o_out,
4521 isl_int_set_si(aff->v->el[1 + o_out + div], 0);
4522 isl_int_abs(aff->v->el[0], bmap->eq[eq][o_out + pos]);
4529 isl_seq_cpy(shift->v->el + 1, bmap->ineq[ineq], o_out);
4530 isl_seq_cpy(shift->v->el + 1 + o_out,
4532 isl_int_set_si(shift->v->el[0], 1);
4747 isl_int_neg(v->el[0], hull->ineq[i][offset + d]);
4748 isl_seq_cpy(v->el + 1, hull->ineq[i], 1 + n);
5029 isl_int_set_si(aff->v->el[0], 1);
5031 isl_seq_neg(aff->v->el + 1, hull->eq[i],
5034 isl_seq_cpy(aff->v->el + 1, hull->eq[i],
5036 isl_int_set(aff->v->el[1 + o_out + d], gcd);
5302 isl_seq_substitute(aff->v->el, pos, subs->v->el,
5302 isl_seq_substitute(aff->v->el, pos, subs->v->el,
5469 isl_int_set(c1, ma->u.p[i]->v->el[0]);
5479 c2, ma->u.p[i]->v->el + o_src, 1 + n_param);
5485 c2, ma->u.p[i]->v->el + o_src, n_in);
5491 c2, ma->u.p[i]->v->el + o_src, n_div_ma);
5545 isl_seq_preimage(res->v->el, aff->v->el, ma, 0, 0, n_div_ma, n_div_aff,
5545 isl_seq_preimage(res->v->el, aff->v->el, ma, 0, 0, n_div_ma, n_div_aff,
7154 last1 = isl_seq_last_non_zero(aff1->v->el + 1, aff1->v->size - 1);
7155 last2 = isl_seq_last_non_zero(aff2->v->el + 1, aff1->v->size - 1);
7159 return isl_seq_cmp(aff1->v->el, aff2->v->el, aff1->v->size);
7159 return isl_seq_cmp(aff1->v->el, aff2->v->el, aff1->v->size);
9182 isl_seq_inner_product(aff->el + 1, pnt->el, pnt->size, &n);
9182 isl_seq_inner_product(aff->el + 1, pnt->el, pnt->size, &n);
9183 isl_int_mul(d, aff->el[0], pnt->el[0]);
9183 isl_int_mul(d, aff->el[0], pnt->el[0]);
tools/polly/lib/External/isl/isl_aff_map.c 90 isl_seq_cpy(bmap->eq[k], aff->v->el + 1, pos);
91 isl_int_neg(bmap->eq[k][pos], aff->v->el[0]);
92 isl_seq_cpy(bmap->eq[k] + pos + 1, aff->v->el + 1 + pos,
tools/polly/lib/External/isl/isl_affine_hull.c 265 isl_int_set_si(sample->el[0], 1);
266 isl_seq_combine(sample->el + 1,
267 ctx->one, tab->bmap->sample->el + 1,
329 isl_int_add_ui(sample->el[1 + pos], sample->el[1 + pos], 1);
329 isl_int_add_ui(sample->el[1 + pos], sample->el[1 + pos], 1);
331 isl_int_sub_ui(sample->el[1 + pos], sample->el[1 + pos], 1);
331 isl_int_sub_ui(sample->el[1 + pos], sample->el[1 + pos], 1);
577 isl_seq_inner_product(bset->eq[k] + 1, vec->el +1,
629 isl_seq_cpy(sample->el, tab->samples->row[tab->n_outside], sample->size);
640 isl_seq_cpy(sample->el, tab->samples->row[j], sample->size);
tools/polly/lib/External/isl/isl_bernstein.c 166 isl_int_set_si(multinom->el[0], 1);
173 isl_int_set(multinom->el[1], multinom->el[0]);
173 isl_int_set(multinom->el[1], multinom->el[0]);
181 isl_int_divexact_ui(multinom->el[i],
182 multinom->el[i], j);
188 multinom->el[i]);
201 isl_int_divexact_ui(multinom->el[i],
202 multinom->el[i], k[i]);
208 isl_int_set(multinom->el[i + 1], multinom->el[i]);
208 isl_int_set(multinom->el[i + 1], multinom->el[i]);
211 isl_int_mul_ui(multinom->el[0], multinom->el[0], k[0]);
211 isl_int_mul_ui(multinom->el[0], multinom->el[0], k[0]);
tools/polly/lib/External/isl/isl_coalesce.c 916 isl_seq_gcd(v->el + 1, v->size - 1, &ctx->normalize_gcd);
926 isl_int_fdiv_r(v->el[0], v->el[0], ctx->normalize_gcd);
926 isl_int_fdiv_r(v->el[0], v->el[0], ctx->normalize_gcd);
927 if (isl_int_is_zero(v->el[0]))
934 info->bmap->ineq[ineq][0], v->el[0]);
937 info->bmap->ineq[ineq][0], v->el[0]);
1028 isl_seq_cpy(v->el, info->bmap->ineq[i], 1 + total);
1511 isl_seq_cpy(bound->el, info[i].bmap->ineq[k], 1 + total);
1512 isl_int_add_ui(bound->el[0], bound->el[0], 1);
1512 isl_int_add_ui(bound->el[0], bound->el[0], 1);
1513 isl_seq_normalize(ctx, bound->el, 1 + total);
1515 isl_seq_cpy(wraps.mat->row[0], bound->el, 1 + total);
1518 if (add_wraps(&wraps, &info[j], bound->el, set_i) < 0)
1525 bound->el, set_j) < 0)
2051 isl_seq_neg(bound->el, info[i].bmap->eq[k / 2], 1 + total);
2053 isl_seq_cpy(bound->el, info[i].bmap->eq[k / 2], 1 + total);
2054 isl_int_add_ui(bound->el[0], bound->el[0], 1);
2054 isl_int_add_ui(bound->el[0], bound->el[0], 1);
2056 isl_seq_cpy(wraps.mat->row[0], bound->el, 1 + total);
2059 if (add_wraps(&wraps, &info[j], bound->el, set_i) < 0)
2064 isl_int_sub_ui(bound->el[0], bound->el[0], 1);
2064 isl_int_sub_ui(bound->el[0], bound->el[0], 1);
2065 isl_seq_neg(bound->el, bound->el, 1 + total);
2065 isl_seq_neg(bound->el, bound->el, 1 + total);
2067 isl_seq_cpy(wraps.mat->row[wraps.mat->n_row], bound->el, 1 + total);
2070 if (add_wraps(&wraps, &info[i], bound->el, set_j) < 0)
2781 isl_seq_clr(ineq->el + 1, info->tab->n_var);
2791 isl_int_set_si(ineq->el[1 + expanded[i].pos], -1);
2792 isl_int_set(ineq->el[0], expanded[i].val);
2794 ineq->el);
2795 isl_int_set_si(ineq->el[1 + expanded[i].pos], 1);
2796 isl_int_neg(ineq->el[0], expanded[i].val);
2798 ineq->el);
2799 isl_int_set_si(ineq->el[1 + expanded[i].pos], 0);
3473 isl_seq_clr(sub->el + 1 + dim, n);
3483 isl_seq_cpy(sub->el, aff->v->el + 1, 1 + dim);
3483 isl_seq_cpy(sub->el, aff->v->el + 1, 1 + dim);
3484 isl_int_neg(sub->el[1 + dim + i], aff->v->el[0]);
3484 isl_int_neg(sub->el[1 + dim + i], aff->v->el[0]);
3485 if (isl_tab_add_eq(tab, sub->el) < 0)
3487 isl_int_set_si(sub->el[1 + dim + i], 0);
tools/polly/lib/External/isl/isl_constraint.c 123 isl_seq_cpy(v->el, line[0], v->size);
415 constraint->v->el + 1);
448 return isl_int_is_pos(constraint->v->el[pos]);
465 return isl_int_is_neg(constraint->v->el[pos]);
480 isl_int_set(*v, constraint->v->el[0]);
494 return isl_val_int_from_isl_int(ctx, constraint->v->el[0]);
508 isl_int_set(*v, constraint->v->el[pos]);
528 return isl_val_int_from_isl_int(ctx, constraint->v->el[pos]);
551 isl_int_set(constraint->v->el[0], v);
586 isl_int_set_si(constraint->v->el[0], v);
612 isl_int_set(constraint->v->el[pos], v);
667 isl_int_set_si(constraint->v->el[pos], v);
688 isl_int_sub_ui(constraint->v->el[0], constraint->v->el[0], 1);
688 isl_int_sub_ui(constraint->v->el[0], constraint->v->el[0], 1);
712 constraint->v->el, i);
743 constraint->v->el, div);
779 isl_seq_cpy(c, constraint->v->el, 1 + total);
1271 if (isl_int_is_zero(constraint->v->el[pos]))
1280 if (isl_int_is_neg(constraint->v->el[pos]))
1281 isl_seq_cpy(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
1281 isl_seq_cpy(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
1283 isl_seq_neg(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
1283 isl_seq_neg(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
1284 isl_int_set_si(aff->v->el[1 + pos], 0);
1285 isl_int_abs(aff->v->el[0], constraint->v->el[pos]);
1285 isl_int_abs(aff->v->el[0], constraint->v->el[pos]);
1312 isl_seq_cpy(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
1312 isl_seq_cpy(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
1313 isl_int_set_si(aff->v->el[0], 1);
1378 last1 = isl_seq_last_non_zero(c1->v->el + 1, c1->v->size - 1);
1379 last2 = isl_seq_last_non_zero(c2->v->el + 1, c1->v->size - 1);
1383 return isl_seq_cmp(c1->v->el, c2->v->el, c1->v->size);
1383 return isl_seq_cmp(c1->v->el, c2->v->el, c1->v->size);
1413 last1 = isl_seq_last_non_zero(c1->v->el + 1, c1->v->size - 1);
1414 last2 = isl_seq_last_non_zero(c2->v->el + 1, c1->v->size - 1);
1419 return isl_int_abs_cmp(c1->v->el[1 + last1], c2->v->el[1 + last2]);
1419 return isl_int_abs_cmp(c1->v->el[1 + last1], c2->v->el[1 + last2]);
tools/polly/lib/External/isl/isl_convex_hull.c 1135 isl_seq_normalize(bset1->ctx, dir->el, dir->size);
tools/polly/lib/External/isl/isl_fold.c 288 res = isl_set_solve_lp(set, 0, aff->el + 1, aff->el[0],
288 res = isl_set_solve_lp(set, 0, aff->el + 1, aff->el[0],
298 res = isl_set_solve_lp(set, 1, aff->el + 1, aff->el[0],
298 res = isl_set_solve_lp(set, 1, aff->el + 1, aff->el[0],
365 isl_seq_clr(v->el + 1, 1 + d);
366 isl_int_set_si(v->el[0], 1);
367 isl_int_set_si(v->el[2 + qp->upoly->var], 1);
371 res = isl_set_solve_lp(set, 0, v->el + 1, v->el[0], &l, NULL, NULL);
371 res = isl_set_solve_lp(set, 0, v->el + 1, v->el[0], &l, NULL, NULL);
tools/polly/lib/External/isl/isl_ilp.c 178 isl_seq_inner_product(f, sol->el, sol->size, opt);
217 if (res == isl_lp_ok && isl_int_is_one(sol->el[0])) {
245 isl_seq_inner_product(f, sol->el, sol->size, opt);
276 isl_seq_cpy(v->el, f, 1 + dim);
281 res = isl_basic_set_solve_ilp(bset, max, v->el, opt, sol_p);
349 res = isl_basic_set_solve_ilp(bset, max, obj->v->el + 1, opt, NULL);
389 if (!isl_int_is_one(obj->v->el[0]))
tools/polly/lib/External/isl/isl_input.c 471 isl_int_set_si(aff->v->el[2 + pos], 1);
976 if (isl_int_is_zero(aff->v->el[aff->v->size - n + i]))
3045 isl_int_set(vec->el[j], tok->u.v);
tools/polly/lib/External/isl/isl_local.c 270 if (!isl_int_is_one(v->el[0]))
282 isl_seq_inner_product(mat->row[i] + 1, v->el,
283 1 + dim + i, &v->el[1+dim+i]);
284 isl_int_fdiv_q(v->el[1+dim+i], v->el[1+dim+i],
284 isl_int_fdiv_q(v->el[1+dim+i], v->el[1+dim+i],
tools/polly/lib/External/isl/isl_local_space.c 320 isl_seq_cpy(aff->v->el, ls->div->row[pos], aff->v->size);
586 isl_seq_cpy(ls->div->row[ls->div->n_row - 1], div->el, div->size);
1096 return isl_local_space_substitute_seq(ls, type, pos, subs->v->el,
tools/polly/lib/External/isl/isl_lp.c 114 isl_seq_cpy(v->el, f, 1 + total);
115 isl_seq_clr(v->el + 1 + total, max_div);
116 f = v->el;
228 lp_res = isl_basic_set_solve_lp(bset, max, obj->v->el + 1,
229 obj->v->el[0], &res->n, &res->d, NULL);
tools/polly/lib/External/isl/isl_map.c 1688 isl_seq_cpy(bmap->div[k], div->el, div->size);
3569 isl_seq_inner_product(vec->el, bmap->eq[i], total, &s);
3577 isl_seq_inner_product(vec->el, bmap->ineq[i], total, &s);
10840 isl_seq_clr(bound->el, bound->size);
10841 isl_int_set_si(bound->el[0], -1);
10847 isl_int_set_si(bound->el[1 + first + i], -1);
10848 if (isl_tab_add_ineq(tab, bound->el) < 0)
10851 isl_int_set_si(bound->el[1 + first + i], 0);
10860 isl_int_set_si(bound->el[1 + first + i], 1);
10861 if (isl_tab_add_ineq(tab, bound->el) < 0)
10864 isl_int_set_si(bound->el[1 + first + i], 0);
12650 if (!isl_int_is_one(subs->v->el[0]))
12663 isl_seq_combine(bset->eq[i], subs->v->el[0], bset->eq[i],
12664 v, subs->v->el + 1, subs->v->size - 1);
12672 isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i],
12673 v, subs->v->el + 1, subs->v->size - 1);
12682 subs->v->el[0], bset->div[i] + 1,
12683 v, subs->v->el + 1, subs->v->size - 1);
12684 isl_int_mul(bset->div[i][0], bset->div[i][0], subs->v->el[0]);
12817 if (!isl_int_is_one(ma->u.p[i]->v->el[0]))
12857 if (isl_int_is_one(ma->u.p[i]->v->el[0]))
12865 ma->u.p[i]->v->el + o_ma, 1 + n_param);
12871 ma->u.p[i]->v->el + o_ma, n_in);
12877 ma->u.p[i]->v->el + o_ma, n_div_ma);
12881 isl_int_neg(bmap->eq[k][1 + total], ma->u.p[i]->v->el[0]);
13512 isl_seq_inner_product(inner->el, bset->ineq[ineq], inner->size,
tools/polly/lib/External/isl/isl_map_simplify.c 4023 res = isl_tab_min(data->tab, data->v->el, ctx->one, &data->g, NULL, 0);
4093 isl_seq_combine(data->v->el, data->fl, bmap->ineq[u],
4100 isl_int_sub(data->fl, data->v->el[0], data->g);
4102 isl_seq_gcd(data->v->el + 1, offset - 1 + n_div, &data->g);
4106 isl_int_set(data->v->el[0], data->fl);
4110 isl_int_fdiv_q(data->v->el[0], data->v->el[0], data->g);
4110 isl_int_fdiv_q(data->v->el[0], data->v->el[0], data->g);
4111 if (isl_int_eq(data->fl, data->v->el[0]))
4113 isl_int_set(data->v->el[0], data->fl);
4114 isl_seq_scale_down(data->v->el + 1, data->v->el + 1, data->g,
4114 isl_seq_scale_down(data->v->el + 1, data->v->el + 1, data->g,
4846 isl_seq_swp_or_cpy(v->el, c, n);
4850 isl_seq_swp_or_cpy(c, v->el, n);
5050 isl_seq_gcd(v->el + 1, v->size - 1, &ctx->normalize_gcd);
5058 if (tightened && !isl_int_is_divisible_by(v->el[0], ctx->normalize_gcd))
5060 isl_int_fdiv_q(v->el[0], v->el[0], ctx->normalize_gcd);
5060 isl_int_fdiv_q(v->el[0], v->el[0], ctx->normalize_gcd);
5061 isl_seq_scale_down(v->el + 1, v->el + 1, ctx->normalize_gcd,
5061 isl_seq_scale_down(v->el + 1, v->el + 1, ctx->normalize_gcd,
5135 isl_seq_cpy(v->el, bmap->ineq[i], 1 + total);
5141 isl_seq_cpy(bmap->ineq[i], v->el, 1 + total);
tools/polly/lib/External/isl/isl_map_subtract.c 37 isl_seq_cpy(v->el, c, 1 + dim);
38 isl_seq_clr(v->el + 1 + dim, v->size - (1 + dim));
42 isl_int_add(v->el[pos], v->el[pos], c[1 + dim + i]);
42 isl_int_add(v->el[pos], v->el[pos], c[1 + dim + i]);
74 if (isl_tab_add_ineq(tab, v->el) < 0)
78 if (isl_tab_add_ineq(tab, v->el) < 0)
87 if (isl_tab_add_ineq(tab, v->el) < 0)
136 r = isl_tab_add_ineq(tab, v->el);
150 r = isl_tab_add_ineq(tab, v->el);
187 isl_seq_cpy(vec->el, bmap->div[i], 2 + dim);
188 isl_seq_clr(vec->el + 2 + dim, tab->bmap->n_div);
190 isl_int_add(vec->el[2 + dim + (*div_map)[j]],
191 vec->el[2 + dim + (*div_map)[j]],
195 vec->el, 2 + dim + tab->bmap->n_div))
764 isl_int_set_si(point->el[0], 1);
778 isl_int_gcd(m, point->el[0], bmap->eq[j][1 + i]);
781 isl_seq_scale(point->el, point->el, m, 1 + i);
781 isl_seq_scale(point->el, point->el, m, 1 + i);
782 isl_int_divexact(m, point->el[0], bmap->eq[j][1 + i]);
784 isl_int_mul(point->el[1 + i], m, bmap->eq[j][0]);
tools/polly/lib/External/isl/isl_mat.c 464 isl_seq_inner_product(mat->row[i], vec->el, vec->size,
487 isl_int_set(vec_mat->row[i][0], vec->el[i]);
495 isl_int_set(vec->el[i], vec_mat->row[i][0]);
520 isl_int_set_si(prod->el[i], 0);
522 isl_int_addmul(prod->el[i], vec->el[j], mat->row[j][i]);
522 isl_int_addmul(prod->el[i], vec->el[j], mat->row[j][i]);
1821 isl_seq_cpy(mat->row[0], vec->el, vec->size);
1845 isl_seq_cpy(v->el, mat->row[row], mat->n_col);
tools/polly/lib/External/isl/isl_output.c 771 isl_seq_cpy(c->el, bmap->eq[i], 1 + total);
773 isl_seq_neg(c->el, bmap->eq[i], 1 + total);
774 p = print_eq_constraint(p, space, div, c->el, l, latex);
799 isl_seq_cpy(c->el, bmap->ineq[i], 1 + total);
801 isl_seq_neg(c->el, bmap->ineq[i], 1 + total);
803 isl_int_set_si(c->el[0], 0);
806 p = print_half_constraint(p, space, div, c->el, l,
811 p = print_constraint(p, space, div, c->el, l,
2513 p = print_affine_of_len(space, ls->div, p, c->v->el, c->v->size);
2609 aff->v->el + 1, 1 + total);
2610 if (isl_int_is_one(aff->v->el[0]))
2614 p = isl_printer_print_isl_int(p, aff->v->el[0]);
2788 if (!isl_int_is_one(aff->v->el[0]))
2790 p = print_ls_partial_affine_c(p, aff->ls, aff->v->el + 1, 1 + total);
2791 if (!isl_int_is_one(aff->v->el[0])) {
2793 p = isl_printer_print_isl_int(p, aff->v->el[0]);
tools/polly/lib/External/isl/isl_point.c 71 isl_int_set_si(vec->el[0], 1);
72 isl_seq_clr(vec->el + 1, vec->size - 1);
281 v = isl_val_rat_from_isl_int(ctx, pnt->vec->el[1 + pos],
282 pnt->vec->el[0]);
303 if (isl_int_eq(pnt->vec->el[1 + pos], v->n) &&
304 isl_int_eq(pnt->vec->el[0], v->d)) {
316 if (isl_int_eq(pnt->vec->el[0], v->d)) {
317 isl_int_set(pnt->vec->el[1 + pos], v->n);
319 isl_int_mul(pnt->vec->el[1 + pos], pnt->vec->el[0], v->n);
319 isl_int_mul(pnt->vec->el[1 + pos], pnt->vec->el[0], v->n);
321 isl_seq_scale(pnt->vec->el + 1,
322 pnt->vec->el + 1, v->d, pnt->vec->size - 1);
323 isl_int_mul(pnt->vec->el[1 + pos], pnt->vec->el[0], v->n);
323 isl_int_mul(pnt->vec->el[1 + pos], pnt->vec->el[0], v->n);
324 isl_int_mul(pnt->vec->el[0], pnt->vec->el[0], v->d);
324 isl_int_mul(pnt->vec->el[0], pnt->vec->el[0], v->d);
354 isl_int_add_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val);
354 isl_int_add_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val);
378 isl_int_sub_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val);
378 isl_int_sub_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val);
464 isl_seq_cpy(vec->el, point->vec->el, point->vec->size);
464 isl_seq_cpy(vec->el, point->vec->el, point->vec->size);
466 isl_seq_inner_product(bmap->div[i] + 1, vec->el,
467 1 + dim + i, &vec->el[1+dim+i]);
468 isl_int_fdiv_q(vec->el[1+dim+i], vec->el[1+dim+i],
468 isl_int_fdiv_q(vec->el[1+dim+i], vec->el[1+dim+i],
593 isl_int_mul(t, pnt1->vec->el[1 + i], pnt2->vec->el[0]);
593 isl_int_mul(t, pnt1->vec->el[1 + i], pnt2->vec->el[0]);
594 isl_int_submul(t, pnt2->vec->el[1 + i], pnt1->vec->el[0]);
594 isl_int_submul(t, pnt2->vec->el[1 + i], pnt1->vec->el[0]);
602 isl_int_set(bset->ineq[k][0], pnt1->vec->el[1 + i]);
605 isl_int_neg(bset->ineq[k][0], pnt1->vec->el[1 + i]);
607 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt1->vec->el[0]);
615 isl_int_neg(bset->ineq[k][0], pnt2->vec->el[1 + i]);
618 isl_int_set(bset->ineq[k][0], pnt2->vec->el[1 + i]);
620 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt2->vec->el[0]);
654 p = isl_printer_print_isl_int(p, pnt->vec->el[1 + pos]);
655 if (!isl_int_is_one(pnt->vec->el[0])) {
657 p = isl_printer_print_isl_int(p, pnt->vec->el[0]);
689 p = isl_printer_print_isl_int(p, pnt->vec->el[1 + i]);
690 if (!isl_int_is_one(pnt->vec->el[0])) {
692 p = isl_printer_print_isl_int(p, pnt->vec->el[0]);
tools/polly/lib/External/isl/isl_polynomial.c 1932 isl_int_gcd(gcd, cst->d, aff->el[0]);
1934 isl_int_divexact(gcd, aff->el[0], gcd);
1935 isl_seq_scale(aff->el, aff->el, f, aff->size);
1935 isl_seq_scale(aff->el, aff->el, f, aff->size);
1936 isl_int_mul(aff->el[1 + pos], gcd, cst->n);
1987 isl_seq_clr(aff->el + 1, 1 + d + qp->div->n_row);
1988 isl_int_set_si(aff->el[0], 1);
3081 vec->el[1 + up->var], vec->el[0]);
3081 vec->el[1 + up->var], vec->el[0]);
3360 up = isl_upoly_from_affine(ctx, aff->v->el + 1, aff->v->el[0],
3360 up = isl_upoly_from_affine(ctx, aff->v->el + 1, aff->v->el[0],
3887 isl_seq_cpy(aff->v->el, term->div->row[pos], aff->v->size);
4764 isl_int_fdiv_q(v->el[0], row[1], row[0]);
4765 isl_int_sub_ui(v->el[0], v->el[0], 1);
4765 isl_int_sub_ui(v->el[0], v->el[0], 1);
4766 isl_int_submul(row[1], row[0], v->el[0]);
4772 isl_int_cdiv_q(v->el[1 + j], row[2 + j], row[0]);
4774 isl_int_fdiv_q(v->el[1 + j], row[2 + j], row[0]);
4775 isl_int_submul(row[2 + j], row[0], v->el[1 + j]);
4780 isl_int_fdiv_q(v->el[1 + total + j],
4783 row[0], v->el[1 + total + j]);
4790 qp->div->row[j][2 + total + i], v->el, v->size);
4792 isl_int_set_si(v->el[1 + total + i], 1);
4793 s = isl_upoly_from_affine(qp->dim->ctx, v->el,
4948 isl_int_neg(bmap->eq[k][pos], aff->el[0]);
4949 isl_seq_cpy(bmap->eq[k], aff->el + 1, pos);
4950 isl_seq_cpy(bmap->eq[k] + pos + 1, aff->el + 1 + pos, n_div);
tools/polly/lib/External/isl/isl_sample.c 48 isl_int_set_si(sample->el[0], 1);
49 isl_seq_clr(sample->el + 1, dim);
80 isl_int_neg(sample->el[1], bset->eq[0][0]);
84 isl_int_set(sample->el[1], bset->eq[0][0]);
223 ctx->one, &min->el[level], NULL, 0);
241 ctx->one, &max->el[level], NULL, 0);
244 isl_int_neg(max->el[level], max->el[level]);
244 isl_int_neg(max->el[level], max->el[level]);
282 min->el[level], max->el[level]);
282 min->el[level], max->el[level]);
310 } while (isl_int_le(min->el[level], max->el[level]));
310 } while (isl_int_le(min->el[level], max->el[level]));
450 choice = isl_int_lt(min->el[level], max->el[level]);
450 choice = isl_int_lt(min->el[level], max->el[level]);
478 isl_int_add_ui(min->el[level], min->el[level], 1);
478 isl_int_add_ui(min->el[level], min->el[level], 1);
480 if (isl_int_gt(min->el[level], max->el[level])) {
480 if (isl_int_gt(min->el[level], max->el[level])) {
488 isl_int_neg(tab->basis->row[1 + level][0], min->el[level]);
504 if (tab->n_unbounded && !isl_int_is_one(sample->el[0])) {
551 isl_int_set_si(sample->el[0], 1);
577 isl_seq_cpy(sample->el + 1 + nparam + n,
578 sample_i->el + 1, f->len[i]);
691 isl_int_set(T->row[i][0], sample->el[i]);
784 isl_seq_inner_product(shift->ineq[k] + 1, vec->el + 1, total,
787 shift->ineq[k][0], vec->el[0]);
828 if (isl_int_is_one(vec->el[0])) {
863 isl_assert(vec1->ctx, isl_int_is_one(vec1->el[0]), goto error);
864 isl_assert(vec2->ctx, isl_int_is_one(vec2->el[0]), goto error);
870 isl_seq_cpy(vec->el, vec1->el, vec1->size);
870 isl_seq_cpy(vec->el, vec1->el, vec1->size);
871 isl_seq_cpy(vec->el + vec1->size, vec2->el + 1, vec2->size - 1);
871 isl_seq_cpy(vec->el + vec1->size, vec2->el + 1, vec2->size - 1);
977 if (isl_int_is_neg(v->el[i]))
978 isl_int_add(*s, *s, v->el[i]);
1022 isl_seq_cpy(row->el, bset->ineq[i] + 1, tab_cone->n_var);
1203 isl_int_neg(bset->eq[k][0], vec->el[1 + i]);
1204 isl_int_set(bset->eq[k][1 + i], vec->el[0]);
tools/polly/lib/External/isl/isl_scan.c 79 isl_int_set_si(sample->el[0], 1);
151 bset->ctx->one, &min->el[level], NULL, 0);
159 bset->ctx->one, &max->el[level], NULL, 0);
162 isl_int_neg(max->el[level], max->el[level]);
162 isl_int_neg(max->el[level], max->el[level]);
169 isl_int_add_ui(min->el[level], min->el[level], 1);
169 isl_int_add_ui(min->el[level], min->el[level], 1);
171 if (empty || isl_int_gt(min->el[level], max->el[level])) {
171 if (empty || isl_int_gt(min->el[level], max->el[level])) {
181 min->el[level], max->el[level]))
181 min->el[level], max->el[level]))
190 isl_int_neg(B->row[1 + level][0], min->el[level]);
tools/polly/lib/External/isl/isl_scheduler.c 859 isl_int_set_si(v->el[i], max);
860 isl_int_mul_si(v->el[i], v->el[i], 2);
860 isl_int_mul_si(v->el[i], v->el[i], 2);
876 if (isl_int_is_neg(v->el[j]) ||
877 isl_int_gt(v->el[j], size->n))
878 isl_int_set(v->el[j], size->n);
884 isl_int_cdiv_q_ui(v->el[i], v->el[i], 2);
884 isl_int_cdiv_q_ui(v->el[i], v->el[i], 2);
2582 if (isl_int_is_neg(node->max->el[i]))
2585 isl_int_set_si(ineq->el[pos], 1);
2586 isl_int_set_si(ineq->el[pos + 1], -1);
2587 isl_int_set(ineq->el[0], node->max->el[i]);
2587 isl_int_set(ineq->el[0], node->max->el[i]);
2592 isl_seq_cpy(graph->lp->ineq[k], ineq->el, 1 + total);
2594 isl_seq_neg(ineq->el + pos, ineq->el + pos, 2);
2594 isl_seq_neg(ineq->el + pos, ineq->el + pos, 2);
2598 isl_seq_cpy(graph->lp->ineq[k], ineq->el, 1 + total);
2600 isl_seq_clr(ineq->el + pos, 2);
2938 isl_int_sub(csol->el[node->nvar - 1 - i],
2939 sol->el[pos + 2 * i + 1], sol->el[pos + 2 * i]);
2939 sol->el[pos + 2 * i + 1], sol->el[pos + 2 * i]);
2986 row, 0, sol->el[1 + pos]);
2990 row, 1 + j, sol->el[1 + pos + j]);
2993 row, 1 + node->nparam + j, csol->el[j]);
4340 trivial = isl_seq_first_non_zero(node_sol->el,
4397 if (isl_int_is_zero(csol->el[i]))
4410 isl_int_mul(max, v->n, csol->el[i]);
4416 if (isl_int_abs_gt(csol->el[j], max))
4454 isl_int_set_si(eq->el[pos], 1);
4455 isl_int_set_si(eq->el[pos + 1], -1);
4456 tl = isl_tab_lexmin_add_eq(tl, eq->el);
4503 isl_int_divexact(sol->el[1], sol->el[1], sol->el[0]);
4503 isl_int_divexact(sol->el[1], sol->el[1], sol->el[0]);
4503 isl_int_divexact(sol->el[1], sol->el[1], sol->el[0]);
4504 isl_int_set_si(sol->el[0], 1);
4505 return isl_int_cmp_si(sol->el[1], n_edge) < 0;
4568 integral = isl_int_is_one(sol->el[0]);
tools/polly/lib/External/isl/isl_tab.c 902 isl_seq_cpy(tab->samples->row[tab->n_sample], sample->el, sample->size);
2227 isl_seq_cpy(ineq->el, bmap->div[div] + 1, 1 + total);
2228 isl_int_neg(ineq->el[div_pos], bmap->div[div][0]);
2262 if (add_ineq(user, ineq->el) < 0)
2265 if (isl_tab_add_ineq(tab, ineq->el) < 0)
2269 isl_seq_neg(ineq->el, tab->bmap->div[div] + 1, 1 + total);
2270 isl_int_set(ineq->el[div_pos], tab->bmap->div[div][0]);
2271 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]);
2271 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]);
2271 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]);
2272 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
2272 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
2275 if (add_ineq(user, ineq->el) < 0)
2278 if (isl_tab_add_ineq(tab, ineq->el) < 0)
2303 if (isl_int_is_neg(div->el[1]))
2307 if (isl_int_is_neg(div->el[2 + i]))
2309 if (isl_int_is_zero(div->el[2 + i]))
3278 isl_int_set(tab->dual->el[0], tab->mat->row[var->index][0]);
3282 isl_int_set_si(tab->dual->el[1 + i], 0);
3287 isl_int_neg(tab->dual->el[1 + i],
3290 isl_int_set(tab->dual->el[1 + i],
3472 isl_seq_clr(eq->el + 1, tab->n_var);
3473 isl_int_set_si(eq->el[1 + pos], -1);
3474 isl_int_set(eq->el[0], *target);
3475 r = isl_tab_add_eq(tab, eq->el);
tools/polly/lib/External/isl/isl_tab_lexopt_templ.c 76 isl_seq_cpy(var->el, bmap->ineq[first] + 1 + n_in, n_out);
78 if (isl_seq_eq(var->el, bmap->ineq[i] + 1 + n_in, n_out) &&
104 isl_seq_cpy(bmap->ineq[k] + 1 + n_in + 1, var->el, n_out);
tools/polly/lib/External/isl/isl_tab_pip.c 289 isl_int_set(aff->v->el[0], M->row[0][0]);
290 isl_seq_cpy(aff->v->el + 1, M->row[i], 1 + dim);
903 get_row_parameter_line(tab, row, ineq->el);
923 isl_seq_gcd(div->el + 2, len, &ctx->normalize_gcd);
924 isl_int_gcd(ctx->normalize_gcd, ctx->normalize_gcd, div->el[0]);
929 isl_int_divexact(div->el[0], div->el[0], ctx->normalize_gcd);
929 isl_int_divexact(div->el[0], div->el[0], ctx->normalize_gcd);
930 isl_int_fdiv_q(div->el[1], div->el[1], ctx->normalize_gcd);
930 isl_int_fdiv_q(div->el[1], div->el[1], ctx->normalize_gcd);
931 isl_seq_scale_down(div->el + 2, div->el + 2, ctx->normalize_gcd, len);
931 isl_seq_scale_down(div->el + 2, div->el + 2, ctx->normalize_gcd, len);
953 isl_int_set(div->el[0], tab->mat->row[row][0]);
954 get_row_parameter_line(tab, row, div->el + 1);
955 isl_seq_neg(div->el + 1, div->el + 1, div->size - 1);
955 isl_seq_neg(div->el + 1, div->el + 1, div->size - 1);
957 isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
957 isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
957 isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
981 isl_int_set(div->el[0], tab->mat->row[row][0]);
982 get_row_parameter_line(tab, row, div->el + 1);
984 isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
984 isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
984 isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
1016 isl_seq_cpy(ineq->el, bset->div[div] + 1, 1 + total);
1017 isl_int_neg(ineq->el[div_pos], bset->div[div][0]);
2056 isl_seq_inner_product(div->el + 1, samples->row[i],
2059 samples->row[i][samples->n_col - 1], div->el[0]);
2142 d = find_div(context_tab, div->el + 1, div->el[0]);
2142 d = find_div(context_tab, div->el + 1, div->el[0]);
2402 ok = isl_tab_add_ineq(context_tab, ineq->el) >= 0;
2422 ok = isl_tab_add_ineq(context_tab, ineq->el) >= 0;
2707 isl_seq_clr(ineq->el, ineq->size);
2709 isl_int_set_si(ineq->el[1 + i], 1);
2710 if (isl_tab_add_ineq(context_tab, ineq->el) < 0)
2721 isl_int_set_si(ineq->el[1 + i], 0);
2900 isl_int_set(cst->el[i], bset->ineq[i][0]);
2912 isl_int_set(bset->ineq[i][0], cst->el[i]);
3314 isl_seq_clr(eq->el + 1 + tab->n_param,
3322 isl_seq_cpy(eq->el, cgbr->tab->bmap->ineq[i], 1 + tab->n_param);
3323 isl_seq_cpy(eq->el + 1 + tab->n_var - tab->n_div,
3327 r = isl_tab_add_row(tab, eq->el);
3734 isl_seq_gcd(vec->el + 1, vec->size - 1, &gcd);
3736 strict = !isl_int_is_divisible_by(vec->el[0], gcd);
3737 isl_int_fdiv_q(vec->el[0], vec->el[0], gcd);
3737 isl_int_fdiv_q(vec->el[0], vec->el[0], gcd);
3738 isl_seq_scale_down(vec->el + 1, vec->el + 1, gcd, vec->size-1);
3738 isl_seq_scale_down(vec->el + 1, vec->el + 1, gcd, vec->size-1);
3829 res = sol->context->op->ineq_sign(sol->context, ineq->el,
3835 isl_seq_neg(ineq->el, ineq->el, ineq->size);
3835 isl_seq_neg(ineq->el, ineq->el, ineq->size);
3836 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3836 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3838 feasible = sol->context->op->test_ineq(sol->context, ineq->el);
3847 isl_seq_neg(ineq->el, ineq->el, ineq->size);
3847 isl_seq_neg(ineq->el, ineq->el, ineq->size);
3848 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3848 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3856 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3856 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3858 feasible = sol->context->op->test_ineq(sol->context, ineq->el);
3926 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3926 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
3928 sol->context->op->add_ineq(sol->context, ineq->el, 1, 0);
3937 isl_int_add_ui(ineq->el[0], ineq->el[0], 1);
3937 isl_int_add_ui(ineq->el[0], ineq->el[0], 1);
4105 find_in_pos(sol, tab, ineq->el);
4107 isl_seq_neg(ineq->el, ineq->el, ineq->size);
4107 isl_seq_neg(ineq->el, ineq->el, ineq->size);
4108 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
4108 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1);
4110 context->op->add_ineq(context, ineq->el, 0, 1);
4144 isl_seq_neg(ineq->el, ineq->el, ineq->size);
4144 isl_seq_neg(ineq->el, ineq->el, ineq->size);
4145 context->op->add_ineq(context, ineq->el, 1, 1);
4231 get_row_parameter_line(tab, row, eq->el);
4232 isl_int_neg(eq->el[1 + p], tab->mat->row[row][0]);
4238 isl_seq_neg(eq->el, eq->el, eq->size);
4238 isl_seq_neg(eq->el, eq->el, eq->size);
4241 isl_seq_neg(eq->el, eq->el, eq->size);
4241 isl_seq_neg(eq->el, eq->el, eq->size);
4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1);
4961 isl_int_set_si(v->el[i], 0);
4966 isl_int_divexact(v->el[i], tab->mat->row[row][1],
5059 if (!isl_int_is_zero(sol->el[1 + i]))
5089 if (!isl_int_is_zero(sol->el[1 + i]))
5106 isl_int_set_si(v->el[1 + i], -1);
5107 if (add_lexmin_eq(tab, v->el) < 0)
5132 isl_seq_cpy(data->v->el + 1 + region->pos, region->trivial->row[dir],
5134 if (add_lexmin_eq(tab, data->v->el) < 0)
5157 isl_int_set_si(data->v->el[0], -1);
5160 isl_seq_cpy(data->v->el + 1 + region->pos,
5163 isl_seq_neg(data->v->el + 1 + region->pos,
5165 return add_lexmin_ineq(tab, data->v->el);
5818 isl_int_set_si(aff->v->el[0], 1);
5819 isl_seq_cpy(aff->v->el + 1, var->row[i], var->n_col);
5820 isl_int_set_si(aff->v->el[1 + var->n_col], 0);
tools/polly/lib/External/isl/isl_transitive_closure.c 2201 isl_seq_clr(obj->el, 1 + nparam + d);
2205 isl_int_set_si(obj->el[1 + nparam + i], 1);
2207 res = isl_set_solve_lp(delta, 0, obj->el, map->ctx->one, &opt,
2222 res = isl_set_solve_lp(delta, 1, obj->el, map->ctx->one, &opt,
2237 isl_int_set_si(obj->el[1 + nparam + i], 0);
tools/polly/lib/External/isl/isl_vec.c 29 return isl_seq_get_hash(vec->el, vec->size);
48 vec->el = vec->block.data;
73 vec->el = vec->block.data;
111 isl_int_set(vec->el[i + extra], vec->el[i]);
111 isl_int_set(vec->el[i + extra], vec->el[i]);
117 isl_int_swap(vec->el[pos + i],
118 vec->el[pos + j]);
121 isl_int_set_si(vec->el[pos + i], 0);
137 isl_seq_clr(vec->el, size);
159 isl_seq_clr(vec->el + size - extra, extra);
187 isl_seq_cpy(vec1->el + vec1->size - vec2->size, vec2->el, vec2->size);
187 isl_seq_cpy(vec1->el + vec1->size - vec2->size, vec2->el, vec2->size);
215 isl_seq_cpy(vec2->el, vec->el, vec->size);
215 isl_seq_cpy(vec2->el, vec->el, vec->size);
265 return isl_val_int_from_isl_int(ctx, vec->el[pos]);
277 isl_int_set(vec->el[pos], v);
293 isl_int_set_si(vec->el[pos], v);
328 return isl_int_cmp(vec1->el[pos], vec2->el[pos]);
328 return isl_int_cmp(vec1->el[pos], vec2->el[pos]);
337 return isl_seq_first_non_zero(vec->el, vec->size) < 0;
348 return isl_seq_eq(vec1->el, vec2->el, vec1->size);
348 return isl_seq_eq(vec1->el, vec2->el, vec1->size);
363 printer = isl_printer_print_isl_int(printer, vec->el[i]);
392 isl_seq_set(vec->el, v, vec->size);
401 isl_seq_set_si(vec->el, v, vec->size);
416 isl_seq_set(vec->el, v->n, vec->size);
430 isl_seq_clr(vec->el, vec->size);
448 isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
448 isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
448 isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
450 isl_int_set_si(vec->el[0], 1);
459 isl_seq_normalize(vec->ctx, vec->el, vec->size);
468 isl_seq_neg(vec->el, vec->el, vec->size);
468 isl_seq_neg(vec->el, vec->el, vec->size);
479 isl_seq_scale(vec->el, vec->el, m, vec->size);
479 isl_seq_scale(vec->el, vec->el, m, vec->size);
491 isl_seq_fdiv_r(vec->el, vec->el, m, vec->size);
491 isl_seq_fdiv_r(vec->el, vec->el, m, vec->size);
505 isl_seq_combine(vec1->el, vec1->ctx->one, vec1->el,
505 isl_seq_combine(vec1->el, vec1->ctx->one, vec1->el,
506 vec1->ctx->one, vec2->el, vec1->size);
529 qsort(vec->el, vec->size, sizeof(*vec->el), &qsort_int_cmp);
529 qsort(vec->el, vec->size, sizeof(*vec->el), &qsort_int_cmp);
548 isl_seq_cpy(vec->el + pos, vec->el + pos + n,
548 isl_seq_cpy(vec->el + pos, vec->el + pos + n,
577 isl_seq_cpy(ext->el, vec->el, pos);
577 isl_seq_cpy(ext->el, vec->el, pos);
578 isl_seq_cpy(ext->el + pos + n, vec->el + pos, vec->size - pos);
578 isl_seq_cpy(ext->el + pos + n, vec->el + pos, vec->size - pos);
604 isl_seq_clr(vec->el + pos, n);
638 isl_seq_cpy(res->el, vec->el, dst_pos);
638 isl_seq_cpy(res->el, vec->el, dst_pos);
639 isl_seq_cpy(res->el + dst_pos, vec->el + src_pos, n);
639 isl_seq_cpy(res->el + dst_pos, vec->el + src_pos, n);
640 isl_seq_cpy(res->el + dst_pos + n,
641 vec->el + dst_pos, src_pos - dst_pos);
642 isl_seq_cpy(res->el + src_pos + n,
643 vec->el + src_pos + n, res->size - src_pos - n);
645 isl_seq_cpy(res->el, vec->el, src_pos);
645 isl_seq_cpy(res->el, vec->el, src_pos);
646 isl_seq_cpy(res->el + src_pos,
647 vec->el + src_pos + n, dst_pos - src_pos);
648 isl_seq_cpy(res->el + dst_pos, vec->el + src_pos, n);
648 isl_seq_cpy(res->el + dst_pos, vec->el + src_pos, n);
649 isl_seq_cpy(res->el + dst_pos + n,
650 vec->el + dst_pos + n, res->size - dst_pos - n);
tools/polly/lib/External/isl/isl_vertices.c 704 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var);
916 if (isl_tab_add_ineq(tab, todo->constraint->el) < 0)
1129 isl_int_set_si(c->el[0], 0);
1131 isl_seq_cpy(c->el + 1, bset->eq[i], c->size - 1);
1132 if (isl_tab_add_eq(tab, c->el) < 0)
1136 isl_int_set_si(c->el[0], -1);
1138 isl_seq_cpy(c->el + 1, bset->ineq[i], c->size - 1);
1139 if (isl_tab_add_ineq(tab, c->el) < 0)
1147 isl_seq_clr(c->el + 1, c->size - 1);
1148 isl_int_set_si(c->el[1], 1);
1149 if (isl_tab_add_ineq(tab, c->el) < 0)
1175 isl_seq_cpy(vec->el, vec->el + 1, vec->size - 1);
1175 isl_seq_cpy(vec->el, vec->el + 1, vec->size - 1);
1428 isl_seq_cpy(v->el, bset->ineq[facet], v->size);
1433 isl_seq_elim(v->el, vertex->eq[i], k, v->size, &m);
1437 return isl_seq_first_non_zero(v->el, v->size) == -1;