summaryrefslogtreecommitdiff
path: root/omega/examples/old_test/m2.oc-rt
diff options
context:
space:
mode:
authorTuowen Zhao <ztuowen@gmail.com>2016-09-17 03:22:53 +0000
committerTuowen Zhao <ztuowen@gmail.com>2016-09-17 03:22:53 +0000
commit75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 (patch)
tree498ac06b4cf78568b807fafd2619856afff69c28 /omega/examples/old_test/m2.oc-rt
parent29efa7b1a0d089e02a70f73f348f11878955287c (diff)
downloadchill-75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5.tar.gz
chill-75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5.tar.bz2
chill-75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5.zip
cmake build
Diffstat (limited to 'omega/examples/old_test/m2.oc-rt')
-rw-r--r--omega/examples/old_test/m2.oc-rt35
1 files changed, 0 insertions, 35 deletions
diff --git a/omega/examples/old_test/m2.oc-rt b/omega/examples/old_test/m2.oc-rt
deleted file mode 100644
index cdd76dd..0000000
--- a/omega/examples/old_test/m2.oc-rt
+++ /dev/null
@@ -1,35 +0,0 @@
->>> R1:={[i,j]: 2 <= i,j <= 9};
->>> R2:={[i,j]: 5 <= i <= 9 & 1 <= j <= 9};
->>> codegen R1,R2;
-for(t1 = 2; t1 <= 9; t1++) {
- if (t1 >= 5) {
- s2(t1,1);
- }
- if (t1 <= 4) {
- for(t2 = 2; t2 <= 9; t2++) {
- s1(t1,t2);
- }
- }
- if (t1 >= 5) {
- for(t2 = 2; t2 <= 9; t2++) {
- s1(t1,t2);
- s2(t1,t2);
- }
- }
-}
-
->>> codegen 2 R1,R2;
-for(t1 = 2; t1 <= 4; t1++) {
- for(t2 = 2; t2 <= 9; t2++) {
- s1(t1,t2);
- }
-}
-for(t1 = 5; t1 <= 9; t1++) {
- s2(t1,1);
- for(t2 = 2; t2 <= 9; t2++) {
- s1(t1,t2);
- s2(t1,t2);
- }
-}
-
-