diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/walters3.in')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/walters3.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/walters3.in b/polly/lib/External/isl/test_inputs/codegen/cloog/walters3.in deleted file mode 100644 index 802bd4f0435..00000000000 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/walters3.in +++ /dev/null @@ -1,3 +0,0 @@ -{ S2[j, a, b] -> [j, j', b, 1] : 2a = j and 2j' = j and j >= 1 and j <= 10 and 2b <= j and 2b >= -1 + j; S1[j, a, b] -> [j, j', k, 0] : 2a = j and 2j' = j and 2k = j and 2b = j and j <= 8 and j >= 2 } -{ : } -{ [i, j, k, l] -> separate[o0] } |