Searched refs:strict_redundant (Results 1 – 3 of 3) sorted by relevance
173 unsigned strict_redundant : 1; member
79 tab->strict_redundant = 0; in isl_tab_alloc()291 dup->strict_redundant = 0; in isl_tab_dup()544 prod->strict_redundant = tab1->strict_redundant || tab2->strict_redundant; in isl_tab_product()752 if (tab->strict_redundant && isl_int_is_zero(tab->mat->row[row][1])) in isl_tab_row_is_redundant()
416 tab->strict_redundant = 1; in isl_basic_set_compute_vertices()