[InstCombine] Signed saturation patterns