jayfoad wrote: Was there any discussion about this? I'm not sure if it should be a verifier error or just undefined behaviour at run time. Also there are other instructions that write to memory, like `atomicrmw`. https://github.com/llvm/llvm-project/pull/109181