TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.ExecFloat.Backends.Dispatch.Square.Runtime

Unary binary squaring kernels #

Squaring decodes one operand and passes its exact significand product to the existing multiplication rounders. Finite results have positive sign, including an underflowed zero. Declined inputs use multiplication, retaining its complete exceptional-value policy.

source
@[inline]
def FloatLib.Floats.Formats.BinaryInterchange.Model.SquareBackend.finite? {fmt : FloatFormat} (x : Model fmt) :
Option (Model fmt)

Square finite scalar fields using multiplication's exact product and scale coordinates.

Instances For
    source
    @[specialize #[0]]
    def FloatLib.Floats.Formats.BinaryInterchange.Model.SquareBackend.generic {fmt : FloatFormat} (x : Model fmt) :
    Model fmt

    Width-generic squaring with one finite decode and the multiplication exceptional policy.

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

      Binary32 finite squaring, including zero and subnormal inputs and outputs.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.Formats.BinaryInterchange.Model.SquareBackend.smallWord {fmt : FloatFormat} (x : Model fmt) :
        UInt64

        One-word normal squaring with the multiplication decline sentinel.

        Instances For
          source
          @[inline]
          def FloatLib.Floats.Formats.BinaryInterchange.Model.SquareBackend.twoWord? {fmt : FloatFormat} (x : Model fmt) :
          Option (Model fmt)

          Two-word normal squaring from one decoded machine word.

          Instances For
            source
            @[specialize #[0]]
            def FloatLib.Floats.Formats.BinaryInterchange.Model.SquareBackend.pair? {fmt : FloatFormat} (x : Model fmt) :
            Option (Model fmt)

            Fixed-pair normal squaring from one decoded pair of machine words.

            Instances For
              source
              @[specialize #[0]]
              def FloatLib.Floats.Formats.BinaryInterchange.Model.SquareBackend.dispatch {fmt : FloatFormat} (x : Model fmt) :
              Model fmt

              Structural squaring dispatch, with exact arbitrary-width multiplication as its fallback.

              Instances For