miri::shims::x86

Function pack_generic

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