Replacing some 32x16 multiplies with 16x16 when both operands are 16 bits