AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.SoftmaxSM86

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

2,114 lines259 declarations74.8 KiBSHA-256 5aa09b49868d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 168–187

softmaxSM86FailureCodeBytes

Full file
168def softmaxSM86FailureCodeBytes =
169  (lambda unrestricted code : (family SoftmaxSM86FailureCode) .
170    (eliminate
171      SoftmaxSM86FailureCode
172      (lambda unrestricted current : (family SoftmaxSM86FailureCode) . Bytes)
173      code
174      (branch SoftmaxSM86InstructionCountMismatch . b"ALPHA-SM86-SOFTMAX-001")
175      (branch SoftmaxSM86EncodedByteCountMismatch . b"ALPHA-SM86-SOFTMAX-002")
176      (branch SoftmaxSM86RegisterCountMismatch . b"ALPHA-SM86-SOFTMAX-003")
177      (branch SoftmaxSM86SharedByteCountMismatch . b"ALPHA-SM86-SOFTMAX-004")
178      (branch SoftmaxSM86BlockCountMismatch . b"ALPHA-SM86-SOFTMAX-005")
179      (branch SoftmaxSM86ThreadCountMismatch . b"ALPHA-SM86-SOFTMAX-006")
180      (branch SoftmaxSM86SectionCountMismatch . b"ALPHA-SM86-SOFTMAX-007")
181      (branch SoftmaxSM86GlobalLoadCountMismatch . b"ALPHA-SM86-SOFTMAX-008")
182      (branch SoftmaxSM86GlobalStoreCountMismatch . b"ALPHA-SM86-SOFTMAX-009")
183      (branch SoftmaxSM86HostFallbackDetected . b"ALPHA-SM86-SOFTMAX-010")
184      (branch SoftmaxSM86EncodingFailed . b"ALPHA-SM86-SOFTMAX-011")
185      (branch SoftmaxSM86IdentityFailed . b"ALPHA-SM86-SOFTMAX-012")
186      (branch SoftmaxSM86IdentityLengthInvalid . b"ALPHA-SM86-SOFTMAX-013")
187      (branch SoftmaxSM86IdentityMismatch . b"ALPHA-SM86-SOFTMAX-014")))

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.