diff options
author | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-17 03:22:53 +0000 |
---|---|---|
committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-17 03:22:53 +0000 |
commit | 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 (patch) | |
tree | 498ac06b4cf78568b807fafd2619856afff69c28 /omega/examples/old_test/p.delft2 | |
parent | 29efa7b1a0d089e02a70f73f348f11878955287c (diff) | |
download | chill-75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5.tar.gz chill-75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5.tar.bz2 chill-75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5.zip |
cmake build
Diffstat (limited to 'omega/examples/old_test/p.delft2')
-rw-r--r-- | omega/examples/old_test/p.delft2 | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/omega/examples/old_test/p.delft2 b/omega/examples/old_test/p.delft2 deleted file mode 100644 index 32e5da0..0000000 --- a/omega/examples/old_test/p.delft2 +++ /dev/null @@ -1,24 +0,0 @@ -# Compute Sends and receives for the following HPF fragment - -I := { [i,j] : 1 <= i <= 14 && 0 <= j <= 14 }; -X := { [i,j] -> [3i,3j] }; -Y := { [i,j] -> [i',3j] : 3i-1 <= i'<= 3i}; -A := { [i,j] -> [3i,3j] }; -D := { [t1,t2] -> [p1,p2,c1,c2,l1,l2] : - t1 = 16c1+4p1+l1 - && t2 = 16c2+4p2+l2 - && 0 <= p1,p2 <= 3 - && 0 <= l1,l2 <= 3 }; -P := { [p1,p2,c1,c2,l1,l2] -> [p1,p2]}; -C := { [p1,p2,c1,c2,l1,l2] -> [p1,p2,c1,c2]}; -own := P(D(A(X))) \I; -own; -need := D(A(Y)) \I; -need; -different := {[p1,p2] -> [q1,q2,c1,c2,l1,l2] : p1 != q1 || p2 != q2}; -ship := (need compose (inverse own) ) intersection different; -symbolic P1,P2; -P := {[P1,P2]}; -S := range (ship \ P); -S; -codegen S; |