Function permute 

fn permute<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    values: &OpTy<'tcx>,
    indices: &OpTy<'tcx>,
    dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, ()>

Shuffle 32-bit integers in values across lanes using the corresponding index in indices, and store the results in dst.

https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=_mm256_permutevar8x32_epi32 https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=_mm256_permutevar8x32_ps https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=_mm512_permutexvar_epi32