https://github.com/stellaraccident approved this pull request. This looks good to me. Thank you. I am not an expert on bufferization, but it looks like Matthias' review was good on that. Do you need me to merge this? https://github.com/llvm/llvm-project/pull/75103