Lines Matching defs:div_pos
675 * of the corresponding integer division. "div_pos" is the corresponding
688 __isl_keep isl_mat *div, unsigned div_pos,
695 isl_int_divexact(c[last], c[last], div->row[div_pos][0]);
702 p = print_mod(p, space, div, div_pos, latex);
707 c[last], div->row[div_pos] + 1, last);
725 isl_size div_pos;
728 div_pos = print_as_modulo_pos(p, space, div, last, c[last]);
729 if (n_div < 0 || div_pos < 0)
731 if (div_pos < n_div)
732 return print_eq_mod_constraint(p, space, div, div_pos,
Indexes created Mon May 18 00:24:49 UTC 2026