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 2133–2154

sm86ProgramTelemetryInstruction

Full file
2133def sm86ProgramTelemetryInstruction =
2134  (lambda unrestricted fieldTelemetry : (family SM86FieldEncodingTelemetry) .
2135    (eliminate
2136      SM86FieldEncodingTelemetry
2137      (lambda unrestricted current : (family SM86FieldEncodingTelemetry) .
2138        (family SM86ProgramEncodingTelemetry))
2139      fieldTelemetry
2140      (branch
2141        SM86FieldEncodingTelemetryValue
2142        fields
2143        bits
2144        outputBytes
2145        highest
2146        .
2147        (constructor
2148          SM86ProgramEncodingTelemetry
2149          SM86ProgramEncodingTelemetryValue
2150          (succ zero)
2151          outputBytes
2152          fields
2153          bits
2154          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.