[llvm] [InstSimplify] Fold `select(Y >=s C, sadd.sat(X, Y) >=s X, true)` to `true` when C >… (PR #203639)

[Nikita Popov via llvm-commits]

https://github.com/nikic edited https://github.com/llvm/llvm-project/pull/203639