isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / omega / ts1d-check-sblock-0.c

{
  for (int c1 = 0; c1 <= 1; c1 += 1)
    if (c1 == 1) {
      s0(1, 1, 1, 0, 0);
      s0(1, 1, 1, N - 1, 0);
    } else
      for (int c3 = 0; c3 < N; c3 += 1)
        s0(1, 0, 1, c3, 0);
  for (int c1 = 0; c1 <= floord(T - 1, 1000); c1 += 1)
    for (int c2 = 1000 * c1 + 1; c2 <= min(N + T - 3, N + 1000 * c1 + 997); c2 += 1)
      for (int c3 = max(-N - 1000 * c1 + c2 + 2, 0); c3 <= min(min(999, T - 1000 * c1 - 1), -1000 * c1 + c2 - 1); c3 += 1)
        s1(2, 1000 * c1 + c3, 1, -1000 * c1 + c2 - c3, 1);
}