diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/toplas.pwqp')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/toplas.pwqp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/toplas.pwqp b/polly/lib/External/isl/test_inputs/toplas.pwqp new file mode 100644 index 00000000000..9c0999540b2 --- /dev/null +++ b/polly/lib/External/isl/test_inputs/toplas.pwqp @@ -0,0 +1 @@ +[n] -> { [i0, i1] -> (((4 * n - n^2) + (-3/2 + 2 * n) * i0 - 1/2 * i0^2) - i1) : i1 >= -1 + 3n - i0 and i1 >= -1 + 2n - i0 and i0 >= 0 and i1 <= -2 + 4n - i0 and i0 <= -2 + 4n and i0 <= -1 + 3n and i1 >= 0 and i1 <= -1 + n } |
