Function miri::shims::x86::packsswb

source ยท
fn packsswb<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    left: &OpTy<'tcx, Provenance>,
    right: &OpTy<'tcx, Provenance>,
    dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>
Expand description

Converts two 16-bit integer vectors to a single 8-bit integer vector with signed saturation.

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