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

[Macsen Casaus via llvm-commits]

macsencasaus wrote:

> > https://alive2.llvm.org/ce/z/E85DRW
> 
> I'm confused, this proof does not seem to match the implemented transform at all?

Apologies, https://alive2.llvm.org/ce/z/URiF_Y

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