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 2258–2294

sm86MergeProgramTelemetry

Full file
2258def sm86MergeProgramTelemetry =
2259  (lambda unrestricted left : (family SM86ProgramEncodingTelemetry) .
2260    (lambda unrestricted right : (family SM86ProgramEncodingTelemetry) .
2261      (eliminate
2262        SM86ProgramEncodingTelemetry
2263        (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2264          (family SM86ProgramEncodingTelemetry))
2265        left
2266        (branch
2267          SM86ProgramEncodingTelemetryValue
2268          leftInstructions
2269          leftBytes
2270          leftFields
2271          leftBits
2272          leftHighest
2273          .
2274          (eliminate
2275            SM86ProgramEncodingTelemetry
2276            (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2277              (family SM86ProgramEncodingTelemetry))
2278            right
2279            (branch
2280              SM86ProgramEncodingTelemetryValue
2281              rightInstructions
2282              rightBytes
2283              rightFields
2284              rightBits
2285              rightHighest
2286              .
2287              (constructor
2288                SM86ProgramEncodingTelemetry
2289                SM86ProgramEncodingTelemetryValue
2290                (naturalAdd leftInstructions rightInstructions)
2291                (naturalAdd leftBytes rightBytes)
2292                (naturalAdd leftFields rightFields)
2293                (naturalAdd leftBits rightBits)
2294                (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.