shay-kl wrote: @matthias-springer The buffer deallocation pass is happy if I use NoMemoryEffect, however in that case the operation is considered trivially dead and gets optimized away by cse. https://github.com/llvm/llvm-project/pull/139521