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 1623–1649

greedyArgmaxSM86ManifestFor

Full file
1623def greedyArgmaxSM86ManifestFor =
1624  (lambda unrestricted vocabulary : Nat .
1625    (app
1626      (lambda unrestricted expectedInstructions : Nat .
1627        (constructor
1628          GreedyArgmaxSM86Manifest
1629          GreedyArgmaxSM86ManifestValue
1630          vocabulary
1631          (naturalDivideUnchecked vocabulary greedyArgmaxSM86N256)
1632          (naturalModuloUnchecked vocabulary greedyArgmaxSM86N256)
1633          expectedInstructions
1634          (naturalMultiply expectedInstructions greedyArgmaxSM86InstructionBytes)
1635          greedyArgmaxSM86Registers
1636          greedyArgmaxSM86SharedBytes
1637          greedyArgmaxSM86GridX
1638          greedyArgmaxSM86ThreadsPerBlock
1639          vocabulary
1640          vocabulary
1641          zero
1642          (greedyArgmaxSM86TailMaskWrites vocabulary)
1643          greedyArgmaxSM86N10
1644          greedyArgmaxSM86N1
1645          greedyArgmaxSM86N1
1646          greedyArgmaxSM86HostLogitReads
1647          greedyArgmaxSM86HostFallbackOperations
1648          greedyArgmaxSM86ABIValue))
1649      (greedyArgmaxSM86ExpectedInstructions vocabulary)))

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.