diff options
Diffstat (limited to 'test/escedk.cloog')
| -rw-r--r-- | test/escedk.cloog | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/escedk.cloog b/test/escedk.cloog new file mode 100644 index 0000000..4e5a28d --- /dev/null +++ b/test/escedk.cloog @@ -0,0 +1,41 @@ +# language: C +c + +# parameters {n, m | n<=m} +1 5 +#1 1 -1 0 +1 0 0 0 1 +1 +n m + +3 # Number of statements + +1 +# {i | 1<=i<=n} +2 5 +1 1 0 0 0 -1 +1 -1 0 1 0 0 +0 0 0 + +1 +# {i, j | 1<=i<=n 1<=j<=m} +4 6 +1 1 0 0 0 0 -1 +1 -1 0 0 1 0 0 +1 0 1 0 0 0 -1 +1 0 -1 1 0 0 0 +0 0 0 + +1 +# {i, j | 1<=i<=n 1<=j<=m 1<=k<=o} +6 7 +1 1 0 0 0 0 0 -1 +1 -1 0 0 0 1 0 0 +1 0 1 0 0 0 0 -1 +1 0 -1 0 1 0 0 0 +1 0 0 1 0 0 0 -1 +1 0 0 -1 0 0 1 0 +0 0 0 +0 + +0 # Scattering functions |