reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1820 unsigned off = 2 + tab->M; 1822 if (isl_tab_extend_cons(tab, 1) < 0) 1824 r = isl_tab_allocate_con(tab); 1828 r_row = tab->mat->row[tab->con[r].index]; 1828 r_row = tab->mat->row[tab->con[r].index]; 1829 isl_int_set(r_row[0], tab->mat->row[row][0]); 1830 isl_int_neg(r_row[1], tab->mat->row[row][1]); 1831 isl_int_fdiv_r(r_row[1], r_row[1], tab->mat->row[row][0]); 1833 if (tab->M) 1835 for (i = 0; i < tab->n_col; ++i) 1837 tab->mat->row[row][off + i], tab->mat->row[row][0]); 1837 tab->mat->row[row][off + i], tab->mat->row[row][0]); 1839 tab->con[r].is_nonneg = 1; 1840 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1840 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1842 if (tab->row_sign) 1843 tab->row_sign[tab->con[r].index] = isl_tab_row_neg; 1843 tab->row_sign[tab->con[r].index] = isl_tab_row_neg; 1845 return tab->con[r].index;