[llvm] [ConstraintElim] Generalize IV logic to chain of exiting blocks. (PR #108031)

[Florian Hahn via llvm-commits]

================
@@ -931,6 +932,8 @@ void State::addInfoForInductions(BasicBlock &BB) {
   else
     return;
 
+  assert(InLoopSucc != L->getHeader() &&
+         "Cannot inject condition back to loop header");
   if (!L->contains(InLoopSucc) || !L->isLoopExiting(&BB) || InLoopSucc == &BB)
----------------
fhahn wrote:

Updated, thanks!

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