This is supported on x86-64 and target feature
avx2
only.Expand description
Multiplies packed 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
return bits [16:1]
.