🔬 This is a nightly-only experimental API. (
This is supported on x86-64 and target feature
Multiply packed signed 16-bit integers in a and b, producing intermediate signed 32-bit integers. Truncate each intermediate integer to the 18 most significant bits, round by adding 1, and store bits [16:1] to dst.