| /src/external/mit/isl/dist/ |
| isl_map_simplify.c | 500 unsigned o_div; local 506 o_div = isl_basic_map_offset(bmap, isl_dim_div); 510 if (isl_int_is_zero(bmap->eq[eq][o_div + first + i])) 549 unsigned o_div; local 567 o_div = isl_basic_map_offset(bmap, isl_dim_div); 569 isl_int_set_si(bmap->div[div][1 + o_div + div], 0); 570 isl_int_set(bmap->div[div][0], bmap->eq[eq][o_div + div]); 1875 int i, o_div; local 1886 o_div = isl_basic_map_offset(bmap, isl_dim_div) - 1; 1894 bmap = remove_dependent_vars(bmap, o_div + i) 4695 unsigned o_div; local 4727 unsigned o_div; local 4849 unsigned o_div; local 4919 unsigned o_div; local 5254 unsigned o_div; local [all...] |
| isl_output.c | 510 unsigned o_div = isl_basic_map_offset(bmap, isl_dim_div); local 518 if (last >= o_div) { 521 bmap->ineq[i + 1], last - o_div); 785 unsigned o_div = isl_basic_map_offset(bmap, isl_dim_div); local 827 if (!dump && l >= o_div && 828 can_print_div_expr(p, div, l - o_div)) { 831 bmap->ineq[i], l - o_div); 2128 unsigned o_div; local 2132 o_div = isl_local_space_offset(ls, isl_dim_div); 2136 div = isl_seq_last_non_zero(c + o_div, n_div) 2550 isl_size o_div; local [all...] |
| isl_tab.c | 2327 int o_div; local 2339 o_div = tab->n_var - n_div; 2340 if (pos < o_div || pos > tab->n_var) 2357 tab->bmap = isl_basic_map_insert_div(tab->bmap, pos - o_div, div); 2363 if (add_div_constraints(tab, pos - o_div, add_ineq, user) < 0)
|
| isl_aff.c | 2239 unsigned o_div; local 2259 o_div = isl_basic_set_offset(eq, isl_dim_div); 2262 j = isl_seq_last_non_zero(eq->eq[i], o_div + n_div); 2263 if (j < 0 || j == 0 || j >= o_div) 2266 isl_seq_elim(aff->v->el + 1, eq->eq[i], j, o_div, 5602 unsigned o_div; local 5617 o_div = isl_basic_map_offset(hull, isl_dim_div); 5633 isl_seq_gcd(eq + o_div, n_div, &gcd);
|
| isl_polynomial.c | 2716 unsigned o_div; local 2721 o_div = isl_qpolynomial_domain_offset(qp, isl_dim_div); 2728 mat = isl_mat_set_element_si(mat, i, o_div + i, 1); 2747 qp->poly = isl_poly_subs(qp->poly, o_div - 1, n_div, s);
|
| isl_coalesce.c | 3062 unsigned o_div; local 3066 o_div = isl_basic_map_offset(info->bmap, isl_dim_div) - 1; 3077 info->bmap, expanded[i].pos - o_div);
|
| isl_map.c | 11761 unsigned o_out, o_div; local 11777 o_div = isl_basic_map_offset(bmap, isl_dim_div); 11782 if (isl_int_is_zero(bmap->div[div][1 + o_div + i])) 11842 unsigned o_div, o_out; local 11853 o_div = isl_basic_map_offset(bmap, isl_dim_div); 11860 if (first_div_may_involve_output(bmap, bmap->ineq[i] + o_div, 11918 unsigned o_div, o_out; local 11926 o_div = isl_basic_map_offset(bmap, isl_dim_div); 11938 k = first_div_may_involve_output(bmap, bmap->eq[j] + o_div, 11945 if (first_div_may_involve_output(bmap, bmap->eq[j] + o_div, [all...] |
| isl_tab_pip.c | 3464 int r, o_div; local 3470 o_div = cgbr->cone->n_var - n_div; 3480 r - o_div, div);
|