AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,985 lines222 declarations73.3 KiBSHA-256 a4ae889c3756
Download exact fileView at revision426597bda5753d86c4

def · lines 942–985

greedyArgmaxSM86FullSlotProgram

Full file
942def greedyArgmaxSM86FullSlotProgram =
943  (lambda unrestricted slot : Nat .
944    (app
945      (lambda unrestricted base : Nat .
946        (sm86ProgramAppend
947          (greedyArgmaxSM86Next
948            (constructor
949              SM86InstructionBody
950              SM86IntegerAddThreeImmediate
951              greedyArgmaxSM86R3
952              greedyArgmaxSM86R0
953              (greedyArgmaxSM86Unsigned32FromNatural base)
954              sm86SafeControl)
955            (greedyArgmaxSM86Next
956              (constructor
957                SM86InstructionBody
958                SM86IntegerMultiplyAddWideConstant
959                greedyArgmaxSM86R28
960                greedyArgmaxSM86R3
961                greedyArgmaxSM86R4
962                (byte 0)
963                greedyArgmaxSM86U360
964                sm86SafeControl)
965              (greedyArgmaxSM86Next
966                (constructor
967                  SM86InstructionBody
968                  SM86LoadGlobal
969                  greedyArgmaxSM86R10
970                  greedyArgmaxSM86R28
971                  greedyArgmaxSM86U0
972                  greedyArgmaxSM86Set0)
973                (greedyArgmaxSM86Next
974                  (constructor
975                    SM86InstructionBody
976                    SM86IntegerAddThreeImmediate
977                    greedyArgmaxSM86R10
978                    greedyArgmaxSM86R10
979                    greedyArgmaxSM86U0
980                    greedyArgmaxSM86Wait0)
981                  sm86ProgramEmpty))))
982          (sm86ProgramAppend
983            greedyArgmaxSM86ValidateCandidateProgram
984            greedyArgmaxSM86CandidateProgram)))
985      (naturalMultiply slot greedyArgmaxSM86N256)))

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.