[llvm] [InstCombine] Fold icmp in select to smin (PR #196823)

[Andreas Jonson via llvm-commits]

================

----------------
andjo403 wrote:

Probably shall be %y that is otherwise unused and range attribute can be used to fulfill  isKnownPositive, like "i8 range(i8 1, 128) %y" also good to have a test that do not fulfill isKnownPositive

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