diff options
Diffstat (limited to 'cloog-core/test/reservoir/mg-psinv.cloog')
| -rwxr-xr-x | cloog-core/test/reservoir/mg-psinv.cloog | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/cloog-core/test/reservoir/mg-psinv.cloog b/cloog-core/test/reservoir/mg-psinv.cloog new file mode 100755 index 0000000..7f0dd2c --- /dev/null +++ b/cloog-core/test/reservoir/mg-psinv.cloog @@ -0,0 +1,88 @@ +# Language +c + +# Context + + 1 5 + 1 0 0 0 1 +0 + +# Number of statments +3 + +1 +# { (i,j,k,l,m,n) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l >= 0, 1 >= 0 } + + 7 8 + 1 1 0 0 0 0 0 -2 + 1 -1 0 0 0 0 1 -1 + 1 0 1 0 0 0 0 -2 + 1 0 -1 0 0 1 0 -1 + 1 0 0 1 0 0 0 -1 + 1 0 0 -1 1 0 0 0 + 1 0 0 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l,m,n) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l >= 0, 1 >= 0 } + + 7 8 + 1 1 0 0 0 0 0 -2 + 1 -1 0 0 0 0 1 -1 + 1 0 1 0 0 0 0 -2 + 1 0 -1 0 0 1 0 -1 + 1 0 0 1 0 0 0 -1 + 1 0 0 -1 1 0 0 0 + 1 0 0 0 0 0 0 1 + +0 0 0 +1 +# { (i,j,k,l,m,n) | i-2 >= 0, -i+n-1 >= 0, j-2 >= 0, -j+m-1 >= 0, k-2 >= 0, -k+l-1 >= 0, 1 >= 0 } + + 7 8 + 1 1 0 0 0 0 0 -2 + 1 -1 0 0 0 0 1 -1 + 1 0 1 0 0 0 0 -2 + 1 0 -1 0 0 1 0 -1 + 1 0 0 1 0 0 0 -2 + 1 0 0 -1 1 0 0 -1 + 1 0 0 0 0 0 0 1 + +0 0 0 +0 +# Scattering functions +3 + + 8 15 + 0 1 0 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 0 0 + 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -2 0 0 0 0 1 + 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 15 + 0 1 0 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 0 0 + 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -2 0 0 0 0 1 + 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 + 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 + + + 8 15 + 0 1 0 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 0 0 + 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 0 0 -2 0 0 0 0 0 + 0 0 0 0 0 1 0 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 0 1 0 0 0 0 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 + +0 |