reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
46 tab->var = isl_alloc_array(ctx, struct isl_tab_var, n_var); 47 if (n_var && !tab->var) 59 tab->var[i].index = i; 60 tab->var[i].is_row = 0; 61 tab->var[i].is_nonneg = 0; 62 tab->var[i].is_zero = 0; 63 tab->var[i].is_redundant = 0; 64 tab->var[i].frozen = 0; 65 tab->var[i].negated = 0; 157 var = isl_realloc_array(tab->mat->ctx, tab->var, 161 tab->var = var; 212 free(tab->var); 239 dup->var = isl_alloc_array(tab->mat->ctx, struct isl_tab_var, tab->max_var); 240 if (tab->max_var && !dup->var) 243 dup->var[i] = tab->var[i]; 243 dup->var[i] = tab->var[i]; 467 prod->var = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var, 469 if ((tab1->max_var + tab2->max_var) && !prod->var) 472 prod->var[i] = tab1->var[i]; 472 prod->var[i] = tab1->var[i]; 473 update_index1(&prod->var[i], r1, r2, d1, d2); 476 prod->var[tab1->n_var + i] = tab2->var[i]; 476 prod->var[tab1->n_var + i] = tab2->var[i]; 477 update_index2(&prod->var[tab1->n_var + i], 566 return &tab->var[i]; 1607 if (!tab->var[i].is_row) 1609 if (row_is_manifestly_non_integral(tab, tab->var[i].index)) 1719 tab->var[i + 1] = tab->var[i]; 1719 tab->var[i + 1] = tab->var[i]; 1720 if (tab->var[i + 1].is_row) 1721 tab->row_var[tab->var[i + 1].index]++; 1723 tab->col_var[tab->var[i + 1].index]++; 1747 tab->var[i] = tab->var[i + 1]; 1747 tab->var[i] = tab->var[i + 1]; 1748 if (tab->var[i + 1].is_row) 1749 tab->row_var[tab->var[i].index]--; 1751 tab->col_var[tab->var[i].index]--; 1771 tab->var[r].index = tab->n_col; 1772 tab->var[r].is_row = 0; 1773 tab->var[r].is_nonneg = 0; 1774 tab->var[r].is_zero = 0; 1775 tab->var[r].is_redundant = 0; 1776 tab->var[r].frozen = 0; 1777 tab->var[r].negated = 0; 1784 if (isl_tab_push_var(tab, isl_tab_undo_allocate, &tab->var[r]) < 0) 1842 if (tab->var[i].is_zero) 1844 if (tab->var[i].is_row) { 1846 row[0], tab->mat->row[tab->var[i].index][0]); 1850 row[0], tab->mat->row[tab->var[i].index][0]); 1853 b, tab->mat->row[tab->var[i].index] + 1, 1856 isl_int_addmul(row[off + tab->var[i].index], 2311 if (!tab->var[i].is_nonneg) 2361 tab->var[r].is_nonneg = 1; 2366 if (isl_tab_push_var(tab, isl_tab_undo_bmap_div, &tab->var[r]) < 0) 2536 if (!tab->var[i].is_row) 2538 row = tab->var[i].index; 2557 if (!tab->var[i].is_row) 2560 int row = tab->var[i].index; 2587 if (!tab->var[i].is_row) { 2591 row = tab->var[i].index; 2843 var = &tab->var[pos]; 3471 pos = var - tab->var; 3537 return get_constant(tab, &tab->var[var], value); 3556 if (get_constant(tab, &tab->var[i], NULL) < 0) 4087 fprintf(out, "%c%d%s", tab->var[i].is_row ? 'r' : 'c', 4088 tab->var[i].index, 4089 tab->var[i].is_zero ? " [=0]" : 4090 tab->var[i].is_redundant ? " [R]" : "");tools/polly/lib/External/isl/isl_tab_pip.c
701 if (!tab->var[i].is_row) { 708 r = tab->var[i].index; 720 if (tab->var[j].is_row) 722 col = tab->var[j].index; 728 if (tab->var[tab->n_var - tab->n_div+j].is_row) 730 col = tab->var[tab->n_var - tab->n_div+j].index; 839 if (tab->var[i].is_row) 842 int col = tab->var[i].index; 847 if (tab->var[tab->n_var - tab->n_div + i].is_row) 850 int col = tab->var[tab->n_var - tab->n_div + i].index; 880 if (tab->var[pos].is_row) 882 col = tab->var[pos].index; 1041 if (tab->var[tab->n_var - tab->n_div + div].is_row) { 1042 int drow = tab->var[tab->n_var - tab->n_div + div].index; 1051 int dcol = tab->var[tab->n_var - tab->n_div + div].index; 1088 if (tab->var[i].is_row) 1090 col = tab->var[i].index; 1093 if (!tab->var[i].is_nonneg) 1099 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1101 col = tab->var[tab->n_var - tab->n_div + i].index; 1104 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1137 if (tab->var[i].is_row) 1139 col = tab->var[i].index; 1142 if (!tab->var[i].is_nonneg) 1148 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1150 col = tab->var[tab->n_var - tab->n_div + i].index; 1153 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1189 if (!tab->var[i].is_row) { 1190 if (tab->var[i].index == col1) 1192 if (tab->var[i].index == col2) 1197 if (tab->var[i].index == row) 1200 r = tab->mat->row[tab->var[i].index] + 2 + tab->M; 1342 if (!tab->var[var].is_row) { 1343 if (tab->var[var].index == col) 1348 row = tab->var[var].index; 1463 if (tab->var[i].is_row) 1465 col = tab->var[i].index; 1694 if (tab->var[i].is_row) 1696 col = tab->var[i].index; 1702 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1704 col = tab->var[tab->n_var - tab->n_div + i].index; 1759 if (!tab->var[var].is_row) 1761 row = tab->var[var].index; 1790 return var < 0 ? -1 : tab->var[var].index; 1885 row = tab->var[var].index; 1953 if (!tab->var[i].is_row) 1955 row = tab->var[i].index; 2047 nonneg = tab->var[r].is_nonneg; 2048 tab->var[r].frozen = 1; 2105 tab->var[r].is_nonneg = 1; 2106 tab->var[r].frozen = 1; 2211 if (tab->var[i].is_row) 2213 col = tab->var[i].index; 2220 if (tab->var[tab->n_var - tab->n_div + i].is_row) 2222 col = tab->var[tab->n_var - tab->n_div + i].index; 2236 if (tab->var[tab->n_var - tab->n_div + d].is_row) { 2238 int d_row = tab->var[tab->n_var - tab->n_div + d].index; 2249 col = tab->var[tab->n_var - tab->n_div + d].index; 2308 tab->var[i].is_nonneg = 1; 2309 tab->var[i].frozen = 1; 2718 tab->var[j].is_nonneg = 1; 3270 if (tab->var[i].is_row) 3272 col = tab->var[i].index; 3422 &cgbr->cone->var[r]) < 0) 4960 if (!tab->var[pos + i].is_row) { 4965 row = tab->var[pos + i].index;