On Nov 22, 2005, at 7:52 AM, Richard Earnshaw wrote:
3) A volatile load isn't moved across any store that may alias (though I'd expect that to be volatile if there's a real risk of aliasning, so maybe we could have another dimension in the 'may-alias' test here).
? Is this just a restatement of the general rule that one cannot move a load across a store that may alias? If so, we don't need to list it here, as it comes under the normal rules of what one may not do, and sense we don't relist all of them, there isn't any point in listing any of them.
