|
|
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 536 r = isl_reordering_extend(r, aff->ls->div->n_row);
538 aff->ls->div->n_row);
1314 if (!isl_int_is_one(aff->ls->div->row[i][0]))
1318 aff->ls->div->row[i], len, i + 1, n - (i + 1));
1327 isl_seq_substitute(vec->el, pos, aff->ls->div->row[i],
1376 if (!isl_int_is_one(aff->ls->div->row[i][1 + off + j]))
1379 isl_dim_div, j, aff->ls->div->row[j],
1462 int cmp = isl_mat_cmp_div(aff->ls->div, j, j + 1);
1781 div = isl_merge_divs(aff1->ls->div, aff2->ls->div, exp1, exp2);
1781 div = isl_merge_divs(aff1->ls->div, aff2->ls->div, exp1, exp2);
5668 div = isl_merge_divs(src->ls->div, dst->ls->div, exp1, exp2);
5668 div = isl_merge_divs(src->ls->div, dst->ls->div, exp1, exp2);
tools/polly/lib/External/isl/isl_ilp.c 408 div = isl_merge_divs(bset_div, obj->ls->div, exp1, exp2);
tools/polly/lib/External/isl/isl_local_space.c 42 div_hash = isl_mat_get_hash(ls->div);
64 ls->div = div;
111 isl_mat_copy(ls->div));
136 isl_mat_free(ls->div);
211 return isl_mat_is_equal(ls1->div, ls2->div);
211 return isl_mat_is_equal(ls1->div, ls2->div);
235 return isl_local_cmp(ls1->div, ls2->div);
235 return isl_local_cmp(ls1->div, ls2->div);
244 return ls->div->n_row;
246 return isl_space_dim(ls->dim, isl_dim_all) + ls->div->n_row;
320 isl_seq_cpy(aff->v->el, ls->div->row[pos], aff->v->size);
369 if (pos < 0 || pos >= ls->div->n_row)
462 return ls ? ls->div : NULL;
556 ls->div = isl_local_reorder(ls->div, isl_reordering_copy(r));
556 ls->div = isl_local_reorder(ls->div, isl_reordering_copy(r));
557 if (!ls->div)
577 if (ls->div->n_col != div->size)
581 ls->div = isl_mat_add_zero_cols(ls->div, 1);
581 ls->div = isl_mat_add_zero_cols(ls->div, 1);
582 ls->div = isl_mat_add_rows(ls->div, 1);
582 ls->div = isl_mat_add_rows(ls->div, 1);
583 if (!ls->div)
586 isl_seq_cpy(ls->div->row[ls->div->n_row - 1], div->el, div->size);
586 isl_seq_cpy(ls->div->row[ls->div->n_row - 1], div->el, div->size);
587 isl_int_set_si(ls->div->row[ls->div->n_row - 1][div->size], 0);
587 isl_int_set_si(ls->div->row[ls->div->n_row - 1][div->size], 0);
605 isl_mat_free(ls->div);
606 ls->div = div;
781 if (a < 0 || a >= ls->div->n_row || b < 0 || b >= ls->div->n_row)
781 if (a < 0 || a >= ls->div->n_row || b < 0 || b >= ls->div->n_row)
784 offset = ls->div->n_col - ls->div->n_row;
784 offset = ls->div->n_col - ls->div->n_row;
785 ls->div = isl_mat_swap_cols(ls->div, offset + a, offset + b);
785 ls->div = isl_mat_swap_cols(ls->div, offset + a, offset + b);
786 ls->div = isl_mat_swap_rows(ls->div, a, b);
786 ls->div = isl_mat_swap_rows(ls->div, a, b);
787 if (!ls->div)
812 if (ls2->div->n_row == 0) {
817 if (ls1->div->n_row == 0) {
822 exp1 = isl_alloc_array(ctx, int, ls1->div->n_row);
823 exp2 = isl_alloc_array(ctx, int, ls2->div->n_row);
827 div = isl_merge_divs(ls1->div, ls2->div, exp1, exp2);
827 div = isl_merge_divs(ls1->div, ls2->div, exp1, exp2);
831 equal = isl_mat_is_equal(ls1->div, div);
842 isl_mat_free(ls1->div);
843 ls1->div = div;
867 return isl_local_div_is_marked_unknown(ls->div, div);
876 return isl_local_div_is_known(ls->div, div);
885 return isl_local_divs_known(ls->div);
947 isl_ctx *ctx = ls->div->ctx;
948 unsigned total = ls->div->n_col - 2;
950 isl_seq_gcd(ls->div->row[div] + 2, total, &ctx->normalize_gcd);
952 ctx->normalize_gcd, ls->div->row[div][0]);
956 isl_seq_scale_down(ls->div->row[div] + 2, ls->div->row[div] + 2,
956 isl_seq_scale_down(ls->div->row[div] + 2, ls->div->row[div] + 2,
958 isl_int_divexact(ls->div->row[div][0], ls->div->row[div][0],
958 isl_int_divexact(ls->div->row[div][0], ls->div->row[div][0],
960 isl_int_fdiv_q(ls->div->row[div][1], ls->div->row[div][1],
960 isl_int_fdiv_q(ls->div->row[div][1], ls->div->row[div][1],
990 for (k = 0; k < ls->div->n_row; ++k) {
991 if (isl_int_is_zero(ls->div->row[k][1 + j]))
996 ls->div = isl_mat_cow(ls->div);
996 ls->div = isl_mat_cow(ls->div);
997 if (!ls->div)
999 isl_seq_elim(ls->div->row[k] + 1, eq->eq[i], j, total,
1000 &ls->div->row[k][0]);
1042 ls->div = isl_mat_cow(ls->div);
1042 ls->div = isl_mat_cow(ls->div);
1043 if (!ls->div)
1046 if (first + n > ls->div->n_row)
1054 if (isl_int_is_zero(ls->div->row[i][1 + pos]))
1056 isl_seq_substitute(ls->div->row[i], pos, subs,
1057 ls->div->n_col, subs_len, v);
1097 subs->v->size, 0, ls->div->n_row);
1129 ls->div = isl_mat_drop_rows(ls->div, first, n);
1129 ls->div = isl_mat_drop_rows(ls->div, first, n);
1137 ls->div = isl_mat_drop_cols(ls->div, first, n);
1137 ls->div = isl_mat_drop_cols(ls->div, first, n);
1138 if (!ls->div)
1165 ls->div = isl_mat_insert_zero_rows(ls->div, first, n);
1165 ls->div = isl_mat_insert_zero_rows(ls->div, first, n);
1173 ls->div = isl_mat_insert_zero_cols(ls->div, first, n);
1173 ls->div = isl_mat_insert_zero_cols(ls->div, first, n);
1174 if (!ls->div)
1205 if (isl_int_eq(constraint[pos], ls->div->row[div][0])) {
1208 ls->div->row[div] + 2, pos - 1))
1210 } else if (isl_int_abs_eq(constraint[pos], ls->div->row[div][0])) {
1212 if (!isl_seq_eq(constraint + 1, ls->div->row[div] + 2, pos - 1))
1218 ls->div->n_row - div - 1) != -1)
1247 isl_int_sub(ls->div->row[div][1],
1248 ls->div->row[div][1], ls->div->row[div][0]);
1248 ls->div->row[div][1], ls->div->row[div][0]);
1249 isl_int_add_ui(ls->div->row[div][1], ls->div->row[div][1], 1);
1249 isl_int_add_ui(ls->div->row[div][1], ls->div->row[div][1], 1);
1250 neg = isl_seq_is_neg(constraint, ls->div->row[div] + 1, 1);
1251 isl_int_sub_ui(ls->div->row[div][1], ls->div->row[div][1], 1);
1251 isl_int_sub_ui(ls->div->row[div][1], ls->div->row[div][1], 1);
1252 isl_int_add(ls->div->row[div][1],
1253 ls->div->row[div][1], ls->div->row[div][0]);
1253 ls->div->row[div][1], ls->div->row[div][0]);
1257 if (!isl_int_eq(constraint[0], ls->div->row[div][1]))
1314 for (i = ls->div->n_row - 1; i >= 0; --i) {
1318 active[j] |= !isl_int_is_zero(ls->div->row[i][2 + j]);
1336 ls->dim = isl_space_lift(ls->dim, ls->div->n_row);
1337 ls->div = isl_mat_drop_rows(ls->div, 0, ls->div->n_row);
1337 ls->div = isl_mat_drop_rows(ls->div, 0, ls->div->n_row);
1337 ls->div = isl_mat_drop_rows(ls->div, 0, ls->div->n_row);
1338 if (!ls->dim || !ls->div)
1414 isl_mat_free(res->div);
1415 res->div = isl_mat_copy(ma->u.p[0]->ls->div);
1415 res->div = isl_mat_copy(ma->u.p[0]->ls->div);
1416 res->div = isl_mat_add_zero_cols(res->div, n_div_ls);
1416 res->div = isl_mat_add_zero_cols(res->div, n_div_ls);
1417 res->div = isl_mat_add_rows(res->div, n_div_ls);
1417 res->div = isl_mat_add_rows(res->div, n_div_ls);
1418 if (!res->div)
1427 for (i = 0; i < ls->div->n_row; ++i) {
1428 if (isl_int_is_zero(ls->div->row[i][0])) {
1429 isl_int_set_si(res->div->row[n_div_ma + i][0], 0);
1432 isl_seq_preimage(res->div->row[n_div_ma + i], ls->div->row[i],
1432 isl_seq_preimage(res->div->row[n_div_ma + i], ls->div->row[i],
1501 ls->div = isl_mat_move_cols(ls->div, g_dst_pos, g_src_pos, n);
1501 ls->div = isl_mat_move_cols(ls->div, g_dst_pos, g_src_pos, n);
1502 if (!ls->div)
tools/polly/lib/External/isl/isl_lp.c 286 div = isl_merge_divs(bset_div, obj->ls->div, exp1, exp2);
tools/polly/lib/External/isl/isl_map.c 478 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
478 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
7361 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
7361 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
7362 isl_seq_clr(bmap->div[i] + ls->div->n_col, old_n_div);
12780 isl_seq_cpy(bmap->div[i], ls->div->row[i], 1 + 1 + n_param);
12786 ls->div->row[i] + o_ls, n_set);
12792 ls->div->row[i] + o_ls, n_div);
tools/polly/lib/External/isl/isl_output.c 2508 exists = need_exists(p, ls->div);
2512 p = open_exists(p, space, ls->div, 0);
2513 p = print_affine_of_len(space, ls->div, p, c->v->el, c->v->size);
2584 p = print_div_list(p, ls->dim, ls->div, 0, 1);
2608 p = print_affine_of_len(space, aff->ls->div, p,
2707 p = print_ls_affine_c(p, ls, ls->div->row[pos] + 1);
2709 p = isl_printer_print_isl_int(p, ls->div->row[pos][0]);
tools/polly/lib/External/isl/isl_polynomial.c 3364 aff->ls->div->n_row, up);
3369 qp->div = isl_mat_copy(aff->ls->div);