On 02/26/2014 12:24 PM, Richard Biener wrote: > An additional question that immediately pops up here is that > of TBAA - may we use the alias-set of the memory reference > to disambiguate other loads/stores against the asm? I would certainly hope so: I don't think the rule here should be any different from any other memory access. Andrew.