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~
