isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / cloog / reservoir-tang-xue1.c

for (int c1 = 0; c1 <= 9; c1 += 2)
  for (int c3 = 0; c3 <= min(4, c1 + 3); c3 += 2)
    for (int c5 = max(c1, 1); c5 <= min(c1 + 1, c1 - c3 + 4); c5 += 1)
      for (int c7 = max(-c1 + c3 + c5, 1); c7 <= min(4, -c1 + c3 + c5 + 1); c7 += 1)
        S1(c1 / 2, (-c1 + c3) / 2, -c1 + c5, -c3 + c7);