uint16x2 __uasx(uint16x2 val1,
__uasx inserts a UASX instruction. __uasx returns the 16-bit unsigned 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.