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