summaryrefslogtreecommitdiff
path: root/test/forwardsub-3-1-2.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/forwardsub-3-1-2.c')
-rw-r--r--test/forwardsub-3-1-2.c23
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) ;