diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/mod3.in')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/mod3.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/mod3.in b/polly/lib/External/isl/test_inputs/codegen/cloog/mod3.in deleted file mode 100644 index bd0713eeba3..00000000000 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/mod3.in +++ /dev/null @@ -1,3 +0,0 @@ -[h0] -> { S1[i0, i1] -> [i0, i1, 0] : exists (e0 = [(32 + 32h0 - i0)/64]: i0 >= 0 and i0 <= 999 and i0 >= -2015 + 32h0 and 32e0 >= -999 + 32h0 - i0 and i1 >= 0 and i1 <= 999 and 64e0 >= -31 + 32h0 - i0 and 64e0 <= 31 + 32h0 - i0 and i0 <= 32 + 32h0) } -[h0] -> { : h0 <= 93 and h0 >= 0 } -[h0] -> { [i, j, k] -> separate[o0] } |
