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