int __smulwt(int16x2 val1, int val2);
__smulwt inserts a SMULWT instruction. __smulwt returns the equivalent of