isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / cloog / mod3.c

for (int c0 = max(32 * h0 - 1991, 0); c0 <= min(999, 32 * h0 + 31); c0 += 1)
  if ((32 * h0 - c0 + 32) % 64 >= 1)
    for (int c1 = 0; c1 <= 999; c1 += 1)
      S1(c0, c1);