reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
733 k = find_ineq(&info[i], STATUS_ADJ_INEQ); 734 if (k < 0) 741 if (isl_tab_unrestrict(info[i].tab, n_eq + k) < 0) 744 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 744 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 745 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 745 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 746 r = isl_tab_add_ineq(info[i].tab, info[i].bmap->ineq[k]); 747 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 747 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 748 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 748 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 752 for (k = 0; k < info[j].bmap->n_ineq; ++k) { 752 for (k = 0; k < info[j].bmap->n_ineq; ++k) { 752 for (k = 0; k < info[j].bmap->n_ineq; ++k) { 753 if (info[j].ineq[k] != STATUS_VALID) 755 if (isl_tab_add_ineq(info[i].tab, info[j].bmap->ineq[k]) < 0)