This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Walk through thunks when propagating comdat group
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Ilya Enkovich <enkovich dot gnu at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org, hubicka at ucw dot cz
- Date: Tue, 7 Apr 2015 22:37:33 +0200
- Subject: Re: [PATCH] Walk through thunks when propagating comdat group
- Authentication-results: sourceware.org; auth=none
- References: <20150407143501 dot GD11622 at msticlxl57 dot ims dot intel dot com>
> Hi,
>
> Currently enqueue_references in comdats pass enqueue target function instead of thunks. But propagate_comdat_group doesn't walk through thunks and therefore comdat group of thunk's caller is not propagated into thunk's target function. This patch tries to fix it. Testing is in progress. Does it look OK?
>
> Thanks,
> Ilya
> --
> gcc/
>
> 2015-04-07 Ilya Enkovich <ilya.enkovich@intel.com>
>
> * ipa-comdats.c (propagate_comdat_group): Walk through thunks.
>
> gcc/testsuite/
>
> 2015-04-07 Ilya Enkovich <ilya.enkovich@intel.com>
>
> * gcc.target/i386/mpx/chkp-thunk-comdat-3.c: New.
>
>
> diff --git a/gcc/ipa-comdats.c b/gcc/ipa-comdats.c
> index f349f9f..74088a9 100644
> --- a/gcc/ipa-comdats.c
> +++ b/gcc/ipa-comdats.c
> @@ -144,10 +144,12 @@ propagate_comdat_group (struct symtab_node *symbol,
>
> /* If we see inline clone, its comdat group actually
> corresponds to the comdat group of the function it is inlined
> - to. */
> + to. Dive into thunks similar to aliases. */
>
> if (cgraph_node * cn = dyn_cast <cgraph_node *> (symbol2))
> {
> + if (cn->thunk.thunk_p)
> + newgroup = propagate_comdat_group (symbol2, newgroup, map);
OK, thanks!
Please put the comment about inline clones just before the global.inlined_to test
and make the comment about thunks separate.
Probably "Thunks can not call across section boundary"
Honza
> if (cn->global.inlined_to)
> symbol2 = cn->global.inlined_to;
> }
> diff --git a/gcc/testsuite/gcc.target/i386/mpx/chkp-thunk-comdat-3.c b/gcc/testsuite/gcc.target/i386/mpx/chkp-thunk-comdat-3.c
> new file mode 100644
> index 0000000..dd0057e
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/i386/mpx/chkp-thunk-comdat-3.c
> @@ -0,0 +1,23 @@
> +/* { dg-do compile } */
> +/* { dg-options "-fcheck-pointer-bounds -mmpx -O -fvisibility=hidden" } */
> +
> +int val;
> +
> +static int __attribute__((noinline))
> +test1 ()
> +{
> + return val;
> +}
> +
> +static int __attribute__((bnd_legacy,noinline))
> +test2 ()
> +{
> + return test1 ();
> +}
> +
> +int
> +test3 (void)
> +{
> + return test2 ();
> +}
> +