47 #define VERIFY_SHORT(x) ((x)<=32767&&(x)>=-32768)  macro
53    if (!VERIFY_SHORT(x))  in NEG16()
58    if (!VERIFY_SHORT(res))  in NEG16()
81    if (!VERIFY_SHORT(x))  in _EXTRACT16()
94    if (!VERIFY_SHORT(x))  in _EXTEND32()
107    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(shift))  in _SHR16()
112    if (!VERIFY_SHORT(res))  in _SHR16()
121    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(shift))  in _SHL16()
126    if (!VERIFY_SHORT(res))  in _SHL16()
135    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHR32()
150    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHL32()
177    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in _ADD16()
182    if (!VERIFY_SHORT(res))  in _ADD16()
194    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in _SUB16()
199    if (!VERIFY_SHORT(res))  in _SUB16()
242    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_16()
247    if (!VERIFY_SHORT(res))  in MULT16_16_16()
257    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in _MULT16_16()
278    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in _MULT16_32_QX()
294    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_PX()
329    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q11_32()
343    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q13()
349    if (!VERIFY_SHORT(res))  in MULT16_16_Q13()
357    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q14()
363    if (!VERIFY_SHORT(res))  in MULT16_16_Q14()
371    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_Q15()
377    if (!VERIFY_SHORT(res))  in MULT16_16_Q15()
388    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P13()
397    if (!VERIFY_SHORT(res))  in MULT16_16_P13()
405    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P14()
414    if (!VERIFY_SHORT(res))  in MULT16_16_P14()
422    if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))  in MULT16_16_P15()
431    if (!VERIFY_SHORT(res))  in MULT16_16_P15()
447    if (!VERIFY_INT(a) || !VERIFY_SHORT(b))  in _DIV32_16()
452    if (!VERIFY_SHORT(res))  in _DIV32_16()