Fix http://gcc.gnu.org/PR42181 correct cloog_domain_sort.
[cloog-ppl.git] / test / reservoir / mg-psinv.c.ppl
blob5179314639abe40e33e335365a2e627b8d1afd76
1 /* Generated from ././reservoir/mg-psinv.cloog by CLooG 0.15 64 bits in 0.05s. */
2 if ((M >= 3) && (N >= 4)) {
3   for (c2=2;c2<=O-1;c2++) {
4     for (c6=1;c6<=M;c6++) {
5       S1(i = c2,j = 2,k = c6) ;
6       S2(i = c2,j = 2,k = c6) ;
7     }
8     for (c4=4;c4<=2*N-3;c4++) {
9       for (c6=1;c6<=M;c6++) {
10         if ((c4+1)%2 == 0) {
11           j = (c4+1)/2 ;
12           S1(i = c2,k = c6) ;
13           S2(i = c2,k = c6) ;
14         }
15       }
16       for (c6=2;c6<=M-1;c6++) {
17         if (c4%2 == 0) {
18           S3(i = c2,j = c4/2,k = c6) ;
19         }
20       }
21     }
22     c4 = 2*N-2 ;
23     for (c6=2;c6<=M-1;c6++) {
24       j = N-1 ;
25       S3(i = c2,k = c6) ;
26     }
27   }
29 if ((M >= 3) && (N == 3)) {
30   for (c2=2;c2<=O-1;c2++) {
31     for (c6=1;c6<=M;c6++) {
32       S1(i = c2,j = 2,k = c6) ;
33       S2(i = c2,j = 2,k = c6) ;
34     }
35     for (c6=2;c6<=M-1;c6++) {
36       S3(i = c2,j = 2,k = c6) ;
37     }
38   }
40 if ((M >= 1) && (M <= 2) && (N >= 3)) {
41   for (c2=2;c2<=O-1;c2++) {
42     for (c4=3;c4<=2*N-3;c4++) {
43       for (c6=1;c6<=M;c6++) {
44         if ((c4+1)%2 == 0) {
45           j = (c4+1)/2 ;
46           S1(i = c2,k = c6) ;
47           S2(i = c2,k = c6) ;
48         }
49       }
50     }
51   }