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 987–1056

greedyArgmaxSM86PartialSlotProgram

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