Lines Matching refs:last_pos
5031 int last_pos, last_neg;
5051 last_pos = j;
5070 opp = is_opposite(bmap, last_pos, last_neg);
5079 single = single_unknown(bmap, last_pos, i);
5084 one = has_coef_one(bmap, i, last_pos);
5088 return set_eq_and_try_again(bmap, last_pos,
5090 lower = lower_bound_is_cst(bmap, i, last_pos);
5094 return fix_cst_lower(bmap, i, last_pos, lower,
5099 isl_int_add(bmap->ineq[last_pos][0],
5100 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
5101 isl_int_add_ui(bmap->ineq[last_pos][0],
5102 bmap->ineq[last_pos][0], 1);
5103 redundant = isl_int_ge(bmap->ineq[last_pos][0],
5104 bmap->ineq[last_pos][1+off+i]);
5105 isl_int_sub_ui(bmap->ineq[last_pos][0],
5106 bmap->ineq[last_pos][0], 1);
5107 isl_int_sub(bmap->ineq[last_pos][0],
5108 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
5111 last_pos, last_neg, pairs);
5115 set_div = ok_to_set_div_from_bound(bmap, i, last_pos);
5119 bmap = set_div_from_lower_bound(bmap, i, last_pos);
Indexes created Sat Jun 27 00:24:51 UTC 2026