[flang][openacc] Add more parsing/sema tests for init and shutdown directives

[clementval]

Summary

This patch adds some positive and failure tests for init and shutdown directives.

[kiranktp]

flang/test/Semantics/acc-clause-validity.f90

76

I may be wrong here. but i do not see these restrictions in OpenACC 3.0 standard for SHUTDOWN and INIT directive.

[clementval]

flang/test/Semantics/acc-clause-validity.f90

76

There is no written restriction about the if clause on most directives but this is kind of an implicit one since there is also no rule how two if condition would be combined together. Do you combined them with a logical OR or a logical AND. Since the clause takes a condition expression one can combined multiple conditions together in a single if clause.

[sameeranjoshi]

Is there any conclusion on this ?

[clementval]

In D90786#2408355, @sameeranjoshi wrote:

Is there any conclusion on this ?

I have discussed this point with some member of the spec committee and it is not really well defined currently. This will be addressed in future version of the spec but the intention is to allow only a single if clause on all directives.

[clementval]

Ping

[kiranktp]

LGTM

[clementval]

Rebase

flang/test/Semantics/acc-clause-validity.f90

 !   2.14.3 Set
 !   2.14.4 Update
 !   2.15.1 Routine
 !   2.10 Cache
 !   2.11 Parallel Loop
 !   2.11 Kernels Loop
 !   2.11 Serial Loop
 !   2.14.3 Set
+!   2.14.1 Init
+!   2.14.2 Shutdown
 !   2.16.13 Wait
 
 program openacc_clause_validity
 
   implicit none
 
   type atype
     real(8), dimension(10) :: arr
program openacc_clause_validity
   !$acc kernels
   !ERROR: Directive INIT may not be called within a compute region
   !$acc init
   !$acc end kernels
 
   !$acc parallel
   !$acc loop
   do i = 1, N
     !ERROR: Directive INIT may not be called within a compute region
     !$acc init
     a(i) = 3.14
   end do
   !$acc end parallel
 
   !$acc serial
   !$acc loop
   do i = 1, N
program openacc_clause_validity
 
   !$acc set default_async(2)
   !$acc set default_async(i)
   !$acc set device_num(1)
   !$acc set device_num(i)
   !$acc set device_type(i)
   !$acc set device_type(2, i, j)
   !$acc set device_num(1) default_async(2) device_type(2, i, j)
+  !ERROR: At most one IF clause can appear on the INIT directive
+  !$acc init if(.TRUE.) if(ifCondition)
+
+  !ERROR: At most one DEVICE_NUM clause can appear on the INIT directive
+  !$acc init device_num(1) device_num(i)
+
+  !ERROR: At most one DEVICE_TYPE clause can appear on the INIT directive
+  !$acc init device_type(2) device_type(i, j)
+
+  !$acc shutdown
+  !$acc shutdown if(.TRUE.)
+  !$acc shutdown if(ifCondition)
+  !$acc shutdown device_num(1)
+  !$acc shutdown device_num(i)
+  !$acc shutdown device_type(i)
+  !$acc shutdown device_type(2, i, j)
+  !$acc shutdown device_num(i) device_type(i, j) if(ifCondition)
+
+  !ERROR: At most one IF clause can appear on the SHUTDOWN directive
+  !$acc shutdown if(.TRUE.) if(ifCondition)
+
+  !ERROR: At most one DEVICE_NUM clause can appear on the SHUTDOWN directive
+  !$acc shutdown device_num(1) device_num(i)
+
+  !ERROR: At most one DEVICE_TYPE clause can appear on the SHUTDOWN directive
+  !$acc shutdown device_type(2) device_type(i, j)
 
   !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: Modifier is not allowed for the COPYOUT clause on the EXIT DATA directive