fn pack_generic<'tcx>(
this: &mut MiriInterpCx<'tcx>,
left: &OpTy<'tcx>,
right: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
f: impl Fn(Scalar) -> InterpResult<'tcx, Scalar>,
) -> InterpResult<'tcx, ()>
Expand description
Packs two N-bit integer vectors to a single N/2-bit integers.
The conversion from N-bit to N/2-bit should be provided by f
.
Each 128-bit chunk is treated independently (i.e., the value for
the is i-th 128-bit chunk of dest
is calculated with the i-th
128-bit chunks of left
and right
).