diff options
Diffstat (limited to 'test/non_optimal/usvd_e_t.c.polylib')
-rw-r--r-- | test/non_optimal/usvd_e_t.c.polylib | 389 |
1 files changed, 0 insertions, 389 deletions
diff --git a/test/non_optimal/usvd_e_t.c.polylib b/test/non_optimal/usvd_e_t.c.polylib deleted file mode 100644 index 469a1f6..0000000 --- a/test/non_optimal/usvd_e_t.c.polylib +++ /dev/null @@ -1,389 +0,0 @@ -/* Generated by CLooG v0.10.7 */ -for (i=0;i<=2;i++) { - S1(j = 0,k = 0) ; - S2(j = 0,k = 0) ; - for (j=1;j<=4;j++) { - S2(k = 0) ; - } -} -S1(i = 3,j = 0,k = 0) ; -S2(i = 3,j = 0,k = 0) ; -for (j=1;j<=4;j++) { - S2(i = 3,k = 0) ; -} -for (j=7;j<=11;j++) { - S8(i = 3,k = 0) ; -} -S1(i = 4,j = 0,k = 0) ; -S2(i = 4,j = 0,k = 0) ; -S3(i = 4,j = 0,k = 0) ; -S5(i = 4,j = 0,k = 0) ; -for (j=1;j<=4;j++) { - S2(i = 4,k = 0) ; - S5(i = 4,k = 0) ; -} -for (j=7;j<=11;j++) { - S8(i = 4,k = 0) ; -} -S6(i = 5,j = -4,k = 0) ; -S7(i = 5,j = -4,k = 0) ; -for (j=-3;j<=-1;j++) { - S7(i = 5,k = 0) ; -} -S3(i = 5,j = 0,k = 0) ; -S7(i = 5,j = 0,k = 0) ; -S4(i = 5,j = 1,k = -1) ; -S5(i = 5,j = 1,k = 0) ; -for (j=2;j<=4;j++) { - S5(i = 5,k = 0) ; -} -for (j=7;j<=11;j++) { - S8(i = 5,k = 0) ; -} -S6(i = 6,j = -4,k = 0) ; -S6(i = 6,j = -3,k = 0) ; -S7(i = 6,j = -3,k = 0) ; -for (j=-2;j<=-1;j++) { - S7(i = 6,k = 0) ; -} -S3(i = 6,j = 0,k = 0) ; -S7(i = 6,j = 0,k = 0) ; -S4(i = 6,j = 1,k = -1) ; -S4(i = 6,j = 2,k = -1) ; -S5(i = 6,j = 2,k = 0) ; -for (j=3;j<=4;j++) { - S5(i = 6,k = 0) ; -} -for (j=7;j<=11;j++) { - S8(i = 6,k = 0) ; -} -for (j=-4;j<=-3;j++) { - S6(i = 7,k = 0) ; -} -S6(i = 7,j = -2,k = 0) ; -S7(i = 7,j = -2,k = 0) ; -S7(i = 7,j = -1,k = 0) ; -S3(i = 7,j = 0,k = 0) ; -S7(i = 7,j = 0,k = 0) ; -for (j=1;j<=2;j++) { - S4(i = 7,k = -1) ; -} -S4(i = 7,j = 3,k = -1) ; -S5(i = 7,j = 3,k = 0) ; -S5(i = 7,j = 4,k = 0) ; -S9(i = 7,j = 4,k = 0) ; -S10(i = 7,j = 4,k = 0) ; -S11(i = 7,j = 4,k = 0) ; -S21(i = 7,j = 4,k = 0) ; -S23(i = 7,j = 4,k = 0) ; -S11(i = 7,j = 4,k = 1) ; -S16(i = 7,j = 4,k = 1) ; -S17(i = 7,j = 4,k = 1) ; -for (k=2;k<=4;k++) { - S11(i = 7,j = 4) ; -} -S12(i = 7,j = 5,k = 0) ; -S21(i = 7,j = 5,k = 0) ; -S22(i = 7,j = 5,k = 0) ; -S23(i = 7,j = 5,k = 0) ; -S12(i = 7,j = 5,k = 1) ; -S16(i = 7,j = 5,k = 1) ; -S17(i = 7,j = 5,k = 1) ; -for (k=2;k<=4;k++) { - S12(i = 7,j = 5) ; -} -S21(i = 7,j = 6,k = 0) ; -S22(i = 7,j = 6,k = 0) ; -S23(i = 7,j = 6,k = 0) ; -for (j=7;j<=8;j++) { - S8(i = 7,k = 0) ; - S21(i = 7,k = 0) ; - S22(i = 7,k = 0) ; - S23(i = 7,k = 0) ; -} -S8(i = 7,j = 9,k = 0) ; -S22(i = 7,j = 9,k = 0) ; -for (j=10;j<=11;j++) { - S8(i = 7,k = 0) ; -} -for (j=-4;j<=-2;j++) { - S6(i = 8,k = 0) ; -} -S6(i = 8,j = -1,k = 0) ; -S7(i = 8,j = -1,k = 0) ; -S3(i = 8,j = 0,k = 0) ; -S7(i = 8,j = 0,k = 0) ; -S19(i = 8,j = 1,k = -2) ; -S4(i = 8,j = 1,k = -1) ; -S19(i = 8,j = 1,k = -1) ; -S19(i = 8,j = 1,k = 0) ; -S15(i = 8,j = 1,k = 4) ; -S18(i = 8,j = 1,k = 4) ; -for (k=-4;k<=-3;k++) { - S14(i = 8,j = 2) ; - S20(i = 8,j = 2) ; -} -S14(i = 8,j = 2,k = -2) ; -S19(i = 8,j = 2,k = -2) ; -S20(i = 8,j = 2,k = -2) ; -S4(i = 8,j = 2,k = -1) ; -S14(i = 8,j = 2,k = -1) ; -S19(i = 8,j = 2,k = -1) ; -S20(i = 8,j = 2,k = -1) ; -S14(i = 8,j = 2,k = 0) ; -S19(i = 8,j = 2,k = 0) ; -S20(i = 8,j = 2,k = 0) ; -S15(i = 8,j = 2,k = 4) ; -S18(i = 8,j = 2,k = 4) ; -for (k=-4;k<=-2;k++) { - S14(i = 8,j = 3) ; - S20(i = 8,j = 3) ; -} -S4(i = 8,j = 3,k = -1) ; -S14(i = 8,j = 3,k = -1) ; -S20(i = 8,j = 3,k = -1) ; -S14(i = 8,j = 3,k = 0) ; -S20(i = 8,j = 3,k = 0) ; -S15(i = 8,j = 3,k = 4) ; -S18(i = 8,j = 3,k = 4) ; -for (k=-4;k<=-2;k++) { - S14(i = 8,j = 4) ; - S20(i = 8,j = 4) ; -} -S4(i = 8,j = 4,k = -1) ; -S14(i = 8,j = 4,k = -1) ; -S20(i = 8,j = 4,k = -1) ; -S5(i = 8,j = 4,k = 0) ; -S9(i = 8,j = 4,k = 0) ; -S10(i = 8,j = 4,k = 0) ; -S14(i = 8,j = 4,k = 0) ; -S20(i = 8,j = 4,k = 0) ; -S23(i = 8,j = 4,k = 0) ; -S13(i = 8,j = 4,k = 1) ; -S21(i = 8,j = 4,k = 1) ; -S23(i = 8,j = 4,k = 1) ; -S24(i = 8,j = 4,k = 1) ; -S13(i = 8,j = 4,k = 2) ; -S16(i = 8,j = 4,k = 2) ; -S17(i = 8,j = 4,k = 2) ; -S24(i = 8,j = 4,k = 2) ; -S13(i = 8,j = 4,k = 3) ; -S24(i = 8,j = 4,k = 3) ; -S13(i = 8,j = 4,k = 4) ; -S15(i = 8,j = 4,k = 4) ; -S23(i = 8,j = 5,k = 0) ; -S11(i = 8,j = 5,k = 1) ; -S21(i = 8,j = 5,k = 1) ; -S22(i = 8,j = 5,k = 1) ; -S23(i = 8,j = 5,k = 1) ; -S24(i = 8,j = 5,k = 1) ; -S11(i = 8,j = 5,k = 2) ; -S16(i = 8,j = 5,k = 2) ; -S17(i = 8,j = 5,k = 2) ; -S24(i = 8,j = 5,k = 2) ; -S11(i = 8,j = 5,k = 3) ; -S24(i = 8,j = 5,k = 3) ; -S11(i = 8,j = 5,k = 4) ; -S15(i = 8,j = 5,k = 4) ; -S23(i = 8,j = 6,k = 0) ; -S12(i = 8,j = 6,k = 1) ; -S21(i = 8,j = 6,k = 1) ; -S22(i = 8,j = 6,k = 1) ; -S23(i = 8,j = 6,k = 1) ; -S24(i = 8,j = 6,k = 1) ; -S12(i = 8,j = 6,k = 2) ; -S16(i = 8,j = 6,k = 2) ; -S17(i = 8,j = 6,k = 2) ; -S24(i = 8,j = 6,k = 2) ; -S12(i = 8,j = 6,k = 3) ; -S24(i = 8,j = 6,k = 3) ; -S12(i = 8,j = 6,k = 4) ; -for (j=7;j<=8;j++) { - S23(i = 8,k = 0) ; - S21(i = 8,k = 1) ; - S22(i = 8,k = 1) ; - S23(i = 8,k = 1) ; - S24(i = 8,k = 1) ; - for (k=2;k<=3;k++) { - S24(i = 8) ; - } -} -S22(i = 8,j = 9,k = 1) ; -S7(i = 9,j = 0,k = 0) ; -for (j=1;j<=2;j++) { - for (k=-1;k<=0;k++) { - S19(i = 9) ; - } - for (k=4;k<=5;k++) { - S15(i = 9) ; - S18(i = 9) ; - } -} -S20(i = 9,j = 3,k = -4) ; -for (k=-3;k<=-2;k++) { - S14(i = 9,j = 3) ; - S20(i = 9,j = 3) ; -} -for (k=-1;k<=0;k++) { - S14(i = 9,j = 3) ; - S19(i = 9,j = 3) ; - S20(i = 9,j = 3) ; -} -for (k=4;k<=5;k++) { - S15(i = 9,j = 3) ; - S18(i = 9,j = 3) ; -} -S20(i = 9,j = 4,k = -4) ; -for (k=-3;k<=-1;k++) { - S14(i = 9,j = 4) ; - S20(i = 9,j = 4) ; -} -S9(i = 9,j = 4,k = 0) ; -S10(i = 9,j = 4,k = 0) ; -S14(i = 9,j = 4,k = 0) ; -S20(i = 9,j = 4,k = 0) ; -S23(i = 9,j = 4,k = 0) ; -S23(i = 9,j = 4,k = 1) ; -S13(i = 9,j = 4,k = 2) ; -S21(i = 9,j = 4,k = 2) ; -S23(i = 9,j = 4,k = 2) ; -S24(i = 9,j = 4,k = 2) ; -S13(i = 9,j = 4,k = 3) ; -S16(i = 9,j = 4,k = 3) ; -S17(i = 9,j = 4,k = 3) ; -S24(i = 9,j = 4,k = 3) ; -S13(i = 9,j = 4,k = 4) ; -S15(i = 9,j = 4,k = 4) ; -S18(i = 9,j = 4,k = 4) ; -S15(i = 9,j = 4,k = 5) ; -S18(i = 9,j = 4,k = 5) ; -for (k=0;k<=1;k++) { - S23(i = 9,j = 5) ; -} -S13(i = 9,j = 5,k = 2) ; -S21(i = 9,j = 5,k = 2) ; -S22(i = 9,j = 5,k = 2) ; -S23(i = 9,j = 5,k = 2) ; -S24(i = 9,j = 5,k = 2) ; -S13(i = 9,j = 5,k = 3) ; -S16(i = 9,j = 5,k = 3) ; -S17(i = 9,j = 5,k = 3) ; -S24(i = 9,j = 5,k = 3) ; -S13(i = 9,j = 5,k = 4) ; -S15(i = 9,j = 5,k = 4) ; -S15(i = 9,j = 5,k = 5) ; -for (k=0;k<=1;k++) { - S23(i = 9,j = 6) ; -} -S11(i = 9,j = 6,k = 2) ; -S21(i = 9,j = 6,k = 2) ; -S22(i = 9,j = 6,k = 2) ; -S23(i = 9,j = 6,k = 2) ; -S24(i = 9,j = 6,k = 2) ; -S11(i = 9,j = 6,k = 3) ; -S16(i = 9,j = 6,k = 3) ; -S17(i = 9,j = 6,k = 3) ; -S24(i = 9,j = 6,k = 3) ; -S11(i = 9,j = 6,k = 4) ; -for (k=0;k<=1;k++) { - S23(i = 9,j = 7) ; -} -S12(i = 9,j = 7,k = 2) ; -S21(i = 9,j = 7,k = 2) ; -S22(i = 9,j = 7,k = 2) ; -S23(i = 9,j = 7,k = 2) ; -S24(i = 9,j = 7,k = 2) ; -S12(i = 9,j = 7,k = 3) ; -S16(i = 9,j = 7,k = 3) ; -S17(i = 9,j = 7,k = 3) ; -S24(i = 9,j = 7,k = 3) ; -S12(i = 9,j = 7,k = 4) ; -for (k=0;k<=1;k++) { - S23(i = 9,j = 8) ; -} -S21(i = 9,j = 8,k = 2) ; -S22(i = 9,j = 8,k = 2) ; -S23(i = 9,j = 8,k = 2) ; -S24(i = 9,j = 8,k = 2) ; -S24(i = 9,j = 8,k = 3) ; -S22(i = 9,j = 9,k = 2) ; -for (j=1;j<=3;j++) { - S19(i = 10,k = 0) ; - S26(i = 10,k = 3) ; - S15(i = 10,k = 4) ; - S18(i = 10,k = 4) ; - S25(i = 10,k = 4) ; - for (k=5;k<=6;k++) { - S15(i = 10) ; - S18(i = 10) ; - } -} -for (k=-4;k<=-3;k++) { - S20(i = 10,j = 4) ; -} -for (k=-2;k<=-1;k++) { - S14(i = 10,j = 4) ; - S20(i = 10,j = 4) ; -} -S9(i = 10,j = 4,k = 0) ; -S10(i = 10,j = 4,k = 0) ; -S14(i = 10,j = 4,k = 0) ; -S19(i = 10,j = 4,k = 0) ; -S20(i = 10,j = 4,k = 0) ; -S13(i = 10,j = 4,k = 3) ; -S21(i = 10,j = 4,k = 3) ; -S24(i = 10,j = 4,k = 3) ; -S26(i = 10,j = 4,k = 3) ; -S13(i = 10,j = 4,k = 4) ; -S15(i = 10,j = 4,k = 4) ; -S16(i = 10,j = 4,k = 4) ; -S17(i = 10,j = 4,k = 4) ; -S18(i = 10,j = 4,k = 4) ; -S25(i = 10,j = 4,k = 4) ; -for (k=5;k<=6;k++) { - S15(i = 10,j = 4) ; - S18(i = 10,j = 4) ; -} -S13(i = 10,j = 5,k = 3) ; -S21(i = 10,j = 5,k = 3) ; -S22(i = 10,j = 5,k = 3) ; -S24(i = 10,j = 5,k = 3) ; -S26(i = 10,j = 5,k = 3) ; -S13(i = 10,j = 5,k = 4) ; -S15(i = 10,j = 5,k = 4) ; -S16(i = 10,j = 5,k = 4) ; -S17(i = 10,j = 5,k = 4) ; -S18(i = 10,j = 5,k = 4) ; -S25(i = 10,j = 5,k = 4) ; -for (k=5;k<=6;k++) { - S15(i = 10,j = 5) ; - S18(i = 10,j = 5) ; -} -S13(i = 10,j = 6,k = 3) ; -S21(i = 10,j = 6,k = 3) ; -S22(i = 10,j = 6,k = 3) ; -S24(i = 10,j = 6,k = 3) ; -S13(i = 10,j = 6,k = 4) ; -S16(i = 10,j = 6,k = 4) ; -S17(i = 10,j = 6,k = 4) ; -S11(i = 10,j = 7,k = 3) ; -S21(i = 10,j = 7,k = 3) ; -S22(i = 10,j = 7,k = 3) ; -S24(i = 10,j = 7,k = 3) ; -S11(i = 10,j = 7,k = 4) ; -S16(i = 10,j = 7,k = 4) ; -S17(i = 10,j = 7,k = 4) ; -S12(i = 10,j = 8,k = 3) ; -S21(i = 10,j = 8,k = 3) ; -S22(i = 10,j = 8,k = 3) ; -S24(i = 10,j = 8,k = 3) ; -S12(i = 10,j = 8,k = 4) ; -S16(i = 10,j = 8,k = 4) ; -S17(i = 10,j = 8,k = 4) ; -S22(i = 10,j = 9,k = 3) ; -for (i=11;i<=14;i++) { - for (j=1;j<=5;j++) { - S26(k = 3) ; - S25(k = 4) ; - } -} |