LLVM/project 5e7c689 — flang/test/Semantics form_team01.f90 form_team01b.f90

by Hussain Kadhem via Katherine Rasmussen on ⎇
[flang] Write semantics tests for the FORM TEAM statement.

Reviewed By: ktras

Differential Revision: https://reviews.llvm.org/D134205
DeltaFile
+67-0flang/test/Semantics/form_team01.f90
+21-0flang/test/Semantics/form_team01b.f90
+17-0flang/test/Semantics/form_team01a.f90
+105-03 files

UnifiedSplitRaw

flang/test/Semantics/form_team01.f90
@@ -0,0 +1,67 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! Check for semantic errors in form team statements
+
+subroutine test
+ use, intrinsic :: iso_fortran_env, only: team_type
+ type(team_type) :: team
+ integer :: team_number
+ integer :: team_index
+ integer :: statvar
+ character(len=50) :: errvar
+ integer, codimension[*] :: co_team_number
+ integer, codimension[*] :: co_team_index
+ type(team_type), dimension(1) :: array_team
+ integer, dimension(1) :: array_team_number
+ integer, dimension(1) :: array_team_index
+ integer, dimension(1) :: array_statvar
+ character(len=50), dimension(1) :: array_errvar
+
+ logical :: invalid_argument
+
+ ! Valid invocations which should produce no errors.
+ FORM TEAM (team_number, team)
+ ! One form-team-spec argument.
+ FORM TEAM (team_number, team, NEW_INDEX=team_index)
+ FORM TEAM (team_number, team, STAT=statvar)
+ FORM TEAM (team_number, team, ERRMSG=errvar)
+ ! Two form-team-spec arguments in any order.
+ FORM TEAM (team_number, team, NEW_INDEX=team_index, STAT=statvar)
+ FORM TEAM (team_number, team, STAT=statvar, NEW_INDEX=team_index)
+ FORM TEAM (team_number, team, NEW_INDEX=team_index, ERRMSG=errvar)
+ FORM TEAM (team_number, team, ERRMSG=errvar, NEW_INDEX=team_index)
+ FORM TEAM (team_number, team, STAT=statvar, ERRMSG=errvar)
+ FORM TEAM (team_number, team, ERRMSG=errvar, STAT=statvar)
+! Three form-team-spec arguments in any order.
+ FORM TEAM (team_number, team, NEW_INDEX=team_index, STAT=statvar, ERRMSG=errvar) ! identity
+ FORM TEAM (team_number, team, STAT=statvar, NEW_INDEX=team_index, ERRMSG=errvar) ! transposition (1,2)
+ FORM TEAM (team_number, team, ERRMSG=errvar, STAT=statvar, NEW_INDEX=team_index) ! transposition (1,3)
+ FORM TEAM (team_number, team, NEW_INDEX=team_index, ERRMSG=errvar, STAT=statvar) ! transposition (2,3)
+ FORM TEAM (team_number, team, ERRMSG=errvar, NEW_INDEX=team_index, STAT=statvar) ! cycle (1,2,3)
+ FORM TEAM (team_number, team, STAT=statvar, ERRMSG=errvar, NEW_INDEX=team_index) ! cycle (1,3,2)
+ ! It is semantically legal for team_index to be coindexed.
+ FORM TEAM (team_number, team, NEW_INDEX=co_team_index[this_image()])
+
+ ! Semantically invalid invocations.
+ !ERROR: Must have INTEGER type, but is LOGICAL(4)
+ FORM TEAM (invalid_argument, team)
+ !ERROR: Must have INTEGER type, but is REAL(4)
+ FORM TEAM (0.0, team)
+ !ERROR: Must have INTEGER type, but is LOGICAL(4)
+ FORM TEAM (team_number, team, NEW_INDEX=invalid_argument)
+ !ERROR: Must have INTEGER type, but is LOGICAL(4)
+ FORM TEAM (team_number, team, STAT=invalid_argument)
+ !ERROR: Must have CHARACTER type, but is LOGICAL(4)
+ FORM TEAM (team_number, team, ERRMSG=invalid_argument)
+
+ ! Arguments with rank mismatches.
+ !ERROR: Must be a scalar value, but is a rank-1 array
+ FORM TEAM (array_team_number, team)
+ !ERROR: Must be a scalar value, but is a rank-1 array
+ FORM TEAM (team_number, array_team)
+ !ERROR: Must be a scalar value, but is a rank-1 array
+ FORM TEAM (team_number, team, NEW_INDEX=array_team_index)
+ !ERROR: Must be a scalar value, but is a rank-1 array
+ FORM TEAM (team_number, team, STAT=array_statvar)
+ !ERROR: Must be a scalar value, but is a rank-1 array
+ FORM TEAM (team_number, team, ERRMSG=array_errvar)
+end subroutine
flang/test/Semantics/form_team01a.f90
@@ -0,0 +1,17 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! Check for semantic errors in form team statements
+! This subtest contains syntactic tests that prevent the main tests from being emitted.
+
+subroutine test
+ use, intrinsic :: iso_fortran_env, only: team_type
+ type(team_type) :: team
+ integer :: team_number
+
+ ! Syntactically invalid invocations.
+ !ERROR: expected '('
+ FORM TEAM (team_number, 0)
+ !ERROR: expected '('
+ FORM TEAM (team_number, team, STAT=0)
+ !ERROR: expected '('
+ FORM TEAM (team_number, team, ERRMSG='')
+end subroutine
flang/test/Semantics/form_team01b.f90
@@ -0,0 +1,21 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! XFAIL: *
+! Check for semantic errors in form team statements
+! This subtest contains tests for unimplemented errors.
+
+subroutine test
+ use, intrinsic :: iso_fortran_env, only: team_type
+ type(team_type) :: team
+ integer :: team_number
+ integer, codimension[*] :: co_statvar
+ character(len=50), codimension[*] :: co_errvar
+
+ ! Semantically invalid invocations.
+ ! argument 'stat' shall not be a coindexed object
+ !ERROR: to be determined
+ FORM TEAM (team_number, team, STAT=co_statvar[this_image()])
+ ! argument 'errmsg' shall not be a coindexed object
+ !ERROR: to be determined
+ FORM TEAM (team_number, team, ERRMSG=co_errvar[this_image()])
+
+end subroutine