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