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