Function miri::shims::x86::psign

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

Negates elements from left when the corresponding element in right is negative. If an element from right is zero, zero is writen to the corresponding output element. In other words, multiplies left with right.signum().