Lines Matching refs:o_div

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()
510 if (isl_int_is_zero(bmap->eq[eq][o_div + first + i])) 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()
569 isl_int_set_si(bmap->div[div][1 + o_div + div], 0); in set_div_from_eq()
570 isl_int_set(bmap->div[div][0], bmap->eq[eq][o_div + div]); in set_div_from_eq()
1875 int i, o_div; in isl_basic_map_drop_constraints_involving_unknown_divs() local
1886 o_div = isl_basic_map_offset(bmap, isl_dim_div) - 1; in isl_basic_map_drop_constraints_involving_unknown_divs()
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
4706 o_div = isl_basic_map_offset(bmap, isl_dim_div); in single_unknown()
4712 if (isl_int_is_zero(bmap->ineq[ineq][o_div + i])) in single_unknown()
4727 unsigned o_div; in has_coef_one() local
4729 o_div = isl_basic_map_offset(bmap, isl_dim_div); in has_coef_one()
4730 if (isl_int_is_one(bmap->ineq[ineq][o_div + div])) in has_coef_one()
4849 unsigned o_div; in lower_bound_is_cst() local
4853 o_div = isl_basic_map_offset(bmap, isl_dim_div); in lower_bound_is_cst()
4859 if (!isl_int_is_zero(bmap->ineq[i][o_div + div])) in lower_bound_is_cst()
4863 par = is_parallel_except(bmap, ineq, i, o_div + div); in lower_bound_is_cst()
4872 opp = is_opposite_except(bmap, ineq, i, o_div + div); in lower_bound_is_cst()
4885 lower_bound_from_parallel(bmap, ineq, lower, o_div + div, &l); in lower_bound_is_cst()
4886 lower_bound_from_opposite(bmap, ineq, upper, o_div + div, &u); in lower_bound_is_cst()
4919 unsigned o_div; in fix_cst_lower() local
4923 o_div = isl_basic_map_offset(bmap, isl_dim_div); in fix_cst_lower()
4924 lower_bound_from_parallel(bmap, ineq, lower, o_div + div, &c); in fix_cst_lower()
5254 unsigned o_div; in isl_basic_map_drop_redundant_divs() local
5274 o_div = isl_basic_map_offset(bmap, isl_dim_div); in isl_basic_map_drop_redundant_divs()
5280 l = isl_seq_first_non_zero(bmap->eq[i] + o_div + first, in isl_basic_map_drop_redundant_divs()
5285 if (isl_seq_first_non_zero(bmap->eq[i] + o_div + l + 1, in isl_basic_map_drop_redundant_divs()
5297 isl_seq_cpy(T->row[0], bmap->eq[i] + o_div + l, n_div - l); in isl_basic_map_drop_redundant_divs()
5304 bmap = isl_basic_map_preimage_vars(bmap, o_div - 1 + l, T); in isl_basic_map_drop_redundant_divs()