int __qdadd(int val1, int val2);
__qdadd inserts a QDADD instruction. __qdadd returns the 32-bit signed saturated equivalent of res = val1 + (2*val2). This operation sets the Q flag if saturation occurs.