AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/AdamWSM86.alpha

1,127 lines173 declarations39.3 KiBSHA-256 0c5cdf90be84
Download exact fileView at revision426597bda5753d86c4

def · lines 813–840

adamWF32ManifestFor

Full file
813def adamWF32ManifestFor =
814  (lambda unrestricted variant : (family AdamWF32SM86Variant) .
815    (lambda unrestricted logicalElements : Nat .
816      (constructor
817        AdamWF32SM86Manifest
818        AdamWF32SM86ManifestValue
819        variant
820        (adamWF32ExpectedInstructions variant)
821        (adamWF32ExpectedEncodedBytes variant)
822        adamWF32N32
823        zero
824        (adamWF32GridX logicalElements)
825        adamWF32N256
826        adamWF32ABI
827        (constructor
828          AdamWF32SM86Extents
829          AdamWF32SM86ExtentsValue
830          logicalElements
831          logicalElements
832          logicalElements
833          logicalElements
834          logicalElements)
835        adamWF32N4
836        adamWF32N3
837        adamWF32N15
838        (succ zero)
839        (adamWF32GuardedMemoryInstructions variant)
840        zero)))

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.