[InstCombine] add test for abs with dominating condition; NFC

There's a potential miscompile or missed optimization with
propagating 'nsw' in the transform proposed in D122013, so
we need at least one more test for coverage.