Home
last modified time | relevance | path

Searched refs:isl_int_sub_ui (Results 1 – 17 of 17) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_int_gmp.h28 #define isl_int_sub_ui(r,i,j) mpz_sub_ui(r,i,j) macro
H A Disl_int_imath.h26 #define isl_int_sub_ui(r,i,j) impz_sub_ui(r,i,j) macro
H A Disl_ilp.c183 isl_int_sub_ui(u, *opt, 1); in solve_ilp_search()
250 isl_int_sub_ui(u, *opt, 1); in solve_ilp()
H A Disl_map_subtract.c142 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 Disl_coalesce.c787 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 Disl_affine_hull.c295 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 Disl_constraint.c638 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 Disl_tab_pip.c3900 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 Disl_map_simplify.c1125 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 Disl_point.c553 isl_int_sub_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val); in isl_point_sub_ui()
H A Disl_int_sioimath.h1207 #define isl_int_sub_ui(r, i, j) isl_sioimath_sub_ui((r), *(i), j) macro
H A Disl_tab.c2264 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 Disl_local_space.c1416 isl_int_sub_ui(ls->div->row[div][1], ls->div->row[div][1], 1); in isl_local_space_is_div_constraint()
H A Disl_polynomial.c2688 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 Disl_transitive_closure.c329 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in parametric_constant_never_positive()
H A Disl_map.c3432 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 Disl_aff.c1870 isl_int_sub_ui(aff->v->el[1], aff->v->el[1], 1); in isl_aff_ceil()