AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

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

645 lines51 declarations53.6 KiBSHA-256 e735be07682e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 588–599

sm86OpSummaryMake

Full file
588def sm86OpSummaryMake =
589  (lambda unrestricted reads : (family StdList Nat) .
590    (lambda unrestricted writes : (family StdList Nat) .
591      (lambda unrestricted predicateWrites : (family StdList Nat) .
592        (lambda unrestricted variable : Nat .
593          (lambda unrestricted latency : Nat .
594            (lambda unrestricted minimum : Nat .
595            (lambda unrestricted control : (family SM86Control) .
596              (constructor SM86OpSummary SM86OpSummaryValue
597                reads writes predicateWrites
598                (sm86ControlWaitKeys control) (sm86ControlSetKeys control)
599                (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.