pub fn intrinsic_with_overflow(
        &mut self,
        op: mir::BinOp,
        left: ValTy<'tcx>,
        right: ValTy<'tcx>,
        dest: Place,
        dest_ty: Ty<'tcx>,
    ) -> EvalResult<'tcx> {
        let (val, overflowed) = self.binop_with_overflow(op, left, right)?;
        let val = Value::ScalarPair(val.into(), Scalar::from_bool(overflowed).into());
        let valty = ValTy {
            value: val,
            ty: dest_ty,
        };
        self.write_value(valty, dest)
    }
/// Applies the binary operation `op` to the two operands and writes a tuple of the result
/// and a boolean signifying the potential overflow to the destination.
Applies the binary operation `op` to the two operands and writes a tuple of the result
and a boolean signifying the potential overflow to the destination.
Applies the binary operation ` op ` to the two operands and writes a tuple of the result and a boolean signifying the potential overflow to the destination .
pub fn intrinsic_with_overflow(
        &mut self,
        op: mir::BinOp,
        left: ValTy<'tcx>,
        right: ValTy<'tcx>,
        dest: Place,
        dest_ty: Ty<'tcx>,
    ) -> EvalResult<'tcx> {
        let (val, overflowed) = self.binop_with_overflow(op, left, right)?;
        let val = Value::ScalarPair(val.into(), Scalar::from_bool(overflowed).into());
        let valty = ValTy {
            value: val,
            ty: dest_ty,
        };
        self.write_value(valty, dest)
    }
pub fn intrinsic_with_overflow ( & mut self , op : mir :: BinOp , left : ValTy < ' tcx > , right : ValTy < ' tcx > , dest : Place , dest_ty : Ty < ' tcx > , ) -> EvalResult < ' tcx > { let ( val , overflowed ) = self . binop_with_overflow ( op , left , right ) ? ; let val = Value :: ScalarPair ( val . into ( ) , Scalar :: from_bool ( overflowed ) . into ( ) ) ; let valty = ValTy { value : val , ty : dest_ty , } ; self . write_value ( valty , dest ) }
Applies the binary operation `op` to the two operands and writes a tuple of the result
and a boolean signifying the potential overflow to the destination.
Applies the binary operation ` op ` to the two operands and writes a tuple of the result and a boolean signifying the potential overflow to the destination .
&mut self
op
mir::BinOp
left
ValTy<'tcx>
right
ValTy<'tcx>
dest
Place
dest_ty
Ty<'tcx>