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