Trait miri::helpers::ToSoft

pub trait ToSoft {
    type SoftFloat;

    // Required method
    fn to_soft(self) -> Self::SoftFloat;
}

Convert a hostfloat type to its corresponding softfloat type.

Required Associated Types

type SoftFloat

Required Methods

fn to_soft(self) -> Self::SoftFloat

Implementations on Foreign Types

impl ToSoft for f32

type SoftFloat = IeeeFloat<SingleS>

fn to_soft(self) -> Self::SoftFloat

impl ToSoft for f64

type SoftFloat = IeeeFloat<DoubleS>

fn to_soft(self) -> Self::SoftFloat

Implementors