[llvm] [ConstraintElim] Support arbitrary incoming values for inductions (PR #68032)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

This looks fine to me, but I do wonder whether

> This is done after the existing check, which can help to catch cases where the expression gets simplified by SCEV to either an IR constant or existing value which can be used instead.

really makes sense, especially the SCEVUnknown bit. Are there any tests that show a behavior difference if the check is dropped?

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