asm volatile("":::"memory) uncertainty.

[Jeff Law]

On 05/10/2016 10:05 AM, Andrew Haley wrote:
> On 05/10/2016 04:58 PM, Tom Udale wrote:
>> To my mind, the only reason that these would not be considered "memory
>> references" is because the compiler has already decided to put the
>> memory into registers (true these are mostly automatic variables so they
>> can easily be put into registers).  But from an abstract machine
>> standpoint a=b is a memory read and a memory write is it not (or is that
>> a totally incorrect statement)?  It seems odd therefore that a register
>> allocation choice can fundamentally alter program behavior.
>
> An auto variable is only considered to be "memory" if its address
> is taken with & .  "memory" means that this object is reachable from
> some pointer somewhere.
And note that there's a variety of analysis and transformations that 
will try to eliminate the address-of so that the object is no longer 
addressable.

> Not really.  If a variable is not addressable by any means then it
> can't be affected by a memory access.  Whether the compiler spills
> that variable to a stack frame makes no difference.
Right.

jeff