TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Plan.ByteCandidates

Certified candidates for byte-sized posits #

Byte carriers support exhaustive tables, packed-word arithmetic, width-generic integer arithmetic, and the exact reference implementation. This module assembles those four choices for each operation.

Every candidate is connected to the same configured specification. Selection affects execution cost and memory residency only; it does not alter posit arithmetic.

ByteDispatch.Proof proves that the tag-based executor uses the same selection metadata. Other storage plans are handled in Configured.Plan.Dispatch.

source
@[noinline]
def FloatLib.Floats.Formats.Posit.Configured.Plan.addByteCandidates (format : Format) (width_le : format.bits ≤ 8) :
ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.add)

Addition candidates for a byte-sized posit.

Instances For
    source
    @[noinline]
    def FloatLib.Floats.Formats.Posit.Configured.Plan.subByteCandidates (format : Format) (width_le : format.bits ≤ 8) :
    ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.sub)

    Subtraction candidates for a byte-sized posit.

    Instances For
      source
      @[noinline]
      def FloatLib.Floats.Formats.Posit.Configured.Plan.mulByteCandidates (format : Format) (width_le : format.bits ≤ 8) :
      ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.mul)

      Multiplication candidates for a byte-sized posit.

      Instances For
        source
        @[noinline]
        def FloatLib.Floats.Formats.Posit.Configured.Plan.divByteCandidates (format : Format) (width_le : format.bits ≤ 8) :
        ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.div)

        Division candidates for a byte-sized posit.

        Instances For
          source
          @[noinline]
          def FloatLib.Floats.Formats.Posit.Configured.Plan.sqrtByteCandidates (format : Format) (width_le : format.bits ≤ 8) :
          ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.sqrt)

          Square-root candidates for a byte-sized posit.

          Instances For
            source
            @[noinline]
            def FloatLib.Floats.Formats.Posit.Configured.Plan.fmaByteCandidates (format : Format) (width_le : format.bits ≤ 8) :
            ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.fma)

            Fused-multiply-add candidates for a byte-sized posit.

            Instances For