From e4b20015a4ee35f1279af4caa983478fa2ff0d4a Mon Sep 17 00:00:00 2001
From: dhuth <derickhuth@gmail.com>
Date: Mon, 6 Oct 2014 11:56:47 -0600
Subject: Added omega to source

---
 omega/examples/if_then | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100755 omega/examples/if_then

(limited to 'omega/examples/if_then')

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;
-- 
cgit v1.2.3-70-g09d2