Home
last modified time | relevance | path

Searched refs:isl_int_fdiv_r (Results 1 – 13 of 13) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_equalities.c86 isl_int_fdiv_r(C->row[1+i][0], C->row[1+i][0], M->row[i][i]); in particular_solution()
88 isl_int_fdiv_r(M->row[i][B->n_row + j], in particular_solution()
799 isl_int_fdiv_r(*residue, *residue, *modulo); in isl_basic_set_dim_residue_class()
852 isl_int_fdiv_r(*residue, *residue, *modulo); in isl_set_dim_residue_class()
H A Disl_power_templ.c53 isl_int_fdiv_r(r, exp, ctx->two); in FN()
H A Disl_int_gmp.h50 #define isl_int_fdiv_r(r,i,j) mpz_fdiv_r(r,i,j) macro
H A Disl_int_imath.h48 #define isl_int_fdiv_r(r,i,j) impz_fdiv_r(r,i,j) macro
H A Disl_seq.c102 isl_int_fdiv_r(dst[i], src[i], m); in isl_seq_fdiv_r()
H A Disl_test_int.c397 isl_int_fdiv_r(result, lhs, rhs); in int_test_fdiv_r()
H A Disl_tab_pip.c1867 isl_int_fdiv_r(r_row[1], r_row[1], tab->mat->row[row][0]); in add_cut()
1872 isl_int_fdiv_r(r_row[off + i], in add_cut()
2253 isl_int_fdiv_r(r_row[1], r_row[1], tab->mat->row[row][0]); in add_parametric_cut()
2262 isl_int_fdiv_r(r_row[off + col], r_row[off + col], in add_parametric_cut()
2271 isl_int_fdiv_r(r_row[off + col], r_row[off + col], in add_parametric_cut()
2280 isl_int_fdiv_r(r_row[off + i], in add_parametric_cut()
H A Disl_int_sioimath.h1229 #define isl_int_fdiv_r(r, i, j) isl_sioimath_fdiv_r((r), *(i), *(j)) macro
H A Disl_val.c993 isl_int_fdiv_r(v1->n, v1->n, v2->n); in isl_val_mod()
H A Disl_map_simplify.c141 isl_int_fdiv_r(shift, bmap->div[div][1 + pos], bmap->div[div][0]); in reduce_coefficient_in_div()
2735 isl_int_fdiv_r(rem, ineq->row[i][0], ctx->normalize_gcd); in uset_gist_compressed()
H A Disl_coalesce.c913 isl_int_fdiv_r(v->el[0], v->el[0], ctx->normalize_gcd); in try_tightening()
H A Disl_polynomial.c2636 isl_int_fdiv_r(qp->div->row[div][1 + i], in reduce_div()
H A Disl_aff.c1745 isl_int_fdiv_r(div->el[i], div->el[i], div->el[0]); in isl_aff_floor()