From: Tobias Burnus <tobias@codesourcery.com>
To: gcc-patches <gcc-patches@gcc.gnu.org>, Jakub Jelinek <jakub@redhat.com>
Cc: fortran <fortran@gcc.gnu.org>
Subject: [Patch] OpenMP/Fortran: Fix handling of optional is_device_ptr + bind(C) [PR108546]
Date: Tue, 28 Feb 2023 17:18:25 +0100 [thread overview]
Message-ID: <452ab67b-34f5-d816-436d-33f8f9ac44d4@codesourcery.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1012 bytes --]
(That's a[11/12/13 Regression] P2 regression) The problem is that an is-present
check on the receiver side (inside the target region) does not make much
sense; the != NULL check needs to be done before the GOMP_target_ext but
it *is* already there. (Having the check inside the target region failed
with an ICE.) Additionally, I encountered an issue for 'void *' alias
'type(c_ptr)'. That's on the Fortran-language side represented as
derived type with private component(s), but then mapped to 'void*'. In
any case, it lead to 'map(to: p) map(pset: p)' and the former will be at
some point get TYPE_UNIT_SIZE(TREE_TYPE(*p)) but '*p' is void, giving an
ICE in omp-lower ... OK for mainline – and later backport to 12 + 11?
Tobias
-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955
[-- Attachment #2: pr108546-v3.diff --]
[-- Type: text/x-patch, Size: 5305 bytes --]
OpenMP/Fortran: Fix handling of optional is_device_ptr + bind(C) [PR108546]
For is_device_ptr, optional checks should only be done before calling
libgomp, afterwards they are NULL either because of absent or, by
chance, because it is unallocated or unassociated (for pointers/allocatables).
Additionally, it fixes an issue with explicit mapping for 'type(c_ptr)'.
PR middle-end/108546
gcc/fortran/ChangeLog:
* trans-openmp.cc (gfc_trans_omp_clauses): Fix mapping of
type(C_ptr) variables.
gcc/ChangeLog:
* omp-low.cc (lower_omp_target): Remove optional handling
on the receiver side, i.e. inside target (data), for
use_device_ptr.
libgomp/ChangeLog:
* testsuite/libgomp.fortran/is_device_ptr-3.f90: New test.
* testsuite/libgomp.fortran/use_device_ptr-optional-4.f90: New test.
gcc/fortran/trans-openmp.cc | 4 +-
gcc/omp-low.cc | 3 +-
.../testsuite/libgomp.fortran/is_device_ptr-3.f90 | 46 +++++++++++++++++++
.../libgomp.fortran/use_device_ptr-optional-4.f90 | 53 ++++++++++++++++++++++
4 files changed, 104 insertions(+), 2 deletions(-)
diff --git a/gcc/fortran/trans-openmp.cc b/gcc/fortran/trans-openmp.cc
index 2d16f3be8ea..84c0184f48e 100644
--- a/gcc/fortran/trans-openmp.cc
+++ b/gcc/fortran/trans-openmp.cc
@@ -3152,7 +3152,9 @@ gfc_trans_omp_clauses (stmtblock_t *block, gfc_omp_clauses *clauses,
|| GFC_DECL_CRAY_POINTEE (decl)
|| GFC_DESCRIPTOR_TYPE_P
(TREE_TYPE (TREE_TYPE (decl)))
- || n->sym->ts.type == BT_DERIVED))
+ || (n->sym->ts.type == BT_DERIVED
+ && (n->sym->ts.u.derived->ts.f90_type
+ != BT_VOID))))
{
tree orig_decl = decl;
diff --git a/gcc/omp-low.cc b/gcc/omp-low.cc
index fef41a013ec..9757592c635 100644
--- a/gcc/omp-low.cc
+++ b/gcc/omp-low.cc
@@ -13942,7 +13942,8 @@ lower_omp_target (gimple_stmt_iterator *gsi_p, omp_context *ctx)
}
tree present;
present = ((do_optional_check
- && OMP_CLAUSE_CODE (c) != OMP_CLAUSE_HAS_DEVICE_ADDR)
+ && OMP_CLAUSE_CODE (c) != OMP_CLAUSE_HAS_DEVICE_ADDR
+ && OMP_CLAUSE_CODE (c) != OMP_CLAUSE_IS_DEVICE_PTR)
? omp_check_optional_argument (OMP_CLAUSE_DECL (c), true)
: NULL_TREE);
if (present)
diff --git a/libgomp/testsuite/libgomp.fortran/is_device_ptr-3.f90 b/libgomp/testsuite/libgomp.fortran/is_device_ptr-3.f90
new file mode 100644
index 00000000000..ab9f00ebecb
--- /dev/null
+++ b/libgomp/testsuite/libgomp.fortran/is_device_ptr-3.f90
@@ -0,0 +1,46 @@
+module m
+ use iso_c_binding
+ implicit none
+contains
+ subroutine s(x,y,z)
+ type(c_ptr), optional :: x
+ integer, pointer, optional :: y
+ integer, allocatable, optional :: z
+ logical is_present, is_null
+ is_present = present(x)
+ if (is_present) &
+ is_null = .not. c_associated(x)
+
+ !$omp target is_device_ptr(x) has_device_addr(y) has_device_addr(z)
+ if (is_present) then
+ if (is_null) then
+ if (c_associated(x)) stop 1
+ if (associated(y)) stop 2
+ if (allocated(z)) stop 3
+ else
+ if (.not. c_associated(x, c_loc(y))) stop 4
+ if (y /= 7) stop 5
+ if (z /= 9) stop 6
+ end if
+ end if
+ !$omp end target
+ end
+end
+
+use m
+implicit none
+integer, pointer :: p
+integer, allocatable :: a
+p => null()
+call s()
+!$omp target data map(p,a) use_device_addr(p,a)
+ call s(c_null_ptr, p, a)
+!$omp end target data
+allocate(p,a)
+p = 7
+a = 9
+!$omp target data map(p,a) use_device_addr(p,a)
+ call s(c_loc(p), p, a)
+!$omp end target data
+deallocate(p,a)
+end
diff --git a/libgomp/testsuite/libgomp.fortran/use_device_ptr-optional-4.f90 b/libgomp/testsuite/libgomp.fortran/use_device_ptr-optional-4.f90
new file mode 100644
index 00000000000..b2a5c314685
--- /dev/null
+++ b/libgomp/testsuite/libgomp.fortran/use_device_ptr-optional-4.f90
@@ -0,0 +1,53 @@
+! PR middle-end/108546
+!
+module m
+ use iso_c_binding
+ implicit none
+ type(c_ptr) :: p2, p3
+contains
+ subroutine s(x,y,z)
+ type(c_ptr), optional :: x
+ integer, pointer, optional :: y
+ integer, allocatable, optional, target :: z
+ logical is_present, is_null
+ is_present = present(x)
+ if (is_present) &
+ is_null = .not. c_associated(x)
+
+ !$omp target data use_device_ptr(x) use_device_addr(y) use_device_addr(z)
+ if (is_present) then
+ if (is_null) then
+ if (c_associated(x)) stop 1
+ if (associated(y)) stop 2
+ if (allocated(z)) stop 3
+ else
+ if (.not. c_associated(x, p2)) stop 4
+ if (.not. c_associated(c_loc(y), p2)) stop 5
+ if (.not. c_associated(c_loc(z), p3)) stop 6
+ end if
+ end if
+ !$omp end target data
+ end
+end
+
+use m
+implicit none
+type(c_ptr) :: cp
+integer, pointer :: p
+integer, allocatable, target :: a
+call s()
+p => null()
+call s(c_null_ptr, p, a)
+allocate(p,a)
+p = 7
+a = 9
+cp = c_loc(p)
+!$omp target enter data map(to: cp, p, a)
+!$omp target map(from: p2, p3)
+ p2 = c_loc(p)
+ p3 = c_loc(a)
+!$omp end target
+call s(cp, p, a)
+!$omp target exit data map(delete: cp, p, a)
+deallocate(p,a)
+end
next reply other threads:[~2023-02-28 16:18 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-02-28 16:18 Tobias Burnus [this message]
2023-03-01 12:42 ` Jakub Jelinek
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=452ab67b-34f5-d816-436d-33f8f9ac44d4@codesourcery.com \
--to=tobias@codesourcery.com \
--cc=fortran@gcc.gnu.org \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).