From 9df4e00d4a1103d60fbd522b7d1e2181533b6104 Mon Sep 17 00:00:00 2001 From: Naje George Date: Mon, 8 Aug 2022 17:07:42 -0700 Subject: [PATCH] [flang] Add semantics test for atomic_add subroutine Reviewed By: ktras Differential Revision: https://reviews.llvm.org/D131535 --- flang/test/Semantics/atomic01.f90 | 93 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 93 insertions(+) create mode 100644 flang/test/Semantics/atomic01.f90 diff --git a/flang/test/Semantics/atomic01.f90 b/flang/test/Semantics/atomic01.f90 new file mode 100644 index 0000000..046692e --- /dev/null +++ b/flang/test/Semantics/atomic01.f90 @@ -0,0 +1,93 @@ +! RUN: %python %S/test_errors.py %s %flang_fc1 +! XFAIL: * +! This test checks for semantic errors in atomic_add() subroutine based on the +! statement specification in section 16.9.20 of the Fortran 2018 standard. + +program test_atomic_add + use iso_fortran_env, only : atomic_int_kind + implicit none + + integer(kind=atomic_int_kind) atom_object[*], atom_array(2)[*], quantity, array(1), coarray[*], non_coarray + integer non_atom_object[*], non_atom, non_scalar(1), status, stat_array(1), coindexed[*] + logical non_integer + + !___ standard-conforming calls with required arguments _______ + + call atomic_add(atom_object, quantity) + call atomic_add(atom_object[1], quantity) + call atomic_add(atom_array(1), quantity) + call atomic_add(atom_array(1)[1], quantity) + call atomic_add(atom_object, array(1)) + call atomic_add(atom_object, coarray[1]) + call atomic_add(atom=atom_object, value=quantity) + call atomic_add(value=quantity, atom=atom_object) + + !___ standard-conforming calls with all arguments ____________ + call atomic_add(atom_object, quantity, status) + call atomic_add(atom_object, quantity, stat_array(1)) + call atomic_add(atom=atom_object, value=quantity, stat=status) + call atomic_add(stat=status, value=quantity, atom=atom_object) + + !___ non-standard-conforming calls _______ + + ! atom must be of kind atomic_int_kind + call atomic_add(non_atom_object, quantity) + + ! atom must be a coarray + call atomic_add(non_coarray, quantity) + + ! atom must be a scalar variable + call atomic_add(atom_array, quantity) + + ! atom has an unknown keyword argument + call atomic_add(atoms=atom_object, value=quantity) + + ! atom has an argument mismatch + call atomic_add(atom=non_atom_object, value=quantity) + + ! value must be an integer + call atomic_add(atom_object, non_integer) + + ! value must be an integer scalar + call atomic_add(atom_object, array) + + ! value must be of kind atomic_int_kind + call atomic_add(atom_object, non_atom) + + ! value has an unknown keyword argument + call atomic_add(atom_object, values=quantity) + + ! value has an argument mismatch + call atomic_add(atom_object, value=non_integer) + + ! stat must be an integer + call atomic_add(atom_object, quantity, non_integer) + + ! stat must be an integer scalar + call atomic_add(atom_object, quantity, non_scalar) + + ! stat is an intent(out) argument + call atomic_add(atom_object, quantity, 8) + + ! stat has an unknown keyword argument + call atomic_add(atom_object, quantity, statuses=status) + + ! stat has an argument mismatch + call atomic_add(atom_object, quantity, stat=non_integer) + + ! stat must not be coindexed + call atomic_add(atom_object, quantity, coindexed[1]) + + ! Too many arguments + call atomic_add(atom_object, quantity, status, stat_array(1)) + + ! Repeated atom keyword + call atomic_add(atom=atom_object, atom=atom_array(1), value=quantity) + + ! Repeated value keyword + call atomic_add(atom=atom_object, value=quantity, value=array(1)) + + ! Repeated stat keyword + call atomic_add(atom=atom_object, value=quantity, stat=status, stat=stat_array(1)) + +end program test_atomic_add -- 2.7.4