reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2287 tab = isl_tab_alloc(bmap->ctx, 2 * bmap->n_eq + bmap->n_ineq + 1, 2289 if (!tab) 2292 tab->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); 2294 tab->n_param = isl_basic_set_total_dim(dom) - dom->n_div; 2295 tab->n_div = dom->n_div; 2296 tab->row_sign = isl_calloc_array(bmap->ctx, 2297 enum isl_tab_row_sign, tab->mat->n_row); 2298 if (tab->mat->n_row && !tab->row_sign) 2298 if (tab->mat->n_row && !tab->row_sign) 2302 if (isl_tab_mark_empty(tab) < 0) 2304 return tab; 2307 for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) { 2307 for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) { 2307 for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) { 2308 tab->var[i].is_nonneg = 1; 2309 tab->var[i].frozen = 1; 2311 o_var = 1 + tab->n_param; 2312 n_var = tab->n_var - tab->n_param - tab->n_div; 2312 n_var = tab->n_var - tab->n_param - tab->n_div; 2312 n_var = tab->n_var - tab->n_param - tab->n_div; 2317 tab = add_lexmin_valid_eq(tab, bmap->eq[i]); 2317 tab = add_lexmin_valid_eq(tab, bmap->eq[i]); 2321 if (!tab || tab->empty) 2321 if (!tab || tab->empty) 2322 return tab; 2324 if (bmap->n_eq && restore_lexmin(tab) < 0) 2330 tab = add_lexmin_ineq(tab, bmap->ineq[i]); 2330 tab = add_lexmin_ineq(tab, bmap->ineq[i]); 2334 if (!tab || tab->empty) 2334 if (!tab || tab->empty) 2335 return tab; 2337 return tab; 2339 isl_tab_free(tab);