Function miri::shims::x86::pack_generic

fn pack_generic<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    left: &OpTy<'tcx, Provenance>,
    right: &OpTy<'tcx, Provenance>,
    dest: &MPlaceTy<'tcx, Provenance>,
    f: impl Fn(Scalar<Provenance>) -> InterpResult<'tcx, Scalar<Provenance>>
) -> InterpResult<'tcx, ()>

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).