diff options
Diffstat (limited to 'test/published/PACT2004/youcefn.cloog')
-rw-r--r-- | test/published/PACT2004/youcefn.cloog | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/test/published/PACT2004/youcefn.cloog b/test/published/PACT2004/youcefn.cloog new file mode 100644 index 0000000..3b7c0e1 --- /dev/null +++ b/test/published/PACT2004/youcefn.cloog @@ -0,0 +1,49 @@ +# Optimal code is in fact : +# +# for (i=0;i<=M;i++) { +# S1 ; +# for (j=0;j<=N;j++) { +# S2 ; +# } +# S3 ; +# } + +# language: C +c + +# parameters {n, m | n>=2 m>=n} +2 4 +1 1 0 -2 +1 -1 1 0 +1 +n m + +3 # Number of statements + +1 +# {i | 0<=i<=n i==j} +3 6 +1 1 0 0 0 -1 +1 -1 0 1 0 0 +0 1 -1 0 0 0 +0 0 0 + +1 +# {i | 0<=i<=n i<=j<=n} +4 6 +1 1 0 0 0 -1 +1 -1 0 1 0 0 +1 -1 1 0 0 0 +1 0 -1 1 0 0 +0 0 0 + +1 +# {i | 0<=i<=m j==n} +3 6 +1 1 0 0 0 -1 +1 -1 0 0 1 0 +0 0 1 -1 0 0 +0 0 0 +0 + +0 # Scattering functions |