reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
144 level = 0; 147 while (level >= 0) { 150 res = isl_tab_min(tab, B->row[1 + level], 151 bset->ctx->one, &min->el[level], NULL, 0); 156 isl_seq_neg(B->row[1 + level] + 1, 157 B->row[1 + level] + 1, dim); 158 res = isl_tab_min(tab, B->row[1 + level], 159 bset->ctx->one, &max->el[level], NULL, 0); 160 isl_seq_neg(B->row[1 + level] + 1, 161 B->row[1 + level] + 1, dim); 162 isl_int_neg(max->el[level], max->el[level]); 162 isl_int_neg(max->el[level], max->el[level]); 167 snap[level] = isl_tab_snap(tab); 169 isl_int_add_ui(min->el[level], min->el[level], 1); 169 isl_int_add_ui(min->el[level], min->el[level], 1); 171 if (empty || isl_int_gt(min->el[level], max->el[level])) { 171 if (empty || isl_int_gt(min->el[level], max->el[level])) { 172 level--; 174 if (level >= 0) 175 if (isl_tab_rollback(tab, snap[level]) < 0) 179 if (level == dim - 1 && callback->add == increment_counter) { 181 min->el[level], max->el[level])) 181 min->el[level], max->el[level])) 183 level--; 185 if (level >= 0) 186 if (isl_tab_rollback(tab, snap[level]) < 0) 190 isl_int_neg(B->row[1 + level][0], min->el[level]); 190 isl_int_neg(B->row[1 + level][0], min->el[level]); 191 if (isl_tab_add_valid_eq(tab, B->row[1 + level]) < 0) 193 isl_int_set_si(B->row[1 + level][0], 0); 194 if (level < dim - 1) { 195 ++level; 202 if (isl_tab_rollback(tab, snap[level]) < 0)