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 124–136

adamWF32SM86FailureCodeBytes

Full file
124def adamWF32SM86FailureCodeBytes =
125  (lambda unrestricted code : (family AdamWF32SM86FailureCode) .
126    (eliminate
127      AdamWF32SM86FailureCode
128      (lambda unrestricted current : (family AdamWF32SM86FailureCode) . Bytes)
129      code
130      (branch AdamWF32SM86ElementCountZero . b"ALPHA-SM86-ADAMW-001")
131      (branch AdamWF32SM86UnboundedExtentMisaligned . b"ALPHA-SM86-ADAMW-002")
132      (branch AdamWF32SM86InstructionCountMismatch . b"ALPHA-SM86-ADAMW-003")
133      (branch AdamWF32SM86EncodedByteCountMismatch . b"ALPHA-SM86-ADAMW-004")
134      (branch AdamWF32SM86EncodingFailed . b"ALPHA-SM86-ADAMW-005")
135      (branch AdamWF32SM86IdentityFailed . b"ALPHA-SM86-ADAMW-006")
136      (branch AdamWF32SM86IdentityLengthInvalid . b"ALPHA-SM86-ADAMW-007")))

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.