This is supported on x86-64 and target feature
avx512f
only.Expand description
Convert the signed 32-bit integer b to a double-precision (64-bit) floating-point element, store the result in the lower element of dst, and copy the upper element from a to the upper element of dst.