reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
745 unsigned off = 2 + tab->M; 747 if (tab->row_var[row] < 0 && !isl_tab_var_from_row(tab, row)->is_nonneg) 747 if (tab->row_var[row] < 0 && !isl_tab_var_from_row(tab, row)->is_nonneg) 750 if (isl_int_is_neg(tab->mat->row[row][1])) 752 if (tab->strict_redundant && isl_int_is_zero(tab->mat->row[row][1])) 752 if (tab->strict_redundant && isl_int_is_zero(tab->mat->row[row][1])) 754 if (tab->M && isl_int_is_neg(tab->mat->row[row][2])) 754 if (tab->M && isl_int_is_neg(tab->mat->row[row][2])) 757 for (i = tab->n_dead; i < tab->n_col; ++i) { 757 for (i = tab->n_dead; i < tab->n_col; ++i) { 758 if (isl_int_is_zero(tab->mat->row[row][off + i])) 760 if (tab->col_var[i] >= 0) 762 if (isl_int_is_neg(tab->mat->row[row][off + i])) 764 if (!var_from_col(tab, i)->is_nonneg)