1/* Generated from /home/skimo/git/cloog/test/classen.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.45s. */ 2if (m >= 1) { 3 if (m >= 2) { 4 S1(0,1,1,1); 5 S2(0,1,1,1,1,1,2,1); 6 S3(0,1,1,2,1,1,1,2); 7 S4(0,1,2,2,1,1,2,2); 8 S8(0,1); 9 } 10 if (m == 1) { 11 S1(0,1,1,1); 12 S8(0,1); 13 } 14 for (glT1=1;glT1<=2*m-4;glT1++) { 15 if (glT1 <= m-2) { 16 S5(glT1-1,1,glT1,1,glT1,1,glT1+1,1); 17 S1(glT1,1,glT1+1,1); 18 S2(glT1,1,glT1+1,1,glT1+1,1,glT1+2,1); 19 S3(glT1,1,glT1+1,2,glT1+1,1,glT1+1,2); 20 S4(glT1,1,glT1+2,2,glT1+1,1,glT1+2,2); 21 } 22 if (glT1 >= m) { 23 S5(glT1-1,glT1-m+2,glT1,glT1-m+2,m-1,glT1-m+2,m,glT1-m+2); 24 S6(glT1-1,glT1-m+1,glT1,glT1-m+2,m,glT1-m+1,m,glT1-m+2); 25 S1(glT1,glT1-m+2,m,glT1-m+2); 26 S3(glT1,glT1-m+2,glT1+1,glT1-m+3,m,glT1-m+2,m,glT1-m+3); 27 } 28 if (glT1 == m-1) { 29 S5(m-2,1,m-1,1,m-1,1,m,1); 30 S1(m-1,1,m,1); 31 S3(m-1,1,m,2,m,1,m,2); 32 } 33 for (rp1=max(2,glT1-m+3);rp1<=min(glT1,m-1);rp1++) { 34 S5(glT1-1,rp1,glT1,rp1,glT1-rp1+1,rp1,glT1-rp1+2,rp1); 35 S6(glT1-1,rp1-1,glT1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+2,rp1); 36 S7(glT1-1,rp1-1,glT1+1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+3,rp1); 37 S1(glT1,rp1,glT1-rp1+2,rp1); 38 S2(glT1,rp1,glT1+1,rp1,glT1-rp1+2,rp1,glT1-rp1+3,rp1); 39 S3(glT1,rp1,glT1+1,rp1+1,glT1-rp1+2,rp1,glT1-rp1+2,rp1+1); 40 S4(glT1,rp1,glT1+2,rp1+1,glT1-rp1+2,rp1,glT1-rp1+3,rp1+1); 41 } 42 if (glT1 <= m-2) { 43 S6(glT1-1,glT1,glT1,glT1+1,1,glT1,1,glT1+1); 44 S7(glT1-1,glT1,glT1+1,glT1+1,1,glT1,2,glT1+1); 45 S1(glT1,glT1+1,1,glT1+1); 46 S2(glT1,glT1+1,glT1+1,glT1+1,1,glT1+1,2,glT1+1); 47 S3(glT1,glT1+1,glT1+1,glT1+2,1,glT1+1,1,glT1+2); 48 S4(glT1,glT1+1,glT1+2,glT1+2,1,glT1+1,2,glT1+2); 49 } 50 if (glT1 >= m) { 51 S5(glT1-1,m,glT1,m,glT1-m+1,m,glT1-m+2,m); 52 S6(glT1-1,m-1,glT1,m,glT1-m+2,m-1,glT1-m+2,m); 53 S7(glT1-1,m-1,glT1+1,m,glT1-m+2,m-1,glT1-m+3,m); 54 S1(glT1,m,glT1-m+2,m); 55 S2(glT1,m,glT1+1,m,glT1-m+2,m,glT1-m+3,m); 56 } 57 if (glT1 == m-1) { 58 S6(m-2,m-1,m-1,m,1,m-1,1,m); 59 S7(m-2,m-1,m,m,1,m-1,2,m); 60 S1(m-1,m,1,m); 61 S2(m-1,m,m,m,1,m,2,m); 62 } 63 for (coordP1=max(1,glT1-m+2);coordP1<=min(m,glT1+1);coordP1++) { 64 S8(glT1,coordP1); 65 } 66 } 67 if (m >= 2) { 68 if (m >= 3) { 69 S5(2*m-4,m-1,2*m-3,m-1,m-1,m-1,m,m-1); 70 S6(2*m-4,m-2,2*m-3,m-1,m,m-2,m,m-1); 71 S1(2*m-3,m-1,m,m-1); 72 S3(2*m-3,m-1,2*m-2,m,m,m-1,m,m); 73 } 74 if (m == 2) { 75 S5(0,1,1,1,1,1,2,1); 76 S1(1,1,2,1); 77 S3(1,1,2,2,2,1,2,2); 78 } 79 if (m >= 3) { 80 S5(2*m-4,m,2*m-3,m,m-2,m,m-1,m); 81 S6(2*m-4,m-1,2*m-3,m,m-1,m-1,m-1,m); 82 S7(2*m-4,m-1,2*m-2,m,m-1,m-1,m,m); 83 S1(2*m-3,m,m-1,m); 84 } 85 if (m == 2) { 86 S6(0,1,1,2,1,1,1,2); 87 S7(0,1,2,2,1,1,2,2); 88 S1(1,2,1,2); 89 } 90 S2(2*m-3,m,2*m-2,m,m-1,m,m,m); 91 for (coordP1=m-1;coordP1<=m;coordP1++) { 92 S8(2*m-3,coordP1); 93 } 94 } 95 if (m >= 2) { 96 S5(2*m-3,m,2*m-2,m,m-1,m,m,m); 97 S6(2*m-3,m-1,2*m-2,m,m,m-1,m,m); 98 S1(2*m-2,m,m,m); 99 S8(2*m-2,m); 100 } 101} 102