This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH 1/4] Mark all member functions with memory models always inline
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Jakub Jelinek <jakub at redhat dot com>
- Cc: Andi Kleen <andi at firstfloor dot org>, Andi Kleen <ak at linux dot intel dot com>, Jonathan Wakely <jwakely dot gcc at gmail dot com>, gcc-patches at gcc dot gnu dot org, libstdc++ at gcc dot gnu dot org, rth at redhat dot com
- Date: Wed, 20 Mar 2013 12:28:49 +0100
- Subject: Re: [PATCH 1/4] Mark all member functions with memory models always inline
- References: <1363440569-17331-1-git-send-email-andi at firstfloor dot org> <CAH6eHdR=VhEfAes6S97CfBf0Newe1h3EeoxreRKKHpi4mpJh=w at mail dot gmail dot com> <20130319064639 dot GA12913 at tucnak dot redhat dot com> <20130319155121 dot GM19692 at tassilo dot jf dot intel dot com> <20130319161022 dot GE12913 at tucnak dot redhat dot com> <20130319173016 dot GF20853 at two dot firstfloor dot org> <CAFiYyc3Gfc_KMupTFdA9V3DEz8bXovKb_E7inG7CNwwgEw3MCg at mail dot gmail dot com> <20130320104613 dot GK12913 at tucnak dot redhat dot com> <CAFiYyc2UDJZ7r3H=TSSM=fiwJJh2X_XfPYnZCxehvBTqZqEkbg at mail dot gmail dot com> <20130320112453 dot GL12913 at tucnak dot redhat dot com>
On Wed, Mar 20, 2013 at 12:24 PM, Jakub Jelinek <jakub@redhat.com> wrote:
> On Wed, Mar 20, 2013 at 12:20:27PM +0100, Richard Biener wrote:
>> Walking the SSA def chain would also be possible - preferably from
>> cfgexpand.c when we process the stmt. But you'll eventually lose
>> debug info like for
>>
>> int i = 1;
>> __builtin_foo (i);
>>
>> when we then never expand the SSA name def i_2 = 1 because we are
>> never visiting its use ...
>
> If i is a user variable, then for -O0 we'd better create a memory slot for
> it and expand the i = 1 store as store to that memory location.
Ok, we seem to do that...
Richard.
> Jakub