1if (2 * ((t1 - 1) % 64) + 8 >= t1)
2 S(-(2 * ((t1 - 1) % 64)) + t1 + 126);
3

source code of polly/lib/External/isl/test_inputs/codegen/single_valued.c