pub fn vraddhn_high_s32(a: int16x4_t, b: int32x4_t, c: int32x4_t) -> int16x8_t
neon
Rounding Add returning High Narrow (high half). Arm’s documentation