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 2079–2115

sm86MergeProgramTelemetry

Full file
2079def sm86MergeProgramTelemetry =
2080  (lambda unrestricted left : (family SM86ProgramEncodingTelemetry) .
2081    (lambda unrestricted right : (family SM86ProgramEncodingTelemetry) .
2082      (eliminate
2083        SM86ProgramEncodingTelemetry
2084        (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2085          (family SM86ProgramEncodingTelemetry))
2086        left
2087        (branch
2088          SM86ProgramEncodingTelemetryValue
2089          leftInstructions
2090          leftBytes
2091          leftFields
2092          leftBits
2093          leftHighest
2094          .
2095          (eliminate
2096            SM86ProgramEncodingTelemetry
2097            (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2098              (family SM86ProgramEncodingTelemetry))
2099            right
2100            (branch
2101              SM86ProgramEncodingTelemetryValue
2102              rightInstructions
2103              rightBytes
2104              rightFields
2105              rightBits
2106              rightHighest
2107              .
2108              (constructor
2109                SM86ProgramEncodingTelemetry
2110                SM86ProgramEncodingTelemetryValue
2111                (naturalAdd leftInstructions rightInstructions)
2112                (naturalAdd leftBytes rightBytes)
2113                (naturalAdd leftFields rightFields)
2114                (naturalAdd leftBits rightBits)
2115                (sm86NaturalMaximum leftHighest rightHighest))))))))

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.