[llvm] [InstSimplify] Simplify the select with integer comparison relationship (PR #66668)

[Nikita Popov via llvm-commits]

https://github.com/nikic requested changes to this pull request.

I believe this needs to be handled in isImpliedCondition. There is already existing code that will simplify implications from dominating conditions.

Though really, this seems like something that ConstraintElimination should handle, not InstSimplify.

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