56 #define VERIFY_INT(x) ((x)<=2147483647LL&&(x)>=-2147483648LL)  macro
86    if (!VERIFY_INT(x))  in NEG32()
94    if (!VERIFY_INT(res))  in NEG32()
185    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHR32()
193    if (!VERIFY_INT(res))  in SHR32()
207    if (!VERIFY_INT(a) || !VERIFY_SHORT(shift))  in SHL32_()
215    if (!VERIFY_INT(res))  in SHL32_()
286    if (!VERIFY_INT(a) || !VERIFY_INT(b))  in ADD32_()
294    if (!VERIFY_INT(res))  in ADD32_()
309    if (!VERIFY_INT(a) || !VERIFY_INT(b))  in SUB32_()
317    if (!VERIFY_INT(res))  in SUB32_()
418    if (!VERIFY_INT(res))  in MULT16_16_()
435    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_QX_()
450    if (!VERIFY_INT(res))  in MULT16_32_QX_()
468    if (!VERIFY_SHORT(a) || !VERIFY_INT(b))  in MULT16_32_PX_()
483    if (!VERIFY_INT(res))  in MULT16_32_PX_()
532    if (!VERIFY_INT(res))  in MULT16_16_Q11_32()
623    if (!VERIFY_INT(res))  in MULT16_16_P13()
653    if (!VERIFY_INT(res))  in MULT16_16_P14()
683    if (!VERIFY_INT(res))  in MULT16_16_P15()
715    if (!VERIFY_INT(a) || !VERIFY_SHORT(b))  in DIV32_16_()
751    if (!VERIFY_INT(a) || !VERIFY_INT(b))  in DIV32_()
759    if (!VERIFY_INT(res))  in DIV32_()