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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Are you sure that all the code in addInfoForInductions() is safe for non-header exits? At least from a cursory look, I don't think that https://github.com/llvm/llvm-project/blob/0a7728b2a9ad4dab87f7829b72de16fd4f38f7e9/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp#L1041-L1054 is correct as-is, because it adds information to *all* exits, while now not all of them may be dominated by the currently processed exit.



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