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