isl_basic_map_simplify: reduce coefficients of integer divisions

[isl.git] / test_inputs / codegen / cloog / jacobi-shared.c

if (((t1 + 31) % 32) + g2 >= 2 && N >= ((t1 + 31) % 32) + g2 + 2 && (h0 + 1) % 2 == 0)
  for (int c0 = max(((t0 + 15) % 16) + 1, ((g1 + t0 + 13) % 16) - g1 + 3); c0 <= min(32, N - g1 - 1); c0 += 16)
    S1(g1 + c0 - 1, -((g2 - t1 + 32) % 32) + g2 + 31);