https://github.com/matthias-springer commented: This op will be useful for the buffer deallocation pass, to generate more efficient lowerings for cases where our analysis cannot figure out the aliasing. https://github.com/llvm/llvm-project/pull/156913