[llvm] [InstCombine] Fold sext of an nsw binop on trunc nsw into a wide nsw … (PR #228530)

[Alexey Bataev via llvm-commits]

https://github.com/alexey-bataev commented:

Add alive2 proof of the correctness

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