https://github.com/banach-space approved this pull request. LGTM, thank you for addressing my comments! This is quite a non-trivial change, great job designing and implementing this! https://github.com/llvm/llvm-project/pull/68586