AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ReductionSM86

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

1,570 lines106 declarations59.9 KiBSHA-256 60bc03ffc9c2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 64–76

reductionSM86FailureCodeBytes

Full file
64def reductionSM86FailureCodeBytes =
65  (lambda unrestricted code : (family ReductionSM86FailureCode) .
66    (eliminate
67      ReductionSM86FailureCode
68      (lambda unrestricted current : (family ReductionSM86FailureCode) . Bytes)
69      code
70      (branch ReductionSM86WarpSum64InstructionCountMismatch . b"ALPHA-SM86-REDUCE-001")
71      (branch ReductionSM86WarpSum256InstructionCountMismatch . b"ALPHA-SM86-REDUCE-002")
72      (branch ReductionSM86WarpSum1024InstructionCountMismatch . b"ALPHA-SM86-REDUCE-003")
73      (branch ReductionSM86WarpMaximum256InstructionCountMismatch . b"ALPHA-SM86-REDUCE-004")
74      (branch ReductionSM86EncodingFailed . b"ALPHA-SM86-REDUCE-005")
75      (branch ReductionSM86IdentityFailed . b"ALPHA-SM86-REDUCE-006")
76      (branch ReductionSM86IdentityLengthInvalid . b"ALPHA-SM86-REDUCE-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.