Convert packed 32-bit integers from a and b to packed 16-bit integers using signed saturation.
See Implementation
Convert packed 32-bit integers from a and b to packed 16-bit integers using signed saturation.