diff options
Diffstat (limited to 'cloog-core/test/reservoir/stride2.cloog')
| -rw-r--r-- | cloog-core/test/reservoir/stride2.cloog | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/cloog-core/test/reservoir/stride2.cloog b/cloog-core/test/reservoir/stride2.cloog new file mode 100644 index 0000000..5fb9b14 --- /dev/null +++ b/cloog-core/test/reservoir/stride2.cloog @@ -0,0 +1,45 @@ +# +# Stride-bug: +# +# for (i = 2; i <= N; i+=7) { +# S(i); +# +# becomes: +# +# for (i = 5; i <= N; i+=7) { +# S(i); + +# Language +c + +# Context + + 1 3 + 1 0 1 +0 + +# Number of statements +1 + +1 + + 4 5 + 0 1 -7 0 -2 # i - 7j = 2 + 1 1 0 0 0 # i >= 0 + 1 -1 0 1 0 # i <= n + 1 0 0 0 1 + +0 0 0 +0 +# Scattering functions +1 + + 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 0 0 0 + 0 0 0 0 0 1 0 0 0 0 + 1 0 0 0 0 0 0 0 0 1 + +0 |