AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/InstructionEncoding.alpha

2,580 lines175 declarations106.3 KiBSHA-256 13b25e5394ea
Download exact fileView at revision426597bda5753d86c4

def · lines 2555–2580

sm86InstructionEncodingStableCode

Full file
2555def sm86InstructionEncodingStableCode =
2556  (lambda unrestricted result : (family SM86InstructionEncodingResult) .
2557    (eliminate
2558      SM86InstructionEncodingResult
2559      (lambda unrestricted current : (family SM86InstructionEncodingResult) . Bytes)
2560      result
2561      (branch
2562        SM86InstructionEncodingSucceeded
2563        encoded
2564        telemetry
2565        .
2566        b"ALPHA-SM86-INS-000")
2567      (branch
2568        SM86InstructionEncodingFieldFailed
2569        error
2570        position
2571        width
2572        detail
2573        telemetry
2574        .
2575        (sm86EncodingErrorStableCode error))
2576      (branch
2577        SM86InstructionEncodingUnsupported
2578        ordinal
2579        .
2580        b"ALPHA-SM86-INS-001")))

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.