fn pclmulqdq<'tcx>(
this: &mut MiriInterpCx<'tcx>,
left: &OpTy<'tcx>,
right: &OpTy<'tcx>,
imm8: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, ()>Expand description
Perform a carry-less multiplication of two 64-bit integers, selected from left and right according to imm8,
and store the results in dst.
left and right are both vectors of type 2 x i64. Only bits 0 and 4 of imm8 matter;
they select the element of left and right, respectively.
https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=_mm_clmulepi64_si128