isl_tab_basic_map_partial_lexopt: detect modulos and integer divisions

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

a(0);
for (int c0 = 1; c0 <= 9; c0 += 1) {
  a(c0);
  b(c0 - 1);
}
b(9);