int16x2 __sasx(int16x2 val1,
__sasx inserts a SASX instruction. __sasx returns the 16-bit signed equivalent of
- res = val1 - val2
- res = val1 + val2
where  is the lower 16 bits and  is the upper 16 bits. The GE bits of the APSR are set.