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

if (m >= 1) {
  S1(0, 1, 1, 1);
  if (m >= 2) {
    S4(0, 1, 2, 2, 1, 1, 2, 2);
    S3(0, 1, 1, 2, 1, 1, 1, 2);
    S2(0, 1, 1, 1, 1, 1, 2, 1);
  }
  S8(0, 1);
  for (int c0 = 1; c0 < 2 * m - 1; c0 += 1) {
    if (2 * m >= c0 + 3) {
      if (c0 + 1 == m) {
        S5(m - 2, 1, m - 1, 1, m - 1, 1, m, 1);
        S1(m - 1, 1, m, 1);
        S3(m - 1, 1, m, 2, m, 1, m, 2);
      } else if (c0 >= m) {
        S5(c0 - 1, -m + c0 + 2, c0, -m + c0 + 2, m - 1, -m + c0 + 2, m, -m + c0 + 2);
        S6(c0 - 1, -m + c0 + 1, c0, -m + c0 + 2, m, -m + c0 + 1, m, -m + c0 + 2);
        S1(c0, -m + c0 + 2, m, -m + c0 + 2);
        S3(c0, -m + c0 + 2, c0 + 1, -m + c0 + 3, m, -m + c0 + 2, m, -m + c0 + 3);
      } else {
        S5(c0 - 1, 1, c0, 1, c0, 1, c0 + 1, 1);
        S1(c0, 1, c0 + 1, 1);
        S3(c0, 1, c0 + 1, 2, c0 + 1, 1, c0 + 1, 2);
        S4(c0, 1, c0 + 2, 2, c0 + 1, 1, c0 + 2, 2);
        S2(c0, 1, c0 + 1, 1, c0 + 1, 1, c0 + 2, 1);
      }
      for (int c1 = max(2, -m + c0 + 3); c1 <= min(m - 1, c0); c1 += 1) {
        S5(c0 - 1, c1, c0, c1, c0 - c1 + 1, c1, c0 - c1 + 2, c1);
        S6(c0 - 1, c1 - 1, c0, c1, c0 - c1 + 2, c1 - 1, c0 - c1 + 2, c1);
        S7(c0 - 1, c1 - 1, c0 + 1, c1, c0 - c1 + 2, c1 - 1, c0 - c1 + 3, c1);
        S1(c0, c1, c0 - c1 + 2, c1);
        S3(c0, c1, c0 + 1, c1 + 1, c0 - c1 + 2, c1, c0 - c1 + 2, c1 + 1);
        S4(c0, c1, c0 + 2, c1 + 1, c0 - c1 + 2, c1, c0 - c1 + 3, c1 + 1);
        S2(c0, c1, c0 + 1, c1, c0 - c1 + 2, c1, c0 - c1 + 3, c1);
      }
      if (c0 + 1 == m) {
        S6(m - 2, m - 1, m - 1, m, 1, m - 1, 1, m);
        S7(m - 2, m - 1, m, m, 1, m - 1, 2, m);
        S1(m - 1, m, 1, m);
        S2(m - 1, m, m, m, 1, m, 2, m);
      } else if (c0 >= m) {
        S5(c0 - 1, m, c0, m, -m + c0 + 1, m, -m + c0 + 2, m);
        S6(c0 - 1, m - 1, c0, m, -m + c0 + 2, m - 1, -m + c0 + 2, m);
        S7(c0 - 1, m - 1, c0 + 1, m, -m + c0 + 2, m - 1, -m + c0 + 3, m);
        S1(c0, m, -m + c0 + 2, m);
        S2(c0, m, c0 + 1, m, -m + c0 + 2, m, -m + c0 + 3, m);
      } else {
        S6(c0 - 1, c0, c0, c0 + 1, 1, c0, 1, c0 + 1);
        S7(c0 - 1, c0, c0 + 1, c0 + 1, 1, c0, 2, c0 + 1);
        S1(c0, c0 + 1, 1, c0 + 1);
        S3(c0, c0 + 1, c0 + 1, c0 + 2, 1, c0 + 1, 1, c0 + 2);
        S4(c0, c0 + 1, c0 + 2, c0 + 2, 1, c0 + 1, 2, c0 + 2);
        S2(c0, c0 + 1, c0 + 1, c0 + 1, 1, c0 + 1, 2, c0 + 1);
      }
    } else {
      S5(2 * m - 3, m, 2 * m - 2, m, m - 1, m, m, m);
      S6(2 * m - 3, m - 1, 2 * m - 2, m, m, m - 1, m, m);
      S1(2 * m - 2, m, m, m);
    }
    for (int c2 = max(1, -m + c0 + 2); c2 <= min(m, c0 + 1); c2 += 1)
      S8(c0, c2);
  }
}