/netbsd-src/external/mit/isl/dist/ |
H A D | isl_int_gmp.h | 28 #define isl_int_sub_ui(r,i,j) mpz_sub_ui(r,i,j) macro
|
H A D | isl_int_imath.h | 26 #define isl_int_sub_ui(r,i,j) impz_sub_ui(r,i,j) macro
|
H A D | isl_ilp.c | 183 isl_int_sub_ui(u, *opt, 1); in solve_ilp_search() 250 isl_int_sub_ui(u, *opt, 1); in solve_ilp()
|
H A D | isl_map_subtract.c | 142 isl_int_sub_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1); in tab_add_constraint() 155 isl_int_sub_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1); in tab_add_constraint()
|
H A D | isl_coalesce.c | 787 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); in is_adj_ineq_extension_with_wraps() 790 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); in is_adj_ineq_extension_with_wraps() 988 isl_int_sub_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1); in tighten_on_relaxed_facet() 1855 isl_int_sub_ui(wraps->mat->row[w][0], wraps->mat->row[w][0], 1); in wrap_in_facet() 1990 isl_int_sub_ui(ineq[0], ineq[0], 1); in type_of_relaxed() 2343 isl_int_sub_ui(bound->el[0], bound->el[0], 1); in check_eq_adj_eq()
|
H A D | isl_affine_hull.c | 295 isl_int_sub_ui(eq[0], eq[0], 1); in outside_point() 351 isl_int_sub_ui(sample->el[1 + pos], sample->el[1 + pos], 1); in adjacent_point()
|
H A D | isl_constraint.c | 638 isl_int_sub_ui(constraint->v->el[0], constraint->v->el[0], 1); in isl_constraint_negate() 893 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in add_larger_bound_constraint()
|
H A D | isl_tab_pip.c | 3900 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in row_sign() 3912 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in row_sign() 3920 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in row_sign() 3991 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in no_sol_in_strict() 4173 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in find_solutions() 4704 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in select_minimum()
|
H A D | isl_map_simplify.c | 1125 isl_int_sub_ui(bmap->div[div][1], bmap->div[div][1], 1); in set_div_from_lower_bound() 1397 isl_int_sub_ui(bmap->ineq[j][0], in eliminate_unit_div() 1571 isl_int_sub_ui(bmap->div[div][1], bmap->div[div][1], 1); in isl_basic_map_is_div_constraint() 4232 isl_int_sub_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1); in div_find_coalesce() 5105 isl_int_sub_ui(bmap->ineq[last_pos][0], in isl_basic_map_drop_redundant_divs_ineq()
|
H A D | isl_point.c | 553 isl_int_sub_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val); in isl_point_sub_ui()
|
H A D | isl_int_sioimath.h | 1207 #define isl_int_sub_ui(r, i, j) isl_sioimath_sub_ui((r), *(i), j) macro
|
H A D | isl_tab.c | 2264 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in add_div_constraints() 3557 isl_int_sub_ui(*target, *target, 1); in detect_constant_with_tmp() 3567 isl_int_sub_ui(*target, *target, 1); in detect_constant_with_tmp()
|
H A D | isl_local_space.c | 1416 isl_int_sub_ui(ls->div->row[div][1], ls->div->row[div][1], 1); in isl_local_space_is_div_constraint()
|
H A D | isl_polynomial.c | 2688 isl_int_sub_ui(qp->div->row[div][1], qp->div->row[div][1], 1); in invert_div() 4768 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in set_div_slice() 5242 isl_int_sub_ui(v->el[0], v->el[0], 1); in make_divs_pos()
|
H A D | isl_transitive_closure.c | 329 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in parametric_constant_never_positive()
|
H A D | isl_map.c | 3432 isl_int_sub_ui(bmap->ineq[pos][0], bmap->ineq[pos][0], 1); in isl_inequality_negate() 5093 isl_int_sub_ui(result->ineq[j][0], d, 1); in isl_basic_map_floordiv() 5599 isl_int_sub_ui(bmap->ineq[i][0], bmap->ineq[i][0], 1); in add_lower_div_constraint() 14618 isl_int_sub_ui(bset->ineq[j][0], bset->ineq[j][0], 1); in isl_basic_set_tighten_outward()
|
H A D | isl_aff.c | 1870 isl_int_sub_ui(aff->v->el[1], aff->v->el[1], 1); in isl_aff_ceil()
|