reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
126 dim = tab->n_var; 151 lp->dim = tab->n_var;tools/polly/lib/External/isl/basis_reduction_templ.c
84 dim = tab->n_var; 337 tab->basis = isl_mat_identity(bset->ctx, 1 + tab->n_var);tools/polly/lib/External/isl/isl_affine_hull.c
261 dim = tab->n_var; 411 dim = tab->n_var; 619 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error); 625 sample = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 661 isl_seq_normalize(tab->mat->ctx, hull->eq[j], 1 + tab->n_var);tools/polly/lib/External/isl/isl_coalesce.c
2778 ineq = isl_vec_alloc(isl_tab_get_ctx(info->tab), 1 + info->tab->n_var); 2781 isl_seq_clr(ineq->el + 1, info->tab->n_var); 2938 extra_var = total - info->tab->n_var; 3517 extra_var = n - (info->tab->n_var - dim);tools/polly/lib/External/isl/isl_sample.c
157 n_eq = tab->n_var - tab->n_col + tab->n_dead; 159 return isl_mat_alloc(tab->mat->ctx, 0, tab->n_var); 160 if (n_eq == tab->n_var) 161 return isl_mat_identity(tab->mat->ctx, tab->n_var); 163 eq = isl_mat_alloc(tab->mat->ctx, n_eq, tab->n_var); 172 isl_seq_cpy(eq->row[j], bset->eq[i] + 1, tab->n_var); 175 bset->ineq[i - bset->n_eq] + 1, tab->n_var); 199 tab->n_zero = n_eq = tab->n_var - tab->n_col + tab->n_dead; 200 if (tab->empty || n_eq == 0 || n_eq == tab->n_var) 201 return isl_mat_identity(tab->mat->ctx, 1 + tab->n_var); 236 unsigned dim = tab->n_var; 291 if (++level >= tab->n_var - tab->n_unbounded) 396 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, 398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1, 402 dim = tab->n_var; 405 if (tab->n_unbounded == tab->n_var) { 1013 U = isl_mat_drop_cols(U, 0, tab->n_var - tab->n_unbounded); 1019 row = isl_vec_alloc(bset->ctx, tab_cone->n_var); 1022 isl_seq_cpy(row->el, bset->ineq[i] + 1, tab_cone->n_var); 1085 tab->n_unbounded = tab->n_var - (eq->n_row - tab->n_zero);tools/polly/lib/External/isl/isl_tab.c
73 tab->n_var = n_var; 156 if (tab->max_var < tab->n_var + n_new) { 158 struct isl_tab_var, tab->n_var + n_new); 162 tab->max_var = tab->n_var + n_new; 242 for (i = 0; i < tab->n_var; ++i) 283 dup->n_var = tab->n_var; 283 dup->n_var = tab->n_var; 471 for (i = 0; i < tab1->n_var; ++i) { 475 for (i = 0; i < tab2->n_var; ++i) { 476 prod->var[tab1->n_var + i] = tab2->var[i]; 477 update_index2(&prod->var[tab1->n_var + i], 507 t += tab1->n_var; 524 t += tab1->n_var; 536 prod->n_var = tab1->n_var + tab2->n_var; 536 prod->n_var = tab1->n_var + tab2->n_var; 536 prod->n_var = tab1->n_var + tab2->n_var; 872 tab->samples = isl_mat_alloc(tab->mat->ctx, 1, 1 + tab->n_var); 1606 for (i = 0; i < tab->n_var; ++i) { 1711 if (tab->n_var >= tab->max_var) 1714 if (first > tab->n_var) 1718 for (i = tab->n_var - 1; i >= first; --i) { 1726 tab->n_var++; 1740 if (first >= tab->n_var) 1744 tab->n_var--; 1746 for (i = first; i < tab->n_var; ++i) { 1798 return isl_tab_insert_var(tab, tab->n_var); 1841 for (i = 0; i < tab->n_var; ++i) { 1858 if (tab->M && i >= tab->n_param && i < tab->n_var - tab->n_div) 2160 isl_seq_neg(eq, eq, 1 + tab->n_var); 2162 isl_seq_neg(eq, eq, 1 + tab->n_var); 2306 for (i = 0; i < tab->n_var; ++i) { 2339 if (div->size != 1 + 1 + tab->n_var) 2345 o_div = tab->n_var - n_div; 2346 if (pos < o_div || pos > tab->n_var) 2382 return isl_tab_insert_div(tab, tab->n_var, div, NULL, NULL); 2534 for (i = 0; i < tab->n_var; ++i) { 2551 vec = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 2556 for (i = 0; i < tab->n_var; ++i) { 2578 vec = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 2585 for (i = 0; i < tab->n_var; ++i) { 3468 eq = isl_vec_alloc(isl_tab_get_ctx(tab), 1 + tab->n_var); 3472 isl_seq_clr(eq->el + 1, tab->n_var); 3531 if (var < 0 || var >= tab->n_var) 3555 for (i = 0; i < tab->n_var; ++i) { 3763 off = tab->n_var - isl_basic_map_dim(tab->bmap, isl_dim_div); 4082 for (i = 0; i < tab->n_var; ++i) { 4085 i == tab->n_var - tab->n_div) ? "; "tools/polly/lib/External/isl/isl_tab_pip.c
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; 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; 877 tab->n_var - tab->n_div + i - tab->n_param; 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; 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) 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) 1185 for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) { 1232 if (index >= tab->n_var - tab->n_div) 1341 for (var = tab->n_param; var < tab->n_var - tab->n_div; ++var) { 1356 if (var >= tab->n_var - tab->n_div) 1461 for (i = tab->n_var - tab->n_div - 1; i >= 0 && i >= tab->n_param; --i) { 1506 isl_seq_neg(eq, eq, 1 + tab->n_var); 1603 isl_seq_neg(eq, eq, 1 + tab->n_var); 1629 isl_seq_neg(eq, eq, 1 + tab->n_var); 1631 isl_seq_neg(eq, eq, 1 + tab->n_var); 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; 1756 for (; var < tab->n_var - tab->n_div; ++var) { 1917 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error); 1923 1 + tab->n_var, &v); 1951 for (i = 0; i < tab->n_var; ++i) { 2016 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1); 2022 1 + tab->n_var, &v); 2051 tab->n_sample, 1 + tab->n_var); 2062 1 + tab->n_var - 1, 1); 2091 pos = context_tab->n_var - context->n_unknown; 2098 pos = tab->n_var - context->n_unknown; 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; 2231 tab->col_var[i] >= tab->n_var - tab->n_div)) 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; 2307 for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) { 2312 n_var = tab->n_var - tab->n_param - tab->n_div; 2523 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, 2529 1 + tab->n_var, &tmp); 2694 if (context_tab->n_var == 0) 2697 ineq = isl_vec_alloc(tab->mat->ctx, 1 + context_tab->n_var); 2708 for (i = 0; i < context_tab->n_var; ++i) { 2717 j = i - tab->n_param + tab->n_var - tab->n_div; 2726 if (context_tab->M && n == context_tab->n_var) { 2997 if (cgbr->tab->basis->n_col != 1 + cgbr->tab->n_var) { 3264 if (tab->n_var == 0) 3267 for (i = tab->n_var - 1; i >= 0; --i) { 3268 if (i >= tab->n_param && i < tab->n_var - tab->n_div) 3307 eq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 3315 tab->n_var - tab->n_param - tab->n_div); 3323 isl_seq_cpy(eq->el + 1 + tab->n_var - tab->n_div, 3408 o_div = cgbr->cone->n_var - n_div; 4226 + tab->n_param - (tab->n_var - tab->n_div); 5099 v = isl_vec_alloc(ctx, 1 + tab->n_var); 5208 data->v = isl_vec_alloc(ctx, 1 + data->tab->n_var); 5560 return tl ? tl->tab->n_var : -1; 5577 n_var = tl->tab->n_var;tools/polly/lib/External/isl/isl_vertices.c
701 todo->constraint = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 704 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var);