InstCombine: Correctly propagate NSW/NUW for x-(-A) -> x+A