reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3448 get_rounded_sample_value(tab, var, -1, target); 3450 reached = var_reaches(tab, var, -1, *target, tmp); 3453 get_rounded_sample_value(tab, var, 1, target); 3455 reached = var_reaches(tab, var, 1, *target, tmp); 3458 get_rounded_sample_value(tab, var, -1, tmp); 3461 if (isl_tab_mark_empty(tab) < 0) 3466 if (isl_tab_extend_cons(tab, 1) < 0) 3468 eq = isl_vec_alloc(isl_tab_get_ctx(tab), 1 + tab->n_var); 3468 eq = isl_vec_alloc(isl_tab_get_ctx(tab), 1 + tab->n_var); 3471 pos = var - tab->var; 3472 isl_seq_clr(eq->el + 1, tab->n_var); 3475 r = isl_tab_add_eq(tab, eq->el);