https://github.com/fhahn approved this pull request. LGTM, thanks. Some of the phis in the exit blocks could be removed alltogether I think, further cleaning up/simplifying the tests https://github.com/llvm/llvm-project/pull/163762