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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> The only really thing I can think of is to preserve the information w/ assumes
when we fold a single use shr exact.

We met the same issue in https://github.com/dtcxzyw/llvm-opt-benchmark/pull/49#issuecomment-1870196457.


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