summaryrefslogtreecommitdiff
path: root/test/swim.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/swim.c')
-rw-r--r--test/swim.c672
1 files changed, 672 insertions, 0 deletions
diff --git a/test/swim.c b/test/swim.c
new file mode 100644
index 0000000..c3fccdc
--- /dev/null
+++ b/test/swim.c
@@ -0,0 +1,672 @@
+/* Generated from ../../../git/cloog/test/swim.cloog by CLooG 0.14.0-262-g4b60cd5 gmp bits in 0.42s. */
+if (M == 1) {
+ S1();
+ S2();
+ S3();
+ S4();
+ S5();
+ S6();
+ S7();
+ S8();
+ S9();
+ S10();
+ S11();
+ S12();
+ S13();
+ S14();
+ S15();
+ S16();
+ S17();
+ S18();
+ S19();
+ S20();
+ S21();
+ S22();
+ S23();
+ S24();
+ S25();
+ S26();
+ S27();
+ for (p1=1;p1<=N;p1++) {
+ for (p3=1;p3<=N;p3++) {
+ S28(p1,p3);
+ S29(p1,p3);
+ S30(p1,p3);
+ }
+ S31(p1);
+ }
+ S32();
+ S33();
+ S34();
+ if (O <= 1) {
+ S35();
+ }
+ S36();
+ S37();
+ if ((N >= 1) && (Q >= 1) && (R >= 1)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ for (p3=1;p3<=Q;p3++) {
+ for (p5=1;p5<=R;p5++) {
+ S40(p1,p3,p5);
+ S41(p1,p3,p5);
+ S42(p1,p3,p5);
+ S43(p1,p3,p5);
+ }
+ }
+ for (p3=1;p3<=Q;p3++) {
+ S44(p1,p3);
+ S45(p1,p3);
+ S46(p1,p3);
+ S47(p1,p3);
+ }
+ for (p3=1;p3<=R;p3++) {
+ S48(p1,p3);
+ S49(p1,p3);
+ S50(p1,p3);
+ S51(p1,p3);
+ }
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ for (p3=1;p3<=Q;p3++) {
+ for (p5=1;p5<=R;p5++) {
+ S59(p1,p3,p5);
+ S60(p1,p3,p5);
+ S61(p1,p3,p5);
+ }
+ }
+ for (p3=1;p3<=Q;p3++) {
+ S62(p1,p3);
+ S63(p1,p3);
+ S64(p1,p3);
+ }
+ for (p3=1;p3<=R;p3++) {
+ S65(p1,p3);
+ S66(p1,p3);
+ S67(p1,p3);
+ }
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ for (p3=1;p3<=N;p3++) {
+ for (p5=1;p5<=N;p5++) {
+ S95(p1,p3,p5);
+ S96(p1,p3,p5);
+ S97(p1,p3,p5);
+ }
+ S98(p1,p3);
+ }
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ for (p3=1;p3<=Q;p3++) {
+ for (p5=1;p5<=R;p5++) {
+ S102(p1,p3,p5);
+ S103(p1,p3,p5);
+ S104(p1,p3,p5);
+ S105(p1,p3,p5);
+ S106(p1,p3,p5);
+ S107(p1,p3,p5);
+ }
+ }
+ for (p3=1;p3<=Q;p3++) {
+ S108(p1,p3);
+ S109(p1,p3);
+ S110(p1,p3);
+ S111(p1,p3);
+ S112(p1,p3);
+ S113(p1,p3);
+ }
+ for (p3=1;p3<=R;p3++) {
+ S114(p1,p3);
+ S115(p1,p3);
+ S116(p1,p3);
+ S117(p1,p3);
+ S118(p1,p3);
+ S119(p1,p3);
+ }
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N <= 0) && (Q >= 1) && (R >= 1)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ for (p3=1;p3<=Q;p3++) {
+ for (p5=1;p5<=R;p5++) {
+ S40(p1,p3,p5);
+ S41(p1,p3,p5);
+ S42(p1,p3,p5);
+ S43(p1,p3,p5);
+ }
+ }
+ for (p3=1;p3<=Q;p3++) {
+ S44(p1,p3);
+ S45(p1,p3);
+ S46(p1,p3);
+ S47(p1,p3);
+ }
+ for (p3=1;p3<=R;p3++) {
+ S48(p1,p3);
+ S49(p1,p3);
+ S50(p1,p3);
+ S51(p1,p3);
+ }
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ for (p3=1;p3<=Q;p3++) {
+ for (p5=1;p5<=R;p5++) {
+ S59(p1,p3,p5);
+ S60(p1,p3,p5);
+ S61(p1,p3,p5);
+ }
+ }
+ for (p3=1;p3<=Q;p3++) {
+ S62(p1,p3);
+ S63(p1,p3);
+ S64(p1,p3);
+ }
+ for (p3=1;p3<=R;p3++) {
+ S65(p1,p3);
+ S66(p1,p3);
+ S67(p1,p3);
+ }
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ for (p3=1;p3<=Q;p3++) {
+ for (p5=1;p5<=R;p5++) {
+ S102(p1,p3,p5);
+ S103(p1,p3,p5);
+ S104(p1,p3,p5);
+ S105(p1,p3,p5);
+ S106(p1,p3,p5);
+ S107(p1,p3,p5);
+ }
+ }
+ for (p3=1;p3<=Q;p3++) {
+ S108(p1,p3);
+ S109(p1,p3);
+ S110(p1,p3);
+ S111(p1,p3);
+ S112(p1,p3);
+ S113(p1,p3);
+ }
+ for (p3=1;p3<=R;p3++) {
+ S114(p1,p3);
+ S115(p1,p3);
+ S116(p1,p3);
+ S117(p1,p3);
+ S118(p1,p3);
+ S119(p1,p3);
+ }
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N >= 1) && (Q <= 0) && (R >= 1)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ for (p3=1;p3<=R;p3++) {
+ S48(p1,p3);
+ S49(p1,p3);
+ S50(p1,p3);
+ S51(p1,p3);
+ }
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ for (p3=1;p3<=R;p3++) {
+ S65(p1,p3);
+ S66(p1,p3);
+ S67(p1,p3);
+ }
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ for (p3=1;p3<=N;p3++) {
+ for (p5=1;p5<=N;p5++) {
+ S95(p1,p3,p5);
+ S96(p1,p3,p5);
+ S97(p1,p3,p5);
+ }
+ S98(p1,p3);
+ }
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ for (p3=1;p3<=R;p3++) {
+ S114(p1,p3);
+ S115(p1,p3);
+ S116(p1,p3);
+ S117(p1,p3);
+ S118(p1,p3);
+ S119(p1,p3);
+ }
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N <= 0) && (Q <= 0) && (R >= 1)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ for (p3=1;p3<=R;p3++) {
+ S48(p1,p3);
+ S49(p1,p3);
+ S50(p1,p3);
+ S51(p1,p3);
+ }
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ for (p3=1;p3<=R;p3++) {
+ S65(p1,p3);
+ S66(p1,p3);
+ S67(p1,p3);
+ }
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ for (p3=1;p3<=R;p3++) {
+ S114(p1,p3);
+ S115(p1,p3);
+ S116(p1,p3);
+ S117(p1,p3);
+ S118(p1,p3);
+ S119(p1,p3);
+ }
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N >= 1) && (Q <= 0) && (R <= 0)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ for (p3=1;p3<=N;p3++) {
+ for (p5=1;p5<=N;p5++) {
+ S95(p1,p3,p5);
+ S96(p1,p3,p5);
+ S97(p1,p3,p5);
+ }
+ S98(p1,p3);
+ }
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N <= 0) && (Q <= 0) && (R <= 0)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N >= 1) && (Q >= 1) && (R <= 0)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ for (p3=1;p3<=Q;p3++) {
+ S44(p1,p3);
+ S45(p1,p3);
+ S46(p1,p3);
+ S47(p1,p3);
+ }
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ for (p3=1;p3<=Q;p3++) {
+ S62(p1,p3);
+ S63(p1,p3);
+ S64(p1,p3);
+ }
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ for (p3=1;p3<=N;p3++) {
+ for (p5=1;p5<=N;p5++) {
+ S95(p1,p3,p5);
+ S96(p1,p3,p5);
+ S97(p1,p3,p5);
+ }
+ S98(p1,p3);
+ }
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ for (p3=1;p3<=Q;p3++) {
+ S108(p1,p3);
+ S109(p1,p3);
+ S110(p1,p3);
+ S111(p1,p3);
+ S112(p1,p3);
+ S113(p1,p3);
+ }
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+ if ((N <= 0) && (Q >= 1) && (R <= 0)) {
+ for (p1=2;p1<=P;p1++) {
+ S38(p1);
+ S39(p1);
+ for (p3=1;p3<=Q;p3++) {
+ S44(p1,p3);
+ S45(p1,p3);
+ S46(p1,p3);
+ S47(p1,p3);
+ }
+ S52(p1);
+ S53(p1);
+ S54(p1);
+ S55(p1);
+ S56(p1);
+ S57(p1);
+ S58(p1);
+ for (p3=1;p3<=Q;p3++) {
+ S62(p1,p3);
+ S63(p1,p3);
+ S64(p1,p3);
+ }
+ S68(p1);
+ S69(p1);
+ S70(p1);
+ S71(p1);
+ S72(p1);
+ S73(p1);
+ S74(p1);
+ S75(p1);
+ S76(p1);
+ S77(p1);
+ S78(p1);
+ S79(p1);
+ S80(p1);
+ S81(p1);
+ S82(p1);
+ S83(p1);
+ S84(p1);
+ S85(p1);
+ S86(p1);
+ S87(p1);
+ S88(p1);
+ S89(p1);
+ S90(p1);
+ S91(p1);
+ S92(p1);
+ S93(p1);
+ S94(p1);
+ S99(p1);
+ S100(p1);
+ S101(p1);
+ for (p3=1;p3<=Q;p3++) {
+ S108(p1,p3);
+ S109(p1,p3);
+ S110(p1,p3);
+ S111(p1,p3);
+ S112(p1,p3);
+ S113(p1,p3);
+ }
+ S120(p1);
+ S121(p1);
+ S122(p1);
+ S123(p1);
+ S124(p1);
+ S125(p1);
+ }
+ }
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-22 05:24:20 +0000