llvm/polly/lib/External/isl/test_inputs/codegen/cloog/equality2.c

for (int c0 = 1; c0 <= 10000; c0 += 1)
  for (int c1 = 1000; c1 <= 1016; c1 += 1)
    for (int c2 = 1; c2 < 2 * c1 - 1998; c2 += 1) {
      if (c1 <= 1008 && c2 + 1999 == 2 * c1)
        S2(c0, c1, 2 * c1 - 1999, 1, c0, 2 * c1 - 1000, 1, 2, c0, c1 - 499, 2 * c1 - 1999, c0, 2 * c1 - 1999, c1 - 999, c1 - 999);
      if (c2 == 1 && c1 % 2 == 0)
        S1(c0, c1, 1, 2, c0, (c1 / 2) + 1, c1 - 999, c0, c1 - 999, (c1 / 2) - 499, (c1 / 2) - 499);
    }