Struct Semantics 

pub struct Semantics {
    pub denormal_inputs: Denormals,
    pub denormal_results: Denormals,
    pub tininess: Tininess,
    pub flushed_sign: FlushSign,
    pub nan: Nan,
}

One choice of everything IEEE 754 leaves to an implementation of binary32 multiply and add.

Fields

denormal_inputs: Denormals

denormal_results: Denormals

tininess: Tininess

Read only when results flush.

flushed_sign: FlushSign

Read only when results flush.

nan: Nan

Implementations

impl Semantics

pub const ENGINE: Semantics

The engine’s arithmetic: denormal operands read as zeros of their sign, a result rounded at the denormals’ precision and flushed unless it reaches the least normal, every NaN 0x7fc00000.

pub const IEEE: Semantics

IEEE 754 with gradual underflow and an x86 core’s NaNs: the first NaN operand’s payload quieted, the invalid operation’s 0xffc00000.

pub fn name(&self) -> String

A short name: din-keep.dout-flush.tiny-before.sign-pos.nan-7fc00000.

pub fn mul(&self, a: u32, b: u32) -> u32

a × b under these semantics, bit for bit what fmul_verilog’s unit computes.

pub fn add(&self, a: u32, b: u32) -> u32

a + b under these semantics, bit for bit what fadd_verilog’s unit computes.

Trait Implementations

impl Clone for Semantics

fn clone(&self) -> Semantics

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Semantics

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Semantics

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Semantics

fn eq(&self, other: &Semantics) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Semantics

impl Eq for Semantics

impl StructuralPartialEq for Semantics