reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4070 if (!tab) { 4075 tab->n_redundant, tab->n_dead); 4075 tab->n_redundant, tab->n_dead); 4076 if (tab->rational) 4078 if (tab->empty) 4082 for (i = 0; i < tab->n_var; ++i) { 4084 fprintf(out, (i == tab->n_param || 4085 i == tab->n_var - tab->n_div) ? "; " 4085 i == tab->n_var - tab->n_div) ? "; " 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]" : ""); 4094 for (i = 0; i < tab->n_con; ++i) { 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]" : ""); 4104 for (i = 0; i < tab->n_row; ++i) { 4108 if (tab->row_sign) { 4109 if (tab->row_sign[i] == isl_tab_row_unknown) 4111 else if (tab->row_sign[i] == isl_tab_row_neg) 4113 else if (tab->row_sign[i] == isl_tab_row_pos) 4118 fprintf(out, "r%d: %d%s%s", i, tab->row_var[i], 4119 isl_tab_var_from_row(tab, i)->is_nonneg ? " [>=0]" : "", sign); 4123 for (i = 0; i < tab->n_col; ++i) { 4126 fprintf(out, "c%d: %d%s", i, tab->col_var[i], 4127 var_from_col(tab, i)->is_nonneg ? " [>=0]" : ""); 4130 r = tab->mat->n_row; 4131 tab->mat->n_row = tab->n_row; 4131 tab->mat->n_row = tab->n_row; 4132 c = tab->mat->n_col; 4133 tab->mat->n_col = 2 + tab->M + tab->n_col; 4133 tab->mat->n_col = 2 + tab->M + tab->n_col; 4133 tab->mat->n_col = 2 + tab->M + tab->n_col; 4134 isl_mat_print_internal(tab->mat, out, indent); 4135 tab->mat->n_row = r; 4136 tab->mat->n_col = c; 4137 if (tab->bmap) 4138 isl_basic_map_print_internal(tab->bmap, out, indent);