diff options
Diffstat (limited to 'test/cholesky2.cloog')
| -rw-r--r-- | test/cholesky2.cloog | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/test/cholesky2.cloog b/test/cholesky2.cloog new file mode 100644 index 0000000..6c0a81a --- /dev/null +++ b/test/cholesky2.cloog @@ -0,0 +1,108 @@ +# language: C +c + +# parameter n +1 3 +# n 1 +1 0 1 +0 + +6 # Number of statements + +1 +# S1 {i | 1<=i<=n} +2 4 +# i n 1 +1 1 0 -1 +1 -1 1 0 +0 0 0 + +1 +# S2 {i, j | 1<=i<=n; 1<=j<=i-1} +4 5 +# i j n 1 +1 1 0 0 -1 +1 -1 0 1 0 +1 0 1 0 -1 +1 1 -1 0 -1 +0 0 0 + +1 +# S3 {i | 1<=i<=n} +2 4 +# i n 1 +1 1 0 -1 +1 -1 1 0 +0 0 0 + +1 +# S4 {i, j | 1<=i<=n; i+1<=j<=n} +4 5 +# i j n 1 +1 1 0 0 -1 +1 -1 0 1 0 +1 -1 1 0 -1 +1 0 -1 1 0 +0 0 0 + +1 +# S5 {i, j, k | 1<=i<=n; i+1<=j<=n 1<=k<=i-1} +6 6 +# i j k n 1 +1 1 0 0 0 -1 +1 -1 0 0 1 0 +1 -1 1 0 0 -1 +1 0 -1 0 1 0 +1 0 0 1 0 -1 +1 1 0 -1 0 -1 +0 0 0 + +1 +# S6 {i, j | 1<=i<=n; i+1<=j<=n} +4 5 +# i j n 1 +1 1 0 0 -1 +1 -1 0 1 0 +1 -1 1 0 -1 +1 0 -1 1 0 +0 0 0 +0 + +6 # Scattering functions +# Et les instructions de chunking (parallele)... +3 7 +# c1 c2 c3 i n 1 +0 1 0 0 0 0 0 +0 0 1 0 -1 0 0 +0 0 0 1 0 0 0 + +3 8 +# c1 c2 c3 i j n 1 +0 1 0 0 0 -3 0 0 +0 0 1 0 -1 0 0 0 +0 0 0 1 0 0 0 0 + +3 7 +# c1 c2 c3 i n 1 +0 1 0 0 -3 0 2 +0 0 1 0 0 0 0 +0 0 0 1 0 0 0 + +3 8 +# c1 c2 c3 i j n 1 +0 1 0 0 0 0 0 0 +0 0 1 0 -1 0 0 0 +0 0 0 1 0 -1 0 0 + +3 9 +# c1 c2 c3 i j k n 1 +0 1 0 0 0 0 -3 0 1 +0 0 1 0 0 -1 0 0 0 +0 0 0 1 0 0 -1 0 0 + +3 8 +# c1 c2 c3 i j n 1 +0 1 0 0 -3 0 0 1 +0 0 1 0 0 -1 0 0 +0 0 0 1 0 0 0 0 +0 |