Searched refs:isl_int_sgn (Results 1 – 15 of 15) sorted by relevance
31 #define isl_int_is_zero(i) (isl_int_sgn(i) == 0)34 #define isl_int_is_pos(i) (isl_int_sgn(i) > 0)35 #define isl_int_is_neg(i) (isl_int_sgn(i) < 0)36 #define isl_int_is_nonpos(i) (isl_int_sgn(i) <= 0)37 #define isl_int_is_nonneg(i) (isl_int_sgn(i) >= 0)
239 if (isl_int_sgn(rhs) == 0) in int_test_divexact()464 assert(exp == isl_int_sgn(diff)); in int_test_cmps()
52 #define isl_int_sgn(i) impz_sgn(i) macro
54 #define isl_int_sgn(i) mpz_sgn(i) macro
631 s = isl_int_sgn(*t); in row_cmp()637 return isl_int_sgn(*t); in row_cmp()674 if (sgn * isl_int_sgn(tab->mat->row[j][off + c]) >= 0) in pivot_row()721 if (isl_int_sgn(tr[j]) != sgn && in find_pivot()730 sgn *= isl_int_sgn(tr[c]); in find_pivot()1062 s = isl_int_sgn(mat->row[i][off + col]); in update_row_sign()1140 sgn = isl_int_sgn(mat->row[row][0]); in isl_tab_pivot()1275 return isl_int_sgn(tab->mat->row[var->index][1]); in sign_of_max()1312 return isl_int_sgn(tab->mat->row[row][1]); in row_sgn()1314 return isl_int_sgn(tab->mat->row[row][2]); in row_sgn()[all …]
211 sign = isl_int_sgn(n); in collect_fixed_sign_terms()
1412 cmp = isl_int_sgn(t); in isl_val_cmp_si()1484 int sgn = isl_int_sgn(v->n); in isl_printer_print_val()
1211 s1 = isl_int_sgn(r[col1]); in lexmin_col_pair()1212 s2 = isl_int_sgn(r[col2]); in lexmin_col_pair()1934 sgn = isl_int_sgn(v); in check_samples()2033 sgn = isl_int_sgn(v); in tab_has_valid_sample()2559 sgn = isl_int_sgn(tmp); in tab_ineq_sign()
1233 #define isl_int_sgn(i) isl_sioimath_sgn(*(i)) macro
199 return isl_int_sgn(cst->n); in isl_poly_sgn()3306 cmp = isl_int_sgn(t); in isl_poly_cmp()4997 if (isl_int_sgn(row[2 + j]) * signs[j] >= 0) in make_divs_pos()5006 if (isl_int_sgn(row[2 + div_pos + j]) >= 0) in make_divs_pos()
1384 s = isl_int_sgn(bmap->ineq[j][1 + v_div + div]); in eliminate_unit_div()1778 if (isl_int_sgn(bmap->ineq[i][1+d]) == in isl_basic_map_eliminate_vars()1779 isl_int_sgn(bmap->ineq[j][1+d])) in isl_basic_map_eliminate_vars()
273 return isl_int_sgn(cst->n) < 0 ? -1 : 1; in isl_qpolynomial_cst_sign()
839 s = isl_int_sgn(bmap->ineq[i][l]); in print_constraints()1773 int sgn = isl_int_sgn(cst->n); in poly_print_cst()
798 return isl_int_sgn(aff->v->el[1 + pos]); in isl_aff_coefficient_sgn()4603 sign = isl_int_sgn(denom); in subtract_initial()
2774 int s = isl_int_sgn(bmap->ineq[i][1 + v_div + div]); in insert_bounds_on_div()11272 int sgn = isl_int_sgn(bmap->ineq[i][pos]); in basic_map_dim_is_bounded()