rengolin wrote: If the `map` operation doesn't use the `init`, then bufferization will always create a new allocation. Adding @javedabsar1 who wrote the generalization code and @matthias-springer who knows more about the bufferization part. https://github.com/llvm/llvm-project/pull/162742