Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/ExactCrossEntropySM86.alpha

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a

def · lines 849–925

exactCrossEntropyFinalizePrefixFor

Full file
849def exactCrossEntropyFinalizePrefixFor =
850  (lambda unrestricted rows : Nat .
851    (lambda unrestricted partials : Nat .
852  (exactCrossEntropySM86AlwaysNext
853    (constructor
854      SM86InstructionBody
855      SM86MoveConstant
856      exactCrossEntropyFinalizeR1
857      (byte 0)
858      exactCrossEntropyRowsOffset028
859      sm86SafeControl)
860    (exactCrossEntropySM86AlwaysNext
861      (constructor
862        SM86InstructionBody
863        SM86SpecialToRegister
864        exactCrossEntropyFinalizeR0
865        (constructor SM86SpecialRegister SM86ThreadIdX)
866        exactCrossEntropyFinalizeSet0)
867      (exactCrossEntropySM86AlwaysNext
868        (constructor
869          SM86InstructionBody
870          SM86MoveImmediate
871          exactCrossEntropyFinalizeR2
872          exactCrossEntropyFinalizeU4
873          exactCrossEntropyFinalizeWait0)
874        (exactCrossEntropySM86AlwaysNext
875          (constructor
876            SM86InstructionBody
877            SM86IntegerAddThreeImmediate
878            exactCrossEntropyFinalizeR3
879            exactCrossEntropyFinalizeR0
880            (sm86Unsigned32FromNaturalTruncated rows)
881            sm86SafeControl)
882          (exactCrossEntropySM86AlwaysNext
883            (constructor
884              SM86InstructionBody
885              SM86IntegerMultiplyAddWideConstant
886              exactCrossEntropyFinalizeR4
887              exactCrossEntropyFinalizeR3
888              exactCrossEntropyFinalizeR2
889              (byte 0)
890              exactCrossEntropyRowsOffset160
891              sm86SafeControl)
892            (exactCrossEntropySM86AlwaysNext
893              (constructor
894                SM86InstructionBody
895                SM86LoadGlobal
896                exactCrossEntropyFinalizeR8
897                exactCrossEntropyFinalizeR4
898                exactCrossEntropyFinalizeU0
899                exactCrossEntropyFinalizeSet1)
900              (exactCrossEntropySM86AlwaysNext
901                (constructor
902                  SM86InstructionBody
903                  SM86IntegerAddThreeImmediate
904                  exactCrossEntropyFinalizeR8
905                  exactCrossEntropyFinalizeR8
906                  exactCrossEntropyFinalizeU0
907                  exactCrossEntropyFinalizeWait1)
908                (exactCrossEntropySM86AlwaysNext
909                  (constructor
910                    SM86InstructionBody
911                    SM86PredicateGreaterThanImmediate
912                    exactCrossEntropyFinalizeP0
913                    exactCrossEntropyFinalizeR0
914                    (sm86Unsigned32FromNaturalTruncated
915                      (naturalSaturatingSubtract partials 1))
916                    sm86SafeControl)
917                  (exactCrossEntropySM86Next
918                    (exactCrossEntropyFinalizeWhenP0
919                      (constructor
920                        SM86InstructionBody
921                        SM86MoveImmediate
922                        exactCrossEntropyFinalizeR8
923                        exactCrossEntropyFinalizeU0
924                        sm86SafeControl))
925                    exactCrossEntropySM86End)))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.