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().