AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

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

699 lines54 declarations58.4 KiBSHA-256 ac21d61cced1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 635–646

sm86OpSummaryMake

Full file
635def sm86OpSummaryMake =
636  (lambda unrestricted reads : (family StdList Nat) .
637    (lambda unrestricted writes : (family StdList Nat) .
638      (lambda unrestricted predicateWrites : (family StdList Nat) .
639        (lambda unrestricted variable : Nat .
640          (lambda unrestricted latency : Nat .
641            (lambda unrestricted minimum : Nat .
642            (lambda unrestricted control : (family SM86Control) .
643              (constructor SM86OpSummary SM86OpSummaryValue
644                reads writes predicateWrites
645                (sm86ControlWaitKeys control) (sm86ControlSetKeys control)
646                (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.