1 files changed, 15 insertions, 0 deletions
diff --git a/test/dot2.c.ppl b/test/dot2.c.ppl
new file mode 100644
index 0000000..7d510de
--- /dev/null
+++ b/test/dot2.c.ppl
@@ -0,0 +1,15 @@
+/* Generated from ./dot2.cloog by CLooG 0.15 64 bits in 0.00s. */
+for (i=1;i<=min(M,N);i++) {
+  S1 ;
+  for (j=1;j<=M;j++) {
+    S2 ;
+  }
+}
+for (i=N+1;i<=M;i++) {
+  S1 ;
+}
+for (i=M+1;i<=N;i++) {
+  for (j=1;j<=M;j++) {
+    S2 ;
+  }
+}