| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | isl_map_simplify.c | 500 unsigned o_div; in bmap_eq_involves_unknown_divs() local
506 o_div = isl_basic_map_offset(bmap, isl_dim_div); in bmap_eq_involves_unknown_divs()
549 unsigned o_div; in set_div_from_eq() local
567 o_div = isl_basic_map_offset(bmap, isl_dim_div); in set_div_from_eq()
1875 int i, o_div; in isl_basic_map_drop_constraints_involving_unknown_divs() local
1894 bmap = remove_dependent_vars(bmap, o_div + i); in isl_basic_map_drop_constraints_involving_unknown_divs()
4695 unsigned o_div; in single_unknown() local
4727 unsigned o_div; in has_coef_one() local
4849 unsigned o_div; in lower_bound_is_cst() local
4919 unsigned o_div; in fix_cst_lower() local
[all …]
|
| H A D | isl_output.c | 518 if (last >= o_div) { in next_is_opposite()
521 bmap->ineq[i + 1], last - o_div); in next_is_opposite()
827 if (!dump && l >= o_div && in print_constraints()
828 can_print_div_expr(p, div, l - o_div)) { in print_constraints()
831 bmap->ineq[i], l - o_div); in print_constraints()
2149 unsigned o_div; in print_constraint_c() local
2153 o_div = isl_local_space_offset(ls, isl_dim_div); in print_constraint_c()
2157 div = isl_seq_last_non_zero(c + o_div, n_div); in print_constraint_c()
2635 isl_size o_div; in last_modulo() local
2640 o_div = isl_aff_domain_offset(aff, isl_dim_div); in last_modulo()
[all …]
|
| H A D | isl_tab.c | 2327 int o_div; in isl_tab_insert_div() local
2339 o_div = tab->n_var - n_div; in isl_tab_insert_div()
2340 if (pos < o_div || pos > tab->n_var) in isl_tab_insert_div()
2357 tab->bmap = isl_basic_map_insert_div(tab->bmap, pos - o_div, div); in isl_tab_insert_div()
2363 if (add_div_constraints(tab, pos - o_div, add_ineq, user) < 0) in isl_tab_insert_div()
|
| H A D | isl_aff.c | 2189 unsigned o_div; in isl_aff_substitute_equalities_lifted() local
2209 o_div = isl_basic_set_offset(eq, isl_dim_div); in isl_aff_substitute_equalities_lifted()
2212 j = isl_seq_last_non_zero(eq->eq[i], o_div + n_div); in isl_aff_substitute_equalities_lifted()
2213 if (j < 0 || j == 0 || j >= o_div) in isl_aff_substitute_equalities_lifted()
2216 isl_seq_elim(aff->v->el + 1, eq->eq[i], j, o_div, in isl_aff_substitute_equalities_lifted()
5446 unsigned o_div; in pw_multi_aff_from_map_check_strides() local
5461 o_div = isl_basic_map_offset(hull, isl_dim_div); in pw_multi_aff_from_map_check_strides()
5477 isl_seq_gcd(eq + o_div, n_div, &gcd); in pw_multi_aff_from_map_check_strides()
|
| H A D | isl_coalesce.c | 3060 unsigned o_div; in fix_constant_divs() local
3064 o_div = isl_basic_map_offset(info->bmap, isl_dim_div) - 1; in fix_constant_divs()
3075 info->bmap, expanded[i].pos - o_div); in fix_constant_divs()
|
| H A D | isl_map.c | 11656 unsigned o_out, o_div; in div_may_involve_output() local
11672 o_div = isl_basic_map_offset(bmap, isl_dim_div); in div_may_involve_output()
11677 if (isl_int_is_zero(bmap->div[div][1 + o_div + i])) in div_may_involve_output()
11737 unsigned o_div, o_out; in find_modulo_constraint_pair() local
11748 o_div = isl_basic_map_offset(bmap, isl_dim_div); in find_modulo_constraint_pair()
11755 if (first_div_may_involve_output(bmap, bmap->ineq[i] + o_div, in find_modulo_constraint_pair()
11813 unsigned o_div, o_out; in isl_basic_map_output_defining_equality() local
11821 o_div = isl_basic_map_offset(bmap, isl_dim_div); in isl_basic_map_output_defining_equality()
11833 k = first_div_may_involve_output(bmap, bmap->eq[j] + o_div, in isl_basic_map_output_defining_equality()
11840 if (first_div_may_involve_output(bmap, bmap->eq[j] + o_div, in isl_basic_map_output_defining_equality()
[all …]
|
| H A D | isl_polynomial.c | 2565 unsigned o_div; in reduce_divs() local
2570 o_div = isl_qpolynomial_domain_offset(qp, isl_dim_div); in reduce_divs()
2577 mat = isl_mat_set_element_si(mat, i, o_div + i, 1); in reduce_divs()
2596 qp->poly = isl_poly_subs(qp->poly, o_div - 1, n_div, s); in reduce_divs()
|
| H A D | isl_tab_pip.c | 3438 int r, o_div; in context_gbr_insert_div() local
3444 o_div = cgbr->cone->n_var - n_div; in context_gbr_insert_div()
3454 r - o_div, div); in context_gbr_insert_div()
|