AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

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

715 lines54 declarations60.7 KiBSHA-256 6afcbdc0de22
Download exact fileView at revision426597bda5753d86c4

def · lines 649–660

sm86OpSummaryMake

Full file
649def sm86OpSummaryMake =
650  (lambda unrestricted reads : (family StdList Nat) .
651    (lambda unrestricted writes : (family StdList Nat) .
652      (lambda unrestricted predicateWrites : (family StdList Nat) .
653        (lambda unrestricted variable : Nat .
654          (lambda unrestricted latency : Nat .
655            (lambda unrestricted minimum : Nat .
656            (lambda unrestricted control : (family SM86Control) .
657              (constructor SM86OpSummary SM86OpSummaryValue
658                reads writes predicateWrites
659                (sm86ControlWaitKeys control) (sm86ControlSetKeys control)
660                (sm86ControlStallOf control) latency variable minimum control))))))))

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.