TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.ExecFloat.Backends.Word.Narrow.Multiplication.Runtime

Native-word finite multiplication for generic binary32 #

Finite binary32 significands occupy at most 24 bits, so their exact product fits in one UInt64. Both entry points return none for a NaN or infinity, and the caller applies the special-value policy. Multiplication.Proof has the proofs.

source
@[inline]
def FloatLib.Floats.Formats.BinaryInterchange.Model.NativeBinary32.mulFinite? (x y : Value) :
Option Value

Finite binary32 multiplication through exact dyadic coordinates.

Instances For
    source
    @[inline]
    def FloatLib.Floats.Formats.BinaryInterchange.Model.NativeBinary32.mulFiniteWord? (x y : Value) :
    Option Value

    Machine-word implementation of finite binary32 multiplication.

    Each operand magnitude is mantissa * 2^(scale - 149), with the subtraction in Int. Scales stay unsigned through normalization and rounding.

    Instances For