Home
last modified time | relevance | path

Searched refs:isl_int_ge (Results 1 – 6 of 6) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_int_gmp.h62 #define isl_int_ge(i,j) (mpz_cmp(i,j) >= 0) macro
H A Disl_int_imath.h60 #define isl_int_ge(i,j) (impz_cmp(i,j) >= 0) macro
H A Dbasis_reduction_tab.c202 if (isl_int_ge(lp->tmp, lp->tmp2)) in solve_lp()
H A Disl_int_sioimath.h1241 #define isl_int_ge(i, j) (isl_sioimath_cmp(*(i), *(j)) >= 0) macro
H A Disl_tab.c1526 return isl_int_ge(r[1], r[0]); in at_least_one()
3484 return isl_int_ge(tab->mat->row[var->index][1], *tmp); in reached()
H A Disl_map_simplify.c808 return isl_int_ge(ineq[0], (*ci->index[h])[0]); in constraint_index_is_redundant()
5103 redundant = isl_int_ge(bmap->ineq[last_pos][0], in isl_basic_map_drop_redundant_divs_ineq()