1  /* Verify OpenACC 'declare' with VLAs.  */
       2  
       3  /* { dg-additional-options "--param=openacc-kernels=decompose" } */
       4  
       5  /* { dg-additional-options "-fopt-info-omp-all" }
       6     { dg-additional-options "-foffload=-fopt-info-all-omp" } */
       7  
       8  /* { dg-additional-options "--param=openacc-privatization=noisy" }
       9     { dg-additional-options "-foffload=--param=openacc-privatization=noisy" }
      10     Prune a few: uninteresting, and potentially varying depending on GCC configuration (data types):
      11     { dg-prune-output {note: variable 'D\.[0-9]+' declared in block isn't candidate for adjusting OpenACC privatization level: not addressable} } */
      12  
      13  /* It's only with Tcl 8.5 (released in 2007) that "the variable 'varName'
      14     passed to 'incr' may be unset, and in that case, it will be set to [...]",
      15     so to maintain compatibility with earlier Tcl releases, we manually
      16     initialize counter variables:
      17     { dg-line l_dummy[variable c_compute 0] }
      18     { dg-message "dummy" "" { target iN-VAl-Id } l_dummy } to avoid
      19     "WARNING: dg-line var l_dummy defined, but not used".  */
      20  
      21  
      22  #include <assert.h>
      23  
      24  
      25  void
      26  f (void)
      27  {
      28    int N = 1000;
      29    int i, A[N];
      30  #pragma acc declare copy(A)
      31  
      32    for (i = 0; i < N; i++)
      33      A[i] = -i;
      34  
      35  #pragma acc kernels /* { dg-line l_compute[incr c_compute] } */
      36    /* { dg-note {OpenACC 'kernels' decomposition: variable 'i' in 'copy' clause requested to be made addressable} {} { target *-*-* } l_compute$c_compute }
      37       { dg-note {variable 'i' made addressable} {} { target *-*-* } l_compute$c_compute } */
      38    /* { dg-note {OpenACC 'kernels' decomposition: variable 'N' in 'copy' clause requested to be made addressable} {} { target *-*-* } l_compute$c_compute }
      39       { dg-note {variable 'N' made addressable} {} { target *-*-* } l_compute$c_compute } */
      40    /* { dg-optimized {assigned OpenACC seq loop parallelism} {} { target { ! __OPTIMIZE__ } } l_compute$c_compute }
      41       { dg-optimized {assigned OpenACC gang loop parallelism} {} { target __OPTIMIZE__ } l_compute$c_compute } */
      42    /* { dg-note {beginning 'parloops' part in OpenACC 'kernels' region} {} { target *-*-* } .+1 } */
      43    for (i = 0; i < N; i++)
      44      A[i] = i;
      45  
      46  #pragma acc update host(A)
      47  
      48    for (i = 0; i < N; i++)
      49      assert (A[i] == i);
      50  }
      51  
      52  
      53  /* The same as 'f' but everything contained in an OpenACC 'data' construct.  */
      54  
      55  void
      56  f_data (void)
      57  {
      58  #pragma acc data
      59    /* { dg-bogus {note: variable [^\n\r]+ candidate for adjusting OpenACC privatization level} {TODO 'data'} { xfail *-*-* } .-1 } */
      60    {
      61      int N = 1000;
      62      int i, A[N];
      63  # pragma acc declare copy(A)
      64  
      65      for (i = 0; i < N; i++)
      66        A[i] = -i;
      67  
      68  # pragma acc kernels /* { dg-line l_compute[incr c_compute] } */
      69      /* { dg-note {OpenACC 'kernels' decomposition: variable 'i' in 'copy' clause requested to be made addressable} {} { target *-*-* } l_compute$c_compute }
      70         { dg-note {variable 'i' made addressable} {} { target *-*-* } l_compute$c_compute } */
      71      /* { dg-note {OpenACC 'kernels' decomposition: variable 'N' in 'copy' clause requested to be made addressable} {} { target *-*-* } l_compute$c_compute }
      72         { dg-note {variable 'N' made addressable} {} { target *-*-* } l_compute$c_compute } */
      73      /* { dg-optimized {assigned OpenACC seq loop parallelism} {} { target { ! __OPTIMIZE__ } } l_compute$c_compute }
      74         { dg-optimized {assigned OpenACC gang loop parallelism} {} { target __OPTIMIZE__ } l_compute$c_compute } */
      75      /* { dg-note {beginning 'parloops' part in OpenACC 'kernels' region} {} { target *-*-* } .+1 } */
      76      for (i = 0; i < N; i++)
      77        A[i] = i;
      78  
      79  # pragma acc update host(A)
      80  
      81      for (i = 0; i < N; i++)
      82        assert (A[i] == i);
      83    }
      84  }
      85  
      86  
      87  int
      88  main ()
      89  {
      90    f ();
      91  
      92    f_data ();
      93  
      94    return 0;
      95  }