reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2967 if (isl_tab_sample_is_integer(cgbr->tab)) 2968 return isl_tab_get_sample_value(cgbr->tab); 2970 if (use_shifted(cgbr)) { 2973 sample = gbr_get_shifted_sample(cgbr); 2980 if (!cgbr->cone) { 2981 bset = isl_tab_peek_bset(cgbr->tab); 2982 cgbr->cone = isl_tab_from_recession_cone(bset, 0); 2983 if (!cgbr->cone) 2985 if (isl_tab_track_bset(cgbr->cone, 2989 if (isl_tab_detect_implicit_equalities(cgbr->cone) < 0) 2992 if (cgbr->cone->n_dead == cgbr->cone->n_col) { 2992 if (cgbr->cone->n_dead == cgbr->cone->n_col) { 2996 if (cgbr->tab->basis) { 2997 if (cgbr->tab->basis->n_col != 1 + cgbr->tab->n_var) { 2997 if (cgbr->tab->basis->n_col != 1 + cgbr->tab->n_var) { 2998 isl_mat_free(cgbr->tab->basis); 2999 cgbr->tab->basis = NULL; 3001 cgbr->tab->n_zero = 0; 3002 cgbr->tab->n_unbounded = 0; 3005 snap = isl_tab_snap(cgbr->tab); 3007 sample = isl_tab_sample(cgbr->tab); 3009 if (!sample || isl_tab_rollback(cgbr->tab, snap) < 0) { 3017 cone = isl_basic_set_dup(isl_tab_peek_bset(cgbr->cone)); 3019 cone = isl_basic_set_update_from_tab(cone, cgbr->cone); 3023 bset = isl_basic_set_dup(isl_tab_peek_bset(cgbr->tab)); 3024 bset = isl_basic_set_update_from_tab(bset, cgbr->tab);