Home | History | Annotate | Download | only in dist

Lines Matching refs:n_ineq

2338 	tab = isl_tab_alloc(bmap->ctx, 2 * bmap->n_eq + bmap->n_ineq + 1,
2381 for (i = 0; i < bmap->n_ineq; ++i) {
2952 cst = isl_vec_alloc(cgbr->tab->mat->ctx, bset->n_ineq);
2956 for (i = 0; i < bset->n_ineq; ++i) {
2968 for (i = 0; i < bset->n_ineq; ++i)
3006 for (i = 0; i < bset->n_ineq; ++i)
3370 if (isl_tab_extend_cons(tab, (cgbr->tab->bmap->n_ineq - first)/2) < 0)
3375 for (i = first; i < cgbr->tab->bmap->n_ineq; i += 2) {
3424 unsigned n_ineq;
3438 n_ineq = cgbr->tab->bmap->n_ineq;
3442 if (cgbr->tab->bmap->n_ineq > n_ineq &&
3443 propagate_equalities(cgbr, tab, n_ineq) < 0)
4530 for (i = 0; i < bmap->n_ineq; ++i) {
4570 for (j = 0; j < bmap->n_ineq; ++j) {
4627 table = isl_hash_table_alloc(ctx, bmap->n_ineq);
4642 for (i = 0; i < bmap->n_ineq; ++i) {
4663 if (i < bmap->n_ineq) {
4671 return isl_bool_ok(i < bmap->n_ineq);
4793 for (i = 0; i < bmap->n_ineq; ++i) {