Commit d2abd62b authored by Valentin Clement's avatar Valentin Clement Committed by clementval
Browse files

[flang][openacc][NFC] Organize clause validity tests by directive 

Split the tests from acc-clause-validity.f90 in dedicated files by directives.
The file acc-clause-validity.f90 was getting too big to be correctly maintained.
Tests are identical.

Reviewed By: SouraVX

Differential Revision: https://reviews.llvm.org/D95328
parent 189f3111

flang/test/Semantics/OpenACC/acc-atomic-validity.f90

0 → 100644
+42 −0
Original line number Diff line number Diff line 
! RUN: %S/../test_errors.sh %s %t %f18 -fopenacc



! Check OpenACC clause validity for the following construct and directive:

!   2.12 Atomic



program openacc_atomic_validity



  implicit none



  integer :: i

  integer, parameter :: N = 256

  integer, dimension(N) :: c



  !$acc parallel

  !$acc atomic update

  c(i) = c(i) + 1



  !$acc atomic update

  c(i) = c(i) + 1

  !$acc end atomic



  !$acc atomic write

  c(i) = 10



  !$acc atomic write

  c(i) = 10

  !$acc end atomic



  !$acc atomic read

  i = c(i)



  !$acc atomic read

  i = c(i)

  !$acc end atomic



  !$acc atomic capture

  c(i) = i

  i = i + 1

  !$acc end atomic

  !$acc end parallel



end program openacc_atomic_validity

flang/test/Semantics/acc-branch.f90→flang/test/Semantics/OpenACC/acc-branch.f90

+1 −1
Original line number Diff line number Diff line 
! RUN: %S/test_errors.sh %s %t %f18 -fopenacc

! RUN: %S/../test_errors.sh %s %t %f18 -fopenacc



! Check OpenACC restruction in branch in and out of some construct

!

flang/test/Semantics/OpenACC/acc-cache-validity.f90

0 → 100644
+43 −0
Original line number Diff line number Diff line 
! RUN: %S/../test_errors.sh %s %t %f18 -fopenacc



! Check OpenACC clause validity for the following construct and directive:

!   2.10 Cache



program openacc_cache_validity



  implicit none



  type atype

    real(8), dimension(10) :: arr

    real(8) :: s

  end type atype



  integer :: i

  integer, parameter :: N = 256

  real(8), dimension(N, N) :: aa

  type(atype) :: t

  type(atype), dimension(10) :: ta

  real(8), dimension(N) :: a



  !$acc cache(a(i))

  !$acc cache(a(1:2,3:4))

  !$acc cache(a)

  !$acc cache(readonly: a, aa)

  !$acc cache(readonly: a(i), aa(i, i))

  !$acc cache(t%arr)

  !$acc cache(ta(1:2)%arr)

  !$acc cache(ta(1:2)%arr(1:4))



  !ERROR: Only array element or subarray are allowed in CACHE directive

  !$acc cache(ta(1:2)%s)



  !ERROR: Only array element or subarray are allowed in CACHE directive

  !$acc cache(i)



  !ERROR: Only array element or subarray are allowed in CACHE directive

  !$acc cache(t%s)



  !ERROR: Only array element or subarray are allowed in CACHE directive

  !$acc cache(/i/)



end program openacc_cache_validity

flang/test/Semantics/acc-canonicalization-validity.f90→flang/test/Semantics/OpenACC/acc-canonicalization-validity.f90

+1 −1
Original line number Diff line number Diff line 
! RUN: %S/test_errors.sh %s %t %f18 -fopenacc

! RUN: %S/../test_errors.sh %s %t %f18 -fopenacc



! Check OpenACC canonalization validity for the construct defined below:

!   2.9 Loop

flang/test/Semantics/OpenACC/acc-data.f90

0 → 100644
+157 −0
Original line number Diff line number Diff line 
! RUN: %S/../test_errors.sh %s %t %f18 -fopenacc



! Check OpenACC clause validity for the following construct and directive:

!   2.6.5 Data

!   2.14.6 Enter Data

!   2.14.7 Exit Data



program openacc_data_validity



  implicit none



  type atype

    real(8), dimension(10) :: arr

    real(8) :: s

  end type atype



  integer :: i, j, b, gang_size, vector_size, worker_size

  integer, parameter :: N = 256

  integer, dimension(N) :: c

  logical, dimension(N) :: d, e

  integer :: async1

  integer :: wait1, wait2

  real :: reduction_r

  logical :: reduction_l

  real(8), dimension(N, N) :: aa, bb, cc

  logical :: ifCondition = .TRUE.

  type(atype) :: t

  type(atype), dimension(10) :: ta



  real(8), dimension(N) :: a, f, g, h



  !ERROR: At least one of ATTACH, COPYIN, CREATE clause must appear on the ENTER DATA directive

  !$acc enter data



  !ERROR: Modifier is not allowed for the COPYIN clause on the ENTER DATA directive

  !$acc enter data copyin(zero: i)



  !ERROR: Only the ZERO modifier is allowed for the CREATE clause on the ENTER DATA directive

  !$acc enter data create(readonly: i)



  !ERROR: COPYOUT clause is not allowed on the ENTER DATA directive

  !$acc enter data copyin(i) copyout(i)



  !$acc enter data create(aa) if(.TRUE.)



  !ERROR: At most one IF clause can appear on the ENTER DATA directive

  !$acc enter data create(aa) if(.TRUE.) if(ifCondition)



  !$acc enter data create(aa) if(ifCondition)



  !$acc enter data create(aa) async



  !ERROR: At most one ASYNC clause can appear on the ENTER DATA directive

  !$acc enter data create(aa) async async



  !$acc enter data create(aa) async(async1)



  !$acc enter data create(aa) async(1)



  !$acc enter data create(aa) wait(1)



  !$acc enter data create(aa) wait(wait1)



  !$acc enter data create(aa) wait(wait1, wait2)



  !$acc enter data attach(bb)



  !ERROR: At least one of COPYOUT, DELETE, DETACH clause must appear on the EXIT DATA directive

  !$acc exit data



  !ERROR: Modifier is not allowed for the COPYOUT clause on the EXIT DATA directive

  !$acc exit data copyout(zero: i)



  !$acc exit data delete(aa)



  !$acc exit data delete(aa) finalize



  !$acc exit data detach(cc)



  !$acc exit data copyout(bb)



  !$acc exit data delete(aa) if(.TRUE.)



  !$acc exit data delete(aa) if(ifCondition)



  !$acc exit data delete(aa) async



  !$acc exit data delete(aa) async(async1)



  !$acc exit data delete(aa) async(1)



  !$acc exit data delete(aa) wait(1)



  !$acc exit data delete(aa) wait(wait1)



  !$acc exit data delete(aa) wait(wait1, wait2)



  !$acc exit data delete(aa) wait(wait1) wait(wait2)



  !ERROR: Only the ZERO modifier is allowed for the COPYOUT clause on the DATA directive

  !$acc data copyout(readonly: i)

  !$acc end data



  !ERROR: At most one IF clause can appear on the DATA directive

  !$acc data copy(i) if(.true.) if(.true.)

  !$acc end data



  !ERROR: At least one of COPYOUT, DELETE, DETACH clause must appear on the EXIT DATA directive

  !$acc exit data



  !ERROR: At least one of ATTACH, COPY, COPYIN, COPYOUT, CREATE, DEFAULT, DEVICEPTR, NO_CREATE, PRESENT clause must appear on the DATA directive

  !$acc data

  !$acc end data



  !$acc data copy(aa) if(.true.)

  !$acc end data



  !$acc data copy(aa) if(ifCondition)

  !$acc end data



  !$acc data copy(aa, bb, cc)

  !$acc end data



  !$acc data copyin(aa) copyin(readonly: bb) copyout(cc)

  !$acc end data



  !$acc data copyin(readonly: aa, bb) copyout(zero: cc)

  !$acc end data



  !$acc data create(aa, bb(:,:)) create(zero: cc(:,:))

  !$acc end data



  !$acc data no_create(aa) present(bb, cc)

  !$acc end data



  !$acc data deviceptr(aa) attach(bb, cc)

  !$acc end data



  !$acc data copy(aa, bb) default(none)

  !$acc end data



  !$acc data copy(aa, bb) default(present)

  !$acc end data



  !ERROR: At most one DEFAULT clause can appear on the DATA directive

  !$acc data copy(aa, bb) default(none) default(present)

  !$acc end data



  !ERROR: At most one IF clause can appear on the DATA directive

  !$acc data copy(aa) if(.true.) if(ifCondition)

  !$acc end data



  !$acc data copyin(i)

  !ERROR: Unmatched PARALLEL directive

  !$acc end parallel



end program openacc_data_validity