diff options
| author | HyungKyu Song <hk76.song@samsung.com> | 2013-02-16 00:43:14 +0900 |
|---|---|---|
| committer | HyungKyu Song <hk76.song@samsung.com> | 2013-02-16 00:43:14 +0900 |
| commit | 428c6fc77d11887d9ee4b3d637f719cb96b9cfe7 (patch) | |
| tree | 6ff26e952291853d4481820a510dbf5e8d370cd5 /test/reservoir/lim-lam6.cloog | |
| parent | 29a00e8ce531e1686523d3cd7923d322375ec7e8 (diff) | |
| download | cloog-tizen_2.0.tar.gz cloog-tizen_2.0.tar.bz2 cloog-tizen_2.0.zip | |
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 |