Lines Matching refs:isl_int_is_zero
719 if (isl_int_is_zero(tr[j])) in find_pivot()
752 if (tab->strict_redundant && isl_int_is_zero(tab->mat->row[row][1])) in isl_tab_row_is_redundant()
758 if (isl_int_is_zero(tab->mat->row[row][off + i])) in isl_tab_row_is_redundant()
1155 if (isl_int_is_zero(mat->row[i][off + col])) in isl_tab_pivot()
1184 if (isl_int_is_zero(mat->row[i][off + col])) in isl_tab_pivot()
1215 if (!isl_int_is_zero(tab->mat->row[r][off+var->index])) in to_row()
1313 if (!isl_int_is_zero(tab->mat->row[row][2])) in row_sgn()
1652 if (isl_int_is_zero(mat->row[var->index][off + j])) in close_row()
1973 if (!isl_int_is_zero(tab->mat->row[var->index][off + i])) in to_col()
2024 return tab->M && !isl_int_is_zero(tab->mat->row[row][2]); in row_is_big()
2031 if (!isl_int_is_zero(tab->mat->row[row][1])) in row_is_manifestly_zero()
2301 if (isl_int_is_zero(div->el[2 + i])) in div_is_nonneg()
2811 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) in isl_tab_relax()
2848 if (isl_int_is_zero(shift)) in isl_tab_shift_var()
2872 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) in isl_tab_shift_var()
2916 return tab->rational ? isl_int_is_zero(tab->mat->row[row][1]) in may_be_equality()
3332 return isl_int_is_zero(tab->mat->row[row][1]) && in isl_tab_is_equality()
3731 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) in unrelax()
3929 if (!isl_int_is_zero(tab->mat->row[row][off+extra[j]])) in restore_basis()