[llvm] [ValueTracking] Improve `isImpliedCondICmps` to handle binops (PR #69840)

[Nikita Popov via llvm-commits]

nikic wrote:

This is a specific instance of the general "optimize using constant range at use" problem, and I'm not convinced that extending isImpliedCond() in this direction makes sense. I'm not sure what the best way to approach this is yet.

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