isl_ast_codegen.c: update_unrolling_lower_bound: check for overflow

[isl.git] / test_inputs / codegen / unroll6.c

{
  if (((-t1 + 128) % 128) + nn >= 128 * g + 130 && 128 * g + 127 >= (-t1 + 128) % 128 && nn >= 128 * g + 6)
    for (int c1 = 393214; c1 < nn - 1; c1 += 393216)
      A(c1, ((t1 + 127) % 128) + 128 * g + 1, ((t1 + 127) % 128) + 1);
  if (nn >= t1 + 128 * g + 130 && t1 + 128 * g + 127 >= 0 && t1 <= 2 && t1 >= 1)
    for (int c1 = 393214; c1 < nn - 1; c1 += 393216)
      A(c1, t1 + 128 * g + 128, t1 + 128);
}