This is supported on x86 and target feature
avx512vbmi2,avx512vl
only.Expand description
Concatenate packed 32-bit integers in b and a producing an intermediate 64-bit result. Shift the result right by the amount specified in the corresponding element of c, and store the lower 32-bits in dst.