@jubilee @thephd @fasterthanlime Thanks.
So you're talking about " no coherently specified behavior" and potentially "miscompiling vast swathes of code". I still can't see what exactly you mean, what is missing, how this should be fixed, and how the fix fits into a (hopefully improved) memory model. And why does this affect only x86?
There must be a reason why a vendor extension is just that and not the standard.