AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,978 lines222 declarations72.8 KiBSHA-256 b399c7cf28cc
Download exact fileView at revisionf5034773ad4bb52133

def · lines 935–978

greedyArgmaxSM86FullSlotProgram

Full file
935def greedyArgmaxSM86FullSlotProgram =
936  (lambda unrestricted slot : Nat .
937    (app
938      (lambda unrestricted base : Nat .
939        (sm86ProgramAppend
940          (greedyArgmaxSM86Next
941            (constructor
942              SM86InstructionBody
943              SM86IntegerAddThreeImmediate
944              greedyArgmaxSM86R3
945              greedyArgmaxSM86R0
946              (greedyArgmaxSM86Unsigned32FromNatural base)
947              sm86SafeControl)
948            (greedyArgmaxSM86Next
949              (constructor
950                SM86InstructionBody
951                SM86IntegerMultiplyAddWideConstant
952                greedyArgmaxSM86R28
953                greedyArgmaxSM86R3
954                greedyArgmaxSM86R4
955                (byte 0)
956                greedyArgmaxSM86U360
957                sm86SafeControl)
958              (greedyArgmaxSM86Next
959                (constructor
960                  SM86InstructionBody
961                  SM86LoadGlobal
962                  greedyArgmaxSM86R10
963                  greedyArgmaxSM86R28
964                  greedyArgmaxSM86U0
965                  greedyArgmaxSM86Set0)
966                (greedyArgmaxSM86Next
967                  (constructor
968                    SM86InstructionBody
969                    SM86IntegerAddThreeImmediate
970                    greedyArgmaxSM86R10
971                    greedyArgmaxSM86R10
972                    greedyArgmaxSM86U0
973                    greedyArgmaxSM86Wait0)
974                  sm86ProgramEmpty))))
975          (sm86ProgramAppend
976            greedyArgmaxSM86ValidateCandidateProgram
977            greedyArgmaxSM86CandidateProgram)))
978      (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.