gcc/testsuite/gfortran.dg/coarray_lib_token_4.f90

   1 ! { dg-do compile }
   2 ! { dg-options "-fcoarray=lib -fdump-tree-original" }
   3 !
   4 ! Check argument passing with assumed-shape coarray dummies
   5 !
   6 program test_caf
   7   implicit none
   8   integer, allocatable :: A(:)[:]
   9   integer, save :: B(3)[*]
  10   integer :: i
  11
  12   allocate (A(3)[*])
  13   A = [1, 2, 3 ]
  14   B = [9, 7, 4 ]
  15   call foo (A, A, test=1)
  16   call foo (A(2:3), B, test=2)
  17   call foo (B, A, test=3)
  18 contains
  19   subroutine foo(x, y, test)
  20     integer :: x(:)[*]
  21     integer, contiguous :: y(:)[*]
  22     integer :: test
  23     call bar (x)
  24     call expl (y)
  25   end subroutine foo
  26
  27   subroutine bar(y)
  28     integer :: y(:)[*]
  29   end subroutine bar
  30
  31   subroutine expl(z)
  32     integer :: z(*)[*]
  33   end subroutine expl
  34 end program test_caf
  35
  36 ! { dg-final { scan-tree-dump-times "expl \\(integer\\(kind=4\\).0:. . restrict z, void . restrict caf_token.\[0-9\]+, integer\\(kind=.\\) caf_offset.\[0-9\]+\\)" 1 "original" } }
  37 !
  38 ! { dg-final { scan-tree-dump-times "bar \\(struct array1_integer\\(kind=4\\) & restrict y, void . restrict caf_token.\[0-9\]+, integer\\(kind=.\\) caf_offset.\[0-9\]+\\)" 1 "original" } }
  39 !
  40 ! { dg-final { scan-tree-dump-times "foo \\(struct array1_integer\\(kind=4\\) & restrict x, struct array1_integer\\(kind=4\\) & restrict y, integer\\(kind=4\\) & restrict test, void . restrict caf_token.\[0-9\]+, integer\\(kind=.\\) caf_offset.\[0-9\]+, void . restrict caf_token.\[0-9\]+, integer\\(kind=.\\) caf_offset.\[0-9\]+\\)" 1 "original" } }
  41 !
  42 ! { dg-final { scan-tree-dump-times "bar \\(&parm.\[0-9\]+, caf_token.\[0-9\]+, \\(\\(integer\\(kind=.\\)\\) parm.\[0-9\]+.data - \\(integer\\(kind=.\\)\\) x.\[0-9\]+\\) \\+ caf_offset.\[0-9\]+\\);" 1 "original" } }
  43 !
  44 ! { dg-final { scan-tree-dump-times "expl \\(\\(integer\\(kind=4\\).0:. .\\) parm.\[0-9\]+.data, caf_token.\[0-9\]+, \\(\\(integer\\(kind=.\\)\\) parm.\[0-9\]+.data - \\(\\(integer\\(kind=.\\)\\) y.\[0-9\]+\\) \\+ caf_offset.\[0-9\]+\\);" 0 "original" } }
  45 !
  46 ! { dg-final { scan-tree-dump-times "foo \\(&a, &a, &C.\[0-9\]+, a.token, 0, a.token, 0\\);" 1 "original" } }
  47 !
  48 ! { dg-final { scan-tree-dump-times "foo \\(&parm.\[0-9\]+, &parm.\[0-9\]+, &C.\[0-9\]+, a.token, \\(integer\\(kind=.\\)\\) parm.\[0-9\]+.data - \\(integer\\(kind=.\\)\\) a.data, caf_token.\[0-9\]+, \\(integer\\(kind=.\\)\\) parm.\[0-9\]+.data - \\(integer\\(kind=.\\)\\) b\\);" 1 "original" } }
  49 !
  50 ! { dg-final { scan-tree-dump-times "foo \\(&parm.\[0-9\]+, &a, &C.\[0-9\]+, caf_token.\[0-9\]+, \\(integer\\(kind=.\\)\\) parm.\[0-9\]+.data - \\(integer\\(kind=.\\)\\) b, a.token, 0\\);" 1 "original" } }
  51 !
  52 ! { dg-final { cleanup-tree-dump "original" } }