resetting manifest requested domain to floor
[platform/upstream/cloog.git] / test / vasilache.c.ppl
1 /* Generated from ./vasilache.cloog by CLooG 0.15 64 bits in 0.16s. */
2 S1 ;
3 S2 ;
4 for (p1=0;p1<=N-1;p1++) {
5   for (p3=0;p3<=N-1;p3++) {
6     S4(i = p1,j = p3) ;
7     S5(i = p1,j = p3) ;
8   }
9 }
10 for (p1=0;p1<=N-1;p1++) {
11   for (p3=0;p3<=N-1;p3++) {
12     for (p5=0;p5<=floord(N-1,32);p5++) {
13       if (p5 >= 0) {
14         p7 = 32*p5 ;
15         l = 32*p5 ;
16         S7(i = p1,j = p3,k = p5) ;
17       }
18       if (p5 <= -1) {
19         S7(i = p1,j = p3,k = p5,l = 0) ;
20       }
21       for (p7=max(32*p5+1,1);p7<=min(32*p5+31,N-1);p7++) {
22         l = p7-1 ;
23         S6(i = p1,j = p3,k = p5) ;
24         S7(i = p1,j = p3,k = p5,l = p7) ;
25       }
26       if (p5 <= floord(N-32,32)) {
27         p7 = 32*p5+32 ;
28         l = 32*p5+31 ;
29         S6(i = p1,j = p3,k = p5) ;
30       }
31       if (p5 >= ceild(N-31,32)) {
32         l = N-1 ;
33         S6(i = p1,j = p3,k = p5) ;
34       }
35     }
36   }
37 }
38 S8 ;