1 files changed, 19 insertions, 0 deletions
diff --git a/omega/examples/if_then b/omega/examples/if_then
new file mode 100755
index 0000000..9f159c7
--- /dev/null
+++ b/omega/examples/if_then
@@ -0,0 +1,19 @@
+# test if-then-else generation
+
+symbolic n,m;
+r0:={[i,j]:1<=i,j<=n && m>1 && m<n};
+r1:={[i,j]:1<=i,j<=n && m>1 && m>=n };
+r2:={[i,j]:1<=i,j<=n && m<=1};
+codegen 0 r0,r1,r2;
+
+r0:={[i]:1<=i<=100 && n> 1};
+r1:={[i,j]:1<=i,j<=100 && n>1};
+r2:={[i,j]:1<=i,j<=100};
+codegen 0 r0,r1,r2;
+codegen 1 r0,r1,r2;
+codegen 2 r0,r1,r2;
+
+r0:={[i,j]:1<=i,j<=100 && exists (alpha: i=4alpha)};
+r1:={[i,j]:10<=i,j<=100 && exists (alpha: i=4alpha+2)};
+codegen 0 r0,r1;
+codegen 1 r0,r1;