miri::helpers

Trait ToSoft

Source
pub trait ToSoft {
    type SoftFloat;

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

Convert a hostfloat type to its corresponding softfloat type.

Required Associated Types§

Required Methods§

Source

fn to_soft(self) -> Self::SoftFloat

Implementations on Foreign Types§

Source§

impl ToSoft for f32

Source§

type SoftFloat = IeeeFloat<SingleS>

Source§

fn to_soft(self) -> Self::SoftFloat

Source§

impl ToSoft for f64

Source§

type SoftFloat = IeeeFloat<DoubleS>

Source§

fn to_soft(self) -> Self::SoftFloat

Implementors§