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/substitution | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 omega/examples/substitution

(limited to 'omega/examples/substitution')

diff --git a/omega/examples/substitution b/omega/examples/substitution
new file mode 100644
index 0000000..9d841fe
--- /dev/null
+++ b/omega/examples/substitution
@@ -0,0 +1,35 @@
+#
+# Test various variable substitution scenarios
+#
+
+symbolic n;
+
+# unimodular transformation
+#
+is := { [i,j] : 0 <=i<= 4 && 0 <= j<= 6 };
+t := { [i,j] -> [i2,j2] : i2 = i+j && j2 = i+2*j };
+codegen t:is;
+
+# non-unimodular transformation
+#
+is := { [i,j] : 0 <=i<= 4 && 0 <= j<= 6 };
+t := { [i,j] -> [i2,j2] : i2 = 2*i+j && j2 = i+2*j };
+codegen t:is;
+
+# second loop level is degenerated
+#
+is := {[i,j]:1 <= j <= 100 && j = i+4};
+t := {[i,j]->[a,b]: a = i && b = j};
+codegen t:is;
+
+# global variable case 1
+#
+is := { [i] : 19+n = i };
+t:= { [i] -> [j]: j = i };
+codegen t:is;
+
+# global variable case 2
+#
+is := {[i]: i-16 <= n < i && exists (alpha: i = n+1+3*alpha) };
+t := {[i] -> [i] : exists ( alpha : i = 1+n+18alpha)};
+codegen t:is;
-- 
cgit v1.2.3-70-g09d2