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 1630–1656

greedyArgmaxSM86ManifestFor

Full file
1630def greedyArgmaxSM86ManifestFor =
1631  (lambda unrestricted vocabulary : Nat .
1632    (app
1633      (lambda unrestricted expectedInstructions : Nat .
1634        (constructor
1635          GreedyArgmaxSM86Manifest
1636          GreedyArgmaxSM86ManifestValue
1637          vocabulary
1638          (naturalDivideUnchecked vocabulary greedyArgmaxSM86N256)
1639          (naturalModuloUnchecked vocabulary greedyArgmaxSM86N256)
1640          expectedInstructions
1641          (naturalMultiply expectedInstructions greedyArgmaxSM86InstructionBytes)
1642          greedyArgmaxSM86Registers
1643          greedyArgmaxSM86SharedBytes
1644          greedyArgmaxSM86GridX
1645          greedyArgmaxSM86ThreadsPerBlock
1646          vocabulary
1647          vocabulary
1648          zero
1649          (greedyArgmaxSM86TailMaskWrites vocabulary)
1650          greedyArgmaxSM86N10
1651          greedyArgmaxSM86N1
1652          greedyArgmaxSM86N1
1653          greedyArgmaxSM86HostLogitReads
1654          greedyArgmaxSM86HostFallbackOperations
1655          greedyArgmaxSM86ABIValue))
1656      (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.