Function miri::shims::x86::mask_store

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

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