https://github.com/banach-space approved this pull request. LGTM % some minor requests. This is quite intricate, and I really appreciate the effort you've put into implementing this and so patiently addressing all my comments. https://github.com/llvm/llvm-project/pull/121298