This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][OpenMP] Fix declare target variables in fortran modules
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Ilya Verbin <iverbin at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Tobias Burnus <burnus at net-b dot de>, Thomas Schwinge <thomas at codesourcery dot com>, Kirill Yukhin <kirill dot yukhin at gmail dot com>
- Date: Thu, 12 Mar 2015 20:29:46 +0100
- Subject: Re: [PATCH][OpenMP] Fix declare target variables in fortran modules
- Authentication-results: sourceware.org; auth=none
- References: <20150312135635 dot GA55837 at msticlxl57 dot ims dot intel dot com> <20150312142135 dot GW1746 at tucnak dot redhat dot com> <20150312192237 dot GA336 at msticlxl57 dot ims dot intel dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Thu, Mar 12, 2015 at 10:22:37PM +0300, Ilya Verbin wrote:
> On Thu, Mar 12, 2015 at 15:21:35 +0100, Jakub Jelinek wrote:
> > On Thu, Mar 12, 2015 at 04:56:35PM +0300, Ilya Verbin wrote:
> > > This happens because the var_x is added into offload tables for both share.o and
> > > test.o. The patch below fixes this issue. Regtested on x86_64-linux and
> > > i686-linux. However I'm not sure how to create a regression test, which would
> > > compile 2 separate objects, and check run-time result.
> >
> > Ok with proper ChangeLog entry.
> >
> > As for testcase, won't dg-additional-sources help?
> > I mean, does it fail without your patch even if you just do
> > gfortran -fopenmp -o a.out share.f90 test.f90; ./a.out ?
>
> Yes, this works. Here is what I will commit tomorrow, if no objections.
Ok, thanks.
> gcc/
> * varpool.c (varpool_node::get_create): Don't set 'offloadable' flag for
> the external decls.
> libgomp/
> * testsuite/libgomp.fortran/declare-target-1.f90: New test.
> * testsuite/libgomp.fortran/declare-target-2.f90: New file.
>
>
> diff --git a/gcc/varpool.c b/gcc/varpool.c
> index b583693..ce64279 100644
> --- a/gcc/varpool.c
> +++ b/gcc/varpool.c
> @@ -173,7 +173,7 @@ varpool_node::get_create (tree decl)
> node = varpool_node::create_empty ();
> node->decl = decl;
>
> - if ((flag_openacc || flag_openmp)
> + if ((flag_openacc || flag_openmp) && !DECL_EXTERNAL (decl)
> && lookup_attribute ("omp declare target", DECL_ATTRIBUTES (decl)))
> {
> node->offloadable = 1;
> diff --git a/libgomp/testsuite/libgomp.fortran/declare-target-1.f90 b/libgomp/testsuite/libgomp.fortran/declare-target-1.f90
> new file mode 100644
> index 0000000..fd9c26f
> --- /dev/null
> +++ b/libgomp/testsuite/libgomp.fortran/declare-target-1.f90
> @@ -0,0 +1,15 @@
> +! { dg-do run }
> +! { dg-additional-sources declare-target-2.f90 }
> +
> +module declare_target_1_mod
> + integer :: var_x
> + !$omp declare target(var_x)
> +end module declare_target_1_mod
> +
> + interface
> + subroutine foo ()
> + end subroutine foo
> + end interface
> +
> + call foo ()
> +end
> diff --git a/libgomp/testsuite/libgomp.fortran/declare-target-2.f90 b/libgomp/testsuite/libgomp.fortran/declare-target-2.f90
> new file mode 100644
> index 0000000..f8d3ab2
> --- /dev/null
> +++ b/libgomp/testsuite/libgomp.fortran/declare-target-2.f90
> @@ -0,0 +1,18 @@
> +! Don't compile this anywhere, it is just auxiliary
> +! file compiled together with declare-target-1.f90
> +! to verify inter-CU module handling of omp declare target.
> +! { dg-do compile { target { lp64 && { ! lp64 } } } }
> +
> +subroutine foo
> + use declare_target_1_mod
> +
> + var_x = 10
> + !$omp target update to(var_x)
> +
> + !$omp target
> + var_x = var_x * 2;
> + !$omp end target
> +
> + !$omp target update from(var_x)
> + if (var_x /= 20) call abort
> +end subroutine foo
>
>
> -- Ilya
Jakub