1 /* Generated from ../../../git/cloog/test/otl.cloog by CLooG 0.14.0-278-gcf1f323 gmp bits in 0.26s. */
2 if ((M
>= 3) && (N
>= 4)) {
3 for (outerTimeTileScatter
=1;outerTimeTileScatter
<=floord(2*M
+2*N
-7,5);outerTimeTileScatter
++) {
4 for (outerProcTileScatter1
=max(ceild(outerTimeTileScatter
,2),ceild(5*outerTimeTileScatter
-M
-2,5));outerProcTileScatter1
<=min(min(floord(M
+2*N
-5,5),floord(5*outerTimeTileScatter
+2*N
+1,10)),outerTimeTileScatter
);outerProcTileScatter1
++) {
5 for (outerProcTileScatter2
=max(max(max(max(ceild(outerTimeTileScatter
-outerProcTileScatter1
-1,2),ceild(5*outerProcTileScatter1
-N
-1,5)),ceild(5*outerTimeTileScatter
-M
-N
+1,5)),ceild(5*outerTimeTileScatter
-N
-2,10)),outerTimeTileScatter
-outerProcTileScatter1
-1);outerProcTileScatter2
<=min(min(min(floord(M
+N
-2,5),floord(5*outerTimeTileScatter
-5*outerProcTileScatter1
+N
+4,5)),floord(5*outerTimeTileScatter
+N
+3,10)),outerProcTileScatter1
);outerProcTileScatter2
++) {
6 for (innerTimeTileScatter
=max(max(max(ceild(10*outerProcTileScatter1
-2*N
,5),ceild(10*outerProcTileScatter2
-N
-2,5)),ceild(5*outerProcTileScatter1
+5*outerProcTileScatter2
-N
-3,5)),outerTimeTileScatter
);innerTimeTileScatter
<=min(min(min(min(min(floord(2*M
+2*N
-6,5),floord(5*outerProcTileScatter1
+M
+3,5)),floord(5*outerProcTileScatter2
+M
+N
,5)),floord(10*outerProcTileScatter2
+N
+3,5)),outerTimeTileScatter
+1),outerProcTileScatter1
+outerProcTileScatter2
+1);innerTimeTileScatter
++) {
7 for (innerProcTileScatter1
=max(max(max(max(ceild(innerTimeTileScatter
,2),ceild(5*innerTimeTileScatter
-M
-2,5)),ceild(5*outerTimeTileScatter
-M
-1,5)),outerProcTileScatter1
),outerTimeTileScatter
-outerProcTileScatter2
);innerProcTileScatter1
<=min(min(min(min(min(min(min(floord(M
+2*N
-4,5),floord(5*outerProcTileScatter2
+N
+2,5)),floord(-5*outerProcTileScatter2
+5*innerTimeTileScatter
+N
+4,5)),floord(5*outerTimeTileScatter
-5*outerProcTileScatter2
+N
+5,5)),floord(5*innerTimeTileScatter
+2*N
+2,10)),floord(5*outerTimeTileScatter
+2*N
+3,10)),outerTimeTileScatter
),outerProcTileScatter1
+1);innerProcTileScatter1
++) {
8 for (innerProcTileScatter2
=outerProcTileScatter2
;innerProcTileScatter2
<=outerProcTileScatter2
;innerProcTileScatter2
++) {
9 for (outerTimeTileIter
=outerTimeTileScatter
;outerTimeTileIter
<=outerTimeTileScatter
;outerTimeTileIter
++) {
10 for (outerProcTileIter1
=outerProcTileScatter1
;outerProcTileIter1
<=outerProcTileScatter1
;outerProcTileIter1
++) {
11 for (outerProcTileIter2
=outerProcTileScatter2
;outerProcTileIter2
<=outerProcTileScatter2
;outerProcTileIter2
++) {
12 for (innerTimeTileIter
=innerTimeTileScatter
;innerTimeTileIter
<=innerTimeTileScatter
;innerTimeTileIter
++) {
13 for (innerProcTileIter1
=innerProcTileScatter1
;innerProcTileIter1
<=innerProcTileScatter1
;innerProcTileIter1
++) {
14 for (innerProcTileIter2
=outerProcTileScatter2
;innerProcTileIter2
<=outerProcTileScatter2
;innerProcTileIter2
++) {
15 S1(outerTimeTileIter
,outerProcTileIter1
,outerProcTileIter2
,innerTimeTileIter
,innerProcTileIter1
,innerProcTileIter2
);