isl_basic_map_simplify: reduce coefficients of integer divisions

[isl.git] / test_inputs / codegen / omega / guard1-0.c

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