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