reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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
59 tab->var[i].index = i; 386 if (var->index == -1) 388 if (var->is_row && var->index >= r1) 389 var->index += r2; 390 if (!var->is_row && var->index >= d1) 391 var->index += d2; 401 if (var->index == -1) 404 if (var->index < r2) 405 var->index += r1; 407 var->index += row1; 409 if (var->index < d2) 410 var->index += d1; 412 var->index += col1; 594 if (!isl_int_is_neg(tab->mat->row[i][off + var->index])) 615 if (!isl_int_is_pos(tab->mat->row[i][off + var->index])) 670 if (var && j == var->index) 715 tr = tab->mat->row[var->index] + 2 + tab->M; 732 *row = r < 0 ? var->index : r; 778 isl_tab_var_from_row(tab, row1)->index = row1; 779 isl_tab_var_from_row(tab, row2)->index = row2; 829 u.var_index = tab->row_var[var->index]; 831 u.var_index = tab->col_var[var->index]; 974 isl_tab_var_from_row(tab, tab->n_row - 1)->index = -1; 1017 if (var->index < 0) 1176 var->index = row; 1179 var->index = col; 1215 if (!isl_int_is_zero(tab->mat->row[r][off+var->index])) 1219 r = pivot_row(tab, NULL, sign, var->index); 1223 return isl_tab_pivot(tab, r, var->index); 1272 while (!isl_int_is_pos(tab->mat->row[var->index][1])) { 1275 return isl_int_sgn(tab->mat->row[var->index][1]); 1328 while (row_is_neg(tab, var->index)) { 1337 return row_sgn(tab, var->index); 1349 while (isl_int_is_neg(tab->mat->row[var->index][1])) { 1353 if (row == var->index) /* manifestly unbounded */ 1358 return !isl_int_is_neg(tab->mat->row[var->index][1]); 1386 col = var->index; 1393 if (isl_int_is_neg(tab->mat->row[var->index][1])) { 1396 pivot_var->index == row) { 1408 while (!isl_int_is_neg(tab->mat->row[var->index][1])) { 1410 if (row == var->index) 1413 return isl_int_sgn(tab->mat->row[var->index][1]); 1422 if (!pivot_var->is_redundant && pivot_var->index == row) { 1462 col = var->index; 1469 if (row_at_most_neg_one(tab, var->index)) { 1472 pivot_var->index == row) { 1486 if (row == var->index) { 1498 } while (!row_at_most_neg_one(tab, var->index)); 1501 if (!pivot_var->is_redundant && pivot_var->index == row) 1522 r = tab->mat->row[var->index]; 1527 if (row == var->index) /* manifestly unbounded */ 1542 var_from_col(tab, col1)->index = col1; 1543 var_from_col(tab, col2)->index = col2; 1573 var_from_col(tab, tab->n_col - 1)->index = -1; 1609 if (row_is_manifestly_non_integral(tab, tab->var[i].index)) 1652 if (isl_int_is_zero(mat->row[var->index][off + j])) 1654 if (isl_int_is_pos(mat->row[var->index][off + j])) 1664 if (!temp_var && isl_tab_mark_redundant(tab, var->index) < 0) 1685 tab->con[r].index = tab->n_row; 1721 tab->row_var[tab->var[i + 1].index]++; 1723 tab->col_var[tab->var[i + 1].index]++; 1749 tab->row_var[tab->var[i].index]--; 1751 tab->col_var[tab->var[i].index]--; 1771 tab->var[r].index = tab->n_col; 1837 row = tab->mat->row[tab->con[r].index]; 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], 1866 tab->row_sign[tab->con[r].index] = isl_tab_row_unknown; 1944 if (isl_tab_row_is_redundant(tab, tab->con[r].index)) { 1945 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 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) 1974 while (isl_int_is_pos(tab->mat->row[var->index][1])) { 1984 if (!isl_int_is_zero(tab->mat->row[var->index][off + i])) 1988 if (isl_tab_pivot(tab, var->index, i) < 0) 2013 r = tab->con[r].index; 2067 r = var->index; 2084 if (isl_tab_kill_col(tab, var->index) < 0) 2105 row = tab->mat->row[tab->con[r].index]; 2149 row = var->index; 2195 if (isl_tab_kill_col(tab, var->index) < 0) 2538 row = tab->var[i].index; 2560 int row = tab->var[i].index; 2591 row = tab->var[i].index; 2613 isl_int_cdiv_q(*v, tab->mat->row[var->index][1], 2614 tab->mat->row[var->index][0]); 2616 isl_int_fdiv_q(*v, tab->mat->row[var->index][1], 2617 tab->mat->row[var->index][0]); 2676 if (drop_row(tab, tab->con[r].index) < 0) 2710 tab->con[r].index = tab->n_row; 2721 isl_int_set(row[0], tab->mat->row[var->index][0]); 2723 tab->mat->row[var->index] + 1, 1 + tab->n_col); 2727 isl_int_set_si(row[off + var->index], -1); 2779 if (var->is_row && (var->index < 0 || var->index < tab->n_redundant)) 2779 if (var->is_row && (var->index < 0 || var->index < tab->n_redundant)) 2782 if (!var->is_row && (var->index < 0 || var->index < tab->n_dead)) 2782 if (!var->is_row && (var->index < 0 || var->index < tab->n_dead)) 2794 isl_int_add(tab->mat->row[var->index][1], 2795 tab->mat->row[var->index][1], tab->mat->row[var->index][0]); 2795 tab->mat->row[var->index][1], tab->mat->row[var->index][0]); 2803 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) 2806 tab->mat->row[i][off + var->index]); 2857 isl_int_addmul(tab->mat->row[var->index][1], 2858 shift, tab->mat->row[var->index][0]); 2864 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) 2867 shift, tab->mat->row[i][off + var->index]); 2931 if (var->index < 0) 2933 if (var->is_row && var->index < tab->n_redundant) 2935 if (!var->is_row && var->index < tab->n_dead) 3028 index = tab->con[i].index; 3188 if (isl_tab_mark_redundant(tab, var->index) < 0) 3216 return tab->con[con].index < tab->n_dead; 3218 row = tab->con[con].index; 3260 if (row == var->index) { 3269 isl_int_mul(tab->mat->row[var->index][0], 3270 tab->mat->row[var->index][0], denom); 3278 isl_int_set(tab->dual->el[0], tab->mat->row[var->index][0]); 3285 pos = 2 + tab->M + tab->con[i].index; 3288 tab->mat->row[var->index][pos]); 3291 tab->mat->row[var->index][pos]); 3296 isl_int_set(*opt, tab->mat->row[var->index][1]); 3297 isl_int_set(*opt_denom, tab->mat->row[var->index][0]); 3325 return tab->con[con].is_row && tab->con[con].index < tab->n_redundant; 3347 row = var->index; 3372 if (row_is_big(tab, var->index)) 3374 isl_int_mul(*tmp, tab->mat->row[var->index][0], target); 3376 return isl_int_ge(tab->mat->row[var->index][1], *tmp); 3378 return isl_int_le(tab->mat->row[var->index][1], *tmp); 3412 if (row == var->index) 3500 if (var->is_row && row_is_big(tab, var->index)) 3612 isl_int_sub(tab->mat->row[var->index][1], 3613 tab->mat->row[var->index][1], tab->mat->row[var->index][0]); 3613 tab->mat->row[var->index][1], tab->mat->row[var->index][0]); 3623 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) 3626 tab->mat->row[i][off + var->index]); 3682 if (!var->is_row || var->index != tab->n_redundant - 1) 3699 return drop_col(tab, var->index); 3712 return drop_row(tab, var->index); 3814 row = var->index; 3994 row = tab->con[con].index; 4088 tab->var[i].index, 4098 tab->con[i].index,tools/polly/lib/External/isl/isl_tab_pip.c
708 r = tab->var[i].index; 722 col = tab->var[j].index; 730 col = tab->var[tab->n_var - tab->n_div+j].index; 842 int col = tab->var[i].index; 850 int col = tab->var[tab->n_var - tab->n_div + i].index; 882 col = tab->var[pos].index; 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; 1090 col = tab->var[i].index; 1101 col = tab->var[tab->n_var - tab->n_div + i].index; 1139 col = tab->var[i].index; 1150 col = tab->var[tab->n_var - tab->n_div + i].index; 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; 1343 if (tab->var[var].index == col) 1348 row = tab->var[var].index; 1465 col = tab->var[i].index; 1500 r = tab->con[r].index; 1585 row = tab->con[r1].index; 1618 if (isl_tab_kill_col(tab, tab->con[r1].index) < 0) 1621 if (isl_tab_kill_col(tab, tab->con[r2].index) < 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) 1675 isl_tab_row_is_redundant(tab, tab->con[r].index)) 1676 if (isl_tab_mark_redundant(tab, tab->con[r].index) < 0) 1696 col = tab->var[i].index; 1704 col = tab->var[tab->n_var - tab->n_div + i].index; 1761 row = tab->var[var].index; 1790 return var < 0 ? -1 : tab->var[var].index; 1828 r_row = tab->mat->row[tab->con[r].index]; 1843 tab->row_sign[tab->con[r].index] = isl_tab_row_neg; 1845 return tab->con[r].index; 1885 row = tab->var[var].index; 1955 row = tab->var[i].index; 2203 r_row = tab->mat->row[tab->con[r].index]; 2213 col = tab->var[i].index; 2222 col = tab->var[tab->n_var - tab->n_div + i].index; 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; 2257 tab->row_sign[tab->con[r].index] = isl_tab_row_neg; 2259 row = tab->con[r].index; 3272 col = tab->var[i].index; 3330 r = tab->con[r].index; 4965 row = tab->var[pos + i].index;