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 557–576

exactCrossEntropyBackwardManifestBytes

Full file
557def exactCrossEntropyBackwardManifestBytes =
558  (lambda unrestricted manifest : (family ExactCrossEntropyBackwardSM86Manifest) .
559    (eliminate
560      ExactCrossEntropyBackwardSM86Manifest
561      (lambda unrestricted current : (family ExactCrossEntropyBackwardSM86Manifest) . Nat)
562      manifest
563      (branch
564        ExactCrossEntropyBackwardSM86ManifestValue
565        instructions
566        bytes
567        registers
568        shared
569        gridX
570        gridY
571        blockX
572        abi
573        extents
574        hostFallback
575        .
576        bytes)))

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.