Function miri::shims::x86::mask_load

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

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