Home
last modified time | relevance | path

Searched refs:div_pos (Results 1 – 4 of 4) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_polynomial.c1674 isl_size div_pos; in sort_divs() local
1681 div_pos = isl_qpolynomial_domain_var_offset(qp, isl_dim_div); in sort_divs()
1682 if (div_pos < 0) in sort_divs()
1704 for (i = 0; i < div_pos; ++i) in sort_divs()
1718 for (i = 0; i < len - div_pos; ++i) { in sort_divs()
1723 isl_mat_col_add(qp->div, 2 + div_pos + i - skip - 1, in sort_divs()
1724 2 + div_pos + i - skip); in sort_divs()
1726 2 + div_pos + i - skip, 1); in sort_divs()
1729 reordering[div_pos + array[i].row] = div_pos + i - skip; in sort_divs()
2536 isl_size div_pos; in substitute_div() local
[all …]
H A Disl_output.c688 __isl_keep isl_mat *div, unsigned div_pos, in print_eq_mod_constraint() argument
695 isl_int_divexact(c[last], c[last], div->row[div_pos][0]); in print_eq_mod_constraint()
702 p = print_mod(p, space, div, div_pos, latex); in print_eq_mod_constraint()
707 c[last], div->row[div_pos] + 1, last); in print_eq_mod_constraint()
725 isl_size div_pos; in print_eq_constraint() local
728 div_pos = print_as_modulo_pos(p, space, div, last, c[last]); in print_eq_constraint()
729 if (n_div < 0 || div_pos < 0) in print_eq_constraint()
731 if (div_pos < n_div) in print_eq_constraint()
732 return print_eq_mod_constraint(p, space, div, div_pos, in print_eq_constraint()
H A Disl_tab.c2204 unsigned div_pos; in ineq_for_div() local
2211 div_pos = 1 + total - bmap->n_div + div; in ineq_for_div()
2218 isl_int_neg(ineq->el[div_pos], bmap->div[div][0]); in ineq_for_div()
2241 unsigned div_pos; in add_div_constraints() local
2247 div_pos = 1 + total - tab->bmap->n_div + div; in add_div_constraints()
2262 isl_int_set(ineq->el[div_pos], tab->bmap->div[div][0]); in add_div_constraints()
2263 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]); in add_div_constraints()
H A Disl_tab_pip.c1039 unsigned div_pos; in ineq_for_div() local
1046 div_pos = 1 + total - bset->n_div + div; in ineq_for_div()
1053 isl_int_neg(ineq->el[div_pos], bset->div[div][0]); in ineq_for_div()