Benign underflow idioms 11 and 12; subtrahend is large constant, or both operands were obtained from zero-extended moves.
