This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH 0/2] Convert s390 to atomic optabs, v2
- From: Richard Henderson <rth at redhat dot com>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: uweigand at de dot ibm dot com, gcc-patches at gcc dot gnu dot org
- Date: Wed, 01 Aug 2012 08:59:09 -0700
- Subject: Re: [PATCH 0/2] Convert s390 to atomic optabs, v2
- References: <5016C81E.5020709@redhat.com> <1343687574-3244-1-git-send-email-rth@redhat.com> <alpine.LNX.2.00.1207311053340.17088@jbgna.fhfr.qr> <5017FD48.8080005@redhat.com> <alpine.LNX.2.00.1208011037010.17088@jbgna.fhfr.qr>
On 08/01/2012 01:40 AM, Richard Guenther wrote:
> I see. So your issue is that you don't get the knowledge
> that the address is even more aligned than required by the
> builtin.
Yes. Very helpful for quite a few targets that only have word-sized atomic operations, and we emulate char/short via bit-fiddling. That's where MEM_ALIGN as an align+ofs pair would come in doubly helpful...
> So we only use type information when seeing an actual memory
> reference where we make sure to keep alignment info correct
> (which we don't bother to do for addresses).
How hard would it be to include (some) builtins in "actual memory reference"? Since it seems likely at this point that gimple_atomic will make it in for 4.8?
r~