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/beatrice2 | |
| 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/beatrice2')
| -rw-r--r-- | omega/examples/old_test/beatrice2 | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/omega/examples/old_test/beatrice2 b/omega/examples/old_test/beatrice2 new file mode 100644 index 0000000..7b425fd --- /dev/null +++ b/omega/examples/old_test/beatrice2 @@ -0,0 +1,51 @@ +# do i = 1, np { +# do j = 1, i { +# ij = ia(i) + j +# a = 1. / (i + j) +# do k = 1, i { +# maxl = k +# if (k == i) then +# maxl = j +# endif +# do l = 1, maxl { +# kl = ia(k) + l +# b = 1. / (k + l) +# val = a + b +# if (i == j) then +# val = val * .5 +# endif +# if (k == l) then +# val = val * .5 +# endif +# x(ij,kl) = val +# x(kl,ij) = val +# } +# } +# } +# } +#! +# +# +# As far as I remember it was the dependence test between X(IJ,KL) and X(IJ,KL). +# +# Pips discovered the following precondition: +# + +{[d1,d2,d3,d4] : exists ( NP, + I,J,K,L,IJ,KJ,MAXL, + I',J',K',L',IJ',KJ',MAXL' : + I' = I+d1 && + J' = J+d2 && + K' = K+d3 && + L' = L+d4 + && 1<=L && 1<=J && MAXL<=K && I<=NP && NP<=40 && 10<=NP + && 10+8K+MAXL<=NP+8I+J && 38K+MAXL<=38I+J + && J+K<=I+MAXL && L<=MAXL + && 1 <= J,K <= I <= NP && 1 <=L <= MAXL + + && 1<=L' && 1<=J' && MAXL'<=K' && I'<=NP && NP<=40 && 10<=NP + && 10+8K'+MAXL'<=NP+8I'+J' && 38K'+MAXL'<=38I'+J' + && J'+K'<=I'+MAXL' && L'<=MAXL' + && 1 <= J',K' <= I' <= NP && 1 <=L' <= MAXL' + )}; + |