[llvm] [IndVarSimplify] Allow predicateLoopExit on some loops with local writes (PR #155901)

[Florian Mayer via llvm-commits]

fmayer wrote:

> I assume that the overall optimization flow is that the condition gets predicated here and then unswitched?

The condition is now loop invariant and can get moved out

https://github.com/llvm/llvm-project/pull/155901