https://github.com/llvm/llvm-project/commit/9cbedd925cba9e8ef76c50caa6d6ab4b0cc79c8f We may need to tweak the semantics of readonly as well to allow certain stores?
