Home
last modified time | relevance | path

Searched refs:isl_int_sub (Results 1 – 20 of 20) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_test_int.c325 isl_int_sub(result, lhs, rhs); in int_test_sub()
463 isl_int_sub(diff, lhs, rhs); in int_test_cmps()
Disl_int_imath.h29 #define isl_int_sub(r,i,j) impz_sub(r,i,j) macro
Disl_int_gmp.h31 #define isl_int_sub(r,i,j) mpz_sub(r,i,j) macro
Disl_val.c741 isl_int_sub(v1->n, v1->n, v2->n); in isl_val_sub()
744 isl_int_sub(v1->n, v1->n, v2->n); in isl_val_sub()
1079 isl_int_sub(tmp, *g, tmp); in isl_int_gcdext()
1411 isl_int_sub(t, v->n, t); in isl_val_cmp_si()
Disl_scan.c44 isl_int_sub(cnt->count, cnt->count, min); in increment_range()
Disl_ilp.c123 isl_int_sub(bset->ineq[k][0], bset->ineq[k][0], l); in add_bounds()
168 isl_int_sub(tmp, u, l); in solve_ilp_search()
Disl_map_simplify.c1567 isl_int_sub(bmap->div[div][1], in isl_basic_map_is_div_constraint()
2742 isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], rem); in uset_gist_compressed()
4180 isl_int_sub(bmap->ineq[l][0], in div_find_coalesce()
4230 isl_int_sub(bmap->ineq[l][0], bmap->ineq[l][0], bmap->ineq[u][0]); in div_find_coalesce()
4354 isl_int_sub(data->g, data->g, data->fl); in int_between_bounds()
4355 isl_int_sub(data->g, data->g, data->fu); in int_between_bounds()
4357 isl_int_sub(data->fl, data->v->el[0], data->g); in int_between_bounds()
4811 isl_int_sub(*u, *u, bmap->ineq[upper][0]); in lower_bound_from_opposite()
5104 isl_int_sub(bmap->ineq[last_pos][0], in isl_basic_map_drop_redundant_divs_ineq()
Disl_affine_hull.c178 isl_int_sub(b, bset1->eq[t][col], bset2->eq[t][col]); in transform_column()
180 isl_int_sub(a, bset2->eq[i][col], bset1->eq[i][col]); in transform_column()
Disl_equalities.c849 isl_int_sub(m, *residue, r); in isl_set_dim_residue_class()
Disl_convex_hull.c147 isl_int_sub(c[0], c[0], opt); in uset_is_bound()
1108 isl_int_sub(sample->block.data[n], in valid_direction()
2142 isl_int_sub(ineq[0], ineq[0], opt); in is_bound()
Disl_int_sioimath.h1210 #define isl_int_sub(r, i, j) isl_sioimath_sub((r), *(i), *(j)) macro
Disl_sample.c1057 isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], v); in tab_shift_cone()
Disl_local_space.c1343 isl_int_sub(ls->div->row[div][1], in isl_local_space_is_div_constraint()
Disl_tab.c2824 isl_int_sub(tab->mat->row[i][1], tab->mat->row[i][1], in isl_tab_relax()
3731 isl_int_sub(tab->mat->row[var->index][1], in unrelax()
Disl_polynomial.c4679 isl_int_sub(max, max, min); in split_periods()
4908 isl_int_sub(qp->div->row[i][1], in qp_drop_floors()
Disl_coalesce.c920 isl_int_sub(info->bmap->ineq[ineq][0], in try_tightening()
Disl_map.c2662 isl_int_sub(v, bmap->ineq[i][1 + j], in insert_bounds_on_div_from_ineq()
2682 isl_int_sub(bmap->ineq[k][j], bmap->ineq[i][j], in insert_bounds_on_div_from_ineq()
11611 isl_int_sub(bmap->ineq[i][0], in find_modulo_constraint_pair()
Disl_tab_pip.c3185 isl_int_sub(ineq[0], ineq[0], ineq[1 + i]); in add_gbr_ineq()
Disl_scheduler.c3160 isl_int_sub(csol->el[node->nvar - 1 - i], in extract_var_coef()
Disl_aff.c1619 isl_int_sub(div->el[i], div->el[i], div->el[0]); in isl_aff_floor()