AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropyBackwardSM86

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

702 lines118 declarations31.2 KiBSHA-256 adcd1f5d6195
Download exact fileView at revisionf5034773ad4bb52133

def · lines 536–555

exactCrossEntropyBackwardManifestInstructions

Full file
536def exactCrossEntropyBackwardManifestInstructions =
537  (lambda unrestricted manifest : (family ExactCrossEntropyBackwardSM86Manifest) .
538    (eliminate
539      ExactCrossEntropyBackwardSM86Manifest
540      (lambda unrestricted current : (family ExactCrossEntropyBackwardSM86Manifest) . Nat)
541      manifest
542      (branch
543        ExactCrossEntropyBackwardSM86ManifestValue
544        instructions
545        bytes
546        registers
547        shared
548        gridX
549        gridY
550        blockX
551        abi
552        extents
553        hostFallback
554        .
555        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.