[llvm] [ValueTracking] Refine known bits for linear interpolation patterns (PR #166378)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Can you please provide a generalized alive2 proof?
See https://llvm.org/docs/InstCombineContributorGuide.html#proofs.


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