55 #define VERIFY_SHORT(x) ((x)<=32767&&(x)>=-32768)  macro
73    if (!VERIFY_SHORT(x))  in NEG16()
81    if (!VERIFY_SHORT(res))  in NEG16()
117    if (!VERIFY_SHORT(x))  in EXTRACT16_()
133    if (!VERIFY_SHORT(x))  in EXTEND32_()
149    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(shift))  in SHR16_()
157    if (!VERIFY_SHORT(res))  in SHR16_()
171    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(shift))  in SHL16_()
179    if (!VERIFY_SHORT(res))  in SHL16_()
193    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHR32()
215    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHL32_()
247    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in ADD16_()
255    if (!VERIFY_SHORT(res))  in ADD16_()
270    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in SUB16_()
278    if (!VERIFY_SHORT(res))  in SUB16_()
394    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_16()
402    if (!VERIFY_SHORT(res))  in MULT16_16_16()
462    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_()
487    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_QX_()
520    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_PX_()
576    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q11_32()
598    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q13()
607    if (!VERIFY_SHORT(res))  in MULT16_16_Q13()
620    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q14()
629    if (!VERIFY_SHORT(res))  in MULT16_16_Q14()
644    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q15_()
653    if (!VERIFY_SHORT(res))  in MULT16_16_Q15_()
667    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P13()
684    if (!VERIFY_SHORT(res))  in MULT16_16_P13()
697    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P14()
714    if (!VERIFY_SHORT(res))  in MULT16_16_P14()
727    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P15()
744    if (!VERIFY_SHORT(res))  in MULT16_16_P15()
768    if (!VERIFY_INT(a) || !VERIFY_SHORT(b))  in DIV32_16_()
776    if (!VERIFY_SHORT(res))  in DIV32_16_()