spx_mips++;
spx_mips+=4;
static inline short MULT16_16_P14(int a, int b) {   long long res;   if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))   {      fprintf (stderr, "MULT16_16_P14: inputs are not short: %d %d\n", a, b);   }   res = ((long long)a)*b;   res += 8192;   if (!VERIFY_INT(res))      fprintf (stderr, "MULT16_16_P14: overflow: %d*%d=%d\n", a, b, (int)res);   res >>= 14;   if (!VERIFY_SHORT(res))      fprintf (stderr, "MULT16_16_P14: output is not short: %d*%d=%d\n", a, b, (int)res);   spx_mips++;   return res;}