|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/basis_reduction_templ.c 341 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq,
tools/polly/lib/External/isl/isl_aff.c 2050 j = isl_seq_last_non_zero(eq->eq[i], total + n_div);
2054 isl_seq_elim(aff->v->el + 1, eq->eq[i], j, total,
4511 if (isl_int_is_neg(bmap->eq[eq][o_out + pos])) {
4512 isl_seq_cpy(aff->v->el + 1, bmap->eq[eq], o_out);
4514 bmap->eq[eq] + o_out + n_out, n_div);
4516 isl_seq_neg(aff->v->el + 1, bmap->eq[eq], o_out);
4518 bmap->eq[eq] + o_out + n_out, n_div);
4522 isl_int_abs(aff->v->el[0], bmap->eq[eq][o_out + pos]);
4523 aff = subtract_initial(aff, ma, pos, bmap->eq[eq] + o_out,
4524 bmap->eq[eq][o_out + pos]);
4537 bmap->eq[eq][o_out + n_out + div]);
5030 if (isl_int_is_one(hull->eq[i][o_out + d]))
5031 isl_seq_neg(aff->v->el + 1, hull->eq[i],
5034 isl_seq_cpy(aff->v->el + 1, hull->eq[i],
5106 isl_int *eq = hull->eq[j];
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 80 if (isl_int_eq(bset1->eq[row][col], bset2->eq[row][col]))
80 if (isl_int_eq(bset1->eq[row][col], bset2->eq[row][col]))
85 isl_int_lcm(m, bset1->eq[row][col], bset2->eq[row][col]);
85 isl_int_lcm(m, bset1->eq[row][col], bset2->eq[row][col]);
86 isl_int_divexact(c, m, bset1->eq[row][col]);
87 isl_seq_scale(bset1->eq[row], bset1->eq[row], c, col+1);
87 isl_seq_scale(bset1->eq[row], bset1->eq[row], c, col+1);
88 isl_int_divexact(c, m, bset2->eq[row][col]);
89 isl_seq_scale(bset2->eq[row], bset2->eq[row], c, col+1);
89 isl_seq_scale(bset2->eq[row], bset2->eq[row], c, col+1);
101 t = bset->eq[row];
104 bset->eq[r] = bset->eq[r+1];
104 bset->eq[r] = bset->eq[r+1];
105 bset->eq[bset->n_eq] = t;
130 if (isl_int_is_zero(bset2->eq[r][col]))
132 isl_int_gcd(b, bset2->eq[r][col], bset1->eq[row][col]);
132 isl_int_gcd(b, bset2->eq[r][col], bset1->eq[row][col]);
133 isl_int_divexact(a, bset1->eq[row][col], b);
134 isl_int_divexact(b, bset2->eq[r][col], b);
135 isl_seq_combine(bset1->eq[r], a, bset1->eq[r],
135 isl_seq_combine(bset1->eq[r], a, bset1->eq[r],
136 b, bset1->eq[row], total);
137 isl_seq_scale(bset2->eq[r], bset2->eq[r], a, total);
137 isl_seq_scale(bset2->eq[r], bset2->eq[r], a, total);
162 if (isl_int_ne(bset1->eq[t][col], bset2->eq[t][col]))
162 if (isl_int_ne(bset1->eq[t][col], bset2->eq[t][col]))
171 isl_int_sub(b, bset1->eq[t][col], bset2->eq[t][col]);
171 isl_int_sub(b, bset1->eq[t][col], bset2->eq[t][col]);
173 isl_int_sub(a, bset2->eq[i][col], bset1->eq[i][col]);
173 isl_int_sub(a, bset2->eq[i][col], bset1->eq[i][col]);
177 isl_seq_combine(bset1->eq[i], g, bset1->eq[i], a, bset1->eq[t],
177 isl_seq_combine(bset1->eq[i], g, bset1->eq[i], a, bset1->eq[t],
177 isl_seq_combine(bset1->eq[i], g, bset1->eq[i], a, bset1->eq[t],
179 isl_seq_combine(bset2->eq[i], g, bset2->eq[i], a, bset2->eq[t],
179 isl_seq_combine(bset2->eq[i], g, bset2->eq[i], a, bset2->eq[t],
179 isl_seq_combine(bset2->eq[i], g, bset2->eq[i], a, bset2->eq[t],
210 isl_int_is_zero(bset1->eq[row][col]);
212 isl_int_is_zero(bset2->eq[row][col]);
311 isl_int_set_si(bset->eq[i][0], 0);
420 sample = outside_point(tab, hull->eq[j], 1);
426 sample = outside_point(tab, hull->eq[j], 0);
433 if (isl_tab_add_eq(tab, hull->eq[j]) < 0)
575 isl_seq_cpy(bset->eq[k] + 1, tab->basis->row[1 + i] + 1,
577 isl_seq_inner_product(bset->eq[k] + 1, vec->el +1,
578 vec->size - 1, &bset->eq[k][0]);
579 isl_int_neg(bset->eq[k][0], bset->eq[k][0]);
579 isl_int_neg(bset->eq[k][0], bset->eq[k][0]);
661 isl_seq_normalize(tab->mat->ctx, hull->eq[j], 1 + tab->n_var);
662 if (isl_tab_add_eq(tab, hull->eq[j]) < 0)
721 M = isl_mat_sub_alloc6(bset->ctx, cone->eq, 0, cone->n_eq, 1, total);
905 isl_seq_cpy(bmap->eq[j], hull->eq[i],
905 isl_seq_cpy(bmap->eq[j], hull->eq[i],
1019 isl_seq_cpy(bmap->eq[k], M->row[i], M->n_col);
1020 isl_seq_clr(bmap->eq[k] + M->n_col, bmap->n_div - n_known);
1021 isl_int_set(bmap->eq[k][M->n_col - n_known + div],
1086 if (isl_seq_first_non_zero(bmap->eq[n] + 1 + total + n_known,
1091 B = isl_mat_sub_alloc6(ctx, bmap->eq, 0, n, 0, 1 + total + n_known);
1093 A = isl_mat_sub_alloc6(ctx, bmap->eq, 0, n, 1 + total + n_known, n_col);
tools/polly/lib/External/isl/isl_bernstein.c 51 if (!isl_int_is_one(vertex->eq[r][1 + nparam + i]) &&
52 !isl_int_is_negone(vertex->eq[r][1 + nparam + i]))
73 isl_int_set(denom, vertex->eq[r][1 + nparam + i]);
77 isl_seq_neg(vertex->eq[r], vertex->eq[r],
77 isl_seq_neg(vertex->eq[r], vertex->eq[r],
82 v = isl_qpolynomial_from_affine(dim, vertex->eq[r], denom);
tools/polly/lib/External/isl/isl_coalesce.c 78 isl_seq_neg(bmap_i->eq[k], bmap_i->eq[k], 1+dim);
78 isl_seq_neg(bmap_i->eq[k], bmap_i->eq[k], 1+dim);
79 eq[2 * k + l] = status_in(bmap_i->eq[k], tab_j);
425 isl_seq_cpy(bmap->eq[l], info->bmap->eq[k], len);
425 isl_seq_cpy(bmap->eq[l], info->bmap->eq[k], len);
430 isl_seq_neg(bmap->ineq[l], info->bmap->eq[k], len);
435 isl_seq_cpy(bmap->ineq[l], info->bmap->eq[k], len);
653 isl_seq_neg(bmap->eq[k], bmap->eq[k], 1 + dim);
653 isl_seq_neg(bmap->eq[k], bmap->eq[k], 1 + dim);
654 stat = status_in(bmap->eq[k], tab);
655 isl_seq_neg(bmap->eq[k], bmap->eq[k], 1 + dim);
655 isl_seq_neg(bmap->eq[k], bmap->eq[k], 1 + dim);
660 stat = status_in(bmap->eq[k], tab);
1202 isl_seq_abs_max(info->bmap->eq[k] + 1, total, &max_k);
1353 if (isl_seq_is_neg(bound, bmap->eq[l], len))
1355 if (isl_seq_eq(bound, bmap->eq[l], len))
1361 added = add_wrap(wraps, w, bound, bmap->eq[l], len,
1630 info[i].bmap->eq[k], 1 + total);
1633 info[i].bmap->eq[k], 1 + total);
1803 isl_seq_neg(info[i].bmap->eq[k],
1804 info[i].bmap->eq[k], 1 + total);
1806 info[i].bmap->eq[k]);
1808 isl_seq_neg(info[i].bmap->eq[k],
1809 info[i].bmap->eq[k], 1 + total);
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);
tools/polly/lib/External/isl/isl_constraint.c 116 eq = line >= bmap->eq;
231 &bmap->eq[i]);
770 c = bmap->eq[k];
826 if (isl_int_is_zero(bmap->eq[i][offset + pos]) ||
827 isl_seq_first_non_zero(bmap->eq[i]+offset+pos+1,
832 &bmap->eq[i]);
1206 if (isl_int_is_zero(bset->eq[i][1 + abs_pos]))
1210 &bset->eq[i]);
tools/polly/lib/External/isl/isl_convex_hull.c 180 isl_seq_cpy(bset->eq[i], c, 1 + dim);
247 isl_int_set_si(lp->eq[k][0], -1);
249 isl_int_set_si(lp->eq[k][1+dim*i], 0);
250 isl_int_set_si(lp->eq[k][1+dim*i+1], 1);
251 isl_seq_clr(lp->eq[k]+1+dim*i+2, dim-2);
260 isl_seq_clr(lp->eq[k], 1+dim*i);
261 isl_seq_cpy(lp->eq[k]+1+dim*i, set->p[i]->eq[j], dim);
261 isl_seq_cpy(lp->eq[k]+1+dim*i, set->p[i]->eq[j], dim);
262 isl_seq_clr(lp->eq[k]+1+dim*(i+1), dim*(set->n-i-1));
446 if (!isl_seq_eq(bounds->row[0], face->eq[i], 1 + dim) &&
448 face->eq[i], 1 + dim))
451 if (!isl_set_wrap_facet(set, bounds->row[0], face->eq[i]))
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);
677 isl_int_mul(a, lower[0], bset->eq[j][1]);
678 isl_int_mul(b, lower[1], bset->eq[j][0]);
679 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1]))
680 isl_seq_cpy(lower, bset->eq[j], 2);
681 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1]))
682 isl_seq_neg(lower, bset->eq[j], 2);
685 isl_int_mul(a, upper[0], bset->eq[j][1]);
686 isl_int_mul(b, upper[1], bset->eq[j][0]);
687 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1]))
688 isl_seq_neg(upper, bset->eq[j], 2);
689 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1]))
690 isl_seq_cpy(upper, bset->eq[j], 2);
787 isl_seq_clr(hull->eq[k], (i+1) * (1+dim));
788 isl_seq_clr(hull->eq[k]+(i+2)*(1+dim), (1-i)*(1+dim));
789 isl_seq_cpy(hull->eq[k]+(i+1)*(1+dim), bset[i]->eq[j],
789 isl_seq_cpy(hull->eq[k]+(i+1)*(1+dim), bset[i]->eq[j],
811 isl_seq_clr(hull->eq[k], 1+2+3*dim);
812 isl_int_set_si(hull->eq[k][j], -1);
813 isl_int_set_si(hull->eq[k][1+dim+j], 1);
814 isl_int_set_si(hull->eq[k][2*(1+dim)+j], 1);
910 isl_int_set_si(lin->eq[k][0], 0);
911 isl_seq_cpy(lin->eq[k] + 1, bset1->eq[i] + 1, dim);
911 isl_seq_cpy(lin->eq[k] + 1, bset1->eq[i] + 1, dim);
924 isl_int_set_si(lin->eq[k][0], 0);
925 isl_seq_neg(lin->eq[k] + 1, bset2->eq[i] + 1, dim);
925 isl_seq_neg(lin->eq[k] + 1, bset2->eq[i] + 1, dim);
978 M = isl_mat_sub_alloc6(set->ctx, lin->eq, 0, lin->n_eq, 1, total);
1042 isl_int_set_si(lp->eq[k][n], 0); n++;
1044 isl_int_set_si(lp->eq[k][n], i == 0); n++;
1046 isl_int_set(lp->eq[k][n], bset1->eq[j][i]); n++;
1046 isl_int_set(lp->eq[k][n], bset1->eq[j][i]); n++;
1047 isl_int_neg(lp->eq[k][n], bset1->eq[j][i]); n++;
1047 isl_int_neg(lp->eq[k][n], bset1->eq[j][i]); n++;
1050 isl_int_set(lp->eq[k][n], bset1->ineq[j][i]); n++;
1053 isl_int_set_si(lp->eq[k][n], -(i == 0)); n++;
1055 isl_int_neg(lp->eq[k][n], bset2->eq[j][i]); n++;
1055 isl_int_neg(lp->eq[k][n], bset2->eq[j][i]); n++;
1056 isl_int_set(lp->eq[k][n], bset2->eq[j][i]); n++;
1056 isl_int_set(lp->eq[k][n], bset2->eq[j][i]); n++;
1059 isl_int_neg(lp->eq[k][n], bset2->ineq[j][i]); n++;
1126 sample->block.data[n], bset1->eq[i], 1 + d);
1378 isl_int_set_si(lin->eq[k][0], 0);
1379 isl_seq_cpy(lin->eq[k] + 1, bset->eq[i] + 1, dim);
1379 isl_seq_cpy(lin->eq[k] + 1, bset->eq[i] + 1, dim);
1388 isl_int_set_si(lin->eq[k][0], 0);
1389 isl_seq_cpy(lin->eq[k] + 1, bset->ineq[i] + 1, dim);
1652 isl_int *eq = set->p[s]->eq[i];
2026 isl_seq_neg(bset->eq[i], bset->eq[i], 1 + dim);
2026 isl_seq_neg(bset->eq[i], bset->eq[i], 1 + dim);
2027 if (hash_ineq(bset->ctx, table, bset->eq[i], dim) < 0)
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],
2518 last1 = isl_seq_last_non_zero(bmap1->eq[i1] + 1, total);
2519 last2 = isl_seq_last_non_zero(bmap2->eq[i2] + 1, total);
2530 if (!isl_seq_eq(bmap1->eq[i1], bmap2->eq[i2], 1 + total)) {
2530 if (!isl_seq_eq(bmap1->eq[i1], bmap2->eq[i2], 1 + total)) {
2770 ineq[n_ineq++] = bset->eq[j];
2771 isl_seq_neg(mat->row[n_eq++], bset->eq[j], mat->n_col);
3017 if (isl_int_is_zero(hull->eq[j][1 + nparam + i]))
3019 if (isl_seq_first_non_zero(hull->eq[j]+1+nparam+i+1,
tools/polly/lib/External/isl/isl_dim_map.c 147 copy_constraint_dim_map(dst->eq[i1], src->eq[i], dim_map);
147 copy_constraint_dim_map(dst->eq[i1], src->eq[i], dim_map);
tools/polly/lib/External/isl/isl_equalities.c 682 B = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 0, 1 + dim);
758 H = isl_mat_sub_alloc6(ctx, bset->eq, 0, bset->n_eq, 1, total);
778 isl_mat_sub_neg(ctx, C->row + 1, bset->eq, bset->n_eq, 0, 0, 1);
tools/polly/lib/External/isl/isl_factorization.c 278 isl_mat_sub_copy(bset->ctx, H->row, bset->eq, bset->n_eq,
tools/polly/lib/External/isl/isl_farkas.c 250 isl_seq_clr(dual->eq[k], 1 + shift + total);
251 isl_int_set_si(dual->eq[k][1 + shift + i], -1);
253 isl_int_set(dual->eq[k][1 + shift + total + j],
254 bset->eq[j][1 + i]);
256 isl_int_set(dual->eq[k][1 + shift + total + bset->n_eq + j],
277 bset->eq[j][0]);
tools/polly/lib/External/isl/isl_input.c 1917 c = bmap->eq[k];
tools/polly/lib/External/isl/isl_local_space.c 986 j = isl_seq_last_non_zero(eq->eq[i], total + n_div);
999 isl_seq_elim(ls->div->row[k] + 1, eq->eq[i], j, total,
tools/polly/lib/External/isl/isl_map.c 903 if (!isl_int_is_zero(bset->eq[i][0]))
910 if (isl_seq_first_non_zero(bset->eq[i] + 1, nparam) != -1)
912 pos1 = isl_seq_first_non_zero(bset->eq[i] + 1 + nparam, d);
915 if (isl_seq_first_non_zero(bset->eq[i] + 1 + nparam + pos1 + 1,
919 pos2 = isl_seq_first_non_zero(bset->eq[i] + 1 + nparam + d, n_div);
922 if (isl_seq_first_non_zero(bset->eq[i] + 1 + nparam + d + pos2 + 1,
925 if (!isl_int_is_one(bset->eq[i][1 + nparam + pos1]) &&
926 !isl_int_is_negone(bset->eq[i][1 + nparam + pos1]))
1035 j = isl_seq_first_non_zero(bmap->eq[i] + 1, total);
1038 if (!isl_int_is_one(bmap->eq[i][1 + j]) &&
1039 !isl_int_is_negone(bmap->eq[i][1 + j]))
1041 j = isl_seq_first_non_zero(bmap->eq[i] + 1 + j + 1,
1147 bmap->eq = bmap->ineq + n_ineq;
1230 isl_seq_cpy(dst->eq[j], src->eq[i], 1+total);
1230 isl_seq_cpy(dst->eq[j], src->eq[i], 1+total);
1430 isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size,
1437 if ((bmap->eq - bmap->ineq) + bmap->n_eq == bmap->c_size) {
1444 bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1];
1445 bmap->eq[-1] = t;
1448 bmap->eq--;
1451 isl_seq_clr(bmap->eq[bmap->n_eq] + 1 + isl_basic_map_total_dim(bmap),
1483 t = bmap->eq[pos];
1484 bmap->eq[pos] = bmap->eq[bmap->n_eq - 1];
1484 bmap->eq[pos] = bmap->eq[bmap->n_eq - 1];
1485 bmap->eq[bmap->n_eq - 1] = t;
1505 bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1];
1506 bmap->eq[-1] = t;
1509 bmap->eq--;
1518 return bmap->n_ineq + n <= bmap->eq - bmap->ineq;
1590 isl_seq_cpy(bmap->eq[k], eq, 1 + isl_basic_map_total_dim(bmap));
1774 copy_constraint(bmap1, bmap1->eq[i1], bmap2, bmap2->eq[i],
1774 copy_constraint(bmap1, bmap1->eq[i1], bmap2, bmap2->eq[i],
2011 bmap->eq[i] + pos, n1, n2);
2049 isl_int_set_si(bmap->eq[i][0], 1);
2050 isl_seq_clr(bmap->eq[i]+1, total);
2152 isl_int_swap(bmap->eq[i][1+off+a], bmap->eq[i][1+off+b]);
2152 isl_int_swap(bmap->eq[i][1+off+a], bmap->eq[i][1+off+b]);
2262 constraint_drop_vars(bmap->eq[i]+offset, n, left);
2359 constraint_drop_vars(bmap->eq[i]+pos, 1, bmap->extra-div-1);
2814 if (isl_seq_first_non_zero(bmap->eq[i] + first, n) >= 0)
2876 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + first, n) == -1)
2924 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + first, n) != -1)
3297 dump_constraints(bmap, bmap->eq, bmap->n_eq, "=", out, indent);
3569 isl_seq_inner_product(vec->el, bmap->eq[i], total, &s);
3693 map1->p[0] = isl_basic_map_add_eq(map1->p[0], map2->p[0]->eq[0]);
4611 isl_seq_clr(bmap->eq[j], 1+total);
4612 isl_int_set_si(bmap->eq[j][1+nparam+n_in+i], -1);
4613 isl_int_set_si(bmap->eq[j][1+pos+i], 1);
4614 isl_int_set_si(bmap->eq[j][1+pos-n_out+i], 1);
4690 isl_int_neg(bmap->eq[i][off+j], bmap->eq[i][off+j]);
4690 isl_int_neg(bmap->eq[i][off+j], bmap->eq[i][off+j]);
4844 isl_seq_clr(bmap->eq[i], 1 + isl_basic_map_total_dim(bmap));
4845 isl_int_set_si(bmap->eq[i][1+nparam+pos], -1);
4846 isl_int_set_si(bmap->eq[i][1+nparam+n_in+pos], 1);
6176 isl_seq_clr(bmap->eq[j] + 1, isl_basic_map_total_dim(bmap));
6177 isl_int_set_si(bmap->eq[j][pos], -1);
6178 isl_int_set_si(bmap->eq[j][0], value);
6196 isl_seq_clr(bmap->eq[j] + 1, isl_basic_map_total_dim(bmap));
6197 isl_int_set_si(bmap->eq[j][pos], -1);
6198 isl_int_set(bmap->eq[j][0], value);
7162 isl_seq_cpy(bset->eq[k], eq->row[i], eq->n_col);
7163 isl_seq_clr(bset->eq[k] + eq->n_col, len - eq->n_col);
7221 if (!isl_int_is_zero(bset->eq[i][1 + nparam + j]))
7312 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, i, bset->n_eq - i,
8093 isl_seq_clr(bmap->eq[j], 1 + isl_basic_map_total_dim(bmap));
8094 isl_int_set_si(bmap->eq[j][1+nparam+i], 1);
8095 isl_int_set_si(bmap->eq[j][1+nparam+dim+i], 1);
8096 isl_int_set_si(bmap->eq[j][1+nparam+2*dim+i], -1);
8169 isl_seq_clr(bmap->eq[k], 1 + total);
8170 isl_int_set_si(bmap->eq[k][1 + nparam + i], 1);
8171 isl_int_set_si(bmap->eq[k][1 + nparam + n + i], -1);
8172 isl_int_set_si(bmap->eq[k][1 + nparam + n + n + i], 1);
8239 isl_seq_clr(bmap->eq[j], 1 + isl_basic_map_total_dim(bmap));
8240 isl_int_set_si(bmap->eq[j][1+nparam+i], 1);
8241 isl_int_set_si(bmap->eq[j][1+nparam+dim+i], -1);
9348 if (!isl_int_is_zero(bmap->eq[i][1+d]))
9352 if (isl_seq_first_non_zero(bmap->eq[i]+1, d) != -1)
9354 if (isl_seq_first_non_zero(bmap->eq[i]+1+d+1, total-d-1) != -1)
9356 if (!isl_int_is_one(bmap->eq[i][1+d]))
9359 isl_int_neg(*val, bmap->eq[i][0]);
9627 cmp = isl_seq_cmp(bmap1->eq[i], bmap2->eq[i], 1+total);
9627 cmp = isl_seq_cmp(bmap1->eq[i], bmap2->eq[i], 1+total);
10445 c_hash = isl_seq_get_hash(bmap->eq[i], 1 + total);
10679 if (!isl_int_is_zero(bmap->eq[i][pos]))
11072 if (isl_int_is_zero(bmap->eq[j][o_out + pos]))
11074 if (isl_seq_first_non_zero(bmap->eq[j] + o_out + pos + 1,
11077 k = first_div_may_involve_output(bmap, bmap->eq[j] + o_div,
11081 if (!isl_int_is_one(bmap->eq[j][o_out + pos]) &&
11082 !isl_int_is_negone(bmap->eq[j][o_out + pos]))
11084 if (first_div_may_involve_output(bmap, bmap->eq[j] + o_div,
11088 bmap->eq[j][o_div + k]);
11317 if (isl_int_is_zero(bset->eq[i][1 + ovar + j]))
11319 if (!unique(bset->eq[i] + 1 + ovar, j, nvar))
11952 bmap->eq[i][off + k]);
12035 isl_int_set(bmap->eq[l][off + k],
12341 isl_seq_clr(bmap->eq[i], 1 + isl_basic_map_total_dim(bmap));
12344 isl_int_set_si(bmap->eq[i][pos1], -1);
12345 isl_int_set_si(bmap->eq[i][pos2], 1);
12405 isl_seq_clr(bmap->eq[i], 1 + isl_basic_map_total_dim(bmap));
12408 isl_int_set_si(bmap->eq[i][pos1], 1);
12409 isl_int_set_si(bmap->eq[i][pos2], 1);
12659 if (isl_int_is_zero(bset->eq[i][pos]))
12661 isl_int_set(v, bset->eq[i][pos]);
12662 isl_int_set_si(bset->eq[i][pos], 0);
12663 isl_seq_combine(bset->eq[i], subs->v->el[0], bset->eq[i],
12663 isl_seq_combine(bset->eq[i], subs->v->el[0], bset->eq[i],
12864 isl_seq_cpy(bmap->eq[k] + o_bmap,
12868 isl_seq_clr(bmap->eq[k] + o_bmap, n_before);
12870 isl_seq_cpy(bmap->eq[k] + o_bmap,
12874 isl_seq_clr(bmap->eq[k] + o_bmap, n_after);
12876 isl_seq_cpy(bmap->eq[k] + o_bmap,
12880 isl_seq_clr(bmap->eq[k] + o_bmap, 1 + total - o_bmap);
12881 isl_int_neg(bmap->eq[k][1 + total], ma->u.p[i]->v->el[0]);
13006 isl_seq_preimage(res->eq[k], bmap->eq[i], ma, n_before,
13006 isl_seq_preimage(res->eq[k], bmap->eq[i], ma, n_before,
13429 return isl_mat_sub_alloc6(ctx, bset->eq, 0, bset->n_eq, 0, total);
13586 if (isl_mat_sub_transform(bmap->eq, bmap->n_eq, pos,
tools/polly/lib/External/isl/isl_map_simplify.c 33 isl_int *t = bmap->eq[a];
34 bmap->eq[a] = bmap->eq[b];
34 bmap->eq[a] = bmap->eq[b];
35 bmap->eq[b] = t;
59 isl_seq_gcd(bmap->eq[i]+1, total, &gcd);
61 if (!isl_int_is_zero(bmap->eq[i][0])) {
69 isl_int_gcd(gcd, gcd, bmap->eq[i][0]);
72 if (!isl_int_is_divisible_by(bmap->eq[i][0], gcd)) {
76 isl_seq_scale_down(bmap->eq[i], bmap->eq[i], gcd, 1+total);
76 isl_seq_scale_down(bmap->eq[i], bmap->eq[i], gcd, 1+total);
299 if (bmap->eq[k] == eq)
301 if (isl_int_is_zero(bmap->eq[k][1+pos]))
305 isl_seq_elim(bmap->eq[k], eq, 1+pos, 1+total, NULL);
306 isl_seq_normalize(bmap->ctx, bmap->eq[k], 1 + total);
403 if (!isl_int_is_one(bmap->eq[i][off + d]) &&
404 !isl_int_is_negone(bmap->eq[i][off + d]))
406 ok = ok_to_eliminate_div(bmap, bmap->eq[i], d);
413 bmap = eliminate_div(bmap, bmap->eq[i], d, 1);
442 if (!isl_int_is_zero(bmap->eq[i][off + d]))
479 if (isl_int_is_zero(bmap->eq[eq][o_div + first + i]))
534 isl_seq_neg(bmap->div[div] + 1, bmap->eq[eq], 1 + total);
536 isl_int_set(bmap->div[div][0], bmap->eq[eq][o_div + div]);
565 if (!isl_int_is_zero(bmap->eq[k][1+last_var]))
574 if (isl_int_is_neg(bmap->eq[done][1+last_var]))
575 isl_seq_neg(bmap->eq[done], bmap->eq[done], 1+total);
575 isl_seq_neg(bmap->eq[done], bmap->eq[done], 1+total);
577 eliminate_var_using_equality(bmap, last_var, bmap->eq[done], 1,
589 if (isl_int_is_zero(bmap->eq[k][0]))
830 while (j >= 0 && isl_int_is_zero(bmap->eq[i][1 + total + j]))
834 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total, j) != -1)
921 B = isl_mat_sub_alloc6(bmap->ctx, bmap->eq, div_eq,
938 while (j >= 0 && isl_int_is_zero(bmap->eq[i][1 + total + j]))
940 isl_int_set(d->block.data[i], bmap->eq[i][1 + total + j]);
942 B = isl_mat_sub_alloc6(bmap->ctx, bmap->eq, 0, div_eq, 0, 1 + total);
973 if (!isl_int_is_zero(bmap->eq[i][1 + total + j]))
1017 isl_seq_neg(bmap->eq[j], bmap->div[k]+1, 1+total+bmap->n_div);
1018 isl_int_set(bmap->eq[j][pos[i]], bmap->div[k][0]);
1434 if (!isl_int_is_zero(bmap->eq[i][pos]))
1566 if (isl_int_is_zero(bmap->eq[i][1+d]))
1568 eliminate_var_using_equality(bmap, d, bmap->eq[i], 0, NULL);
1775 if (isl_int_is_zero(bmap->eq[i][1+d]))
1806 isl_seq_elim(dst, bmap->eq[elim[d]], 1 + d, 1 + total, NULL);
1841 set_reduced_using_equalities(bset->eq[i], bset->eq[i],
1841 set_reduced_using_equalities(bset->eq[i], bset->eq[i],
2007 if (!is_related(bmap->eq[i] + 1, dim, relevant)) {
2111 update_groups(dim, group, bmap->eq[i] + 1);
2156 if (!isl_int_is_zero(bset->eq[j][1 + i]))
2622 eq = isl_mat_sub_alloc6(bset->ctx, aff->eq, 0, aff->n_eq, 0, 1 + total);
2670 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total,
2699 isl_seq_cpy(bmap->eq[k], eq->row[i], eq->n_col);
2742 E2 = isl_mat_sub_alloc6(ctx, bmap2->eq,
2747 E1 = isl_mat_sub_alloc6(ctx, bmap1->eq,
2751 E1 = isl_mat_sub_alloc6(ctx, bmap1->eq,
2753 E2 = isl_mat_sub_alloc6(ctx, bmap2->eq,
2760 E1 = isl_mat_sub_alloc6(ctx, bmap->eq, 0, bmap->n_eq, 0, 1 + total);
2816 A = isl_mat_sub_alloc6(ctx, context->eq, 0, context_n_eq, 0, 1 + total);
2817 B = isl_mat_sub_alloc6(ctx, context->eq,
2826 A = isl_mat_sub_alloc6(ctx, bmap->eq,
2944 div = isl_seq_first_non_zero(bmap->eq[i] + 1 + total, n_div);
2949 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total + div + 1,
2956 remove_incomplete_powers(&gcd, bmap->eq[i][1 + total + div]);
2959 isl_int_divexact(bmap->eq[i][1 + total + div],
2960 bmap->eq[i][1 + total + div], gcd);
3236 if (isl_seq_first_non_zero(bmap->eq[i1] + 1 + total,
3239 last1 = isl_seq_last_non_zero(bmap->eq[i1] + 1, total);
3240 last2 = isl_seq_last_non_zero(context->eq[i2] + 1, total);
3249 if (isl_seq_eq(bmap->eq[i1], context->eq[i2], 1 + total)) {
3249 if (isl_seq_eq(bmap->eq[i1], context->eq[i2], 1 + total)) {
3610 reduced = reduced_using_equalities(v->block.data, bmap2->eq[i],
4736 if (!isl_int_is_zero(bmap->eq[j][1 + off + i]))
4880 if (preimage(bmap->eq[i] + 1 + pos, T) < 0)
4969 l = isl_seq_first_non_zero(bmap->eq[i] + o_div + first,
4974 if (isl_seq_first_non_zero(bmap->eq[i] + o_div + l + 1,
4986 isl_seq_cpy(T->row[0], bmap->eq[i] + o_div + l, n_div - l);
5012 j = isl_seq_first_non_zero(bmap->eq[i] + 1, total);
5015 if (!isl_int_is_one(bmap->eq[i][1 + j]) &&
5016 !isl_int_is_negone(bmap->eq[i][1 + j]))
5020 k = isl_seq_first_non_zero(bmap->eq[i] + 1 + j, total - j);
5024 if (!isl_int_is_one(bmap->eq[i][1 + j]) &&
5025 !isl_int_is_negone(bmap->eq[i][1 + j]))
5029 k = isl_seq_first_non_zero(bmap->eq[i] + 1 + j, total - j);
5118 eq = isl_mat_sub_alloc6(ctx, bmap->eq, 0, bmap->n_eq, 0, 1 + total);
5198 if (isl_int_is_zero(bmap->eq[i][1 + total + div]))
5200 isl_int_submul(bmap->eq[i][pos],
5201 shift, bmap->eq[i][1 + total + div]);
tools/polly/lib/External/isl/isl_map_subtract.c 73 expand_constraint(v, dim, bmap->eq[i], div_map, bmap->n_div);
76 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total);
76 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total);
77 expand_constraint(v, dim, bmap->eq[i], div_map, bmap->n_div);
80 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total);
80 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total);
131 isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
131 isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
134 isl_int_sub_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
134 isl_int_sub_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
135 expand_constraint(v, dim, bmap->eq[c/2], div_map, bmap->n_div);
138 isl_int_add_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
138 isl_int_add_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
140 isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
140 isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
768 isl_seq_first_non_zero(bmap->eq[j] + 1, i) == -1,
771 isl_int_is_one(bmap->eq[j][1 + i]) ||
772 isl_int_is_negone(bmap->eq[j][1 + i]),
775 isl_seq_first_non_zero(bmap->eq[j]+1+i+1, dim-i-1) == -1,
778 isl_int_gcd(m, point->el[0], bmap->eq[j][1 + i]);
779 isl_int_divexact(m, bmap->eq[j][1 + i], m);
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 1381 if (preimage(ctx, bset->eq, bset->n_eq, bset->n_div, 0,
tools/polly/lib/External/isl/isl_morph.c 378 isl_seq_cpy(eq->eq[k], bset->eq[first + i], 1 + total);
378 isl_seq_cpy(eq->eq[k], bset->eq[first + i], 1 + total);
440 if (isl_seq_first_non_zero(bset->eq[f_eq] + orest, nrest) == -1)
443 if (isl_seq_first_non_zero(bset->eq[f_eq + n_eq] + otype, ntype) == -1)
448 E = isl_mat_sub_alloc6(bset->ctx, bset->eq, f_eq, n_eq, 0, orest);
522 if (isl_seq_first_non_zero(bset->eq[bset->n_eq - 1] + 1 + nparam,
531 B = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, n_eq, 0, 1 + nparam);
532 H = isl_mat_sub_alloc6(bset->ctx, bset->eq,
591 isl_seq_cpy(bset->eq[k], morph->inv->row[1 + i],
593 isl_seq_clr(bset->eq[k] + morph->inv->n_col, bset->n_div);
594 isl_int_set(bset->eq[k][morph->inv->n_col + div],
636 mat = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq,
645 isl_seq_cpy(res->eq[k], mat->row[i], mat->n_col);
646 isl_seq_scale(res->eq[k] + mat->n_col, bset->eq[i] + mat->n_col,
646 isl_seq_scale(res->eq[k] + mat->n_col, bset->eq[i] + mat->n_col,
tools/polly/lib/External/isl/isl_output.c 66 isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n];
761 int l = isl_seq_last_non_zero(bmap->eq[i], 1 + total);
770 if (isl_int_is_neg(bmap->eq[i][l]))
771 isl_seq_cpy(c->el, bmap->eq[i], 1 + total);
773 isl_seq_neg(c->el, bmap->eq[i], 1 + total);
1228 j = isl_seq_last_non_zero(bmap->eq[i] + 1, total);
1230 (isl_int_is_one(bmap->eq[i][1 + j]) ||
1231 isl_int_is_negone(bmap->eq[i][1 + j])))
1266 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total,
1270 if (!isl_seq_eq(bmap->eq[i], aff->eq[j], 1 + total) &&
1270 if (!isl_seq_eq(bmap->eq[i], aff->eq[j], 1 + total) &&
1271 !isl_seq_is_neg(bmap->eq[i], aff->eq[j], 1 + total))
1271 !isl_seq_is_neg(bmap->eq[i], aff->eq[j], 1 + total))
1345 if (isl_seq_last_non_zero(eq->eq[i] + 1, total) != pos)
1347 if (isl_int_is_one(eq->eq[i][1 + pos]))
1348 isl_seq_neg(eq->eq[i], eq->eq[i], 1 + total);
1348 isl_seq_neg(eq->eq[i], eq->eq[i], 1 + total);
1377 p = print_affine_of_len(data->space, NULL, p, eq->eq[j], pos);
2192 j = isl_seq_last_non_zero(bset->eq[i] + 1 + total, n_div);
2195 bset->eq[i], "==", &first);
2200 p = print_partial_affine_c(p, dim, bset, bset->eq[i],
2204 bset->eq[i][1 + total + j]);
tools/polly/lib/External/isl/isl_polynomial.c 2807 j = isl_seq_last_non_zero(eq->eq[i], total + n_div);
2814 isl_seq_elim(qp->div->row[k] + 1, eq->eq[i], j, total,
2819 if (isl_int_is_pos(eq->eq[i][j]))
2820 isl_seq_neg(eq->eq[i], eq->eq[i], total);
2820 isl_seq_neg(eq->eq[i], eq->eq[i], total);
2821 isl_int_abs(denom, eq->eq[i][j]);
2822 isl_int_set_si(eq->eq[i][j], 0);
2825 eq->eq[i], denom, total);
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 79 if (isl_int_is_one(bset->eq[0][1]))
80 isl_int_neg(sample->el[1], bset->eq[0][0]);
82 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]),
84 isl_int_set(sample->el[1], bset->eq[0][0]);
172 isl_seq_cpy(eq->row[j], bset->eq[i] + 1, tab->n_var);
938 M = isl_mat_sub_alloc6(ctx, cone->eq, 0, cone->n_eq, 1, total);
1202 isl_seq_clr(bset->eq[k], 1 + dim);
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_scheduler.c 2653 isl_seq_clr(graph->lp->eq[k], 1 + total);
2654 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1);
2656 isl_int_set_si(graph->lp->eq[k][1 + first + i], 1);
2675 isl_seq_clr(graph->lp->eq[k], 1 + total);
2676 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1);
2681 isl_int_set_si(graph->lp->eq[k][pos + j], 1);
2701 isl_seq_clr(graph->lp->eq[k], 1 + total);
2702 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1);
2708 isl_int_set_si(graph->lp->eq[k][pos + j], 1);
4207 isl_seq_clr(graph->lp->eq[k], 1 + total);
4208 isl_int_set_si(graph->lp->eq[k][0], -n_edge);
4209 isl_int_set_si(graph->lp->eq[k][1], 1);
4211 isl_int_set_si(graph->lp->eq[k][4 + i], 1);
tools/polly/lib/External/isl/isl_tab.c 2411 tab = add_eq(tab, bmap->eq[i]);
2460 isl_int_swap(bset->eq[i][offset], cst);
2462 if (isl_tab_add_eq(tab, bset->eq[i] + offset) < 0)
2465 tab = add_eq(tab, bset->eq[i]);
2466 isl_int_swap(bset->eq[i][offset], cst);
tools/polly/lib/External/isl/isl_tab_pip.c 2315 isl_seq_neg(bmap->eq[i] + o_var,
2316 bmap->eq[i] + o_var, n_var);
2317 tab = add_lexmin_valid_eq(tab, bmap->eq[i]);
2319 isl_seq_neg(bmap->eq[i] + o_var,
2320 bmap->eq[i] + o_var, n_var);
2947 isl_int_set_si(bset->eq[i][0], 0);
4660 isl_seq_cpy(bset->eq[k], var->row[i], var->n_col);
4661 isl_int_set_si(bset->eq[k][var->n_col], -1);
4701 if (!isl_int_is_zero(bmap->eq[i][1 + pos]))
tools/polly/lib/External/isl/isl_transitive_closure.c 75 c = bmap->eq[k];
248 isl_seq_clr(path->eq[k], 1 + isl_basic_map_total_dim(path));
249 isl_int_set_si(path->eq[k][1 + nparam + i], 1);
250 isl_int_set_si(path->eq[k][1 + nparam + d + i], -1);
253 isl_int_set_si(path->eq[k][1 + nparam + 2 * d + j], 1);
256 isl_int_set(path->eq[k][1 + nparam + 2 * d + j],
436 isl_seq_clr(test->eq[k], 1 + isl_basic_map_total_dim(test));
437 isl_int_set_si(test->eq[k][pos], 1);
462 isl_int **delta_c = eq ? delta->eq : delta->ineq;
482 path_c = path->eq[k];
599 isl_seq_clr(path->eq[k], 1 + isl_basic_map_total_dim(path));
600 isl_int_set_si(path->eq[k][1 + nparam + i], 1);
601 isl_int_set_si(path->eq[k][1 + nparam + d + 1 + i], -1);
602 isl_int_set_si(path->eq[k][off + i], 1);
679 isl_seq_clr(bmap->eq[k], 1 + isl_basic_map_total_dim(bmap));
680 isl_int_set_si(bmap->eq[k][1 + param], -1);
681 isl_int_set_si(bmap->eq[k][1 + nparam + d - 1], -1);
682 isl_int_set_si(bmap->eq[k][1 + nparam + d + d - 1], 1);
1496 isl_seq_clr(bstep->eq[k], 1 + isl_basic_map_total_dim(bstep));
1497 isl_int_set_si(bstep->eq[k][0], 1);
1498 isl_int_set_si(bstep->eq[k][1 + nparam], 1);
1499 isl_int_set_si(bstep->eq[k][1 + nparam + 1], -1);
2189 isl_seq_clr(bmap->eq[k], 1 + nparam);
2190 isl_seq_cpy(bmap->eq[k] + 1 + nparam + d,
2191 aff->eq[i] + 1 + nparam, d);
2192 isl_seq_neg(bmap->eq[k] + 1 + nparam,
2193 aff->eq[i] + 1 + nparam, d);
2194 isl_seq_cpy(bmap->eq[k] + 1 + nparam + 2 * d,
2195 aff->eq[i] + 1 + nparam + d, aff->n_div);
2196 isl_int_set_si(bmap->eq[k][1 + total + aff->n_div], 0);
2886 isl_seq_clr(bmap->eq[k], isl_basic_map_total_dim(bmap));
2887 isl_int_set_si(bmap->eq[k][0], 1);
2888 isl_int_set_si(bmap->eq[k][isl_basic_map_offset(bmap, isl_dim_in)], 1);
2889 isl_int_set_si(bmap->eq[k][isl_basic_map_offset(bmap, isl_dim_out)], -1);
tools/polly/lib/External/isl/isl_vertices.c 1131 isl_seq_cpy(c->el + 1, bset->eq[i], c->size - 1);
1432 int k = isl_seq_last_non_zero(vertex->eq[i], v->size);
1433 isl_seq_elim(v->el, vertex->eq[i], k, v->size, &m);