Home
last modified time | relevance | path

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

/external/llvm-project/polly/lib/External/isl/
Disl_int_gmp.h28 #define isl_int_sub_ui(r,i,j) mpz_sub_ui(r,i,j) macro
Disl_int_imath.h26 #define isl_int_sub_ui(r,i,j) impz_sub_ui(r,i,j) macro
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()
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()
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()
1845 isl_int_sub_ui(wraps->mat->row[w][0], wraps->mat->row[w][0], 1); in wrap_in_facet()
1980 isl_int_sub_ui(ineq[0], ineq[0], 1); in type_of_relaxed()
2333 isl_int_sub_ui(bound->el[0], bound->el[0], 1); in check_eq_adj_eq()
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()
Disl_constraint.c656 isl_int_sub_ui(constraint->v->el[0], constraint->v->el[0], 1); in isl_constraint_negate()
911 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in add_larger_bound_constraint()
Disl_point.c490 isl_int_sub_ui(pnt->vec->el[1 + pos], pnt->vec->el[1 + pos], val); in isl_point_sub_ui()
Disl_tab_pip.c3874 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in row_sign()
3886 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in row_sign()
3894 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in row_sign()
3964 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in no_sol_in_strict()
4146 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in find_solutions()
4677 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in select_minimum()
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()
4229 isl_int_sub_ui(bmap->ineq[l][0], bmap->ineq[l][0], 1); in div_find_coalesce()
5102 isl_int_sub_ui(bmap->ineq[last_pos][0], in isl_basic_map_drop_redundant_divs_ineq()
Disl_int_sioimath.h1207 #define isl_int_sub_ui(r, i, j) isl_sioimath_sub_ui((r), *(i), j) macro
Disl_tab.c2275 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); in add_div_constraints()
3568 isl_int_sub_ui(*target, *target, 1); in detect_constant_with_tmp()
3578 isl_int_sub_ui(*target, *target, 1); in detect_constant_with_tmp()
Disl_local_space.c1347 isl_int_sub_ui(ls->div->row[div][1], ls->div->row[div][1], 1); in isl_local_space_is_div_constraint()
Disl_polynomial.c2532 isl_int_sub_ui(qp->div->row[div][1], qp->div->row[div][1], 1); in invert_div()
4548 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in set_div_slice()
4993 isl_int_sub_ui(v->el[0], v->el[0], 1); in make_divs_pos()
Disl_transitive_closure.c329 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in parametric_constant_never_positive()
Disl_map.c3368 isl_int_sub_ui(bmap->ineq[pos][0], bmap->ineq[pos][0], 1); in isl_inequality_negate()
4966 isl_int_sub_ui(result->ineq[j][0], d, 1); in isl_basic_map_floordiv()
5472 isl_int_sub_ui(bmap->ineq[i][0], bmap->ineq[i][0], 1); in add_lower_div_constraint()
14338 isl_int_sub_ui(bset->ineq[j][0], bset->ineq[j][0], 1); in isl_basic_set_tighten_outward()
Disl_aff.c1741 isl_int_sub_ui(aff->v->el[1], aff->v->el[1], 1); in isl_aff_ceil()