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 2156–2192

sm86MergeProgramTelemetry

Full file
2156def sm86MergeProgramTelemetry =
2157  (lambda unrestricted left : (family SM86ProgramEncodingTelemetry) .
2158    (lambda unrestricted right : (family SM86ProgramEncodingTelemetry) .
2159      (eliminate
2160        SM86ProgramEncodingTelemetry
2161        (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2162          (family SM86ProgramEncodingTelemetry))
2163        left
2164        (branch
2165          SM86ProgramEncodingTelemetryValue
2166          leftInstructions
2167          leftBytes
2168          leftFields
2169          leftBits
2170          leftHighest
2171          .
2172          (eliminate
2173            SM86ProgramEncodingTelemetry
2174            (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2175              (family SM86ProgramEncodingTelemetry))
2176            right
2177            (branch
2178              SM86ProgramEncodingTelemetryValue
2179              rightInstructions
2180              rightBytes
2181              rightFields
2182              rightBits
2183              rightHighest
2184              .
2185              (constructor
2186                SM86ProgramEncodingTelemetry
2187                SM86ProgramEncodingTelemetryValue
2188                (naturalAdd leftInstructions rightInstructions)
2189                (naturalAdd leftBytes rightBytes)
2190                (naturalAdd leftFields rightFields)
2191                (naturalAdd leftBits rightBits)
2192                (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.