diff options
Diffstat (limited to 'test/forwardsub-3-1-2.c')
-rw-r--r-- | test/forwardsub-3-1-2.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/forwardsub-3-1-2.c b/test/forwardsub-3-1-2.c new file mode 100644 index 0000000..0f398ed --- /dev/null +++ b/test/forwardsub-3-1-2.c @@ -0,0 +1,23 @@ +/* Generated from ../../../git/cloog/test/forwardsub-3-1-2.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.02s. */ +S3(2,1) ; +S1(3,1) ; +S1(4,1) ; +S4(4,2) ; +for (i=5;i<=M+1;i++) { + S1(i,1) ; + for (j=2;j<=floord(i-1,2);j++) { + S2(i,j) ; + } + if (i%2 == 0) { + S4(i,i/2) ; + } +} +for (i=M+2;i<=2*M-1;i++) { + for (j=i-M;j<=floord(i-1,2);j++) { + S2(i,j) ; + } + if (i%2 == 0) { + S4(i,i/2) ; + } +} +S4(2*M,M) ; |