Skip to main content

family

logicaffeine_compile::codegen_sva::fp_hypotheses

Function family 

Source 
pub fn family() -> Vec<Semantics>
Expand description

Every member: each choice of operand denormals, result denormals, tininess, flushed sign and NaN, the meaningless combinations folded away; Semantics::ENGINE first.