https://github.com/banach-space commented: Thanks for the updates, some more questions inline. The tests imply that this is correct, but there's a few details I am unsure of, so asking for some clarifications. Thanks! https://github.com/llvm/llvm-project/pull/131982