def Miri.Interpreter.Math.clamp {S : Type} (name : String) (value : FloatBits) : M S FloatBits

Equations

• One or more equations did not get rendered due to their size.

def Miri.Interpreter.Math.fixedValue {P S C V : Type} (h : Hooks P S C V) (choice : C) (format : FloatFormat) (name : String) (inputs : List FloatBits) : M S (Option FloatBits)

Ordered C fixed-output cases from math.rs. In particular, the source's atan2 guard tests nonzero/noninfinite x without adding an invented !isNaN test.

Equations

• One or more equations did not get rendered due to their size.

def Miri.Interpreter.Math.fixedPowi {P S C V : Type} (h : Hooks P S C V) (choice : C) (value : FloatBits) (power : Int32) : M S (Option FloatBits)

Equations

• One or more equations did not get rendered due to their size.