reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2394 if (tab->con[n_eq + r].is_redundant) 2405 tab->con[n_eq + r].is_redundant = 1;tools/polly/lib/External/isl/isl_sample.c
167 if (tab->con[i].is_row) 169 if (tab->con[i].index >= 0 && tab->con[i].index >= tab->n_dead) 169 if (tab->con[i].index >= 0 && tab->con[i].index >= tab->n_dead)tools/polly/lib/External/isl/isl_tab.c
49 tab->con = isl_alloc_array(ctx, struct isl_tab_var, n_row); 50 if (n_row && !tab->con) 117 con = isl_realloc_array(tab->mat->ctx, tab->con, 121 tab->con = con; 213 free(tab->con); 244 dup->con = isl_alloc_array(tab->mat->ctx, struct isl_tab_var, tab->max_con); 245 if (tab->max_con && !dup->con) 248 dup->con[i] = tab->con[i]; 248 dup->con[i] = tab->con[i]; 481 prod->con = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var, 483 if ((tab1->max_con + tab2->max_con) && !prod->con) 486 prod->con[i] = tab1->con[i]; 486 prod->con[i] = tab1->con[i]; 487 update_index1(&prod->con[i], r1, r2, d1, d2); 490 prod->con[tab1->n_con + i] = tab2->con[i]; 490 prod->con[tab1->n_con + i] = tab2->con[i]; 491 update_index2(&prod->con[tab1->n_con + i], 568 return &tab->con[~i]; 1014 var = &tab->con[con]; 1291 var = &tab->con[con]; 1685 tab->con[r].index = tab->n_row; 1686 tab->con[r].is_row = 1; 1687 tab->con[r].is_nonneg = 0; 1688 tab->con[r].is_zero = 0; 1689 tab->con[r].is_redundant = 0; 1690 tab->con[r].frozen = 0; 1691 tab->con[r].negated = 0; 1696 if (isl_tab_push_var(tab, isl_tab_undo_allocate, &tab->con[r]) < 0) 1837 row = tab->mat->row[tab->con[r].index]; 1866 tab->row_sign[tab->con[r].index] = isl_tab_row_unknown; 1941 tab->con[r].is_nonneg = 1; 1942 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1944 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1945 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1950 sgn = restore_row(tab, &tab->con[r]); 1955 if (tab->con[r].is_row && isl_tab_row_is_redundant(tab, tab->con[r].index)) 1955 if (tab->con[r].is_row && isl_tab_row_is_redundant(tab, tab->con[r].index)) 1956 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 2013 r = tab->con[r].index; 2066 var = &tab->con[r]; 2105 row = tab->mat->row[tab->con[r].index]; 2148 var = &tab->con[r]; 2477 tab->con[r].is_nonneg = 1; 2478 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 2669 if (!tab->con[r].is_row) 2676 if (drop_row(tab, tab->con[r].index) < 0) 2710 tab->con[r].index = tab->n_row; 2711 tab->con[r].is_row = 1; 2712 tab->con[r].is_nonneg = 0; 2713 tab->con[r].is_zero = 0; 2714 tab->con[r].is_redundant = 0; 2715 tab->con[r].frozen = 0; 2716 tab->con[r].negated = 0; 2733 sgn = sign_of_max(tab, &tab->con[r]); 2743 tab->con[r].is_nonneg = 1; 2745 if (close_row(tab, &tab->con[r], 1) < 0) 2777 var = &tab->con[con]; 2887 var = &tab->con[con]; 2903 return cut_to_hyperplane(tab, &tab->con[con]); 2930 var = &tab->con[i]; 3028 index = tab->con[i].index; 3031 p = tab->con[i].is_row ? tab->row_var : tab->col_var; 3052 var = tab->con[last]; 3054 tab->con[i] = tab->con[i - 1]; 3054 tab->con[i] = tab->con[i - 1]; 3058 tab->con[first] = var; 3211 if (tab->con[con].is_zero) 3213 if (tab->con[con].is_redundant) 3215 if (!tab->con[con].is_row) 3216 return tab->con[con].index < tab->n_dead; 3218 row = tab->con[con].index; 3256 var = &tab->con[r]; 3281 if (tab->con[i].is_row) { 3285 pos = 2 + tab->M + tab->con[i].index; 3286 if (tab->con[i].negated) 3321 if (tab->con[con].is_zero) 3323 if (tab->con[con].is_redundant) 3325 return tab->con[con].is_row && tab->con[con].index < tab->n_redundant; 3325 return tab->con[con].is_row && tab->con[con].index < tab->n_redundant; 3994 row = tab->con[con].index; 4001 int nonneg = at_least_zero(tab, &tab->con[con]); 4009 int red = con_is_redundant(tab, &tab->con[con]); 4097 fprintf(out, "%c%d%s", tab->con[i].is_row ? 'r' : 'c', 4098 tab->con[i].index, 4099 tab->con[i].is_zero ? " [=0]" : 4100 tab->con[i].is_redundant ? " [R]" : "");tools/polly/lib/External/isl/isl_tab_pip.c
1500 r = tab->con[r].index; 1503 tab->con[r].is_nonneg = 1; 1504 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1510 tab->con[r].is_nonneg = 1; 1511 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1581 tab->con[r1].is_nonneg = 1; 1582 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r1]) < 0) 1585 row = tab->con[r1].index; 1608 tab->con[r2].is_nonneg = 1; 1609 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r2]) < 0) 1617 if (!tab->con[r1].is_row) { 1618 if (isl_tab_kill_col(tab, tab->con[r1].index) < 0) 1620 } else if (!tab->con[r2].is_row) { 1621 if (isl_tab_kill_col(tab, tab->con[r2].index) < 0) 1663 tab->con[r].is_nonneg = 1; 1664 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1666 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1667 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1674 if (!tab->empty && tab->con[r].is_row && 1675 isl_tab_row_is_redundant(tab, tab->con[r].index)) 1676 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1828 r_row = tab->mat->row[tab->con[r].index]; 1839 tab->con[r].is_nonneg = 1; 1840 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1843 tab->row_sign[tab->con[r].index] = isl_tab_row_neg; 1845 return tab->con[r].index; 2203 r_row = tab->mat->row[tab->con[r].index]; 2253 tab->con[r].is_nonneg = 1; 2254 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 2257 tab->row_sign[tab->con[r].index] = isl_tab_row_neg; 2259 row = tab->con[r].index; 2426 var = &context_tab->con[context_tab->n_con - 1]; 2712 var = &context_tab->con[context_tab->n_con - 1]; 3330 r = tab->con[r].index;tools/polly/lib/External/isl/isl_vertices.c
615 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) 616 tab->con[i].frozen = 0; 649 tab->con[i].frozen = 1; 690 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) 691 tab->con[i].frozen = 0; 719 tab->con[i].frozen = 1; 742 if (tab->con[i].frozen) 744 if (tab->con[i].is_redundant) 802 if (tab->con[i].frozen) 804 if (tab->con[i].is_redundant)