55 #define VERIFY_SHORT(x) ((x)<=32767&&(x)>=-32768)  macro
65    if (!VERIFY_SHORT(x))  in NEG16()
73    if (!VERIFY_SHORT(res))  in NEG16()
109    if (!VERIFY_SHORT(x))  in EXTRACT16_()
125    if (!VERIFY_SHORT(x))  in EXTEND32_()
141    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(shift))  in SHR16_()
149    if (!VERIFY_SHORT(res))  in SHR16_()
163    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(shift))  in SHL16_()
171    if (!VERIFY_SHORT(res))  in SHL16_()
185    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHR32()
207    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHL32_()
240    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in ADD16_()
248    if (!VERIFY_SHORT(res))  in ADD16_()
263    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in SUB16_()
271    if (!VERIFY_SHORT(res))  in SUB16_()
387    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_16()
395    if (!VERIFY_SHORT(res))  in MULT16_16_16()
410    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_()
435    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_QX_()
468    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_PX_()
523    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q11_32()
545    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q13()
554    if (!VERIFY_SHORT(res))  in MULT16_16_Q13()
567    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q14()
576    if (!VERIFY_SHORT(res))  in MULT16_16_Q14()
591    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q15_()
600    if (!VERIFY_SHORT(res))  in MULT16_16_Q15_()
614    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P13()
631    if (!VERIFY_SHORT(res))  in MULT16_16_P13()
644    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P14()
661    if (!VERIFY_SHORT(res))  in MULT16_16_P14()
674    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P15()
691    if (!VERIFY_SHORT(res))  in MULT16_16_P15()
715    if (!VERIFY_INT(a) || !VERIFY_SHORT(b))  in DIV32_16_()
723    if (!VERIFY_SHORT(res))  in DIV32_16_()