https://github.com/banach-space approved this pull request. Re-approving following the latest updates. I believe that all comments from @aniragil have been addressed, but lets give this ~1 day before landing in case I missed something. Thank you Ioana! https://github.com/llvm/llvm-project/pull/194591