isl_basic_set_sort_constraints: take into account all coefficients

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

if (P1 == P2 && P2 >= 0 && P2 <= 3)
  for (int c0 = 0; c0 <= min(-P2 + 4, 2); c0 += 1)
    for (int c2 = -P2 - c0 + 3 * floord(P2 + c0 - 1, 3) + 3; c2 <= 3; c2 += 3)
      s0(c0, c0, c2, c2);