jayfoad wrote: > jayfoad any thoughts? Only that if the exhaustive unit test passes then the logic must be OK, so no objections from me. I don't have time to try to understand the patch deeply now. https://github.com/llvm/llvm-project/pull/113096