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 980–1049

greedyArgmaxSM86PartialSlotProgram

Full file
980def greedyArgmaxSM86PartialSlotProgram =
981  (lambda unrestricted slot : Nat .
982    (lambda unrestricted lastLane : Nat .
983      (app
984        (lambda unrestricted base : Nat .
985          (sm86ProgramAppend
986            (greedyArgmaxSM86Next
987              (constructor
988                SM86InstructionBody
989                SM86PredicateGreaterThanImmediate
990                greedyArgmaxSM86P0
991                greedyArgmaxSM86R0
992                (greedyArgmaxSM86Unsigned32FromNatural lastLane)
993                sm86SafeControl)
994              (greedyArgmaxSM86Next
995                (constructor
996                  SM86InstructionBody
997                  SM86IntegerAddThreeImmediate
998                  greedyArgmaxSM86R3
999                  greedyArgmaxSM86R0
1000                  (greedyArgmaxSM86Unsigned32FromNatural base)
1001                  sm86SafeControl)
1002                (greedyArgmaxSM86Next
1003                  (constructor
1004                    SM86InstructionBody
1005                    SM86IntegerMultiplyAddWideConstant
1006                    greedyArgmaxSM86R28
1007                    greedyArgmaxSM86R3
1008                    greedyArgmaxSM86R4
1009                    (byte 0)
1010                    greedyArgmaxSM86U360
1011                    sm86SafeControl)
1012                  (greedyArgmaxSM86Next
1013                    (constructor
1014                      SM86InstructionBody
1015                      SM86MoveImmediate
1016                      greedyArgmaxSM86R10
1017                      greedyArgmaxSM86UFloatZero
1018                      sm86SafeControl)
1019                    (greedyArgmaxSM86WhenNot
1020                      greedyArgmaxSM86P0
1021                      (constructor
1022                        SM86InstructionBody
1023                        SM86LoadGlobal
1024                        greedyArgmaxSM86R10
1025                        greedyArgmaxSM86R28
1026                        greedyArgmaxSM86U0
1027                        greedyArgmaxSM86Set0)
1028                      (greedyArgmaxSM86WhenNot
1029                        greedyArgmaxSM86P0
1030                        (constructor
1031                          SM86InstructionBody
1032                          SM86IntegerAddThreeImmediate
1033                          greedyArgmaxSM86R10
1034                          greedyArgmaxSM86R10
1035                          greedyArgmaxSM86U0
1036                          greedyArgmaxSM86Wait0)
1037                        sm86ProgramEmpty))))))
1038            (sm86ProgramAppend
1039              greedyArgmaxSM86ValidateCandidateProgram
1040              (greedyArgmaxSM86When
1041                greedyArgmaxSM86P0
1042                (constructor
1043                  SM86InstructionBody
1044                  SM86MoveImmediate
1045                  greedyArgmaxSM86R10
1046                  greedyArgmaxSM86UFloatNegativeInfinity
1047                  sm86SafeControl)
1048                greedyArgmaxSM86CandidateProgram))))
1049        (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.