isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / cloog / reservoir-lim-lam1.c

for (int c1 = -99; c1 <= 100; c1 += 1) {
  if (c1 <= 0)
    S1(1, -c1 + 1);
  for (int c3 = max(-2 * c1 + 3, 1); c3 <= min(-2 * c1 + 199, 199); c3 += 2) {
    S2((2 * c1 + c3 - 1) / 2, (c3 + 1) / 2);
    S1((2 * c1 + c3 + 1) / 2, (c3 + 1) / 2);
  }
  if (c1 >= 1)
    S2(100, -c1 + 101);
}