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 792–821

greedyArgmaxSM86ByteVocabularyInitialProgram

Full file
792def greedyArgmaxSM86ByteVocabularyInitialProgram : (family SM86Program) =
793  (greedyArgmaxSM86Next
794    (constructor
795      SM86InstructionBody
796      SM86MoveImmediate
797      greedyArgmaxSM86R3
798      greedyArgmaxSM86U0
799      sm86SafeControl)
800    (greedyArgmaxSM86Next
801      (constructor
802        SM86InstructionBody
803        SM86MoveImmediate
804        greedyArgmaxSM86R4
805        greedyArgmaxSM86U4
806        sm86SafeControl)
807      (greedyArgmaxSM86Next
808        (constructor
809          SM86InstructionBody
810          SM86MoveImmediate
811          greedyArgmaxSM86R7
812          greedyArgmaxSM86UFloatNegativeInfinity
813          sm86SafeControl)
814        (greedyArgmaxSM86Next
815          (constructor
816            SM86InstructionBody
817            SM86MoveImmediate
818            greedyArgmaxSM86R8
819            greedyArgmaxSM86UMaximumToken
820            sm86SafeControl)
821          sm86ProgramEmpty))))

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.