[llvm] [InstCombine] Fold reconstruction across select (PR #145102)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

I have updated the PR description with a link to the generalized proof.


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