reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4744 last_pos = j; 4763 opp = is_opposite(bmap, last_pos, last_neg); 4772 single = single_unknown(bmap, last_pos, i); 4777 one = has_coef_one(bmap, i, last_pos); 4781 return set_eq_and_try_again(bmap, last_pos, 4783 lower = lower_bound_is_cst(bmap, i, last_pos); 4785 return fix_cst_lower(bmap, i, last_pos, lower, 4790 isl_int_add(bmap->ineq[last_pos][0], 4791 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]); 4792 isl_int_add_ui(bmap->ineq[last_pos][0], 4793 bmap->ineq[last_pos][0], 1); 4794 redundant = isl_int_ge(bmap->ineq[last_pos][0], 4795 bmap->ineq[last_pos][1+off+i]); 4796 isl_int_sub_ui(bmap->ineq[last_pos][0], 4797 bmap->ineq[last_pos][0], 1); 4798 isl_int_sub(bmap->ineq[last_pos][0], 4799 bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]); 4802 last_pos, last_neg, pairs); 4806 set_div = ok_to_set_div_from_bound(bmap, i, last_pos); 4810 bmap = set_div_from_lower_bound(bmap, i, last_pos);