According to the paper “any compiler optimisation that breaks the load-to-store ordering is disallowed.”