summaryrefslogtreecommitdiff
path: root/cloog-0.16.3/test/reservoir/loechner3.c
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-0.16.3/test/reservoir/loechner3.c')
-rw-r--r--cloog-0.16.3/test/reservoir/loechner3.c10
1 files changed, 0 insertions, 10 deletions
diff --git a/cloog-0.16.3/test/reservoir/loechner3.c b/cloog-0.16.3/test/reservoir/loechner3.c
deleted file mode 100644
index c3967b8..0000000
--- a/cloog-0.16.3/test/reservoir/loechner3.c
+++ /dev/null
@@ -1,10 +0,0 @@
-/* Generated from ../../../git/cloog/test/./reservoir/loechner3.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.01s. */
-if (M >= 1) {
- for (c2=1;c2<=M;c2++) {
- for (c4=2;c4<=c2+M;c4++) {
- for (c6=max(1,-c2+c4);c6<=min(M,c4-1);c6++) {
- S1(c2,c6,c4-c6) ;
- }
- }
- }
-}