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 1955–1980

greedyArgmaxSM86ByteVocabularyManifest

Full file
1955def greedyArgmaxSM86ByteVocabularyManifest : (family GreedyArgmaxSM86Manifest) =
1956  (app
1957    (lambda unrestricted expectedInstructions : Nat .
1958      (constructor
1959        GreedyArgmaxSM86Manifest
1960        GreedyArgmaxSM86ManifestValue
1961        greedyArgmaxSM86N256
1962        greedyArgmaxSM86N256
1963        zero
1964        expectedInstructions
1965        (naturalMultiply expectedInstructions greedyArgmaxSM86InstructionBytes)
1966        greedyArgmaxSM86Registers
1967        zero
1968        greedyArgmaxSM86GridX
1969        greedyArgmaxSM86N1
1970        greedyArgmaxSM86N256
1971        zero
1972        zero
1973        zero
1974        zero
1975        greedyArgmaxSM86N1
1976        greedyArgmaxSM86N1
1977        greedyArgmaxSM86HostLogitReads
1978        greedyArgmaxSM86HostFallbackOperations
1979        greedyArgmaxSM86ABIValue))
1980    (sm86ProgramCount greedyArgmaxSM86ByteVocabularyProgram))

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.