[flang] Add a semantics test for co_broadcast

Test a range of acceptable forms of co_broadcast calls, including
combinations of keyword and non-keyword actual arguments of
intrinsic and derived type.  Also test that several invalid forms
of co_sum call generate the correct error messages.

Reviewed By: ktras

Differential Revision: https://reviews.llvm.org/D113084

diff --git a/flang/test/Semantics/collectives04.f90 b/flang/test/Semantics/collectives04.f90
new file mode 100644 (file)
index 0000000..b182c21
--- /dev/null
+++ b/flang/test/Semantics/collectives04.f90
@@ -0,0 +1,104 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! XFAIL: *
+! This test checks for semantic errors in co_broadcast subroutine calls based on
+! the co_broadcast interface defined in section 16.9.46 of the Fortran 2018 standard.
+! To Do: add co_broadcast to the list of intrinsics
+
+program test_co_broadcast
+  implicit none
+
+  type foo_t
+  end type
+
+  integer          i, integer_array(1), coindexed_integer[*], status
+  character(len=1) c, character_array(1), coindexed_character[*], message
+  double precision d, double_precision_array(1)
+  type(foo_t)      f
+  real             r, real_array(1), coindexed_real[*]
+  complex          z, complex_array
+  logical bool
+
+  !___ standard-conforming calls with no keyword arguments ___
+  call co_broadcast(i, 1)
+  call co_broadcast(c, 1)
+  call co_broadcast(d, 1)
+  call co_broadcast(f, 1)
+  call co_broadcast(r, 1)
+  call co_broadcast(z, 1)
+  call co_broadcast(i, 1, status)
+  call co_broadcast(i, 1, status, message)
+
+  !___ standard-conforming calls with keyword arguments ___
+
+  ! all arguments present
+  call co_broadcast(a=i, source_image=1, stat=status, errmsg=message) 
+  call co_broadcast(source_image=1, a=i, errmsg=message, stat=status) 
+
+  ! one optional argument not present
+  call co_broadcast(a=d, source_image=1,              errmsg=message)
+  call co_broadcast(a=f, source_image=1, stat=status                )
+
+  ! two optional arguments not present
+  call co_broadcast(a=r, source_image=1                             ) 
+
+  !___ non-standard-conforming calls ___
+
+  !ERROR: missing mandatory 'a=' argument
+  call co_broadcast(source_image=1, stat=status, errmsg=message)
+
+  !ERROR: missing mandatory 'source_image=' argument
+  call co_broadcast(a=c, stat=status, errmsg=message) 
+
+  ! argument 'a' is intent(inout)
+  !ERROR: Actual argument associated with INTENT(IN OUT) dummy argument 'a=' must be definable
+  call co_broadcast(a=1+1, source_image=1)
+  
+  ! argument 'a' shall not be a coindexed object
+  !ERROR: to be determined
+  call co_broadcast(a=coindexed_real[1], source_image=1)
+  
+  ! 'source_image' argument shall be an integer
+  !ERROR: Actual argument for 'source_image=' has bad type 'LOGICAL(4)'
+  call co_broadcast(i, source_image=bool)
+  
+  ! 'source_image' argument shall be an integer scalar
+  !ERROR: 'source_image=' argument has unacceptable rank 1
+  call co_broadcast(c, source_image=integer_array)
+  
+  ! 'stat' argument shall be intent(out)
+  !ERROR: Actual argument associated with INTENT(OUT) dummy argument 'stat=' must be definable
+  call co_broadcast(a=i, source_image=1, stat=1+1, errmsg=message)
+
+  ! 'stat' argument shall be noncoindexed
+  !ERROR: to be determined
+  call co_broadcast(d, stat=coindexed_integer[1], source_image=1)
+ 
+  ! 'stat' argument shall be an integer
+  !ERROR: Actual argument for 'stat=' has bad type 'CHARACTER(KIND=1,LEN=1_8)'
+  call co_broadcast(r, stat=message, source_image=1)
+ 
+  ! 'stat' argument shall be an integer scalar
+  !ERROR: 'stat=' argument has unacceptable rank 1
+  call co_broadcast(i, stat=integer_array, source_image=1)
+ 
+  ! 'errmsg' argument shall be intent(inout)
+  !ERROR: Actual argument associated with INTENT(IN OUT) dummy argument 'errmsg=' must be definable
+  call co_broadcast(a=i, source_image=1, stat=status, errmsg='c')
+
+  ! 'errmsg' argument shall be noncoindexed
+  !ERROR: to be determined
+  call co_broadcast(c, errmsg=coindexed_character[1], source_image=1)
+ 
+  ! 'errmsg' argument shall be character scalar
+  !ERROR: 'errmsg=' argument has unacceptable rank 1
+  call co_broadcast(d, errmsg=character_array, source_image=1)
+ 
+  ! the error is seen as too many arguments to the co_broadcast() call
+  !ERROR: too many actual arguments for intrinsic 'co_broadcast'
+  call co_broadcast(r, source_image=1, stat=status, errmsg=message, 3.4)
+  
+  ! keyword argument with incorrect name
+  !ERROR: unknown keyword argument to intrinsic 'co_broadcast'
+  call co_broadcast(fake=3.4)
+  
+end program test_co_broadcast