Trait miri::operator::EvalContextExt

source ·
pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn binary_ptr_op(
        &self,
        bin_op: BinOp,
        left: &ImmTy<'tcx>,
        right: &ImmTy<'tcx>,
    ) -> InterpResult<'tcx, ImmTy<'tcx>> { ... }
    fn generate_nan<F1: Float + FloatConvert<F2>, F2: Float>(
        &self,
        inputs: &[F1],
    ) -> F2 { ... }
    fn adjust_nan<F1: Float + FloatConvert<F2>, F2: Float>(
        &self,
        f: F2,
        inputs: &[F1],
    ) -> F2 { ... }
}

Provided Methods§

source

fn binary_ptr_op( &self, bin_op: BinOp, left: &ImmTy<'tcx>, right: &ImmTy<'tcx>, ) -> InterpResult<'tcx, ImmTy<'tcx>>

source

fn generate_nan<F1: Float + FloatConvert<F2>, F2: Float>( &self, inputs: &[F1], ) -> F2

source

fn adjust_nan<F1: Float + FloatConvert<F2>, F2: Float>( &self, f: F2, inputs: &[F1], ) -> F2

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<'tcx> EvalContextExt<'tcx> for MiriInterpCx<'tcx>