Searched refs:n_dead (Results 1 – 5 of 5) sorted by relevance
77 tab->n_dead = 0; in isl_tab_alloc()287 dup->n_dead = tab->n_dead; in isl_tab_dup()457 d1 = tab1->n_dead; in isl_tab_product()458 d2 = tab2->n_dead; in isl_tab_product()540 prod->n_dead = tab1->n_dead + tab2->n_dead; in isl_tab_product()718 for (j = tab->n_dead; j < tab->n_col; ++j) { in find_pivot()757 for (i = tab->n_dead; i < tab->n_col; ++i) { in isl_tab_row_is_redundant()1566 if (col != tab->n_dead) in isl_tab_kill_col()1567 swap_cols(tab, col, tab->n_dead); in isl_tab_kill_col()1568 tab->n_dead++; in isl_tab_kill_col()[all …]
162 n_eq = tab->n_var - tab->n_col + tab->n_dead; in tab_equalities()174 if (tab->con[i].index >= 0 && tab->con[i].index >= tab->n_dead) in tab_equalities()204 tab->n_zero = n_eq = tab->n_var - tab->n_col + tab->n_dead; in initial_basis()1095 if (tab_cone->n_col == tab_cone->n_dead) { in isl_tab_set_initial_basis_with_cone()
1278 for (j = tab->n_dead; j < tab->n_col; ++j) { in lexmin_pivot_col()1348 for (col = tab->n_dead; col < tab->n_col; ++col) { in check_lexpos()1398 for (j = tab->n_dead; j < tab->n_col; ++j) { in report_conflict()1476 if (col <= tab->n_dead) in last_var_col_or_int_par_col()1481 for (i = tab->n_dead; i < tab->n_col; ++i) { in last_var_col_or_int_par_col()1543 return isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, in is_constant()1544 tab->n_col - tab->n_dead) == -1; in is_constant()1555 for (col = tab->n_dead; col < tab->n_col; ++col) { in is_parametric_constant()1729 for (i = tab->n_dead; i < tab->n_col; ++i) { in integer_variable()3023 if (cgbr->cone->n_dead == cgbr->cone->n_col) { in gbr_get_sample()[all …]
139 unsigned n_dead; member
461 if (tab->n_dead == nvar) { in isl_basic_set_compute_vertices()597 if (tab->n_dead) { in can_intersect()