detect more forms of modulo expressions when extracting a function
[isl.git] / test_inputs / codegen / omega / guard1-0.in
blob52964e2648908593675528dec4a36ead387fdf6f
1 [n, m] -> { s0[n, m] -> [n, m] : exists (e0 = [(-2 - n + m)/3]: 3e0 = -2 - n + m) }
2 {  :  }
3 [n, m] -> { [i0, i1] -> atomic[o0] : o0 <= 0; [i0, i1] -> separate[o0] : o0 >= 1 }