llvm/polly/lib/External/isl/test_inputs/codegen/omega/guard1-0.c

if ((n - m - 1) % 3 == 0)
  s0(n, m);