isl_ast_expr_from_aff: try harder to use isl_ast_op_pdiv_{q,r}

[isl.git] / test_inputs / codegen / cloog / reservoir-cholesky2.c

for (int c1 = 2; c1 <= 3 * M - 1; c1 += 1) {
  if ((c1 - 2) % 3 == 0)
    S1((c1 + 1) / 3);
  for (int c3 = (c1 + 1) / 3 + 1; c3 <= min(c1 - 2, M); c3 += 1)
    for (int c5 = c1 - (c1 + c3) / 2 + 1; c5 <= min(c1 - c3, c3); c5 += 1)
      S3(c1 - c3 - c5 + 1, c3, c5);
  if (c1 + 1 >= 3 * ((c1 - (c1 + 3) / 3 + 1) / 2) && 3 * ((c1 - (c1 + 3) / 3 + 1) / 2) + 1 >= c1)
    for (int c3 = ((c1 - (c1 + 3) / 3 + 1) % 2) + (c1 + 3) / 3 + 1; c3 <= min(c1, M); c3 += 2)
      S2((c1 - c3 + 2) / 2, c3);
}