summaryrefslogtreecommitdiff
path: root/cloog-0.17.0/test/reservoir/mg-rprj3.c
blob: f7f7a4d01d6bc98a50306276d0210ffc987410fd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
/* 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);
    }
  }
}