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