Synopsis

int16x2 __sadd16(int16x2 val1,
                 int16x2 val2);

Description

__sadd16 inserts a SADD16 instruction. __sadd16 returns the 16-bit signed equivalent of

• res[0] = val1[0] + val2[0]
• res[1] = val1[1] + val2[1]
  
  where [0] is the lower 16 bits and [1] is the upper 16 bits. The GE bits of the APSR are set.