|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/isl_affine_hull.c 1015 isl_int_set_si(bmap->div[div][0], 0);
1081 if (isl_int_is_zero(bmap->div[n_known][0]))
tools/polly/lib/External/isl/isl_coalesce.c 518 if (isl_seq_eq(info[i].bmap->div[k], info[j].bmap->div[k],
518 if (isl_seq_eq(info[i].bmap->div[k], info[j].bmap->div[k],
520 isl_seq_cpy(fused->div[l], info[i].bmap->div[k],
520 isl_seq_cpy(fused->div[l], info[i].bmap->div[k],
523 isl_int_set_si(fused->div[l][0], 0);
1067 if (!isl_seq_eq(info[i].bmap->div[l],
1068 info[j].bmap->div[l], 1 + 1 + total)) {
1069 isl_int_set_si(info[i].bmap->div[l][0], 0);
2593 if (isl_int_ne(info1->bmap->div[i][0], info2->bmap->div[i][0]))
2593 if (isl_int_ne(info1->bmap->div[i][0], info2->bmap->div[i][0]))
2595 if (isl_seq_eq(info1->bmap->div[i] + 1,
2596 info2->bmap->div[i] + 1, 1 + total))
2706 if (!isl_seq_eq(bmap1->div[i], bmap2->div[i], 2 + total))
2706 if (!isl_seq_eq(bmap1->div[i], bmap2->div[i], 2 + total))
3308 if (isl_seq_first_non_zero(bmap->div[i] + 2 + total,
tools/polly/lib/External/isl/isl_dim_map.c 161 copy_div_dim_map(dst->div[i1], src->div[i], dim_map);
161 copy_div_dim_map(dst->div[i1], src->div[i], dim_map);
tools/polly/lib/External/isl/isl_farkas.c 243 isl_int_set_si(dual->div[k][0], 0);
tools/polly/lib/External/isl/isl_ilp.c 366 isl_seq_cpy(div->row[i], bset->div[i], div->n_col);
tools/polly/lib/External/isl/isl_input.c 2047 isl_seq_clr(bmap->div[k], 1 + 1 + nparam + in + out + local);
tools/polly/lib/External/isl/isl_local_space.c 675 return cmp_row(bmap->div[i], bmap->div[j], i, j, bmap->n_div, total);
675 return cmp_row(bmap->div[i], bmap->div[j], i, j, bmap->n_div, total);
tools/polly/lib/External/isl/isl_map.c 397 isl_seq_cpy(div->row[i], bmap->div[i], cols);
450 if (isl_int_is_zero(bmap->div[i][0]))
478 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
1127 bmap->div = NULL;
1133 bmap->div = isl_alloc_array(ctx, isl_int *, extra);
1134 if (!bmap->div)
1142 bmap->div[i] = bmap->block2.data + i * (1 + row_size);
1240 isl_seq_cpy(dst->div[j], src->div[i], 1+1+total);
1240 isl_seq_cpy(dst->div[j], src->div[i], 1+1+total);
1323 free(bmap->div);
1632 isl_seq_clr(bmap->div[bmap->n_div] +
1688 isl_seq_cpy(bmap->div[k], div->el, div->size);
1689 isl_int_set_si(bmap->div[k][div->size], 0);
1790 copy_div(bmap1, bmap1->div[i1], bmap2, bmap2->div[i],
1790 copy_div(bmap1, bmap1->div[i1], bmap2, bmap2->div[i],
2019 bmap->div[i]+1 + pos, n1, n2);
2136 isl_int *t = bmap->div[a];
2137 bmap->div[a] = bmap->div[b];
2137 bmap->div[a] = bmap->div[b];
2138 bmap->div[b] = t;
2158 isl_int_swap(bmap->div[i][1+1+off+a], bmap->div[i][1+1+off+b]);
2158 isl_int_swap(bmap->div[i][1+1+off+a], bmap->div[i][1+1+off+b]);
2204 div[i] = bmap->div[first + i];
2206 bmap->div[first + i] = bmap->div[first + n + i];
2206 bmap->div[first + i] = bmap->div[first + n + i];
2208 bmap->div[bmap->n_div - n + i] = div[i];
2268 constraint_drop_vars(bmap->div[i]+1+offset, n, left);
2371 constraint_drop_vars(bmap->div[i]+1+pos, 1, bmap->extra-div-1);
2375 isl_int *t = bmap->div[div];
2378 bmap->div[j] = bmap->div[j+1];
2378 bmap->div[j] = bmap->div[j+1];
2380 bmap->div[bmap->n_div - 1] = t;
2517 if (isl_int_is_zero(bmap->div[div][0]))
2519 if (isl_seq_first_non_zero(bmap->div[div] + 1 + first, n) >= 0)
2525 if (isl_int_is_zero(bmap->div[div][1 + div_offset + i]))
2592 bmap->div[div][1 + 1 + j]);
2593 lb = isl_int_is_divisible_by(v, bmap->div[div][0]);
2597 bmap->div[div][1 + 1 + j]);
2598 ub = isl_int_is_divisible_by(v, bmap->div[div][0]);
2612 bmap->div[div][1 + j]);
2614 bmap->ineq[k][j], bmap->div[div][0]);
2624 bmap->div[div][1 + j]);
2626 bmap->ineq[k][j], bmap->div[div][0]);
2694 if (isl_int_is_zero(bmap->div[div][0]))
2820 if (isl_int_is_zero(bmap->div[i][0]))
2822 if (isl_seq_first_non_zero(bmap->div[i] + 1 + first, n) >= 0)
3077 if (isl_int_is_zero(bmap->div[div][1 + div_offset + i]))
3303 dump_affine(bmap, bmap->div[i]+1, out);
3305 isl_int_print(out, bmap->div[i][0], 0);
4265 new_div[n + i] = bmap->block2.data + (bmap->div[i] - old);
4266 free(bmap->div);
4267 bmap->div = new_div;
4475 isl_seq_clr(bmap->div[j], 1+1+isl_basic_map_total_dim(bmap));
4696 isl_int_neg(bmap->div[i][1+off+j], bmap->div[i][1+off+j]);
4696 isl_int_neg(bmap->div[i][1+off+j], bmap->div[i][1+off+j]);
5284 bmap->div[div]);
5338 return add_upper_div_constraint(bmap, div_pos, bmap->div[div]);
5340 return add_lower_div_constraint(bmap, div_pos, bmap->div[div]);
5439 div = isl_realloc_array(ctx, bmap->div, isl_int *, bmap->extra);
5442 bmap->div = div;
5444 bmap->div[i] = bmap->block2.data + i * (1 + 1 + total);
5446 isl_seq_cpy(bmap->div[i], like->div[i], 1 + 1 + ltotal);
5446 isl_seq_cpy(bmap->div[i], like->div[i], 1 + 1 + ltotal);
5447 isl_seq_clr(bmap->div[i]+1+1+ltotal, total - ltotal);
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);
7517 isl_int_set_si(bmap->div[div][0], 0);
7533 return isl_int_is_zero(bmap->div[div][0]);
8829 if (isl_int_is_zero(bmap->div[i][0]))
8831 pos = isl_seq_first_non_zero(bmap->div[i]+1+1+off+i,
8920 isl_seq_cpy(bmap->div[i], div->row[i], div->n_col);
8961 if (isl_seq_eq(dst->div[i], src->div[div], 1+1+total+div) &&
8961 if (isl_seq_eq(dst->div[i], src->div[div], 1+1+total+div) &&
8962 isl_seq_first_non_zero(dst->div[i]+1+1+total+div,
9016 isl_seq_cpy(dst->div[j], src->div[i], 1+1+total+i);
9016 isl_seq_cpy(dst->div[j], src->div[i], 1+1+total+i);
9017 isl_seq_clr(dst->div[j]+1+1+total+i, dst->n_div - i);
9637 cmp = isl_seq_cmp(bmap1->div[i], bmap2->div[i], 1+1+total);
9637 cmp = isl_seq_cmp(bmap1->div[i], bmap2->div[i], 1+1+total);
10457 if (isl_int_is_zero(bmap->div[i][0]))
10460 c_hash = isl_seq_get_hash(bmap->div[i], 1 + 1 + total);
10672 if (isl_int_is_zero(bmap->div[i][0]))
10674 if (!isl_int_is_zero(bmap->div[i][1 + pos]))
10906 if (isl_int_is_zero(bmap->div[div][0]))
10912 if (isl_seq_first_non_zero(bmap->div[div] + 1 + o_out, n_out) != -1)
10921 if (isl_int_is_zero(bmap->div[div][1 + o_div + i]))
12026 isl_int_set_si(bmap->div[k][0], 0);
12677 if (isl_int_is_zero(bset->div[i][1 + pos]))
12679 isl_int_set(v, bset->div[i][1 + pos]);
12680 isl_int_set_si(bset->div[i][1 + pos], 0);
12681 isl_seq_combine(bset->div[i] + 1,
12682 subs->v->el[0], bset->div[i] + 1,
12684 isl_int_mul(bset->div[i][0], bset->div[i][0], subs->v->el[0]);
12684 isl_int_mul(bset->div[i][0], bset->div[i][0], subs->v->el[0]);
12780 isl_seq_cpy(bmap->div[i], ls->div->row[i], 1 + 1 + n_param);
12783 isl_seq_clr(bmap->div[i] + o_bmap, n_before);
12785 isl_seq_cpy(bmap->div[i] + o_bmap,
12789 isl_seq_clr(bmap->div[i] + o_bmap, n_after);
12791 isl_seq_cpy(bmap->div[i] + o_bmap,
12795 isl_seq_clr(bmap->div[i] + o_bmap, bmap->n_div - n_div);
12863 isl_int_set_si(bmap->div[div][0], 0);
13019 if (isl_int_is_zero(bmap->div[i][0])) {
13020 isl_int_set_si(res->div[n_div_ma + i][0], 0);
13023 isl_seq_preimage(res->div[n_div_ma + i], bmap->div[i], ma,
13023 isl_seq_preimage(res->div[n_div_ma + i], bmap->div[i], ma,
13446 return isl_seq_eq(bmap1->div[pos1] + first,
13447 bmap2->div[pos2] + first, n);
13490 isl_int_set_si(bmap->div[div][1], value);
13592 if (isl_mat_sub_transform(bmap->div, bmap->n_div, 1 + pos,
tools/polly/lib/External/isl/isl_map_simplify.c 135 isl_int_fdiv_r(shift, bmap->div[div][1 + pos], bmap->div[div][0]);
135 isl_int_fdiv_r(shift, bmap->div[div][1 + pos], bmap->div[div][0]);
137 add_one = isl_int_gt(shift, bmap->div[div][0]);
138 isl_int_fdiv_q(shift, bmap->div[div][1 + pos], bmap->div[div][0]);
138 isl_int_fdiv_q(shift, bmap->div[div][1 + pos], bmap->div[div][0]);
159 if (isl_int_is_zero(bmap->div[div][1 + pos]))
162 isl_int_mul_ui(bmap->div[div][1 + pos], bmap->div[div][1 + pos], 2);
162 isl_int_mul_ui(bmap->div[div][1 + pos], bmap->div[div][1 + pos], 2);
163 r = isl_int_abs_ge(bmap->div[div][1 + pos], bmap->div[div][0]) &&
163 r = isl_int_abs_ge(bmap->div[div][1 + pos], bmap->div[div][0]) &&
164 !isl_int_eq(bmap->div[div][1 + pos], bmap->div[div][0]);
164 !isl_int_eq(bmap->div[div][1 + pos], bmap->div[div][0]);
165 isl_int_divexact_ui(bmap->div[div][1 + pos],
166 bmap->div[div][1 + pos], 2);
214 if (isl_int_is_zero(bmap->div[i][0]))
242 if (isl_int_is_zero(bmap->div[div][0]))
244 isl_seq_gcd(bmap->div[div] + 2, total, &ctx->normalize_gcd);
245 isl_int_gcd(ctx->normalize_gcd, ctx->normalize_gcd, bmap->div[div][0]);
248 isl_int_fdiv_q(bmap->div[div][1], bmap->div[div][1],
248 isl_int_fdiv_q(bmap->div[div][1], bmap->div[div][1],
250 isl_int_divexact(bmap->div[div][0], bmap->div[div][0],
250 isl_int_divexact(bmap->div[div][0], bmap->div[div][0],
252 isl_seq_scale_down(bmap->div[div] + 2, bmap->div[div] + 2,
252 isl_seq_scale_down(bmap->div[div] + 2, bmap->div[div] + 2,
320 if (isl_int_is_zero(bmap->div[k][0]))
322 if (isl_int_is_zero(bmap->div[k][1+1+pos]))
334 isl_seq_elim(bmap->div[k]+1, eq,
335 1+pos, 1+total, &bmap->div[k][0]);
338 isl_seq_clr(bmap->div[k], 1 + total);
373 if (isl_int_is_zero(bmap->div[k][0]))
375 if (!isl_int_is_zero(bmap->div[k][1 + 1 + pos]))
523 if (!isl_int_is_zero(bmap->div[div][0]))
534 isl_seq_neg(bmap->div[div] + 1, bmap->eq[eq], 1 + total);
535 isl_int_set_si(bmap->div[div][1 + o_div + div], 0);
536 isl_int_set(bmap->div[div][0], bmap->eq[eq][o_div + div]);
766 if (!isl_int_is_zero(bmap->div[k][0]))
784 index[isl_seq_get_hash_bits(bmap->div[k], 2+total, bits)] = k + 1;
788 if (isl_int_is_zero(bmap->div[k][0]))
791 hash = isl_seq_get_hash_bits(bmap->div[k], 2+total, bits);
793 if (isl_seq_eq(bmap->div[k],
794 bmap->div[index[h]-1], 2+total))
1000 isl_seq_clr(bmap->div[k] + 1, 1 + total + bmap->n_div);
1001 isl_int_set(bmap->div[k][0], T->row[i][i]);
1003 isl_seq_cpy(bmap->div[k] + 1, C2->row[i], 1 + total);
1005 isl_int_set_si(bmap->div[k][1 + i], 1);
1010 isl_seq_submul(bmap->div[k] + 1, T->row[i][j],
1013 isl_int_neg(bmap->div[k][1 + pos[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]);
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]);
1045 isl_int_add(bmap->div[div][1], bmap->div[div][1], bmap->div[div][0]);
1045 isl_int_add(bmap->div[div][1], bmap->div[div][1], bmap->div[div][0]);
1045 isl_int_add(bmap->div[div][1], bmap->div[div][1], bmap->div[div][0]);
1046 isl_int_sub_ui(bmap->div[div][1], bmap->div[div][1], 1);
1046 isl_int_sub_ui(bmap->div[div][1], bmap->div[div][1], 1);
1047 isl_int_set_si(bmap->div[div][1 + total + div], 0);
1070 if (isl_int_is_zero(bmap->div[j][0]))
1078 if (isl_int_is_zero(bmap->div[j][0]))
1080 if (!isl_int_is_zero(bmap->div[j][1 + total + div]))
1102 if (isl_int_is_zero(bmap->div[div][0]))
1110 last_div = isl_seq_last_non_zero(bmap->div[div] + 1,
1298 if (isl_int_is_zero(bmap->div[i][0]))
1300 if (isl_int_is_one(bmap->div[i][0]))
1315 ctx->negone, bmap->div[i] + 1,
1316 bmap->div[i][0], bmap->ineq[j],
1320 ctx->one, bmap->div[i] + 1,
1321 bmap->div[i][0], bmap->ineq[j],
1325 bmap->ineq[j][0], bmap->div[i][0]);
1387 if (isl_int_eq(constraint[pos], bmap->div[div][0])) {
1389 isl_int_sub(bmap->div[div][1],
1390 bmap->div[div][1], bmap->div[div][0]);
1390 bmap->div[div][1], bmap->div[div][0]);
1391 isl_int_add_ui(bmap->div[div][1], bmap->div[div][1], 1);
1391 isl_int_add_ui(bmap->div[div][1], bmap->div[div][1], 1);
1392 neg = isl_seq_is_neg(constraint, bmap->div[div]+1, pos);
1393 isl_int_sub_ui(bmap->div[div][1], bmap->div[div][1], 1);
1393 isl_int_sub_ui(bmap->div[div][1], bmap->div[div][1], 1);
1394 isl_int_add(bmap->div[div][1],
1395 bmap->div[div][1], bmap->div[div][0]);
1395 bmap->div[div][1], bmap->div[div][0]);
1401 } else if (isl_int_abs_eq(constraint[pos], bmap->div[div][0])) {
1402 if (!isl_seq_eq(constraint, bmap->div[div]+1, pos))
1448 if (isl_int_is_zero(bmap->div[i][0]))
1450 if (!isl_int_is_zero(bmap->div[i][1+pos]))
1524 if (isl_int_is_zero(bmap->div[i][0]))
1526 if (isl_int_is_zero(bmap->div[i][1+1+pos]))
1560 isl_seq_clr(bmap->div[d-(total-bmap->n_div)], 2+total);
3920 if (isl_int_is_zero(bmap->div[i][0]))
3922 if (!isl_int_is_zero(bmap->div[i][1 + 1 + dim + div]))
3942 if (isl_int_is_zero(bmap->div[j][0]))
3944 if (!isl_int_is_zero(bmap->div[j][1 + 1 + dim + i]))
4729 defined = !isl_int_is_zero(bmap->div[i][0]);
4731 if (!isl_int_is_zero(bmap->div[j][1 + 1 + off + i]))
4888 if (preimage(bmap->div[i] + 1 + 1 + pos, T) < 0)
5195 isl_int_addmul(bmap->div[div][1 + pos], shift, bmap->div[div][0]);
5195 isl_int_addmul(bmap->div[div][1 + pos], shift, bmap->div[div][0]);
5210 if (isl_int_is_zero(bmap->div[i][0]))
5212 if (isl_int_is_zero(bmap->div[i][1 + 1 + total + div]))
5214 isl_int_submul(bmap->div[i][1 + pos],
5215 shift, bmap->div[i][1 + 1 + total + div]);
tools/polly/lib/External/isl/isl_map_subtract.c 187 isl_seq_cpy(vec->el, bmap->div[i], 2 + dim);
192 bmap->div[i][2 + dim + j]);
194 if (isl_seq_eq(tab->bmap->div[j],
tools/polly/lib/External/isl/isl_mat.c 1389 if (preimage(ctx, bset->div, bset->n_div, bset->n_div, 1, mat) < 0)
tools/polly/lib/External/isl/isl_morph.c 587 isl_int_set_si(bset->div[div][0], 0);
667 mat = isl_mat_sub_alloc6(bset->ctx, bset->div, 0, bset->n_div,
673 isl_int_mul(res->div[i][0],
674 morph->inv->row[0][0], bset->div[i][0]);
675 isl_seq_cpy(res->div[i] + 1, mat->row[i], mat->n_col);
676 isl_seq_scale(res->div[i] + 1 + mat->n_col,
677 bset->div[i] + 1 + mat->n_col,
tools/polly/lib/External/isl/isl_output.c 2070 p = print_affine_c(p, dim, bset, bset->div[pos] + 1);
2072 p = isl_printer_print_isl_int(p, bset->div[pos][0]);
tools/polly/lib/External/isl/isl_point.c 466 isl_seq_inner_product(bmap->div[i] + 1, vec->el,
469 bmap->div[i][0]);
tools/polly/lib/External/isl/isl_polynomial.c 4940 isl_seq_cpy(bmap->div[k], qp->div->row[i], qp->div->n_col);
4941 isl_int_set_si(bmap->div[k][qp->div->n_col], 0);
tools/polly/lib/External/isl/isl_tab.c 2227 isl_seq_cpy(ineq->el, bmap->div[div] + 1, 1 + total);
2228 isl_int_neg(ineq->el[div_pos], bmap->div[div][0]);
2269 isl_seq_neg(ineq->el, tab->bmap->div[div] + 1, 1 + total);
2270 isl_int_set(ineq->el[div_pos], tab->bmap->div[div][0]);
tools/polly/lib/External/isl/isl_tab_pip.c 1016 isl_seq_cpy(ineq->el, bset->div[div] + 1, 1 + total);
1017 isl_int_neg(ineq->el[div_pos], bset->div[div][0]);
2121 if (isl_int_ne(tab->bmap->div[i][0], denom))
2123 if (!isl_seq_eq(tab->bmap->div[i] + 1, div, 1 + total))
4285 if (isl_int_is_zero(dom->div[div][0]))
4287 if (isl_seq_first_non_zero(dom->div[div] + 2 + d_dim, dom->n_div) != -1)
4291 if (isl_int_is_zero(bmap->div[i][0]))
4293 if (isl_seq_first_non_zero(bmap->div[i] + 2 + d_dim,
4296 if (isl_seq_eq(bmap->div[i], dom->div[div], 2 + d_dim))
4296 if (isl_seq_eq(bmap->div[i], dom->div[div], 2 + d_dim))
4339 isl_int_set_si(bmap->div[pos][0], 0);
4697 if (!isl_int_is_zero(bmap->div[i][2 + pos]))
tools/polly/lib/External/isl/isl_transitive_closure.c 241 isl_int_set_si(path->div[k][0], 0);
397 if (isl_int_is_zero(bset->div[i][0])) {
401 if (isl_seq_first_non_zero(bset->div[i] + 2, nparam) != -1)
403 if (isl_seq_first_non_zero(bset->div[i] + 2 + nparam, d) != -1)
406 if (isl_int_is_zero(bset->div[i][2 + nparam + d + j]))
592 isl_int_set_si(path->div[k][0], 0);
2181 isl_int_set_si(bmap->div[k][0], 0);