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 612–622

sm86BarrierKeys

Full file
612def sm86BarrierKeys =
613  (lambda unrestricted barrier : (family SM86Barrier) .
614    (eliminate SM86Barrier (lambda unrestricted current : (family SM86Barrier) . (family StdList Nat)) barrier
615      (branch SM86Barrier0 . (constructor StdList StdListCons Nat 300 sm86NoRegisters))
616      (branch SM86Barrier1 . (constructor StdList StdListCons Nat 301 sm86NoRegisters))
617      (branch SM86Barrier2 . (constructor StdList StdListCons Nat 302 sm86NoRegisters))
618      (branch SM86Barrier3 . (constructor StdList StdListCons Nat 303 sm86NoRegisters))
619      (branch SM86Barrier4 . (constructor StdList StdListCons Nat 304 sm86NoRegisters))
620      (branch SM86Barrier5 . (constructor StdList StdListCons Nat 305 sm86NoRegisters))
621      (branch SM86Barrier6 . (constructor StdList StdListCons Nat 306 sm86NoRegisters))
622      (branch SM86BarrierNone . sm86NoRegisters)))

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.