RalfJung wrote: That model has the problem that when there is a load followed by a store, we cannot remove the store as that would remove the implicit partial freeze. https://github.com/llvm/llvm-project/pull/141339