AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,401 lines164 declarations94.5 KiBSHA-256 92e7bf9c2555
Download exact fileView at revisionf5034773ad4bb52133

def · lines 2056–2077

sm86ProgramTelemetryInstruction

Full file
2056def sm86ProgramTelemetryInstruction =
2057  (lambda unrestricted fieldTelemetry : (family SM86FieldEncodingTelemetry) .
2058    (eliminate
2059      SM86FieldEncodingTelemetry
2060      (lambda unrestricted current : (family SM86FieldEncodingTelemetry) .
2061        (family SM86ProgramEncodingTelemetry))
2062      fieldTelemetry
2063      (branch
2064        SM86FieldEncodingTelemetryValue
2065        fields
2066        bits
2067        outputBytes
2068        highest
2069        .
2070        (constructor
2071          SM86ProgramEncodingTelemetry
2072          SM86ProgramEncodingTelemetryValue
2073          (succ zero)
2074          outputBytes
2075          fields
2076          bits
2077          highest))))

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.