def Miri.Interpreter.Math.intrinsicHooks {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (base : IntrinsicHooks P S C V) : IntrinsicHooks P S C V

Install the source ULP arithmetic in the already connected fast-float intrinsic path, preserving every unrelated machine/compiler dictionary leaf.

Equations

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

def Miri.Interpreter.Math.evalIntrinsics {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (base : IntrinsicHooks P S C V) (choice : C) (name : String) (types : Array MIR.TyId) (args : Array (OpTy P)) (dest : V) (ret : Option MIR.BasicBlockId) : M S Bool

Full intrinsic entry point with concrete remaining math dispatch and the existing scalar/memory/atomic/type-id/varargs/SIMD families.

Equations

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

def Miri.Interpreter.Math.x86Hooks {P S C V : Type} (h : Hooks P S C V) (base : IntrinsicX86.Hooks P S C V) : IntrinsicX86.Hooks P S C V

Close x86 rsqrt's previous sqrt leaf with the portable bit-by-bit algorithm; its source relative-error machinery and all other x86 operations remain intact.

Equations

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

def Miri.Interpreter.Math.simdMathLane {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (op : SimdMathOp) (source : OpTy P) (dest : V) : M S Unit

Canonical SIMD math-lane binding. The source f128 host-unary unsupported arm remains visible; sqrt supports f128 without a host approximation.

Equations

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