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 2235–2256

sm86ProgramTelemetryInstruction

Full file
2235def sm86ProgramTelemetryInstruction =
2236  (lambda unrestricted fieldTelemetry : (family SM86FieldEncodingTelemetry) .
2237    (eliminate
2238      SM86FieldEncodingTelemetry
2239      (lambda unrestricted current : (family SM86FieldEncodingTelemetry) .
2240        (family SM86ProgramEncodingTelemetry))
2241      fieldTelemetry
2242      (branch
2243        SM86FieldEncodingTelemetryValue
2244        fields
2245        bits
2246        outputBytes
2247        highest
2248        .
2249        (constructor
2250          SM86ProgramEncodingTelemetry
2251          SM86ProgramEncodingTelemetryValue
2252          (succ zero)
2253          outputBytes
2254          fields
2255          bits
2256          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.