4K Aliasing (2020)
richardstartin.github.io
richardstartin.github.io
They tried to get rid of strictly ordering almost all load/stores with Itanium, but they bungled that product so hard. Now switching ISAs would look like a weakness no matter what they do.
The check done by Intel has false positives and it is possible that other cpus have stronger aliasing resolutions (or avoid the reordering completely, although it is unlikely for an high performance cpu), but it is not because of the x86 MM.
[1] Well, I guess some exposed pipeline VLIW might kind of do it, but that's another story.
The x86 memory model is widely known to be stricter than that chosen by default for most other CPUs. It's for that reason that Apple's X1 had to introduce total store ordering for x86 emulation at speed.
If that's not the case, I'm not sure how their comment is relevant.
I'll also just note that Intel actually slightly strengthened the documented MM in recent year from Processor Ordering to Total Store Order which formally forbids IRIW that never happened in practice.