1 files changed, 23 insertions, 0 deletions
diff --git a/test/lux.c.ppl b/test/lux.c.ppl
new file mode 100644
index 0000000..acc5ca5
--- /dev/null
+++ b/test/lux.c.ppl
@@ -0,0 +1,23 @@
+/* Generated from ./lux.cloog by CLooG 0.15 64 bits in 0.02s. */
+if (M >= 2) {
+  for (l=2;l<=M;l++) {
+    S1(i = 1,j = 1,k = M) ;
+  }
+}
+for (i=2;i<=M-1;i++) {
+  for (j=1;j<=i-1;j++) {
+    for (k=j+1;k<=M;k++) {
+      S2(l = k,m = i) ;
+    }
+  }
+  for (l=i+1;l<=M;l++) {
+    S1(j = i,k = M) ;
+  }
+}
+if (M >= 2) {
+  for (j=1;j<=M-1;j++) {
+    for (k=j+1;k<=M;k++) {
+      S2(i = M,l = k,m = M) ;
+    }
+  }
+}