Home
last modified time | relevance | path

Searched refs:isl_int_add (Results 1 – 19 of 19) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_ilp.c64 isl_int_add(unit_box->ineq[k][0], in unit_box_base_points()
129 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], u); in add_bounds()
170 isl_int_add(tmp, tmp, l); in solve_ilp_search()
Disl_sample.c286 isl_int_add(tab->basis->row[1 + level][0], in greedy_search()
813 isl_int_add(shift->ineq[k][0], in shift_cone()
1001 isl_int_add(*s, *s, v->el[i]); in vec_sum_of_neg()
1055 isl_int_add(bset->ineq[i][0], bset->ineq[i][0], v); in tab_shift_cone()
Disl_int_imath.h28 #define isl_int_add(r,i,j) impz_add(r,i,j) macro
Disl_int_gmp.h30 #define isl_int_add(r,i,j) mpz_add(r,i,j) macro
Disl_scan.c43 isl_int_add(cnt->count, cnt->count, max); in increment_range()
Disl_map_subtract.c42 isl_int_add(v->el[pos], v->el[pos], c[1 + dim + i]); in expand_constraint()
200 isl_int_add(vec->el[2 + dim + (*div_map)[j]], in tab_add_divs()
Disl_map_simplify.c1124 isl_int_add(bmap->div[div][1], bmap->div[div][1], bmap->div[div][0]); in set_div_from_lower_bound()
1277 isl_int_add(sum, bmap->ineq[k][0], bmap->ineq[l][0]); in isl_basic_map_remove_duplicate_constraints()
1395 isl_int_add(bmap->ineq[j][0], in eliminate_unit_div()
1572 isl_int_add(bmap->div[div][1], in isl_basic_map_is_div_constraint()
4178 isl_int_add(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); in div_find_coalesce()
4541 isl_int_add(m, bmap->ineq[l][0], bmap->ineq[u][0]); in coalesce_divs()
4787 isl_int_add(*l, *l, bmap->ineq[lower][0]); in lower_bound_from_parallel()
5096 isl_int_add(bmap->ineq[last_pos][0], in isl_basic_map_drop_redundant_divs_ineq()
Disl_test_int.c314 isl_int_add(result, lhs, rhs); in int_test_add()
Disl_val.c663 isl_int_add(v1->n, v1->n, v2->n); in isl_val_add()
666 isl_int_add(v1->n, v1->n, v2->n); in isl_val_add()
Disl_int_sioimath.h1209 #define isl_int_add(r, i, j) isl_sioimath_add((r), *(i), *(j)) macro
Disl_polynomial.c757 isl_int_add(cst1->n, cst1->n, cst2->n); in isl_poly_sum_cst()
2533 isl_int_add(qp->div->row[div][1], in invert_div()
4547 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], qp->div->row[div][0]); in set_div_slice()
4681 isl_int_add(max, max, min); in split_periods()
Disl_constraint.c853 isl_int_add(m, bset->ineq[i][0], bset->ineq[j][0]); in isl_basic_set_has_defining_inequalities()
Disl_aff.c934 isl_int_add(aff->v->el[1], aff->v->el[1], v->n); in isl_aff_add_constant_val()
989 isl_int_add(aff->v->el[1], aff->v->el[1], v); in isl_aff_add_constant_num()
1261 isl_int_add(aff->v->el[1 + pos], aff->v->el[1 + pos], v->n); in isl_aff_add_coefficient_val()
1507 isl_int_add(aff->v->el[1 + off + a], in merge_divs()
1740 isl_int_add(aff->v->el[1], aff->v->el[1], aff->v->el[0]); in isl_aff_ceil()
5075 isl_int_add(sum, hull->ineq[i][0], in pw_multi_aff_from_map_check_div()
Disl_tab.c2274 isl_int_add(ineq->el[0], ineq->el[0], ineq->el[div_pos]); in add_div_constraints()
2813 isl_int_add(tab->mat->row[var->index][1], in isl_tab_relax()
3744 isl_int_add(tab->mat->row[i][1], tab->mat->row[i][1], in unrelax()
Disl_local_space.c1348 isl_int_add(ls->div->row[div][1], in isl_local_space_is_div_constraint()
Disl_tab_pip.c2935 isl_int_add(bset->ineq[i][0], bset->ineq[i][0], in gbr_init_shifted()
3176 isl_int_add(ineq[0], ineq[0], ineq[1 + i]); in add_gbr_ineq()
Disl_mat.c1659 isl_int_add(mat->row[i][dst_col], in isl_mat_col_add()
Disl_map.c2667 isl_int_add(v, bmap->ineq[i][1 + j], in insert_bounds_on_div_from_ineq()
2694 isl_int_add(bmap->ineq[k][j], bmap->ineq[i][j], in insert_bounds_on_div_from_ineq()
5471 isl_int_add(bmap->ineq[i][0], bmap->ineq[i][0], bmap->ineq[i][1 + pos]); in add_lower_div_constraint()
11608 isl_int_add(bmap->ineq[i][0], in find_modulo_constraint_pair()
Disl_coalesce.c923 isl_int_add(info->bmap->ineq[ineq][0], in try_tightening()