isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / omega / x-0.c

for (int c0 = 1; c0 <= 11; c0 += 1) {
  for (int c1 = max(1, -c0 + 9); c1 <= min(-c0 + 12, c0 - 4); c1 += 1)
    s0(c1, c0 + c1 - 8);
  for (int c1 = max(c0 - 3, 1); c1 <= min(-c0 + 8, c0); c1 += 1)
    s1(c1, c0 - c1 + 1);
  for (int c1 = max(c0 - 3, -c0 + 9); c1 <= min(-c0 + 12, c0); c1 += 1) {
    s0(c1, c0 + c1 - 8);
    s1(c1, c0 - c1 + 1);
  }
  for (int c1 = max(c0 - 3, -c0 + 13); c1 <= min(8, c0); c1 += 1)
    s1(c1, c0 - c1 + 1);
  for (int c1 = max(c0 + 1, -c0 + 9); c1 <= min(-c0 + 12, 8); c1 += 1)
    s0(c1, c0 + c1 - 8);
}