diff options
Diffstat (limited to 'test/reservoir/QR.cloog')
| -rwxr-xr-x | test/reservoir/QR.cloog | 228 |
1 files changed, 228 insertions, 0 deletions
diff --git a/test/reservoir/QR.cloog b/test/reservoir/QR.cloog new file mode 100755 index 0000000..8baed20 --- /dev/null +++ b/test/reservoir/QR.cloog @@ -0,0 +1,228 @@ +# Language +c + +# Context + + 1 4 + 1 0 0 1 +0 + +# Number of statments +10 + +1 +# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } + + 3 5 + 1 1 0 0 0 + 1 -1 0 1 -1 + 1 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 } + + 5 6 + 1 1 0 0 0 0 + 1 -1 0 0 1 -1 + 1 -1 1 0 0 0 + 1 0 -1 1 0 -1 + 1 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } + + 3 5 + 1 1 0 0 0 + 1 -1 0 1 -1 + 1 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 } + + 5 6 + 1 1 0 0 0 0 + 1 -1 0 0 1 -1 + 1 -1 1 0 0 0 + 1 0 -1 1 0 -1 + 1 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } + + 3 5 + 1 1 0 0 0 + 1 -1 0 1 -1 + 1 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 } + + 4 6 + 1 1 0 0 0 0 + 1 -1 1 0 0 -1 + 1 0 -1 0 1 -1 + 1 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 } + + 6 7 + 1 1 0 0 0 0 0 + 1 -1 1 0 0 0 -1 + 1 0 -1 0 0 1 -1 + 1 -1 0 1 0 0 0 + 1 0 0 -1 1 0 -1 + 1 0 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 } + + 4 6 + 1 1 0 0 0 0 + 1 -1 1 0 0 -1 + 1 0 -1 0 1 -1 + 1 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 } + + 6 7 + 1 1 0 0 0 0 0 + 1 -1 1 0 0 0 -1 + 1 0 -1 0 0 1 -1 + 1 -1 0 1 0 0 0 + 1 0 0 -1 1 0 -1 + 1 0 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } + + 3 5 + 1 1 0 0 0 + 1 -1 0 1 -1 + 1 0 0 0 1 + +0 0 0 +0 +# Scattering functions +10 + + 8 12 + 0 1 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 + 0 0 0 1 0 0 0 0 0 0 0 -5 + 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 1 + + + 8 13 + 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 -1 + 0 0 0 1 0 0 0 0 0 0 0 0 -1 + 0 0 0 0 1 0 0 0 0 -1 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 12 + 0 1 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 -1 + 0 0 0 1 0 0 0 0 0 0 0 -2 + 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 1 + + + 8 13 + 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 -1 + 0 0 0 1 0 0 0 0 0 0 0 0 -3 + 0 0 0 0 1 0 0 0 0 -1 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 12 + 0 1 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 -1 + 0 0 0 1 0 0 0 0 0 0 0 -6 + 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 1 + + + 8 13 + 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 -2 + 0 0 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -1 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 14 + 0 1 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 0 -2 + 0 0 0 1 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 0 -1 + 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 13 + 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 -2 + 0 0 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -1 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 -2 + 0 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 14 + 0 1 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 0 0 -2 + 0 0 0 1 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 0 -3 + 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 12 + 0 1 0 0 0 0 0 0 0 0 0 0 + 0 0 1 0 0 0 0 0 -1 0 0 -1 + 0 0 0 1 0 0 0 0 0 0 0 -4 + 0 0 0 0 1 0 0 0 0 0 0 0 + 0 0 0 0 0 1 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 1 + +0 |