This is supported on x86-64 and target feature
avx512bw
only.Expand description
Multiply the packed unsigned 16-bit integers in a and b, producing intermediate 32-bit integers, and store the high 16 bits of the intermediate integers in dst.