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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> This patch seems to block SROA: [dtcxzyw/llvm-opt-benchmark#419 (comment)](https://github.com/dtcxzyw/llvm-opt-benchmark/pull/419#discussion_r1527863982).

This problem is still outstanding. Any thoughts about preserving information from the `exact` flag?


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