miri::shims::x86

Function psign

Source
fn psign<'tcx>(
    this: &mut MiriInterpCx<'tcx>,
    left: &OpTy<'tcx>,
    right: &OpTy<'tcx>,
    dest: &MPlaceTy<'tcx>,
) -> 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 written to the corresponding output element. In other words, multiplies left with right.signum().