[llvm] [ValueTracking] Extend LHS/RHS with matching operand to work without constants. (PR #85557)

[via llvm-commits]

goldsteinn wrote:

Rebased, limited CR analysis to MaxRecursiveDepth - 1. My feeling is this is mostly to capture relationships like `X u> Y` implies `X != 0`. Using CR is IMO the easiest way to avoid implementing bespoke logic here.

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