1for (int c0 = max(exprVar2 + 1, exprVar2 + 8 * floord(-exprVar2 + exprVar1 - 1, 8) + 9); c0 <= 16; c0 += 8)
2 s0(c0);
3

source code of polly/lib/External/isl/test_inputs/codegen/omega/iter8-0.c