|
|
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 72 aff->v = v;
115 isl_int_set_si(aff->v->el[0], 1);
116 isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
116 isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
140 isl_seq_clr(aff->v->el, aff->v->size);
140 isl_seq_clr(aff->v->el, aff->v->size);
171 isl_seq_clr(aff->v->el + 2, aff->v->size - 2);
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);
214 isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
215 isl_int_set_si(aff->v->el[1 + pos], 1);
272 isl_vec_copy(aff->v));
295 isl_vec_free(aff->v);
319 v_hash = isl_vec_get_hash(aff->v);
537 aff->v = vec_reorder(aff->v, isl_reordering_copy(r),
537 aff->v = vec_reorder(aff->v, isl_reordering_copy(r),
541 if (!aff->v || !aff->ls)
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;
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;
622 return isl_vec_is_equal(aff1->v, aff2->v);
622 return isl_vec_is_equal(aff1->v, aff2->v);
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]);
744 aff->v = isl_vec_cow(aff->v);
744 aff->v = isl_vec_cow(aff->v);
745 if (!aff->v)
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)) {
781 aff->v = isl_vec_cow(aff->v);
781 aff->v = isl_vec_cow(aff->v);
782 if (!aff->v)
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);
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);
794 aff->v = isl_vec_normalize(aff->v);
794 aff->v = isl_vec_normalize(aff->v);
795 if (!aff->v)
824 aff->v = isl_vec_cow(aff->v);
824 aff->v = isl_vec_cow(aff->v);
825 if (!aff->v)
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);
856 aff->v = isl_vec_cow(aff->v);
856 aff->v = isl_vec_cow(aff->v);
857 if (!aff->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);
864 aff->v = isl_vec_normalize(aff->v);
864 aff->v = isl_vec_normalize(aff->v);
865 if (!aff->v)
868 isl_seq_scale(aff->v->el + 1,
869 aff->v->el + 1, v->d, aff->v->size - 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);
872 aff->v = isl_vec_normalize(aff->v);
872 aff->v = isl_vec_normalize(aff->v);
873 if (!aff->v)
914 aff->v = isl_vec_cow(aff->v);
914 aff->v = isl_vec_cow(aff->v);
915 if (!aff->v)
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);
956 aff->v = isl_vec_cow(aff->v);
956 aff->v = isl_vec_cow(aff->v);
957 if (!aff->v)
960 isl_int_set_si(aff->v->el[1], v);
977 isl_die(aff->v->ctx, isl_error_invalid,
984 isl_die(aff->v->ctx, isl_error_invalid,
993 aff->v = isl_vec_cow(aff->v);
993 aff->v = isl_vec_cow(aff->v);
994 if (!aff->v)
998 isl_int_set(aff->v->el[1 + pos], v);
1015 isl_die(aff->v->ctx, isl_error_invalid,
1022 isl_die(aff->v->ctx, isl_error_invalid,
1028 if (isl_int_cmp_si(aff->v->el[1 + pos], v) == 0)
1035 aff->v = isl_vec_cow(aff->v);
1035 aff->v = isl_vec_cow(aff->v);
1036 if (!aff->v)
1039 isl_int_set_si(aff->v->el[1 + pos], v);
1056 isl_die(aff->v->ctx, isl_error_invalid,
1063 isl_die(aff->v->ctx, isl_error_invalid,
1075 if (isl_int_eq(aff->v->el[1 + pos], v->n) &&
1076 isl_int_eq(aff->v->el[0], v->d)) {
1084 aff->v = isl_vec_cow(aff->v);
1084 aff->v = isl_vec_cow(aff->v);
1085 if (!aff->v)
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);
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);
1097 aff->v = isl_vec_normalize(aff->v);
1097 aff->v = isl_vec_normalize(aff->v);
1098 if (!aff->v)
1122 isl_die(aff->v->ctx, isl_error_invalid,
1129 isl_die(aff->v->ctx, isl_error_invalid,
1138 aff->v = isl_vec_cow(aff->v);
1138 aff->v = isl_vec_cow(aff->v);
1139 if (!aff->v)
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);
1165 isl_die(aff->v->ctx, isl_error_invalid,
1172 isl_die(aff->v->ctx, isl_error_invalid,
1187 aff->v = isl_vec_cow(aff->v);
1187 aff->v = isl_vec_cow(aff->v);
1188 if (!aff->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);
1196 aff->v = isl_vec_normalize(aff->v);
1196 aff->v = isl_vec_normalize(aff->v);
1197 if (!aff->v)
1200 isl_seq_scale(aff->v->el + 1,
1201 aff->v->el + 1, v->d, aff->v->size - 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);
1204 aff->v = isl_vec_normalize(aff->v);
1204 aff->v = isl_vec_normalize(aff->v);
1205 if (!aff->v)
1251 aff->v = isl_vec_cow(aff->v);
1251 aff->v = isl_vec_cow(aff->v);
1252 if (!aff->v)
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);
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;
1288 aff->v = isl_vec_drop_els(aff->v, 1 + off + pos, n - pos);
1288 aff->v = isl_vec_drop_els(aff->v, 1 + off + pos, n - pos);
1289 if (!aff->ls || !aff->v)
1312 len = aff->v->size;
1319 vec = isl_vec_copy(aff->v);
1332 isl_vec_free(aff->v);
1333 aff->v = vec;
1380 aff->v->size, i, 1);
1402 v = isl_vec_copy(aff->v);
1408 isl_vec_free(aff->v);
1409 aff->v = v;
1429 if (isl_int_is_zero(aff->v->el[1 + off + b]))
1432 aff->v = isl_vec_cow(aff->v);
1432 aff->v = isl_vec_cow(aff->v);
1433 if (!aff->v)
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);
1487 aff->v = isl_vec_normalize(aff->v);
1487 aff->v = isl_vec_normalize(aff->v);
1488 if (!aff->v)
1520 if (isl_int_is_one(aff->v->el[0]))
1527 aff->v = isl_vec_cow(aff->v);
1527 aff->v = isl_vec_cow(aff->v);
1528 if (!aff->v)
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);
1537 div = isl_vec_copy(aff->v);
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);
1544 for (i = 1; i < aff->v->size; ++i) {
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])) {
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);
1557 size = aff->v->size;
1558 aff->v = isl_vec_extend(aff->v, size + 1);
1558 aff->v = isl_vec_extend(aff->v, size + 1);
1559 if (!aff->v)
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]))
1665 aff->v = isl_vec_cow(aff->v);
1665 aff->v = isl_vec_cow(aff->v);
1666 if (!aff->v)
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);
1695 aff->v = isl_vec_expand(aff->v, offset, old_n_div, exp, new_n_div);
1695 aff->v = isl_vec_expand(aff->v, offset, old_n_div, exp, new_n_div);
1697 if (!aff->v || !aff->ls)
1717 aff1->v = isl_vec_cow(aff1->v);
1717 aff1->v = isl_vec_cow(aff1->v);
1718 if (!aff1->v)
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);
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);
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);
1821 aff->v = isl_vec_cow(aff->v);
1821 aff->v = isl_vec_cow(aff->v);
1822 if (!aff->v)
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);
1834 isl_seq_scale(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
1892 aff->v = isl_vec_cow(aff->v);
1892 aff->v = isl_vec_cow(aff->v);
1893 if (!aff->v)
1897 isl_seq_gcd(aff->v->el + 1, aff->v->size - 1, &gcd);
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);
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);
1960 isl_die(aff->v->ctx, isl_error_invalid,
1979 isl_die(aff->v->ctx, isl_error_invalid,
2005 isl_die(aff->v->ctx, isl_error_invalid,
2043 aff->v = isl_vec_cow(aff->v);
2043 aff->v = isl_vec_cow(aff->v);
2044 if (!aff->ls || !aff->v)
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);
2439 isl_die(aff->v->ctx, isl_error_invalid,
2461 aff->v = isl_vec_drop_els(aff->v, first, n);
2461 aff->v = isl_vec_drop_els(aff->v, first, n);
2462 if (!aff->v)
2558 isl_die(aff->v->ctx, isl_error_invalid,
2580 aff->v = isl_vec_insert_zero_els(aff->v, first, n);
2580 aff->v = isl_vec_insert_zero_els(aff->v, first, n);
2581 if (!aff->v)
2655 aff->v = isl_vec_move_els(aff->v, g_dst_pos, g_src_pos, n);
2655 aff->v = isl_vec_move_els(aff->v, g_dst_pos, g_src_pos, n);
2658 if (!aff->v || !aff->ls)
3307 return isl_seq_first_non_zero(aff->v->el + 2, aff->v->size - 2) == -1;
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]);
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);
5029 isl_int_set_si(aff->v->el[0], 1);
5031 isl_seq_neg(aff->v->el + 1, hull->eq[i],
5032 aff->v->size - 1);
5034 isl_seq_cpy(aff->v->el + 1, hull->eq[i],
5035 aff->v->size - 1);
5036 isl_int_set(aff->v->el[1 + o_out + d], gcd);
5295 aff->v = isl_vec_cow(aff->v);
5295 aff->v = isl_vec_cow(aff->v);
5296 if (!aff->v)
5302 isl_seq_substitute(aff->v->el, pos, subs->v->el,
5302 isl_seq_substitute(aff->v->el, pos, subs->v->el,
5303 aff->v->size, subs->v->size, v);
5303 aff->v->size, subs->v->size, v);
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);
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);
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);
7159 return isl_seq_cmp(aff1->v->el, aff2->v->el, aff1->v->size);
9228 v = eval(aff->v, isl_point_peek_vec(pnt));
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,
93 aff->v->size - (pos + 1));
tools/polly/lib/External/isl/isl_coalesce.c 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]);
tools/polly/lib/External/isl/isl_constraint.c 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]);
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);
1332 v = isl_vec_drop_els(isl_vec_copy(aff->v), 0, 1);
tools/polly/lib/External/isl/isl_ilp.c 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]))
976 if (isl_int_is_zero(aff->v->el[aff->v->size - n + i]))
tools/polly/lib/External/isl/isl_local_space.c 320 isl_seq_cpy(aff->v->el, ls->div->row[pos], aff->v->size);
320 isl_seq_cpy(aff->v->el, ls->div->row[pos], aff->v->size);
1096 return isl_local_space_substitute_seq(ls, type, pos, subs->v->el,
1097 subs->v->size, 0, ls->div->n_row);
tools/polly/lib/External/isl/isl_lp.c 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.c12650 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);
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);
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);
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]);
tools/polly/lib/External/isl/isl_output.c 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_polynomial.c 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],
3361 aff->v->size - 1);
3887 isl_seq_cpy(aff->v->el, term->div->row[pos], aff->v->size);
3887 isl_seq_cpy(aff->v->el, term->div->row[pos], aff->v->size);
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);
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);