Trait rustc_apfloat::ieee::Semantics

pub trait Semantics: Sized {
    const BITS: usize;
    const PRECISION: usize;
    const MAX_EXP: ExpInt;
    const MIN_EXP: ExpInt = -Self::MAX_EXP + 1;
    const QNAN_BIT: usize = Self::PRECISION - 2;
    const QNAN_SIGNIFICAND: u128 = 1 << Self::QNAN_BIT;

    fn from_bits(bits: u128) -> IeeeFloat<Self> { ... }
    fn to_bits(x: IeeeFloat<Self>) -> u128 { ... }
}

Represents floating point arithmetic semantics.

Required Associated Constants

const BITS: usize

Total number of bits in the in-memory format.

const PRECISION: usize

Number of bits in the significand. This includes the integer bit.

const MAX_EXP: ExpInt

The largest E such that 2^E is representable; this matches the definition of IEEE 754.

Provided Associated Constants

const MIN_EXP: ExpInt = -Self::MAX_EXP + 1

The smallest E such that 2^E is a normalized number; this matches the definition of IEEE 754.

const QNAN_BIT: usize = Self::PRECISION - 2

The significand bit that marks NaN as quiet.

const QNAN_SIGNIFICAND: u128 = 1 << Self::QNAN_BIT

The significand bitpattern to mark a NaN as quiet. NOTE: for X87DoubleExtended we need to set two bits instead of 2.

Provided Methods

fn from_bits(bits: u128) -> IeeeFloat<Self>

fn to_bits(x: IeeeFloat<Self>) -> u128

Implementors

impl Semantics for DoubleS

const BITS: usize = 64usize

const PRECISION: usize = 53usize

const MAX_EXP: ExpInt = 1_023i16

impl Semantics for HalfS

const BITS: usize = 16usize

const PRECISION: usize = 11usize

const MAX_EXP: ExpInt = 15i16

impl Semantics for QuadS

const BITS: usize = 128usize

const PRECISION: usize = 113usize

const MAX_EXP: ExpInt = 16_383i16

impl Semantics for SingleS

const BITS: usize = 32usize

const PRECISION: usize = 24usize

const MAX_EXP: ExpInt = 127i16

impl Semantics for X87DoubleExtendedS

const BITS: usize = 80usize

const PRECISION: usize = 64usize

const MAX_EXP: ExpInt = 16_383i16

const QNAN_SIGNIFICAND: u128 = 13_835_058_055_282_163_712u128

impl<F: Float> Semantics for FallbackExtendedS<F>

const BITS: usize = 0usize

const PRECISION: usize = Fallback::::PRECISION

const MAX_EXP: ExpInt = F::MAX_EXP as ExpInt

impl<F: Float> Semantics for FallbackS<F>

const BITS: usize = 0usize

const PRECISION: usize = F::PRECISION * 2

const MAX_EXP: ExpInt = F::MAX_EXP as ExpInt

const MIN_EXP: ExpInt = F::MIN_EXP as ExpInt + F::PRECISION as ExpInt