mask_load

miri::shims::x86

Function mask_load 

Source 
fn mask_load<'tcx>(
    ecx: &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.