anon (anon.delete@this.anon.com) on August 22, 2014 5:50 pm wrote:
> I really don't think following a store with a load to the same location does as
> much as you think. I doubt it does *anything* that you can rely on, actually.

I think we may be conflating x86 ordering rules and PCI[e] ordering rules in this discussion. For PCIe a load will indeed flush preceding stores as Michael assumes. IIRC in x86 the load can hit the store buffer leading to exactly the behavior you described in the rest of your post.