diff options
Diffstat (limited to 'cloog-0.17.0/test/reservoir/lim-lam3.cloog')
-rwxr-xr-x | cloog-0.17.0/test/reservoir/lim-lam3.cloog | 101 |
1 files changed, 0 insertions, 101 deletions
diff --git a/cloog-0.17.0/test/reservoir/lim-lam3.cloog b/cloog-0.17.0/test/reservoir/lim-lam3.cloog deleted file mode 100755 index 0d3d4a5..0000000 --- a/cloog-0.17.0/test/reservoir/lim-lam3.cloog +++ /dev/null @@ -1,101 +0,0 @@ -# Language -c - -# Context - - 2 3 - 1 1 -1 - 1 0 1 -0 - -# Number of statments -4 - -1 -# { (i,j,k,l) | -i+l >= 0, i-j-1 >= 0, k-1 >= 0, j-k-1 >= 0, 1 >= 0 } - - 5 6 - 1 -1 0 0 1 0 - 1 1 -1 0 0 -1 - 1 0 0 1 0 -1 - 1 0 1 -1 0 -1 - 1 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 } - - 4 5 - 1 -1 0 1 0 - 1 0 1 0 -1 - 1 1 -1 0 -1 - 1 0 0 0 1 - -0 0 0 -1 -# { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 } - - 4 5 - 1 -1 0 1 0 - 1 0 1 0 -1 - 1 1 -1 0 -1 - 1 0 0 0 1 - -0 0 0 -1 -# { (i,j) | i-1 >= 0, -i+j >= 0, 1 >= 0 } - - 3 4 - 1 1 0 -1 - 1 -1 1 0 - 1 0 0 1 - -0 0 0 -0 -# Scattering functions -4 - - 8 13 - 0 1 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -1 -2 -2 0 -5 - 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 -1 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 -4 0 -3 - 0 0 0 1 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 1 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 0 0 0 0 - 1 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 -3 -2 0 -1 - 0 0 0 1 0 0 0 0 0 0 0 -2 - 0 0 0 0 1 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 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 11 - 0 1 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 - 0 0 0 1 0 0 0 0 0 0 -2 - 0 0 0 0 1 0 0 0 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 - 0 0 0 0 0 0 1 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 1 - -0 |