diff options
Diffstat (limited to 'test/reservoir/long.cloog')
-rw-r--r-- | test/reservoir/long.cloog | 127 |
1 files changed, 0 insertions, 127 deletions
diff --git a/test/reservoir/long.cloog b/test/reservoir/long.cloog deleted file mode 100644 index aae4a18..0000000 --- a/test/reservoir/long.cloog +++ /dev/null @@ -1,127 +0,0 @@ -# Language -c - -# Context - - 15 11 - 1 1 0 0 0 0 0 0 0 0 -10 - 1 0 1 0 0 0 0 0 0 0 -10 - 1 0 0 1 0 0 0 0 0 0 -10 - 1 0 0 0 1 0 0 0 0 0 -1 - 1 0 0 0 -1 0 0 0 0 0 2 - 1 0 0 0 0 1 0 0 0 0 -1 - 1 0 0 0 0 -1 0 0 0 0 2 - 1 0 0 0 0 0 1 0 0 0 -1 - 1 0 0 0 0 0 -1 0 0 0 2 - 1 0 0 0 0 0 0 1 0 0 0 - 1 0 0 0 0 0 0 -1 0 0 1 - 1 0 0 0 0 0 0 0 1 0 0 - 1 0 0 0 0 0 0 0 -1 0 1 - 1 0 0 0 0 0 0 0 0 1 0 - 1 0 0 0 0 0 0 0 0 -1 1 -0 - -# Number of statments -4 - -1 -# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 } - - 7 14 - 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 - 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 - 1 0 1 0 0 0 0 0 -1 0 0 0 0 0 - 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 - 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 - 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 - 1 0 0 0 0 0 0 0 0 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 } - - 7 14 - 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 - 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 - 1 0 1 0 0 0 0 0 -1 0 0 0 0 0 - 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 - 1 0 0 1 0 0 0 0 0 0 0 0 0 -1 - 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 - 1 0 0 0 0 0 0 0 0 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 } - - 7 14 - 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 - 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 - 1 0 1 0 0 0 0 0 0 0 0 0 0 -1 - 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 - 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 - 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 - 1 0 0 0 0 0 0 0 0 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 } - - 7 14 - 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 - 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 - 1 0 1 0 0 0 0 0 0 0 0 0 0 -1 - 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 - 1 0 0 1 0 0 0 0 0 0 0 0 0 -1 - 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 - 1 0 0 0 0 0 0 0 0 0 0 0 0 1 - -0 0 0 -0 -# Scattering functions -4 - - 8 21 - 0 1 0 0 0 0 0 0 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 0 0 0 - 0 0 0 1 0 0 0 0 0 0 0 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 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 1 - - - 8 21 - 0 1 0 0 0 0 0 0 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 0 0 0 - 0 0 0 1 0 0 0 0 0 0 0 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 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 1 - - - 8 21 - 0 1 0 0 0 0 0 0 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 0 0 0 - 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 1 - - - 8 21 - 0 1 0 0 0 0 0 0 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 0 0 0 - 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 1 - -0 - |