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 598–608

sm86BarrierKeys

Full file
598def sm86BarrierKeys =
599  (lambda unrestricted barrier : (family SM86Barrier) .
600    (eliminate SM86Barrier (lambda unrestricted current : (family SM86Barrier) . (family StdList Nat)) barrier
601      (branch SM86Barrier0 . (constructor StdList StdListCons Nat 300 sm86NoRegisters))
602      (branch SM86Barrier1 . (constructor StdList StdListCons Nat 301 sm86NoRegisters))
603      (branch SM86Barrier2 . (constructor StdList StdListCons Nat 302 sm86NoRegisters))
604      (branch SM86Barrier3 . (constructor StdList StdListCons Nat 303 sm86NoRegisters))
605      (branch SM86Barrier4 . (constructor StdList StdListCons Nat 304 sm86NoRegisters))
606      (branch SM86Barrier5 . (constructor StdList StdListCons Nat 305 sm86NoRegisters))
607      (branch SM86Barrier6 . (constructor StdList StdListCons Nat 306 sm86NoRegisters))
608      (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.