Reduce x - y to -y when we know the 'x' part will get masked off anyways.