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

[via llvm-commits]

goldsteinn wrote:

> Ah, I think the reason I saw it in the diffs is that this patch adds the non-canonical order handling -- the improvement is not actually related to the constant range support at all. Could you please split this out into a separate patch?

Didn't realize `L0` / `R0` could be constants. ill split that out. Seperate patch or commit?

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