[llvm] [InstCombine] Propagate flags in `foldSelectICmpAndBinOp` (PR #127437)

[Andreas Jonson via llvm-commits]

andjo403 wrote:

think that it looks good and for dummis like me that do not understand that this fold is that combination of folds I updated the  proof from https://reviews.llvm.org/D148414 with flags https://alive2.llvm.org/ce/z/584Bb4

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