isl_basic_map_simplify: reduce coefficients of integer divisions

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

if ((n + m + 1) % 2 == 0)
  s0(n, m);