|
|
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 142 lp = isl_calloc_type(tab->mat->ctx, struct tab_lp);
153 lp->ctx = tab->mat->ctx;
tools/polly/lib/External/isl/basis_reduction_templ.c 82 ctx = tab->mat->ctx;
tools/polly/lib/External/isl/isl_affine_hull.c 259 ctx = tab->mat->ctx;
617 isl_assert(tab->mat->ctx, tab->bmap, goto error);
618 isl_assert(tab->mat->ctx, tab->samples, goto error);
619 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
620 isl_assert(tab->mat->ctx, tab->n_sample > tab->n_outside, goto error);
625 sample = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
661 isl_seq_normalize(tab->mat->ctx, hull->eq[j], 1 + tab->n_var);
tools/polly/lib/External/isl/isl_sample.c 155 isl_assert(tab->mat->ctx, bset, return NULL);
159 return isl_mat_alloc(tab->mat->ctx, 0, tab->n_var);
161 return isl_mat_identity(tab->mat->ctx, tab->n_var);
163 eq = isl_mat_alloc(tab->mat->ctx, n_eq, tab->n_var);
201 return isl_mat_identity(tab->mat->ctx, 1 + tab->n_var);
390 return isl_vec_alloc(tab->mat->ctx, 0);
396 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1,
398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1,
401 ctx = tab->mat->ctx;
tools/polly/lib/External/isl/isl_tab.c 43 tab->mat = isl_mat_alloc(ctx, n_row, off + n_var);
44 if (!tab->mat)
102 return tab ? isl_mat_get_ctx(tab->mat) : NULL;
117 con = isl_realloc_array(tab->mat->ctx, tab->con,
124 if (tab->mat->n_row < tab->n_row + n_new) {
127 tab->mat = isl_mat_extend(tab->mat,
127 tab->mat = isl_mat_extend(tab->mat,
129 if (!tab->mat)
131 row_var = isl_realloc_array(tab->mat->ctx, tab->row_var,
132 int, tab->mat->n_row);
138 s = isl_realloc_array(tab->mat->ctx, tab->row_sign,
139 enum isl_tab_row_sign, tab->mat->n_row);
157 var = isl_realloc_array(tab->mat->ctx, tab->var,
165 if (tab->mat->n_col < off + tab->n_col + n_new) {
168 tab->mat = isl_mat_extend(tab->mat,
168 tab->mat = isl_mat_extend(tab->mat,
169 tab->mat->n_row, off + tab->n_col + n_new);
170 if (!tab->mat)
172 p = isl_realloc_array(tab->mat->ctx, tab->col_var,
209 isl_mat_free(tab->mat);
233 dup = isl_calloc_type(tab->mat->ctx, struct isl_tab);
236 dup->mat = isl_mat_dup(tab->mat);
236 dup->mat = isl_mat_dup(tab->mat);
237 if (!dup->mat)
239 dup->var = isl_alloc_array(tab->mat->ctx, struct isl_tab_var, tab->max_var);
244 dup->con = isl_alloc_array(tab->mat->ctx, struct isl_tab_var, tab->max_con);
249 dup->col_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_col - off);
249 dup->col_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_col - off);
250 if ((tab->mat->n_col - off) && !dup->col_var)
254 dup->row_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_row);
254 dup->row_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_row);
255 if (tab->mat->n_row && !dup->row_var)
260 dup->row_sign = isl_alloc_array(tab->mat->ctx, enum isl_tab_row_sign,
261 tab->mat->n_row);
262 if (tab->mat->n_row && !dup->row_sign)
271 dup->sample_index = isl_alloc_array(tab->mat->ctx, int,
444 isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL);
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
446 isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);
447 isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL);
448 isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL);
449 isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL);
450 isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL);
451 isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL);
452 isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL);
459 prod = isl_calloc_type(tab1->mat->ctx, struct isl_tab);
462 prod->mat = tab_mat_product(tab1->mat, tab2->mat,
462 prod->mat = tab_mat_product(tab1->mat, tab2->mat,
462 prod->mat = tab_mat_product(tab1->mat, tab2->mat,
465 if (!prod->mat)
467 prod->var = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var,
481 prod->con = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var,
495 prod->col_var = isl_alloc_array(tab1->mat->ctx, int,
512 prod->row_var = isl_alloc_array(tab1->mat->ctx, int,
513 tab1->mat->n_row + tab2->mat->n_row);
513 tab1->mat->n_row + tab2->mat->n_row);
514 if ((tab1->mat->n_row + tab2->mat->n_row) && !prod->row_var)
514 if ((tab1->mat->n_row + tab2->mat->n_row) && !prod->row_var)
594 if (!isl_int_is_neg(tab->mat->row[i][off + var->index]))
615 if (!isl_int_is_pos(tab->mat->row[i][off + var->index]))
629 isl_int_mul(*t, tab->mat->row[r1][2], tab->mat->row[r2][off+c]);
629 isl_int_mul(*t, tab->mat->row[r1][2], tab->mat->row[r2][off+c]);
630 isl_int_submul(*t, tab->mat->row[r2][2], tab->mat->row[r1][off+c]);
630 isl_int_submul(*t, tab->mat->row[r2][2], tab->mat->row[r1][off+c]);
635 isl_int_mul(*t, tab->mat->row[r1][1], tab->mat->row[r2][off + c]);
635 isl_int_mul(*t, tab->mat->row[r1][1], tab->mat->row[r2][off + c]);
636 isl_int_submul(*t, tab->mat->row[r2][1], tab->mat->row[r1][off + c]);
636 isl_int_submul(*t, tab->mat->row[r2][1], tab->mat->row[r1][off + c]);
674 if (sgn * isl_int_sgn(tab->mat->row[j][off + c]) >= 0)
714 isl_assert(tab->mat->ctx, var->is_row, return);
715 tr = tab->mat->row[var->index] + 2 + tab->M;
750 if (isl_int_is_neg(tab->mat->row[row][1]))
752 if (tab->strict_redundant && isl_int_is_zero(tab->mat->row[row][1]))
754 if (tab->M && isl_int_is_neg(tab->mat->row[row][2]))
758 if (isl_int_is_zero(tab->mat->row[row][off + i]))
762 if (isl_int_is_neg(tab->mat->row[row][off + i]))
780 tab->mat = isl_mat_swap_rows(tab->mat, row1, row2);
780 tab->mat = isl_mat_swap_rows(tab->mat, row1, row2);
809 undo = isl_alloc_type(tab->mat->ctx, struct isl_tab_undo);
849 u.col_var = isl_alloc_array(tab->mat->ctx, int, tab->n_col);
872 tab->samples = isl_mat_alloc(tab->mat->ctx, 1, 1 + tab->n_var);
875 tab->sample_index = isl_alloc_array(tab->mat->ctx, int, 1);
890 int *t = isl_realloc_array(tab->mat->ctx,
960 isl_assert(tab->mat->ctx, row >= tab->n_redundant, return -1);
1047 struct isl_mat *mat = tab->mat;
1131 struct isl_mat *mat = tab->mat;
1215 if (!isl_int_is_zero(tab->mat->row[r][off+var->index]))
1217 isl_assert(tab->mat->ctx, r < tab->n_row, return -1);
1220 isl_assert(tab->mat->ctx, r >= 0, return -1);
1243 isl_assert(tab->mat->ctx,
1244 !isl_int_is_neg(tab->mat->row[i][2]), abort());
1245 if (isl_int_is_pos(tab->mat->row[i][2]))
1248 isl_assert(tab->mat->ctx, !isl_int_is_neg(tab->mat->row[i][1]),
1248 isl_assert(tab->mat->ctx, !isl_int_is_neg(tab->mat->row[i][1]),
1272 while (!isl_int_is_pos(tab->mat->row[var->index][1])) {
1275 return isl_int_sgn(tab->mat->row[var->index][1]);
1292 isl_assert(tab->mat->ctx, !var->is_redundant, return -2);
1293 isl_assert(tab->mat->ctx, !var->is_zero, return -2);
1301 return isl_int_is_neg(tab->mat->row[row][1]);
1302 if (isl_int_is_pos(tab->mat->row[row][2]))
1304 if (isl_int_is_neg(tab->mat->row[row][2]))
1306 return isl_int_is_neg(tab->mat->row[row][1]);
1312 return isl_int_sgn(tab->mat->row[row][1]);
1313 if (!isl_int_is_zero(tab->mat->row[row][2]))
1314 return isl_int_sgn(tab->mat->row[row][2]);
1316 return isl_int_sgn(tab->mat->row[row][1]);
1349 while (isl_int_is_neg(tab->mat->row[var->index][1])) {
1358 return !isl_int_is_neg(tab->mat->row[var->index][1]);
1393 if (isl_int_is_neg(tab->mat->row[var->index][1])) {
1408 while (!isl_int_is_neg(tab->mat->row[var->index][1])) {
1413 return isl_int_sgn(tab->mat->row[var->index][1]);
1435 if (isl_int_is_pos(tab->mat->row[row][2]))
1437 if (isl_int_is_neg(tab->mat->row[row][2]))
1440 return isl_int_is_neg(tab->mat->row[row][1]) &&
1441 isl_int_abs_ge(tab->mat->row[row][1],
1442 tab->mat->row[row][0]);
1522 r = tab->mat->row[var->index];
1544 tab->mat = isl_mat_swap_cols(tab->mat, off + col1, off + col2);
1544 tab->mat = isl_mat_swap_cols(tab->mat, off + col1, off + col2);
1583 if (tab->M && !isl_int_eq(tab->mat->row[row][2],
1584 tab->mat->row[row][0]))
1586 if (isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
1590 return !isl_int_is_divisible_by(tab->mat->row[row][1],
1591 tab->mat->row[row][0]);
1639 struct isl_mat *mat = tab->mat;
1681 isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
1681 isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
1682 isl_assert(tab->mat->ctx, tab->n_con < tab->max_con, return -1);
1766 isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);
1766 isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);
1781 isl_int_set_si(tab->mat->row[i][off + tab->n_col], 0);
1837 row = tab->mat->row[tab->con[r].index];
1846 row[0], tab->mat->row[tab->var[i].index][0]);
1850 row[0], tab->mat->row[tab->var[i].index][0]);
1853 b, tab->mat->row[tab->var[i].index] + 1,
1861 isl_seq_normalize(tab->mat->ctx, row, off + tab->n_col);
1873 isl_assert(tab->mat->ctx, ~tab->row_var[row] == tab->n_con - 1,
1918 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq,
1920 isl_assert(tab->mat->ctx,
1974 while (isl_int_is_pos(tab->mat->row[var->index][1])) {
1976 isl_assert(tab->mat->ctx, row != -1, return -1);
1984 if (!isl_int_is_zero(tab->mat->row[var->index][off + i]))
1987 isl_assert(tab->mat->ctx, i < tab->n_col, return -1);
2014 i = isl_seq_first_non_zero(tab->mat->row[r] + 2 + tab->M + tab->n_dead,
2016 isl_assert(tab->mat->ctx, i >= 0, goto error);
2035 return tab->M && !isl_int_is_zero(tab->mat->row[row][2]);
2042 if (!isl_int_is_zero(tab->mat->row[row][1]))
2046 return isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
2075 if (isl_int_is_neg(tab->mat->row[r][1])) {
2076 isl_seq_neg(tab->mat->row[r] + 1, tab->mat->row[r] + 1,
2076 isl_seq_neg(tab->mat->row[r] + 1, tab->mat->row[r] + 1,
2105 row = tab->mat->row[tab->con[r].index];
2130 isl_assert(tab->mat->ctx, !tab->M, return -1);
2171 sgn = isl_int_sgn(tab->mat->row[row][1]);
2174 isl_seq_neg(tab->mat->row[row] + 1, tab->mat->row[row] + 1,
2174 isl_seq_neg(tab->mat->row[row] + 1, tab->mat->row[row] + 1,
2343 isl_assert(tab->mat->ctx, tab->bmap, return -1);
2539 if (!isl_int_is_divisible_by(tab->mat->row[row][1],
2540 tab->mat->row[row][0]))
2551 vec = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
2562 tab->mat->row[row][1], tab->mat->row[row][0]);
2562 tab->mat->row[row][1], tab->mat->row[row][0]);
2578 vec = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
2592 isl_int_gcd(m, vec->block.data[0], tab->mat->row[row][0]);
2593 isl_int_divexact(m, tab->mat->row[row][0], m);
2595 isl_int_divexact(m, vec->block.data[0], tab->mat->row[row][0]);
2596 isl_int_mul(vec->block.data[1 + i], m, tab->mat->row[row][1]);
2613 isl_int_cdiv_q(*v, tab->mat->row[var->index][1],
2614 tab->mat->row[var->index][0]);
2616 isl_int_fdiv_q(*v, tab->mat->row[var->index][1],
2617 tab->mat->row[var->index][0]);
2718 row = tab->mat->row[tab->n_row];
2721 isl_int_set(row[0], tab->mat->row[var->index][0]);
2723 tab->mat->row[var->index] + 1, 1 + tab->n_col);
2780 isl_die(tab->mat->ctx, isl_error_invalid,
2783 isl_die(tab->mat->ctx, isl_error_invalid,
2794 isl_int_add(tab->mat->row[var->index][1],
2795 tab->mat->row[var->index][1], tab->mat->row[var->index][0]);
2795 tab->mat->row[var->index][1], tab->mat->row[var->index][0]);
2803 if (isl_int_is_zero(tab->mat->row[i][off + var->index]))
2805 isl_int_sub(tab->mat->row[i][1], tab->mat->row[i][1],
2805 isl_int_sub(tab->mat->row[i][1], tab->mat->row[i][1],
2806 tab->mat->row[i][off + var->index]);
2857 isl_int_addmul(tab->mat->row[var->index][1],
2858 shift, tab->mat->row[var->index][0]);
2864 if (isl_int_is_zero(tab->mat->row[i][off + var->index]))
2866 isl_int_submul(tab->mat->row[i][1],
2867 shift, tab->mat->row[i][off + var->index]);
2908 return tab->rational ? isl_int_is_zero(tab->mat->row[row][1])
2909 : isl_int_lt(tab->mat->row[row][1],
2910 tab->mat->row[row][0]);
3033 isl_die(tab->mat->ctx, isl_error_internal,
3221 return isl_int_is_zero(tab->mat->row[row][1]) &&
3223 isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
3269 isl_int_mul(tab->mat->row[var->index][0],
3270 tab->mat->row[var->index][0], denom);
3275 tab->dual = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_con);
3278 isl_int_set(tab->dual->el[0], tab->mat->row[var->index][0]);
3288 tab->mat->row[var->index][pos]);
3291 tab->mat->row[var->index][pos]);
3296 isl_int_set(*opt, tab->mat->row[var->index][1]);
3297 isl_int_set(*opt_denom, tab->mat->row[var->index][0]);
3340 isl_mat *mat = tab->mat;
3374 isl_int_mul(*tmp, tab->mat->row[var->index][0], target);
3376 return isl_int_ge(tab->mat->row[var->index][1], *tmp);
3378 return isl_int_le(tab->mat->row[var->index][1], *tmp);
3612 isl_int_sub(tab->mat->row[var->index][1],
3613 tab->mat->row[var->index][1], tab->mat->row[var->index][0]);
3613 tab->mat->row[var->index][1], tab->mat->row[var->index][0]);
3616 isl_assert(tab->mat->ctx, sgn >= 0,
3623 if (isl_int_is_zero(tab->mat->row[i][off + var->index]))
3625 isl_int_add(tab->mat->row[i][1], tab->mat->row[i][1],
3625 isl_int_add(tab->mat->row[i][1], tab->mat->row[i][1],
3626 tab->mat->row[i][off + var->index]);
3697 isl_assert(tab->mat->ctx, !var->is_row,
3718 isl_die(tab->mat->ctx, isl_error_internal,
3793 extra = isl_alloc_array(tab->mat->ctx, int, tab->n_col);
3816 if (!isl_int_is_zero(tab->mat->row[row][off+extra[j]]))
3818 isl_assert(tab->mat->ctx, j < n_extra, goto error);
3891 isl_assert(tab->mat->ctx, 0, return isl_stat_error);
3944 if (!isl_int_is_one(tab->mat->row[row][0]))
3947 pos = isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
3950 if (isl_int_is_negone(tab->mat->row[row][1]))
3956 if (!isl_int_eq(tab->mat->row[row][1],
3957 tab->mat->row[row][off + tab->n_dead + pos]))
3961 tab->mat->row[row] + off + tab->n_dead + pos + 1,
3997 else if (isl_int_is_neg(tab->mat->row[row][1]) &&
3999 isl_int_abs_ge(tab->mat->row[row][1],
4000 tab->mat->row[row][0]))) {
4039 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, goto error);
4040 isl_assert(tab->mat->ctx,
4130 r = tab->mat->n_row;
4131 tab->mat->n_row = tab->n_row;
4132 c = tab->mat->n_col;
4133 tab->mat->n_col = 2 + tab->M + tab->n_col;
4134 isl_mat_print_internal(tab->mat, out, indent);
4135 tab->mat->n_row = r;
4136 tab->mat->n_col = c;
tools/polly/lib/External/isl/isl_tab_pip.c 687 mat = isl_mat_alloc(tab->mat->ctx, 1 + sol->n_out,
710 isl_int_ne(tab->mat->row[r][2], tab->mat->row[r][0]))
710 isl_int_ne(tab->mat->row[r][2], tab->mat->row[r][0]))
713 isl_int_gcd(m, mat->row[0][0], tab->mat->row[r][0]);
714 isl_int_divexact(m, tab->mat->row[r][0], m);
716 isl_int_divexact(m, mat->row[0][0], tab->mat->row[r][0]);
717 isl_int_mul(mat->row[1 + row][0], m, tab->mat->row[r][1]);
724 tab->mat->row[r][off + col]);
732 tab->mat->row[r][off + col]);
837 isl_int_set(line[0], tab->mat->row[row][1]);
843 isl_int_set(line[1 + i], tab->mat->row[row][off + col]);
852 tab->mat->row[row][off + col]);
868 if (isl_int_ne(tab->mat->row[row1][1], tab->mat->row[row2][1]))
868 if (isl_int_ne(tab->mat->row[row1][1], tab->mat->row[row2][1]))
871 if (tab->M && isl_int_ne(tab->mat->row[row1][2],
872 tab->mat->row[row2][2]))
883 if (isl_int_ne(tab->mat->row[row1][off + col],
884 tab->mat->row[row2][off + col]))
899 ineq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_param + tab->n_div);
949 div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div);
953 isl_int_set(div->el[0], tab->mat->row[row][0]);
977 div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div);
981 isl_int_set(div->el[0], tab->mat->row[row][0]);
1036 isl_seq_fdiv_q(tab->mat->row[row] + 1, tab->mat->row[row] + 1,
1036 isl_seq_fdiv_q(tab->mat->row[row] + 1, tab->mat->row[row] + 1,
1037 tab->mat->row[row][0], 1 + tab->M + tab->n_col);
1039 isl_int_set_si(tab->mat->row[row][0], 1);
1044 isl_assert(tab->mat->ctx,
1045 isl_int_is_one(tab->mat->row[drow][0]), goto error);
1046 isl_seq_combine(tab->mat->row[row] + 1,
1047 tab->mat->ctx->one, tab->mat->row[row] + 1,
1047 tab->mat->ctx->one, tab->mat->row[row] + 1,
1048 tab->mat->ctx->one, tab->mat->row[drow] + 1,
1048 tab->mat->ctx->one, tab->mat->row[drow] + 1,
1053 isl_int_add_ui(tab->mat->row[row][2 + tab->M + dcol],
1054 tab->mat->row[row][2 + tab->M + dcol], 1);
1078 if (isl_int_is_pos(tab->mat->row[row][2]))
1080 if (isl_int_is_neg(tab->mat->row[row][2]))
1084 if (isl_int_is_nonneg(tab->mat->row[row][1]))
1091 if (isl_int_is_zero(tab->mat->row[row][off + col]))
1095 if (isl_int_is_pos(tab->mat->row[row][off + col]))
1102 if (isl_int_is_zero(tab->mat->row[row][off + col]))
1106 if (isl_int_is_pos(tab->mat->row[row][off + col]))
1127 if (isl_int_is_pos(tab->mat->row[row][2]))
1129 if (isl_int_is_neg(tab->mat->row[row][2]))
1133 if (isl_int_is_neg(tab->mat->row[row][1]))
1140 if (isl_int_is_zero(tab->mat->row[row][off + col]))
1144 if (isl_int_is_neg(tab->mat->row[row][off + col]))
1151 if (isl_int_is_zero(tab->mat->row[row][off + col]))
1155 if (isl_int_is_neg(tab->mat->row[row][off + col]))
1183 tr = tab->mat->row[row] + 2 + tab->M;
1200 r = tab->mat->row[tab->var[i].index] + 2 + tab->M;
1264 tr = tab->mat->row[row] + 2 + tab->M;
1279 isl_assert(tab->mat->ctx, col >= 0, goto error);
1304 if (!isl_int_is_neg(tab->mat->row[row][2]))
1349 if (isl_int_is_zero(tab->mat->row[row][off + col]))
1351 if (isl_int_is_pos(tab->mat->row[row][off + col]))
1386 tr = tab->mat->row[row] + 2 + tab->M;
1468 if (!isl_int_is_zero(tab->mat->row[row][off + col]))
1472 if (isl_int_is_one(tab->mat->row[row][off + i]))
1474 if (isl_int_is_negone(tab->mat->row[row][off + i]))
1533 return isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
1548 if (isl_int_is_zero(tab->mat->row[row][off + col]))
1587 if (!isl_int_is_zero(tab->mat->row[row][1]) ||
1588 (tab->M && !isl_int_is_zero(tab->mat->row[row][2]))) {
1697 if (!isl_int_is_divisible_by(tab->mat->row[row][off + col],
1698 tab->mat->row[row][0]))
1705 if (!isl_int_is_divisible_by(tab->mat->row[row][off + col],
1706 tab->mat->row[row][0]))
1722 if (!isl_int_is_divisible_by(tab->mat->row[row][off + i],
1723 tab->mat->row[row][0]))
1733 return isl_int_is_divisible_by(tab->mat->row[row][1],
1734 tab->mat->row[row][0]);
1828 r_row = tab->mat->row[tab->con[r].index];
1829 isl_int_set(r_row[0], tab->mat->row[row][0]);
1830 isl_int_neg(r_row[1], tab->mat->row[row][1]);
1831 isl_int_fdiv_r(r_row[1], r_row[1], tab->mat->row[row][0]);
1837 tab->mat->row[row][off + i], tab->mat->row[row][0]);
1837 tab->mat->row[row][off + i], tab->mat->row[row][0]);
1915 isl_assert(tab->mat->ctx, tab->bmap, goto error);
1916 isl_assert(tab->mat->ctx, tab->samples, goto error);
1917 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
1956 if (isl_int_ne(tab->mat->row[row][0], tab->mat->row[row][2]))
1956 if (isl_int_ne(tab->mat->row[row][0], tab->mat->row[row][2]))
2014 isl_assert(tab->mat->ctx, tab->bmap, return -1);
2015 isl_assert(tab->mat->ctx, tab->samples, return -1);
2016 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1);
2203 r_row = tab->mat->row[tab->con[r].index];
2204 isl_int_set(r_row[0], tab->mat->row[row][0]);
2205 isl_int_neg(r_row[1], tab->mat->row[row][1]);
2206 isl_int_fdiv_r(r_row[1], r_row[1], tab->mat->row[row][0]);
2214 isl_int_neg(r_row[off + col], tab->mat->row[row][off + col]);
2216 tab->mat->row[row][0]);
2223 isl_int_neg(r_row[off + col], tab->mat->row[row][off + col]);
2225 tab->mat->row[row][0]);
2234 tab->mat->row[row][off + i], tab->mat->row[row][0]);
2234 tab->mat->row[row][off + i], tab->mat->row[row][0]);
2240 isl_int_gcd(gcd, tab->mat->row[d_row][0], r_row[0]);
2242 isl_int_divexact(gcd, tab->mat->row[d_row][0], gcd);
2244 r_row[0], tab->mat->row[d_row] + 1,
2246 isl_int_mul(r_row[0], r_row[0], tab->mat->row[d_row][0]);
2250 isl_int_set(r_row[off + col], tab->mat->row[row][0]);
2297 enum isl_tab_row_sign, tab->mat->n_row);
2298 if (tab->mat->n_row && !tab->row_sign)
2522 isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown);
2523 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var,
2697 ineq = isl_vec_alloc(tab->mat->ctx, 1 + context_tab->n_var);
2727 context_tab->mat = isl_mat_drop_cols(context_tab->mat, 2, 1);
2727 context_tab->mat = isl_mat_drop_cols(context_tab->mat, 2, 1);
2895 cst = isl_vec_alloc(cgbr->tab->mat->ctx, bset->n_ineq);
2930 return isl_vec_alloc(cgbr->tab->mat->ctx, 0);
3307 eq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
3331 j = last_non_zero_var_col(tab, tab->mat->row[r] + 2 + tab->M);
3333 !isl_int_is_one(tab->mat->row[r][0]) ||
3334 (!isl_int_is_one(tab->mat->row[r][2 + tab->M + j]) &&
3335 !isl_int_is_negone(tab->mat->row[r][2 + tab->M + j]))) {
3467 snap = isl_alloc_type(cgbr->tab->mat->ctx, struct isl_gbr_tab_undo);
3715 if (isl_int_is_pos(tab->mat->row[row][off + j]))
4228 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div);
4232 isl_int_neg(eq->el[1 + p], tab->mat->row[row][0]);
4966 isl_int_divexact(v->el[i], tab->mat->row[row][1],
4967 tab->mat->row[row][0]);
tools/polly/lib/External/isl/isl_vertices.c 133 v = isl_calloc_type(tab->mat->ctx, struct isl_vertex_list);
622 c = isl_calloc_type(tab->mat->ctx, struct isl_chamber_list);
625 c->c.vertices = isl_alloc_array(tab->mat->ctx, int, n_vertices);
697 todo = isl_calloc_type(tab->mat->ctx, struct isl_facet_todo);
701 todo->constraint = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);