1! { dg-do run }
2! { dg-options "-fdump-tree-original -fcoarray=lib -lcaf_single" }
3! { dg-additional-options "-latomic" { target libatomic_available } }
4!
5! Some dependency-analysis check for coarray communication
6!
7integer, target, save :: A(10)[*]
8integer, pointer :: P(:)
9integer, save :: B(10)[*]
10
11A = [1,2,3,4,5,6,7,8,9,10]
12B = [1,2,3,4,5,6,7,8,9,10]
13A(10:2:-1) = A(9:1:-1)[1] ! 0
14B(10:2:-1) = B(9:1:-1)
15if (any (A-B /= 0)) call abort
16
17A = [1,2,3,4,5,6,7,8,9,10]
18B = [1,2,3,4,5,6,7,8,9,10]
19A(9:1:-1) = A(10:2:-1)[1] ! 1
20B(9:1:-1) = B(10:2:-1)
21if (any (A-B /= 0)) call abort
22
23A = [1,2,3,4,5,6,7,8,9,10]
24B = [1,2,3,4,5,6,7,8,9,10]
25allocate(P(10))
26P(:) = A(:)[1] ! 1
27if (any (A-B /= 0)) call abort
28
29A = [1,2,3,4,5,6,7,8,9,10]
30B = [1,2,3,4,5,6,7,8,9,10]
31allocate(P(10))
32P(:) = B(:)[1] ! 0
33
34A = [1,2,3,4,5,6,7,8,9,10]
35B = [1,2,3,4,5,6,7,8,9,10]
36A(1:5)[1] = A(3:7)[1] ! 1
37B(1:5) = B(3:7)
38if (any (A-B /= 0)) call abort
39end
40
41! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, &parm.\[0-9\]+, 4, 4, 0\\\);" 1 "original" } }
42! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, &parm.\[0-9\]+, 4, 4, 1\\\);" 1 "original" } }
43! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, &p, 4, 4, 1\\\);" 1 "original" } }
44! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.1, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) b, 1, &parm.\[0-9\]+, 0B, &p, 4, 4, 0\\\);" 1 "original" } }
45! { dg-final { scan-tree-dump-times "_gfortran_caf_sendget \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, 4, 4, 0\\\);" 1 "original" } }
46
47! { dg-final { cleanup-tree-dump "original" } }
48