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.