summaryrefslogtreecommitdiff
path: root/cloog-0.16.3/test/reservoir/mg-rprj3.c
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-0.16.3/test/reservoir/mg-rprj3.c')
-rw-r--r--cloog-0.16.3/test/reservoir/mg-rprj3.c47
1 files changed, 0 insertions, 47 deletions
diff --git a/cloog-0.16.3/test/reservoir/mg-rprj3.c b/cloog-0.16.3/test/reservoir/mg-rprj3.c
deleted file mode 100644
index f7f7a4d..0000000
--- a/cloog-0.16.3/test/reservoir/mg-rprj3.c
+++ /dev/null
@@ -1,47 +0,0 @@
-/* Generated from /home/skimo/git/cloog/test/./reservoir/mg-rprj3.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.10s. */
-if ((M >= 2) && (N >= 3) && (O >= 3)) {
- if (M >= 3) {
- for (c2=2;c2<=O-1;c2++) {
- for (c6=2;c6<=M;c6++) {
- S1(c2,2,c6);
- }
- for (c4=3;c4<=N-1;c4++) {
- for (c6=2;c6<=M;c6++) {
- S2(c2,c4-1,c6);
- }
- S4(c2,c4-1,2);
- for (c6=2;c6<=M-2;c6++) {
- S3(c2,c4-1,c6);
- S5(c2,c4-1,c6);
- S4(c2,c4-1,c6+1);
- }
- S3(c2,c4-1,M-1);
- S5(c2,c4-1,M-1);
- for (c6=2;c6<=M;c6++) {
- S1(c2,c4,c6);
- }
- }
- for (c6=2;c6<=M;c6++) {
- S2(c2,N-1,c6);
- }
- S4(c2,N-1,2);
- for (c6=2;c6<=M-2;c6++) {
- S3(c2,N-1,c6);
- S5(c2,N-1,c6);
- S4(c2,N-1,c6+1);
- }
- S3(c2,N-1,M-1);
- S5(c2,N-1,M-1);
- }
- }
- if (M == 2) {
- for (c2=2;c2<=O-1;c2++) {
- S1(c2,2,2);
- for (c4=3;c4<=N-1;c4++) {
- S2(c2,c4-1,2);
- S1(c2,c4,2);
- }
- S2(c2,N-1,2);
- }
- }
-}