https://github.com/banach-space commented: Based on the description in the issue, this makes sense to me. I've made some minor suggestions re the implementation. Thanks for the fix, Benoit! https://github.com/llvm/llvm-project/pull/190230