Function miri::shims::x86::mask_load

source · 
fn mask_load<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    ptr: &OpTy<'tcx, Provenance>,
    mask: &OpTy<'tcx, Provenance>,
    dest: &MPlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, ()>
Expand description

Conditionally loads from ptr according the high bit of each element of mask. ptr does not need to be aligned.