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