AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,478 lines168 declarations99.8 KiBSHA-256 b7c60128ad15
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 2453–2478

sm86InstructionEncodingStableCode

Full file
2453def sm86InstructionEncodingStableCode =
2454  (lambda unrestricted result : (family SM86InstructionEncodingResult) .
2455    (eliminate
2456      SM86InstructionEncodingResult
2457      (lambda unrestricted current : (family SM86InstructionEncodingResult) . Bytes)
2458      result
2459      (branch
2460        SM86InstructionEncodingSucceeded
2461        encoded
2462        telemetry
2463        .
2464        b"ALPHA-SM86-INS-000")
2465      (branch
2466        SM86InstructionEncodingFieldFailed
2467        error
2468        position
2469        width
2470        detail
2471        telemetry
2472        .
2473        (sm86EncodingErrorStableCode error))
2474      (branch
2475        SM86InstructionEncodingUnsupported
2476        ordinal
2477        .
2478        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.