|
|
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 4529 isl_seq_cpy(shift->v->el + 1, bmap->ineq[ineq], o_out);
4531 bmap->ineq[ineq] + o_out + n_out, n_div);
4534 bmap->ineq[ineq] + o_out, ctx->negone);
4747 isl_int_neg(v->el[0], hull->ineq[i][offset + d]);
4748 isl_seq_cpy(v->el + 1, hull->ineq[i], 1 + n);
4859 if (!is_potential_div_constraint(hull->ineq[i],
4863 if (!isl_seq_is_neg(hull->ineq[i] + 1,
4864 hull->ineq[j] + 1, total - 1))
4866 isl_int_add(sum, hull->ineq[i][0],
4867 hull->ineq[j][0]);
4869 hull->ineq[i][offset + d]))
4876 if (isl_int_is_pos(hull->ineq[j][offset + d]))
tools/polly/lib/External/isl/isl_affine_hull.c 314 isl_int_set_si(bset->ineq[i][0], 0);
tools/polly/lib/External/isl/isl_coalesce.c 110 ineq[k] = status_in(bmap_i->ineq[k], tab_j);
430 isl_seq_neg(bmap->ineq[l], info->bmap->eq[k], len);
435 isl_seq_cpy(bmap->ineq[l], info->bmap->eq[k], len);
445 isl_seq_cpy(bmap->ineq[l], info->bmap->ineq[k], len);
445 isl_seq_cpy(bmap->ineq[l], info->bmap->ineq[k], len);
532 isl_seq_cpy(fused->ineq[l], extra->row[k], 1 + total);
618 stat = status_in(info[j].bmap->ineq[l], info[i].tab);
671 stat = status_in(bmap->ineq[k], tab);
744 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total);
744 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total);
745 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1);
745 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1);
746 r = isl_tab_add_ineq(info[i].tab, info[i].bmap->ineq[k]);
747 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total);
747 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total);
748 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1);
748 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1);
755 if (isl_tab_add_ineq(info[i].tab, info[j].bmap->ineq[k]) < 0)
879 if (!isl_int_is_zero(bmap->ineq[ineq][1 + i]))
933 isl_int_sub(info->bmap->ineq[ineq][0],
934 info->bmap->ineq[ineq][0], v->el[0]);
935 r = isl_tab_add_ineq(info->tab, info->bmap->ineq[ineq]);
936 isl_int_add(info->bmap->ineq[ineq][0],
937 info->bmap->ineq[ineq][0], v->el[0]);
996 isl_int_add_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1);
996 isl_int_add_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1);
997 T = isl_mat_sub_alloc6(ctx, info->bmap->ineq, k, 1, 0, 1 + total);
999 isl_int_sub_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1);
999 isl_int_sub_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1);
1028 isl_seq_cpy(v->el, info->bmap->ineq[i], 1 + total);
1073 isl_int_add_ui(info[i].bmap->ineq[relax[l]][0],
1074 info[i].bmap->ineq[relax[l]][0], 1);
1211 isl_seq_abs_max(info->bmap->ineq[k] + 1, total, &max_k);
1338 if (isl_seq_is_neg(bound, bmap->ineq[l], len))
1340 if (isl_seq_eq(bound, bmap->ineq[l], len))
1345 added = add_wrap(wraps, w, bound, bmap->ineq[l], len, set, 0);
1452 isl_seq_neg(bound, info->bmap->ineq[k], 1 + total);
1511 isl_seq_cpy(bound->el, info[i].bmap->ineq[k], 1 + total);
1647 info[i].bmap->ineq[k], 1 + total);
1823 type = type_of_relaxed(info[j].tab, info[i].bmap->ineq[k]);
1865 type = type_of_relaxed(info[j].tab, info[i].bmap->ineq[l]);
2725 if (isl_tab_add_ineq(tab, bmap->ineq[i]) < 0)
tools/polly/lib/External/isl/isl_constraint.c 240 &bmap->ineq[i]);
776 c = bmap->ineq[k];
871 if (isl_int_is_zero(bset->ineq[i][offset + pos]))
873 if (isl_int_is_one(bset->ineq[i][offset + pos]))
875 if (isl_int_is_negone(bset->ineq[i][offset + pos]))
877 if (isl_seq_first_non_zero(bset->ineq[i]+offset+pos+1,
881 if (!isl_seq_is_neg(bset->ineq[i]+1, bset->ineq[j]+1,
881 if (!isl_seq_is_neg(bset->ineq[i]+1, bset->ineq[j]+1,
884 isl_int_add(m, bset->ineq[i][0], bset->ineq[j][0]);
884 isl_int_add(m, bset->ineq[i][0], bset->ineq[j][0]);
885 if (isl_int_abs_ge(m, bset->ineq[i][offset+pos]))
888 if (isl_int_is_pos(bset->ineq[i][offset+pos])) {
889 lower_line = &bset->ineq[i];
890 upper_line = &bset->ineq[j];
892 lower_line = &bset->ineq[j];
893 upper_line = &bset->ineq[i];
935 isl_seq_combine(bset->ineq[k], t, a, a[1 + abs_pos], b, 1 + abs_pos);
936 isl_seq_combine(bset->ineq[k] + 1 + abs_pos,
941 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
941 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
969 if (!isl_int_is_neg(bset->ineq[j][1 + abs_pos]))
972 bset->ineq[j], bset->ineq[u], abs_pos, j > u);
972 bset->ineq[j], bset->ineq[u], abs_pos, j > u);
999 if (!isl_int_is_pos(bset->ineq[j][1 + abs_pos]))
1002 bset->ineq[l], bset->ineq[j], abs_pos, j > l);
1002 bset->ineq[l], bset->ineq[j], abs_pos, j > l);
1023 if (isl_int_is_zero(bset->ineq[i][1 + abs_pos]))
1033 &bset->ineq[i]);
1065 if (isl_int_is_zero(bset->ineq[i][1 + abs_pos]))
1075 &bset->ineq[i]);
1108 if (!isl_int_is_pos(bset->ineq[i][1 + abs_pos]))
1119 if (!isl_int_is_neg(bset->ineq[j][1 + abs_pos]))
1127 bset->ineq[i], bset->ineq[j], abs_pos, 0);
1127 bset->ineq[i], bset->ineq[j], abs_pos, 0);
1135 &bset->ineq[i]);
1137 &bset->ineq[j]);
1222 if (isl_int_is_pos(bset->ineq[i][1 + abs_pos]))
1224 else if (isl_int_is_neg(bset->ineq[i][1 + abs_pos]))
1233 if (!isl_int_is_zero(context->ineq[i][1 + abs_pos]))
tools/polly/lib/External/isl/isl_convex_hull.c 255 isl_seq_clr(lp->ineq[k], 1+lp_dim);
256 isl_int_set_si(lp->ineq[k][1+dim*i], 1);
267 isl_seq_clr(lp->ineq[k], 1+dim*i);
268 isl_seq_cpy(lp->ineq[k]+1+dim*i, set->p[i]->ineq[j], dim);
268 isl_seq_cpy(lp->ineq[k]+1+dim*i, set->p[i]->ineq[j], dim);
269 isl_seq_clr(lp->ineq[k]+1+dim*(i+1), dim*(set->n-i-1));
575 facet = compute_facet(set, hull->ineq[i]);
576 facet = isl_basic_set_add_equality(facet, hull->ineq[i]);
580 hull_facet = isl_basic_set_add_equality(hull_facet, hull->ineq[i]);
592 if (isl_seq_eq(facet->ineq[j],
593 hull_facet->ineq[f], 1 + dim))
600 isl_seq_cpy(hull->ineq[k], hull->ineq[i], 1+dim);
600 isl_seq_cpy(hull->ineq[k], hull->ineq[i], 1+dim);
601 if (!isl_set_wrap_facet(set, hull->ineq[k], facet->ineq[j]))
601 if (!isl_set_wrap_facet(set, hull->ineq[k], facet->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);
694 if (isl_int_is_pos(bset->ineq[j][1]))
696 if (isl_int_is_neg(bset->ineq[j][1]))
698 if (lower && isl_int_is_pos(bset->ineq[j][1])) {
699 isl_int_mul(a, lower[0], bset->ineq[j][1]);
700 isl_int_mul(b, lower[1], bset->ineq[j][0]);
702 isl_seq_cpy(lower, bset->ineq[j], 2);
704 if (upper && isl_int_is_neg(bset->ineq[j][1])) {
705 isl_int_mul(a, upper[0], bset->ineq[j][1]);
706 isl_int_mul(b, upper[1], bset->ineq[j][0]);
708 isl_seq_cpy(upper, bset->ineq[j], 2);
725 isl_seq_cpy(hull->ineq[k], lower, 2);
729 isl_seq_cpy(hull->ineq[k], upper, 2);
796 isl_seq_clr(hull->ineq[k], (i+1) * (1+dim));
797 isl_seq_clr(hull->ineq[k]+(i+2)*(1+dim), (1-i)*(1+dim));
798 isl_seq_cpy(hull->ineq[k]+(i+1)*(1+dim),
799 bset[i]->ineq[j], 1+dim);
804 isl_seq_clr(hull->ineq[k], 1+2+3*dim);
805 isl_int_set_si(hull->ineq[k][(i+1)*(1+dim)], 1);
917 isl_int_set_si(lin->ineq[k][0], 0);
918 isl_seq_cpy(lin->ineq[k] + 1, bset1->ineq[i] + 1, dim);
918 isl_seq_cpy(lin->ineq[k] + 1, bset1->ineq[i] + 1, dim);
931 isl_int_set_si(lin->ineq[k][0], 0);
932 isl_seq_neg(lin->ineq[k] + 1, bset2->ineq[i] + 1, dim);
932 isl_seq_neg(lin->ineq[k] + 1, bset2->ineq[i] + 1, dim);
1033 isl_seq_clr(lp->ineq[k] + 1, n);
1034 isl_int_set_si(lp->ineq[k][0], -1);
1035 isl_int_set_si(lp->ineq[k][1 + i], 1);
1050 isl_int_set(lp->eq[k][n], bset1->ineq[j][i]); n++;
1059 isl_int_neg(lp->eq[k][n], bset2->ineq[j][i]); n++;
1133 sample->block.data[n++], bset1->ineq[i], 1 + d);
1166 isl_seq_clr(bset->ineq[k] + 1, isl_basic_set_total_dim(bset));
1167 isl_int_set_si(bset->ineq[k][0], 1);
1389 isl_seq_cpy(lin->eq[k] + 1, bset->ineq[i] + 1, dim);
1506 isl_seq_cpy(hull->ineq[k], bounds->row[0], bounds->n_col);
1629 set->p[best]->ineq + i, 0, 1, 0, 1 + total);
1660 isl_int *ineq = set->p[s]->ineq[i];
1675 isl_seq_cpy(hull->ineq[j], constraints[i].c->row[0], 1 + total);
1684 isl_int *ineq = set->p[s]->ineq[i];
2032 if (hash_ineq(bset->ctx, table, bset->ineq[i], dim) < 0)
2201 isl_seq_cpy(hull->ineq[k], ineq, 1 + v.len);
2203 set_max_constant_term(data, set, i, hull->ineq[k], c_hash, &v);
2206 bound = is_bound(data, set, j, hull->ineq[k], shift);
2223 bound = is_bound(data, set, j, hull->ineq[k], shift);
2238 entry->data = hull->ineq[k];
2264 bset = add_bound(bset, data, set, i, set->p[i]->ineq[j], shift);
2469 cmp = isl_basic_map_constraint_cmp(bmap1, bmap1->ineq[i1],
2470 bmap2->ineq[i2]);
2481 if (isl_int_lt(bmap1->ineq[i1][0], bmap2->ineq[i2][0]))
2481 if (isl_int_lt(bmap1->ineq[i1][0], bmap2->ineq[i2][0]))
2482 isl_int_set(bmap1->ineq[i1][0], bmap2->ineq[i2][0]);
2482 isl_int_set(bmap1->ineq[i1][0], bmap2->ineq[i2][0]);
2679 isl_seq_cpy(hull->ineq[k], ineq, 1 + v.len);
2774 ineq[n_ineq++] = bset->ineq[j];
3027 if (isl_int_is_zero(hull->ineq[j][1 + nparam + i]))
3029 if (isl_seq_first_non_zero(hull->ineq[j]+1+nparam+i+1,
3031 isl_seq_first_non_zero(hull->ineq[j]+1+nparam,
3034 if (isl_int_is_pos(hull->ineq[j][1 + nparam + i]))
tools/polly/lib/External/isl/isl_dim_map.c 154 copy_constraint_dim_map(dst->ineq[i1], src->ineq[i], dim_map);
154 copy_constraint_dim_map(dst->ineq[i1], src->ineq[i], dim_map);
tools/polly/lib/External/isl/isl_factorization.c 280 isl_mat_sub_copy(bset->ctx, H->row + bset->n_eq, bset->ineq, bset->n_ineq,
tools/polly/lib/External/isl/isl_farkas.c 257 bset->ineq[j][1 + i]);
264 isl_seq_clr(dual->ineq[k],
266 isl_int_set_si(dual->ineq[k][1 + shift + total + bset->n_eq + i], 1);
273 isl_seq_clr(dual->ineq[k], 2 + total);
274 isl_int_set_si(dual->ineq[k][1], 1);
276 isl_int_neg(dual->ineq[k][2 + total + j],
279 isl_int_neg(dual->ineq[k][2 + total + bset->n_eq + j],
280 bset->ineq[j][0]);
tools/polly/lib/External/isl/isl_ilp.c 58 isl_seq_cpy(unit_box->ineq[k], bset->ineq[i], 1 + total);
58 isl_seq_cpy(unit_box->ineq[k], bset->ineq[i], 1 + total);
60 if (isl_int_is_nonneg(unit_box->ineq[k][1 + j]))
62 isl_int_add(unit_box->ineq[k][0],
63 unit_box->ineq[k][0], unit_box->ineq[k][1 + j]);
63 unit_box->ineq[k][0], unit_box->ineq[k][1 + j]);
118 isl_seq_cpy(bset->ineq[k], f, 1 + total);
119 isl_int_sub(bset->ineq[k][0], bset->ineq[k][0], l);
119 isl_int_sub(bset->ineq[k][0], bset->ineq[k][0], l);
124 isl_seq_neg(bset->ineq[k], f, 1 + total);
125 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], u);
125 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], u);
tools/polly/lib/External/isl/isl_input.c 1920 c = bmap->ineq[k];
tools/polly/lib/External/isl/isl_map.c 1121 bmap->ineq = isl_alloc_array(ctx, isl_int *, n_ineq + n_eq);
1122 if ((n_ineq + n_eq) && !bmap->ineq)
1139 bmap->ineq[i] = bmap->block.data + i * row_size;
1147 bmap->eq = bmap->ineq + n_ineq;
1235 isl_seq_cpy(dst->ineq[j], src->ineq[i], 1+total);
1235 isl_seq_cpy(dst->ineq[j], src->ineq[i], 1+total);
1325 free(bmap->ineq);
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) {
1442 t = bmap->ineq[j];
1443 bmap->ineq[j] = bmap->ineq[bmap->n_ineq - 1];
1443 bmap->ineq[j] = bmap->ineq[bmap->n_ineq - 1];
1444 bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1];
1503 t = bmap->ineq[pos];
1504 bmap->ineq[pos] = bmap->ineq[bmap->n_ineq - 1];
1504 bmap->ineq[pos] = bmap->ineq[bmap->n_ineq - 1];
1505 bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1];
1518 return bmap->n_ineq + n <= bmap->eq - bmap->ineq;
1532 isl_seq_clr(bmap->ineq[bmap->n_ineq] +
1565 t = bmap->ineq[pos];
1566 bmap->ineq[pos] = bmap->ineq[bmap->n_ineq - 1];
1566 bmap->ineq[pos] = bmap->ineq[bmap->n_ineq - 1];
1567 bmap->ineq[bmap->n_ineq - 1] = t;
1614 isl_seq_cpy(bmap->ineq[k], ineq, 1 + isl_basic_map_total_dim(bmap));
1782 copy_constraint(bmap1, bmap1->ineq[i1], bmap2, bmap2->ineq[i],
1782 copy_constraint(bmap1, bmap1->ineq[i1], bmap2, bmap2->ineq[i],
2015 bmap->ineq[i] + pos, n1, n2);
2155 isl_int_swap(bmap->ineq[i][1+off+a], bmap->ineq[i][1+off+b]);
2155 isl_int_swap(bmap->ineq[i][1+off+a], bmap->ineq[i][1+off+b]);
2265 constraint_drop_vars(bmap->ineq[i]+offset, n, left);
2362 if (!isl_int_is_zero(bmap->ineq[i][pos])) {
2367 constraint_drop_vars(bmap->ineq[i]+pos, 1, bmap->extra-div-1);
2591 isl_int_sub(v, bmap->ineq[i][1 + j],
2596 isl_int_add(v, bmap->ineq[i][1 + j],
2611 isl_int_sub(bmap->ineq[k][j], bmap->ineq[i][j],
2611 isl_int_sub(bmap->ineq[k][j], bmap->ineq[i][j],
2613 isl_int_cdiv_q(bmap->ineq[k][j],
2614 bmap->ineq[k][j], bmap->div[div][0]);
2616 isl_int_set_si(bmap->ineq[k][1 + total + div], 1);
2623 isl_int_add(bmap->ineq[k][j], bmap->ineq[i][j],
2623 isl_int_add(bmap->ineq[k][j], bmap->ineq[i][j],
2625 isl_int_fdiv_q(bmap->ineq[k][j],
2626 bmap->ineq[k][j], bmap->div[div][0]);
2628 isl_int_set_si(bmap->ineq[k][1 + total + div], -1);
2702 int s = isl_int_sgn(bmap->ineq[i][1 + total + div]);
2715 if (!isl_int_is_zero(bmap->ineq[i][1 + total + div]))
2817 if (isl_seq_first_non_zero(bmap->ineq[i] + first, n) >= 0)
2882 if (isl_seq_first_non_zero(bmap->ineq[i] + 1 + first, n) == -1)
2930 if (isl_seq_first_non_zero(bmap->ineq[i] + 1 + first, n) != -1)
3298 dump_constraints(bmap, bmap->ineq, bmap->n_ineq, ">=", out, indent);
3349 isl_seq_neg(bmap->ineq[pos], bmap->ineq[pos], 1 + total);
3349 isl_seq_neg(bmap->ineq[pos], bmap->ineq[pos], 1 + total);
3350 isl_int_sub_ui(bmap->ineq[pos][0], bmap->ineq[pos][0], 1);
3350 isl_int_sub_ui(bmap->ineq[pos][0], bmap->ineq[pos][0], 1);
3577 isl_seq_inner_product(vec->el, bmap->ineq[i], total, &s);
3696 map2->p[0]->ineq[0]);
4693 isl_int_neg(bmap->ineq[i][off+j], bmap->ineq[i][off+j]);
4693 isl_int_neg(bmap->ineq[i][off+j], bmap->ineq[i][off+j]);
4768 isl_seq_clr(result->ineq[j], 1+total);
4769 isl_int_neg(result->ineq[j][1+nparam+n_in+i], d);
4770 isl_int_set_si(result->ineq[j][1+pos+i], 1);
4774 isl_seq_clr(result->ineq[j], 1+total);
4775 isl_int_set(result->ineq[j][1+nparam+n_in+i], d);
4776 isl_int_set_si(result->ineq[j][1+pos+i], -1);
4777 isl_int_sub_ui(result->ineq[j][0], d, 1);
4867 isl_seq_clr(bmap->ineq[i], 1 + isl_basic_map_total_dim(bmap));
4868 isl_int_set_si(bmap->ineq[i][0], -1);
4869 isl_int_set_si(bmap->ineq[i][1+nparam+pos], -1);
4870 isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], 1);
4891 isl_seq_clr(bmap->ineq[i], 1 + isl_basic_map_total_dim(bmap));
4892 isl_int_set_si(bmap->ineq[i][1+nparam+pos], -1);
4893 isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], 1);
4914 isl_seq_clr(bmap->ineq[i], 1 + isl_basic_map_total_dim(bmap));
4915 isl_int_set_si(bmap->ineq[i][0], -1);
4916 isl_int_set_si(bmap->ineq[i][1+nparam+pos], 1);
4917 isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], -1);
4938 isl_seq_clr(bmap->ineq[i], 1 + isl_basic_map_total_dim(bmap));
4939 isl_int_set_si(bmap->ineq[i][1+nparam+pos], 1);
4940 isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], -1);
5225 isl_seq_cpy(bmap->ineq[i], div + 1, 1 + total);
5226 isl_int_neg(bmap->ineq[i][1 + pos], div[0]);
5244 isl_seq_neg(bmap->ineq[i], div + 1, 1 + total);
5245 isl_int_set(bmap->ineq[i][1 + pos], div[0]);
5246 isl_int_add(bmap->ineq[i][0], bmap->ineq[i][0], bmap->ineq[i][1 + pos]);
5246 isl_int_add(bmap->ineq[i][0], bmap->ineq[i][0], bmap->ineq[i][1 + pos]);
5246 isl_int_add(bmap->ineq[i][0], bmap->ineq[i][0], bmap->ineq[i][1 + pos]);
5247 isl_int_sub_ui(bmap->ineq[i][0], bmap->ineq[i][0], 1);
5247 isl_int_sub_ui(bmap->ineq[i][0], bmap->ineq[i][0], 1);
6056 isl_seq_clr(bmap->ineq[k], 1 + total);
6057 isl_int_set_si(bmap->ineq[k][1 + i], 1);
6470 isl_seq_clr(bmap->ineq[j], 1 + isl_basic_map_total_dim(bmap));
6472 isl_int_set_si(bmap->ineq[j][pos], -1);
6473 isl_int_set_si(bmap->ineq[j][0], value);
6475 isl_int_set_si(bmap->ineq[j][pos], 1);
6476 isl_int_set_si(bmap->ineq[j][0], -value);
6566 isl_seq_clr(bmap->ineq[j], 1 + isl_basic_map_total_dim(bmap));
6568 isl_int_set_si(bmap->ineq[j][pos], -1);
6569 isl_int_set(bmap->ineq[j][0], value);
6571 isl_int_set_si(bmap->ineq[j][pos], 1);
6572 isl_int_neg(bmap->ineq[j][0], value);
8298 isl_seq_clr(bset->ineq[k], 1 + isl_basic_set_total_dim(bset));
8299 isl_int_set_si(bset->ineq[k][1 + nparam + i], 1);
8319 isl_seq_clr(nonneg->ineq[k], 1 + isl_basic_set_total_dim(nonneg));
8320 isl_int_set_si(nonneg->ineq[k][pos], 1);
8339 isl_seq_clr(neg->ineq[k], 1 + isl_basic_set_total_dim(neg));
8340 isl_int_set_si(neg->ineq[k][0], -1);
8341 isl_int_set_si(neg->ineq[k][pos], -1);
9566 if (isl_sort(bmap->ineq, bmap->n_ineq, sizeof(isl_int *),
9632 cmp = isl_seq_cmp(bmap1->ineq[i], bmap2->ineq[i], 1+total);
9632 cmp = isl_seq_cmp(bmap1->ineq[i], bmap2->ineq[i], 1+total);
10451 c_hash = isl_seq_get_hash(bmap->ineq[i], 1 + total);
10683 int sgn = isl_int_sgn(bmap->ineq[i][pos]);
10994 if (!isl_int_abs_eq(bmap->ineq[i][o_out + pos], ctx->one))
10996 if (isl_seq_first_non_zero(bmap->ineq[i] + o_out + pos + 1,
10999 if (first_div_may_involve_output(bmap, bmap->ineq[i] + o_div,
11003 if (!isl_int_abs_eq(bmap->ineq[j][o_out + pos],
11006 if (!isl_seq_is_neg(bmap->ineq[i] + 1,
11007 bmap->ineq[j] + 1, total))
11013 isl_int_add(bmap->ineq[i][0],
11014 bmap->ineq[i][0], bmap->ineq[j][0]);
11014 bmap->ineq[i][0], bmap->ineq[j][0]);
11015 less = isl_int_abs_lt(bmap->ineq[i][0], m);
11016 isl_int_sub(bmap->ineq[i][0],
11017 bmap->ineq[i][0], bmap->ineq[j][0]);
11017 bmap->ineq[i][0], bmap->ineq[j][0]);
11020 if (isl_int_is_one(bmap->ineq[i][o_out + pos]))
11326 if (isl_int_is_zero(bset->ineq[i][1 + ovar + j]))
11328 if (!unique(bset->ineq[i] + 1 + ovar, j, nvar))
11330 if (isl_int_is_pos(bset->ineq[i][1 + ovar + j]))
11981 bmap->ineq[i][off + k]);
12048 isl_int_set(bmap->ineq[l][off + k],
12522 isl_seq_clr(bmap->ineq[i], 1 + isl_basic_map_total_dim(bmap));
12525 isl_int_set_si(bmap->ineq[i][pos1], 1);
12526 isl_int_set_si(bmap->ineq[i][pos2], -1);
12527 isl_int_set_si(bmap->ineq[i][0], -1);
12668 if (isl_int_is_zero(bset->ineq[i][pos]))
12670 isl_int_set(v, bset->ineq[i][pos]);
12671 isl_int_set_si(bset->ineq[i][pos], 0);
12672 isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i],
12672 isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i],
13014 isl_seq_preimage(res->ineq[k], bmap->ineq[i], ma, n_before,
13014 isl_seq_preimage(res->ineq[k], bmap->ineq[i], ma, n_before,
13512 isl_seq_inner_product(inner->el, bset->ineq[ineq], inner->size,
13518 pos = isl_seq_first_non_zero(bset->ineq[ineq] + 1, total);
13519 return isl_int_is_pos(bset->ineq[ineq][1 + pos]);
13555 isl_int_sub_ui(bset->ineq[j][0], bset->ineq[j][0], 1);
13555 isl_int_sub_ui(bset->ineq[j][0], bset->ineq[j][0], 1);
13589 if (isl_mat_sub_transform(bmap->ineq, bmap->n_ineq, pos,
tools/polly/lib/External/isl/isl_map_simplify.c 41 isl_int *t = bmap->ineq[a];
42 bmap->ineq[a] = bmap->ineq[b];
42 bmap->ineq[a] = bmap->ineq[b];
43 bmap->ineq[b] = t;
80 isl_seq_gcd(bmap->ineq[i]+1, total, &gcd);
82 if (isl_int_is_neg(bmap->ineq[i][0])) {
90 isl_int_gcd(gcd, gcd, bmap->ineq[i][0]);
93 isl_int_fdiv_q(bmap->ineq[i][0], bmap->ineq[i][0], gcd);
93 isl_int_fdiv_q(bmap->ineq[i][0], bmap->ineq[i][0], gcd);
94 isl_seq_scale_down(bmap->ineq[i]+1, bmap->ineq[i]+1, gcd, total);
94 isl_seq_scale_down(bmap->ineq[i]+1, bmap->ineq[i]+1, gcd, total);
310 if (isl_int_is_zero(bmap->ineq[k][1+pos]))
314 isl_seq_elim(bmap->ineq[k], eq, 1+pos, 1+total, NULL);
315 isl_seq_normalize(bmap->ctx, bmap->ineq[k], 1 + total);
447 if (isl_int_abs_gt(bmap->ineq[i][off + d], ctx->one))
688 return hash_index_ineq(ci, &bmap->ineq[k]);
709 ci->index[h] = &bset->ineq[k];
1043 isl_seq_neg(bmap->div[div] + 1, bmap->ineq[ineq], total + bmap->n_div);
1044 isl_int_set(bmap->div[div][0], bmap->ineq[ineq][total + div]);
1068 if (isl_int_is_zero(bmap->ineq[ineq][total + j]))
1105 if (isl_seq_last_non_zero(bmap->ineq[ineq] + total + div + 1,
1109 last_ineq = isl_seq_last_non_zero(bmap->ineq[ineq], total + div);
1138 if (isl_int_is_zero(bmap->ineq[k][total + i]))
1140 if (isl_int_abs_ge(sum, bmap->ineq[k][total + i]))
1149 if (isl_int_is_pos(bmap->ineq[k][total + i]))
1174 h = isl_seq_get_hash_bits(bmap->ineq[0] + 1, total, ci.bits);
1175 ci.index[h] = &bmap->ineq[0];
1179 ci.index[h] = &bmap->ineq[k];
1184 l = ci.index[h] - &bmap->ineq[0];
1185 if (isl_int_lt(bmap->ineq[k][0], bmap->ineq[l][0]))
1185 if (isl_int_lt(bmap->ineq[k][0], bmap->ineq[l][0]))
1192 isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
1192 isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
1194 isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
1194 isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
1197 l = ci.index[h] - &bmap->ineq[0];
1198 isl_int_add(sum, bmap->ineq[k][0], bmap->ineq[l][0]);
1198 isl_int_add(sum, bmap->ineq[k][0], bmap->ineq[l][0]);
1305 if (!isl_int_is_one(bmap->ineq[j][total + i]) &&
1306 !isl_int_is_negone(bmap->ineq[j][total + i]))
1311 s = isl_int_sgn(bmap->ineq[j][total + i]);
1312 isl_int_set_si(bmap->ineq[j][total + i], 0);
1314 isl_seq_combine(bmap->ineq[j],
1316 bmap->div[i][0], bmap->ineq[j],
1319 isl_seq_combine(bmap->ineq[j],
1321 bmap->div[i][0], bmap->ineq[j],
1324 isl_int_add(bmap->ineq[j][0],
1325 bmap->ineq[j][0], bmap->div[i][0]);
1326 isl_int_sub_ui(bmap->ineq[j][0],
1327 bmap->ineq[j][0], 1);
1440 if (isl_int_is_zero(bmap->ineq[i][pos]))
1442 red = isl_basic_map_is_div_constraint(bmap, bmap->ineq[i], div);
1578 if (isl_int_is_pos(bmap->ineq[i][1+d]))
1580 else if (isl_int_is_neg(bmap->ineq[i][1+d]))
1589 if (isl_int_is_zero(bmap->ineq[i][1+d]))
1593 if (isl_int_is_zero(bmap->ineq[j][1+d]))
1596 if (isl_int_sgn(bmap->ineq[i][1+d]) ==
1597 isl_int_sgn(bmap->ineq[j][1+d]))
1602 isl_seq_cpy(bmap->ineq[k], bmap->ineq[i],
1602 isl_seq_cpy(bmap->ineq[k], bmap->ineq[i],
1604 isl_seq_elim(bmap->ineq[k], bmap->ineq[j],
1604 isl_seq_elim(bmap->ineq[k], bmap->ineq[j],
1844 set_reduced_using_equalities(bset->ineq[i], bset->ineq[i],
1844 set_reduced_using_equalities(bset->ineq[i], bset->ineq[i],
1920 redundant = constraint_index_is_redundant(&ci, bset->ineq[k]);
2014 if (!is_related(bmap->ineq[i] + 1, dim, relevant)) {
2113 update_groups(dim, group, bmap->ineq[i] + 1);
2163 if (!isl_int_is_zero(bset->ineq[j][1 + i]))
2438 ineq = isl_mat_sub_alloc6(ctx, bset->ineq, 0, bset->n_ineq,
2526 isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], rem);
2526 isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], rem);
3180 if (isl_seq_first_non_zero(bmap->ineq[i1] + 1 + total,
3185 cmp = isl_basic_map_constraint_cmp(context, bmap->ineq[i1],
3186 context->ineq[i2]);
3195 if (isl_int_eq(bmap->ineq[i1][0], context->ineq[i2][0])) {
3195 if (isl_int_eq(bmap->ineq[i1][0], context->ineq[i2][0])) {
3619 bmap2->ineq[i], bmap1, elim);
3628 bmap1->ineq[i], bmap2, elim);
3910 if (isl_seq_first_non_zero(bmap->ineq[l] + 1 + dim, div) != -1)
3912 if (isl_seq_first_non_zero(bmap->ineq[l] + 1 + dim + div + 1,
3915 if (!isl_seq_is_neg(bmap->ineq[l] + 1, bmap->ineq[u] + 1,
3915 if (!isl_seq_is_neg(bmap->ineq[l] + 1, bmap->ineq[u] + 1,
3926 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);
3926 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);
3926 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);
3927 if (isl_int_is_neg(bmap->ineq[l][0])) {
3928 isl_int_sub(bmap->ineq[l][0],
3929 bmap->ineq[l][0], bmap->ineq[u][0]);
3929 bmap->ineq[l][0], bmap->ineq[u][0]);
3935 isl_int_add_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1);
3935 isl_int_add_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1);
3953 if (isl_int_is_zero(bmap->ineq[j][1 + dim + div])) {
3954 if (is_zero_or_one(bmap->ineq[j][1 + dim + i]))
3958 if (isl_int_is_zero(bmap->ineq[j][1 + dim + i]))
3960 isl_int_mul(bmap->ineq[j][1 + dim + div],
3961 bmap->ineq[j][1 + dim + div],
3962 bmap->ineq[l][0]);
3963 valid = isl_int_eq(bmap->ineq[j][1 + dim + div],
3964 bmap->ineq[j][1 + dim + i]);
3965 isl_int_divexact(bmap->ineq[j][1 + dim + div],
3966 bmap->ineq[j][1 + dim + div],
3967 bmap->ineq[l][0]);
3976 isl_int_sub_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1);
3976 isl_int_sub_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1);
3977 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);
3977 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);
3977 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]);
4089 bmap->ineq[l][offset + i], bmap->ineq[u][offset + i]);
4089 bmap->ineq[l][offset + i], bmap->ineq[u][offset + i]);
4090 isl_int_divexact(data->fl, bmap->ineq[l][offset + i], data->g);
4091 isl_int_divexact(data->fu, bmap->ineq[u][offset + i], data->g);
4093 isl_seq_combine(data->v->el, data->fl, bmap->ineq[u],
4094 data->fu, bmap->ineq[l], offset + n_div);
4168 if (!isl_int_is_pos(bmap->ineq[l][off + i]))
4170 if (isl_int_is_one(bmap->ineq[l][off + i]))
4173 if (!isl_int_is_neg(bmap->ineq[u][off + i]))
4175 if (isl_int_is_negone(bmap->ineq[u][off + i]))
4280 isl_int_add(m, bmap->ineq[l][0], bmap->ineq[u][0]);
4280 isl_int_add(m, bmap->ineq[l][0], bmap->ineq[u][0]);
4286 if (isl_int_is_zero(bmap->ineq[i][1 + dim + div2]))
4288 if (isl_int_is_zero(bmap->ineq[i][1 + dim + div1])) {
4289 if (isl_int_is_pos(bmap->ineq[i][1 + dim + div2]))
4290 isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
4290 isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
4291 ctx->one, bmap->ineq[l], total);
4293 isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
4293 isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
4294 ctx->one, bmap->ineq[u], total);
4296 isl_int_set(bmap->ineq[i][1 + dim + div2],
4297 bmap->ineq[i][1 + dim + div1]);
4298 isl_int_set_si(bmap->ineq[i][1 + dim + div1], 0);
4334 if (!isl_int_is_one(bmap->ineq[l][1 + dim + i]))
4339 if (!isl_int_is_negone(bmap->ineq[u][1+dim+i]))
4365 return isl_seq_eq(bmap->ineq[i] + first, bmap->ineq[j] + first, n);
4365 return isl_seq_eq(bmap->ineq[i] + first, bmap->ineq[j] + first, n);
4374 return isl_seq_is_neg(bmap->ineq[i] + first, bmap->ineq[j] + first, n);
4374 return isl_seq_is_neg(bmap->ineq[i] + first, bmap->ineq[j] + first, n);
4451 if (isl_int_is_zero(bmap->ineq[ineq][o_div + i]))
4469 if (isl_int_is_one(bmap->ineq[ineq][o_div + div]))
4528 isl_int_neg(*l, bmap->ineq[ineq][0]);
4529 isl_int_add(*l, *l, bmap->ineq[lower][0]);
4530 isl_int_cdiv_q(*l, *l, bmap->ineq[ineq][pos]);
4552 isl_int_neg(*u, bmap->ineq[ineq][0]);
4553 isl_int_sub(*u, *u, bmap->ineq[upper][0]);
4554 isl_int_cdiv_q(*u, *u, bmap->ineq[ineq][pos]);
4595 if (!isl_int_is_zero(bmap->ineq[i][o_div + div]))
4743 if (isl_int_is_pos(bmap->ineq[j][1 + off + i])) {
4747 if (isl_int_is_neg(bmap->ineq[j][1 + off + i])) {
4755 if (!isl_int_is_zero(bmap->ineq[j][1+off+i]))
4790 isl_int_add(bmap->ineq[last_pos][0],
4791 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
4791 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
4792 isl_int_add_ui(bmap->ineq[last_pos][0],
4793 bmap->ineq[last_pos][0], 1);
4794 redundant = isl_int_ge(bmap->ineq[last_pos][0],
4795 bmap->ineq[last_pos][1+off+i]);
4796 isl_int_sub_ui(bmap->ineq[last_pos][0],
4797 bmap->ineq[last_pos][0], 1);
4798 isl_int_sub(bmap->ineq[last_pos][0],
4799 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
4799 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
4883 if (preimage(bmap->ineq[i] + 1 + pos, T) < 0)
5135 isl_seq_cpy(v->el, bmap->ineq[i], 1 + total);
5141 isl_seq_cpy(bmap->ineq[i], v->el, 1 + total);
5204 if (isl_int_is_zero(bmap->ineq[i][1 + total + div]))
5206 isl_int_submul(bmap->ineq[i][pos],
5207 shift, bmap->ineq[i][1 + total + div]);
tools/polly/lib/External/isl/isl_map_subtract.c 86 expand_constraint(v, dim, bmap->ineq[i], div_map, bmap->n_div);
145 isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
145 isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
147 isl_int_sub_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
147 isl_int_sub_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
149 expand_constraint(v, dim, bmap->ineq[c], div_map, bmap->n_div);
152 isl_int_add_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
152 isl_int_add_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
153 isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
153 isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
tools/polly/lib/External/isl/isl_mat.c 1385 if (preimage(ctx, bset->ineq, bset->n_ineq, bset->n_div, 0,
tools/polly/lib/External/isl/isl_morph.c 651 mat = isl_mat_sub_alloc6(bset->ctx, bset->ineq, 0, bset->n_ineq,
660 isl_seq_cpy(res->ineq[k], mat->row[i], mat->n_col);
661 isl_seq_scale(res->ineq[k] + mat->n_col,
662 bset->ineq[i] + mat->n_col,
tools/polly/lib/External/isl/isl_output.c 66 isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n];
476 if (isl_seq_last_non_zero(bmap->ineq[i + 1], 1 + total) != last)
481 bmap->ineq[i + 1], last - o_div);
487 return isl_int_abs_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]) &&
487 return isl_int_abs_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]) &&
488 !isl_int_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]);
488 !isl_int_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]);
778 int l = isl_seq_last_non_zero(bmap->ineq[i], 1 + total);
788 bmap->ineq[i], l - o_div);
796 s = isl_int_sgn(bmap->ineq[i][l]);
797 strict = !rational && isl_int_is_negone(bmap->ineq[i][0]);
799 isl_seq_cpy(c->el, bmap->ineq[i], 1 + total);
801 isl_seq_neg(c->el, bmap->ineq[i], 1 + total);
2210 p = print_constraint_c(p, dim, bset, bset->ineq[i], ">=",
tools/polly/lib/External/isl/isl_point.c 599 isl_seq_clr(bset->ineq[k] + 1, total);
601 isl_int_set_si(bset->ineq[k][1 + i], -1);
602 isl_int_set(bset->ineq[k][0], pnt1->vec->el[1 + i]);
604 isl_int_set_si(bset->ineq[k][1 + i], 1);
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]);
607 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt1->vec->el[0]);
612 isl_seq_clr(bset->ineq[k] + 1, total);
614 isl_int_set_si(bset->ineq[k][1 + i], 1);
615 isl_int_neg(bset->ineq[k][0], pnt2->vec->el[1 + i]);
617 isl_int_set_si(bset->ineq[k][1 + i], -1);
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]);
620 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt2->vec->el[0]);
tools/polly/lib/External/isl/isl_polynomial.c 4322 isl_seq_cpy(bset->ineq[k], qp->div->row[div] + 1, 1 + total);
4323 isl_int_submul(bset->ineq[k][0], v, qp->div->row[div][0]);
4328 isl_seq_neg(bset->ineq[k], qp->div->row[div] + 1, 1 + total);
4329 isl_int_addmul(bset->ineq[k][0], v, qp->div->row[div][0]);
4330 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], qp->div->row[div][0]);
4330 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], qp->div->row[div][0]);
4331 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
4331 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
tools/polly/lib/External/isl/isl_sample.c 91 if (isl_int_is_one(bset->ineq[0][1]))
92 isl_int_neg(sample->block.data[1], bset->ineq[0][0]);
94 isl_int_set(sample->block.data[1], bset->ineq[0][0]);
97 bset->ineq[i], 2, &t);
175 bset->ineq[i - bset->n_eq] + 1, tab->n_var);
783 isl_seq_cpy(shift->ineq[k] + 1, cone->ineq[i] + 1, total);
783 isl_seq_cpy(shift->ineq[k] + 1, cone->ineq[i] + 1, total);
784 isl_seq_inner_product(shift->ineq[k] + 1, vec->el + 1, total,
785 &shift->ineq[k][0]);
786 isl_int_cdiv_q(shift->ineq[k][0],
787 shift->ineq[k][0], vec->el[0]);
788 isl_int_neg(shift->ineq[k][0], shift->ineq[k][0]);
788 isl_int_neg(shift->ineq[k][0], shift->ineq[k][0]);
790 if (isl_int_is_nonneg(shift->ineq[k][1 + j]))
792 isl_int_add(shift->ineq[k][0],
793 shift->ineq[k][0], shift->ineq[k][1 + j]);
793 shift->ineq[k][0], shift->ineq[k][1 + j]);
1022 isl_seq_cpy(row->el, bset->ineq[i] + 1, tab_cone->n_var);
1032 isl_int_add(bset->ineq[i][0], bset->ineq[i][0], v);
1032 isl_int_add(bset->ineq[i][0], bset->ineq[i][0], v);
1033 ok = isl_tab_add_ineq(tab, bset->ineq[i]) >= 0;
1034 isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], v);
1034 isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], v);
tools/polly/lib/External/isl/isl_scheduler.c 2491 isl_seq_clr(graph->lp->ineq[k], 1 + total);
2493 isl_int_set_si(graph->lp->ineq[k][1 + pos], -1);
2494 isl_int_set_si(graph->lp->ineq[k][0], max);
2570 isl_seq_clr(graph->lp->ineq[k], 1 + total);
2571 isl_int_set_si(graph->lp->ineq[k][dim], -1);
2572 isl_int_set_si(graph->lp->ineq[k][0], max);
2592 isl_seq_cpy(graph->lp->ineq[k], ineq->el, 1 + total);
2598 isl_seq_cpy(graph->lp->ineq[k], ineq->el, 1 + total);
4222 isl_seq_clr(graph->lp->ineq[k], 1 + total);
4223 isl_int_set_si(graph->lp->ineq[k][4 + i], -1);
4224 isl_int_set_si(graph->lp->ineq[k][0], 1);
tools/polly/lib/External/isl/isl_tab.c 2416 if (isl_tab_add_ineq(tab, bmap->ineq[i]) < 0)
2472 isl_int_swap(bset->ineq[i][offset], cst);
2473 r = isl_tab_add_row(tab, bset->ineq[i] + offset);
2474 isl_int_swap(bset->ineq[i][offset], cst);
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) &&
88 isl_seq_cpy(cst->row[i], bmap->ineq[list[i]], 1 + n_in);
102 isl_seq_clr(bmap->ineq[k], 1 + n_in);
103 isl_int_set_si(bmap->ineq[k][1 + n_in], 1);
104 isl_seq_cpy(bmap->ineq[k] + 1 + n_in + 1, var->el, n_out);
114 isl_seq_cpy(dom->ineq[k], cst->row[i], 1 + n_in);
115 isl_int_set_si(dom->ineq[k][1 + n_in], -1);
116 isl_seq_clr(dom->ineq[k] + 1 + n_in + 1, n_div);
tools/polly/lib/External/isl/isl_tab_pip.c 2328 isl_seq_neg(bmap->ineq[i] + o_var,
2329 bmap->ineq[i] + o_var, n_var);
2330 tab = add_lexmin_ineq(tab, bmap->ineq[i]);
2332 isl_seq_neg(bmap->ineq[i] + o_var,
2333 bmap->ineq[i] + o_var, n_var);
2900 isl_int_set(cst->el[i], bset->ineq[i][0]);
2902 if (!isl_int_is_neg(bset->ineq[i][1 + j]))
2904 isl_int_add(bset->ineq[i][0], bset->ineq[i][0],
2904 isl_int_add(bset->ineq[i][0], bset->ineq[i][0],
2905 bset->ineq[i][1 + j]);
2912 isl_int_set(bset->ineq[i][0], cst->el[i]);
2950 isl_int_set_si(bset->ineq[i][0], 0);
3322 isl_seq_cpy(eq->el, cgbr->tab->bmap->ineq[i], 1 + tab->n_param);
3324 cgbr->tab->bmap->ineq[i] + 1 + tab->n_param,
4449 if (!isl_int_is_zero(bmap->ineq[i][1 + j]))
4485 if (isl_int_is_zero(bmap->ineq[ineq][1 + i]))
4490 if (!isl_int_is_zero(bmap->ineq[j][1 + i]))
4558 info.val = bmap->ineq[i] + 1 + info.n_in;
4563 if (!single_occurrence(info.n_in, bmap->ineq[i] + 1,
4573 entry->data = &bmap->ineq[i];
4577 *first = ((isl_int **)entry->data) - bmap->ineq;
4613 isl_seq_combine(bset->ineq[k], ctx->one, var->row[j],
4615 isl_int_set_si(bset->ineq[k][var->n_col], 0);
4617 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
4617 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
4705 if (isl_int_is_nonneg(bmap->ineq[i][1 + pos]))
4707 if (!isl_int_is_negone(bmap->ineq[i][1 + pos]))
4709 if (isl_seq_first_non_zero(bmap->ineq[i] + 1 + pos + 1,
4714 if (isl_seq_eq(bmap->ineq[i], cst->row[j], cst->n_col))
tools/polly/lib/External/isl/isl_transitive_closure.c 80 c = bmap->ineq[k];
264 isl_seq_clr(path->ineq[k], 1 + isl_basic_map_total_dim(path));
265 isl_int_set_si(path->ineq[k][1 + nparam + 2 * d + i], 1);
307 isl_seq_clr(bset->ineq[k], 1 + isl_basic_set_total_dim(bset));
308 isl_seq_cpy(bset->ineq[k], c, 1 + nparam);
312 isl_int_set(bset->ineq[k][1 + nparam + d + i],
315 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
315 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);
462 isl_int **delta_c = eq ? delta->eq : delta->ineq;
487 path_c = path->ineq[k];
637 isl_seq_clr(path->ineq[k], 1 + isl_basic_map_total_dim(path));
639 isl_int_set_si(path->ineq[k][0], -1);
640 isl_int_set_si(path->ineq[k][off + d], 1);
687 isl_seq_clr(bmap->ineq[k], 1 + isl_basic_map_total_dim(bmap));
688 isl_int_set_si(bmap->ineq[k][1 + param], 1);
689 isl_int_set_si(bmap->ineq[k][0], -1);
2215 isl_seq_clr(bmap->ineq[k],
2217 isl_int_set_si(bmap->ineq[k][1 + nparam + i], -1);
2218 isl_int_set_si(bmap->ineq[k][1 + nparam + d + i], 1);
2219 isl_int_neg(bmap->ineq[k][1 + nparam + 2 * d + aff->n_div], opt);
2230 isl_seq_clr(bmap->ineq[k],
2232 isl_int_set_si(bmap->ineq[k][1 + nparam + i], 1);
2233 isl_int_set_si(bmap->ineq[k][1 + nparam + d + i], -1);
2234 isl_int_set(bmap->ineq[k][1 + nparam + 2 * d + aff->n_div], opt);
2242 isl_seq_clr(bmap->ineq[k],
2245 isl_int_set_si(bmap->ineq[k][0], -1);
2246 isl_int_set_si(bmap->ineq[k][1 + nparam + 2 * d + aff->n_div], 1);
tools/polly/lib/External/isl/isl_vertices.c 280 indep = is_independent(facets, selected, bset->ineq[level] + 1 + ovar);
524 enum isl_ineq_type type = isl_tab_ineq_type(tab, bset->ineq[i]);
583 if (isl_tab_ineq_type(tab, bset->ineq[i]) == isl_ineq_redundant)
585 if (isl_tab_add_ineq(tab, bset->ineq[i]) < 0)
704 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var);
1138 isl_seq_cpy(c->el + 1, bset->ineq[i], c->size - 1);
1428 isl_seq_cpy(v->el, bset->ineq[facet], v->size);
1477 if (isl_seq_first_non_zero(bset->ineq[i] + 1 + nparam, d) == -1)