diff options
| author | dhuth <derickhuth@gmail.com> | 2014-11-21 13:35:20 -0700 |
|---|---|---|
| committer | dhuth <derickhuth@gmail.com> | 2014-11-21 13:35:20 -0700 |
| commit | a1834b22c43c282442b0cb164767e6c877cf0e5b (patch) | |
| tree | bedc5be7d1bdb8d32c1868caa496a8a1530d8d8a /omega/examples/old_test/p.delft2 | |
| parent | ded84bb4aec7461738e7b7033d782a518e2c606b (diff) | |
| parent | eb9236c5353785472ae132f27e1cfb9f1e4264a5 (diff) | |
| download | chill-a1834b22c43c282442b0cb164767e6c877cf0e5b.tar.gz chill-a1834b22c43c282442b0cb164767e6c877cf0e5b.tar.bz2 chill-a1834b22c43c282442b0cb164767e6c877cf0e5b.zip | |
Merge branch 'master' into doe
Diffstat (limited to 'omega/examples/old_test/p.delft2')
| -rw-r--r-- | omega/examples/old_test/p.delft2 | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/omega/examples/old_test/p.delft2 b/omega/examples/old_test/p.delft2 new file mode 100644 index 0000000..32e5da0 --- /dev/null +++ b/omega/examples/old_test/p.delft2 @@ -0,0 +1,24 @@ +# 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; |