AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.IndexedRowScatterSM86

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

926 lines148 declarations38.7 KiBSHA-256 c86946ffe8c6
Download exact fileView at revisionf5034773ad4bb52133

def · lines 721–744

indexedRowScatterSM86ManifestExpectedInstructions

Full file
721def indexedRowScatterSM86ManifestExpectedInstructions =
722  (lambda unrestricted manifest : (family IndexedRowScatterSM86Manifest) .
723    (eliminate
724      IndexedRowScatterSM86Manifest
725      (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
726      manifest
727      (branch
728        IndexedRowScatterSM86ManifestValue
729        obligation
730        geometry
731        instructions
732        encodedBytes
733        registers
734        sharedBytes
735        gridX
736        gridY
737        blockX
738        abi
739        extents
740        reduction
741        atomic
742        hostFallback
743        .
744        instructions)))

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.