AlphaGitHub
Source/Packages

Accelerator.SM86.FieldEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/FieldEncoding.alpha

861 lines86 declarations33.8 KiBSHA-256 1449867e9447
Download exact fileView at revisionf5034773ad4bb52133

def · lines 186–219

sm86MergeFieldTelemetry

Full file
186def sm86MergeFieldTelemetry =
187  (lambda unrestricted left : (family SM86FieldEncodingTelemetry) .
188    (lambda unrestricted right : (family SM86FieldEncodingTelemetry) .
189      (eliminate
190        SM86FieldEncodingTelemetry
191        (lambda unrestricted current : (family SM86FieldEncodingTelemetry) .
192          (family SM86FieldEncodingTelemetry))
193        left
194        (branch
195          SM86FieldEncodingTelemetryValue
196          leftFields
197          leftBits
198          leftBytes
199          leftHighest
200          .
201          (eliminate
202            SM86FieldEncodingTelemetry
203            (lambda unrestricted current : (family SM86FieldEncodingTelemetry) .
204              (family SM86FieldEncodingTelemetry))
205            right
206            (branch
207              SM86FieldEncodingTelemetryValue
208              rightFields
209              rightBits
210              rightBytes
211              rightHighest
212              .
213              (constructor
214                SM86FieldEncodingTelemetry
215                SM86FieldEncodingTelemetryValue
216                (naturalAdd leftFields rightFields)
217                (naturalAdd leftBits rightBits)
218                rightBytes
219                (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.