summaryrefslogtreecommitdiff
path: root/cloog-0.17.0/test/reservoir/stride2.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-0.17.0/test/reservoir/stride2.cloog')
-rw-r--r--cloog-0.17.0/test/reservoir/stride2.cloog45
1 files changed, 0 insertions, 45 deletions
diff --git a/cloog-0.17.0/test/reservoir/stride2.cloog b/cloog-0.17.0/test/reservoir/stride2.cloog
deleted file mode 100644
index 5fb9b14..0000000
--- a/cloog-0.17.0/test/reservoir/stride2.cloog
+++ /dev/null
@@ -1,45 +0,0 @@
-#
-# 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